Cohen-Macaulay residual intersections and their Castelnuovo-Mumford regularity
HTML articles powered by AMS MathViewer
- by Seyed Hamid Hassanzadeh PDF
- Trans. Amer. Math. Soc. 364 (2012), 6371-6394 Request permission
Abstract:
In this article we study the structure of residual intersections via constructing a finite complex of not necessarily free modules. The complex provides information about an ideal which coincides with the residual intersection in the geometric case; and is closely related to it in general. A new success obtained through studying such a complex is to prove the Cohen-Macaulayness of residual intersections of a wide class of ideals. In particular, it is shown that in a Cohen-Macaulay local ring any geometric residual intersection of an ideal which satisfies the sliding depth condition is Cohen-Macaulay. This is an affirmative answer for one of the main open questions in the theory of residual intersections (Huneke and Ulrich, 1988, Question 5.7).
The complex that we come up with in this article suffices to obtain a bound for the Castelnuovo-Mumford regularity of a residual intersection in terms of the degrees of minimal generators. More precisely, in a positively graded Cohen-Macaulay *local ring $R=\bigoplus _{n \geq 0} R_{n}$, if $J=\mathfrak {a} :I$ is a “geometric” $s$-residual intersection such that $\operatorname {Ht} (I)=g>0$ and $I$ satisfies a sliding depth condition, then $\operatorname {reg}(R/J) \leq \operatorname {reg}( R) + \dim (R_0)+ \sigma ( \mathfrak {a}) -(s-g+1)\operatorname {indeg} (I/\mathfrak {a})-s$, where $\sigma ( \mathfrak {a})$ is the sum of the degrees of elements of a minimal generating set of $\mathfrak {a}$. It is also shown that the equality holds whenever $I$ is a perfect ideal of height 2 and $R_0$ is a field.
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
- M. P. Brodmann and R. Y. Sharp, Local cohomology: an algebraic introduction with geometric applications, Cambridge Studies in Advanced Mathematics, vol. 60, Cambridge University Press, Cambridge, 1998. MR 1613627, DOI 10.1017/CBO9780511629204
- Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
- Winfried Bruns, Andrew R. Kustin, and Matthew Miller, The resolution of the generic residual intersection of a complete intersection, J. Algebra 128 (1990), no. 1, 214–239. MR 1031918, DOI 10.1016/0021-8693(90)90050-X
- Marc Chardin and Bernd Ulrich, Liaison and Castelnuovo-Mumford regularity, Amer. J. Math. 124 (2002), no. 6, 1103–1124. MR 1939782
- 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
- Christine Cumming, Residual intersections in Cohen-Macaulay rings, J. Algebra 308 (2007), no. 1, 91–106. MR 2290911, DOI 10.1016/j.jalgebra.2006.06.019
- J. A. Eagon and D. G. Northcott, Ideals defined by matrices and a certain complex associated with them, Proc. Roy. Soc. London Ser. A 269 (1962), 188–204. MR 142592, DOI 10.1098/rspa.1962.0170
- David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005. A second course in commutative algebra and algebraic geometry. MR 2103875
- William Fulton, Intersection theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Springer-Verlag, Berlin, 1998. MR 1644323, DOI 10.1007/978-1-4612-1700-8
- A. Grothendick, EGA III, 11, publications mathèmatique de l’I.H.E.S, 1961.
- S. H. Hassanzadeh, Castelnuovo-Mumford regularity of residual intersections and liaison, Ph.D. Thesis, Université Pierre et Marie Curie (Paris VI) and Tarbiat Moallem University of Tehran, 2009.
- Jürgen Herzog and Ernst Kunz (eds.), Der kanonische Modul eines Cohen-Macaulay-Rings, Lecture Notes in Mathematics, Vol. 238, Springer-Verlag, Berlin-New York, 1971. Seminar über die lokale Kohomologietheorie von Grothendieck, Universität Regensburg, Wintersemester 1970/1971. MR 0412177
- 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, A. Simis, and W. V. Vasconcelos, On the arithmetic and homology of algebras of linear type, Trans. Amer. Math. Soc. 283 (1984), no. 2, 661–683. MR 737891, DOI 10.1090/S0002-9947-1984-0737891-6
- 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
- Sam Huckaba and Craig Huneke, Rees algebras of ideals having small analytic deviation, Trans. Amer. Math. Soc. 339 (1993), no. 1, 373–402. MR 1123455, DOI 10.1090/S0002-9947-1993-1123455-7
- 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
- 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 and Bernd Ulrich, The structure of linkage, Ann. of Math. (2) 126 (1987), no. 2, 277–334. MR 908149, DOI 10.2307/1971402
- Eero Hyry, The diagonal subring and the Cohen-Macaulay property of a multigraded ring, Trans. Amer. Math. Soc. 351 (1999), no. 6, 2213–2232. MR 1467469, DOI 10.1090/S0002-9947-99-02143-1
- Andrew R. Kustin and Bernd Ulrich, A family of complexes associated to an almost alternating map, with applications to residual intersections, Mem. Amer. Math. Soc. 95 (1992), no. 461, iv+94. MR 1091668, DOI 10.1090/memo/0461
- Andrew R. Kustin and Bernd Ulrich, If the socle fits, J. Algebra 147 (1992), no. 1, 63–80. MR 1154674, DOI 10.1016/0021-8693(92)90252-H
- Hideyuki Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid. MR 879273
- 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
- C. Peskine and L. Szpiro, Dimension projective finie et cohomologie locale. Applications à la démonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck, Inst. Hautes Études Sci. Publ. Math. 42 (1973), 47–119 (French). MR 374130
- Claudia Polini and Bernd Ulrich, A formula for the core of an ideal, Math. Ann. 331 (2005), no. 3, 487–503. MR 2122537, DOI 10.1007/s00208-004-0560-z
- Herbert Sanders, Cohen-Macaulay properties of the Koszul homology, Manuscripta Math. 55 (1986), no. 3-4, 343–357. MR 836869, DOI 10.1007/BF01186650
- Ngô Viêt Trung, The largest non-vanishing degree of graded local cohomology modules, J. Algebra 215 (1999), no. 2, 481–499. MR 1686202, DOI 10.1006/jabr.1998.7735
- 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
- Wolmer V. Vasconcelos, Hilbert functions, analytic spread, and Koszul homology, Commutative algebra: syzygies, multiplicities, and birational algebra (South Hadley, MA, 1992) Contemp. Math., vol. 159, Amer. Math. Soc., Providence, RI, 1994, pp. 401–422. MR 1266195, DOI 10.1090/conm/159/01520
- 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
- Seyed Hamid Hassanzadeh
- Affiliation: Faculty of Mathematical Sciences and Computer, Tarbiat Moallem University, 599 Taleghani Avenue, Tehran 15618, Iran – and – Institut de Mathematiques, Université Pierre et Marie Curie, 175 rue du Chevaleret, 75013, Paris, France
- Address at time of publication: Departamento de Matemática, Universidade Federal de Pernambuco, Av. Jornalista Anibal Fernandes, sn, Cidade Universitária 50740-560, Recife, Pernambuco, Brazil
- Email: hamid@dmat.ufpe.br
- Received by editor(s): June 18, 2009
- Received by editor(s) in revised form: December 31, 2010
- Published electronically: July 11, 2012
- © Copyright 2012
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 364 (2012), 6371-6394
- MSC (2010): Primary 13C40, 13D02, 13H10; Secondary 14C17
- DOI: https://doi.org/10.1090/S0002-9947-2012-05602-9
- MathSciNet review: 2958940