[Paper Review] Specialization and Integral Closure

Jooyoun Hong, Benjamin J. Ulrich|arXiv (Cornell University)|Nov 25, 2006

Commutative Algebra and Its Applications19 references5 citations

TL;DR

This paper establishes that integral closure of ideals and modules is preserved under specialization by a generic element, enabling inductive proofs on ideal height. The key result shows that an element is integral over an ideal if and only if it is integral modulo a generic linear combination of the generators, using cohomological techniques on Rees algebras and integral closures.

ABSTRACT

We prove that the integral closedness of any ideal of height at least two is compatible with specialization by a generic element. This opens the possibility for proofs using induction on the height of an ideal. Also, with additional assumptions, we show that an element is integral over a module if it is integral modulo a generic element of the module. This turns questions about integral closures of modules into problems about integral closures of ideals, by means of a construction known as Bourbaki ideal.

Motivation & Objective

• To establish the compatibility of integral closure with specialization by a generic element in ideals of height at least two.
• To extend this result to modules via the Bourbaki ideal construction and Rees algebras.
• To provide a cohomological foundation for lifting integral dependence results using vanishing of local cohomology modules.
• To recover and generalize Huneke and Itoh's result on integral closures of powers of complete intersections via induction.

Proposed method

• Use the extended Rees algebra $\mathcal{A} = R[It, t^{-1}]$ and its integral closure $\overline{\mathcal{A}}$ to study integral closures of powers of an ideal $I$.
• Prove that the second local cohomology module $H^2_J(\overline{\mathcal{A}})$ vanishes in non-positive degrees for certain ideals $J$ of height at least 3.
• Pass to the graded ring of fractional powers $\{\overline{I^n}^{1/e}\}$ and use its reducedness to deduce cohomological vanishing.
• Apply the vanishing of $H^2_J(\overline{\mathcal{A}})$ in degree zero to deduce that $\overline{I'/(x)} = \overline{I'}/(x)$ for a generic element $x = \sum z_i a_i$.
• Use the Bourbaki ideal construction to reduce module integral closure problems to ideal problems via generic specialization.
• Leverage the fact that the Rees algebra of a module is the symmetric algebra modulo torsion, and use rank and depth conditions to analyze integral closure.

Experimental results

Research questions

• RQ1 Does integral closure of an ideal of height ≥2 commute with specialization modulo a generic linear combination of its generators?
• RQ2 Can the integral closure of a module be studied via its generic specialization and associated Bourbaki ideals?
• RQ3 Under what conditions does the integral closure of a module remain closed under specialization by a generic element of a reduction?
• RQ4 How can cohomological methods be used to prove the preservation of integral closure under specialization?
• RQ5 Can the result on ideal integral closure be extended to modules with rank, and what depth or regularity conditions are necessary?

Key findings

• The integral closure of an ideal $I$ of height at least two is preserved under specialization modulo a generic element $x = \sum z_i a_i$, i.e., $\overline{I'/(x)} = \overline{I'}/(x)$ in $R'[x]$.
• The vanishing of the second local cohomology module $H^2_J(\overline{\mathcal{A}})$ in non-positive degrees is the key cohomological obstruction that vanishes under the given conditions.
• The result enables inductive proofs on the height of ideals, providing a new route to Huneke and Itoh's theorem on integral closures of powers of complete intersections.
• For modules with rank $e \geq 2$, if the specialization $E'/(x)$ is integrally closed, then the original module $E$ is integrally closed.
• A generic Bourbaki ideal of $\overline{E}$ with respect to $E$ is integrally closed under mild depth or regularity conditions on the localizations of $R$.
• The converse holds: if the generic specialization $E'/(x)$ is integrally closed, then $E$ itself is integrally closed, under normality and torsion-freeness assumptions.