English
Related papers

Related papers: On non-compact $p$-adic definable groups

200 papers

Let G be a finite group and let T(G) be the abelian group of equivalence classes of endotrivial kG-modules, where k is an algebraically closed field of characteristic p. We determine, in terms of the structure of G, the kernel of the…

Group Theory · Mathematics 2016-01-20 Jon F. Carlson , Jacques Thévenaz

A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…

Logic · Mathematics 2026-02-11 Pierre Simon , Erik Walsberg

Motivated by the study of the large-scale geometry of topological groups, we investigate particular families of subsets of topological groups named group ideals. We compare different group ideals in the realm of locally compact groups. In…

Metric Geometry · Mathematics 2024-08-16 Dmitri Shakhmatov , Takamitsu Yamauchi , Nicolò Zava

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Logic · Mathematics 2022-10-07 Masato Fujita , Tomohiro Kawakami , Wataru Komine

We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a…

Logic · Mathematics 2019-09-26 Elías Baro , Pantelis E. Eleftheriou , Ya'acov Peterzil

Peterzil and Starchenko have proved the following surprising generalization of Chow's theorem: A closed analytic subset of a complex algebraic variety that is definable in an o-minimal structure, is in fact an algebraic subset. In this…

Algebraic Geometry · Mathematics 2020-09-15 Abhishek Oswal

We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $\mathcal N$ be an expansion of an o-minimal structure $\mathcal M$ that admits a good dimension theory. The setting includes dense…

Logic · Mathematics 2018-07-20 Pantelis E. Eleftheriou

We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…

Logic · Mathematics 2024-07-18 Pablo Andujar Guerrero , Will Johnson

We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$;…

Group Theory · Mathematics 2020-06-09 Colin D. Reid

A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from…

General Topology · Mathematics 2017-09-19 Alejandro Dorantes-Aldama , Dmitri Shakhmatov

Let $G$ be a finite group and $H$ a normal subgroup. Starting from $G$-spin models, in which a non-Abelian field ${\mathcal{F}}_H$ w.r.t. $H$ carries an action of the Hopf $C^*$-algebra $D(H;G)$, a subalgebra of the quantum double $D(G)$,…

Operator Algebras · Mathematics 2015-06-10 Xin Qiaoling , Jiang Lining

The introduction of a non-abelian gauge group embedded into the rigid symmetry group G of a field theory with abelian vector fields and no corresponding charges, requires in general the presence of a hierarchy of p-form gauge fields. The…

High Energy Physics - Theory · Physics 2009-02-02 Bernard de Wit , Henning Samtleben

It is well known that a dense subgroup $G$ of the complex unitary group $U(d)$ cannot be amenable as a discrete group when $d>1$. When $d$ is large enough we give quantitative versions of this phenomenon in connection with certain estimates…

Representation Theory · Mathematics 2017-03-24 Emmanuel Breuillard , Gilles Pisier

We prove structure theorems for o-minimal definable subsets $S\subset G$ of definable groups containing large multiplicative structures, and show definable groups do not have bounded torsion arbitrarily close to the identity. As an…

Logic · Mathematics 2022-06-17 Hunter Spink

The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…

Logic · Mathematics 2020-06-01 Ya'acov Peterzil

A Hausdorff topological group G is minimal if every continuous isomorphism f: G --> H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every…

General Topology · Mathematics 2009-11-21 Dikran Dikranjan , Anna Giordano Bruno , Dmitri Shakhmatov

This is a survey paper about representation theory and noncommutative geometry of reductive p-adic groups G. The main focus points are: 1. The structure of the Hecke algebra H(G), the Harish-Chandra-Schwartz algebra S(G) and the reduced…

Representation Theory · Mathematics 2025-10-21 Maarten Solleveld

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

Logic · Mathematics 2024-11-22 Masato Fujita

Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian p-groups are classified by Ulm's theorem, and Khisamiev…

Logic · Mathematics 2008-05-14 W. Calvert , D. Cenzer , V. S. Harizanov , A. Morozov

In [9] we proved that the space of countable torsion-free abelian groups is Borel complete. In this paper we show that our construction from [9] satisfies several additional properties of interest. We deduce from this that countable…

Logic · Mathematics 2026-01-27 Gianluca Paolini , Saharon Shelah