Core and residual intersections of ideals

Corso, Alberto; Polini, Claudia; Ulrich, Bernd

doi:10.1090/S0002-9947-02-02908-2

Core and residual intersections of ideals
HTML articles powered by AMS MathViewer

by Alberto Corso, Claudia Polini and Bernd Ulrich

Trans. Amer. Math. Soc. 354 (2002), 2579-2594

DOI: https://doi.org/10.1090/S0002-9947-02-02908-2

Published electronically: February 1, 2002

PDF | Request permission

Abstract:

D. Rees and J. Sally defined the core of an $R$-ideal $I$ as the intersection of all (minimal) reductions of $I$. However, it is not easy to give an explicit characterization of it in terms of data attached to the ideal. Until recently, the only case in which a closed formula was known is the one of integrally closed ideals in a two-dimensional regular local ring, due to C. Huneke and I. Swanson. The main result of this paper explicitly describes the core of a broad class of ideals with good residual properties in an arbitrary local Cohen–Macaulay ring. We also find sharp bounds on the number of minimal reductions that one needs to intersect to get the core.

References

Ian M. Aberbach and Craig Huneke, A theorem of Briançon-Skoda type for regular local rings containing a field, Proc. Amer. Math. Soc. 124 (1996), no. 3, 707–713. MR 1301483, DOI 10.1090/S0002-9939-96-03058-4
Lâcezar Avramov and Jürgen Herzog, The Koszul algebra of a codimension $2$ embedding, Math. Z. 175 (1980), no. 3, 249–260. MR 602637, DOI 10.1007/BF01163026
M. Artin and M. Nagata, Residual intersections in Cohen-Macaulay rings, J. Math. Kyoto Univ. 12 (1972), 307–323. MR 301006, DOI 10.1215/kjm/1250523522
D. Bayer and M.E. Stillman, Macaulay, A computer algebra system for computing in Algebraic Geometry and Commutative Algebra, 1990. Available via anonymous ftp from zariski.harvard.edu.
David A. Buchsbaum and David Eisenbud, What annihilates a module?, J. Algebra 47 (1977), no. 2, 231–243. MR 476736, DOI 10.1016/0021-8693(77)90223-X
M. Chardin, D. Eisenbud and B. Ulrich, Hilbert functions, residual intersections, and residually $S_2$-ideals, Compositio Math. 125 (2001), 193–219.
Alberto Corso and Claudia Polini, Reduction number of links of irreducible varieties, J. Pure Appl. Algebra 121 (1997), no. 1, 29–43. MR 1471122, DOI 10.1016/S0022-4049(96)00042-4
Alberto Corso and Claudia Polini, On residually $S_2$ ideals and projective dimension one modules, Proc. Amer. Math. Soc. 129 (2001), no. 5, 1309–1315. MR 1814157, DOI 10.1090/S0002-9939-00-05696-3
A. Corso, C. Polini and B. Ulrich, The structure of the core of ideals, Math. Ann. 321 (2001), 89–105.
R. C. Cowsik and M. V. Nori, On the fibres of blowing up, J. Indian Math. Soc. (N.S.) 40 (1976), no. 1-4, 217–222 (1977). MR 572990
S. Goto, S.-I. Iai and K.-I. Watanabe, Good ideals in Gorenstein local rings, Trans. Amer. Math. Soc. 353 (2001), 2309–2346.
R. Hübl and C. Huneke, Fiber cones and the integral closure of ideals, Collect. Math. 52 (2001), 85–100.
J. Herzog, A. Simis, and W. V. Vasconcelos, Koszul homology and blowing-up rings, Commutative algebra (Trento, 1981) Lecture Notes in Pure and Appl. Math., vol. 84, Dekker, New York, 1983, pp. 79–169. MR 686942
J. Herzog, W. V. Vasconcelos, and R. Villarreal, Ideals with sliding depth, Nagoya Math. J. 99 (1985), 159–172. MR 805087, DOI 10.1017/S0027763000021553
Jürgen Herzog and Bernd Ulrich, Self-linked curve singularities, Nagoya Math. J. 120 (1990), 129–153. MR 1086575, DOI 10.1017/S0027763000003305
Craig Huneke, Linkage and the Koszul homology of ideals, Amer. J. Math. 104 (1982), no. 5, 1043–1062. MR 675309, DOI 10.2307/2374083
Craig Huneke and Irena Swanson, Cores of ideals in $2$-dimensional regular local rings, Michigan Math. J. 42 (1995), no. 1, 193–208. MR 1322199, DOI 10.1307/mmj/1029005163
Eero Hyry, Coefficient ideals and the Cohen-Macaulay property of Rees algebras, Proc. Amer. Math. Soc. 129 (2001), no. 5, 1299–1308. MR 1712905, DOI 10.1090/S0002-9939-00-05673-2
Mark Johnson and Bernd Ulrich, Artin-Nagata properties and Cohen-Macaulay associated graded rings, Compositio Math. 103 (1996), no. 1, 7–29. MR 1404996
Steven Kleiman and Bernd Ulrich, Gorenstein algebras, symmetric matrices, self-linked ideals, and symbolic powers, Trans. Amer. Math. Soc. 349 (1997), no. 12, 4973–5000. MR 1422609, DOI 10.1090/S0002-9947-97-01960-0
Joseph Lipman, Adjoints of ideals in regular local rings, Math. Res. Lett. 1 (1994), no. 6, 739–755. With an appendix by Steven Dale Cutkosky. MR 1306018, DOI 10.4310/MRL.1994.v1.n6.a10
Joseph Lipman and Bernard Teissier, Pseudorational local rings and a theorem of Briançon-Skoda about integral closures of ideals, Michigan Math. J. 28 (1981), no. 1, 97–116. MR 600418
Sam Perlis, Maximal orders in rational cyclic algebras of composite degree, Trans. Amer. Math. Soc. 46 (1939), 82–96. MR 15, DOI 10.1090/S0002-9947-1939-0000015-X
Claudia Polini and Bernd Ulrich, Linkage and reduction numbers, Math. Ann. 310 (1998), no. 4, 631–651. MR 1619911, DOI 10.1007/s002080050163
D. Rees and Judith D. Sally, General elements and joint reductions, Michigan Math. J. 35 (1988), no. 2, 241–254. MR 959271, DOI 10.1307/mmj/1029003751
Bernd Ulrich, Artin-Nagata properties and reductions of ideals, Commutative algebra: syzygies, multiplicities, and birational algebra (South Hadley, MA, 1992) Contemp. Math., vol. 159, Amer. Math. Soc., Providence, RI, 1994, pp. 373–400. MR 1266194, DOI 10.1090/conm/159/01519
Bernd Ulrich, Ideals having the expected reduction number, Amer. J. Math. 118 (1996), no. 1, 17–38. MR 1375302
Paolo Valabrega and Giuseppe Valla, Form rings and regular sequences, Nagoya Math. J. 72 (1978), 93–101. MR 514892
Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249