×

Extremal Betti numbers of symbolic powers of two-dimensional squarefree monomial ideals. (English) Zbl 1490.13032

The authors study the extremal Betti numbers of the \(m\)th symbolic power of a square-free monomial ideal, \(I\subset R\), of dimension \(2\). Such an ideal can be identified with the Stanley-Reisner ideal of a \(1\)-dimensional simplicial complex, which, in turn, we can associate with a simple graph. The main results of this paper are collected in Theorems 3.4 to 3.6 and consist of a complete description of the extremal Betti numbers (positions and values) of the symmetric powers of \(I\), in terms of graph invariants. As a corollary, the authors give a classification, in terms of \(m\) and \(G\), of the rings \(R/I^{(m)}\) which are pseudo-Gorenstein (Corollary 3.7). In section 4, the focus is on the level property of \(R/I^{(2)}\). It is shown that this ring is level if and only if \(G\) is either a complete graph, or a complete bipartite graph, or a Moore graph of girth \(5\) (Theorem 4.6).

MSC:

13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
13C14 Cohen-Macaulay modules
05E40 Combinatorial aspects of commutative algebra
05E45 Combinatorial aspects of simplicial complexes

Software:

Macaulay2
Full Text: DOI

References:

[1] Bayer, D., Charalambous, H. and Popescu, S., Extremal Betti numbers and applications to monomial ideals, J. Algebra221 (1999) 497-512. · Zbl 0946.13008
[2] Chardin, M., Some results and questions on Castelnuovo-Mumford regularity, in Syzygies and Hilbert Functions, , Vol. 254 (Chapman and Hall/CRC, 2007), pp. 1-40. · Zbl 1127.13014
[3] Diestel, R., Graph Theory, 2nd edn. (Springer, Berlin, Heidelberg, New York, Tokyo, 2000). · Zbl 0957.05001
[4] Eisenbud, D. and Goto, S., Linear free resolutions and minimal multiplicity, J. Algebra88 (1984) 89-133. · Zbl 0531.13015
[5] Ene, V., Herzog, J., Hibi, T. and Madani, S. S., Pseudo-Gorenstein and level Hibi rings, J. Algebra431 (2015) 138-161. · Zbl 1311.05215
[6] Hoa, L. T. and Trung, T. N., Catelnuovo-Mumford regularity of symbolic power of two-dimensional square-free monomial ideals, J. Commut. Algebra8(1) (2016) 77-88. · Zbl 1408.13046
[7] Hoffman, A. J. and Singleton, R. R., On Moore graphs with diameters 2 and 3, IBM J. Res. Development5 (1960) 497-504. · Zbl 0096.38102
[8] D. R. Grayson and M. E. Stillman, Macaulay2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
[9] Miller, E. and Sturmfels, B., Combinatorial Commutative Algebra (Springer, Berlin, Heidelberg, New York, Tokyo, 2004). · Zbl 1090.13001
[10] Minh, N. C., Terai, N. and Thuy, P. T., Level property of ordinary and symbolic powers of Stanley-Reisner ideals, J. Algebra535 (2019) 350-364. · Zbl 1420.13030
[11] Minh, N. C. and Trung, N. V., Cohen-Macaulayness of powers of two-dimensional squarefree monomial ideals, J. Algebra322 (2009) 4219-4227. · Zbl 1206.13028
[12] Schenzel, P., On the use of local cohomology in algebra and geometry, in Six Lectures on Commutative Algebra, , Vol. 166 (Birkhäuser, 1998), pp. 241-292. · Zbl 0949.13012
[13] Stanley, R., Cohen-Macaulay complexes, in Higher Combinatorics, ed. Aigner, M. (Reidel, Dordecht and Boston, 1977), pp. 51-62. · Zbl 0376.55007
[14] Stanley, R., Combinatorics and Commutative Algebra, 2nd edn. (Birkhäuser, 1996). · Zbl 0838.13008
[15] Takayama, Y., Combinatorial characterizations of generalized Cohen-Macaulay monomial ideals, Bull. Math. Soc. Sci. Math. Roumanie (N. S.)48(96) (2005) 327-344. · Zbl 1092.13020
[16] Villarreal, R. H., Monomial Algebras, 2nd edn., (CRC Press, Boca Raton, FL, 2015). · Zbl 1325.13004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.