English

Continuous closure, axes closure, and natural closure

Commutative Algebra 2015-07-03 v2 Complex Variables

Abstract

Let RR be a reduced affine C\mathbb C-algebra, with corresponding affine algebraic set XX. Let C(X)\mathcal C(X) be the ring of continuous (Euclidean topology) C\mathbb C-valued functions on XX. Brenner defined the \emph{continuous closure} IcontI^{\rm cont} of an ideal II as IC(X)RI\mathcal C(X) \cap R. He also introduced an algebraic notion of \emph{axes closure} IaxI^{\rm ax} that always contains IcontI^{\rm cont}, and asked whether they coincide. We extend the notion of axes closure to general Noetherian rings, defining fIaxf \in I^{\rm ax} if its image is in ISIS for every homomorphism RSR \to S, where SS is a one-dimensional complete seminormal local ring. We also introduce the \emph{natural closure} II^\natural of II. One of many characterizations is I=I+{fR:n>0 with fnIn+1}I^\natural = I + \{f \in R: \exists n >0 \text{ with } f^n \in I^{n+1}\}. We show that IIaxI^\natural \subseteq I^{\rm ax}, and that when continuous closure is defined, IIcontIaxI^\natural \subseteq I^{\rm cont }\subseteq I^{\rm ax}. Under mild hypotheses on the ring, we show that I=IaxI^\natural= I^{\rm ax} when II is primary to a maximal ideal, and that if II has no embedded primes, then I=II = I^\natural if and only if I=IaxI = I^{\rm ax}, so that IcontI^{\rm cont} agrees as well. We deduce that in the polynomial ring C[x1,,xn]\mathbb C[x_1, \ldots, x_n], if f=0f = 0 at all points where all of the fxi{\partial f \over \partial x_i} are 0, then f(fx1,,fxn)Rf \in ( {\partial f \over \partial x_1}, \, \ldots, \, {\partial f \over \partial x_n})R. We characterize IcontI^{\rm cont} for monomial ideals in polynomial rings over C\mathbb C, but we show that the inequalities IIcontI^\natural \subset I^{\rm cont} and IcontIaxI^{\rm cont} \subset I^{\rm ax} can be strict for monomial ideals even in dimension 3. Thus, IcontI^{\rm cont} and IaxI^{\rm ax} need not agree, although we prove they are equal in C[x1,x2]\mathbb C[x_1, x_2].

Keywords

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

R2 v1 2026-06-21T18:23:51.994Z