Correction To 'Automorphism And Outer Automorphism Groups Of Right-Angled Artin Groups Are Not Relatively Hyperbolic'

JUNSEOK KIM,SANGROK OH,PHILIPPE TRANCHIDA

DOI: https://doi.org/10.1017/s0004972724000212

2024-05-01

Bulletin of the Australian Mathematical Society

Abstract://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0004972724000212/resource/name/firstPage-pdf-S0004972724000212a.jpg

mathematics

What problem does this paper attempt to address?

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
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
Exterior Algebras and Two Conjectures on Finite Abelian Groups

Tao Feng,Zhi-Wei Sun,Qing Xiang

DOI: https://doi.org/10.1007/s11856-011-0037-1

2011-01-01

Israel Journal of Mathematics

Abstract:Let G be a finite abelian group with |G| > 1. Let a (1), aEuro broken vertical bar, a (k) be k distinct elements of G and let b (1), aEuro broken vertical bar, b (k) be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation pi on {1, aEuro broken vertical bar,k} such that a (1) b (pi(1)), aEuro broken vertical bar, a (k) b (pi(k)) are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.
Automorphism groups over a hyperimaginary

Byunghan Kim,Hyoyoon Lee

DOI: https://doi.org/10.2969/jmsj/87138713

2024-08-10

Abstract:In this paper we study the Lascar group over a hyperimaginary e. We verify that various results about the group over a real set still hold when the set is replaced by e. First of all, there is no written proof in the available literature that the group over e is a topological group. We present an expository style proof of the fact, which even simplifies existing proofs for the real case. We further extend a result that the orbit equivalence relation under a closed subgroup of the Lascar group is type-definable. On the one hand, we correct errors appeared in the book, "Simplicity Theory" [6, 5.1.14-15] and produce a counterexample. On the other, we extend Newelski's Theorem in "The diameter of a Lascar strong type" [12] that `a G-compact theory over a set has a uniform bound for the Lascar distances' to the hyperimaginary context. Lastly, we supply a partial positive answer to a question raised in "The relativized Lascar groups, type-amalgamations, and algebraicity" [4, 2.11], which is even a new result in the real context.

Logic
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
Quasi-isometry classification of right-angled Artin groups II: several infinite out cases

Jingyin Huang

2024-12-02

Abstract:We are motivated by the question that for which class of right-angled Artin groups (RAAG's), the quasi-isometry classification coincides with commensurability classification. This is previously known for RAAG's with finite outer automorphism groups. In this paper, we identify two classes of RAAG's, where their outer automorphism groups are allowed to contain adjacent transvections and partial conjugations, hence infinite. If $G$ belongs to one of these classes, then any other RAAG $G'$ is quasi-isometric to $G$ if and only if $G'$ is commensurable to $G$. We also show that in this case, there exists an algorithm to determine whether two RAAG's are quasi-isometric by looking at their defining graphs. Compared to the finite out case, as well as the previous quasi-isometry rigidity results for symmetric spaces, thick Euclidean buildings and mapping class groups, the main issue we need to deal with here is the reconstruction map may not have nice properties as before, or may not even exist. We introduce a deformation argument, as well as techniques from cubulation to deal with this issue.

Geometric Topology,Group Theory
Automorphisms of Graph Products of Groups and Acylindrical Hyperbolicity

Anthony Genevois

DOI: https://doi.org/10.1090/memo/1509

2024-09-01

Memoirs of the American Mathematical Society

Abstract:This article is dedicated to the study of the acylindrical hyperbolicity of automorphism groups of graph products of groups. Our main result is that, if Γ \Gamma is a finite graph which contains at least two vertices and is not a join and if G \mathcal {G} is a collection of finitely generated irreducible groups, then either Γ G \Gamma \mathcal {G} is infinite dihedral or A u t ( Γ G ) \mathrm {Aut}(\Gamma \mathcal {G}) is acylindrically hyperbolic. This theorem is new even for right-angled Artin groups and right-angled Coxeter groups. Various consequences are deduced from this statement and from the techniques used to prove it. For instance, we show that the automorphism groups of most graph products verify vastness properties such as being SQ-universal; we show that many automorphism groups of graph products do not satisfy Kazhdan’s property (T); we solve the isomorphism problem between graph products in some cases; and we show that a graph product of coarse median groups, as defined by Bowditch, is coarse median itself.

mathematics
Rigidity and classification results for large-type Artin groups

Jingyin Huang,Damian Osajda,Nicolas Vaskou

2024-07-29

Abstract:We compute the automorphism group of the intersection graph of many large-type Artin groups. This graph is an analogue of the curve graph of mapping class groups but in the context of Artin groups. As an application, we deduce a number of rigidity and classification results for these groups, including computation of outer automorphism groups, commensurability classification, quasi-isometric rigidity, measure equivalence rigidity, orbit equivalence rigidity, rigidity of lattice embedding, and rigidity of cross-product von Neumann algebra.

Group Theory,Geometric Topology,Operator Algebras
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
Measure equivalence classification of right-angled Artin groups: the finite $\mathrm{Out}$ classes

Camille Horbez,Jingyin Huang

2024-12-12

Abstract:Given a right-angled Artin group $G$ with finite outer automorphism group, we determine which right-angled Artin groups are measure equivalent (or orbit equivalent) to $G$.

Group Theory
Automorphisms of large-type free-of-infinity Artin groups

Nicolas Vaskou

2024-10-15

Abstract:We compute explicitly the automorphism and outer automorphism group of all large-type free-of-infinity Artin groups. Our strategy involves reconstructing the associated Deligne complexes in a purely algebraic manner, i.e. in a way that is independent from the choice of standard generators for the groups.

Group Theory
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
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 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
Inner Cohomology of the General Linear Group

Krishna Kishore

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

2018-02-20

Abstract:The main theorem is incorrectly stated.

Number Theory
Finite groups of untwisted outer automorphisms of RAAGs

Corey Bregman,Ruth Charney,Karen Vogtmann

2024-03-16

Abstract:For any right-angled Artin group $A_{\Gamma}$, Charney--Stambaugh--Vogtmann showed that the subgroup $U^0(A_{\Gamma}) \leq\text{Out}(A_{\Gamma})$ generated by Whitehead automorphisms and inversions acts properly and cocompactly on a contractible space $K_{\Gamma}$. In the present paper we show that any finite subgroup of $U^0(A_{\Gamma})$ fixes a point of $K_{\Gamma}$. This generalizes the fact that any finite subgroup of $\text{Out}(F_n)$ fixes a point of Outer Space, and implies that there are only finitely many conjugacy classes of finite subgroups in $U^0(A_{\Gamma})$.

Group Theory,Geometric Topology
Fixed subgroups in Artin groups

Oli Jones,Nicolas Vaskou

2024-07-16

Abstract:We study fixed subgroups of automorphisms of any large-type Artin group $A_{\Gamma}$. We define a natural subgroup $\mathrm{Aut}_\Gamma(A_\Gamma)$ of $\mathrm{Aut}(A_{\Gamma})$, and for every $\gamma \in \mathrm{Aut}_\Gamma(A_\Gamma)$ we find the isomorphism type of $\mathrm{Fix}(\gamma)$ and a generating set for a finite index subgroup. We show that $\mathrm{Fix}(\gamma)$ is a finitely generated Artin group, with a uniform bound on the rank in terms of the number of vertices of $\Gamma$. Finally, we provide a natural geometric characterisation of the subgroup $\mathrm{Aut}_\Gamma(A_\Gamma)$, which informally is the maximal subgroup of $\mathrm{Aut}(A_\Gamma)$ leaving the Deligne complex of $A_{\Gamma}$ invariant.

Group Theory
On the Automorphism Groups of Cayley Graphs of Finite Simple Groups

X. G. Fang,C. E. Praeger,J. Wang

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

2002-01-01

Abstract:Let G be a finite nonabelian simple group and let Gamma be a connected undirected Cayley graph for G. The possible structures for the full automorphism group AutGamma are specified. Then, for certain finite simple groups G, a sufficient condition is given under which G is a normal subgroup of AutGamma. Finally, as an application of these results, several new half-transitive graphs are constructed. Some of these involve the sporadic simple groups G J(1), J(4), Ly and BM, while others fall into two infinite families and involve the Ree simple groups and alternating groups. The two infinite families contain examples of half-transitive graphs of arbitrarily large valency.
An algorithm to decide if an outer automorphism is geometric

Edgar A. Bering IV,Yulan Qing,Derrick R. Wigglesworth

2024-01-25

Abstract:An outer automorphism of a free group is geometric if it can be represented by a homeomorphism of a compact surface. Bestvina and Handel gave an algorithmic characterization of geometric irreducible outer automorphisms using relative train tracks in 1995. The general case of detecting geometric outer automorphisms remained open, with a few partial results appearing subsequently. In this paper we give a complete resolution to the problem: an algorithm that can decide if a general outer automorphism is geometric. The algorithm is constructive and produces a realizing surface homeomorphism if one exists. We make use of advances in train-track theory, in conjunction with the Guirardel core of tree actions and Nielsen-Thurston theory for surfaces.

Group Theory

Correction To 'Automorphism And Outer Automorphism Groups Of Right-Angled Artin Groups Are Not Relatively Hyperbolic'

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

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

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Automorphism groups over a hyperimaginary

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

Liftable automorphisms of right-angled Artin groups

Quasi-isometry classification of right-angled Artin groups II: several infinite out cases

Automorphisms of Graph Products of Groups and Acylindrical Hyperbolicity

Rigidity and classification results for large-type Artin groups

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

Measure equivalence classification of right-angled Artin groups: the finite $\mathrm{Out}$ classes

Automorphisms of large-type free-of-infinity Artin groups

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

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

Right-angled Artin group boundaries

Inner Cohomology of the General Linear Group

Finite groups of untwisted outer automorphisms of RAAGs

Fixed subgroups in Artin groups

On the Automorphism Groups of Cayley Graphs of Finite Simple Groups

An algorithm to decide if an outer automorphism is geometric