The $R_\infty$-property for right-angled Artin groups and their nilpotent quotients

Thomas Witdouck

2024-06-03

Abstract:It is proven that every non-abelian right-angled Artin group has the $R_\infty$-property and bounds are given on the $R_\infty$-nilpotency index. In case the graph is transposition-free, which is true for almost all graphs, it is shown that the $R_\infty$-nilpotency index is equal to 2.

Group Theory

What problem does this paper attempt to address?

Property $R_\infty$ for new classes of Artin groups

Ignat Soroko,Nicolas Vaskou

2024-09-27

Abstract:We establish property $R_\infty$ for Artin groups of spherical type $D_n$, $n\ge6$, their central quotients, and also for large hyperbolic-type free-of-infinity Artin groups and some other classes of large-type Artin groups. The key ingredients are recent descriptions of the automorphism groups for these Artin groups and their action on suitable Gromov-hyperbolic spaces.

Group Theory
$R_{\infty}$-property for groups commensurable to nilpotent quotients of RAAGs

Maarten Lathouwers,Thomas Witdouck

2024-02-23

Abstract:Let $G$ be a group and $\varphi$ an automorphism of $G$. Two elements $x,y \in G$ are said to be $\varphi$-conjugate if there exists a third element $z \in G$ such that $z x \varphi(z)^{-1} = y$. Being $\varphi$-conjugate defines an equivalence relation on $G$. The group $G$ is said to have the $R_{\infty}$-property if all its automorphisms $\varphi$ have infinitely many $\varphi$-conjugacy classes. For finitely generated torsion-free nilpotent groups, the so-called Mal'cev completion of the group is a useful tool in studying this property. Two groups have isomorphic Mal'cev completions if and only if they are abstractly commensurable. This raises the question whether the $R_{\infty}$-property is invariant under abstract commensurability within the class of finitely generated torsion-free nilpotent groups. We show that the answer to this question is negative and provide counterexamples within a class of 2-step nilpotent groups associated to edge-weighted graphs. These groups are commensurable to 2-step nilpotent quotients of right-angled Artin groups.

Group Theory
$R_{\infty}$-property for finitely generated torsion-free 2-step nilpotent groups of small Hirsch length

Karel Dekimpe,Maarten Lathouwers

2024-01-10

Abstract:In this paper we will show that finitely generated torsion-free 2-step nilpotent groups of Hirsch length at most 6 do not have the $R_{\infty}$-property, while there are examples of such groups of Hirsch length 7 that do have the $R_{\infty}$-property.

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 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
On the residual nilpotence of pure Artin groups

Ivan Marin

DOI: https://doi.org/10.1515/jgt.2006.031

2006-01-01

Journal of Group Theory

Abstract:We show that the residual nilpotence of pure Artin groups of spherical type is easily deduced from the faithfulness of the Krammer–Digne representations.

mathematics
The $R_{\infty}$ property for Houghton's groups

Jang Hyun Jo,Jong Bum Lee,Sang Rae Lee

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

2015-03-17

Abstract:We study twisted conjugacy classes of a family of groups which are called Houghton's groups $\mathcal{H}_n$ ($n \in\mathbb{N}$), the group of translations of $n$ rays of discrete points at infinity. We prove that the Houghton's groups $\mathcal{H}_n$ have the $R_{\infty}$ property for all $n\in \mathbb{N}$.

Group Theory
Acylindrical hyperbolicity and the centers of Artin groups that are not free of infinity

Motoko Kato,Shin-ichi Oguni

2024-07-23

Abstract:Charney and Morris-Wright showed acylindrical hyperbolicity of Artin groups of infinite type associated with graphs that are not joins, by studying clique-cube complexes and the actions on them. The authors developed their study and clarified when acylindrical hyperbolicity holds for Artin groups of infinite type associated with graphs that are not cones. In this paper, we introduce reduced clique-cube complexes. By using them, we show acylindrical hyperbolicity of irreducible Artin groups associated with graphs that are not cliques, that is, irreducible Artin groups that are not free of infinity. Such Artin groups contain infinite type Artin groups of type FC. As an application, we see that the centers of such Artin groups are finite, and that actually they are trivial in many cases.

Group Theory,Geometric Topology
Acylindrical hyperbolicity of outer automorphism groups of right-angled Artin groups

Hyungryul Baik,Junseok Kim

2024-05-30

Abstract:We study the acylindrical hyperbolicity of the outer automorphism group of a right-angled Artin group $A_\Gamma$. When the defining graph $\Gamma$ has no SIL-pair (separating intersection of links), we obtain a necessary and sufficient condition for $\mathrm{Out}(A_\Gamma)$ to be acylindrically hyperbolic. As a corollary, if $\Gamma$ is a random connected graph satisfying a certain probabilistic condition, then $\mathrm{Out}(A_\Gamma)$ is not acylindrically hyperbolic with high probability. When $\Gamma$ has a maximal SIL-pair system, we derive a classification theorem for partial conjugations. Such a classification theorem allows us to show that the acylindrical hyperbolicity of $\mathrm{Out}(A_\Gamma)$ is closely related to the existence of a specific type of partial conjugations.

Group Theory
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
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
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 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 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
Short hierarchically hyperbolic groups II: quotients and the Hopf property for Artin groups

Giorgio Mangioni,Alessandro Sisto

2024-12-06

Abstract:We prove that most Artin groups of large and hyperbolic type are Hopfian, meaning that every self-epimorphism is an isomorphism. The class covered by our result is generic, in the sense of Goldsborough-Vaskou. Moreover, assuming the residual finiteness of certain hyperbolic groups with an explicit presentation, we get that all large and hyperbolic type Artin groups are residually finite. We also show that most quotients of the five-holed sphere mapping class group are hierarchically hyperbolic, up to taking powers of the normal generators of the kernels. The main tool we use to prove both results is a Dehn-filling-like procedure for short hierarchically hyperbolic groups (these also include e.g. non-geometric 3-manifolds, and triangle- and square-free RAAGs).

Group Theory
Irreducible representations of certain nilpotent groups of finite rank

Anatolii V. Tushev

2024-11-30

Abstract:In the paper we study irreducible representations of some nilpotent groups of finite abelian total rank. The main result of the paper states that if a torsion-free minimax group $G$ of nilpotency class 2 admits a faithful irreducible representation $\varphi $ over a finitely generated field $k$ such that $chark \notin Sp(G)$ then there exist a subgroup $N$ and an irreducible primitive representation $\psi $ of the subgroup $N$ over $k$ such that the representation $\varphi $ is induced from $\psi $ and the quotient group $N/Ker\psi $ is finitely generated.

Representation Theory,Group Theory
Infinite groups acting faithfully on the outer automorphism group of a right-angled Artin group

Corey Bregman,Neil J. Fullarton

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

2015-07-16

Abstract:We construct the first known examples of infinite subgroups of the outer automorphism group of Out(A_Gamma), for certain right-angled Artin groups A_Gamma. This is achieved by introducing a new class of graphs, called focused graphs, whose properties allow us to exhibit (infinite) projective linear groups as subgroups of Out(Out(A_Gamma)). This demonstrates a marked departure from the known behavior of Out(Out(A_Gamma)) when A_Gamma is free or free abelian, as in these cases Out(Out(A_Gamma)) has order at most 4. We also disprove a previous conjecture of the second author, producing new examples of finite order members of certain Out(Aut(A_Gamma)).

Group Theory
Liftable automorphisms of right-angled Artin groups

Sangrok Oh,Donggyun Seo,Philippe Tranchida

2023-12-02

Abstract:Given a regular covering map $\varphi:\Lambda \to \Gamma$ of graphs, we investigate the subgroup $\operatorname{LAut}(\varphi)$ of the automorphism group $\operatorname{Aut}(A_\Gamma)$ of the right-angled Artin group $A_\Gamma$. This subgroup comprises all automorphisms that can be lifted to automorphisms of $A_\Lambda$. We first show that $\operatorname{LAut}(\varphi)$ is generated by a finite subset of Laurence's elementary automorphisms. For the subgroup $\operatorname{FAut}(\varphi)$ of $\operatorname{Aut}(A_\Lambda)$, which consists of lifts of automorphisms in $\operatorname{LAut}(\varphi)$, there exists a natural homomorphism $\operatorname{FAut}(\varphi)\to\operatorname{LAut}(\varphi)$ induced by $\varphi$. We then show that the kernel of this homomorphism is virtually a subgroup of the Torelli subgroup $\operatorname{IA}(A_\Lambda)$ and deduce a short exact sequence reminiscent of results from the Birman--Hilden theory for surfaces.

Group Theory,Combinatorics
Strongly convergent unitary representations of right-angled Artin groups

Michael Magee,Joe Thomas

2023-09-23

Abstract:We prove using a novel random matrix model that all right-angled Artin groups have a sequence of finite dimensional unitary representations that strongly converge to the regular representation. We deduce that this result applies also to: the fundamental group of a closed hyperbolic manifold that is either three dimensional or standard arithmetic type, any Coxeter group, and any word-hyperbolic cubulated group. One strong consequence of these results is that any closed hyperbolic three-manifold has a sequence of finite dimensional flat Hermitian vector bundles with bottom of the spectrum of the Laplacian asymptotically at least 1.

Group Theory,Operator Algebras,Probability,Representation Theory,Spectral 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

The $R_\infty$-property for right-angled Artin groups and their nilpotent quotients

Property $R_\infty$ for new classes of Artin groups

$R_{\infty}$-property for groups commensurable to nilpotent quotients of RAAGs

$R_{\infty}$-property for finitely generated torsion-free 2-step nilpotent groups of small Hirsch length

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

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

On the residual nilpotence of pure Artin groups

The $R_{\infty}$ property for Houghton's groups

Acylindrical hyperbolicity and the centers of Artin groups that are not free of infinity

Acylindrical hyperbolicity of outer automorphism groups of right-angled Artin groups

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

The Artin monoid Cayley graph

Right-angled Artin groups and the cohomology basis graph

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

Right-angled Artin groups and full subgraphs of graphs

Short hierarchically hyperbolic groups II: quotients and the Hopf property for Artin groups

Irreducible representations of certain nilpotent groups of finite rank

Infinite groups acting faithfully on the outer automorphism group of a right-angled Artin group

Liftable automorphisms of right-angled Artin groups

Strongly convergent unitary representations of right-angled Artin groups

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