pith. sign in

arxiv: 2310.09581 · v3 · submitted 2023-10-14 · 🧮 math.AC · math.NT

Almost Mathematics, K\"ahler differentials and deeply ramified fields

Steven Dale Cutkosky This is my paper

Pith reviewed 2026-05-24 06:29 UTC · model grok-4.3

classification 🧮 math.AC math.NT
keywords deeply ramified fieldsKähler differentialsArtin-Schreier extensionsKummer extensionsvaluation ringsalmost mathematicsramification theoryweakly étale morphisms
0
0 comments X

The pith

Relative Kähler differentials in Artin-Schreier and Kummer extensions of valuation rings yield a simple proof of Gabber and Ramero's characterization of deeply ramified fields.

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

The paper applies constructions of relative Kähler differentials for Artin-Schreier and Kummer extensions to ramification questions in valued fields. It produces a direct proof that a field is deeply ramified precisely when its Kähler differentials satisfy the conditions identified by Gabber and Ramero. The same machinery shows that the extension of a rank-one valuation to the separable closure is weakly étale exactly under those conditions. For local fields the paper proves that the equivalent conditions listed by Coates and Greenberg are identical to the Gabber-Ramero list. The work also supplies an accessible introduction to the needed parts of almost mathematics.

Core claim

Using the relative Kähler differentials constructed for Artin-Schreier and Kummer extensions of valuation rings, the paper obtains a simple proof that a valued field is deeply ramified if and only if the module of differentials satisfies the vanishing and generation properties stated by Gabber and Ramero; the same argument shows that the rank-one valuation extends weakly étale to the separable closure precisely when those properties hold, and that the Coates-Greenberg list of conditions coincides with the Gabber-Ramero list when the base field is local.

What carries the argument

Relative Kähler differentials for Artin-Schreier and Kummer extensions of valuation rings; these differentials are used to detect the ramification properties that define deeply ramified fields.

If this is right

  • A short proof is now available that the Gabber-Ramero conditions characterize deep ramification.
  • The extension of any rank-one valuation to the separable closure of its field is weakly étale precisely when the Gabber-Ramero differential conditions hold.
  • For local fields the Coates-Greenberg list of equivalent conditions is identical to the Gabber-Ramero list.
  • Almost-ring techniques become directly usable for computing differentials in these ramified extensions.

Where Pith is reading between the lines

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

  • The same differential calculations might classify ramification in other classes of extensions once analogous formulas are derived.
  • The approach could shorten proofs that certain infinite extensions remain weakly étale after base change.
  • Local-field coincidence suggests that global versions of the two characterizations may differ only by archimedean places.

Load-bearing premise

The explicit descriptions of relative Kähler differentials in Artin-Schreier and Kummer extensions of valuation rings, taken from earlier joint work, remain valid when applied directly to the ramification criteria.

What would settle it

An explicit Artin-Schreier or Kummer extension of a valuation ring in which the computed relative Kähler differentials fail to vanish or to generate in the manner required by the Gabber-Ramero conditions for a field known independently to be deeply ramified.

read the original abstract

This article discusses ramification and the structure of relative K\"ahler differentials of extensions of valued fields. We begin by surveying the theory developed in recent work with Franz-Viktor Kuhlmann and Anna Rzepka constructing the relative K\"ahler differentials of extensions of valuation rings in Artin-Schreier and Kummer extensions. We then show how this theory is applied to give a simple proof of Gabber and Ramero's characterization of deeply ramified fields. Section 4 develops the basics of almost mathematics, and should be accessible to a broad audience. Section 5 gives a simple and self contained proof of Gabber and Ramero's characterization of when the extension of a rank 1 valuation of a field to its separable closure is weakly \'etale. In the final section, we consider the equivalent conditions characterizing deeply ramified fields, as they are defined by Coates and Greenberg, and show that they are the same as the conditions of Gabber Ramero for local fields.

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 / 2 minor

Summary. The manuscript surveys constructions of relative Kähler differentials for Artin-Schreier and Kummer extensions of valuation rings from prior joint work with Kuhlmann and Rzepka, then applies this theory to obtain a simple proof of Gabber-Ramero's characterization of deeply ramified fields. Section 4 develops the basics of almost mathematics; Section 5 supplies a self-contained proof that the extension of a rank-1 valuation to the separable closure is weakly étale precisely under the Gabber-Ramero conditions; the final section shows that the Coates-Greenberg equivalent conditions coincide with those of Gabber-Ramero when restricted to local fields.

Significance. If the applications of the surveyed differential constructions are valid, the paper supplies a streamlined route to the Gabber-Ramero characterization and unifies it with the Coates-Greenberg conditions in the local-field case. The self-contained treatment of almost mathematics (Section 4) and the weakly étale characterization (Section 5) are genuine strengths that increase accessibility without relying on external references for those parts.

minor comments (2)
  1. [Introduction / Section 2] The abstract and introduction should include an explicit sentence confirming that the hypotheses of the Kuhlmann-Rzepka constructions are satisfied by the valuation rings arising in the deeply ramified and local-field settings; while the text states that the theory is applied directly, a one-sentence verification would remove any ambiguity about hidden restrictions.
  2. [Sections 3 and 6] Notation for the relative Kähler differentials (e.g., the precise definition of Ω_{B/A} in the Artin-Schreier and Kummer cases) should be restated once in the application sections rather than relying solely on the survey, to improve readability for readers who consult only the ramification results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its strengths in accessibility and unification of characterizations, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; independent application and self-contained proofs

full rationale

The paper surveys the relative Kähler differentials constructions from prior joint work with Kuhlmann and Rzepka, then applies them to derive a simple proof of the Gabber-Ramero characterization of deeply ramified fields. Section 5 supplies an independent, self-contained proof of the weakly étale characterization, and the final section establishes equivalence of Coates-Greenberg and Gabber-Ramero conditions specifically for local fields. No derivation reduces by construction to fitted parameters, self-defined quantities, or a load-bearing self-citation chain; the cited prior constructions serve as external input for new applications rather than being re-derived or renamed within this manuscript. The central claims therefore retain independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no extractable free parameters, axioms, or invented entities; all technical content is referenced to prior work.

pith-pipeline@v0.9.0 · 5697 in / 1180 out tokens · 20106 ms · 2026-05-24T06:29:32.075595+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

31 extracted references · 31 canonical work pages

  1. [1]

    Bourbaki, N.: Algebra I, Chapters 1 - 3, Springer, Berlin, Heidelbe rg, 1989

    work page 1989

  2. [2]

    Bourbaki, N.: Commutative Algebra, Springer, Berlin, Heidelberg, New York (1980)

    work page 1980

  3. [3]

    – Greenberg, R.: Kummer theory for abelian varieties over local fields , Invent

    Coates, J.H. – Greenberg, R.: Kummer theory for abelian varieties over local fields , Invent. Math. 124 (1996), 129–174

    work page 1996

  4. [4]

    and Kuhlmann, F.-V.: K¨ ahler differentials of extens ions of valuation rings and deeply ramified fields, arXiv:2306.05967

    Cutkosky, S. and Kuhlmann, F.-V.: K¨ ahler differentials of extens ions of valuation rings and deeply ramified fields, arXiv:2306.05967

    work page arXiv

  5. [5]

    and Rzepka, A.: On the computatio n of K¨ ahler differentials and charaterizations of Galois extensions with independent defect , arXiv:2305.10022

    Cutkosky, S., Kuhlmann, F.-V. and Rzepka, A.: On the computatio n of K¨ ahler differentials and charaterizations of Galois extensions with independent defect , arXiv:2305.10022

    work page arXiv

  6. [6]

    Eisenbud, D.: Commutative Algebra with a view toward Algebraic Geometry , Springer-Verlag, New York, 1995

    work page 1995

  7. [7]

    and Prestel, A.: Valued Fields, Springer, Berlin, Heidelb erg, New York, 2000

    Engler, A.J. and Prestel, A.: Valued Fields, Springer, Berlin, Heidelb erg, New York, 2000

    work page 2000

  8. [8]

    Faltings, G.: Almost ´ etale extensions, Ast´ erique 279 (2002), 185 - 270

    work page 2002

  9. [9]

    Ferrand, D.: Monomorphismes et Morphismes Absolument Plats, B ull. Soc. Math. France 100, 1972, 97 - 128

    work page 1972

  10. [10]

    Ford, T.: Separable Algebras, American Mathematical Society, Providence, 2017

    work page 2017

  11. [11]

    – Ramero, L.: Almost ring theory, Lecture Notes in Mathematics 1800, Springer- Verlag, Berlin, 2003

    Gabber, O. – Ramero, L.: Almost ring theory, Lecture Notes in Mathematics 1800, Springer- Verlag, Berlin, 2003

    work page 2003

  12. [12]

    – Dieudonn´ e

    Grothendieck, A. – Dieudonn´ e. J.: ´El´ ements de G´ eom´ etrie Alg´ ebrique, I Le language des sch´ emas,Pub. Math. IHES 4 (1960)

    work page 1960

  13. [13]

    – Dieudonn´ e

    Grothendieck, A. – Dieudonn´ e. J.: ´El´ ements de G´ eom´ etrie Alg´ ebrique, IV´Etude locale des sch´ emas et des morphismes de sch´ emas, quatri´ eme partie, Pub. Math. IHES 32 (1967)

    work page 1967

  14. [14]

    and Shimomoto, K,: Another proof of the almost purit y theorem for perfectoid valuation rings, J

    Ishiro, S. and Shimomoto, K,: Another proof of the almost purit y theorem for perfectoid valuation rings, J. Pure Appl. Algebra 226 (2022)

    work page 2022

  15. [15]

    Kuhlmann, F.-V.: A classification of Artin–Schreier defect extensions and a c haracterization of defectless fields , Illinois J. Math. 54 (2010), 397–448

    work page 2010

  16. [16]

    and Rzepka, A.: The valuation theory of deeply ramified fields and its connection with defect extensions , Transactions Amer

    Kuhlmann, F.-V. and Rzepka, A.: The valuation theory of deeply ramified fields and its connection with defect extensions , Transactions Amer. Math. Soc. 376 (2023), 2693–2738

    work page 2023

  17. [17]

    Kunz, K.: K¨ ahler differentials, Springer, Heidelberg, Berlin 1986

    work page 1986

  18. [18]

    ed., Springer-Verlag, New York, 2002

    Lang, S.: Algebra, revised 3rd. ed., Springer-Verlag, New York, 2002

    work page 2002

  19. [19]

    Press, Cambridge UK, 1989

    Matsumura, H.: Commutative Ring Theory , Cambridge Univ. Press, Cambridge UK, 1989

    work page 1989

  20. [20]

    and Shimomoto, K.: Finite ´ etale extensions of Tat e rings and decompletion of perfectoid algebras., J

    Nakazato, K. and Shimomoto, K.: Finite ´ etale extensions of Tat e rings and decompletion of perfectoid algebras., J. Algebra 589 (2022), 114 -158

    work page 2022

  21. [21]

    Neukirch, N.: Algebraic Number Theory , Berlin Springer Verlag, Heidelberg, 1999

    work page 1999

  22. [22]

    arXiv:2307.02315

    Novacoski, J and Spivakavosky, M.: The module of K¨ ahler differe ntials of valuation rings. arXiv:2307.02315

    work page arXiv

  23. [23]

    Raynaud, M.: Anneaux Locaux Hens´ eliens, Lecture Notes in Mathematics 169, Springer- Verlag, Berlin Heidelberg New York, 1970

    work page 1970

  24. [24]

    Rotman, J.: An introduction to homological algebra, Academic Pr ess, Orlando, 1979

    work page 1979

  25. [25]

    Scholze, P.: Perfectoid Spaces, Publ. Math. Inst. Hautes Sci. 116 (2012), 245 - 313

    work page 2012

  26. [26]

    Gr eenberg

    Serre, J.P.: Local Fields, Springer, 2019, translated by M.J. Gr eenberg

    work page 2019

  27. [27]

    Proceedings of a conference on local fields

    Tate, J: p-divisible groups in “Proceedings of a conference on local fields” (Dr iebergen, 1966), 158 - 183, Springer, 1967

    work page 1966

  28. [28]

    Algebra 456 (2016), 355–389

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

    work page 2016

  29. [29]

    Algebra 507 (2018), 225–248

    Thatte, V.: Ramification theory for degree p extensions of valuation rings in mixed charac- teristic (0,p) , J. Algebra 507 (2018), 225–248

    work page 2018

  30. [30]

    – Samuel, P.: Commutative Algebra , Vol

    Zariski, O. – Samuel, P.: Commutative Algebra , Vol. I, D. Van Nostrand, Princeton N.J., 1958 K ¨AHLER DIFFERENTIALS AND DEEPLY RAMIFIED FIELDS 27

    work page 1958

  31. [31]

    – Samuel, P.: Commutative Algebra, Vol

    Zariski, O. – Samuel, P.: Commutative Algebra, Vol. II, New York–Heidelberg–Berlin, 1960 Department of Mathematics, University of Missouri, Columb ia, MO 65211, USA Email address : cutkoskys@missouri.edu

    work page 1960