English

Integral closures of powers of sums of ideals

Commutative Algebra 2023-09-11 v2 Optimization and Control

Abstract

Let kk be a field, let AA and BB be polynomial rings over kk, and let S=AkBS= A \otimes_k B. Let IAI \subseteq A and JBJ \subseteq B be monomial ideals. We establish a binomial expansion for rational powers of I+JSI+J \subseteq S in terms of those of II and JJ. Particularly, for a positive rational number uu, we prove that (I+J)u=0ωu, ωQIωJuω,(I+J)_u = \sum_{0 \le \omega \le u, \ \omega \in \mathbb{Q}} I_\omega J_{u-\omega}, and that the sum on the right hand side is a finite sum. This finite sum can be made more precise using jumping numbers of rational powers of II and JJ. We further give sufficient conditions for this formula to hold for the integral closures of powers of I+JI+J in terms of those of II and JJ. Under these conditions, we provide explicit formulas for the depth and regularity of (I+J)k\overline{(I+J)^k} in terms of those of powers of II and JJ.

Keywords

Cite

@article{arxiv.2207.00730,
  title  = {Integral closures of powers of sums of ideals},
  author = {Arindam Banerjee and Huy Tai Ha},
  journal= {arXiv preprint arXiv:2207.00730},
  year   = {2023}
}

Comments

revision added connections to jumping numbers; 14 pages