Toric Rings, Inseparability and Rigidity

Mina Bigdeli,Jürgen Herzog,Dancheng Lu

DOI: https://doi.org/10.1007/978-3-319-90493-1_2

2018-01-01

Abstract:This article provides the basic algebraic background on infinitesimal deformations and presents the proof of the well-known fact that the non-trivial infinitesimal deformations of a K-algebra R are parameterized by the elements of cotangent module T1(R)$$T^1(R)$$ of R. In this article we focus on deformations of toric rings, and give an explicit description of T1(R)$$T^1(R)$$ in the case that R is a toric ring. In particular, we are interested in unobstructed deformations which preserve the toric structure. Such deformations we call separations. Toric rings which do not admit any separation are called inseparable. We apply the theory to the edge ring of a finite graph. The coordinate ring of a convex polyomino may be viewed as the edge ring of a special class of bipartite graphs. It is shown that the coordinate ring of any convex polyomino is inseparable. We introduce the concept of semi-rigidity, and give a combinatorial description of the graphs whose edge ring is semi-rigid. The results are applied to show that for m-k=k=3$$m-k=k=3$$, Gk,m-k$$G_{k,m-k}$$ is not rigid while for m-k≥k≥4$$m-k\ge k\ge 4$$, Gk,m-k$$G_{k,m-k}$$ is rigid. Here Gk,m-k$$G_{k,m-k}$$ is the complete bipartite graph Km-k,k$$K_{m-k,k}$$ with one edge removed.