Pith. sign in

REVIEW 2 major objections 4 minor 7 references

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read A local degree bound makes infinite algebraic extensions of F_p(t) first-order undecidable when their constant field is infinite.

desk verdict Genuinely strong paper with a real but repairable gap in the non-Galois case of the main undecidability theorem: Remark 7.4(2) mis-defines V_{K,p_K} when a prime splits, so Corollary 9.3 needs a fix before it is fully proved. read the letter →

arxiv 2411.14960 v2 pith:W3KU6N4S submitted 2024-11-22 math.NT math.LO

Alexandra Shlapentokh , Caleb Springer This is my paper · ORCID
classification math.NTmath.LO MSC 03B2511U0511R5812L05
keywords first-orderdefinabilityundecidabilityglobalfunctionfieldsq-boundedextensionsringsofS-integersnormequationsHasseprinciplealgebraicF_p(t)
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

This paper tries to establish that a large class of infinite algebraic extensions of the rational function field F_p(t)—those satisfying a local property called q-boundedness—have undecidable first-order theories in the language of rings. The route is definability: under Galois or uniform q-boundedness assumptions, the ring of S-integral functions is first-order definable inside the field, and when the constant subfield is infinite this definability transfers undecidability from the ring to the whole field. The paper also proves that if one polynomial ring F_p[u] is definable in such a field, then every polynomial ring F_p[w] is definable, and it produces field extensions where a prescribed prime has only finitely many factors, yielding undecidability without the infinite-constant-field assumption. A sympathetic reader would care because this pushes the classical definability/decidability boundary for global fields into infinite algebraic extensions, giving new undecidable fields and identifying what makes them so.

What carries the argument

The paper's central object is q-boundedness: for each prime path in the factor tree from F_p(t) to K, the order at the prime q of the ramification degree and relative degree along finite subextensions is uniformly bounded; locally, this means each tower of completions has q-bounded finite subextension degrees. The argument runs on norm equations over cyclic q-th root extensions, of the form $N_{L(\sqrt[q]{a})/L}(y)=bx^q+b^q$, where L is a carefully chosen tower of q-th root extensions. q-boundedness supplies auxiliary elements a and b whose orders at primes remain controlled, so that a pole of x makes the norm equation unsolvable locally (by an inert prime), while integrality of x makes it solvable everywhere via the Hasse Norm Principle. The dynamic choice of L keeps the extension $L(\sqrt[q]{a})/L$ unramified, so that local obstructions can be read off from orders of elements.

What would settle it

For Corollary 9.3, the decisive observation would be a q-bounded algebraic extension of F_p(t) with infinite constant field whose first-order theory is decidable—no such field is known if the theorem is correct. For Theorem 10.1, one could examine the polynomial p(a_1,...,a_{n-1},b,Y_1,...,Y_m) in the displayed formula and test whether it defines the set B of tuples whose associated rational functions lie in F_p[w]; if the missing coordinate a_0 changes the membership condition, the proof of 'every F_p[w] is definable' would fail.

Watch

Extended reading notes

Core claim

The central claim, stated as Corollary 8.4, is that if K is a q-bounded algebraic extension of a finite extension of F_p(t), and either the extension is Galois or the primes in S are uniformly q-bounded, then the ring O_{K,S} of S-integral functions is first-order definable in K. From this the paper derives that when the algebraic closure of F_p in K is infinite, both O_K and K have undecidable first-order theories (Corollaries 9.2 and 9.3), and every polynomial ring F_p[w] with w non-constant is definable in K with parameters (Corollary 10.2). A separate theorem (9.4) removes the infinite-constant-field assumption when some prime of the base field has only finitely many factors in K. The intended force of the paper is that q-boundedness is the function-field counterpart of the number-field condition used earlier by the first author, and that it marks a reliable boundary between decidable and undecidable infinite algebraic extensions.

Load-bearing premise

The proof of Theorem 10.1 assumes that Demeyer's theorem—which the paper cites as saying every computably enumerable subset of F_p[u] is Diophantine—also covers the specific computable set B of (n+1)-tuples defined in (10.16); the paper does not prove this tuple version, and the displayed formula appears to drop the coordinate a_0, so that application is the load-bearing premise for the 'every polynomial ring is definable' conclusion.

Editorial extensions

If this is right

  • For every q-bounded Galois extension K of F_p(t), the integral closure of F_p[t] in K is first-order definable in K, as a special case of Corollary 8.4.
  • If a q-bounded extension has an infinite constant field, then the first-order theory of the field K is undecidable (Corollary 9.3).
  • Under the same hypotheses, every polynomial ring F_p[w], for non-constant w in K, is first-order definable in K with parameters (Corollary 10.2).
  • If some prime of the base field has only finitely many factors in K, the first-order theory of K is undecidable without assuming the constant field is infinite (Theorem 9.4).
  • The integral closure of any valuation ring of a prime with uniformly q-bounded ramification and relative degree has a first-order definition in K; with absolutely bounded ramification the definition is existential (Theorems 7.2–7.3).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The main undecidability theorem (Corollary 9.3) does not pass through the all-polynomial-rings result; it uses only definability of one integral closure O_{K,u} and of F_p[t], so it would survive even if Theorem 10.1 needed repair.
  • The proof of Theorem 10.1 relies on Demeyer's theorem applied to a set of tuples rather than to a subset of F_p[u]; a skeptical reader should check whether the tuple version is actually supplied, since the displayed defining formula appears to omit the coordinate a_0.
  • q-boundedness is preserved under passing to finite extensions along the tower, so the same norm-equation template should define integral closures of valuation rings in any field whose local degree growth is q-bounded, suggesting the method may extend to fields where different primes use different primes q.
  • The construction at the end of the paper shows that the finitely-many-factors condition is easy to engineer by alternating inert and totally ramified primes, so the undecidability in Theorem 9.4 likely applies to many explicitly built towers, not just the examples listed.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper develops a notion of q-boundedness for algebraic extensions of F_p(t), analogous to earlier work of the first author over Q, and uses norm equations together with the Hasse Norm Principle to obtain first-order definitions of integral closures of valuation rings and of S-integer rings in such extensions. The main consequences are: for a q-bounded extension K/F_p(t), the integral closures of infinitely many polynomial rings F_p[u] are definable in K; if the constant field is infinite, the first-order theory of K is undecidable and every F_p[w] is definable with parameters; and if some prime has finitely many factors in K, the first-order theory is undecidable. The paper also contains a construction of such extensions with finite constant field and a transfer theorem stating that definability of one F_p-polynomial ring implies definability of all of them.

Significance. If the gaps described below are repaired, this is a substantial advance in the model theory of infinite algebraic extensions of global function fields. The definability results are broader than those in the concurrent work by Martinez-Ranero, Salcedo, and Utreras, and the undecidability results are considerably stronger. The main technical engine, Proposition 4.7, is proven in full and correctly reduces norm equations in infinite extensions to finite subextensions; this is a genuinely useful contribution. The paper is largely self-contained in its use of standard tools (Weak Approximation, Hasse Norm Principle, class field theory), and it contains no fitted parameters or circular dependencies. The weak points are localized: a genuinely incorrect definition of V_{K,p_K} in the non-Galois case, and an under-justified application of Demeyer's theorem to tuples plus a missing coordinate in the displayed formula of Theorem 10.1. Both are repairable within the manuscript's scope.

major comments (2)
  1. [Section 7, Remark 7.4(2) and Corollary 7.5(a)] The stated identification V_{K,p_K} = {u in U_{p_K,K} : (u-1) notin U_{p_K,K}} is not correct when p_K has more than one extension to K. For u in U_{p_K,K}, the condition (u-1) notin U_{p_K,K} means that there exists at least one prime v over p_K with v(u-1)>0, whereas Notation 1.7 defines V_{K,p_K} by v(u-1)>0 for all v over p_K. These two sets differ exactly when p_K splits and u-1 has positive valuation at one prime but valuation zero at another. Since Corollary 8.4's second case (uniform q-boundedness, without a Galois assumption) relies on Corollary 7.5(a), and Corollaries 8.5 and 9.3 use that case, the proof as written has a genuine gap. A correct first-order definition is available: for R=O_{p_K,K}, define its Jacobson radical by x in J(R) iff for all y in R, 1-xy is a unit in R, and then V_{K,p_K} = {u in U_{p_K,K} : u-1 in J(R)}. The manuscript should be revised accordingly; the Galois case is fine because then all primes over p_K are conjugate.
  2. [Section 10, Theorem 10.1 and Eq. (10.16)] The proof applies Demeyer's theorem to the set B in (10.16), which is a subset of F_p[u]^{n+1}, but the cited theorem [Dem07] is stated for c.e. subsets of F_p[u], not for subsets of F_p[u]^{n+1}. The manuscript should either prove the needed tuple version via a Diophantine coding of tuples or explicitly state and prove a generalized version of Demeyer's theorem. Additionally, the displayed formula in the proof appears to drop the coordinate a_0: it uses p(a_1,...,a_{n-1},b,Y_1,...,Y_m)=0, while B is defined using (a_0,...,a_{n-1},b). As written, the formula does not define F_p[w] because the condition on a_0 is not enforced. This is load-bearing for Corollary 10.2 and should be corrected.
minor comments (4)
  1. [Section 10, Eq. (10.16)] The notation F_p[u]^{n+1} in (10.16) should be written as F_p[u]^{n+1}; the superscript is not typeset correctly.
  2. [Section 8, Corollary 8.5] The sentence 'Therefore, therefore the integral closure of F_p[u] is definable over K' contains a duplicated 'therefore' and should be rewritten.
  3. [Section 8, Theorem 8.7] Formula (8.14) is called a sentence but contains the free variable x; it is a formula defining a subset of K, not a sentence. The terminology should be adjusted.
  4. [Section 4, Proposition 4.7] The proof uses the same symbol L for the infinite field K(β_1,...,β_s) and for the finite extension ĤE(β_1,...,β_s); using two different symbols would improve readability and avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the definability and undecidability results are derived from independent external theorems plus the q-boundedness hypothesis; flagged proof gaps are correctness issues, not self-referential reductions.

full rationale

The derivation is self-contained against external benchmarks. The main chain in Sections 5 through 9 uses the Hasse Norm Principle, Rumely's valuation-ring results, Denef's undecidability of F_p[t], and Demeyer's theorem as independent published inputs; q-boundedness and uniform q-boundedness are hypotheses, not conclusions, and the norm-equation definability arguments compare solutions against local order conditions rather than assuming the target formula. The self-citations [Shl92] and [Shl93] are prior published theorems about undecidability and definability over polynomial rings; they are used as external results and do not presuppose the definability of O_{K,S} or the undecidability of K established here. Possible written-proof issues, such as the non-Galois identification of V_{K,S} in Remark 7.4(2) and the application of Demeyer to a tuple set in Theorem 10.1, are correctness or repair concerns rather than circular reductions: no equation in the paper is equivalent to its input by construction, and no fitted parameter is renamed as a prediction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claims rest on standard theorems in algebraic number theory and model theory, plus the new q-boundedness hypothesis. No free parameters are fitted to data. No new mathematical entities (particles, forces, dimensions) are postulated. The only new object is the definition of q-boundedness itself, which is a property rather than an entity.

assumptions (6)
  • standard math Hasse Norm Principle for cyclic extensions of global function fields (Theorem 4.1, citing Tate)
    Used to characterize solvability of norm equations via local conditions, the core tool for all definability results in Sections 5-8.
  • standard math Weak Approximation Theorem (cited to Lang, used in Lemmas 5.5, 7.1, 8.1, 9.6)
    Needed to construct auxiliary elements a and b with prescribed valuations at finitely many primes.
  • standard math Demeyer's theorem that every c.e. subset of F_p[u] is Diophantine ([Dem07], used in Theorem 10.1)
    Bridges computable subset B of F_p[u]^{n+1} to an existential formula, enabling transfer of definability between polynomial rings.
  • standard math Denef's theorem that the first-order theory of F_p[t] is undecidable ([Den79], used in Corollary 9.2)
    Provides the base undecidability used to conclude undecidability of O_K and K.
  • standard math Shlapentokh's results [Shl92, Theorem 5.1] and [Shl93, Theorem 4.17] (used in Section 9)
    Provide existential undecidability of certain rings of S-integers and definability of F_p[t] in k[t] for infinite constant fields.
  • domain assumption K contains a primitive q-th root of unity (Assumption 3.5)
    Ensures q-th root extensions are cyclic, allowing the Hasse Norm Principle. The authors show this can be assumed without loss of generality via Corollary 3.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability." pith.science (2026). https://pith.science/paper/W3KU6N4S

@misc{pith2026241114960,
  author       = {Pith},
  title        = {Pith review of: First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W3KU6N4S}},
  note         = {Machine review of arXiv:2411.14960}
}
abstract

In this paper, we study questions of definability and decidability for infinite algebraic extensions ${\bf K}$ of $\mathbb{F}_p(t)$ and their subrings of $\mathcal{S}$-integral functions. We focus on fields ${\bf K}$ satisfying a local property which we call $q$-boundedness. This can be considered a function field analogue of prior work of the first author which considered algebraic extensions of $\mathbb{Q}$. One simple consequence of our work states that if ${\bf K}$ is a $q$-bounded Galois extension of $\mathbb{F}_p(t)$, then for infinitely many non-constant $u$ the integral closure $\mathcal{O}_{\bf K}$ of $\mathbb{F}_p[u]$ inside ${\bf K}$ is first-order definable in ${\bf K}$. Under the additional assumption that the constant subfield of ${\bf K}$ is infinite, it follows that both $\mathcal{O}_{\bf K}$ and ${\bf K}$ have undecidable first-order theories, and that $\mathbb{F}_p[w]$ is definable in ${\bf K}$ for every non-constant $w$ in ${\bf K}$. Our primary tools are norm equations and the Hasse Norm Principle, in the spirit of Rumely. Our paper has an intersection with a recent arXiv preprint by Mart\'inez-Ranero, Salcedo, and Utreras, although our definability results are more extensive and undecidability results are much stronger.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    [Cas67] J. W. S. Cassels, Global fields , Algebraic Number Theory (Proc. Instructional Conf., Brig hton, 1965), 1967, pp. 42–84. MR222054 ↑25 [CPZ05] Gunther Cornelissen, Thanases Pheidas, and Karim Z ahidi, Division-ample sets and the Diophantine problem for rings of integers , J. Th´ eor. Nombres Bordeaux 17 (2005), no. 3, 727–735. MR2212121 ↑5 [Dar00] L...

    work page 2005

  2. [50]

    Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

    MR4359365 ↑5 [MSU24] Carlos Martinez-Ranero, Dubraska Salcedo, and Jav ier Utreras, Undecidability of infinite algebraic extensions of Fp(t), arXiv e-prints (September 2024), arXiv:2409.01492, avai lable at 2409.01492. ↑6, 7, 26 [Par13] Jennifer Park, A universal first-order formula defining the ring of integers in a number field , Math. Res. Lett. 20 (2013),...

    work page Pith review arXiv 2013

  3. [108]

    Videla, Hilbert’s tenth problem for rational function fields in char acteristic 2, Proc

    ↑5 [Vid94] Carlos R. Videla, Hilbert’s tenth problem for rational function fields in char acteristic 2, Proc. Amer. Math. Soc. 120 (1994), no. 1, 249–253. MR1159179 ↑5 DEPAR TMENT OF MATHEMATICS , E AST CAROLINA UNIVERSITY , G REENVILLE , NC 27858 Email address : shlapentokha@ecu.edu CENTER FOR COMMUNICATIONS RESEARCH , P RINCETON , NJ 08540 Email address ...

    work page 1994

  4. [171]

    MR2054753 ↑5 [Shl04] Alexandra Shlapentokh, On Diophantine definability and decidability in some infinit e totally real extensions of Q, Trans. Amer. Math. Soc. 356 (2004), no. 8, 3189–3207. MR2052946 ↑5 [Shl07] Alexandra Shlapentokh, Hilbert’s tenth problem, New Mathematical Monographs, vol. 7, Cambridge Universit y Press, Cambridge,

    work page 2004

  5. [1994]

    Reine Angew

    MR1282723 ↑9, 14, 16, 21, 24 [MB05] Laurent Moret-Bailly, Elliptic curves and Hilbert’s tenth problem for algebraic f unction fields over real and p-adic fields , J. Reine Angew. Math. 587 (2005), 77–143. MR2186976 ↑5 [MB89] Laurent Moret-Bailly, Groupes de Picard et probl ` emes de Skolem. I, II , Ann. Sci. ´Ecole Norm. Sup. (4) 22 (1989), no. 2, 161–179, ...

    work page 2005

  6. [2007]

    On definitions of polynomials over function fields of positive characteristi

    Diophantine classes and extension s to global fields. MR2297245 ↑6, 8 [Shl08] Alexandra Shlapentokh, Elliptic curves retaining their rank in finite extensions an d Hilbert’s tenth problem for rings of algebraic numbers , Trans. Amer. Math. Soc. 360 (2008), no. 7, 3541–3555. MR2386235 ↑5 [Shl09] Alexandra Shlapentokh, Rings of algebraic numbers in infinite ex...

    work page Pith review arXiv 2008

  7. [2023]

    MR4647281 ↑1, 2, 28 [GFP20] Natalia Garcia-Fritz and Hector Pasten, Towards Hilbert’s tenth problem for rings of integers throu gh Iwasawa theory and Heegner points , Math

    Revised by Moshe Jarden. MR4647281 ↑1, 2, 28 [GFP20] Natalia Garcia-Fritz and Hector Pasten, Towards Hilbert’s tenth problem for rings of integers throu gh Iwasawa theory and Heegner points , Math. Ann. 377 (2020), no. 3-4, 989–1013. MR4126887 ↑5 [GJR19] Wulf-Dieter Geyer, Moshe Jarden, and Aharon Razon, Composita of symmetric extensions of Q, M ¨ unster ...

    work page 2020

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.