Related papers: On the o-minimal Hilbert's fifth problem

We consider compact and connected Abelian group $G$ with a linearly ordered dual. Based on the description of the structure of compact Hankel operators over $G$, generalizations of the classical Kronecker, Hartman, Peller and…

We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian…

We obtain minimal dimension matrix representations for each indecomposable five-dimensional Lie algebra over $\R$ and justify in each case that they are minimal. In each case a matrix Lie group is given whose matrix Lie algebra provides the…

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie…

In Remarks on Galois Cohomology and Definability [2], Pillay introduced definable Galois cohomology, a model-theoretic generalization of Galois cohomology. Let $M$ be an atomic and strongly $\omega$-homogeneous structure over a set of…

Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present the…

In this manuscript we consider the extent to which an irreducible representation for a reductive Lie group can be realized as the sheaf cohomolgy of an equivariant holomorphic line bundle defined on an open invariant submanifold of a…

Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to…

We give an affirmative answer to the Grunwald problem for new families of non-solvable finite groups G, away from the set of primes dividing |G|. Furthermore, we show that such G verify the condition (BM), that is, the Brauer-Manin…

We prove a sharp bound for the minimal doubling of a small measurable subset of a compact connected Lie group. Namely, let $G$ be a compact connected Lie group of dimension $d_G$, we show that for for all measurable subsets $A$, we have…

Let G be a linear algebraic group defined over a field k. We prove that, under mild assumptions on k and G, there exists a finite k-subgroup S of G such that the natural map H^1(K, S) -> H^1(K, G) is surjective for every field extension…

We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and Andr\'e-Oort. We verify the so-called Zilber-Pink…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We show that every Grigorchuk group $G_\omega$ embeds in (the commutator subgroup of) the topological full group of a minimal subshift. In particular, the topological full group of a Cantor minimal system can have subgroups of intermediate…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite abelian group of odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ denote its square root of the inverse different, which exists by Hilbert's…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite group. Given a $G$-Galois $K$-algebra $K_h$, let $\mathcal{O}_h$ denote its ring of integers. If $K_h/K$ is tame, then a classical theorem of E. Noether…

We introduce and develop the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary…

We prove that if a connected and simply connected Lie group $G$ admits connected closed normal subgroups $G_1\subseteq G_2\subseteq \cdots \subseteq G_m=G$ with $\dim G_j=j$ for $j=1,\dots,m$, then its group $C^*$-algebra has closed…

Hrushovski proved the Lie model theorem in full generality with model theoretic methods. The theorem states that for every approximate group there exists a generalized definable locally compact model, which, simplifying, is a…

Let $ M_0 $ denote either the field structure $ \mathbb{Q}_p $ of $ p $-adic numbers, or an $o$-minimal expansion of the field structure $ \mathbb{R} $ of real numbers. We investigate the minimal flows and Ellis groups of definable groups…