English

Symbolic powers of monomial ideals

Commutative Algebra 2019-08-07 v1

Abstract

Let A=K[X1,,Xd]A = K[X_1,\ldots, X_d] and let II, JJ be monomial ideals in AA. Let In(J)=(In ⁣:J)I_n(J) = (I^n \colon J^\infty) be the nthn^{th} symbolic power of II \wrt \ JJ. It is easy to see that the function fJI(n)=e0(In(J)/In)f^I_J(n) = e_0(I_n(J)/I^n) is of quasi-polynomial type, say of period gg and degree cc. For n0n \gg 0 say fJI(n)=ac(n)nc+ac1(n)nc1+lower terms, f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + \text{lower terms}, where for i=0,,ci = 0, \ldots, c, ai ⁣:N\rtZa_i \colon \mathbb{N} \rt \mathbb{Z} are periodic functions of period gg and ac0a_c \neq 0. In an earlier paper we (together with Herzog and Verma) proved that dimIn(J)/In\dim I_n(J)/I^n is constant for n0n \gg 0 and ac()a_c(-) is a constant. In this paper we prove that if II is generated by some elements of the same degree and height I2I \geq 2 then ac1()a_{c-1}(-) is also a constant.

Keywords

Cite

@article{arxiv.1908.02085,
  title  = {Symbolic powers of monomial ideals},
  author = {Tony J. Puthenpurakal},
  journal= {arXiv preprint arXiv:1908.02085},
  year   = {2019}
}
R2 v1 2026-06-23T10:40:49.889Z