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

We study a characteristic subgroup of finitely generated groups, consisting of elements with uniform upper bound for word-lengths. For a group $G$, we denote this subgroup by $G_{bound}$. We give sufficient criteria for triviality and…

Let $H$ be a closed normal subgroup of a compact Lie group $G$ such that $G/H$ is connected. This paper provides a necessary and sufficient condition for every complex representation of $H$ to be extendible to $G$, and also for every…

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the…

For every topological group G one can define the universal minimal compact G-space X=M_G characterized by the following properties: (1) X has no proper closed G-invariant subsets; (2) for every compact G-space Y there exists a G-map X-->Y.…

Consider a simple algebraic group G of adjoint type, and its wonderful compactification X. We show that X admits a unique family of minimal rational curves, and we explicitly describe the subfamily consisting of curves through a general…

A group element is called a generalized torsion if a finite product of its conjugates is equal to the identity. We prove that in a nilpotent or FC-group, the generalized torsion elements are all torsion elements. Moreover, we compute the…

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…

A $G$-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group $G$ acts definably and continuously on the definable set.

Let $G$ be a (non compact) connected simply connected locally compact second countable Lie group, either abelian or unimodular of type I, and $\rho$ an irreducible unitary representation of $G$. Then, we define the analytic torsion of $G$…

A discrete subset $S$ of a topologically gyrogroup $G$ is called a {\it suitable set} for $G$ if $S\cup \{1\}$ is closed and the subgyrogroup generated by $S$ is dense in $G$, where $1$ is the identity element of $G$. In this paper, we…

Let $k$ be a field of characteristic 0 and $G$ a linear algebraic $k$-group. When $G$ is abelian, it is well known that torsors under $G_{X}$ over a $k$-scheme $\pi:X\to \textup{Spec} k$ provide an obstruction to the existence of…

Let G be a compact Lie group and let X be an oriented Witt G-pseudomanifold. Using intersection cohomology it is possible to define Sign(G,X) in R(G), the G-signature of X. Let g be an element in G. Assuming that the inclusion of the fixed…

We give examples of groups G such that G^00 is different from G^000. We also prove that for groups G definable in an o-minimal structure, G has a "bounded orbit" iff G is definably amenable. These results answer questions of Gismatullin,…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

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…

Gauged linear sigma models with (0,2) supersymmetry allow a larger choice of couplings than models with (2,2) supersymmetry. We use this freedom to find a fully linear construction of torsional heterotic compactifications, including models…

Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the…

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

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…