pith. sign in

arxiv: 1907.01859 · v1 · pith:2U5JMILGnew · submitted 2019-07-03 · 🧮 math.AC

Essentially finite generation of valuation rings in terms of classical invariants

Steven Dale Cutkosky , Josnei Novacoski This is my paper

Pith reviewed 2026-05-25 09:59 UTC · model grok-4.3

classification 🧮 math.AC
keywords valuation ringsfinite generationvaluation extensionsclassical invariantsramification indexresidue degreegraded algebrasvalued fields
0
0 comments X

The pith

A condition on classical invariants of a valuation extension is necessary for the valuation ring to be essentially finitely generated over the base, and it is also sufficient in particular cases.

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

The paper examines when the valuation ring of an extension of a valuation to a finite field extension is essentially finitely generated over the original valuation ring. It gives a necessary condition expressed through the standard numerical invariants of the extension. This condition turns out to be sufficient in certain special cases. The authors also obtain an equivalent but weaker condition that decides finite generation of the associated graded algebras.

Core claim

For an extension ω of a valuation ν to a finite extension L of K, the valuation ring of ω is essentially finitely generated over the valuation ring of ν precisely when a stated condition on the classical invariants holds, and this condition is also sufficient in some particular cases. An equivalent but weaker condition determines when the extension of graded algebras is finitely generated.

What carries the argument

The condition on classical invariants (ramification index, residue degree, value group index) that is necessary for essential finite generation of the valuation ring.

If this is right

  • In particular cases the condition on the invariants is also sufficient for essential finite generation.
  • A weaker but equivalent condition decides finite generation of the corresponding graded algebra extension.
  • The finite generation properties can be read off directly from the classical numerical invariants of the extension.
  • The distinction between the ring and graded cases shows that the graded pieces alone do not capture the full generation information.

Where Pith is reading between the lines

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

  • The criterion may classify which valuation ring extensions arising from finite field extensions satisfy algebraic finiteness properties.
  • Similar invariant conditions could be tested for finite generation questions in related settings such as integral closures.
  • The gap between the ring condition and the weaker graded condition points to additional data in the full ring structure beyond its associated graded pieces.

Load-bearing premise

The extension is to a finite field extension L of K and the classical invariants are defined and finite in the usual way.

What would settle it

An explicit valuation extension to a finite field extension where the condition on the invariants holds but the valuation ring fails to be essentially finitely generated over the base ring.

read the original abstract

The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$. Then we study when the valuation ring of $\omega$ is essentially finitely generated over the valuation ring of $\nu$. We present a necessary condition in terms of classic invariants of the extension by Hagen Knaf and show that in some particular cases, this condition is also sufficient. We also study when the corresponding extension of graded algebras is finitely generated. For this problem we present an equivalent condition (which is weaker than the one for the finite generation of the valuation rings).

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.

Referee Report

0 major / 3 minor

Summary. The paper studies essential finite generation of the valuation ring O_ω over O_ν for an extension ω of a valuation ν to a finite field extension L/K. It states a necessary condition on the classical invariants (ramification index, residue degree, value-group index) drawn from Knaf, proves sufficiency in particular cases, and gives an equivalent but weaker condition for finite generation of the associated graded algebras.

Significance. If the stated theorems hold, the work supplies concrete, checkable criteria in terms of standard invariants for a property of interest in valuation theory. The separation of the ring-generation condition from the (weaker) graded-algebra condition is a useful distinction. Explicit credit is given to Knaf’s invariants and the results are framed as falsifiable statements about finite extensions.

minor comments (3)
  1. [Introduction] The abstract and introduction should explicitly state the precise definition of “essentially finitely generated” used throughout (e.g., whether it means that the localization at a prime is finitely generated as an algebra).
  2. [§2] Notation for the value group index and residue-field degree should be introduced once and used consistently; several passages appear to switch between e(ω/ν) and the ramification index without cross-reference.
  3. [§4] The paper should include a short table or list summarizing the particular cases in which the Knaf condition is shown to be sufficient, together with the corresponding hypotheses on the value groups or residue fields.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our work and for recommending minor revision. The referee's summary correctly reflects the paper's focus on necessary conditions from Knaf for essential finite generation, sufficiency in special cases, and the weaker condition for graded algebra extensions. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper cites an external result from Knaf to obtain a necessary condition on classical invariants (ramification index, residue degree, value group index) for essential finite generation of valuation rings in finite extensions, then proves sufficiency only in special cases and derives a strictly weaker equivalent condition for finite generation of the associated graded algebras. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the cited invariants are standard external objects in valuation theory, and the equivalences are proved rather than assumed. The central claims remain independent of the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard theory of valuations on fields and finite extensions; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Valuations extend to finite field extensions and the usual numerical invariants (ramification index, residue degree, value-group index) are well-defined and finite.
    Invoked in the setup of the extension ω of ν to L/K.

pith-pipeline@v0.9.0 · 5648 in / 1265 out tokens · 52375 ms · 2026-05-25T09:59:26.663571+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Abhyankar, On the valuations centered in a local domain , S

    S. Abhyankar, On the valuations centered in a local domain , S. Abhyankar, Amer. J. Math. 78 (1956), 321 - 348

    work page 1956

  2. [2]

    Abhyankar, Local Uniformization on Algebraic Surfaces over ground fiel ds of characteristic p ̸= 0, Annals of Math

    S. Abhyankar, Local Uniformization on Algebraic Surfaces over ground fiel ds of characteristic p ̸= 0, Annals of Math. 63 (1956), 491 - 526

    work page 1956

  3. [3]

    S. D. Cutkosky, Ramification of Valuations and Local Rings in Positive Chara cteristic, Com- munications in Algebra Vol 44, (2016) Issue 7, 2828–2866

    work page 2016

  4. [4]

    Endler, Valuation Theory, Berlin - Heidelberg - New York, 1972

    O. Endler, Valuation Theory, Berlin - Heidelberg - New York, 1972

    work page 1972

  5. [5]

    Engler and A

    A. Engler and A. Prestel, Valuaed fields, Springer Monographs in Mathematics, 2005

    work page 2005

  6. [6]

    Grothendieck and J

    A. Grothendieck and J. Dieudonne, ´E´lements de G´ eometrie Alg´ ebrique IV,´Etude locale des sch´ emes et des morphismes de sch´ emes, part 2, Publ. Math. IHES 24 (1965)

    work page 1965

  7. [7]

    Knaf e F.-V

    H. Knaf e F.-V. Kuhlmann, Abhyankar places admit local uniformisation in any charact er- istic, Ann. Sci. ´Ec. Norm. Sup´ er. (4)38 no. 6 (2005), 833–846

    work page 2005

  8. [8]

    Knaf e F.-V

    H. Knaf e F.-V. Kuhlmann, Every place admits local uniformization in a finite extensio n of the function field , Adv. Math. 221 no. 2 (2009), 428–453

    work page 2009

  9. [9]

    Kuhlmann, Elimination of Ramification I: the Generalized Stability Th eorem, Trans

    F.-V. Kuhlmann, Elimination of Ramification I: the Generalized Stability Th eorem, Trans. Amer. Math. Soc. 362 (2010), 5697 - 5727

    work page 2010

  10. [10]

    Nagata, Local Rings, New York, 1975

    M. Nagata, Local Rings, New York, 1975. 26 STEVEN DALE CUTKOSKY AND JOSNEI NOV ACOSKI

    work page 1975

  11. [11]

    Datta and K

    R. Datta and K. Smith, Frobenius and valuation rings , Algebra Number Theory, Volume 10, Number 5 (2016), 1057–1090

    work page 2016

  12. [12]

    Kunz, On noetherian rings of characteristic p , American Journal of Mathematics 98 (4) (1976), 999–1013

    E. Kunz, On noetherian rings of characteristic p , American Journal of Mathematics 98 (4) (1976), 999–1013

    work page 1976

  13. [13]

    Kuhlmann and J

    F.-V. Kuhlmann and J. Novacoski, Henselian elements , J. Algebra 418 (2014), 44–65

    work page 2014

  14. [14]

    Kuhlmann, The defect , Commutative Algebra - Noetherian and non-Noetherian per- spectives

    F.-V. Kuhlmann, The defect , Commutative Algebra - Noetherian and non-Noetherian per- spectives. Marco Fontana, Salah-Eddine Kabbaj, Bruce Olbe rding and Irena Swanson (eds.), Springer 2011

    work page 2011

  15. [15]

    Zariski, Local Uniformization on Algebraic Varieties , Annals of Math

    O. Zariski, Local Uniformization on Algebraic Varieties , Annals of Math. 41 (1940), 852-896. STEVEN DALE CUTKOSKY Department of Mathematics, University of Missouri Columbia, MO 65211, USA Email:cutkoskys@missouri.edu JOSNEI NOV ACOSKI Departamento de Matem´ atica–UFSCar Rodovia W ashington Lu ´ ıs, 235 13565-905, S˜ ao Carlos - SP, Brazil. Email: josnei@...

    work page 1940