{"id":"3fe9a050-eccc-4490-aa85-362d4bb418c5","arxiv_id":"2508.18558","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In any non-trivial topologically 1-based t-minimal structure with independent neighborhoods, a definable open abelian topological group exists.","lead":"This paper introduces a new dividing line, called topological 1-basedness, for tame topological structures in model theory. It proves that non-trivial structures with this property contain infinite definable abelian groups that are open, topological, and locally linear.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6.4 applies Lemma 6.1(3) over an extended parameter set At without proving the required local topological 1-basedness; the main fiber-regularity argument therefore has an unstated hypothesis.","rationale":"The reader's weakest assumption was reliance on Johnson's Theorem 1.7(3) for the existence of germs. That is a real dependency, but it is a citation to prior work and is not itself an internal flaw. My reading found a more specific internal issue: the proof of Theorem 6.4 silently extends the parameter set by t and then invokes Lemma 6.1(3), which needs topological 1-basedness over the extended parameter set. That extension is not derived, and the missing equality dim(b/Ata) = dim(b/At g) is not a formal consequence of the dimension equality already established. The same step is used wherever Theorem 6.4 is applied, so the central group-existence argument depends on it. I am not claiming the theorem is false; I am claiming the proof as written has an unstated hypothesis that must be supplied before the main theorem can be considered fully certified. This supports the reader's CONDITIONAL verdict, though for a different reason than the one the reader emphasized. The corrupted passage in Lemma 3.7 is visible but does not affect the logic of that lemma, and I did not base my verdict on it.","tokens_in":58268,"tokens_out":44206,"duration_ms":406411,"concrete_test":"Isolate the preservation property P: if tp(a/Ab) is topologically 1-based over A and B ⊇ A with dim(ab/B) = dim(ab/A), then tp(a/Bb) is topologically 1-based over B. Attempt a full proof of P using Lemma 3.7 and Lemma 4.10(2); in particular, derive dim(b/Bg) = dim(b/Ag) for g = germ(a/Ab). If P is true, insert the missing derivation into Theorem 6.4 before invoking Lemma 6.1(3). If P is false, construct a t-minimal structure with the independent neighborhood property (for instance using a non-exchange C-minimal or weakly o-minimal example) where P fails; this would force Theorem 6.4 to be modified or its hypotheses strengthened, and would invalidate the current proof of Theorem 9.6 and hence Theorem 11.15.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central equivalence Theorem 6.4 is what converts topological 1-basedness into the 'fibers are equal or disjoint' regularity used in Lemma 9.1, Theorem 9.6, and Theorem 11.10. In the forward direction of its proof, after choosing a d-approximation X that is t-definable with dim(ab/At) = dim(ab/A), the text says: 'Now by Lemma 6.1(3), there is c |= tp(b/Aat) such that dim(c/Aabt) = dim(b/Aat), (c,ab) is additive over At, and g = germ(a/Act).' Lemma 6.1(3) explicitly requires the hypothesis that tp(a/At b) is topologically 1-based over At. The proof has only shown dim(ab/At) = dim(ab/A), which gives dim(a/At b) = dim(a/Ab) and hence germ(a/At b) = germ(a/Ab), but it does not give the required equality dim(b/Ata) = dim(b/At g). That equality is not automatic: g = germ(a/At b) is coded using parameters from At and b, so it may carry information about b not contained in Ata, and the fact that t does not lower dim(ab) does not by itself show that t does not lower dim(b) over g. The paper neither proves this preservation property nor cites a lemma for it. If M were assumed globally topologically 1-based, Lemma 5.7 could supply the needed extension by naming constants, but Theorem 6.4 is stated as a local statement about a single type tp(a/Ab), and no such global assumption appears in its proof. This is a gap at the exact step where the main structural conclusion is established, and it is load-bearing for the group construction.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":58592,"tokens_out":36798,"duration_ms":386706,"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":[{"comment":"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.","section":"§6.4, Theorem 6.4, proof of (1)⇒(2)"}],"minor_comments":[{"comment":"At the end of the proof of part (3) of Lemma 6.1, the sentence 'This proves (2)' should read 'This proves (3)'.","section":"§6.1, proof of Lemma 6.1"},{"comment":"The word 'additivite' should be 'additive'.","section":"§3.4, Definition 3.12"},{"comment":"In clause (4), 'a-approximation' should be 'd-approximation'.","section":"§3.3, Lemma 3.10(4)"},{"comment":"The hypothesis 'Assume M is non-trivial and 1-based' should read 'Assume M is non-trivial and topologically 1-based'.","section":"§10.4, Theorem 10.10"},{"comment":"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'.","section":"§11.2, Lemma 11.5"}],"recommendation":"major_revision","confidential_remarks":"The paper is substantial and, if the indicated point is repaired, likely a strong contribution to the model-theoretic study of tame topological structures. The main theorem itself is stated for globally topologically 1-based structures, and in that global case the gap in Theorem 6.4 can be closed using Lemma 5.7; however, the local form of Theorem 6.4 is used in at least one advertised corollary (Corollary 9.10 and Theorem 10.11 for locally modular types), so the issue is not purely cosmetic. I would recommend asking the authors to either prove the missing preservation statement or explicitly restrict the scope of the local results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nBottom line: this is the real thing. It introduces topological 1-basedness and proves the first group-existence theorem for non-o-minimal weakly o-minimal structures and for C-minimal structures without exchange, with a uniform framework covering the o-minimal case. If Theorem 11.15 is correct, that is a substantial advance, not a repackaging.\n\nWhat deserves credit: the definition of topological 1-basedness is a sensible germ-based replacement for canonical bases that survives failure of exchange. The structure theorem (Theorem 6.4) converting it into equal-or-disjoint infinitesimal fibers is the right tool; the groupoid-spine abstraction in Sections 7–8 is clean; and Sections 10–11 plausibly get a topological type-definable abelian locally linear group. The paper is honest about what relies on Johnson's earlier dimension theory (Lemma 2.8 and the independent-neighborhood machinery), and Appendix B even flags a tempting non-theorem (B.7). That is good scholarship.\n\nThe soft spots are mostly expositional. Lemma 3.7 contains a visibly corrupted line (stray characters in the proof after (1)⇒(2)); the surrounding argument can be reconstructed, but the text needs cleaning. Several checks are left 'to the reader' (Lemma 9.3, some independence checks in Theorem 9.6); they are probably routine, but they add referee burden.\n\nOn the stress-test concern about Theorem 6.4: I think it dissolves. The proof calls Lemma 6.1(3) over the extended parameter set At, and the needed local topological 1-basedness of tp(a/Atb) is not explicitly shown. But it follows: from dim(ab/At)=dim(ab/A), Lemma 4.10(3) (with roles swapped) gives dim(b/Ata)=dim(b/Aa). Also g=germ(a/Ab) satisfies a∈dcl(g) and g∈dcl(Aab), so dim(ab/Atg)=dim(ab/At)=dim(ab/A)=dim(ab/Ag), and since a is definable from g, this gives dim(b/Atg)=dim(b/Ag). Hence dim(b/Atg)=dim(b/Ata). So the hypothesis of Lemma 6.1(3) does hold over At. The proof should say this one sentence; its omission is a real clarity gap, but not a load-bearing flaw.\n\nMy overall read: the central argument is coherent, the reliance on [11, Thm 1.7(3)] is legitimate citation of an established external theorem, and the new notion earns its place. This deserves serious refereeing. I would recommend acceptance only after the corrupted line and the 'reader can check' steps are addressed, but it should not be desk-rejected.","headline":"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.","tokens_in":59161,"tokens_out":6940,"would_cite":true,"duration_ms":70311,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03C45","03C64"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["t-minimality","topological 1-basedness","independent neighborhood property","weakly o-minimal","C-minimal","type-definable groups","group configuration","germs"],"falsifier":"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.","tokens_in":58029,"feed_emoji":"🧩","tokens_out":6342,"duration_ms":59549,"temperature":0.7,"pith_summary":"The paper introduces topological 1-basedness, a linearity dividing line for t-minimal structures with the independent neighborhood property—a class that includes visceral, weakly o-minimal, and C-minimal theories even when exchange fails. It proves that any sufficiently saturated, non-trivial structure in this class that is topologically 1-based contains an infinite type-definable abelian group G that is open in the underlying space, is a topological group in the inherited topology, and is locally linear. This is the first group-existence theorem of its kind for non-o-minimal weakly o-minimal structures and for C-minimal structures without exchange. The proof constructs a regular groupoid spine from infinitesimal neighborhoods and then invokes an abstract type-definable group configuration theorem.","feed_headline":"Topologically 1-based t-minimal structures yield type-definable groups","feed_subtitle":"A new linearity notion proves non-trivial tame structures contain an open, locally linear abelian group.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the t-minimal dimension theory and the theorem that definable sets of full local dimension have nonempty interior, which Lemma 2.8 uses to define germs.","marker":"[11]"},{"why":"Provides the o-minimal group-construction outline that this paper adapts to the t-minimal setting.","marker":"[16]"},{"why":"Gives the weakly normal group classification that the paper's local linearity and few-subgroups theorems are topological analogues of.","marker":"[10]"},{"why":"Background theorem that non-trivial 1-based stable types yield type-definable groups, the stability-theoretic analog being exported here.","marker":"[9]"},{"why":"Defines weak 1-basedness in geometric theories; Corollary 6.5 shows topological 1-basedness coincides with it when exchange holds.","marker":"[1]"},{"why":"Earlier germ formalism for Hausdorff geometric structures that the germ construction in Section 2 adapts.","marker":"[3]"}],"fun_headline_variants":["Topological 1-basedness gives type-definable abelian groups","T-minimal linearity: open abelian groups from topological 1-based","Tame theories: type-definable groups from topological 1-basedness","Hrushovski-Pillay analog in topological 1-based t-minimal"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Topological 1-basedness gives type-definable abelian groups","T-minimal linearity: open abelian groups from topological 1-based","Tame theories: type-definable groups from topological 1-basedness","Hrushovski-Pillay analog in topological 1-based t-minimal"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000611,"raw_usage":{"total_tokens":2822,"prompt_tokens":905,"completion_tokens":1917,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":1834}},"tokens_in":521,"tokens_out":1917,"duration_ms":16774,"temperature":1.0,"reasoning_tokens":1834,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:55:39.401236+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Constructing a group-interval in o-minimal structures","cited_arxiv_id":null,"evidence_quote":"Provides the o-minimal group-construction outline that this paper adapts to the t-minimal setting."},{"cited_title":"Locally modular regular types","cited_arxiv_id":null,"evidence_quote":"Background theorem that non-trivial 1-based stable types yield type-definable groups, the stability-theoretic analog being exported here."},{"cited_title":"Weakly one-based geometric theories","cited_arxiv_id":null,"evidence_quote":"Defines weak 1-basedness in geometric theories; Corollary 6.5 shows topological 1-basedness coincides with it when exchange holds."}],"review_version":2}