The purpose of this article is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs $\{Γ_i\}_{i\in\mathbb{N}}$ forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups $\{A(Γ_i)\}_{i\in\mathbb{N}}$ agrees with the Cheeger constant of the sequence of graphs, thus allowing us to characterize expander graphs via cohomology. This result is proved in the more general framework of \emph{vector space expanders}, a novel structure consisting of sequences of vector spaces equipped with vector-space-valued bilinear pairings which satisfy a certain mini-max condition. These objects can be considered to be analogues of expander graphs in the realm of linear algebra, with a dictionary being given by the cup product in cohomology, and in this context represent a different approach to expanders that those developed by Lubotzky-Zelmanov and Bourgain-Yehudayoff.
We explicitly construct an embedding of a right-angled Artin group into a classical pure braid group. Using this we obtain a number of corollaries describing embeddings of arbitrary Artin groups into right-angled Artin groups and linearly independent subgroups of a right-angled Artin group.
Let $A_L$ be the right-angled Artin group associated to a finite flag complex $L$. We show that the amenable category of $A_L$ equals the virtual cohomological dimension of the right-angled Coxeter group $W_L$. In particular, right-angled Artin groups satisfy a question of Capovilla--Löh--Moraschini proposing an inequality between the amenable category and Farber's topological complexity.
In this paper we study topological invariants of a class of random groups. Namely, we study right angled Artin groups associated to random graphs and investigate their Betti numbers, cohomological dimension and topological complexity. The latter is a numerical homotopy invariant reflecting complexity of motion planning algorithms in robotics. We show that the topological complexity of a random right angled Artin group assumes, with probability tending to one, at most three values. We use a result of Cohen and Pruidze which expresses the topological complexity of right angled Artin groups in co…
We use polyhedral product models to analyse the structure of the commutator subgroup of a right-angled Artin group. In particular, we provide a minimal set of generators for the commutator subgroup, consisting of special iterated commutators of canonical generators.
We survey the relationship between the combinatorics and geometry of graphs and the algebraic structure of right-angled Artin groups. We concentrate on the defining graph of the right-angled Artin group and on the extension graph associated to the right-angled Artin group. Additionally, we discuss connections to geometric group theory and complexity theory. The final version of this survey will appear in "In the tradition of Thurston, vol.~II", ed.~K.~Ohshika and A.~Papadopoulos.
We construct and study polyhedral product models for classifying spaces of right-angled Artin and Coxeter groups, general graph product groups and their commutator subgroups. By way of application, we give a criterion of freeness for the commutator subgroup of a graph product group, and provide an explicit minimal set of generators for the commutator subgroup of a right-angled Coxeter group.
In this paper we consider several classical and novel algorithmic problems for right-angled Artin groups, some of which are closely related to graph theoretic problems, and study their computational complexity. We study these problems with a view towards applications to cryptography.
We compute the BNS-invariant for the pure symmetric automorphism groups of right-angled Artin groups. We use this calculation to show that the pure symmetric automorphism group of a right-angled Artin group is itself not a right-angled Artin group provided that its defining graph contains a separating intersection of links.
We show that the Aut-invariant word norm on right angled Artin and right angled Coxeter groups is unbounded (except in few special cases). To prove unboundedness we exhibit certain characteristic subgroups. This allows us to find unbounded quasimorphisms which are Lipschitz with respect to the Aut-invariant word norm.
We study the algebraic structure of the automorphism group of a general right-angled Artin group. We show that this group is virtually torsion-free and has finite virtual cohomological dimension. This generalizes results proved by the authors and John Crisp (arXiv:math/0610980) for two-dimensional right-angled Artin groups.
We show that for each positive integer $k$ there exist right-angled Artin groups containing free-by-cyclic subgroups whose monodromy automorphisms grow as $n^k$. As a consequence we produce examples of right-angled Artin groups containing finitely presented subgroups whose Dehn functions grow as $n^{k+2}$.
We place conditions on the presentation graph of a right-angled Artin group that guarantee the standard CAT(0) cube complex on which the group acts geometrically has non-path-connected boundary.
We show that a right-angled Artin group, defined by a graph $Γ$ that has at least three vertices, does not split over an infinite cyclic subgroup if and only if $Γ$ is biconnected. Further, we compute JSJ--decompositions of 1--ended right-angled Artin groups over infinite cyclic subgroups.
We prove that every subnormal subgroup of p-power index in a right-angled Artin group is conjugacy p-separable. As an application, we prove that every right-angled Artin group is conjugacy separable in the class of torsion-free nilpotent groups. As another application, we prove that the outer automorphism group of a right-angled Artin group is virtually residually p-finite. We also prove that the Torelli group of a right-angled group is residually torsion-free nilpotent, hence residually p-finite and bi-orderable.
In this article, we prove that embeddings of right-angled Artin group $A_1$ on the complement of a linear forest into another right-angled Artin group $A_2$ can be reduced to full embeddings of the defining graph of $A_1$ into the extension graph of the defining graph of $A_2$.
We show that if a right-angled Artin group $A(Γ)$ has a non-trivial, minimal action on a tree $T$ which is not a line, then $Γ$ contains a separating subgraph $Λ$ such that $A(Λ)$ stabilizes an edge in $T$.
We prove that for any infinite right-angled Coxeter or Artin group, its spherical and geodesic growth rates (with respect to the standard generating set) either take values in the set of Perron numbers, or equal $1$. Also, we compute the average number of geodesics representing an element of given word length in such groups.
We construct an embedding of any right-angled Artin group $G(Δ)$ defined by a graph $Δ$ into a graph braid group. The number of strands required for the braid group is equal to the chromatic number of $Δ$. This construction yields an example of a hyperbolic surface subgroup embedded in a two strand planar graph braid group.
Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. We characterize the Hamiltonicity of $Γ$ via the structure of the cohomology algebra of $A(Γ)$. In doing so, we define and develop a new canonical graph associated to a matrix, which as a consequence provides a novel perspective on the matrix determinant.
In this paper, we construct embeddings of right-angled Artin groups into higher dimensional Thompson groups. In particular, we embed every right-angled Artin groups into n-dimensional Thompson group, where n is the number of complementary edges in the defining graph.
Morgan and Culler proved that a minimal action of a free group on a tree is determined by its translation length function. We prove an analogue of this theorem for 2-dimensional right-angled Artin groups acting on CAT(0) rectangle complexes.
We give an explicit formula for the cohomology of a right angled Artin group with group ring coefficients in terms of the cohomology of its defining flag complex.
We prove by explicit construction that graph braid groups and most surface groups can be embedded in a natural way in right-angled Artin groups, and we point out some consequences of these embedding results. We also show that every right-angled Artin group can be embedded in a pure surface braid group. On the other hand, by generalising to right-angled Artin groups a result of Lyndon for free groups, we show that the Euler characteristic -1 surface group (given by the relation x^2y^2=z^2) never embeds in a right-angled Artin group.
We introduce a homology theory for subspace arrangements, and use it to extract a new system of numerical invariants from the Bieri-Neumann-Strebel invariant of a group. We use these to characterize when the set of basis conjugating outer automorphisms (a.k.a. the pure symmetric outer automorphism group) of a right-angled Artin group is itself a right-angled Artin group.
Let G be a right-angled Artin group. We use geometric methods to compute a presentation of the subgroup H of Aut(G) consisting of the automorphisms that send each generator to a conjugate of itself. This generalizes a result of McCool on basis-conjugating automorphisms of free groups.
The aim of this thesis is to present the notion of spaces whose curvature is bounded above, and to give some of its application in the context of Combinatorial Algebra. The thesis is made of two parts, one of theoretic purpose, and the other applicative. In particular, we present an application to the notion of $CAT(0)$-space and one to the Gromov Theorem for cubical complexes. In the final part we present a new class of discrete groups generalizing the well-known right-angled Artin groups. We concoct a cubical CAT(0)-complex on which the group acts, from whom we extract some algebraic propert…
We define an operation on finite graphs, called co-contraction. By showing that co-contraction of a graph induces an injective map between right-angled Artin groups, we exhibit a family of graphs, without any induced cycle of length at least 5, such that the right-angled Artin groups on those graphs contain hyperbolic surface groups. This gives the negative answer to a question raised by Gordon, Long and Reid.
We describe the (co)homology of a certain family of normal subgroups of right-angled Artin groups that contain the commutator subgroup, as modules over the quotient group. We do so in terms of (skew) commutative algebra of squarefree monomial ideals.
The Tits Conjecture, proved by Crisp and Paris, states that squares of the standard generators of any Artin group generate an obvious right-angled Artin subgroup. We consider a larger set of elements consisting of all the centers of the irreducible spherical special subgroups of the Artin group, and conjecture that sufficiently large powers of those elements generate an obvious right-angled Artin subgroup. This alleged right-angled Artin subgroup is in some sense as large as possible; its nerve is homeomorphic to the nerve of the ambient Artin group. We verify this conjecture for the class of …
We derive functional relationships between spherical generating functions of graph monoids, right-angled Artin groups and right-angled Coxeter groups. We use these relationships to express the spherical generating function of a right-angled Artin group in terms of the clique polynomial of its defining graph. We also describe algorithms for computing the geodesic generating functions of these structures.
We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.
We introduce the class of perturbed right-angled Artin groups. These are constructed by gluing Bieri double groups into standard right-angled Artin groups. As a first application of this construction we obtain families of CAT(0) groups containing finitely presented subgroups which are not of type $\mathrm{FP}_3$, and have exponential, or polynomial Dehn functions of prescribed degree.
The present article continues the study of median groups initiated in [6, 9, 10]. Some classes of median groups are introduced and investigated with a stress upon the class of the so called A-groups which contains as remarkable subclasses the lattice ordered groups and the right-angled Artin groups. Some general results concerning A-groups are applied to a systematic study of the arboreal structure of right-angled Artin groups. Structure theorems for foldings, directions, quasidirections and centralizers are proved.
We prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group $nV$. It follows that many other groups can be embedded into some $nV$ (e.g., any finite extension of any of Haglund and Wise's special groups), and that various decision problems involving subgroups of $nV$ are unsolvable.
We survey the role of right-angled Artin groups in the theory of diffeomorphism groups of low dimensional manifolds. We first describe some of the subgroup structure of right-angled Artin groups. We then discuss the interplay between algebraic structure, compactness, and regularity for group actions on one--dimensional manifolds. For compact one--manifolds, every right-angled Artin group acts faithfully by $C^1$ diffeomorphisms, but the right-angled Artin groups which act faithfully by $C^2$ diffeomorphisms are very restricted. For the real line, every right-angled Artin group acts faithfully …
We determine the factorial growth rate of the number of finite index subgroups of right-angled Artin groups as a function of the index. This turns out to depend solely on the independence number of the defining graph. We also make a conjecture for right-angled Coxeter groups and prove that it holds in a limited setting.
Recently, right-angled Artin groups have attracted much attention in geometric group theory. They have a rich structure of subgroups and nice algorithmic properties, and they give rise to cubical complexes with a variety of applications. This survey article is meant to introduce readers to these groups and to give an overview of the relevant literature.
In this paper we propose right-angled Artin groups as a platform for secret sharing schemes based on the efficiency (linear time) of the word problem. Inspired by previous work of Grigoriev-Shpilrain in the context of graphs, we define two new problems: Subgroup Isomorphism Problem and Group Homomorphism Problem. Based on them, we also propose two new authentication schemes. For right-angled Artin groups, the Group Homomorphism and Graph Homomorphism problems are equivalent, and the later is known to be NP-complete. In the case of the Subgroup Isomorphism problem, we bring some results due to …
For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non-obvious way.
We develop an analogy between right-angled Artin groups and mapping class groups through the geometry of their actions on the extension graph and the curve graph respectively. The central result in this paper is the fact that each right-angled Artin group acts acylindrically on its extension graph. From this result we are able to develop a Nielsen--Thurston classification for elements in the right-angled Artin group. Our analogy spans both the algebra regarding subgroups of right-angled Artin groups and mapping class groups, as well as the geometry of the extension graph and the curve graph. O…
Let $Γ$ be a simplicial, finite, connected graph such that $Γ$ does not decompose as a nontrivial join. We prove that two notions of strong quasiconvexity and stability are equivalent in the right-angled Artin group $A_Γ$ (except for the case of finite index subgroups). We also characterize non-trivial strongly quasiconvex subgroups of infinite index in $A_Γ$ (i.e. non-trivial stable subgroups in $A_Γ$) by quadratic lower relative divergence. These results strengthen the work of Koberda-Mangahas-Taylor on characterizing purely loxodromic subgroups of right-angled Artin groups.
Cactus groups Jn are currently attracting considerable interest from diverse mathematical communities. This work explores their relations to right-angled Coxeter groups, and in particular twin groups Twn and Mostovoy's Gauss diagram groups Dn, which are better understood. Concretely, we construct an injective group 1-cocycle from Jn to Dn, and show that Twn (and its k-leaf generalisations) inject into Jn. As a corollary, we solve the word problem for cactus groups, determine their torsion (which is only even) and center (which is trivial), and answer the same questions for pure cactus groups, …
In this note we give the quasi-isometry classification for a class of right angled Artin groups. In particular, we obtain the first such classification for a class of Artin groups with dimension larger than 2; our families exist in every dimension.
We give a necessary and sufficient condition for a graph to have a right-angled Artin group as its braid group for braid index $\ge 5$. In order to have the necessity part, graphs are organized into small classes so that one of homological or cohomological characteristics of right-angled Artin groups can be applied. Finally we show that a given graph is planar iff the first homology of its 2-braid group is torsion-free and leave the corresponding statement for $n$-braid groups as a conjecture along with few other conjectures about graphs whose braid groups of index $\le 4$ are right-angled Art…
Given a group $G$ and an automorphism $φ$ of $G$, two elements $x, y \in G$ are said to be $φ$-conjugate if $x = g y φ(g)^{-1}$ for some $g \in G$. The number of equivalence classes is the Reidemeister number $R(φ)$ of $φ$, and if $R(φ) = \infty$ for all automorphisms of $G$, then $G$ is said to have the $R_\infty$-property. A finite simple graph $Γ$ gives rise to the right-angled Artin group $A_Γ$, which has as generators the vertices of $Γ$ and as relations $vw = wv$ if and only if $v$ and $w$ are joined by an edge in $Γ$. We conjecture that all non-abelian right-angled Artin groups have the…
We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.
