×

Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences. (English) Zbl 1365.14066

For any increasing sequence \(m_1 < \dots < m_n \subset \mathbb{N}\) of integers, one can define a curve in projective \(n\)-space parametrically by setting \[ x_i = s^{m_i} t^{m_n-m_i} \] for \(i=1,\dots,n\) and \(x_{n+1} = t^{m_n}\). The vanishing ideal of the curve is a binomial prime (i.e. toric) ideal and often it encodes features of the sequence of integers.
In this paper the authors study the case when the sequence is a generalized arithmetic sequence, that is, \(m_i = hm_1 + (i-1)d\) for some fixed integers \(h,d\). Among the main results are a reverse lexicographic Gröbner basis of the toric ideal and necessary and sufficient condition for the coordinate ring of the monomial curve to be Cohen-Macaulay (\(d\) must equal one according to Corollary 3.2) and Koszul (\(m_i = m_{i-1}+1\) for all \(i\) and \(n>m_1\) according to Theorem 4.1).

MSC:

14M25 Toric varieties, Newton polyhedra, Okounkov bodies
13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
13D02 Syzygies, resolutions, complexes and commutative rings

Software:

cisimplicial

References:

[1] Bayer, D.; Mumford, D., What can be computed in algebraic geometry?, (Computational Algebraic Geometry and Commutative Algebra. Computational Algebraic Geometry and Commutative Algebra, Cortona, 1991 (1993), Cambridge Univ. Press: Cambridge Univ. Press Cambridge), 1-48 · Zbl 0846.13017
[2] Bermejo, I.; García-Marco, I., Complete intersections in certain affine and projective monomial curves, Bull. Braz. Math. Soc., New Ser., 45, 4, 1-26 (2014) · Zbl 1334.14029
[3] Bermejo, I.; García-Marco, I., Complete intersections in simplicial toric varieties, J. Symb. Comput., 68, 265-286 (2015), Part 1 · Zbl 1311.13024
[4] Bermejo, I.; Gimenez, P., On Castelnuovo-Mumford regularity of projective curves, Proc. Am. Math. Soc., 128, 5, 1293-1299 (2000) · Zbl 0944.13007
[5] Bermejo, I.; Gimenez, P., Computing the Castelnuovo-Mumford regularity of some subschemes of \(P_K^n\) using quotients of monomial ideals, J. Pure Appl. Algebra, 164, 23-33 (2001) · Zbl 0989.13008
[6] Bermejo, I.; Gimenez, P., Saturation and Castelnuovo-Mumford regularity, J. Algebra, 303, 592-617 (2006) · Zbl 1105.13010
[7] Cavaliere, M. P.; Niesi, G., On monomial curves and Cohen-Macaulay type, Manuscr. Math., 42, 147-159 (1983) · Zbl 0521.13012
[8] Conca, A.; De Negri, E.; Rossi, M. E., Koszul algebras and regularity, (Commutative Algebra (2013), Springer: Springer New York), 285-315 · Zbl 1262.13017
[9] Eisenbud, D.; Goto, S., Linear free resolutions and minimal multiplicities, J. Algebra, 88, 84-133 (1984) · Zbl 0531.13015
[10] Li, P.; Patil, D. E.; Roberts, L. G., Bases and ideal generators for projective monomial curves, Commun. Algebra, 40, 1, 173-191 (2012) · Zbl 1238.14020
[11] Molinelli, S.; Tamone, G., On the Hilbert function of certain rings of monomial curves, J. Pure Appl. Algebra, 101, 2, 191-206 (1995) · Zbl 0838.13015
[12] Sturmfels, B., Gröbner Bases and Convex Polytopes, University Lecture Series, vol. 8 (1996), American Mathematical Society: American Mathematical Society Providence · Zbl 0856.13020
[13] Villarreal, R. H., Monomial Algebras, Monographs and Research Notes in Mathematics (2015), Chapman and Hall/CRC · 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.