arxiv: 2605.06986 · v1 · submitted 2026-05-07 · 🧮 math.LO

Recognition: 2 theorem links

· Lean Theorem

Definable groups and fields in t-minimal theories

Will Johnson

Pith reviewed 2026-05-11 01:07 UTC · model grok-4.3

classification 🧮 math.LO

keywords t-minimal theoriesdefinable fieldslarge fieldsdefinable groupsvisceral theoriesdefinable manifolds

0 comments

The pith

Definable fields in t-minimal theories are finite or large in Pop's sense.

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

The paper proves that if a field is definable in a t-minimal theory, it must be finite or satisfy the largeness condition that any smooth algebraic curve over it with one rational point has infinitely many rational points. It also shows that abelian definable groups carry a canonical topology induced by the t-minimal structure. When the theory is visceral, meaning its topology comes from a definable uniformity, the same topology works for arbitrary definable groups and turns them into definable manifolds. These conclusions follow directly from the minimality condition on unary definable sets and the uniformity assumption.

Core claim

Let T be a t-minimal theory, meaning there is a definable topology such that a unary definable set has non-empty interior if and only if it is infinite. If K is a definable field in T, then K is finite or large: any smooth algebraic curve C over K with at least one K-rational point has infinitely many K-rational points. Any abelian definable group G in T admits a canonical topology. If T is visceral, every definable group G admits a topology making it a definable manifold.

What carries the argument

The definable topology that witnesses t-minimality, under which unary definable sets are infinite precisely when they have nonempty interior; in the visceral case this topology arises from a definable uniformity.

If this is right

Definable fields in t-minimal theories obey a strong infinitude property on rational points of curves.
Abelian definable groups receive a canonical topology from the t-minimal structure.
In visceral t-minimal theories every definable group becomes a definable manifold.
The results apply uniformly to any definable field or group without extra algebraic assumptions.

Where Pith is reading between the lines

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

Largeness may allow transfer of classical results from algebraic geometry to definable fields in these theories.
The manifold structure on groups opens the possibility of studying differential or Lie-like properties inside t-minimal structures.
Similar conclusions might hold when t-minimality is weakened to other tame conditions such as dp-minimality.

Load-bearing premise

The theory admits a definable topology under which unary definable sets have nonempty interior exactly when they are infinite.

What would settle it

A t-minimal theory containing an infinite definable field K together with a smooth algebraic curve over K that has exactly one K-rational point but only finitely many K-rational points in total.

read the original abstract

Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or "large" in the sense of Pop: any smooth algebraic curve $C$ over $K$ with at least one $K$-rational point has infinitely many $K$-rational points. We also assign a canonical topology to any abelian definable group $G$ in a t-minimal theory. In the case where the t-minimal theory is "visceral" in the sense of Dolich and Goodrick, meaning that the definable topology is induced by a definable uniformity, we can drop the assumption of abelianity of $G$, and the resulting topology on $G$ is a definable manifold in the style of Acosta L\'opez and Hasson.

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.

Desk Editor's Note private letter to a colleague

This paper shows definable fields in t-minimal theories are large in Pop's sense and equips definable groups with canonical topologies that yield manifolds under visceral assumptions.

read the letter

The main results are that any definable field in a t-minimal theory is finite or large, and that abelian definable groups receive a canonical topology from the group operation and the ambient t-minimal topology. In visceral theories the topology makes the group a definable manifold without needing abelianness. These are the two things worth knowing up front. The largeness claim uses the dimension theory that t-minimality supplies to guarantee infinitely many rational points on any smooth curve with one K-point. The topology construction is direct and avoids extra continuity assumptions on the field operations. Both steps stay within the given definitions and do not introduce circularity. The paper does a clean job of extending ideas from o-minimality and minimality to this setting without overclaiming. The stress-test notes confirm the arguments rest only on the definable topology and uniformity, which matches what the abstract lays out. A minor limitation is that the results apply only to theories that admit a definable topology with the stated interior property. That is explicit in the setup rather than a hidden gap, but it narrows the class of theories covered. The visceral condition is likewise an added hypothesis for the manifold conclusion. This work is aimed at model theorists who study definable groups and fields and their connections to algebraic geometry. Anyone already comfortable with minimality notions will see the precise extensions and can check the proofs against the definitions. The paper shows clear thinking and honest use of the literature. It deserves a serious referee to verify the details of the dimension arguments and the atlas construction. I recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper proves that if T is a t-minimal theory (unary definable sets have non-empty interior in a definable topology precisely when infinite), then any definable field K in T is finite or large in Pop's sense: every smooth algebraic curve C over K with at least one K-rational point has infinitely many K-rational points. It further constructs a canonical topology on any abelian definable group G in a t-minimal theory; when T is additionally visceral (the topology arises from a definable uniformity), the same construction yields a definable manifold structure on any definable group G without requiring abelianness.

Significance. If the results hold, they extend the known largeness of definable fields and the existence of canonical manifold topologies on definable groups from o-minimal and related tame settings to the broader t-minimal framework. The arguments rely only on the given definable topology and standard algebraic notions, supplying dimension-theoretic tools that produce infinitely many rational points on curves and a uniform way to topologize groups. This could serve as a unifying reference for work on definable structures in model theory.

minor comments (3)

§2, Definition 2.3: the statement that the topology is 'induced by a definable uniformity' would be clearer if the uniformity itself were exhibited explicitly rather than asserted to exist.
§4, Theorem 4.7: the proof that the canonical topology makes G a manifold cites the visceral hypothesis but does not indicate where the atlas charts are constructed; a brief sketch or reference to the relevant lemma would help.
The paper assumes familiarity with Pop's notion of largeness; adding a one-sentence reminder of the definition in the introduction would improve accessibility for readers outside algebraic geometry.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our results on definable fields and groups in t-minimal theories, as well as the recommendation for minor revision. The assessment correctly identifies the extension of largeness properties for fields and canonical manifold topologies for groups from o-minimal settings to the t-minimal framework. Since the report lists no specific major comments, we have no point-by-point rebuttals to offer. We will address any minor editorial or presentational issues in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from t-minimality definition

full rationale

The paper starts from the explicit definition of t-minimality (unary definable sets have non-empty interior iff infinite, w.r.t. a definable topology) and constructs the largeness property for definable fields and the canonical topology on groups directly from that plus the field/group operations and standard algebraic geometry. No step reduces a claimed prediction or theorem to a fitted parameter, self-referential definition, or load-bearing self-citation; the visceral case invokes an external reference (Dolich-Goodrick) whose content is independent of the present results. The arguments are therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the definition of t-minimality, standard first-order model theory, and algebraic geometry notions such as smooth curves and rational points; no free parameters or invented entities are introduced.

axioms (2)

standard math First-order logic and model-theoretic definability
Used to define t-minimality and definable sets, groups, and fields.
domain assumption Algebraic geometry over fields (smooth curves, rational points)
Invoked in the statement of Pop's largeness condition.

pith-pipeline@v0.9.0 · 5459 in / 1087 out tokens · 52759 ms · 2026-05-11T01:07:44.518216+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
Let T be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set D ⊆ M has non-empty interior iff it is infinite. If K is a definable field in T, then K is finite or 'large' in the sense of Pop...
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
We also assign a canonical topology to any abelian definable group G in a t-minimal theory. In the case where the t-minimal theory is 'visceral'... the resulting topology on G is a definable manifold...

Reference graph

Works this paper leans on

15 extracted references · 3 canonical work pages · 1 internal anchor

[1]

On groups and fields definable in 1-h- minimal fields.J

Juan Pablo Acosta L´ opez and Assaf Hasson. On groups and fields definable in 1-h- minimal fields.J. Inst. Math. Jussieu, 24(1):203–248, 2025

2025
[2]

Topologically 1-based t-minimal structures

Benjamin Castle and Assaf Hasson. Topologically 1-based t-minimal structures. arXiv:2508.18558v1 [math.LO], August 2025

work page arXiv 2025
[3]

When is the ´ etale open topology a field topology?Israel Journal of Mathematics, 2025

Philip Dittmann, Erik Walsberg, and Jinhe Ye. When is the ´ etale open topology a field topology?Israel Journal of Mathematics, 2025

2025
[4]

Tame topology over definable uniform structures

Alfred Dolich and John Goodrick. Tame topology over definable uniform structures. Notre Dame J. Formal Logic, 63(1):51–79, 2022

2022
[5]

Topologizing interpretable groups inp-adically closed fields.Notre Dame J

Will Johnson. Topologizing interpretable groups inp-adically closed fields.Notre Dame J. Formal Logic, 64(4):571–609, November 2023. 49

2023
[6]

Visceral theories without assumptions

Will Johnson. Visceral theories without assumptions. arXiv:2404.11453v1 [math.LO], April 2024

work page internal anchor Pith review Pith/arXiv arXiv 2024
[7]

Largeness and generalized t-henselianity

Will Johnson. Largeness and generalized t-henselianity. arXiv:2508.15362v1 [math.LO], August 2025

work page arXiv 2025
[8]

Translating between NIP integral domains and topological fields.J

Will Johnson. Translating between NIP integral domains and topological fields.J. Math. Logic, page Online ready, 2026

2026
[9]

Curve-excluding fields.J

Will Johnson and Jinhe Ye. Curve-excluding fields.J. Eur. Math. Soc., page Online first, 2025

2025
[10]

Cell decomposition and dimension functions in first-order topological structures.Proc

Larry Mathews. Cell decomposition and dimension functions in first-order topological structures.Proc. London Math. Soc., 70(3):1–32, 1995

1995
[11]

Springer Berlin / Heidelberg, 2004

David Mumford.The Red Book of Varieties and Schemes, volume 1358 ofLecture Notes in Mathematics. Springer Berlin / Heidelberg, 2004

2004
[12]

Peterzil and C

Y. Peterzil and C. Steinhorn. Definable compactness and definable subgroups of o- minimal groups.Journal of the London Mathematical Society, 59(3):769–786, 1999

1999
[13]

Little survey on large fields - old & new

Florian Pop. Little survey on large fields - old & new. InValuation Theory in Interaction, pages 432–463. European Mathematical Society Publishing House, 2014

2014
[14]

Model theoretic methods in the theory of topo- logical fields.Journal f¨ ur die reine und angewandte Mathematik, 299-300:318–341, 1978

Alexander Prestel and Martin Ziegler. Model theoretic methods in the theory of topo- logical fields.Journal f¨ ur die reine und angewandte Mathematik, 299-300:318–341, 1978

1978
[15]

Tame topology over dp-minimal structures.Notre Dame J

Pierre Simon and Erik Walsberg. Tame topology over dp-minimal structures.Notre Dame J. Formal Logic, 60(1):61–76, 2019. 50

2019