×

Tensor-multinomial sums of ideals: primary decompositions and persistence of associated primes. (English) Zbl 1436.13018

Let \(K\) be a field and \(A, B\) and \(C=A\otimes_KB\) be unital commutative Noetherian \(K\)-algebras, with proper ideals \(I<A, J<B\). The authors look into the problem of relationship between powers of \(I+J\) and powers of \(I\) and \(J\). They construct primary decompositions for powers of \(I+J\) from filtered primary components for powers of \(I\) and \(J\) in the case where \(K\) is algebraically closed. The author’s are also interested in ideals \(L\) in a commutative ring \(R\) that satisfy the persistence property on associated primes, namely such that \(\mathrm{Ass}(R/L^)\leq\mathrm{Ass}(R/L^n)\), for every \(n>0\). If \(J\) is a non-zero normal ideal (i.e. all powers of \(J\) are integrally closed), then \(\mathrm{Ass}(C/(I+J)^{n-1})\leq\mathrm{Ass}(C/(I+J)^n)\). Associated primes of each power of \(I+J\) are determined, in terms of the associated powers of \(I\) and \(J\). The paper is peppered with a number of technical lemmas and the authors acknowledge extensive use of results by H. T. Ha, D. H. Nguyen, N. V. Trung, T. N. Trung [“Symbolic powers of sums of ideals”, Preprint, arXiv:1702.01766].

MSC:

13C05 Structure, classification theorems for modules and ideals in commutative rings
13B22 Integral closure of commutative rings and ideals
14B05 Singularities in algebraic geometry

References:

[1] Brodmann, M., Asymptotic stability of \(\text{Ass}(M/I^nM)\), Proc. Amer. Math. Soc., 74, 1, 16-18 (1979) · Zbl 0395.13008 · doi:10.2307/2042097
[2] M2 D. R. Grayson and M. E. Stillman, Macaulay \(2\), a software system for research in algebraic geometry, Available at http://www.uiuc.edu/Macaulay2/, 1992.
[3] HNTTBinomial H. T. H\`a, H. D. Nguyen, N. V. Trung, and T. N. Trung, Symbolic powers of sums of ideals, https://arxiv.org/abs/1702.01766arXiv:1702.01766, 2017.
[4] H\`a, Huy T\`ai; Sun, Mengyao, Squarefree monomial ideals that fail the persistence property and non-increasing depth, Acta Math. Vietnam., 40, 1, 125-137 (2015) · Zbl 1320.13015 · doi:10.1007/s40306-014-0104-x
[5] H\`a, Huy T\`ai; Trung, Ngo Viet; Trung, Tr\^an Nam, Depth and regularity of powers of sums of ideals, Math. Z., 282, 3-4, 819-838 (2016) · Zbl 1345.13006 · doi:10.1007/s00209-015-1566-9
[6] Herzog, J\"{u}rgen; Rauf, Asia; Vladoiu, Marius, The stable set of associated prime ideals of a polymatroidal ideal, J. Algebraic Combin., 37, 2, 289-312 (2013) · Zbl 1258.13014 · doi:10.1007/s10801-012-0367-z
[7] Huneke, Craig, The primary components of and integral closures of ideals in \(3\)-dimensional regular local rings, Math. Ann., 275, 4, 617-635 (1986) · Zbl 0605.13003 · doi:10.1007/BF01459141
[8] Huneke, Craig; Swanson, Irena, Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series 336, xiv+431 pp. (2006), Cambridge University Press, Cambridge · Zbl 1117.13001
[9] Katz, Daniel; Ratliff, L. J., Jr., On the prime divisors of \(IJ\) when \(I\) is integrally closed, Arch. Math. (Basel), 51, 6, 520-522 (1988) · Zbl 0639.13002 · doi:10.1007/BF01261973
[10] Mart\'{\i}nez-Bernal, Jos\'{e}; Morey, Susan; Villarreal, Rafael H., Associated primes of powers of edge ideals, Collect. Math., 63, 3, 361-374 (2012) · Zbl 1360.13027 · doi:10.1007/s13348-011-0045-9
[11] JSMilneAG J. S. Milne, Algebraic geometry, lecture notes, Version 5.22, http://www.jmilne.org/math/CourseNotes/ag.htmlOnline Link, 2013.
[12] Nguyen, Hop D.; Vu, Thanh, Powers of sums and their homological invariants, J. Pure Appl. Algebra, 223, 7, 3081-3111 (2019) · Zbl 1422.13015 · doi:10.1016/j.jpaa.2018.10.010
[13] Ohsugi, Hidefumi; Hibi, Takayuki, Normal polytopes arising from finite graphs, J. Algebra, 207, 2, 409-426 (1998) · Zbl 0926.52017 · doi:10.1006/jabr.1998.7476
[14] Simis, Aron; Vasconcelos, Wolmer V.; Villarreal, Rafael H., The integral closure of subrings associated to graphs, J. Algebra, 199, 1, 281-289 (1998) · Zbl 0902.13004 · doi:10.1006/jabr.1997.7171
[15] Villarreal, Rafael H., Rees cones and monomial rings of matroids, Linear Algebra Appl., 428, 11-12, 2933-2940 (2008) · Zbl 1147.05057 · doi:10.1016/j.laa.2008.01.035
[16] Walker, Robert M., Uniform symbolic topologies via multinomial expansions, Proc. Amer. Math. Soc., 146, 9, 3735-3746 (2018) · Zbl 1392.13009 · doi:10.1090/proc/14073
[17] Yao, Yongwei, Primary decomposition: compatibility, independence and linear growth, Proc. Amer. Math. Soc., 130, 6, 1629-1637 (2002) · Zbl 0986.13001 · doi:10.1090/S0002-9939-01-06284-0
[18] Zariski, Oscar; Samuel, Pierre, Commutative algebra. Vol. 1, xi+329 pp. (1975), Springer-Verlag, New York-Heidelberg-Berlin · Zbl 0313.13001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.