Associated points and integral closure of modules
Abstract
Let be an affine Noetherian scheme, and be a pair of finitely generated -modules. Denote their Rees algebras by and . Let be the th homogeneous component of and let be the image of the th homegeneous component of in . Denote by be the integral closure of in . We prove that and are asymptotically stable, generalizing known results for the case where is an ideal or where is a free module. Suppose either that and are free at the generic point of each irreducible component of or is contained in a free -module. When is universally catenary, we prove a generalization of a classical result due to McAdam and obtain a geometric classification of the points appearing in . Notably, we show that if for some , then is the generic point of a codimension-one component of the nonfree locus of or is a generic point of an irreducible set in where the fiber dimension jumps. We prove a converse to this result without requiring 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.
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