English
Related papers

Related papers: G-linear sets and torsion points in definably comp…

200 papers

This paper is about the $dfg$/$fsg$ decomposition for groups $G$ definable in $p$-adically closed fields. It is proved that for $G$ definably amenable, $G$ has a definable normal $dfg$ subgroup $H$ such that the quotient $G/H$ is a…

Logic · Mathematics 2026-01-29 Anand Pillay , Ningyuan Yao , Zhentao Zhang

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

Logic · Mathematics 2010-09-28 Alessandro Berarducci , Antongiulio Fornasiero

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

We discuss definable compactifications and topological dynamics. For G a group definable in some structure M, we define notions of "definable" compactification of G and "definable" action of G on a compact space X (definable G-flow), where…

Logic · Mathematics 2012-12-14 Jakub Gismatullin , Davide Penazzi , Anand Pillay

Given a definably compact group G in a saturated o-minimal structure, there is a canonical homomorphism from G to a compact real Lie group F(G). We establish a similar result for the (o-mininimal) universal cover of a definably compact…

Logic · Mathematics 2009-11-30 A. Berarducci , M. Mamino

We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definably compact group definable in an o-minimal expansion of a…

Logic · Mathematics 2021-07-14 Martin Bays , Ya'acov Peterzil

We work in the category of locally definable groups in an o-minimal expansion of a field. Eleftheriou and Peterzil conjectured that every definably generated abelian connected group G in this category is a cover of a definable group. We…

Logic · Mathematics 2014-04-29 Alessandro Berarducci , Mário Edmundo , Marcello Mamino

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Logic · Mathematics 2025-04-29 Pablo Andújar Guerrero

Consider the following property of a topological group G: every continuous affine G-action on a Hilbert space with a bounded orbit has a fixed point. We prove that this property characterizes amenability for locally compact sigma-compact…

Group Theory · Mathematics 2015-08-12 Maxime Gheysens , Nicolas Monod

A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite…

Algebraic Geometry · Mathematics 2010-05-27 David Harari , Jakob Stix

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

Logic · Mathematics 2017-05-23 Eliana Barriga

Distributive subsets of the group of all invertible continuous binary operations on a topological space are considered, and it is proved that the subgroups generated by them are also distributive. A criterion for the distributivity of a…

General Topology · Mathematics 2026-05-07 Pavel S. Gevorgyan

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…

Logic · Mathematics 2023-06-09 Masato Fujita

We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type…

Logic · Mathematics 2020-07-24 Francoise Point

Let G be a Lie group over a local field of positive characteristic which admits a contractive automorphism f (i.e., the forward iterates f^n(x) of each group element x converge to the neutral element 1). We show that then G is a torsion…

Group Theory · Mathematics 2007-05-23 Helge Glockner

In a previous paper we outlined how discrete torsion can be understood geometrically as an analogue of orbifold U(1) Wilson lines. In this paper we shall prove the remaining details. More precisely, in this paper we describe gerbes in terms…

High Energy Physics - Theory · Physics 2007-05-23 Eric R. Sharpe

Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…

Logic · Mathematics 2025-05-13 Françoise Point

Let $G$ be a reductive algebraic group over an algebraically closed field and let $V$ be a quasi-projective $G$-variety. We prove that the set of points $v\in V$ such that ${\rm dim}(G_v)$ is minimal and $G_v$ is reductive is open. We also…

Group Theory · Mathematics 2015-10-12 Benjamin Martin

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

Logic · Mathematics 2021-04-13 Pantelis Eleftheriou , Assaf Hasson , Ya'acov Peterzil

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

Logic · Mathematics 2024-08-28 Masato Fujita , Tomohiro Kawakami