Linear resolutions of quadratic monomial ideals (Q2470382): Difference between revisions

Let \(R = K[x_1,\ldots, x_n]\) be a polynomial ring over a field \(k\). The aim of this paper is to give an explicit minimal free resolution of a quadratic monomial ideal \(I\subset{R}\) in the case that \(I\) has a linear resolution. First of all, the author considers the squarefree case (edge ideal case), where the ideal \(I=(m_1,\ldots, m_r)\) can be described by a simple graph \(G_I\) on the vertex set \(\{x_1,\ldots, x_n\}\) whose edges are the supports of the minimal set of generators \(m_i\) (\(i=1,\ldots, r\)). An explicit resolution of a linear edge ideal is constructed with the iterated mapping cone as in [\textit{H. Charalambous} and \textit{E. G. Evans}, J. Algebra 176, No. 3, 750--754 (1995; Zbl 0840.13005); [HT]: \textit{J. Herzog} and \textit{Y. Takayama}, Homology Homotopy Appl. 4, No. 2, part 2, 277--294 (2002; Zbl 1028.13008)]. The crucial part is the differential map. In the case of squarefree quadratic monomials, the resolution as given in [HT] cannot be applied. But the author shows that if the graph \(G_I\) does not contain a particular pattern, called \(\Gamma\)-pattern, we can give a suitable differential map (Theorem~3.16). Then, the author extends the result to the general case by means of the polarization technique (Theorem~5.4). The author also considers the relation with cellular resolutions [\textit{D. Bayer, I. Peeva} and \textit{B. Sturmfels}, Math. Res. Lett. 5, No. 1--2, 31--46 (1998; Zbl 0909.13010); \textit{D. Bayer} and \textit{B. Sturmfels}, J. Reine Angew. Math. 502, 123--140 (1998; Zbl 0909.13011)]. Namely, the resolution given in this paper is supported by a regular cell complex (Theorem~4.1 and 5.5) and the proof of the theorem contains an explicit construction of the cell complex.