REVIEW 1 major objections 5 minor 21 references
Topologically 1-based T-minimal Structures
T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper introduces topological 1-basedness and proves that non-trivial t-minimal structures with independent neighborhoods that are topologically 1-based contain a type-definable abelian topological group, open in the structure's…
desk verdict A serious, novel group-existence theorem for non-o-minimal weakly o-minimal and non-exchange C-minimal structures; the main proof is coherent, with a few expositional gaps that should be fixed but do not look load-bearing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the germ germ(a/A), defined as a definable set up to agreement on a neighborhood of a and coded as an imaginary element; it serves as a topological replacement for canonical bases. Alongside it, the paper uses infinitesimal neighborhoods µ(a/A), the sets of realizations of tp(a/A) infinitesimally close to a, to turn finite-to-finite correspondences into homeomorphisms. The group is assembled from a regular groupoid spine: a small configuration of sets X_i with regular families of bijections between them, where regularity means a single point determines a unique morphism. The decisive step is an abstract theorem showing that any type-definable regular groupoid spine with at least three objects yields a type-definable group acting regularly on each object.
What would settle it
Exhibit a non-trivial t-minimal structure with the independent neighborhood property that satisfies the germ-dimension equality defining topological 1-basedness but in which every type-definable subset of M is either finite or has empty interior; such a structure could not contain an open type-definable group, directly contradicting Theorem 11.15.
Extended reading notes
Core claim
The central claim, Theorem 11.15, is that a sufficiently saturated t-minimal structure with the independent neighborhood property, if non-trivial and topologically 1-based, has a countable parameter set A and an A-type-definable abelian group G such that G is open in M, is a topological group with the topology inherited from M, and is locally linear. Topological 1-basedness is defined by replacing canonical bases with topological germs: a type tp(a/Ab) is topologically 1-based over A when the germ germ(a/Ab) carries the same dimension information as the tuple a, equivalently when the map y ↦ germ(a/Ay) is constant on an infinitesimal neighborhood of b. The theorem is presented as a topological analog of the Hrushovski-Pillay classification of 1-based stable groups, and it specializes to known linearity notions in o-minimal structures when exchange holds.
Load-bearing premise
The whole notion of a germ—and hence of topological 1-basedness—rests on the prior theorem that in a t-minimal structure every definable set of full local dimension at a point has nonempty interior there; if that theorem fails in any t-minimal context, the definition and the group construction have no starting point.
Editorial extensions
If this is right
- All dense weakly o-minimal and C-minimal theories, even those without exchange, obtain a group-existence theorem: non-trivial topologically 1-based examples admit an open type-definable abelian topological group.
- The group is locally linear, meaning every germ of a tuple over parameters is realized by a coset of a type-definable subgroup; this is a topological counterpart of the Hrushovski-Pillay analysis.
- Because topologically 1-based structures cannot define an infinite field, the theorem gives a local dichotomy: non-trivial topologically 1-based structures are group-like rather than field-like.
- When exchange holds, topological 1-basedness coincides with weak 1-basedness, so the theorem generalizes the known linear o-minimal group-existence results.
- A local version applies to a non-trivial topologically locally modular one-dimensional type, yielding a type-definable group on its infinitesimal neighborhood even when the ambient structure is not globally topologically 1-based.
Reading between the lines
- Since topological 1-basedness is preserved under admissible reducts and adding constants, the group-existence theorem should transfer to any admissible reduct of a topologically 1-based structure, potentially covering new examples beyond weakly o-minimal and C-minimal theories.
- The infinitesimal subgroup constructed in the paper is abelian and locally linear; a natural testable extension is that every definable set in the group is, infinitesimally, a finite Boolean combination of cosets of type-definable subgroups, giving a full local trichotomy statement.
- The appendix's 'few broad sets' and 'locally broad' properties may be sufficient in place of the independent neighborhood property; if so, the main theorem would apply to a broader class of t-minimal structures than those explicitly listed.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a notion of topological 1-basedness for t-minimal structures with the independent neighborhood property, and proves that such a structure, if non-trivial and topologically 1-based, admits a type-definable abelian topological group on an open subset. The proof proceeds by: (i) developing germs and infinitesimal neighbourhoods in t-minimal structures; (ii) proving a structure theorem for topologically 1-based types, Theorem 6.4, saying that such types have equal-or-disjoint infinitesimal fibres; (iii) proving an abstract group-configuration theorem for regular groupoid spines; (iv) constructing a regular groupoid spine from a topological group configuration; and (v) topologizing the resulting group and proving local linearity, local abelianity, and a few-subgroups result. The paper also contains two appendices establishing the independent neighborhood property for weakly o-minimal and C-minimal structures and for visceral theories.
Significance. If the main results are correct, they are a substantial advance: they give the first group-existence theorem for non-o-minimal weakly o-minimal structures and for C-minimal structures without exchange, and they provide a topological analogue of the Hrushovski-Pillay classification of 1-based stable groups. The paper is carefully structured and modular: germs, dimension theory, infinitesimal neighbourhoods, abstract groupoid spines, and the group construction are separated into clearly delineated sections. The authors also explicitly identify the reliance on Johnson's earlier dimension theory, and Appendix B by Johnson contains a self-contained proof that visceral theories have the independent neighborhood property. These are genuine strengths. However, one load-bearing step in the proof of the local structure theorem, Theorem 6.4, appears to require an unstated preservation property; this is discussed in the major comments.
major comments (1)
- [§6.4, Theorem 6.4, proof of (1)⇒(2)] The invocation of Lemma 6.1(3) over the extended parameter set At is not justified by the preceding text. Lemma 6.1(3) requires the type tp(a/At b) to be topologically 1-based over At, i.e. dim(b/At a) = dim(b/At germ(a/At b)). The proof has established g = germ(a/Abt) and, by Lemma 4.10(3) applied in both orders, the one-sided equalities dim(a/Atb)=dim(a/Ab) and dim(b/Ata)=dim(b/Aa); but these do not imply the required equality dim(b/At a g) = dim(b/A a g). The obstacle is that g is an imaginary element, while Lemma 4.10 is stated only for real tuples, so one cannot simply apply Lemma 4.10 to the pair (g,b). In the globally topologically 1-based case this gap can be filled by Lemma 5.7 (expansion by constants), but Theorem 6.4 is stated as a local statement about the single type tp(a/Ab), and its local form is used in Lemma 9.1 and Corollary 9.10. As written, the main fibre-regularity argument therefore rests on an unstated preservation property: that local topological 1-basedness is preserved when passing from A to At, where t satisfies dim(ab/At)=dim(ab/A). The authors should either prove this preservation property, or restrict Theorem 6.4 (and any local applications) to globally topologically 1-based structures, or repair the argument so that it does not need Lemma 6.1(3) over At. This is a load-bearing issue for the group construction.
minor comments (5)
- [§6.1, proof of Lemma 6.1] At the end of the proof of part (3) of Lemma 6.1, the sentence 'This proves (2)' should read 'This proves (3)'.
- [§3.4, Definition 3.12] The word 'additivite' should be 'additive'.
- [§3.3, Lemma 3.10(4)] In clause (4), 'a-approximation' should be 'd-approximation'.
- [§10.4, Theorem 10.10] The hypothesis 'Assume M is non-trivial and 1-based' should read 'Assume M is non-trivial and topologically 1-based'.
- [§11.2, Lemma 11.5] In clauses (1) and (2), the phrase 'There are a parameter set A' reuses a symbol that has already been fixed in the statement of the lemma; it should be replaced by an existential quantifier over a type-definable subgroup, for example 'There is an A-type-definable subgroup H ≤ G^n'.
Circularity Check
No meaningful circularity; the central group-existence theorem is a new derivation from stated assumptions.
full rationale
The main claim, Theorem 11.15, assumes t-minimality, the independent neighborhood property, non-triviality, and topological 1-basedness, and derives the existence of an open type-definable abelian topological group. This is not a restatement of any input: the group is constructed through germs, infinitesimal neighborhoods, regular groupoid spines, and a topological group interpolation argument. The one notable self-citation is Johnson's dimension theory: Lemma 2.8 relies on [11, Theorem 1.7(3)] to prove that every t-minimal type has a well-defined germ, and Johnson is also an author of the appendix. That citation is load-bearing in the sense that topological 1-basedness is defined through germs, but it is not circular: [11] is an external theorem with stated assumptions, used as a tool, and it does not already contain the group-existence conclusion or the notion of topological 1-basedness. The paper fits no parameters and repackages no fitted quantity as a prediction. The equivalence in Theorem 6.4 is proved from the definition of topological 1-basedness, and later uses of that theorem are applications, not equivalences-by-construction. The skeptic's concern about the proof of Theorem 6.4 applying Lemma 6.1(3) over an extended parameter set At is a potential correctness gap in that proof step, not a circular reduction of the theorem to its own assumptions. Since no derivation in the paper reduces to its own input by definition, and the only self-citation is an external prior theorem, the appropriate finding is no significant circularity.
Assumptions & free parameters
assumptions (5)
- standard math ZFC and standard model-theoretic background are assumed throughout.
- domain assumption The structure M is sufficiently saturated: kappa-saturated and kappa-strongly homogeneous for some uncountable kappa larger than the language.
- domain assumption Johnson's dimension theory for t-minimal structures (Fact 2.3 and Theorem 1.7(3) of [11]).
- domain assumption The independent neighborhood property (Definition 3.1).
- domain assumption The existence of an elementary extension N sufficiently saturated with respect to M.
Cite this review
Pith. "Pith review of Topologically 1-based T-minimal Structures." pith.science (2026). https://pith.science/paper/JZWVTNG5
@misc{pith2026250818558,
author = {Pith},
title = {Pith review of: Topologically 1-based T-minimal Structures},
year = {2026},
howpublished = {\url{https://pith.science/paper/JZWVTNG5}},
note = {Machine review of arXiv:2508.18558}
}
abstract
We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with the independent neighborhood property. This is a wide class including all visceral theories, as well as all dense weakly o-minimal and C-minimal theories (even those where exchange fails). Now assume $\mathcal M$ is highly saturated and t-minimal with the independent neighborhood property. We show that if $\mathcal M$ is non-trivial and topologically 1-based, it admits a type-definable abelian group $(G,+)$ with $G$ an open subset of $M$. Moreover, we can ensure that $G$ is a topological group with the subspace topology inherited from $M$; and in this case, we show that the induced structure on $G$ satisfies an appropriate topological analog of the Hrushovski-Pillay classification of 1-based stable groups.
Reference graph
Works this paper leans on
-
[1]
Weakly one-based geometric theories
Alexander Berenstein and Evgueni Vassiliev. Weakly one-based geometric theories. J. Sym- bolic Logic, 77(2):392–422, 2012
work page 2012
-
[2]
Strongly Minimal Relics of T-convex Fields
Benjamin Castle and Assaf Hasson. Strongly Minimal Relics of T-convex Fields. arXiv e- prints, page arXiv:2410.22442, October 2024
arXiv 2024
-
[3]
Zilber’s Trichotomy in Hausdorff Geometric Structures
Benjamin Castle, Assaf Hasson, and Jinhe Ye. Zilber’s Trichotomy in Hausdorff Geometric Structures. arXiv e-prints, page arXiv:2405.02209, May 2024
arXiv 2024
-
[4]
G. Cherlin, L. Harrington, and A. H. Lachlan. ℵ0-categorical, ℵ0-stable structures. Ann. Pure Appl. Logic, 28(2):103–135, 1985
work page 1985
-
[5]
Model-theoretic Elekes-Szab´ o for stable and o-minimal hypergraphs
Artem Chernikov, Ya’acov Peterzil, and Sergei Starchenko. Model-theoretic Elekes-Szab´ o for stable and o-minimal hypergraphs. Duke Math. J. , 173(3):419–512, 2024
work page 2024
-
[6]
Stability in geometric theories
Jerry Gagelman. Stability in geometric theories. Ann. Pure Appl. Logic , 132(2-3):313–326, 2005
work page 2005
-
[7]
Interpretable fields in various valued fields
Yatir Halevi, Assaf Hasson, and Ya’acov Peterzil. Interpretable fields in various valued fields. Adv. Math., 404:Paper No. 108408, 2022
work page 2022
-
[8]
On groups interpretable in various valued fields
Yatir Halevi, Assaf Hasson, and Ya’acov Peterzil. On groups interpretable in various valued fields. Selecta Math. (N.S.) , 30(4):Paper No. 59, 2024
work page 2024
Show all 21 references
-
[9]
Locally modular regular types
Ehud Hrushovski. Locally modular regular types. In Classification theory (Chicago, IL, 1985), volume 1292 of Lecture Notes in Math. , pages 132–164. Springer, Berlin, 1987
1985
-
[10]
Hrushovski and A
U. Hrushovski and A. Pillay. Weakly normal groups. In Logic colloquium ’85 (Orsay, 1985) , volume 122 of Stud. Logic Found. Math., pages 233–244. North-Holland, Amsterdam, 1987
1985
-
[11]
Visceral theories without assumptions
Will Johnson. Visceral theories without assumptions. arXiv e-prints, page arXiv:2404.11453, April 2024
2024 arXiv
-
[12]
Linear o-minimal structures
James Loveys and Ya’acov Peterzil. Linear o-minimal structures. Israel J. Math. , 81(1-2):1– 30, 1993
1993
-
[13]
Construction d’un groupe dans les structures C-minimales
Fares Maalouf. Construction d’un groupe dans les structures C-minimales. J. Symbolic Logic, 73(3):957–968, 2008
2008
-
[14]
Cell decomposition and dimension functions in first-order topological struc- tures
Larry Mathews. Cell decomposition and dimension functions in first-order topological struc- tures. Proc. London Math. Soc. (3) , 70(1):1–32, 1995
1995
-
[15]
Type-definable and invariant groups in o-minimal structures.J
Jana Maˇ r´ ıkov´ a. Type-definable and invariant groups in o-minimal structures.J. Symbolic Logic, 72(1):67–80, 2007
2007
-
[16]
Constructing a group-interval in o-minimal structures
Ya’acov Peterzil. Constructing a group-interval in o-minimal structures. J. Pure Appl. Alge- bra, 94(1):85–100, 1994
1994
-
[17]
An o-minimalist view of the group configuration
Ya’acov Peterzil. An o-minimalist view of the group configuration. arXiv e-prints , page arXiv:1909.09994, September 2019
1909 arXiv
-
[18]
A trichotomy theorem for o-minimal structures.Proc
Ya’acov Peterzil and Sergei Starchenko. A trichotomy theorem for o-minimal structures.Proc. London Math. Soc. (3) , 77(3):481–523, 1998
1998
-
[19]
Geometric stability theory, volume 32 of Oxford Logic Guides
Anand Pillay. Geometric stability theory, volume 32 of Oxford Logic Guides. The Clarendon Press, Oxford University Press, New York, 1996. Oxford Science Publications
1996
-
[20]
Tame topology over dp-minimal structures
Pierre Simon and Erik Walsberg. Tame topology over dp-minimal structures. Notre Dame J. Form. Log., 60(1):61–76, 2019. TOPOLOGICALLY 1-BASED T-MINIMAL STRUCTURES 65
2019
-
[21]
Uncountably categorical theories, volume 117 of Translations of Mathematical Monographs
Boris Zilber. Uncountably categorical theories, volume 117 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1993. Translated from the Russian by D. Louvish. Department of Mathematics, University of Illinois Urbana-Champaign Email addre...
1993
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.