The complete intersection locus of certain ideals
analytic spreadcanonical moduleCohen-Macaulay idealscomplete intersectionconormal moduleGorenstein idealsheightideallocal Noetherian ringminimum number of generatorsprojective dimension
Ideals and multiplicative ideal theory in commutative rings (13A15) General commutative ring theory (13A99) Homological dimension and commutative rings (13D05) Commutative Noetherian rings and modules (13E05) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Complete intersections (14M10)
For a local Noetherian ring R and an ideal I, this paper approaches the comparison between the height, ht(I), and the minimum number of generators, \(\nu\) (I), of I through the properties of the set of primes P where the localization \(I_ P\) is a complete intersection. This defines an open set, CIL(I), of Spec(R); the codimension of CIL(I) is denoted by c(I). Broadly speaking the aim is to estimate c(I) for ideals where the conormal module, \(I/I^ 2\), is sufficiently well known. An extreme case of this formulation is the following conjecture: Let I be an ideal of the regular local ring R. If \(I/I^ 2\) has finite projective dimension over R/I then I is a complete intersection. From the cases settled thus far the emerging evidence for it and for similar conjectures on the other (co-)normal modules is quite strong. The backdrop for the especial estimates of the paper are general - but surprisingly sharp - estimates of Bruns, Faltings and Huneke relating c(I) to ht(I), the number of generators and relations of I, and its analytic spread \(\ell (I).\) Section 2 discusses an enrichment by Gulliksen of the Tate resolution of R/I. A rephrasing of this proof leads to the following assertion: Let R be a local ring and let I be an ideal of finite projective dimension; the first homology module, \(H_ 1\), of the Koszul complex built on a minimal generating set of generators of I does not admit a nonzero (R/I)-free summand. As a consequence one can write bounds for c(I) that may, under certain conditions, be very tight. - The conjectural homological rigidity for \(I/I^ 2\)- i.e. whether for an ideal I of a regular ring R, 0 and \(\infty\) are the only possible values for \(pd_{R/I}(I/I^ 2)\)- is then studied. Along with analogs for the other (co-)normal modules one asks whether local complete intersections are characterized by the finiteness of the projective dimension of these modules. The results of {\S} 2 could then be stated as asserting that \(pd_{R/I}(I/I^ 2)\neq 1.\) In the next section it is shown that the canonical module of R/I, for the ideals in the conjecture, has the expected form: it is cyclic. This says that the Cohen-Macaulay ideals in the conjecture are in fact Gorenstein ideals, and settles the question in several cases - e.g. arbitrary ideals of height two in rings containing a field. Finally it discusses the form the estimates of c(I) assume when applied to ideals satisfying \(pd_{R/I}(I/I^ 2)\leq 3\). It allows for extending the catalog of solved cases of the conjecture up to various Cohen-Macaulay ideals of height four.
- A note on normality and the module of differentials
- A remark on almost complete intersections
- Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
- Ein Kriterium für vollständige Durchschnitte
- Free Derivation Modules on Algebraic Varieties
- scientific article; zbMATH DE number 3247268 (Why is no real title available?)
- scientific article; zbMATH DE number 3331603 (Why is no real title available?)
- scientific article; zbMATH DE number 3334305 (Why is no real title available?)
- scientific article; zbMATH DE number 3401079 (Why is no real title available?)
- scientific article; zbMATH DE number 3091021 (Why is no real title available?)
- Ideals defined by matrices and a certain complex associated with them
- Ideals generated by \(R\)-sequences
- Ideals with sliding depth
- Linkage and the Koszul Homology of Ideals
- On an application of the Fitting invariants
- On the Factoriality of Local Rings of Small Embedding Codimension
- On the homology of I/I2
- The Eisenbud-Evans Generalized Principal Ideal Theorem and Determinantal Ideals
- The Koszul algebra of a codimension 2 embedding
- The Syzygies of the Conormal Module
- The syzygy problem
- Zur endlichen homologischen Dimension von Differentialmoduln
- Some characterizations of smooth, regular, and complete intersection algebras
- Free resolutions of certain codimension three perfect radical ideals
- On the free character of the first Koszul homology module
- Modules of differentials of symmetric algebras
- Jacobian criteria for complete intersections. The graded case
- Vasconcelos' conjecture on the conormal module
- Homological aspects of derivation modules and critical case of the Herzog-Vasconcelos conjecture
- Cohomological characterizations of smoothness and the case of rational surface singularities
- Maximally differential ideals of finite projective dimension
- A generalization of Maloo's theorem on freeness of derivation modules
- Degrees of spaces of holomorphic foliations of codimension one in \(\mathbb{P}^n\)
- On the Cohen-Macaulayness of the conormal module of an ideal
- The leading ideal of a complete intersection of height two
- The Fitting ideal problem
- Criteria for Complete Intersections
- Stability of associated primes and equality of ordinary and symbolic powers of ideals
- scientific article; zbMATH DE number 1098986 (Why is no real title available?)
- Applications of Differential Graded Algebra Techniques in Commutative Algebra
- The structure of quasi-complete intersection ideals
- Defining ideal of the Segre locus in arbitrary characteristic
- An Ext-Tor duality theorem, cohomological dimension, and applications
This page was built for publication: The complete intersection locus of certain ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1063649)
