When does a right-angled Artin group split over $\mathbb{Z}$?

Matt Clay

DOI: https://doi.org/10.48550/arXiv.1403.1842

2014-08-02

Abstract:We show that a right-angled Artin group, defined by a graph $\Gamma$ that has at least three vertices, does not split over an infinite cyclic subgroup if and only if $\Gamma$ is biconnected. Further, we compute JSJ--decompositions of 1--ended right-angled Artin groups over infinite cyclic subgroups.

Group Theory

What problem does this paper attempt to address?

Right-angled Artin groups with non-path-connected boundary

Wes Camp

DOI: https://doi.org/10.48550/arXiv.1210.7246

2012-10-27

Abstract: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.

Group Theory
Right-angled Artin groups as finite-index subgroups of their outer automorphism groups

Manuel Wiedmer

DOI: https://doi.org/10.1112/blms.12975

2023-11-11

Abstract:We prove that every right-angled Artin group occurs as a finite-index subgroup of the outer automorphism group of another right-angled Artin group. We furthermore show that the latter group can be chosen in such a way that the quotient is isomorphic to $(\mathbb{Z}/2\mathbb{Z})^N$ for some $N$. For these, we give explicit constructions using the group of pure symmetric outer automorphisms. Moreover, we need two conditions by Day-Wade and Wade-Brück about when this group is a right-angled Artin group and when it has finite index.

Group Theory
Right-angled Artin groups as normal subgroups of mapping class groups

Matt Clay,Johanna Mangahas,Dan Margalit

DOI: https://doi.org/10.1112/S0010437X21007417

2021-02-16

Abstract:We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani-Guirardel-Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup, and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani-Guirardel-Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina-Bromberg-Fujiwara.

Geometric Topology,Group Theory
Visual right-angled Artin subgroups of two-dimensional right-angled Coxeter groups

Christopher H. Cashen,Alexandra Edletzberger

2024-05-08

Abstract:There is a procedure, due to Dani and Levcovitz, for taking a finite simplicial graph (\Gamma) and a subgraph (\Lambda) of its complement, checking some conditions, and, if satisfied, producing a graph (\Delta) such that the right-angled Artin group with presentation graph (\Delta) is a finite index subgroup of the right-angled Coxeter group with presentation graph (\Gamma). They do not tell us how to find (\Lambda), given (\Gamma).

Group Theory
Right-angled Artin groups and full subgraphs of graphs

Takuya Katayama

DOI: https://doi.org/10.1142/s0218216517500596

2017-09-01

Journal of Knot Theory and Its Ramifications

Abstract:For a finite graph [Formula: see text], let [Formula: see text] be the right-angled Artin group defined by the complement graph of [Formula: see text]. We show that, for any linear forest [Formula: see text] and any finite graph [Formula: see text], [Formula: see text] can be embedded into [Formula: see text] if and only if [Formula: see text] can be realized as a full subgraph of [Formula: see text]. We also prove that if we drop the assumption that [Formula: see text] is a linear forest, then the above assertion does not hold, namely, for any finite graph [Formula: see text], which is not a linear forest, there exists a finite graph [Formula: see text] such that [Formula: see text] can be embedded into [Formula: see text], though [Formula: see text] cannot be embedded into [Formula: see text] as a full subgraph.

mathematics
Right-angled Artin group boundaries

Michael Ben-Zvi,Robert Kropholler

DOI: https://doi.org/10.1090/proc/15261

IF: 0.9709

2020-12-09

Proceedings of the American Mathematical Society

Abstract:In all known examples of a CAT(0) group acting on CAT(0) spaces with non-homeomorphic CAT(0) visual boundaries, the visual boundaries are each not path-connected. In this paper, we show this does not have to be the case. In particular, for each n>0n>0 we provide examples of right-angled Artin groups which exhibit non-unique CAT(0) visual boundaries where all of the visual boundaries are nn-connected. We also prove a combination theorem for certain amalgams of CAT(0) groups to act on spaces whose visual boundaries are not path-connected. We apply this theorem to some right-angled Artin groups.

mathematics, applied
Lattice envelopes of right-angled Artin groups

Pierre-Emmanuel Caprace,Tom De Medts

2024-01-29

Abstract:Let $\Gamma$ be a finite simplicial graph with at least two vertices, and let $G(\Gamma)$ be the associated right-angled Artin group. We describe a locally compact group $\mathcal U$ containing $G(\Gamma)$ as a cocompact lattice. If $\Gamma$ is not a join (i.e. the complement graph is connected), the group $\mathcal U$ is non-discrete, almost simple, but not virtually simple: it has a smallest normal subgroup $\mathcal U^+$ which is an open simple subgroup, and the quotient $\mathcal U/\mathcal U^+$ is isomorphic to the right-angled Coxeter group $W(\Gamma)$. Under suitable assumptions on $\Gamma$, we rely on work by Bader-Furman-Sauer and Huang-Kleiner to show that $\mathcal U \rtimes \mathrm{Aut}(\Gamma)$ is the universal lattice envelope of $G(\Gamma)$: for every lattice envelope $H$ of $G(\Gamma)$, there is a continuous proper homomorphism $H \to \mathcal U \rtimes \mathrm{Aut}(\Gamma)$. In particular, no lattice envelope of $G(\Gamma)$ is virtually simple. We also show that no locally compact group quasi-isometric to $G(\Gamma)$ is virtually simple. This contrasts with the case of free groups. The group $\mathcal U$ is a universal automorphism group of the Davis building of $G(\Gamma)$, with prescribed local actions. As an application, we describe the algebraic structure of the full automorphism group of the Cayley graph of $G(\Gamma)$ with respect to its standard generating set.

Group Theory
Right-angled Artin groups and the cohomology basis graph

Ramón Flores,Delaram Kahrobaei,Thomas Koberda,Corentin Le Coz

2024-07-01

Abstract:Let $\Gamma$ be a finite graph and let $A(\Gamma)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(\Gamma),\mathbb F)$ over an arbitrary field, we construct a natural graph $\Gamma_{\mathcal B}$ from the cup product, called the \emph{cohomology basis graph}. We show that $\Gamma_{\mathcal B}$ always contains $\Gamma$ as a subgraph. This provides an effective way to reconstruct the defining graph $\Gamma$ from the cohomology of $A(\Gamma)$, to characterize the planarity of the defining graph from the algebra of $A(\Gamma)$, and to recover many other natural graph-theoretic invariants. We also investigate the behavior of the cohomology basis graph under passage to elementary subminors, and show that it is not well-behaved under edge contraction.

Group Theory,Combinatorics,Geometric Topology
Right-angled Artin subgroups and free products in one-relator groups

Ashot Minasyan,Motiejus Valiunas

2024-04-24

Abstract:We investigate criteria ensuring that a one-relator group $G$ contains a right-angled Artin subgroup $A(\Gamma)$, corresponding to a finite graph $\Gamma$. In particular, we prove that if the positive submonoid $T(\Gamma)$, of $A(\Gamma)$, embeds into $G$ then so does all of $A(\Gamma)$, unless $\Gamma$ is totally disconnected. As by-products of our methods we obtain characterisations of one-relator groups that have property $P_{nai}$ and that are $C^*$-simple.

Group Theory
The Artin monoid Cayley graph

Rachael Boyd,Ruth Charney,Rose Morris-Wright,Sarah Rees

2023-10-03

Abstract:In this paper we investigate properties of the Artin monoid Cayley graph. This is the Cayley graph of an Artin group $A_\Gamma$ with respect to the (infinite) generating set given by the associated Artin monoid $A^+_\Gamma$. In a previous paper, the first three authors introduced a monoid Deligne complex and showed that this complex is contractible for all Artin groups. In this paper, we show that the Artin monoid Cayley graph is quasi-isometric to a modification of the Deligne complex for $A_\Gamma$ obtained by coning off translates of the monoid Deligne complex. We then address the question of when the monoid Cayley graph has infinite diameter. We conjecture that this holds for all Artin groups of infinite type. We give a set of criteria that imply infinite diameter, and using existing solutions to the word problem for large-type Artin groups and 3-free Artin groups, we prove that the conjecture holds for any Artin group containing a 3-generator subgroup of one of these two types.

Group Theory,Geometric Topology
Subgroup separability of twisted right-angled Artin groups

Islam Foniqi

2024-10-09

Abstract:We characterise twisted right-angled Artin groups that are subgroup separable using only their defining mixed graphs; we deduce that the group is subgroup separable if and only if the underlying simplicial graph of the mixed graph does not contain paths or squares in 4 vertices. Our work generalises the results of Metaftsis - Raptis on classical right-angled Artin groups.

Group Theory,Combinatorics
Genus bounds in right-angled Artin groups

Max Forester,Ignat Soroko,Jing Tao

DOI: https://doi.org/10.5565/PUBLMAT6412010

2018-03-08

Abstract:We show that in any right-angled Artin group whose defining graph has chromatic number $k$, every non-trivial element has stable commutator length at least $1/(6k)$. Secondly, if the defining graph does not contain triangles, then every non-trivial element has stable commutator length at least $1/20$. These results are obtained via an elementary geometric argument based on earlier work of Culler.

Group Theory,Geometric Topology
Splittings and poly-freeness of triangle Artin groups

Xiaolei Wu,Shengkui Ye

2023-12-14

Abstract:We prove that the triangle Artin group $\mathrm{Art}_{23M}$ splits as a graph of free groups if and only if $M$ is greater than $5$ and even. This answers two questions of Jankiewicz \cite[Question 2.2, Question 2.3]{Jan21} in the negative. Combined with the results of Squier and Jankiewicz, this completely determines when a triangle Artin group splits as a graph of free groups. Furthermore, we prove that the triangle Artin groups are virtually poly-free when the labels are not of the form $(2,3, 2k+1)$ with $k\geq 3$. This partially answers a question of Bestvina \cite{Be99}.

Group Theory,Geometric Topology
Zassenhaus filtrations and right-angled Artin groups

Nguyên Thị Trà

DOI: https://doi.org/10.1142/s0219498825501877

2024-02-02

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. We determine the restricted Lie algebra associated with the Zassenhauss filtration of a right-angled Artin group. We also provide another proof for a result of Koberda saying that the graph is uniquely determined by the first and second cohomology groups, together with the cup product, of the associated right-angled Artin group.

mathematics, applied
Embedability between right-angled Artin groups

Sang-hyun Kim,Thomas Koberda

DOI: https://doi.org/10.2140/gt.2013.17.493

2011-11-21

Abstract:In this article we study the right-angled Artin subgroups of a given right-angled Artin group. Starting with a graph $\gam$, we produce a new graph through a purely combinatorial procedure, and call it the extension graph $\gam^e$ of $\gam$. We produce a second graph $\gam^e_k$, the clique graph of $\gam^e$, by adding extra vertices for each complete subgraph of $\gam^e$. We prove that each finite induced subgraph $\Lambda$ of $\gam^e$ gives rise to an inclusion $A(\Lambda)\to A(\gam)$. Conversely, we show that if there is an inclusion $A(\Lambda)\to A(\gam)$ then $\Lambda$ is an induced subgraph of $\gam^e_k$. These results have a number of corollaries. Let $P_4$ denote the path on four vertices and let $C_n$ denote the cycle of length $n$. We prove that $A(P_4)$ embeds in $A(\gam)$ if and only if $P_4$ is an induced subgraph of $\gam$. We prove that if $F$ is any finite forest then $A(F)$ embeds in $A(P_4)$. We recover the first author's result on co--contraction of graphs and prove that if $\gam$ has no triangles and $A(\gam)$ contains a copy of $A(C_n)$ for some $n\geq 5$, then $\gam$ contains a copy of $C_m$ for some $5\le m\le n$. We also recover Kambites' Theorem, which asserts that if $A(C_4)$ embeds in $A(\gam)$ then $\gam$ contains an induced square. Finally, we determine precisely when there is an inclusion $A(C_m)\to A(C_n)$ and show that there is no "universal" two--dimensional right-angled Artin group.

Group Theory,Geometric Topology
Acylindrical hyperbolicity for Artin groups with a visual splitting

Ruth Charney,Alexandre Martin,Rose Morris-Wright

2024-04-17

Abstract:We establish a criterion that implies the acylindrical hyperbolicity of many Artin groups admitting a visual splitting. This gives a variety of new examples of acylindrically hyperbolic Artin groups, including many Artin groups of FC-type. Our approach relies on understanding when parabolic subgroups are weakly malnormal in a given Artin group. We formulate a conjecture for when this happens, and prove it for several classes of Artin groups, including all spherical-type, all two-dimensional, and all even FC-type Artin groups. In addition, we establish some connections between several conjectures about Artin groups, related to questions of acylindrical hyperbolicity, weak malnormality of parabolic subgroups, and intersections of parabolic subgroups.

Group Theory
Embedding problem between right-angled Artin groups

Anthony Genevois

2023-04-11

Abstract:Given a graph $\Gamma$, the right-angled Artin group $A(\Gamma)$ is given by the presentation $\langle u \in V(\Gamma) \mid [u,v]=1, \ \{u,v\} \in E(\Gamma) \rangle$. The Embedding Problem in right-angled Artin groups asks, given two finite graphs $\Phi,\Psi$, how to determine whether or not $A(\Phi)$ is isomorphic to a subgroup of $A(\Psi)$. These are the notes of a mini-course given at the CIRM in April 2022, dedicated to a geometric point of view on this embedding problem, based on quasi-median graphs.

Group Theory,Combinatorics,Metric Geometry
The minimum $b_2$ problem for right-angled Artin groups

Alyson Hildum

DOI: https://doi.org/10.2140/agt.2015.15.1599

2014-01-11

Abstract:This paper focuses on tools for constructing 4-manifolds that have fundamental group $G$ isomorphic to a right-angled Artin group and that are also minimal, in the sense that they minimize $b_2(M)$, the dimension of $H_2(M;\mathbb{Q})$. For a finitely presented group $G$, define $h(G) = \min\{ b_2(M) | M \in \mathcal M(G) \}$. In this paper, we explore the ways in which we can bound $h(G)$ from below using group cohomology and the tools necessary to build 4-manifolds that realize these lower bounds. We give solutions for right-angled Artin groups, or RAAGs, when the graph associated to $G$ has no 4-cliques, and further we reduce this problem to the case when the graph is connected and contains only 4-cliques. We then give solutions for many infinite families of RAAGs and provide a conjecture to the solution for all RAAGs.

Geometric Topology
Thurston norm for coherent right-angled Artin groups via $L^2$-invariants

Monika Kudlinska

2024-11-05

Abstract:We define a new notion of splitting complexity for a group $G$ along a non-trivial integral character $\phi \in H^1(G; \mathbb{Z})$. If $G$ is a one-ended coherent right-angled Artin group, we show that the splitting complexity along an epimorphism $\phi \colon G \to \mathbb{Z}$ equals the $L^2$-Euler characteristic of the kernel of $\phi$. This allows us to define a Thurston-type semi-norm $\| \cdot \|_T \colon H^1(G ; \mathbb{R}) \to \mathbb{R}$ that measures the splitting complexity of integral characters. Our main tool is Friedl--Lück's $L^2$-polytope which we compute for all groups in this class.

Group Theory,Geometric Topology
Right-angled Artin groups and Out(F_n) I: quasi-isometric embeddings

Samuel J. Taylor

DOI: https://doi.org/10.48550/arXiv.1303.6889

2013-03-28

Abstract:We construct quasi-isometric embeddings from right-angled Artin groups into the outer automorphism group of a free group. These homomorphisms are in analogy with those constructed in \cite{CLM}, where the target group is the mapping class group of a surface. Toward this goal, we develop tools in the free group setting that mirror those for surface groups as well as discuss various analogs of subsurface projection; these may be of independent interest.

Geometric Topology,Group Theory

When does a right-angled Artin group split over $\mathbb{Z}$?

Right-angled Artin groups with non-path-connected boundary

Right-angled Artin groups as finite-index subgroups of their outer automorphism groups

Right-angled Artin groups as normal subgroups of mapping class groups

Visual right-angled Artin subgroups of two-dimensional right-angled Coxeter groups

Right-angled Artin groups and full subgraphs of graphs

Right-angled Artin group boundaries

Lattice envelopes of right-angled Artin groups

Right-angled Artin groups and the cohomology basis graph

Right-angled Artin subgroups and free products in one-relator groups

The Artin monoid Cayley graph

Subgroup separability of twisted right-angled Artin groups

Genus bounds in right-angled Artin groups

Splittings and poly-freeness of triangle Artin groups

Zassenhaus filtrations and right-angled Artin groups

Embedability between right-angled Artin groups

Acylindrical hyperbolicity for Artin groups with a visual splitting

Embedding problem between right-angled Artin groups

The minimum $b_2$ problem for right-angled Artin groups

Thurston norm for coherent right-angled Artin groups via $L^2$-invariants

Right-angled Artin groups and Out(F_n) I: quasi-isometric embeddings