Gorenstein liaison for toric ideals of graphs (Q1706242): Difference between revisions

The AMS Memoir by \textit{J. O. Kleppe} et al. [Mem. Am. Math. Soc. 732, 116 p. (2001; Zbl 1006.14018)] made an extensive study of Gorenstein liaison, and in particular posed the question of whether every arithmetically Cohen-Macaulay subscheme of projective space is in the Gorenstein liaison class of a complete intersection. (They introduced the term \textit{glicci} for such ideals.) This question is still open, but many special cases are known. In this paper the authors give a new special case, namely they give an affirmative answer for toric ideals defining edge subrings of bipartite graphs, i.e. the $k$-algebra whose generators correspond to the edges of the graph, and whose relations correspond to the even closed walks. These binomial ideals are prime and Cohen-Macaulay. The construction that they produce has the interesting feature that the same steps link the corresponding initial ideals, with respect to an appropriate order.