We discuss various types of Tits Alternative for subgroups of graph products of groups, and prove that, under some natural conditions, a graph product of groups satisfies a given form of Tits Alternative if and only if each vertex group satisfies this alternative. As a corollary, we show that every finitely generated subgroup of a graph product of virtually solvable groups is either virtually solvable or large. As another corollary, we prove that every non-abelian subgroup of a right angled Artin group has an epimorphism onto the free group of rank 2. In the course of the paper we develop the theory of parabolic subgroups, which allows to describe the structure of subgroups of graph products that contain no non-abelian free subgroups. We also obtain a number of results regarding the stability of some group properties under taking graph products.
Given a group action on a finite-dimensional CAT(0) cube complex, we give a simple criterion phrased purely in terms of cube stabilisers that ensures that the group satisfies the strong Tits alternative, provided that each vertex stabiliser satisfies the strong Tits alternative. We use it to prove that all Artin groups of type FC satisfy the strong Tits alternative.
We present an algorithm that decides whether a finitely generated linear group over an infinite field is solvable-by-finite: a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Our algorithms have been implemented in MAGMA and are publicly available.
We prove a Tits alternative for topological full groups of minimal actions of finitely generated groups. On the one hand, we show that topological full groups of minimal actions of virtually cyclic groups are amenable. By doing so, we generalize the result of Juschenko and Monod for $\mathbf{Z}$-actions. On the other hand, when a finitely generated group $G$ is not virtually cyclic, then we construct a minimal free action of $G$ on a Cantor space such that the topological full group contains a non-abelian free group.
Let $X$ be a surface, possibly with boundary. Suppose it has infinite genus or infinitely many punctures, or a closed subset which is a disk with a Cantor set removed from its interior. For example, $X$ could be any surface of infinite type with only finitely many boundary components. We prove that the mapping class group of $X$ does not satisfy the Tits Alternative. That is, Map$(X)$ contains a finitely generated subgroup that is not virtually solvable and contains no nonabelian free group.
We prove the Tits Alternative for groups acting on $2$-dimensional "recurrent" complexes with uniformly bounded cell stabilisers. This class of complexes includes, among others: $2$-dimensional Euclidean buildings, $2$-dimensional systolic complexes, $B(6)$-small cancellation complexes, and standard Cayley complexes for Artin groups of extra-large type. In the appendix written jointly with Jon McCammond we extend the result to a class of $2$-dimensional Artin groups containing all large-type Artin groups.
In this note we show that many subgroups of mapping class groups of infinite-type surfaces without boundary have trivial centers, including all normal subgroups. Using similar techniques, we show that every nontrivial normal subgroup of a big mapping class group contains a nonabelian free group. In contrast, we show that no big mapping class group satisfies the strong Tits alternative enjoyed by finite-type mapping class groups. We also give examples of big mapping class groups that fail to satisfy even the classical Tits alternative and give a proof that every countable group appears as a sub…
We show that the automorphism group of a one-dimensional full shift (the group of reversible cellular automata) does not satisfy the Tits alternative. That is, we construct a finitely-generated subgroup which is not virtually solvable yet does not contain a free group on two generators. We give constructions both in the two-sided case (spatially acting group $\Z$) and the one-sided case (spatially acting monoid $\N$, alphabet size at least eight). Lack of Tits alternative follows for several groups of symbolic (dynamical) origin: automorphism groups of two-sided one-dimensional uncountable sof…
We prove a version of the Tits alternative for groups acting on complete, finite rank median spaces. This shows that group actions on finite rank median spaces are much more restricted than actions on general median spaces. Along the way, we extend to median spaces the Caprace-Sageev machinery and part of Hagen's theory of unidirectional boundary sets.
We prove an analog of the Tits alternative for rational functions. In particular, we show that if $S$ is a finitely generated semigroup of rational functions over the complex numbers, then either $S$ has polynomially bounded growth or $S$ contains a nonabelian free semigroup. We also show that if f and g are polarizable maps over any field that do not have the same set of preperiodic points, then the semigroup generated by f and g contains a nonabelian free semigroup.
In this article, we study the smooth mapping class group of a surface S relative to a given Cantor set, that is the group of isotopy classes of orientation-preserving smooth diffeomorphisms of S which preserve this Cantor set. When the Cantor set is the standard ternary Cantor set, we prove that the subgroup consisting of diffeomorphisms which are isotopic to the identity on S does not contain any distorted elements. Moreover, we prove a weak Tits alternative for these groups.
Given a toric affine algebraic variety $X$ and a collection of one-parameter unipotent subgroups $U_1,\ldots,U_s$ of $\mathop{\rm Aut}(X)$ which are normalized by the torus acting on $X$, we show that the group $G$ generated by $U_1,\ldots,U_s$ verifies the following alternative of Tits' type: either $G$ is a unipotent algebraic group, or it contains a non-abelian free subgroup. We deduce that if $G$ is $2$-transitive on a $G$-orbit in $X$, then $G$ contains a non-abelian free subgroup, and so, is of exponential growth.
Following previous work of the second author, we establish more properties of groups of circle homeomorphisms which admit invariant laminations. In this paper, we focus on a certain type of such groups-so-called pseudo-fibered groups, and show that many 3-manifold groups are examples of pseudo-fibered groups. We then prove that torsion-free pseudo-fibered groups satisfy a Tits alternative. We conclude by proving that a purely hyperbolic pseudo-fibered group acts on the 2-sphere as a convergence group. This leads to an interesting question if there are examples of pseudo-fibered groups other th…
We prove the Tits-Weiss conjecture for Albert division algebras over fields of arbitrary characteristics in the affirmative. The conjecture predicts that every norm similarity of an Albert division algebra is a product of a scalar homothety and $U$-operators. This conjecture is equivalent to the Kneser-Tits conjecture for simple, simply connected algebraic groups with Tits index $E^{78}_{8,2}$. We prove that a simple, simply connected algebraic group with Tits index $E_{8,2}^{78}$ or $E_{7,1}^{78}$, defined over a field of arbitrary characteristic, is $R$-trivial, in the sense of Manin, thereb…
We prove the following rank rigidity result for proper CAT(0) spaces with one-dimensional Tits boundaries: Let $Γ$ be a group acting properly discontinuously, cocompactly, and by isometries on such a space $X$. If the Tits diameter of $\partial X$ equals $π$ and $Γ$ does not act minimally on $\partial X$, then $\partial X$ is a spherical building or a spherical join. If $X$ is also geodesically complete, then $X$ is a Euclidean building, higher rank symmetric space, or a nontrivial product. Much of the proof, which involves finding a Tits-closed convex building-like subset of $\partial X$, doe…
The goal of this article is two-fold: in a first part, we prove Azuma-Hoeffding type concentration inequalities around the drift for the displacement of non-elementary random walks on hyperbolic spaces. For a proper hyperbolic space $M$, we obtain explicit bounds that depend only on $M$, the size of support of the measure as in the classical case of sums of independent random variables, and on the norm of the driving probability measure in the left regular representation of the group of isometries. We obtain uniform bounds in the case of hyperbolic groups and effective bounds for simple linear…
We prove a strengthened sector lemma for irreducible, finite-dimensional, locally finite, essential, cocompact CAT(0) cube complexes under the additional hypothesis that the complex is \emph{hyperplane-essential}; we prove that every quarterspace contains a halfspace. In aid of this, we present simplified proofs of known results about loxodromic isometries of the contact graph, avoiding the use of disc diagrams. This paper has an expository element; in particular, we collect results about cube complexes proved by combining Ramsey's theorem and Dilworth's theorem. We illustrate the use of these…
Let $K$ be the function field of a curve $C$ over a field $\mathbb{F}$ of either odd or zero characteristic. Following the work by Serre and Mason on $\mathrm{SL}_2$, we study the action of arithmetic subgroups of $\mathrm{SU}(3)$ on its corresponding Bruhat-Tits tree associated to a suitable completion of $K$. More precisely, we prove that the quotient graph "looks like a spider", in the sense that it is the union of a set of cuspidal rays (the "legs"), parametrized by an explicit Picard group, that are attached to a connected graph (the "body"). We use this description in order to describe t…
The study of the existence of free groups in skew linear groups have been begun since the last decades of the 20-th century. The starting point is the theorem of Tits (1972), now often is referred as Tits' Alternative, stating that every finitely generated subgroup of the general linear group $\GL_n(F)$ over a field $F$ either contains a non-cyclic free subgroup or it is solvable-by-finite. In this paper, we study the existence of non-cyclic free subgroups in maximal subgroups of an almost subnormal subgroup of the general skew linear group over a locally finite division ring.
Serre in "Trees" laid down the fundamentals of the theory of groups acting on simplicial trees. In particular, Bass-Serre theory makes it possible to extract information about the structure of a group from its action on a simplicial tree. Serre's original motivation was to understand the structure of certain algebraic groups whose Bruhat--Tits buildings are trees. In this survey we will discuss the following generalizations of ideas from "Trees": the theory of isometric group actions on $Λ$-trees and the theory of lattices in the product of trees where we describe in more detail results on ari…
We show that the outer automorphism groups of graph products of finitely generated abelian groups satisfy the Tits alternative, are residually finite, their so-called Torelli subgroups are finitely generated, and they satisfy a dichotomy between being virtually nilpotent and containing a non-abelian free subgroup that is determined by a graphical condition on the underlying labelled graph. Graph products of finitely generated abelian groups simultaneously generalize right-angled Artin groups (RAAGs) and right-angled Coxter groups (RACGs), providing a common framework for studying these groups.…
