English
Related papers

Related papers: Finite central extensions of o-minimal groups

200 papers

The role of finite centralizers of involutions in pseudo-finite groups is analyzed. It is shown that a pseudo-finite group admitting a definable involutory automorphism fixing only finitely many elements is finite-by-abelian-by-finite. As a…

Group Theory · Mathematics 2020-11-05 Nadja Hempel , Daniel Palacin

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

Logic · Mathematics 2020-09-08 Artur Piȩkosz

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Logic · Mathematics 2025-06-18 Gabriel Conant , Ehud Hrushovski , Anand Pillay

We introduce the notions of definable amenability and extreme definable amenability for groups in continuous structures and conduct an extensive analysis of them, drawing parallels with the classical first-order case. We characterize both…

Logic · Mathematics 2025-04-03 Juan Felipe Carmona , Alf Onshuus

We show that the canonical contact structure on the link of a normal complex singularity is universally tight. As a corollary we show the existence of closed, oriented, atoroidal 3-manifolds with infinite fundamental groups which carry…

Geometric Topology · Mathematics 2012-06-13 Yanki Lekili , Burak Ozbagci

Consider an expansion $\mathcal R=(R,<,+,\ldots)$ of an ordered divisible Abelian group of finite burden defining no nonempty subset $X$ of $R$ which is dense and codense in a definable open subset $U$ of $R$ with $X \subseteq U$. We…

Logic · Mathematics 2025-02-27 Masato Fujita

We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G^{00}, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M^{ext}, of a…

Logic · Mathematics 2017-05-17 Artem Chernikov , Anand Pillay , Pierre Simon

We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of…

Logic · Mathematics 2024-12-24 Elliot Kaplan , Christoph Kesting

We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…

Logic · Mathematics 2023-11-16 Masato Fujita

Suppose that $\widetilde{\mathbb R}$ is an o-minimal expansion of the real field in which restricted power functions are definable. We show that if $\widehat{\mathbb R}$ is both a reduct (in the sense of definability) of the expansion…

Logic · Mathematics 2020-11-23 Gareth Jones , Olivier Le Gal

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

Logic · Mathematics 2019-09-18 Pierre Simon , Erik Walsberg

It is shown that FC-central extensions retain sub-exponential volume growth. A large collection of FC-central extensions of the first Grigorchuk group is provided by the constructions in the works of Erschler and Kassabov-Pak. We show that…

Group Theory · Mathematics 2020-01-23 Tianyi Zheng

We associate with every locally expanding self-covering $f:M\to M$ of a compact path connected metric space a finitely presented group $V_f$. We prove that this group is a complete invariant of the dynamical system: two groups $V_{f_1}$ and…

Group Theory · Mathematics 2013-12-20 Volodymyr Nekrashevych

Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology,…

K-Theory and Homology · Mathematics 2012-02-29 Paul Balmer , Goncalo Tabuada

We prove that if the group of fixed points of a generic automorphism of a simple group of finite Morley rank is pseudofinite, then this group is an extension of a (twisted) Chevalley group over a pseudofinite field. On the way to obtain…

Group Theory · Mathematics 2012-01-31 Pınar Uğurlu

We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick…

Representation Theory · Mathematics 2015-08-05 Kevin Coulembier , Volodymyr Mazorchuk

We prove a decomposition of definable groups in o-minimal structures generalizing the Jordan-Chevalley decomposition of linear algebraic groups. It follows that any definable linear group G is a semidirect product of its maximal normal…

Logic · Mathematics 2025-05-07 Annalisa Conversano

We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil…

Logic · Mathematics 2024-03-15 Elías Baro , José F. Fernando , Daniel Palacín

We prove that an algebraic flat connection has definable flat sections in the analytic exponential structure if and only if it is regular singular with unitary monodromy eigenvalues at infinity, refining previous work of Bakker and Mullane.…

Algebraic Geometry · Mathematics 2025-07-22 Hélène Esnault , Moritz Kerz

H\"ormann (2006) gave an extension of almost sure central limit theorem for bounded Lipschitz 1 function. In this paper, we show that his result of almost sure central limit theorem is also hold for any Lipschitz function under stronger…

Probability · Mathematics 2007-05-23 Yu Miao , Guangyu Yang