Cohen–Macaulayness and canonical module of residual intersections
HTML articles powered by AMS MathViewer
- by Marc Chardin, José Naéliton and Quang Hoa Tran PDF
- Trans. Amer. Math. Soc. 372 (2019), 1601-1630 Request permission
Abstract:
We show the Cohen–Macaulayness and describe the canonical module of residual intersections $J={\mathfrak {a}}\colon _R I$ in a Cohen–Macaulay local ring $R$, under sliding depth type hypotheses. For this purpose, we construct and study, using a recent article of Hassanzadeh and the second author, a family of complexes that contains important information on a residual intersection and its canonical module. We also determine several invariants of residual intersections as the graded canonical module, the Hilbert series, the Castelnuovo–Mumford regularity and the type. Finally, whenever $I$ is strongly Cohen–Macaulay, we show duality results for residual intersections that are closely connected to results by Eisenbud and Ulrich. It establishes some tight relations between the Hilbert series of some symmetric powers of $I/{\mathfrak {a}}$. We also provide closed formulas for the types and for the Bass numbers of some symmetric powers of $I/{\mathfrak {a}}.$References
- 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
- Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
- N. Bourbaki, Éléments de mathématique. Algèbre. Chapitres 1 à 3, Hermann, Paris, 1970 (French). MR 0274237
- Marc Chardin, David Eisenbud, and Bernd Ulrich, Hilbert functions, residual intersections, and residually $\textrm {S}_2$ ideals, Compositio Math. 125 (2001), no. 2, 193–219. MR 1815393, DOI 10.1023/A:1002442111114
- M. Chardin, Regularity of ideals and their powers, Institut de Mathématiques de Jussieu 364 (2004), 1–30.
- D. Eisenbud and B. Ulrich, Duality and socle generators for residual intersections, Crelle (to appear), DOI 10.1515/crelle-2017-0045.
- D. R. Grayson and M. E. Stillman, Macaulay 2, a software system for research in algebraic geometry, http://www.math.uiuc.edu/Macaulay2/.
- Seyed Hamid Hassanzadeh, Cohen-Macaulay residual intersections and their Castelnuovo-Mumford regularity, Trans. Amer. Math. Soc. 364 (2012), no. 12, 6371–6394. MR 2958940, DOI 10.1090/S0002-9947-2012-05602-9
- J. Herzog, Komplexe auflösungen und dualität in der lokalen algebra, Universität Regensburg, Habilitationsschrift, 1974 (German).
- Ernst Kunz, Komplementärmodul und kanonischer Modul, Der kanonische Modul eines Cohen-Macaulay-Rings (Sem. Lokale Kohomologietheorie von Grothendieck, Univ. Regensburg, Regensburg, 1970/1971), Lecture Notes in Math., Vol. 238, Springer, Berlin, 1971, pp. 85–102, 103 (German). MR 0476717
- Seyed Hamid Hassanzadeh and Jose Naéliton, Residual intersections and the annihilator of Koszul homologies, Algebra Number Theory 10 (2016), no. 4, 737–770. MR 3519094, DOI 10.2140/ant.2016.10.737
- J. Herzog, A. Simis, and W. V. Vasconcelos, Approximation complexes of blowing-up rings, J. Algebra 74 (1982), no. 2, 466–493. MR 647249, DOI 10.1016/0021-8693(82)90034-5
- J. Herzog, A. Simis, and W. V. Vasconcelos, Approximation complexes of blowing-up rings. II, J. Algebra 82 (1983), no. 1, 53–83. MR 701036, DOI 10.1016/0021-8693(83)90173-4
- 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
- Craig Huneke and Bernd Ulrich, Residual intersections, J. Reine Angew. Math. 390 (1988), 1–20. MR 953673, DOI 10.1515/crll.1988.390.1
- Craig Huneke, Strongly Cohen-Macaulay schemes and residual intersections, Trans. Amer. Math. Soc. 277 (1983), no. 2, 739–763. MR 694386, DOI 10.1090/S0002-9947-1983-0694386-5
- 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
- Claudia Miller, Hamidreza Rahmati, and Janet Striuli, Duality for Koszul homology over Gorenstein rings, Math. Z. 276 (2014), no. 1-2, 329–343. MR 3150207, DOI 10.1007/s00209-013-1202-5
- C. Peskine and L. Szpiro, Liaison des variétés algébriques. I, Invent. Math. 26 (1974), 271–302 (French). MR 364271, DOI 10.1007/BF01425554
- Richard P. Stanley, Weyl groups, the hard Lefschetz theorem, and the Sperner property, SIAM J. Algebraic Discrete Methods 1 (1980), no. 2, 168–184. MR 578321, DOI 10.1137/0601021
- A. Simis and W. V. Vasconcelos, The syzygies of the conormal module, Amer. J. Math. 103 (1981), no. 2, 203–224. MR 610474, DOI 10.2307/2374214
- Bernd Ulrich, Remarks on residual intersections, Free resolutions in commutative algebra and algebraic geometry (Sundance, UT, 1990) Res. Notes Math., vol. 2, Jones and Bartlett, Boston, MA, 1992, pp. 133–138. MR 1165323
- 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
- Wolmer V. Vasconcelos, Arithmetic of blowup algebras, London Mathematical Society Lecture Note Series, vol. 195, Cambridge University Press, Cambridge, 1994. MR 1275840, DOI 10.1017/CBO9780511574726
- Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324, DOI 10.1017/CBO9781139644136
Additional Information
- Marc Chardin
- Affiliation: Institut de Mathématiques de Jussieu, UPMC, 4 place Jussieu, 75005 Paris, France
- MR Author ID: 259215
- Email: marc.chardin@imj-prg.fr
- José Naéliton
- Affiliation: Departamento de Matemática, CCEN, Campus I–sn–Cidade Universitária, Universidade Federal de Paraíba, 58051-090 João Pessoa, Brazil
- Email: jnaeliton@yahoo.com.br
- Quang Hoa Tran
- Affiliation: University of Education, Hue University, 34 Le Loi Street, Hue City, Vietnam; and Institut de Mathématiques de Jussieu, UPMC, 4 place Jussieu, 75005 Paris, France
- MR Author ID: 1193180
- Email: tranquanghoa@hueuni.edu.vn
- Received by editor(s): May 19, 2017
- Received by editor(s) in revised form: March 23, 2018
- Published electronically: May 9, 2019
- Additional Notes: Part of this work was done while the second author was visiting the Université Pierre et Marie Curie, and he expresses his gratitude for the hospitality.
All authors were partially supported by the Math-AmSud program SYRAM, which gave them the opportunity to work together on this question. - © Copyright 2019 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 372 (2019), 1601-1630
- MSC (2010): Primary 13C40, 14M06; Secondary 13D02, 13D40, 13H10, 14M10
- DOI: https://doi.org/10.1090/tran/7607
- MathSciNet review: 3976571