Every infinite interpretable group in these dp-minimal valued fields admits a canonical type-definable infinitesimal subgroup, isomorphic to the direct product of the four commuting infinitesimal pieces.
Strongly Minimal Relics of T-convex Fields
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Generalizing previous work on algebraically closed valued fields (ACVF) and o-minimal fields, we study strongly minimal relics of real closed valued fields (RCVF), and more generally T-convex expansions of o-minimal fields. Our main result (replicating the o-minimal setting) is that non-locally modular strongly minimal definable relics of T-convex fields must be two-dimensional. We also continue our work on reducing the trichotomy for general relics of a structure to just the relics of certain distinguished sorts. To this end, we prove that the trichotomy for definable RCVF-relics implies the trichotomy for interpretable RCVF-relics, and also that the trichotomy for relics of o-minimal fields implies the trichotomy for relics of any dense o-minimal structure. Finally, we introduce the class of differentiable Hausdorff geometric fields (containing o-minimal fields and various valued fields), and give a general treatment of the trichotomy for one-dimensional relics of such fields (namely, reducing the trichotomy for one-dimensional relics to an axiomatic condition on the field itself).
citation-role summary
citation-polarity summary
fields
math.LO 1years
2025 1verdicts
ACCEPT 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields
Every infinite interpretable group in these dp-minimal valued fields admits a canonical type-definable infinitesimal subgroup, isomorphic to the direct product of the four commuting infinitesimal pieces.