Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Cohen-Macaulay residual intersections and their Castelnuovo-Mumford regularity


Author: Seyed Hamid Hassanzadeh
Journal: Trans. Amer. Math. Soc. 364 (2012), 6371-6394
MSC (2010): Primary 13C40, 13D02, 13H10; Secondary 14C17
Published electronically: July 11, 2012
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 13C40, 13D02, 13H10, 14C17

Retrieve articles in all journals with MSC (2010): 13C40, 13D02, 13H10, 14C17


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

DOI: http://dx.doi.org/10.1090/S0002-9947-2012-05602-9
PII: S 0002-9947(2012)05602-9
Keywords: Castelnuovo-Mumford regularity, generalized Koszul complex, $G_{s}$ condition, residual intersection, sliding depth condition
Received by editor(s): June 18, 2009
Received by editor(s) in revised form: December 31, 2010
Published electronically: July 11, 2012
Article copyright: © Copyright 2012 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.