November 2023 Topologizing Interpretable Groups in p-Adically Closed Fields
Will Johnson
Author Affiliations +
Notre Dame J. Formal Logic 64(4): 571-609 (November 2023). DOI: 10.1215/00294527-2023-0015

Abstract

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an interpretable group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group.

Citation

Download Citation

Will Johnson. "Topologizing Interpretable Groups in p-Adically Closed Fields." Notre Dame J. Formal Logic 64 (4) 571 - 609, November 2023. https://doi.org/10.1215/00294527-2023-0015

Information

Received: 21 August 2022; Accepted: 24 October 2023; Published: November 2023
First available in Project Euclid: 26 March 2024

Digital Object Identifier: 10.1215/00294527-2023-0015

Subjects:
Primary: 03C60
Secondary: 12L12

Keywords: Definable groups , definable topological spaces , p-adically closed fields

Rights: Copyright © 2023 University of Notre Dame

JOURNAL ARTICLE
39 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.64 • No. 4 • November 2023
Back to Top