Geodesic
On the regularity and defect sequence of monomial and binomial ideals
Czechoslovak Mathematical Journal, Tome 69 (2019) no. 3, pp. 653-664 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

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\geq 0$. The sequence $e_m$, called the \emph {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.
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\geq 0$. The sequence $e_m$, called the \emph {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.
DOI : 10.21136/CMJ.2018.0458-17
Classification : 13D02, 13P10
Keywords: Castelnuovo-Mumford regularity; powers of ideal; defect sequence 
@article{10_21136_CMJ_2018_0458_17,
     author = {Borna, Keivan and Mohajer, Abolfazl},
     title = {On the regularity and defect sequence of monomial and binomial ideals},
     journal = {Czechoslovak Mathematical Journal},
     pages = {653--664},
     year = {2019},
     volume = {69},
     number = {3},
     doi = {10.21136/CMJ.2018.0458-17},
     mrnumber = {3989272},
     zbl = {07088810},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CMJ.2018.0458-17/}
}
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
SP  - 653
EP  - 664
VL  - 69
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.2018.0458-17/
DO  - 10.21136/CMJ.2018.0458-17
LA  - en
ID  - 10_21136_CMJ_2018_0458_17
ER  - 
%0 Journal Article
%A Borna, Keivan
%A Mohajer, Abolfazl
%T On the regularity and defect sequence of monomial and binomial ideals
%J Czechoslovak Mathematical Journal
%D 2019
%P 653-664
%V 69
%N 3
%U http://geodesic.mathdoc.fr/articles/10.21136/CMJ.2018.0458-17/
%R 10.21136/CMJ.2018.0458-17
%G en
%F 10_21136_CMJ_2018_0458_17
Borna, Keivan; Mohajer, Abolfazl. On the regularity and defect sequence of monomial and binomial ideals. Czechoslovak Mathematical Journal, Tome 69 (2019) no. 3, pp. 653-664. doi: 10.21136/CMJ.2018.0458-17

[1] Berlekamp, D.: Regularity defect stabilization of powers of an ideal. Math. Res. Lett. 19 (2012), 109-119. | DOI | MR | JFM

[2] Borna, K.: On linear resolution of powers of an ideal. Osaka J. Math. 46 (2009), 1047-1058. | MR | JFM

[3] Brodmann, M. P., Sharp, R. Y.: Local Cohomology: An Algebraic Introduction with Geometric Applications. Cambridge Studies in Advanced Mathematics 60, Cambridge University Press, Cambridge (1998). | DOI | MR | JFM

[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). | MR | JFM

[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. | MR | JFM

[6] Cutkosky, S. D., Herzog, J., Trung, N. V.: Asymptotic behaviour of the Castelnuovo-Mumford regularity. Compos. Math. 118 (1999), 243-261. | DOI | MR | JFM

[7] Hà, H. T., Trung, N. V., Trung, T. N.: Depth and regularity of powers of sums of ideals. Math. Z. 282 (2016), 819-838. | DOI | MR | JFM

[8] Kodiyalam, V.: Asymptotic behaviour of Castelnuovo-Mumford regularity. Proc. Am. Math. Soc. 128 (2000), 407-411. | DOI | MR | JFM

Cité par Sources :