Algebraic valuation ring extensions as limits of complete intersection algebras

Dorin Popescu

arxiv: 2305.00178 · v2 · submitted 2023-04-29 · 🧮 math.AC · math.AG

Algebraic valuation ring extensions as limits of complete intersection algebras

Dorin Popescu This is my paper

Pith reviewed 2026-05-24 08:42 UTC · model grok-4.3

classification 🧮 math.AC math.AG

keywords valuation ringimmediate extensioncomplete intersectionfiltered unionalgebraic extensioncharacteristic pcommutative algebradirect limit

0 comments

The pith

An algebraic immediate valuation ring extension in characteristic p>0 is a filtered union of complete intersection algebras of finite type.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that every algebraic immediate extension of valuation rings in positive characteristic arises as a filtered union of finite-type complete intersection algebras. This expresses abstract valuation-theoretic objects in terms of concrete, finitely presented algebras whose structure is controlled by regular sequences. A reader would care because the representation turns questions about the extension into questions about the approximating algebras and their direct limit. If the claim holds, properties preserved under filtered unions, such as certain homological or geometric features, transfer directly from the complete intersections to the valuation ring extension.

Core claim

The paper proves that an algebraic immediate valuation ring extension of characteristic p>0 equals a filtered union of complete intersection algebras of finite type. The argument proceeds by constructing, for any finite set of elements in the extension, a complete intersection subalgebra containing them whose fraction field and residue field match those of the target extension, then showing these subalgebras can be directed by inclusion.

What carries the argument

Filtered union of complete intersection algebras of finite type, which approximates the valuation ring extension by successively adjoining regular sequences while preserving the valuation data.

If this is right

Any property preserved under filtered colimits that holds for complete intersection algebras holds for the valuation ring extension.
The extension ring satisfies the same relations as the complete intersections in the directed system, up to the valuation.
Finite sets of elements in the extension lie inside some complete intersection algebra of finite type with the same fraction field and residue field.
Questions about the extension reduce to questions about regular sequences in polynomial rings over the base valuation ring.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result may allow lifting homological properties such as finite projective dimension from the approximating algebras to the limit.
It suggests a route to construct explicit presentations or resolutions for valuation rings by taking direct limits of Koszul complexes on the regular sequences.
Similar approximation statements could be tested in mixed characteristic by replacing complete intersections with other controlled classes of algebras.

Load-bearing premise

The usual definitions of algebraic immediate valuation ring extensions and of complete intersection algebras of finite type apply directly in characteristic p>0 without extra conditions.

What would settle it

Exhibit one algebraic immediate valuation ring extension of characteristic p>0 whose every finite-type subalgebra fails to be a complete intersection while still generating the extension under filtered union.

read the original abstract

We show that an algebraic immediate valuation ring extension of characteristic $p>0$ is a filtered union of complete intersection algebras of finite type.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper states that algebraic immediate valuation ring extensions in char p>0 are filtered unions of finite-type complete intersection algebras.

read the letter

The core claim is that an algebraic immediate valuation ring extension in characteristic p > 0 can be written as a filtered union of complete intersection algebras of finite type. This is presented as a direct theorem rather than a reduction or approximation result. The statement organizes a representation for this class of extensions using standard notions from commutative algebra. It sits in the line of work on valuation rings and their approximations, and the abstract gives a clean formulation without extra parameters or invented objects. The definitions of algebraic, immediate, and complete intersection are taken from prior literature, which keeps the claim grounded. The main limitation is that only the abstract is available here, so the actual proof steps, any lemmas on filtered unions, and how the construction avoids circularity cannot be checked directly. No obvious gaps appear in the statement itself, but the soundness rests on the details of the argument. This is a narrow technical result aimed at researchers already working on valuation rings or Popescu-type approximation theorems. A reader outside that subfield will not get much from it. The paper deserves a serious referee because the claim is specific and falsifiable in principle, even if the current evidence is thin. I would send it out for review rather than desk reject.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove that any algebraic immediate valuation ring extension in characteristic p > 0 is a filtered union of complete intersection algebras of finite type.

Significance. If the result holds, it would provide a concrete approximation of such valuation extensions by complete intersections, which could enable the transfer of homological or deformation-theoretic techniques from the complete intersection setting to valuation rings in positive characteristic. The filtered-union formulation aligns with standard methods for handling infinite algebraic extensions in commutative algebra.

major comments (1)

The abstract states the main theorem but supplies no lemmas, definitions of 'algebraic immediate', or outline of the construction of the filtered system. Without these, the central claim cannot be verified for correctness or load-bearing steps.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their feedback. The single major comment concerns the brevity of the abstract; we address it directly below and agree that a modest expansion will improve the manuscript.

read point-by-point responses

Referee: The abstract states the main theorem but supplies no lemmas, definitions of 'algebraic immediate', or outline of the construction of the filtered system. Without these, the central claim cannot be verified for correctness or load-bearing steps.

Authors: The abstract is deliberately concise, following standard practice in commutative algebra. The definition of an algebraic immediate valuation ring extension appears in the introduction (page 1) and is recalled at the start of Section 2; the notion of complete intersection algebra of finite type is defined in Section 1. The filtered system is constructed explicitly in the proof of the main theorem (Theorem 3.1), which proceeds by iteratively adjoining elements while preserving the complete-intersection property via a sequence of lemmas (Lemmas 2.3–2.7) on flatness and regularity. We nevertheless accept the referee’s point that the abstract itself provides no outline. We will revise the abstract to include a one-sentence description of the inductive construction used to build the filtered union. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a direct theorem that an algebraic immediate valuation ring extension of characteristic p>0 is a filtered union of complete intersection algebras of finite type. The provided abstract and context present this as a standard result in commutative algebra relying on established definitions of algebraic, immediate, valuation ring extensions, and complete intersection algebras, with no equations, self-citations, or constructions that reduce the claim to its own inputs by definition or fitting. The derivation chain is self-contained against external benchmarks in the field, with no load-bearing steps matching the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard definitions and theorems from commutative algebra and valuation theory; no free parameters, new entities, or ad hoc axioms are introduced in the abstract.

axioms (1)

standard math Standard definitions and properties of valuation rings, algebraic extensions, immediate extensions, and complete intersection algebras in commutative algebra.
The claim invokes these background concepts without re-deriving them.

pith-pipeline@v0.9.0 · 5523 in / 1266 out tokens · 20408 ms · 2026-05-24T08:42:23.817132+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We show that an algebraic immediate valuation ring extension of characteristic p>0 is a filtered union of complete intersection algebras of finite type.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 3... g(x) = du ... val(u)=0; Lemma 4... V'' is a filtered union of its complete intersection V-subalgebras.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Antieau and R

B. Antieau and R. Datta, Valuation rings are derived splinters, Math. Zeitschrift, 299, (2021, 827-851, arxiv/AG:2002.010627v1

work page arXiv 2021
[2]

A. J. de Jong, Smoothness, semi-stability and alterations , Inst. Hautes Études Sci. Publ. Math. (1996), no. 83, 51–93

work page 1996
[3]

Kaplansky, Maximal ﬁelds with valuations , Duke Math

I. Kaplansky, Maximal ﬁelds with valuations , Duke Math. J. 9 (1942), 303-321

work page 1942
[4]

K. Kato, V. Thatte, Upper Ramiﬁcation Groups for Arbitrary Valuation Rings , arXiv/AC:1909.09832v1

work page arXiv 1909
[5]

F. V. Kuhlmann, I. Vlahu The relative approximation degree in valued function ﬁelds , Math. Z., 276, (2014), 203–235

work page 2014
[6]

Ostrowski, Untersuchungen zur arithmetischen Theorie der Körper , Math

A. Ostrowski, Untersuchungen zur arithmetischen Theorie der Körper , Math. Z. 39 (1935), no. 1, 321-404

work page 1935
[7]

Popescu, General Neron Desingularization and approximation , Nagoya Math

D. Popescu, General Neron Desingularization and approximation , Nagoya Math. J., 104, (1986), 85-115. 5

work page 1986
[8]

Popescu, On Zariski’s uniformization theorem , in Algebraic geometry, Bucharest 1982 (Bucharest, 1982), Lecture Notes in Math., v ol

D. Popescu, On Zariski’s uniformization theorem , in Algebraic geometry, Bucharest 1982 (Bucharest, 1982), Lecture Notes in Math., v ol. 1056, Springer, Berlin, 1984, 264-296

work page 1982
[9]

Popescu, Algebraic extensions of valued ﬁelds , J

D. Popescu, Algebraic extensions of valued ﬁelds , J. Algebra 108, (1987), no. 2, 513-533

work page 1987
[10]

Transcendence in Algebra, Com- binatorics, Geometry and Number Theory

D. Popescu, Néron desingularization of extensions of valuation rings w ith an Appendix by Kęstutis Česnavičius , in "Transcendence in Algebra, Com- binatorics, Geometry and Number Theory", Eds. Alin Bostan, Kilian Raschel, Springer Proceedings in Mathematics and Statisti cs 373, 275-307, arxiv/AC:1910.09123v4

work page arXiv 1910
[11]

O. F. G. Schilling, The theory of valuations , Mathematical Surveys, Number IV, American Math. Soc., (1950)

work page 1950
[12]

Algebra and Geometry

R. Swan, Neron-Popescu desingularization, in "Algebra and Geometry", Ed. M. Kang, International Press, Cambridge, (1998), 135-192

work page 1998
[13]

A. J. de Jong et al., The Stacks Project. A vailable at http://stacks.math.columbia.edu

work page
[14]

Temkin, Tame distillation and desingularization by p-alterations , Ann

M. Temkin, Tame distillation and desingularization by p-alterations , Ann. of Math. (2) 186 (2017), no. 1, 97–126

work page 2017
[15]

Thatte, Ramiﬁcation theory for Artin–Schreier extensions of valua tion rings, J

V. Thatte, Ramiﬁcation theory for Artin–Schreier extensions of valua tion rings, J. Algebra, 456, (2016), 355-389

work page 2016
[16]

Thatte, Ramiﬁcation theory for degree p extensions of arbitrary val uation rings in mixed characteristic (0, p), J

V. Thatte, Ramiﬁcation theory for degree p extensions of arbitrary val uation rings in mixed characteristic (0, p), J. Algebra, 507, (2018), 225-248

work page 2018
[17]

Zariski, Local uniformization on algebraic varieties, Ann

O. Zariski, Local uniformization on algebraic varieties, Ann. of Math. 41 (1940), 852-896, Simion Stoilow Institute of Mathematics of the Romanian Acad emy, Research unit 5, P.O. Box 1-764, Bucharest 014700, Romania, University of Bucharest, F aculty of Mathematics and Computer Science Str. Academiei 14, Bucharest 1, RO-010014, Romania, Email: dorin.popes...

work page 1940

[1] [1]

Antieau and R

B. Antieau and R. Datta, Valuation rings are derived splinters, Math. Zeitschrift, 299, (2021, 827-851, arxiv/AG:2002.010627v1

work page arXiv 2021

[2] [2]

A. J. de Jong, Smoothness, semi-stability and alterations , Inst. Hautes Études Sci. Publ. Math. (1996), no. 83, 51–93

work page 1996

[3] [3]

Kaplansky, Maximal ﬁelds with valuations , Duke Math

I. Kaplansky, Maximal ﬁelds with valuations , Duke Math. J. 9 (1942), 303-321

work page 1942

[4] [4]

K. Kato, V. Thatte, Upper Ramiﬁcation Groups for Arbitrary Valuation Rings , arXiv/AC:1909.09832v1

work page arXiv 1909

[5] [5]

F. V. Kuhlmann, I. Vlahu The relative approximation degree in valued function ﬁelds , Math. Z., 276, (2014), 203–235

work page 2014

[6] [6]

Ostrowski, Untersuchungen zur arithmetischen Theorie der Körper , Math

A. Ostrowski, Untersuchungen zur arithmetischen Theorie der Körper , Math. Z. 39 (1935), no. 1, 321-404

work page 1935

[7] [7]

Popescu, General Neron Desingularization and approximation , Nagoya Math

D. Popescu, General Neron Desingularization and approximation , Nagoya Math. J., 104, (1986), 85-115. 5

work page 1986

[8] [8]

Popescu, On Zariski’s uniformization theorem , in Algebraic geometry, Bucharest 1982 (Bucharest, 1982), Lecture Notes in Math., v ol

D. Popescu, On Zariski’s uniformization theorem , in Algebraic geometry, Bucharest 1982 (Bucharest, 1982), Lecture Notes in Math., v ol. 1056, Springer, Berlin, 1984, 264-296

work page 1982

[9] [9]

Popescu, Algebraic extensions of valued ﬁelds , J

D. Popescu, Algebraic extensions of valued ﬁelds , J. Algebra 108, (1987), no. 2, 513-533

work page 1987

[10] [10]

Transcendence in Algebra, Com- binatorics, Geometry and Number Theory

D. Popescu, Néron desingularization of extensions of valuation rings w ith an Appendix by Kęstutis Česnavičius , in "Transcendence in Algebra, Com- binatorics, Geometry and Number Theory", Eds. Alin Bostan, Kilian Raschel, Springer Proceedings in Mathematics and Statisti cs 373, 275-307, arxiv/AC:1910.09123v4

work page arXiv 1910

[11] [11]

O. F. G. Schilling, The theory of valuations , Mathematical Surveys, Number IV, American Math. Soc., (1950)

work page 1950

[12] [12]

Algebra and Geometry

R. Swan, Neron-Popescu desingularization, in "Algebra and Geometry", Ed. M. Kang, International Press, Cambridge, (1998), 135-192

work page 1998

[13] [13]

A. J. de Jong et al., The Stacks Project. A vailable at http://stacks.math.columbia.edu

work page

[14] [14]

Temkin, Tame distillation and desingularization by p-alterations , Ann

M. Temkin, Tame distillation and desingularization by p-alterations , Ann. of Math. (2) 186 (2017), no. 1, 97–126

work page 2017

[15] [15]

Thatte, Ramiﬁcation theory for Artin–Schreier extensions of valua tion rings, J

V. Thatte, Ramiﬁcation theory for Artin–Schreier extensions of valua tion rings, J. Algebra, 456, (2016), 355-389

work page 2016

[16] [16]

Thatte, Ramiﬁcation theory for degree p extensions of arbitrary val uation rings in mixed characteristic (0, p), J

V. Thatte, Ramiﬁcation theory for degree p extensions of arbitrary val uation rings in mixed characteristic (0, p), J. Algebra, 507, (2018), 225-248

work page 2018

[17] [17]

Zariski, Local uniformization on algebraic varieties, Ann

O. Zariski, Local uniformization on algebraic varieties, Ann. of Math. 41 (1940), 852-896, Simion Stoilow Institute of Mathematics of the Romanian Acad emy, Research unit 5, P.O. Box 1-764, Bucharest 014700, Romania, University of Bucharest, F aculty of Mathematics and Computer Science Str. Academiei 14, Bucharest 1, RO-010014, Romania, Email: dorin.popes...

work page 1940