On the regularity and defect sequence of monomial and binomial ideals

Keivan Borna; Abolfazl Mohajer

Czechoslovak Mathematical Journal (2019)

  • Volume: 69, Issue: 3, page 653-664
  • ISSN: 0011-4642

Abstract

top
When S is a polynomial ring or more generally a standard graded algebra over a field K , with homogeneous maximal ideal 𝔪 , it is known that for an ideal I of S , the regularity of powers of I becomes eventually a linear function, i.e., reg ( I m ) = d m + e for m 0 and some integers d , e . This motivates writing reg ( I m ) = d m + e m for every m 0 . The sequence e m , called the defect sequence of the ideal I , is the subject of much research and its nature is still widely unexplored. We know that e m is eventually constant. In this article, after proving various results about the regularity of monomial ideals and their powers, we give several bounds and restrictions on e m and its first differences when I is a primary monomial ideal. Our theorems extend the previous results about 𝔪 -primary ideals in the monomial case. We also use our results to obtatin information about the regularity of powers of a monomial ideal using its primary decomposition. Finally, we study another interesting phenomenon related to the defect sequence, namely that of regularity jump, where we give an infinite family of ideals with regularity jumps at the second power.

How to cite

top

Borna, Keivan, and Mohajer, Abolfazl. "On the regularity and defect sequence of monomial and binomial ideals." Czechoslovak Mathematical Journal 69.3 (2019): 653-664. <http://eudml.org/doc/294410>.

@article{Borna2019,
abstract = {When $S$ is a polynomial ring or more generally a standard graded algebra over a field $K$, with homogeneous maximal ideal $\mathfrak \{m\}$, it is known that for an ideal $I$ of $S$, the regularity of powers of $I$ becomes eventually a linear function, i.e., $\{\rm reg\}(I^m)=dm+e$ for $m\gg 0$ and some integers $d$, $ e$. This motivates writing $\{\rm reg\}(I^m)=dm+e_m$ for every $m\ge 0$. The sequence $e_m$, called the defect sequence of the ideal $I$, is the subject of much research and its nature is still widely unexplored. We know that $e_m$ is eventually constant. In this article, after proving various results about the regularity of monomial ideals and their powers, we give several bounds and restrictions on $e_m$ and its first differences when $I$ is a primary monomial ideal. Our theorems extend the previous results about $\mathfrak \{m\}$-primary ideals in the monomial case. We also use our results to obtatin information about the regularity of powers of a monomial ideal using its primary decomposition. Finally, we study another interesting phenomenon related to the defect sequence, namely that of regularity jump, where we give an infinite family of ideals with regularity jumps at the second power.},
author = {Borna, Keivan, Mohajer, Abolfazl},
journal = {Czechoslovak Mathematical Journal},
keywords = {Castelnuovo-Mumford regularity; powers of ideal; defect sequence},
language = {eng},
number = {3},
pages = {653-664},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {On the regularity and defect sequence of monomial and binomial ideals},
url = {http://eudml.org/doc/294410},
volume = {69},
year = {2019},
}

TY - JOUR
AU - Borna, Keivan
AU - Mohajer, Abolfazl
TI - On the regularity and defect sequence of monomial and binomial ideals
JO - Czechoslovak Mathematical Journal
PY - 2019
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 69
IS - 3
SP - 653
EP - 664
AB - When $S$ is a polynomial ring or more generally a standard graded algebra over a field $K$, with homogeneous maximal ideal $\mathfrak {m}$, it is known that for an ideal $I$ of $S$, the regularity of powers of $I$ becomes eventually a linear function, i.e., ${\rm reg}(I^m)=dm+e$ for $m\gg 0$ and some integers $d$, $ e$. This motivates writing ${\rm reg}(I^m)=dm+e_m$ for every $m\ge 0$. The sequence $e_m$, called the defect sequence of the ideal $I$, is the subject of much research and its nature is still widely unexplored. We know that $e_m$ is eventually constant. In this article, after proving various results about the regularity of monomial ideals and their powers, we give several bounds and restrictions on $e_m$ and its first differences when $I$ is a primary monomial ideal. Our theorems extend the previous results about $\mathfrak {m}$-primary ideals in the monomial case. We also use our results to obtatin information about the regularity of powers of a monomial ideal using its primary decomposition. Finally, we study another interesting phenomenon related to the defect sequence, namely that of regularity jump, where we give an infinite family of ideals with regularity jumps at the second power.
LA - eng
KW - Castelnuovo-Mumford regularity; powers of ideal; defect sequence
UR - http://eudml.org/doc/294410
ER -

References

top
  1. Berlekamp, D., 10.4310/MRL.2012.v19.n1.a9, Math. Res. Lett. 19 (2012), 109-119. (2012) Zbl1282.13026MR2923179DOI10.4310/MRL.2012.v19.n1.a9
  2. Borna, K., On linear resolution of powers of an ideal, Osaka J. Math. 46 (2009), 1047-1058. (2009) Zbl1183.13016MR2604920
  3. Brodmann, M. P., Sharp, R. Y., 10.1017/CBO9780511629204, Cambridge Studies in Advanced Mathematics 60, Cambridge University Press, Cambridge (1998). (1998) Zbl0903.13006MR1613627DOI10.1017/CBO9780511629204
  4. Chardin, M., Some results and questions on Castelnuovo-Mumford regularity, Syzygies and Hilbert Functions Lecture Notes in Pure and Applied Mathematics 254, Chapman & Hall/CRC, Boca Raton I. Peeva 1-40 (2007). (2007) Zbl1127.13014MR2309925
  5. Conca, A., Regularity jumps for powers of ideals, Commutative Algebra: Geometric, Homological, Combinatorial and Computational Aspects Lecture Notes in Pure and Applied Mathematics 244, Chapman & Hall/CRC, Boca Raton A. Corso et al. (2006), 21-32. (2006) Zbl1080.13015MR2184787
  6. Cutkosky, S. D., Herzog, J., Trung, N. V., 10.1023/A:1001559912258, Compos. Math. 118 (1999), 243-261. (1999) Zbl0974.13015MR1711319DOI10.1023/A:1001559912258
  7. Hà, H. T., Trung, N. V., Trung, T. N., 10.1007/s00209-015-1566-9, Math. Z. 282 (2016), 819-838. (2016) Zbl1345.13006MR3473645DOI10.1007/s00209-015-1566-9
  8. Kodiyalam, V., 10.1090/S0002-9939-99-05020-0, Proc. Am. Math. Soc. 128 (2000), 407-411. (2000) Zbl0929.13004MR1621961DOI10.1090/S0002-9939-99-05020-0

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.