English

Proyective Cohen-Macaulay monomial curves and their affine charts

Commutative Algebra 2025-01-30 v3

Abstract

In this paper, we explore when the Betti numbers of the coordinate rings of a projective monomial curve and one of its affine charts are identical. Given an infinite field kk and a sequence of relatively prime integers a0=0<a1<<an=da_0 = 0 < a_1 < \cdots < a_n = d, we consider the projective monomial curve CPkn\mathcal{C}\subset\mathbb{P}_k^{\,n} of degree dd parametrically defined by xi=uaivdaix_i = u^{a_i}v^{d-a_i} for all i{0,,n}i \in \{0,\ldots,n\} and its coordinate ring k[C]k[\mathcal{C}]. The curve C1Akn\mathcal{C}_1 \subset \mathbb A_k^n with parametric equations xi=taix_i = t^{a_i} for i{1,,n}i \in \{1,\ldots,n\} is an affine chart of C\mathcal{C} and we denote by k[C1]k[\mathcal{C}_1] its coordinate ring. The main contribution of this paper is the introduction of a novel (Gr\"obner-free) combinatorial criterion that provides a sufficient condition for the equality of the Betti numbers of k[C]k[\mathcal{C}] and k[C1]k[\mathcal{C}_1]. Leveraging this criterion, we identify infinite families of projective curves satisfying this property. Also, we use our results to study the so-called shifted family of monomial curves, i.e., the family of curves associated to the sequences j+a1<<j+anj+a_1 < \cdots < j+a_n for different values of jNj \in \mathbb N. In this context, Vu proved that for large enough values of jj, one has an equality between the Betti numbers of the corresponding affine and projective curves. Using our results, we improve Vu's upper bound for the least value of jj such that this occurs.

Keywords

Cite

@article{arxiv.2405.15634,
  title  = {Proyective Cohen-Macaulay monomial curves and their affine charts},
  author = {Ignacio García-Marco and Philippe Gimenez and Mario González-Sánchez},
  journal= {arXiv preprint arXiv:2405.15634},
  year   = {2025}
}

Comments

To appear in Ric. Mat