pith. sign in

arxiv: 2605.22725 · v1 · pith:Q2DOQ7UPnew · submitted 2026-05-21 · 🧮 math.LO

Geometric fields, ranks, and generic derivations

Antongiulio Fornasiero , Elliot Kaplan , Angus Matthews This is my paper

Pith reviewed 2026-05-22 03:10 UTC · model grok-4.3

classification 🧮 math.LO
keywords geometric theories of fieldsstabilitysimplicityrosinessgeneric derivationsKolchin polynomialmodel theory of fieldsalgebraically bounded structures
0
0 comments X

The pith

For geometric theories of fields, stability holds exactly when the theory is strongly minimal and simplicity when it has SU-rank 1.

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

The paper proves several equivalences for geometric theories of fields in model theory. Such a theory is stable if and only if it is strongly minimal. It is simple if and only if it has SU-rank 1, and rosy if and only if it is surgical. These results combine with prior work to show that algebraically bounded stable fields are precisely constant expansions of algebraically closed fields. The authors then study expansions of algebraically bounded and o-minimal structures by generic tuples of derivations, proving that the expansion is supersimple or superrosy precisely when the derivations commute, and they give explicit rank bounds via the Kolchin polynomial.

Core claim

For a geometric theory of fields T, T is stable if and only if it is strongly minimal, T is simple if and only if it has SU-rank 1, and T is rosy if and only if T is surgical. Combining the first equivalence with an earlier result of Hrushovski yields that algebraically bounded stable fields are precisely expansions of algebraically closed fields by constants. For a simple algebraically bounded structure M with a generic tuple Delta of derivations, the expansion (M; Delta) is supersimple if and only if the derivations commute. Similarly, if M is o-minimal and Delta is a generic tuple of T-derivations, then (M; Delta) is superrosy if and only if the derivations commute.

What carries the argument

Geometric theory of fields together with generic tuples of derivations on algebraically bounded or o-minimal structures, which support the equivalences between stability notions and the commuting condition for supersimplicity or superrosiness.

If this is right

  • Algebraically bounded stable fields are precisely expansions of algebraically closed fields by constants.
  • Supersimple expansions by generic derivations exist only when those derivations commute.
  • Superrosy expansions by generic derivations on o-minimal structures exist only when those derivations commute.
  • Explicit bounds on ranks in the expanded structures follow from the Kolchin polynomial.

Where Pith is reading between the lines

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

  • The commuting requirement could be verified directly in concrete differential-field examples to produce new supersimple structures.
  • Similar equivalences might be sought for other field expansions such as those with exponential maps.
  • The rank bounds via the Kolchin polynomial may allow quantitative comparisons between different commuting derivation tuples.

Load-bearing premise

The derivations form a generic tuple on the algebraically bounded or o-minimal structure.

What would settle it

A geometric theory of fields that is stable but not strongly minimal, or a non-commuting generic tuple of derivations on a simple algebraically bounded structure whose expansion is still supersimple.

read the original abstract

In this note, we show various minimality results for a geometric theory of fields $T$: $T$ is stable if and only if it is strongly minimal, $T$ is simple if and only if it has SU-rank 1, and $T$ is rosy if and only if $T$ is surgical. Combining the first equivalence with an earlier result of Hrushovski, we deduce that algebraically bounded stable fields are precisely expansions of algebraically closed fields by constants. We then consider algebraically bounded and o-minimal expansions of fields with generic derivations. We show that if $\mathbb{M}$ is a simple algebraically bounded structure and $\Delta$ is a generic tuple of derivations on $\mathbb{M}$, then $(\mathbb{M};\Delta)$ is supersimple if and only if the derivations commute. Similarly, if $\mathbb{M}$ is an o-minimal structure and $\Delta$ is a generic tuple of $T$-derivations on $\mathbb{M}$, then $(\mathbb{M};\Delta)$ is superrosy if and only if the derivations commute. We obtain explicit bounds on ranks using the Kolchin polynomial.

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

1 major / 1 minor

Summary. The paper proves that for a geometric theory of fields T, T is stable iff strongly minimal, simple iff it has SU-rank 1, and rosy iff surgical. Combining the stability characterization with a prior result of Hrushovski yields that algebraically bounded stable fields are precisely expansions of algebraically closed fields by constants. For a simple algebraically bounded structure M equipped with a generic tuple Δ of derivations, the expansion (M; Δ) is supersimple precisely when the derivations commute; an analogous equivalence holds for o-minimal M and superrosy expansions. Explicit rank bounds are derived using the Kolchin polynomial.

Significance. If the equivalences hold, the results supply clean characterizations linking geometric properties of field theories to stability-theoretic ranks and connect commutativity of generic derivations to supersimplicity or superrosiness. The explicit Kolchin-polynomial bounds and the deduction from Hrushovski's theorem are strengths that could be useful for further work on differential expansions and geometric model theory.

major comments (1)
  1. [Section on generic derivations and the supersimplicity theorem] The central claim for generic derivations (the supersimplicity equivalence and its o-minimal analogue) is load-bearing on the genericity assumption for Δ. The 'only if' direction requires that non-commuting derivations necessarily produce dividing or unbounded SU-rank. While the Kolchin polynomial is invoked for rank bounds, the manuscript does not supply an explicit forking calculation showing that genericity (as defined for the tuple) rules out non-forking non-commuting configurations that remain independent in the pregeometry of an algebraically bounded structure. Without this, the equivalence may not hold in full generality.
minor comments (1)
  1. [Introduction and definitions] The notation for T-derivations in the o-minimal case could be clarified to distinguish them from ordinary derivations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for highlighting the significance of the results. We address the major comment below and indicate the revisions we will make to strengthen the argument.

read point-by-point responses

  1. Referee: [Section on generic derivations and the supersimplicity theorem] The central claim for generic derivations (the supersimplicity equivalence and its o-minimal analogue) is load-bearing on the genericity assumption for Δ. The 'only if' direction requires that non-commuting derivations necessarily produce dividing or unbounded SU-rank. While the Kolchin polynomial is invoked for rank bounds, the manuscript does not supply an explicit forking calculation showing that genericity (as defined for the tuple) rules out non-forking non-commuting configurations that remain independent in the pregeometry of an algebraically bounded structure. Without this, the equivalence may not hold in full generality.

    Authors: We agree that the 'only if' direction would be strengthened by an explicit forking calculation demonstrating that non-commutativity of a generic tuple Δ forces dividing or unbounded SU-rank (or the rosy analogue). In the revised version we will insert a dedicated paragraph (or short subsection) after the definition of genericity. The calculation proceeds by assuming a non-forking extension in which the derivations fail to commute and deriving a contradiction with the independence clause in the definition of a generic tuple over an algebraically bounded base; the Kolchin polynomial is then used to exhibit either a dividing formula or an infinite descending chain of ranks. This makes the role of genericity fully explicit while leaving the main statements unchanged. We view the addition as a clarification rather than a correction of the original argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external definitions and prior results

full rationale

The paper establishes equivalences for geometric theories of fields using standard model-theoretic notions of stability, simplicity, SU-rank, rosiness, and surgicality, then invokes an earlier independent result of Hrushovski to deduce a characterization of algebraically bounded stable fields. The results on supersimplicity of (M; Δ) when derivations commute (and the o-minimal analog) are obtained via explicit Kolchin polynomial bounds on ranks, which are standard external tools from differential algebra rather than self-derived or fitted from the paper's own data. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the central claims remain independent of the paper's inputs and are self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works within standard model theory of fields and relies on one external result; no free parameters or invented entities are evident from the abstract.

axioms (1)
  • domain assumption T is a geometric theory of fields
    All stated equivalences and results are conditioned on this property of T as per the abstract.

pith-pipeline@v0.9.0 · 5727 in / 1219 out tokens · 51070 ms · 2026-05-22T03:10:58.002866+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

48 extracted references · 48 canonical work pages · 1 internal anchor

  1. [1]

    thesis, Albert-Ludwigs-Universität Freiburg, 2005

    Hans Adler,Explanation of independence, Ph.D. thesis, Albert-Ludwigs-Universität Freiburg, 2005

    work page 2005

  2. [2]

    ,Strong theories, burden, and weight, (2007), preprint

    work page 2007

  3. [3]

    ,A geometric introduction to forking and thorn-forking, J. Math. Log.9(2009), no. 1, 1–20

    work page 2009

  4. [4]

    Math.181(2004), no

    Matthias Aschenbrenner and Wai Yan Pong,Orderings of monomial ideals, Fund. Math.181(2004), no. 1, 27–74

    work page 2004

  5. [5]

    Symbolic Logic77(2012), no

    Gareth Boxall and Philipp Hieronymi,Expansions which introduce no new open sets, J. Symbolic Logic77(2012), no. 1, 111–121. 21

    work page 2012

  6. [6]

    Bustamante Medina,Rank and dimension in difference-differential fields, Notre Dame J

    Ronald F. Bustamante Medina,Rank and dimension in difference-differential fields, Notre Dame J. Form. Log.52(2011), no. 4, 403–414

    work page 2011

  7. [7]

    Pure Appl

    Zoé Chatzidakis and Anand Pillay,Generic structures and simple theories, Ann. Pure Appl. Logic95(1998), no. 1-3, 71–92

    work page 1998

  8. [8]

    Pi10(2022), Paper No

    Raf Cluckers, Immanuel Halupczok, and Silvain Rideau-Kikuchi,Hensel minimality I, Forum Math. Pi10(2022), Paper No. e11, 68

    work page 2022

  9. [9]

    Sigma11(2023), Paper No

    Raf Cluckers, Immanuel Halupczok, Silvain Rideau-Kikuchi, and Floris Vermeulen,Hensel minimality II: Mixed character- istic and a diophantine application, Forum Math. Sigma11(2023), Paper No. e89, 33

    work page 2023

  10. [10]

    Pure Appl

    Pablo Cubides Kovacsics and Françoise Point,Topological fields with a generic derivation, Ann. Pure Appl. Logic174 (2023), no. 3, Paper No. 103211

    work page 2023

  11. [11]

    Christian d’Elbée,Axiomatic theory of independence relations in model theory, (2023), preprint.https://arxiv.org/abs/ 2308.07064

    work page arXiv 2023

  12. [12]

    Alfred Dolich, Chris Miller, and Charles Steinhorn,Structures having o-minimal open core, Trans. Amer. Math. Soc.362 (2010), no. 3, 1371–1411

    work page 2010

  13. [13]

    Pure Appl

    Lou van den Dries,Dimension of definable sets, algebraic boundedness and Henselian fields, Ann. Pure Appl. Logic45 (1989), no. 2, 189–209

    work page 1989

  14. [14]

    thesis, University of California, Berkeley, 2004

    Clifton Ealy,Thorn forking in simple theories and a Manin-Mumford theorem for T-modules, Ph.D. thesis, University of California, Berkeley, 2004

    work page 2004

  15. [15]

    Pure Appl

    Clifton Ealy, Krzysztof Krupiński, and Anand Pillay,Superrosy dependent groups having finitely satisfiable generics, Ann. Pure Appl. Logic151(2008), no. 1, 1–21

    work page 2008

  16. [16]

    Symbolic Logic72(2007), no

    Clifton Ealy and Alf Onshuus,Characterizing rosy theories, J. Symbolic Logic72(2007), no. 3, 919–940

    work page 2007

  17. [17]

    Pure Appl

    Antongiulio Fornasiero,Dimensions, matroids, and dense pairs of first-order structures, Ann. Pure Appl. Logic162(2011), no. 7, 514–543

    work page 2011

  18. [18]

    Antongiulio Fornasiero and Elliot Kaplan,Generic derivations on o-minimal structures, J. Math. Log.21(2021), no. 2, Paper No. 2150007, 45

    work page 2021

  19. [19]

    Math.333(2024), no

    ,Hilbert polynomials for finitary matroids, Pacific J. Math.333(2024), no. 2, 273–308

    work page 2024

  20. [20]

    Symbolic Logic (2024), to appear

    Antongiulio Fornasiero and Giuseppina Terzo,Generic derivations on algebraically bounded structures, J. Symbolic Logic (2024), to appear

    work page 2024

  21. [21]

    ,Exponential fields: lack of generic derivations, Notre Dame J. Form. Log.66(2025), no. 4, 513–519

    work page 2025

  22. [22]

    ,Generic derivations on algebraically bounded structures II: model theoretical properties, (2025), preprint.https: //arxiv.org/abs/2507.22181

    work page internal anchor Pith review arXiv 2025

  23. [23]

    James Freitag, Wei Li, and Thomas Scanlon,Differential Chow varieties exist, J. Lond. Math. Soc. (2)95(2017), no. 1, 128–156, With an appendix by William Johnson

    work page 2017

  24. [24]

    Pure Appl

    Jerry Gagelman,Stability in geometric theories, Ann. Pure Appl. Logic132(2005), no. 2-3, 313–326

    work page 2005

  25. [25]

    Math.79(1992), no

    Ehud Hrushovski,Strongly minimal expansions of algebraically closed fields, Israel J. Math.79(1992), no. 2-3, 129–151

    work page 1992

  26. [26]

    Mat., vol

    ,Pseudo-finite fields and related structures, Model theory and applications, Quad. Mat., vol. 11, Aracne, Rome, 2002, pp. 151–212

    work page 2002

  27. [27]

    Will Johnson,C-minimal fields have the exchange property, (2024), preprint,https://arxiv.org/abs/2403.17478

    work page arXiv 2024

  28. [28]

    1, 121–132

    Will Johnson and Jinhe Ye,A note on geometric theories of fields, Model Theory2(2023), no. 1, 121–132

    work page 2023

  29. [29]

    Pure Appl

    Elliot Kaplan and Christoph Kesting,Generic derivations, differential largeness, and NTP2, Ann. Pure Appl. Logic177 (2026), no. 6, Paper No. 103730

    work page 2026

  30. [30]

    E. R. Kolchin,Differential algebra and algebraic groups, Pure and Applied Mathematics, vol. 54, Academic Press, New York-London, 1973

    work page 1973

  31. [31]

    Alex Kruckman, Chieu-Minh Tran, and Erik Walsberg,Interpolative fusions, J. Math. Log.21(2021), no. 2, Paper No. 2150010, 38

    work page 2021

  32. [32]

    ,Interpolative fusions II: preservation results, (2022), preprint.https://arxiv.org/abs/2201.03534

    work page arXiv 2022

  33. [33]

    Pure Appl

    Krzysztof Krupiński,Superrosy fields and valuations, Ann. Pure Appl. Logic166(2015), no. 3, 342–357

    work page 2015

  34. [34]

    thesis, University of Waterloo, 2013

    Omar León Sánchez,Contributions to the model theory of partial differential fields, Ph.D. thesis, University of Waterloo, 2013

    work page 2013

  35. [35]

    Math.212(2016), no

    ,On the model companion of partial differential fields with an automorphism, Israel J. Math.212(2016), no. 1, 419–442

    work page 2016

  36. [36]

    2, 177–201

    Omar León Sánchez and Shezad Mohamed,Neostability transfers in derivation-like theories, Model Theory4(2025), no. 2, 177–201

    work page 2025

  37. [37]

    5, Springer-Verlag, Berlin, 1996, pp

    David Marker,Model theory of differential fields, Model theory of fields, Lecture Notes in Logic, vol. 5, Springer-Verlag, Berlin, 1996, pp. 38–113

    work page 1996

  38. [38]

    Symbolic Logic65 (2000), no

    Tracey McGrail,The model theory of differential fields with finitely many commuting derivations, J. Symbolic Logic65 (2000), no. 2, 885–913

    work page 2000

  39. [39]

    Symbolic Logic71(2006), no

    Alf Onshuus,Properties and consequences of thorn-independence, J. Symbolic Logic71(2006), no. 1, 1–21

    work page 2006

  40. [40]

    Anand Pillay,Canonical bases in o-minimal and related structures, (2006), preprint

    work page 2006

  41. [41]

    Symbolic Logic60(1995), no

    Anand Pillay and Bruno Poizat,Corps et chirurgie, J. Symbolic Logic60(1995), no. 2, 528–533

    work page 1995

  42. [42]

    I, Trans

    Anand Pillay and Charles Steinhorn,Definable sets in ordered structures. I, Trans. Amer. Math. Soc.295(1986), no. 2, 565–592. 22

    work page 1986

  43. [43]

    Françoise Point,On definable groups in dp-minimal topological fields equipped with a generic derivation, (2025), preprint, https://arxiv.org/abs/2505.07044

    work page arXiv 2025

  44. [44]

    thesis, University of Illinois at Urbana-Champaign, 2007

    Sonat Suer,Model theory of differentially closed fields with several commuting derivations, Ph.D. thesis, University of Illinois at Urbana-Champaign, 2007

    work page 2007

  45. [45]

    40, Association for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012

    Katrin Tent and Martin Ziegler,A course in model theory, Lecture Notes in Logic, vol. 40, Association for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012

    work page 2012

  46. [46]

    Wagner,Simple theories, Mathematics and its Applications, vol

    Frank O. Wagner,Simple theories, Mathematics and its Applications, vol. 503, Kluwer Academic Publishers, Dordrecht, 2000

    work page 2000

  47. [47]

    Winkler,Model-completeness and Skolem expansions, Model theory and algebra (A memorial tribute to Abraham Robinson), Lecture Notes in Math., vol

    Peter M. Winkler,Model-completeness and Skolem expansions, Model theory and algebra (A memorial tribute to Abraham Robinson), Lecture Notes in Math., vol. 498, Springer, Berlin-New York, 1975, pp. 408–463

    work page 1975

  48. [48]

    Ulisse Dini,

    Ikuo Yoneda,Some remarks on CM-triviality, J. Math. Soc. Japan61(2009), no. 2, 379–391. Dipartimento di Matematica e Informatica “Ulisse Dini,” Viale Morgagni, 67/a, 50134 Firenze, Italy Email address:antongiulio.fornasiero@gmail.com Université de Mons, Département de Mathématique, Avenue Maistriau 15, 7000 Mons, Belgium Email address:elliot.kaplan@umons....

    work page 2009