Algebraic valuation ring extensions as limits of complete intersection algebras

Dorin Popescu

Algebraic valuation ring extensions as limits of complete intersection algebras

T0 review · 1 major / 0 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read An algebraic immediate valuation ring extension in characteristic p>0 is a filtered union of complete intersection algebras of finite type.

desk verdict 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 →

arxiv 2305.00178 v3 pith:7DP4PK3J submitted 2023-04-29 math.AC math.AG

Dorin Popescu This is my paper · ORCID

classification math.ACmath.AG

keywords valuationringimmediateextensioncompleteintersectionfilteredunionalgebraiccharacteristicpcommutativealgebradirectlimit

checked against Cost.FunctionalEquation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 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.

assumptions (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.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Algebraic valuation ring extensions as limits of complete intersection algebras." pith.science (2026). https://pith.science/paper/7DP4PK3J

@misc{pith2026230500178,
  author       = {Pith},
  title        = {Pith review of: Algebraic valuation ring extensions as limits of complete intersection algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7DP4PK3J}},
  note         = {Machine review of arXiv:2305.00178}
}

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.

Discussion (0). Continue with ORCID to comment.

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

A special form of Zariski's Uniformization Theorem in positive characteristic
math.AC 2025-07 conditional novelty 1.0 of 10

A class of valuation rings in positive characteristic, containing their residue field with Z-free value group, is shown to be a filtered union of smooth subalgebras.

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.