English

Associated points and integral closure of modules

Algebraic Geometry 2018-05-14 v3 Commutative Algebra

Abstract

Let X:=Spec(R)X:=\mathrm{Spec}(R) be an affine Noetherian scheme, and MN\mathcal{M} \subset \mathcal{N} be a pair of finitely generated RR-modules. Denote their Rees algebras by R(M)\mathcal{R}(\mathcal{M}) and R(N)\mathcal{R}(\mathcal{N}). Let Nn\mathcal{N}^{n} be the nnth homogeneous component of R(N)\mathcal{R}(\mathcal{N}) and let Mn\mathcal{M}^{n} be the image of the nnth homegeneous component of R(M)\mathcal{R}(\mathcal{M}) in Nn\mathcal{N}^n. Denote by Mn\overline{\mathcal{M}^{n}} be the integral closure of Mn\mathcal{M}^{n} in Nn\mathcal{N}^{n}. We prove that AssX(Nn/Mn)\mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}}) and AssX(Nn/Mn)\mathrm{Ass}_{X}(\mathcal{N}^{n}/\mathcal{M}^{n}) are asymptotically stable, generalizing known results for the case where M\mathcal{M} is an ideal or where N\mathcal{N} is a free module. Suppose either that M\mathcal{M} and N\mathcal{N} are free at the generic point of each irreducible component of XX or N\mathcal{N} is contained in a free RR-module. When XX is universally catenary, we prove a generalization of a classical result due to McAdam and obtain a geometric classification of the points appearing in AssX(Nn/Mn)\mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}}). Notably, we show that if xAssX(Nn/Mn)x \in \mathrm{Ass}_{X}(\mathcal{N}^{n}/\overline{\mathcal{M}^{n}}) for some nn, then xx is the generic point of a codimension-one component of the nonfree locus of N/M\mathcal{N}/\mathcal{M} or xx is a generic point of an irreducible set in XX where the fiber dimension Proj(R(M))X\mathrm{Proj}(\mathcal{R}(\mathcal{M})) \rightarrow X jumps. We prove a converse to this result without requiring XX 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.

Keywords

Cite

@article{arxiv.1611.03910,
  title  = {Associated points and integral closure of modules},
  author = {Antoni Rangachev},
  journal= {arXiv preprint arXiv:1611.03910},
  year   = {2018}
}

Comments

To appear in Journal of Algebra. The current version has 31 pages, incorporates the referee's comments, has an improved exposition, and some new references. The results of the last section are strengthen and the notion of deficient analytic spread is introduced

R2 v1 2026-06-22T16:49:59.492Z