Associated points and integral closure of modules

DOI10.1016/J.JALGEBRA.2018.04.027MaRDI QIDQ1643544zbMATH OpenOpenAlexFDO

Authors Antoni Rangachev

Publication date 19 June 2018

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1611.03910

zbMATH Keywords

associated pointsBertini's theorem for extreme morphismsintegral closure of modulesRees algebra of a module

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Integral dependence in commutative rings; going up, going down (13B21) Integral closure of commutative rings and ideals (13B22) Schemes and morphisms (14A15)

Abstract: Let $X:=mathrmSpec(R)$ be an affine Noetherian scheme, and $mathcalMsubsetmathcalN$ be a pair of finitely generated $R$-modules. Denote their Rees algebras by $mathcalR(mathcalM)$ and $mathcalR(mathcalN)$. Let $mathcal{N}^n$ be the $n$th homogeneous component of $mathcalR(mathcalN)$ and let $mathcal{M}^n$ be the image of the $n$th homegeneous component of $mathcalR(mathcalM)$ in $mathcal{N}^n$. Denote by $overlinemathcal{M}^n$ be the integral closure of $mathcal{M}^n$ in $mathcal{N}^n$. We prove that $mathrm{Ass}_X(mathcal{N}^n/overlinemathcal{M}^n)$ and $mathrm{Ass}_X(mathcal{N}^n/mathcal{M}^n)$ are asymptotically stable, generalizing known results for the case where $mathcalM$ is an ideal or where $mathcalN$ is a free module. Suppose either that $mathcalM$ and $mathcalN$ are free at the generic point of each irreducible component of $X$ or $mathcalN$ is contained in a free $R$-module. When $X$ is universally catenary, we prove a generalization of a classical result due to McAdam and obtain a geometric classification of the points appearing in $mathrm{Ass}_X(mathcal{N}^n/overlinemathcal{M}^n)$. Notably, we show that if $xinmathrm{Ass}_X(mathcal{N}^n/overlinemathcal{M}^n)$ for some $n$, then $x$ is the generic point of a codimension-one component of the nonfree locus of $mathcalN/mathcalM$ or $x$ is a generic point of an irreducible set in $X$ where the fiber dimension $mathrmProj(mathcalR(mathcalM))ightarrowX$ jumps. We prove a converse to this result without requiring $X$ to be universally catenary. Many of our results are stated and proved more generally for standard graded algebras. Also, we recover, strengthen, and prove a sort of converse of an important result of Kleiman and Thorup about integral dependence of modules.

Review text

Let $X:=\mathrm{Spec}(R)$ be an affine Noetherian scheme, and $\mathcal{M} \subset \mathcal{N}$ be a pair of finitely generated $R$-modules. Denote their Rees algebras by $\mathcal{R}(\mathcal{M})$ and $\mathcal{R}(\mathcal{N})$. Let $\mathcal{N}^{n}$ be the $n$-th homogeneous component of $\mathcal{R}(\mathcal{N})$ and let $\mathcal{M}^{n}$ be the image of the $n$th homogeneous component of $\mathcal{R}(\mathcal{M})$ in $\mathcal{N}^n$. Denote by $\overline{\mathcal{M}^{n}}$ the integral closure of $\mathcal{M}^{n}$ in $\mathcal{N}^{n}$. One of the main goals of this paper is to describe the sets $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$ and $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\mathcal{M}^{n}).$ \par The author obtains a complete classification of the points $x$ of $X$ that appear in the set $\bigcup_{n=1}^\infty \mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$ when $X$ is universally catenary. In particular, he proves that this set is finite. More generally, without assuming $X$ to be universally catenary and any additional hypothesis on the pair $\mathcal{M} \subset \mathcal{N},$ the author proves that $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$ and $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\mathcal{M}^{n})$ are asymptotically stable, generalizing known results for the case where $\mathcal{M}$ is an ideal or where $\mathcal{N}$ is a free module. \par Suppose that either $\mathcal{M}$ and $\mathcal{N}$ are free at the generic point of each irreducible component of $X$ or $\mathcal{N}$ is contained in a free $R$-module. If $X$ is universally catenary, the author proves a generalization of a classical result due to \textit{S. McAdam} [Proc. Am. Math. Soc. 80, 555--559 (1980; Zbl 0445.13002)] and obtain a geometric classification of the points appearing in $\mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$. More precisely, he shows that if $x \in \mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}})$ for some $n$, then $x$ is the generic point of a codimension-one component of the nonfree locus of $\mathcal{N}/\mathcal{M}$ or $x$ is a generic point of an irreducible set in $X$ where the fiber dimension $\mathrm{Proj}(\mathcal{R}(\mathcal{M})) \rightarrow X$ jumps. He proves a converse of this result without requiring $X$ to be universally catenary. \par Finally, he recovers, strengthens, and proves a sort of converse of an important result of Kleiman and Thorup about integral dependence of modules.

Recommendations

• Asymptotic Behavior of Integral Closures in Modules
• INTEGRAL CLOSURE AND IDEAL TOPOLOGIES IN MODULES
• Asymptotic prime divisors of torsion-free symmetric powers of modules
• Associated primes and integral closure of Noetherian rings
• Asymptotic behaviour of integral closures of ideals relative to Artinian modules

Cites work

• A brief survey and history of asymptotic prime divisors
• A geometric theory of the Buchsbaum-Rim multiplicity
• Asymptotic prime divisors
• Asymptotic Prime Divisors and Analytic Spreads
• Asymptotic prime divisors of torsion-free symmetric powers of modules
• Asymptotic Stability of Ass(M/I n M)
• Asymptotic stability of primes associated to homogeneous components of multigraded modules
• Codimension, multiplicity and integral extensions.
• Conormal geometry of maximal minors
• scientific article; zbMATH DE number 589384 (Why is no real title available?)
• scientific article; zbMATH DE number 3274799 (Why is no real title available?)
• scientific article; zbMATH DE number 3196340 (Why is no real title available?)
• In memoriam: David Rees (1918--2013).
• Integral closure of ideals, rings, and modules
• Integral closure of modules and Whitney equisingularity
• Lectures on Curves on an Algebraic Surface. (AM-59)
• Minors of symmetric and exterior powers
• Multiplicities and equisingularity of ICIS germs
• On asymptotic prime divisors
• On prime divisors of I^n, n large
• Powers of ideals. Primary decompositions, Artin-Rees lemma and regularity
• Prime ideals associated to symmetric powers of a module
• Quasi-finite modules and asymptotic prime divisors
• Reduction of modules
• Rings associated with ideals and analytic spread
• Specialization of integral dependence for modules
• The A_f condition and relative conormal spaces for functions with nonvanishing derivative
• The asymptotic Ass
• The Multiplicity Polar Theorem and isolated singularities
• The theory of integral closure of ideals and modules: Applications and new developments. With an appendix by Steven Kleiman and Anders Thorup
• Uniform bounds and symbolic powers on smooth varieties
• Valuations Associated with Ideals
• Varieties with small dual varieties. I
• Varieties with small dual varieties. II
• What is the Rees algebra of a module?

Cited in

(5)

• Associated primes and integral closure of Noetherian rings
• Asymptotic prime divisors of torsion-free symmetric powers of modules
• scientific article; zbMATH DE number 1054696 (Why is no real title available?)
• The A_f condition and relative conormal spaces for functions with nonvanishing derivative
• A valuation theorem for Noetherian rings

This page was built for publication: Associated points and integral closure of modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1643544)