pith. sign in

arxiv: 2404.02749 · v2 · submitted 2024-04-03 · 🧮 math.NT · math.LO

Universally defining subrings in function fields

Nicolas Daans , Philip Dittmann This is my paper

Pith reviewed 2026-05-24 02:35 UTC · model grok-4.3

classification 🧮 math.NT math.LO
keywords function fieldsS-integersDiophantine setsWitt groupsreciprocity sequenceuniversal definabilitynumber theory
0
0 comments X

The pith

All rings of S-integers are universally definable in function fields over global and non-archimedean local fields.

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

The paper proves that in function fields in one variable over global fields and non-archimedean local fields, every ring of S-integers has a complement that forms a Diophantine set. This establishes universal definability of these subrings inside the function field using existential formulas in the language of rings. The argument rests on constructing a reciprocity exact sequence for quadratic Witt groups that works over almost arbitrary base fields of any characteristic. If correct, the result supplies a uniform Diophantine description of these rings across the listed base fields.

Core claim

We establish that all rings of S-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of S-integers is always a diophantine set. As a technical tool, we use a reciprocity exact sequence for quadratic Witt groups in function fields over almost arbitrary base fields of any characteristic, which is new and of potentially independent interest.

What carries the argument

The reciprocity exact sequence for quadratic Witt groups in function fields over almost arbitrary base fields, which is used to prove that complements of S-integer rings are Diophantine sets.

If this is right

  • Every ring of S-integers in these function fields has a Diophantine complement.
  • The definability result holds uniformly for the listed classes of base fields.
  • The new reciprocity sequence applies to function fields of any characteristic.
  • The same sequence may serve as a tool for other questions involving quadratic forms over function fields.

Where Pith is reading between the lines

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

  • The definability technique could be tested on explicit small-degree function fields to produce concrete Diophantine equations for sample S-integer rings.
  • Whether similar definability holds when the base field is an archimedean local field remains open and could be checked separately.
  • Combining the result with existing undecidability techniques might address variants of Hilbert's tenth problem over these function fields.

Load-bearing premise

The ground fields must satisfy the conditions needed for the reciprocity exact sequence for quadratic Witt groups to hold.

What would settle it

A concrete counterexample would be one specific function field over a global field together with one finite set S of places such that the complement of the corresponding S-integer ring cannot be expressed as the projection of the zero set of any finite system of polynomials over the function field.

read the original abstract

We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of $S$-integers is always a diophantine set. As a technical tool, we use a reciprocity exact sequence for quadratic Witt groups in function fields over almost arbitrary base fields (of any characteristic), which is new and of potentially independent interest.

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

2 major / 2 minor

Summary. The manuscript proves that all rings of S-integers are universally definable in function fields in one variable over global and non-archimedean local fields (and almost arbitrary base fields of any characteristic), i.e., the complement of any such ring is a Diophantine set. The proof proceeds by establishing a new reciprocity exact sequence for quadratic Witt groups and using it to produce an existential formula for the complement.

Significance. If the new exact sequence is valid in the claimed generality, the result supplies a uniform Diophantine definition of S-integer rings across a broad class of function fields, strengthening the toolkit for Hilbert's tenth problem and definability questions in algebraic number theory and geometry. The reciprocity sequence itself is presented as new and potentially of independent interest in the study of quadratic forms over fields of arbitrary characteristic.

major comments (2)
  1. [§3, Theorem 3.4] §3, the reciprocity exact sequence (Theorem 3.4 or equivalent): exactness is asserted for almost arbitrary base fields of any characteristic, including imperfect fields in char p; the argument must explicitly verify or reduce the case of imperfect residue fields, as this is the load-bearing step translating Witt-group data into the Diophantine definition of the complement in the main theorem.
  2. [§4] §4, the translation from the exact sequence to the existential formula: the passage showing how an element of the Witt group yields a Diophantine condition detecting non-S-integers is only sketched; a concrete construction (e.g., via the explicit map or norm residue symbol) is required to confirm that the formula is indeed existential and works uniformly.
minor comments (2)
  1. [Abstract and §1] The abstract and introduction use 'almost arbitrary base fields' without a precise list of excluded cases; add an explicit statement of the hypotheses on the base field in §1 or §2.
  2. [Notation] Notation for the quadratic Witt group W(F) and the reciprocity map is introduced only after the statement of the main theorem; move the definition to §2 for readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. Both points concern clarity and explicitness in the presentation rather than the validity of the results. We will revise the manuscript to address them directly.

read point-by-point responses

  1. Referee: [§3, Theorem 3.4] §3, the reciprocity exact sequence (Theorem 3.4 or equivalent): exactness is asserted for almost arbitrary base fields of any characteristic, including imperfect fields in char p; the argument must explicitly verify or reduce the case of imperfect residue fields, as this is the load-bearing step translating Witt-group data into the Diophantine definition of the complement in the main theorem.

    Authors: The proof of Theorem 3.4 reduces the imperfect-residue-field case to the perfect case by a standard base-change argument for quadratic Witt groups that is valid in any characteristic (using the fact that the Witt ring functor commutes with purely inseparable extensions up to the expected kernel). We agree that this reduction is not written out in sufficient detail. In the revision we will insert a short dedicated paragraph immediately after the statement of Theorem 3.4 that spells out the reduction step, including the compatibility of the residue maps with the extension of the residue field in characteristic p. This addition will make the load-bearing step fully explicit while leaving the theorem statement unchanged. revision: yes

  2. Referee: [§4] §4, the translation from the exact sequence to the existential formula: the passage showing how an element of the Witt group yields a Diophantine condition detecting non-S-integers is only sketched; a concrete construction (e.g., via the explicit map or norm residue symbol) is required to confirm that the formula is indeed existential and works uniformly.

    Authors: We accept that the passage from the reciprocity sequence to the existential formula in §4 is currently only sketched. In the revised manuscript we will expand this section by giving an explicit construction: we will write down the concrete map from the Witt group to the function field that arises from the connecting homomorphism of the exact sequence, express the non-vanishing condition via the norm-residue symbol, and verify that the resulting predicate is existential and uniform over the base fields treated in the paper. The expanded argument will occupy roughly one additional page but will not alter any of the stated theorems. revision: yes

Circularity Check

0 steps flagged

No circularity; new exact sequence developed as independent tool for the definability theorem

full rationale

The paper states it establishes universal definability of S-integer rings via a newly developed reciprocity exact sequence for quadratic Witt groups over almost arbitrary base fields (any characteristic). The abstract explicitly flags this sequence as 'new and of potentially independent interest.' No self-citations, fitted parameters renamed as predictions, self-definitional steps, or ansatzes smuggled via prior work appear in the provided text. The derivation chain is presented as a theorem proved from the new sequence rather than reducing to its own inputs by construction. This is the normal case of a self-contained mathematical proof; the validity of the new sequence is a correctness question, not a circularity issue per the analysis rules.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on the abstract alone, the central claim rests on the existence and properties of the new reciprocity exact sequence for quadratic Witt groups over arbitrary base fields, plus standard assumptions about function fields and Diophantine sets in the relevant categories.

axioms (1)
  • domain assumption The reciprocity exact sequence for quadratic Witt groups holds in function fields over almost arbitrary base fields of any characteristic.
    This is presented as the key technical tool developed in the paper.

pith-pipeline@v0.9.0 · 5596 in / 1257 out tokens · 15981 ms · 2026-05-24T02:35:39.484210+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields

    math.NT 2025-10 unverdicted novelty 6.0

    Establishes first-order definability of Campana and Darmon points in algebraic function fields over number fields by extending quadratic Pfister form methods from prior number field results.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [1]

    Quadratic Forms over Ratio nal Function Fields in Characteristic 2

    [AJ06] Roberto Aravire and Bill Jacob. “Quadratic Forms over Ratio nal Function Fields in Characteristic 2”. In: Pacific Journal of Mathe- matics 228.1 (2006). [Ara75] J´ on Kr. Arason. “Cohomologische Invarianten quadratis cher Formen”. In: Journal of Algebra 36.3 (1975), pp. 448–491. [Ara79] J´ on Kr. Arason. “Wittring und Galoiscohomologie bei Chara kte...

    work page arXiv 2006

  2. [2]

    Square-Reflexiv e Polyno- mials

    [BG21] Karim Johannes Becher and Parul Gupta. “Square-Reflexiv e Polyno- mials”. In: Journal of Number Theory (2021). [BG22] Karim Johannes Becher and Parul Gupta. “Strong linkage fo r func- tion fields of surfaces”. In: Manuscripta Mathematica 168 (2022), pp. 181–201. [BM40] M. F. Becker and S. MacLane. “The minimum number of genera tors for inseparable al...

    work page 2021

  3. [3]

    Ramification se quences and Bezoutian forms

    [BR17] Karim Johannes Becher and M´ elanie Raczek. “Ramification se quences and Bezoutian forms”. In: Journal of Algebra 476 (2017), pp. 26–47. [CM19] Adam Chapman and Kelly McKinnie. “The un-invariant and the Symbol Length of H n 2 (F )”. In: Proceedings of the American Math- ematical Society 147 (2019), pp. 513–521. [Daa21] Nicolas Daans. “Universally de...

    work page 2017

  4. [4]

    Linkage of Pfister forms over semi-global fields

    [Daa24a] Nicolas Daans. “Linkage of Pfister forms over semi-global fields”. Available as arXiv:2402.10826. Feb

    work page arXiv

  5. [5]

    Universally defining Z in Q with 10 quantifiers

    [Daa24b] Nicolas Daans. “Universally defining Z in Q with 10 quantifiers”. In: Journal of the London Mathematical Society 109.2 (2024). e12864. [DD14] Claudia Degroote and Jeroen Demeyer. “Diophantine sets of polyno- mials over algebraic extensions of the rationals”. In: The Journal of Symbolic Logic 79.3 (2014), pp. 733–747. [Dem10] Jeroen Demeyer. “Diopha...

    work page 2024

  6. [6]

    Hilbert’s Tenth Problem for function fields of varieties over number fields and p-adic fields

    [Eis07] Kirsten Eisentr¨ ager. “Hilbert’s Tenth Problem for function fields of varieties over number fields and p-adic fields”. In: Journal of Algebra 310 (2007), pp. 775–792. [EKM08] Richard Elman, Nikita Karpenko, and Alexander Merkurjev. The Algebraic and Geometric Theory of Quadratic Forms . Vol

    work page 2007

  7. [7]

    Universally and e xisten- tially definable subsets of global fields

    [EM18] Kirsten Eisentr¨ ager and Travis Morrison. “Universally and e xisten- tially definable subsets of global fields”. In: Mathematical Research Letters 25.4 (2018), pp. 1173–1204. [ES17] Kirsten Eisentr¨ ager and Alexandra Shlapentokh. “Hilbert’s tenth problem over function fields of positive characteristic not containin g the algebraic closure of a finite...

    work page 2018

  8. [8]

    Symmetric bilinear forms, quadratic forms and Milnor K-theory in characteristic two

    Lecture Notes in Mathematics. Springer, 1982, pp. 215–238. [Kat82b] Kazuya Kato. “Symmetric bilinear forms, quadratic forms and Milnor K-theory in characteristic two”. In: Inventiones Mathematicae 66.3 (1982), pp. 493–510. [Koe02] Jochen Koenigsmann. “Defining transcendentals in functio n fields”. In: Journal of Symbolic Logic 67.3 (Sept. 2002), pp. 947–956...

    work page 1982

  9. [9]

    Diofantovost’ perechislimykh mnoz hestv [Enu- merable sets are Diophantine]

    [Mat70] Yuri V. Matiyasevich. “Diofantovost’ perechislimykh mnoz hestv [Enu- merable sets are Diophantine]”. In: Doklady Akademii Nauk SSSR 191 (1970), pp. 279–282. [MMW91] Pasquale Mammone, Remo Moresi, and Adrian R. Wadsworth. “u- invariants of fields of characteristic 2.” In: Mathematische Zeitschrift 208.3 (1991), pp. 335–348. [Mor05] Laurent Moret-Bai...

    work page arXiv 1970

  10. [10]

    A universal first-order formula defining t he ring of integers in a number field

    [Par13] Jennifer Park. “A universal first-order formula defining t he ring of integers in a number field”. In: Mathematical Research Letters 20 nr. 5 (2013), pp. 961–980. [Pas22] Hector Pasten. “Notes on the DPRM property for listable s tructures”. In: The Journal of Symbolic Logic 87.1 (2022), pp. 273–312. [Poo09] Bjorn Poonen. “Characterizing integers amon...

    work page 2013

  11. [11]

    Elementary equivalence versus isomorphism

    [Pop02] Florian Pop. “Elementary equivalence versus isomorphism”. In: In- ventiones Mathematicae 150 (2 2002), pp. 385–408. [Pop14] Florian Pop. “Little survey on large fields—old & new”. In: Valu- ation theory in interaction . Ed. by Antonio Campillo, Franz-Viktor Kuhlmann, and Bernard Teissier. EMS Series of Congress Reports. European Mathematical Societ...

    work page 2002

  12. [12]

    Hilbert’s tenth problem for algebra ic func- tion fields over infinite fields of constants of positive characteristic

    [Shl00] Alexandra Shlapentokh. “Hilbert’s tenth problem for algebra ic func- tion fields over infinite fields of constants of positive characteristic ”. In: Pacific Journal of Mathematics 193.2 (2000), pp. 463–500. [ST99] V. Stoltenberg-Hansen and J. V. Tucker. “Computable ring s and fields”. In: Handbook of computability theory . Vol

    work page 2000

  13. [13]

    Third Galois cohomology group of functio n fields of curves over number fields

    Studies in Logic and the Foundations of Mathematics. North-Holland, Amster - dam, 1999, pp. 363–447. [Sur20] Venapally Suresh. “Third Galois cohomology group of functio n fields of curves over number fields”. In: Algebra & Number Theory 14.3 (2020), pp. 701–729. [Tie74] Uwe-Peter Tietze. “Zur Theorie quadratischer Formen ¨ ub er Hensel- K¨ orpern”. In:Archi...

    work page 1999