Showing papers in "arXiv: Group Theory in 2014"

Unsolved problems in group theory. The Kourovka notebook. No. 18

Abstract: This is a collection of open problems in Group Theory proposed by more than 300 mathematicians from all over the world. It has been published every 2-4 years in Novosibirsk since 1965, now also in English. This is the 18th edition, which contains 120 new problems and a number of comments on about 1000 problems from the previous editions.

Small cancellation labellings of some infinite graphs and applications

Abstract: We construct small cancellation labellings for some infinite sequences of finite graphs of bounded degree. We use them to define infinite graphical small cancellation presentations of groups. This technique allows us to provide examples of groups with exotic properties: - We construct the first examples of finitely generated coarsely non-amenable groups (that is, groups without Guoliang Yu's Property A) that are coarsely embeddable into a Hilbert space. Moreover, our groups act properly on CAT(0) cubical complexes. - We construct the first examples of finitely generated groups, with expanders embedded isometrically into their Cayley graphs - in contrast,in the case of the Gromov monster expanders are not even coarsely embedded. We present further applications.

Morse actions of discrete groups on symmetric space

Abstract: We study the geometry and dynamics of discrete infinite covolume subgroups of higher rank semisimple Lie groups. We introduce and prove the equivalence of several conditions, capturing "rank one behavior'' of discrete subgroups of higher rank Lie groups. They are direct generalizations of rank one equivalents to convex cocompactness. We also prove that our notions are equivalent to the notion of Anosov subgroup, for which we provide a closely related, but simplified and more accessible reformulation, avoiding the geodesic flow of the group. We show moreover that the Anosov condition can be relaxed further by requiring only non-uniform unbounded expansion along the (quasi)geodesics in the group. A substantial part of the paper is devoted to the coarse geometry of these discrete subgroups. A key concept which emerges from our analysis is that of Morse quasigeodesics in higher rank symmetric spaces, generalizing the Morse property for quasigeodesics in Gromov hyperbolic spaces. It leads to the notion of Morse actions of word hyperbolic groups on symmetric spaces,i.e. actions for which the orbit maps are Morse quasiisometric embeddings, and thus provides a coarse geometric characterization for the class of subgroups considered in this paper. A basic result is a local-to-global principle for Morse quasigeodesics and actions. As an application of our techniques we show algorithmic recognizability of Morse actions and construct Morse "Schottky subgroups'' of higher rank semisimple Lie groups via arguments not based on Tits' ping-pong. Our argument is purely geometric and proceeds by constructing equivariant Morse quasiisometric embeddings of trees into higher rank symmetric spaces.

Groups, Orders, and Dynamics

Abstract: This is an almost self-contained monograph (containing some new results) on left-orderable groups which mostly rely on dynamical and probabilistic aspects, but also on geometric, combinatorial, analytic, and topological ones.

A Morse Lemma for quasigeodesics in symmetric spaces and euclidean buildings

Abstract: We prove a Morse Lemma for coarsely regular quasigeodesics in nonpositively curved symmetric spaces and euclidean buildings X. The main application is a simpler coarse geometric characterization of Morse subgroups of the isometry groups Isom(X) as undistorted subgroups which are coarsely uniformly regular. We show furthermore that they must be word hyperbolic. We introduced this class of discrete subgroups in our earlier paper, in the context of symmetric spaces, where various equivalent geometric and dynamical characterizations of word hyperbolic Morse subgroups were established, including the Anosov subgroup property.

Infinitely presented graphical small cancellation groups are acylindrically hyperbolic

Abstract: We prove that infinitely presented graphical $Gr(7)$ small cancellation groups are acylindrically hyperbolic. In particular, infinitely presented classical $C(7)$-groups and, hence, classical $C'(\frac{1}{6})$-groups are acylindrically hyperbolic. We also prove the analogous statements for the larger class of graphical small cancellation presentations over free products. We construct infinitely presented classical $C'(\frac{1}{6})$-groups that provide new examples of divergence functions of groups.

Isomorphism Theorems for Gyrogroups and L-Subgyrogroups

Abstract: We extend well-known results in group theory to gyrogroups, especially the isomorphism theorems. We prove that an arbitrary gyrogroup $G$ induces the gyrogroup structure on the symmetric group of $G$ so that Cayley's Theorem is obtained. Introducing the notion of L-subgyrogroups, we show that an L-subgyrogroup partitions $G$ into left cosets. Consequently, if $H$ is an L-subgyrogroup of a finite gyrogroup $G$, then the order of $H$ divides the order of $G$.

Locally normal subgroups of totally disconnected groups. Part II: Compactly generated simple groups

Abstract: We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given $G \in \mathscr S$, we show that compact open subgroups of $G$ involve finitely many isomorphism types of composition factors, and do not have any soluble normal subgroup other than the trivial one. By results of Part I, this implies that the centraliser lattice and local decomposition lattice of $G$ are Boolean algebras. We show that the $G$-action on the Stone space of those Boolean algebras is minimal, strongly proximal, and micro-supported. Building upon those results, we obtain partial answers to the following key problems: Are all groups in $\mathscr S$ abstractly simple? Can a group in $\mathscr S$ be amenable? Can a group in $\mathscr S$ be such that the contraction groups of all of its elements are trivial?

A direct algorithm of one-dimensional optimal system for the group invariant solutions

Abstract: A direct and systematic algorithm is proposed to find one-dimensional optimal system for the group invariant solutions, which is attributed to the classification of its corresponding one-dimensional Lie algebra. Since the method is based on different values of all the invariants, the process itself can both guarantee the comprehensiveness and demonstrate the inequivalence of the optimal system, with no further proof. To illustrate our method more clearly , we give a couple of well-known examples: the Korteweg-de Vries (KdV) equation and the heat equation.

Connected quandles and transitive groups

Abstract: We establish a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes. This correspondence allows us to efficiently enumerate connected quandles of small orders, and present new proofs concerning connected quandles of order p and 2p. We also present a new characterization of connected quandles that are affine.

Set-theoretic solutions of the Yang-Baxter equation, RC-calculus, and Garside germs

Abstract: Building on a result by W. Rump, we show how to exploit the right-cyclic law (x.y).(x.z) = (y.x).(y.z) in order to investigate the structure groups and monoids attached with (involutive nondegenerate) set-theoretic solutions of the Yang-Baxter equation. We develop a sort of right-cyclic calculus, and use it to obtain short proofs for the existence both of the Garside structure and of the I-structure of such groups. We describe finite quotients that exactly play for the considered groups the role that Coxeter groups play for Artin-Tits groups.

The Tits alternative for the automorphism group of a free product

Abstract: Let $G=G_1\ast\dots\ast G_k\ast F$ be a countable group which splits as a free product, where all groups $G_i$ are freely indecomposable and not isomorphic to $\mathbb{Z}$, and $F$ is a finitely generated free group. If for all $i\in\{1,\dots,k\}$, both $G_i$ and its automorphism group $\text{Out}(G_i)$ satisfy the Tits alternative, then $\text{Out}(G)$ satisfies the Tits alternative. As an application, we prove that the Tits alternative holds for outer automorphism groups of right-angled Artin groups, and of torsion-free groups that are hyperbolic relative to a finite family of virtually polycyclic groups.

The full automorphism group of the power (di)graph of a finite group

Abstract: We describe the full automorphism group of the power (di)graph of a finite group. As an application, we solve a conjecture proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.

Classification of braces of order $p^3$

Abstract: A classification up to isomorphism of all left braces of order $p^3$, where $p$ is any prime number, is given. To this end, we first classify all the left braces of order $p$ and $p^2$, and then we construct explicitly the hypothesis required in Corollary D of N. Ben David's Ph.D. thesis to build multiplications of left braces.

Unsolved Problems in Group Theory. The Kourovka Notebook. No. 18 (English version)

Abstract: This is a collection of open problems in Group Theory proposed by more than 300 mathematicians from all over the world. It has been published every 2-4 years in Novosibirsk since 1965, now also in English. This is the 18th edition, which contains 120 new problems and a number of comments on about 1000 problems from the previous editions.

Top dimensional quasiflats in $CAT(0)$ cube complexes

Abstract: We show that every $n$-quasiflat in a $n$-dimensional $CAT(0)$ cube complex is at finite Hausdorff distance from a finite union of $n$-dimensional orthants. Then we introduce a class of cube complexes, called {\em weakly special} cube complexes and show that quasi-isometries between their universal coverings preserve top dimensional flats. We use this to establish several quasi-isometry invariants for right-angled Artin groups. Some of our arguments also extend to $CAT(0)$ spaces of finite geometric dimension. In particular, we give a short proof of the fact that a top dimensional quasiflat in a Euclidean buildings is Hausdorff close to finite union of Weyl cones, which was previously established in several other authors by different methods.

Relative free splitting and free factor complexes I: Hyperbolicity

Abstract: We study the large scale geometry of the relative free splitting complex and the relative complex of free factor systems of the rank $n$ free group $F_n$, relative to the choice of a free factor system of $F_n$, proving that these complexes are hyperbolic. Furthermore we present the proof in a general context, obtaining hyperbolicity of the relative free splitting complex and of the relative complex of free factor systems of a general group $\Gamma$, relative to the choice of a free factor system of $\Gamma$. The proof yields information about coarsely transitive families of quasigeodesics in each of these complexes, expressed in terms of fold paths of free splittings.

Thompson groups for systems of groups, and their finiteness properties

Abstract: We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using, respectively, the systems of trivial groups, symmetric groups, braid groups and pure braid groups. We give new examples of families of groups that admit a cloning system and study how the finiteness properties of the resulting generalized Thompson group depend on those of the original groups. The main new examples here include upper triangular matrix groups, mock reflection groups, and loop braid groups. For generalized Thompson groups of upper triangular matrix groups over rings of S-integers of global function fields, we develop new methods for (dis-)proving finiteness properties, and show that the finiteness length of the generalized Thompson group is exactly the limit inferior of the finiteness lengths of the groups in the family.

Invariant means and the structure of inner amenable groups

Abstract: We study actions of countable discrete groups which are amenable in the sense that there exists a mean on X which is invariant under the action of G. Assuming that G is nonamenable, we obtain structural results for the stabilizer subgroups of amenable actions which allow us to relate the first l2-Betti number of G with that of the stabilizer subgroups. An analogous relationship is also shown to hold for cost. This relationship becomes even more pronounced for transitive amenable actions, leading to a simple criterion for vanishing of the first l2-Betti number and triviality of cost. Moreover, for any marked finitely generated nonamenable group G we establish a uniform isoperimetric threshold for Schreier graphs G/H of G, beyond which the group H is necessarily weakly normal in G. Even more can be said in the particular case of an atomless mean for the conjugation action -- that is, when G is inner amenable. We show that inner amenable groups have cost 1 and moreover they have fixed price. We establish U_{fin}-cocycle superrigidity for the Bernoulli shift of any nonamenable inner amenable group. In addition, we provide a concrete structure theorem for inner amenable linear groups over an arbitrary field. We also completely characterize linear groups which are stable in the sense of Jones and Schmidt. Our analysis of stability leads to many new examples of stable groups; notably, all nontrivial countable subgroups of the group H(R), recently studied by Monod, are stable. This includes nonamenable groups constructed by Monod and by Lodha and Moore, as well as Thompson's group F.

Graphical small cancellation groups with the Haagerup property

Abstract: We prove the Haagerup property (= Gromov's a-T-menability) for finitely generated groups defined by infinite presentations satisfying the graphical C'(lambda)-small cancellation condition with respect to graphs endowed with a compatible wall structure. We deduce that these groups are coarsely embeddable into a Hilbert space and that the strong Baum-Connes conjecture and, hence, the Baum-Connes conjecture with arbitrary coefficients hold for them. As the main step we show that C'(lambda)-complexes satisfy the linear separation property. Our result provides many new examples and a general technique to show the Haagerup property for graphical small cancellation groups.

Growth in solvable subgroups of GL r (Z/ p Z)

Abstract: Let K = Z/pZ and let $A$ be a subset of GLr(K) such that ‹A› is solvable We reduce the study of the growth of A under the group operation to the nilpotent setting Fix a positive number C ≥ 1; we prove that either A grows (meaning|A3|≥ C|A|), or else there are groups UR and S, with UR\ ⊴ S ⊴ ‹A›, such that S/UR is nilpotent, Ak ∩S is large and U R ⊆ Ak, where k depends only on the rank r of GLr(K) Here Ak = {x1 x2 xk : xɩ ∈ A ∪A-1 ∪{1}\}, and the implied constants depend only on the rank r of GLr(K) When combined with recent work by Pyber and Szabo, the main result of this paper implies that it is possible to draw the same conclusions without supposing ‹A› is solvable

A continuum of expanders

Abstract: A regular equivalence between two graphs $\Gamma,\Gamma'$ is a pair of uniformly proper Lipschitz maps $V\Gamma\to V\Gamma'$ and $V\Gamma'\to V\Gamma$. Using separation profiles we prove that there are $2^{\aleph_0}$ regular equivalence classes of expander graphs, and of finitely generated groups with a representative which isometrically contains expanders.

Bowditch's JSJ tree and the quasi-isometry classification of certain Coxeter groups, with an appendix written jointly with Christopher Cashen

Abstract: Bowditch's JSJ tree for splittings over 2-ended subgroups is a quasi-isometry invariant for 1-ended hyperbolic groups which are not cocompact Fuchsian. Our main result gives an explicit, computable "visual" construction of this tree for certain hyperbolic right-angled Coxeter groups. As an application of our construction we identify a large class of such groups for which the JSJ tree, and hence the visual boundary, is a complete quasi-isometry invariant, and thus the quasi-isometry problem is decidable. We also give a direct proof of the fact that among the Coxeter groups we consider, the cocompact Fuchsian groups form a rigid quasi-isometry class. In an appendix, written jointly with Christopher Cashen, we show that the JSJ tree is not a complete quasi-isometry invariant for the entire class of Coxeter groups we consider.

Lagrange's theorem for gyrogroup and the cauchy property

Abstract: In this paper, we prove a version of Lagrange's theorem for gyro- groups and use this result to prove that gyrogroups of particular orders have the strong Cauchy property.

On the connectivity of proper power graphs of finite groups

Abstract: We study the connectivity of proper power graphs of some family of finite groups including nilpotent groups, groups with a non-trivial partition, and symmetric and alternating groups.

The rank of the semigroup of transformations stabilising a partition of a finite set

Abstract: Let $\mathcal{P}$ be a partition of a finite set $X$. We say that a full transformation $f:X\to X$ preserves (or stabilizes) the partition $\mathcal{P}$ if for all $P\in \mathcal{P}$ there exists $Q\in \mathcal{P}$ such that $Pf\subseteq Q$. Let $T(X,\mathcal{P})$ denote the semigroup of all full transformations of $X$ that preserve the partition $\mathcal{P}$. In 2005 Huisheng found an upper bound for the minimum size of the generating sets of $T(X,\mathcal{P})$, when $\mathcal{P}$ is a partition in which all of its parts have the same size. In addition, Huisheng conjectured that his bound was exact. In 2009 the first and last authors used representation theory to completely solve Hisheng's conjecture. The goal of this paper is to solve the much more complex problem of finding the minimum size of the generating sets of $T(X,\mathcal{P})$, when $\mathcal{P}$ is an arbitrary partition. Again we use representation theory to find the minimum number of elements needed to generate the wreath product of finitely many symmetric groups, and then use this result to solve the problem. The paper ends with a number of problems for experts in group and semigroup theories.

The structure of medial quandles

Abstract: Medial quandles are represented using a heterogeneous affine structure. As a consequence, we obtain numerous structural properties, including enumeration of isomorphism classes of medial quandles up to 13 elements.

Hyperbolic graphs for free products, and the Gromov boundary of the graph of cyclic splittings

Abstract: We define analogues of the graphs of free splittings, of cyclic splittings, and of maximally-cyclic splittings of $F_N$ for free products of groups, and show their hyperbolicity. Given a countable group $G$ which splits as $G=G_1\ast\dots\ast G_k\ast F$, where $F$ denotes a finitely generated free group, we identify the Gromov boundary of the graph of relative cyclic splittings with the space of equivalence classes of $\mathcal{Z}$-averse trees in the boundary of the corresponding outer space. A tree is \emph{$\mathcal{Z}$-averse} if it is not compatible with any tree $T'$, that is itself compatible with a relative cyclic splitting. Two $\mathcal{Z}$-averse trees are \emph{equivalent} if they are both compatible with a common tree in the boundary of the corresponding outer space. We give a similar description of the Gromov boundary of the graph of maximally-cyclic splittings.

Eigenvalues and Entropy of a Hitchin representation

Abstract: We show that the critical exponent of a representation in the Hitchin component of $PSL(d,\mathbb{R})$ is bounded above, the least upper bound being attained only in the Fuchsian locus. This provides a rigid inequality for the area of a minimal surface on $\rho\backslash X,$ where $X$ is the symmetric space of $PSL(d,\mathbb{R}).$ The proof relies in a construction useful to prove a regularity statement: if the Frenet equivariant curve of $\rho$ is smooth, then $\rho$ is Fuchsian.

The large scale geometry of strongly aperiodic subshifts of finite type

Abstract: A subshift on a group G is a closed, G-invariant subset of A^G, for some finite set A. It is said to be a subshift of finite type (SFT) if it is defined by a finite collection of 'forbidden patterns', to be strongly aperiodic if all point stabilizers are trivial, and weakly aperiodic if all point stabilizers are infinite index in G. We show that groups with at least 2 ends have a strongly aperiodic SFT, and that having such an SFT is a QI invariant for finitely presented torsion free groups. We show that a finitely presented torsion free group with no weakly aperiodic SFT must be QI-rigid. The domino problem on G asks whether the SFT specified by a given set of forbidden patterns is empty. We show that decidability of the domino problem is a QI invariant.