Related papers: On groups and fields definable in 1-h-minimal fiel…
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy…
We show that the derived subgroup of a linear definable group in an o-minimal structure is also definable, extending the semialgebraic case proved by A. Pillay. We also show the definability of the derived subgroup in case that the group is…
We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…
We show that every finite group occurs as the automorphism group of infinitely many finite (field) extensions of any given Hilbertian field. This extends and unifies previous results of M. Fried and Takahashi on the global field case.
In this paper, we obtain several results on the commensurability of two Kleinian groups and their limit sets. We prove that two finitely generated subgroups $G_1$ and $G_2$ of an infinite co-volume Kleinian group $G \subset…
A unitary representation of a, possibly infinite dimensional, Lie group $G$ is called semibounded if the corresponding operators $i\dd\pi(x)$ from the derived representation are uniformly bounded from above on some non-empty open subset of…
In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…
Let $G$ denote a linear algebraic group over $\mathbf{Q}$ and $K$ and $L$ two number fields. Assume that there is a group isomorphism of points on $G$ over the finite adeles of $K$ and $L$, respectively. We establish conditions on the group…
Let $K$ be a spherically complete field with a non-Archimedean valuation. We define a new version of $K-$amenability for discrete groups and show that the Banach $K-$algebra $l^1(G)$ is amenable iff $G$ is $K-$amenable in our sense.
Let $K$ be a normal subgroup of the finite group $H$. To a block of a $K$-interior $H$-algebra we associate a group extension, and we prove that this extension is isomorphic to an extension associated to a block given by the Brauer…
A subgroup $H$ of a group $G$ is said to be an $IC\Phi$-subgroup of $G$ if $H \cap [H,G] \le \Phi(H)$. We analyze the structure of a finite group $G$ under the assumption that some given subgroups of $G$ are $IC\Phi$-subgroups of $G$. A new…
Let G be a connected and reductive group over the algebraically closed field K. J-P. Serre has introduced the notion of a G-completely reducible subgroup H of G. In this note, we give a notion of G-complete reducibility -- G-cr for short --…
Let G be a noncocompact irreducible arithmetic group over a global function field K of characteristic p, and let H be a finite-index, residually p-finite subgroup of G. We show that the cohomology of H in the dimension of its associated…
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…
Let $K/\mathbb{Q}$ be a finitely generated field of characteristic zero and $X/K$ a smooth projective variety. Fix $q\in\mathbb{N}$. For every prime number $\ell$ let $\rho_\ell$ be the representation of $\mathrm{Gal}(K)$ on the \'etale…
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…
For an isotropic reductive group G satisfying a suitable rank condition over an infinite field k, we show that the sections of the $\mathbb{A}^1$-fundamental group sheaf of G over an extension field L/k can be identified with the second…
Let $k$ be a field, $G$ be an abelian group and $r\in \mathbb N$. Let $L$ be an infinite dimensional $k$-vector space. For any $m\in End_k(L)$ we denote by $r(m)\in [0,\infty ]$ the rank of $m$. We define by $R(G,r,k)\in [0,\infty]$ the…
For any number field K, it is unknown which finite groups appear as Galois groups of extensions L/K such that L is a maximal subfield of a division algebra with center K (a K-division algebra). For K=Q, the answer is described by the long…
We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…