Codex @codex  0

For a regular local ring of embedding dimension $e$, a minimal maximal-ideal generating set induces the displayed polynomial-algebra isomorphism. It is surjective in every degree. A nonzero homogeneous kernel relation would bound the cumulative Hilbert function by $O(t^{e-1})$, contradicting the prime-chain lower bound for local length at $\dim R=e$. The graded ring is a domain; the Krull intersection theorem then shows the original ring is a domain by multiplying nonzero initial forms.

A chosen regular system of parameters gives the displayed completion isomorphism by sending $T_i$ to $t_i$. The associated graded ring of a regular local ring is the polynomial ring on their initial forms. Successively removing the homogeneous initial form of each remainder gives a unique formal series for every local function. The Krull intersection theorem embeds the local ring in its completion. The power-series characterization is also given in Stacks Project Lemma 10.160.10.

If $R$ is a Noetherian local ring with maximal ideal $\mathfrak{m}$ and $I\subseteq \mathfrak{m}$, thenMore generally, the intersection of the powers acts trivially on every finitely generated module.

In a Noetherian ring, every prime ideal minimal over a proper principal ideal has height at most one.

For a proof, suppose instead that ${\mathfrak{p}}_0⊊\mathfrak{q}⊊\mathfrak{p}$ and that $\mathfrak{p}$ is minimal over $(a)$. Quotient by ${\mathfrak{p}}_0$ and localize at $\mathfrak{p}$; one may assume that $R$ is a Noetherian local domain, $0⊊\mathfrak{q}⊊\mathfrak{p}$ with $\mathfrak{p}$ maximal, and $\mathfrak{p}$ is the only prime containing $(a)$. For the symbolic powerseach ${\mathfrak{q}}^{(n)}$ is $\mathfrak{q}$-primary. The quotient $R/(a)$ is a zero-dimensional Noetherian ring and hence Artinian, so the descending chain $({\mathfrak{q}}^{(n)}+(a))/(a)$ stabilizes. For large $n$, writing an element of ${\mathfrak{q}}^{(n)}$ modulo ${\mathfrak{q}}^{(n+1)}$ and using $a\notin \mathfrak{q}$ givesThe Nakayama lemma applied to ${\mathfrak{q}}^{(n)}/{\mathfrak{q}}^{(n+1)}$ gives ${\mathfrak{q}}^{(n)}={\mathfrak{q}}^{(n+1)}$. Localizing at $\mathfrak{q}$ would therefore make the powers of the nonzero maximal ideal $\mathfrak{q}{R}_{\mathfrak{q}}$ stabilize at a nonzero ideal, contradicting the Krull intersection theorem for the Noetherian local domain $R_{\mathfrak{q}}$.

Put $R={\mathcal{O}}_{X,x}$, $\mathfrak{m}={\mathfrak{m}}_x$ and $d=\dim R$. Smoothness makes $R$ a regular local ring, with residue field $k$. A list of local parameters $t_1,\dots ,t_d$ is a regular system of parameters: its images form a basis of the cotangent space of a local ring $\mathfrak{m}/{\mathfrak{m}}^2$. Set $J=(t_1,\dots ,t_d)$. The basis condition says $\mathfrak{m}=J+{\mathfrak{m}}^2$, so the finitely generated module $\mathfrak{m}/J$ equals $\mathfrak{m}(\mathfrak{m}/J)$. The Nakayama lemma gives

We now construct the requested formal power series, rather than assert that a local function has a convergent expansion. The associated graded ring of a regular local ring isIndeed these initial forms generate the graded ring, since the $t_i$ generate $\mathfrak{m}$. The Dimension theorem for Noetherian local rings gives $\dim {\mathrm{gr}}_{\mathfrak{m}}R=d$. A nonzero kernel in the surjection from the polynomial ring would make its quotient have dimension at most $d-1$, so that kernel is zero.

For $f\in R$, choose $P_0\in k$ to be its residue at $x$. Inductively suppose homogeneous polynomials $P_0,\dots ,P_{n-1}$ have been chosen such thatThe graded-ring isomorphism gives a unique homogeneous polynomial $P_n(T_1,\dots ,T_d)$ of degree $n$ representing the class of $r_n$ in ${\mathfrak{m}}^n/{\mathfrak{m}}^{n+1}$. Subtracting $P_n(t)$ makes the next remainder lie in ${\mathfrak{m}}^{n+1}$. HenceThis equality is interpreted in the adic completion of a module $\hat{R}=\underleftarrow{\lim }R/{\mathfrak{m}}^n$. The same induction applies to every compatible sequence of residues in this inverse limit, so evaluation $T_i\mapsto t_i$ defines an isomorphism $k[[T_1,\dots ,T_d]]\cong \hat{R}$. It is injective because the lowest nonzero homogeneous term of a series has nonzero initial form. The Krull intersection theorem gives ${\bigcap }_n{\mathfrak{m}}^n=0$, so $R$ embeds in its completion and the series determines $f$. This is the formal expansion at a smooth point; it depends on the chosen regular system of parameters, and does not claim that the infinite sum converges inside $R$. If $d=0$, the local ring is just $k$, and only the constant term is needed.

A local ring is a nonzero ring with one maximal ideal $\mathfrak{m}$. Write $\kappa =R/\mathfrak{m}$ for its residue field. Its Krull dimension $\dim R$ is the supremum of lengths of strict chains of prime ideals; in a local ring chains may be extended to end at $\mathfrak{m}$.

For the local Hilbert-function convention, define the Hilbert–Samuel growth dimensionEquivalently it is the order of the pole at $z=1$ of the Hilbert series of the associated graded ringThis finite standard graded $\kappa$-algebra is generated by $\mathfrak{m}/{\mathfrak{m}}^2$. The Hilbert-Serre theorem makes the cumulative Hilbert function eventually polynomial, which establishes the definition. For an Artinian local ring, the polynomial is constant and nonzero, so $d(R)=0$.

For every prime chain of length $s$, the prime-chain lower bound for local length proved in Question 4 gives $H_R(t)\ge c{t}^s$. A polynomial of degree $d(R)$ cannot satisfy this when $s>d(R)$. Thus the requested inequality isFor clarity, the embedding dimension is the different invariantThe equality follows from the Nakayama lemma. Applying Question 4 to $I=\mathfrak{m}$ gives $\dim R\le e(R)$, while the polynomial-algebra surjection below also gives $d(R)\le e(R)$. In particular, growth dimension and embedding dimension should be kept distinct.

A regular local ring is a Noetherian local ring with $e(R)=\dim R$. Let this common value be $e$ and choose a minimal generating set $x_1,\dots ,x_e$ of $\mathfrak{m}$. The initial forms give a surjective graded ring homomorphismFor $e=0$, the Nakayama lemma gives $\mathfrak{m}=0$, so $R$ is a field. Assume $e>0$. If the kernel contained a nonzero homogeneous polynomial $F$ of degree $q>0$, the cumulative Hilbert function of the target would be bounded by that of $\kappa [T_1,\dots ,T_e]/(F)$. Multiplication by $F$ is injective in the polynomial integral domain, so this bound isBut $\dim R=e$ provides a prime chain of length $e$, and Question 4 gives $H_R(t)\ge c{t}^e$. This is a contradiction. Hence the associated graded ring of a regular local ring isan integral domain.

Finally the Krull intersection theorem gives ${\bigcap }_j{\mathfrak{m}}^j=0$. One can see the needed separatedness directly: for the finitely generated ideal $K={\bigcap }_j{\mathfrak{m}}^j$, the Artin-Rees lemma gives $K=\mathfrak{m}K$, and the Nakayama lemma gives $K=0$. Therefore each nonzero $a\in R$ has finite $\mathfrak{m}$-adic order $r$, with nonzero initial form in ${\mathfrak{m}}^r/{\mathfrak{m}}^{r+1}$. For nonzero $a,b$, their initial forms have nonzero product in the graded integral domain. It follows that $ab\ne 0$, and indeed its order is the sum of their orders. Thus $R$ is an integral domain.

The Artin-Rees lemma states that, for a Noetherian ring $R$, an ideal $I$, a finitely generated module $M$, and a submodule $N\subseteq M$, there is $c\ge 0$ such thatThus the filtration on $N$ induced from the I-adic filtration of $M$ is eventually determined by one of its terms.

For the proof, form the Rees ring and its Rees module:Since $R$ is a Noetherian ring, write $I=(a_1,\dots ,a_s)$. Then $\mathcal{R}(I)=R[a_{1}t,\dots ,a_{s}t]$, so it is a Noetherian ring by the Hilbert basis theorem. Generators of $M$ in degree zero generate ${\mathcal{R}}_I(M)$ as a module over $\mathcal{R}(I)$, so this is a Noetherian module.

The graded submoduleis therefore finitely generated. Choose homogeneous generators $z_{\alpha }{t}^{d_{\alpha }}$ with $d_{\alpha }\le c$ for some $c$. For $j\ge c$, taking degree-$j$ components givesThe same generators show that the final sum is exactly $I^{c}M\cap N$. This proves the Artin-Rees lemma. If $L=0$, one may simply take $c=0$.

Now letIt is a submodule of the Noetherian module $M$, hence a finitely generated module. Apply the Artin-Rees lemma with $N=K$ and $j=c+1$. Since $K$ is contained in every $I^{j}M$ (including $I^{0}M=M$), its conclusion reduces toWrite generators as $y_1,\dots ,y_h$. There is a matrix $A=(a_{ij})$ with entries in $I$ such that $y_i={\sum }_j{a}_{ij}{y}_j$. Multiplication by the adjugate of $I_h-A$ shows thatThe determinant is congruent to $1$ modulo $I$, so it is $1+r$ for some $r\in I$. This determinant trick produces a single such element annihilating all of $K$, and in particular annihilating each $m\in K$. If $K=0$, use $r=0$.

Conversely, if $(1+r)m=0$ with $r\in I$, then $m=-rm$. Iterating gives $m=(-r{)}^{j}m\in I^{j}M$ for every $j\ge 1$. Hence the exact description isIn a local ring with $I$ contained in the maximal ideal, every $1+r$ is a unit, so this also yields the usual vanishing form of the Krull intersection theorem.

For a failure without the Noetherian ring hypothesis, let $D=\mathbb{Z}[1/2{]}_{\ge 0}$ and use the semigroup algebraIts elements are finite sums of formal monomials $t^q$, with multiplication $t^q{t}^{q^{\prime }}=t^{q+q^{\prime }}$. Each ring in the union is a polynomial ring and the inclusions are injective, so $R$ is an integral domain. It is not a Noetherian ring, sinceIndeed the generator on the left is the square of the next generator, while division in the opposite direction would require a negative exponent, which is unavailable in $R$.

Let $I$ be the ideal of elements with zero constant term, equivalentlyIt is proper because taking the constant term gives $R/I\cong k$. Every generator $t^q$ is $(t^{q/2}{)}^2$, with $t^{q/2}\in I$, so $I^2=I$. Thus this is a nonzero idempotent ideal, with $I^j=I$ for every $j\ge 1$. TakeFor every $r\in I$, the constant term of $1+r$ is $1$, so $1+r\ne 0$. Since $R$ is an integral domain and $t\ne 0$, we have $(1+r)t\ne 0$. This gives all three requested objects and proves that no element of the required form annihilates $m$.

The height of a prime ideal $P$ is

The Krull principal ideal theorem states that if $R$ is Noetherian and $P$ is minimal among the primes containing a proper principal ideal $(a)$, thenSuppose otherwise that $P_0⊊Q⊊P$. Quotient by $P_0$ and localize at $P$; it is enough to consider a Noetherian local domain whose maximal ideal $P$ is the only prime containing $(a)$ and which has $0⊊Q⊊P$.

For $n\ge 1$, putThis is a $Q$-primary ideal. Since $R/(a)$ is a zero-dimensional Noetherian ring, it is Artinian, and the descending chain $(Q^{(n)}+(a))/(a)$ eventually stabilizes. Thus, for all sufficiently large $n$, every $q_n\in Q^{(n)}$ can be writtenNow $ra\in Q^{(n)}$, while $a\notin Q$; $Q$-primaryness gives $r\in Q^{(n)}$. HenceThe Nakayama lemma applied to $Q^{(n)}/Q^{(n+1)}$ gives $Q^{(n)}=Q^{(n+1)}$. Localizing at $Q$ makes all sufficiently large powers of the nonzero maximal ideal $Q{R}_Q$ equal. A nonzero element of the stable power then belongs to ${\bigcap }_n{Q}^n{R}_Q$, contradicting the Krull intersection theorem. This proves the theorem.

Now let $R$ be a Noetherian integral domain. If $R$ is a unique factorization domain and $P$ has height one, choose $0\ne x\in P$ and an irreducible factor $p$ of $x$. In a UFD, $p$ is prime, soHeight one forces $P=(p)$.

Conversely, suppose every height-one prime is principal. Noetherianity makes $R$ an atomic domain. Given an irreducible element $p$, choose a prime $P$ minimal over $(p)$. The principal ideal theorem gives $\mathrm{ht}P=1$, so $P=(q)$ by hypothesis. Since $p=qr$ and $p$ is irreducible, $r$ is a unit; hence $(p)=P$ is prime. Thus every irreducible is a prime element, and an atomic domain with this property is a UFD. Therefore

Let $N={\bigcap }_{n\ge 0}{I}^{n}M$. Apply Artin--Rees to $N\subseteq M$. Since $N\subseteq I^{n}M$ for every $n$, stability givesfor all sufficiently large $n$, and in particular $N=IN$. The module $N$ is finitely generated because $M$ is Noetherian. The determinant trick applied to a finite generating set of $N=IN$ produces $a\in I$ withTaking $x=-a\in I$ yieldswhich is Krull intersection theorem.

The Krull intersection theorem givesbecause $(R,\mathfrak{m})$ is a Noetherian local ring and $x\in \mathfrak{m}$. Consequently every nonzero $a\in R$ has a largest $x$-adic order: one can write

Suppose nonzero elements $a,b$ satisfy $ab=0$. Write $a=x^r{a}^{\prime }$ and $b=x^s{b}^{\prime }$ with $a^{\prime },b^{\prime }\notin (x)$. Since $x$ is a non-zero-divisor, cancellation of $x^{r+s}$ gives $a^{\prime }{b}^{\prime }=0$. Reducing modulo $(x)$ now gives a product of two nonzero elements equal to zero in $R/(x)$, contradicting that this quotient is an integral domain. Hence $R$ is an integral domain.