Valuation rings as limits of complete intersection rings

1. Problem Statement

The central problem addressed in this paper is the structural characterization of valuation rings, specifically regarding their representation as limits of simpler algebraic structures.

• Context: Zariski's Uniformization Theorem states that a valuation ring $V$ containing a field of characteristic 0 is a filtered union of its regular local subrings (smooth algebras).
• The Gap: While results exist for characteristic 0 and specific cases in positive characteristic (e.g., when the value group is finitely generated), a general characterization for valuation rings of positive characteristic ($p > 0$) containing a field was incomplete.
• Specific Challenge: The paper aims to determine if a valuation ring $V$ in positive characteristic can be expressed as a filtered colimit of complete intersection algebras (a broader class than smooth algebras, allowing for singularities defined by regular sequences). This is particularly difficult when the value group $\Gamma$ is not finitely generated and when the residue field $k$ is not contained in $V$.

2. Methodology

Popescu employs a sophisticated blend of commutative algebra, model theory, and valuation theory. The methodology relies on three main pillars:

A. General Néron Desingularization and Smooth Morphisms

The paper builds upon the theory of General Néron Desingularization, which allows one to approximate singular rings by smooth ones under specific conditions. The author utilizes:

• Immediate Extensions: Extensions of valuation rings that induce isomorphisms on value groups and residue fields.
• Filtered Colimits: The strategy involves showing that the target valuation ring is a limit of a directed system of "nice" algebras (smooth or complete intersection).
• Lemma 12 & Proposition 13: These tools allow the factorization of morphisms through smooth algebras when dealing with dense extensions and pseudo-convergent sequences.

B. Pseudo-Convergent Sequences and Ultrapowers

To handle cases where the value group is not finitely generated or the residue field is not contained in the ring, the author uses ultrapower methods:

• Pseudo-convergent sequences: Used to define pseudo-limits and understand the density of extensions.
• Ultraproducts: The paper constructs a sequence of valuation rings $\{V_n\}$ via iterated ultrapowers ($V_{n+1} = \prod_{U_{n+1}} V_n$). This technique, drawn from Model Theory, is used to "force" the existence of structural properties that may not hold in the original ring.

C. Cross-sections and Lifting Residue Fields

Two major technical hurdles are addressed using the ultrapower construction:

1. Cross-sections: Finding a retraction $s: \Gamma \to K^*$ (where $\Gamma$ is the value group and $K^*$ the multiplicative group of the fraction field). Theorem 25 proves that a countable sequence of ultrapowers yields a ring $\tilde{V}$ admitting such a cross-section.
2. Lifting Residue Fields: Finding a section $t: k \to V$ (embedding the residue field into the valuation ring). Theorem 29 proves that for a Henselian valuation ring, a sequence of ultrapowers yields a ring $\tilde{V}$ where the residue field $\tilde{k}$ lifts to $\tilde{V}$.

3. Key Contributions and Results

Main Theorem (Theorem 9)

The paper establishes that a valuation ring $V$ of characteristic $p > 0$ containing a perfect field $F$ is a filtered colimit of complete intersection $F$-algebras of finite type if:

1. The residue field $k$ is contained in $V$ ($k \subset V$); OR
2. $V$ is Henselian.

This result generalizes previous theorems that required the value group to be finitely generated.

Supporting Theorems and Corollaries

• Theorem 6 & Corollary 7: Establishes that immediate extensions of valuation rings are filtered unions of complete intersection subalgebras, provided the value group is finitely generated.
• Theorem 15 & 20: Extends Zariski's Uniformization to positive characteristic for separable dense extensions where the value group has a $\mathbb{Z}$-linear basis.
• Theorem 26: Proves that if a valuation ring $V$ contains its residue field $k$, it is a filtered colimit of complete intersection $k$-algebras (and thus $F_p$-algebras).
• Theorem 31: The culmination of the paper, proving the main result for Henselian valuation rings by combining the cross-section and residue field lifting techniques via ultrapowers.

Technical Lemmas

• Defectless Valuation Rings: The paper utilizes the concept of "defectless" rings (where the degree of a field extension equals the sum of ramification indices and residue degrees) to ensure density in specific algebraic extensions (Lemma 19, Corollary 18).
• Model Theoretic Gluing: Proposition 28 and Theorem 29 demonstrate how to use ultrafilters to solve infinite systems of polynomial equations, effectively "gluing" liftings of finite subfields of the residue field into a global lifting.

4. Significance

• Extension of Zariski's Uniformization: The paper provides a "Complete Intersection" version of Zariski's Uniformization Theorem for positive characteristic. While Zariski's theorem guarantees a union of smooth (regular) rings, Popescu shows that in positive characteristic, one can guarantee a union of complete intersection rings.
• Resolution of Singularities: The author suggests that this result could lead to a "Complete Intersection version of the Desingularization Theorem," potentially offering new pathways for resolving singularities in algebraic geometry over fields of positive characteristic.
• Bridging Algebra and Model Theory: The work elegantly demonstrates how Model Theory (ultrapowers, elementary equivalence) can solve deep problems in Commutative Algebra (structure of valuation rings, lifting residue fields) that are otherwise intractable using standard algebraic techniques alone.
• Henselian Case: By resolving the case for Henselian rings, the paper covers a vast and important class of local rings used in number theory and arithmetic geometry.

Conclusion

Dorin Popescu successfully generalizes the structural description of valuation rings in positive characteristic. By leveraging ultrapower constructions to overcome the lack of cross-sections and residue field embeddings, the paper proves that such rings are filtered colimits of complete intersection algebras. This unifies the theory of valuation rings with the theory of complete intersection local rings, offering a powerful structural tool for future research in desingularization and arithmetic geometry.