Continuous closure, axes closure, and natural closure
Abstract
Let be a reduced affine -algebra, with corresponding affine algebraic set . Let be the ring of continuous (Euclidean topology) -valued functions on . Brenner defined the \emph{continuous closure} of an ideal as . He also introduced an algebraic notion of \emph{axes closure} that always contains , and asked whether they coincide. We extend the notion of axes closure to general Noetherian rings, defining if its image is in for every homomorphism , where is a one-dimensional complete seminormal local ring. We also introduce the \emph{natural closure} of . One of many characterizations is . We show that , and that when continuous closure is defined, . Under mild hypotheses on the ring, we show that when is primary to a maximal ideal, and that if has no embedded primes, then if and only if , so that agrees as well. We deduce that in the polynomial ring , if at all points where all of the are 0, then . We characterize for monomial ideals in polynomial rings over , but we show that the inequalities and can be strict for monomial ideals even in dimension 3. Thus, and need not agree, although we prove they are equal in .
Cite
@article{arxiv.1106.3462,
title = {Continuous closure, axes closure, and natural closure},
author = {Neil Epstein and Melvin Hochster},
journal= {arXiv preprint arXiv:1106.3462},
year = {2015}
}
Comments
section 10 totally revamped, including a corrected error by means of a new closure operation. Many little improvements have been made throughout the paper. 48 pages, comments welcome