Skip to content
Publicly Available Published by De Gruyter March 19, 2020

Tits alternative for Artin groups of type FC

  • Alexandre Martin and Piotr Przytycki
From the journal Journal of Group Theory

Abstract

Given a group action on a finite-dimensional CAT ( 0 ) cube complex, we give a simple criterion phrased purely in terms of cube stabilisers that ensures that the group satisfies the strong Tits alternative, provided that each vertex stabiliser satisfies the strong Tits alternative. We use it to prove that all Artin groups of type FC satisfy the strong Tits alternative.

1 Introduction

The Tits alternative and its many variants, originating in the work of Tits [27], deals with a striking dichotomy at the level of subgroups of a given group. A group satisfies the Tits alternative if every finitely generated subgroup either contains a non-abelian free subgroup or is virtually soluble, and satisfies the strong Tits alternative if this dichotomy holds also for infinitely generated subgroups. Tits showed that linear groups in any characteristic satisfy the Tits alternative, while linear groups in characteristic zero satisfy the strong Tits alternative [27]. Since then, many groups of geometric interest, and in particular groups displaying non-positively curved features, have been shown to satisfy the Tits alternative, including mapping class groups of hyperbolic surfaces [20, 22], outer automorphism groups of free groups [2, 3], groups of birational transformations of compact complex Kähler surfaces [4]. The aim of this short note is to give a simple criterion to prove the Tits alternative for groups acting on finite-dimensional CAT(0) cube complexes, and to discuss applications, in particular to a large family of Artin groups, a class of groups generalising braid groups. We emphasise here that the term “strong Tits alternative” has also been used in the literature to mean a different property, namely that every finitely generated subgroup virtually maps onto a non-abelian free group, see for instance [1].

Groups acting on CAT(0) cube complexes have a rich structure, and many tools have been developed over the years in connection with the Tits alternative. Let us mention in particular that Sageev–Wise proved the strong Tits alternative for groups acting properly on CAT(0) cube complexes with a bound on the order of finite subgroups [26]. Caprace–Sageev [5, Theorem F] found a non-abelian free subgroup for groups acting on finite-dimensional CAT(0) cube complexes X without a finite orbit in X X , where X is the visual boundary. Fernós [11, Theorem 1.1] proved the analogous result for groups without a finite orbit in X X for X the Roller boundary. For groups acting on CAT(0) cube complexes, it is natural to ask whether the strong Tits alternative for all vertex stabilisers implies the strong Tits alternative for the whole group. This is however not the case, as already noted in [26], see Remark 2.3 below. In order to obtain such a combination result, it is necessary to impose additional conditions on the group and the action. Such conditions do exist, and they generally require that, for a particular class of subgroups of G, increasing sequences of subgroups eventually stabilise. This condition is on the finite subgroups of G in the case of proper actions [26], and on the finitely generated virtually soluble subgroups of G in the general case, as was probably known to experts (see Corollary 2.2). However, such conditions presuppose an understanding of the global structure of G by requiring a control of subgroups of G in a given class. It seems to us preferable to have a criterion that does not involve the global structure of G but instead focuses solely on cube stabilisers. The main advantage of our criterion is thus to be formulated purely in local terms, i.e. in terms of the cube stabilisers.

All the actions we consider are by cellular isometries. Stab ( C ) denotes the setwise stabiliser of a cube C.

Theorem A.

Let G be a group acting on a finite-dimensional CAT ( 0 ) cube complex such that each vertex stabiliser satisfies the strong Tits alternative, and we have the following property:

(*)

for every pair of intersecting cubes C , C , there exists a cube D
𝑐𝑜𝑛𝑡𝑎𝑖𝑛𝑖𝑛𝑔 C such that Stab ( C ) Stab ( C ) = Stab ( D ) .

Then G satisfies the strong Tits alternative.

As an application, we prove the strong Tits alternative for a large class of Artin groups. Let us first recall their definition. Let S be a finite set. To every pair of elements s t S , we associate m s t = m t s { 2 , 3 , , } . The associated Artin group A S is given by the following presentation:

A S = S s t s m s t = t s t m s t ,

and the associated Coxeter group W S is obtained by adding the relation s 2 = 1 for every s S . For a subset S of S, the subgroup of A S generated by S is isomorphic to A S (see [28]), so we think of A S as a subgroup of A S , and call it a standard parabolic subgroup. The conjugates in A S of standard parabolic subgroups are called parabolic subgroups of A S . An Artin group is said to be spherical if W S is finite, and is of type FC if, for every subset S S such that m s t < for every s , t S , the subgroup A S is spherical.

Artin groups have been the topic of intense research in recent years, with a common theme being to show that they enjoy many of the features of non-positively curved groups [16, 19, 18, 21, 14]. Several classes of Artin groups have been shown to satisfy the strong Tits alternative, including spherical Artin groups [8], many two-dimensional Artin groups [25, 21], and Artin groups that are virtually cocompactly cubulated [17, 15]. In this note, we prove the following.

Theorem B.

Artin groups of type FC satisfy the strong Tits alternative.

In order to emphasise the wider applicability of our criterion, we also mention a new proof of a result of Antolín–Minasyan [1], stating that the strong Tits alternative is stable under graph products (see Proposition 4.3).

2 First combination result

In this section, we prove a first combination result for the strong Tits alternative, under a “global” condition on the action.

Proposition 2.1.

Let G be a group acting on a finite-dimensional CAT ( 0 ) cube complex such that each vertex stabiliser satisfies the strong Tits alternative. Suppose that the poset of fixed-point sets of finitely generated virtually soluble subgroups of G satisfies the descending chain condition, i.e. every decreasing sequence

F 1 F 2

of fixed-point sets of finitely generated virtually soluble subgroups of G satisfies F i = F i + 1 for i large enough. Then G satisfies the strong Tits alternative.

Note that we have the following immediate corollary phrased purely in terms of subgroups of G, which was probably folklore and known to experts, although it does not seem to appear in the literature.

Corollary 2.2.

Let G be a group acting on a finite-dimensional CAT ( 0 ) cube complex such that each vertex stabiliser satisfies the strong Tits alternative. Suppose that the poset of finitely generated virtually soluble groups of G satisfies the ascending chain condition, i.e. for every increasing sequence

H 1 H 2

of finitely generated virtually soluble subgroups of G, the inclusion H i H i + 1 is an isomorphism for i large enough. Then G satisfies the strong Tits alternative.

Remark 2.3.

Note that Proposition 2.1 and Corollary 2.2 do not hold if we only assume that all the vertex stabilisers satisfy the strong Tits alternative. Indeed, consider the case of the wreath product

G = A 5 = ( n A 5 ) ,

where A 5 denotes the alternating group on 5 elements and acts on n A 5 by shifting the indices. It is known that G acts properly on a two-dimensional CAT ( 0 ) cube complex [29, Proposition 9.33], and in particular vertex stabilisers satisfy the strong Tits alternative. However, G itself does not satisfy the Tits alternative. Indeed, G does not contain non-abelian free subgroups, and G is not virtually soluble since finite index subgroups of G contain a copy of the non-soluble group A 5 .

Proof of Proposition 2.1.

Let H be a subgroup of G. Since X is finite-dimensional, by [11, Theorem 1.1], we have that H contains a non-abelian free subgroup or virtually fixes a point in the Roller boundary of X. In the latter case, by [7, Theorem B.1], we have that H admits a finite index subgroup H that fits into a short exact sequence

1 N H Q 1 ,

where Q is a finitely generated virtually abelian group of rank at most dim ( X ) , and N is a locally elliptic subgroup of G, i.e. every finitely generated subgroup of N fixes a point of X. If N contains a non-abelian free subgroup, then we are done. If N does not contain a non-abelian free subgroup, consider the poset of fixed-point sets of finitely generated subgroups of G contained in N. Since each finitely generated subgroup of N fixes a point of X, and hence satisfies the strong Tits alternative, it is virtually soluble. By the descending chain condition, there exists a smallest element F . Consequently, for each element g N , we have Fix ( g ) F , and so Fix ( N ) F . Thus Fix ( N ) is non-empty, and so N satisfies the strong Tits alternative. Since N does not contain a non-abelian free subgroup, it is virtually soluble. Since the class of virtually soluble groups is stable under extensions, it now follows that H , and hence H, is virtually soluble. ∎

Remark 2.4.

It follows from [11, Theorem 1.1] and [7, Theorem B.1] that one can replace the first “strong Tits alternative” by “Tits alternative” in Corollary 2.2. However, we cannot do the same in Proposition 2.1 since N might not be finitely generated even if H is finitely generated.

Similarly, as observed by Pierre-Emmanuel Caprace, since the family of amenable groups (resp. elementarily amenable groups) is closed under direct limits, if G acts on a finite-dimensional CAT ( 0 ) cube complex such that each finitely generated subgroup of each vertex stabiliser contains a non-abelian free subgroup or is amenable (resp. elementarily amenable), then each subgroup of G contains a non-abelian free subgroup or is amenable (resp. elementarily amenable).

3 Local condition

The descending chain condition for fixed-point sets appearing in Proposition 2.1 is global in nature, as it requires an understanding of the virtually soluble subgroups of the groups under study (and their fixed-point sets). In this section, we prove Theorem A, which involves the more tractable local condition (*) that implies the descending chain condition.

A poset ( , ) has height at most n if every chain

F 1 < F 2 <

of elements of has length at most n.

Proposition 3.1.

Let G be a group acting on an n-dimensional CAT ( 0 ) cube complex X satisfying property (*) of Theorem A. Then the poset F of non-empty fixed-point sets of subgroups of G has height at most n + 1 .

In particular, Theorem A is a direct consequence of Propositions 2.1 and 3.1. We prove Proposition 3.1 in several steps. The first one is the following “local to global” result.

Lemma 3.2.

Let G be a group acting on a CAT ( 0 ) cube complex X satisfying property (*). Then property (*) holds also for disjoint cubes C , C .

Proof.

Let C 0 = C , C 1 , , C k = C be the unique normal cube path from C 0 to C k (see [24, § 3]). We prove by downward induction on l = k - 1 , , 0 the claim that Stab ( C l ) Stab ( C k ) = Stab ( D l ) for some D l C l . For l = k - 1 , this is property (*). Now let m < k - 1 , and assume that we have proved the claim for l = m + 1 . We have

Stab ( C m ) Stab ( C k ) = Stab ( C m ) Stab ( C m + 1 ) Stab ( C k )

by the uniqueness of normal paths. By the induction hypothesis, we have

Stab ( C m ) Stab ( C m + 1 ) Stab ( C k ) = Stab ( C m ) Stab ( D m + 1 )

for some D m + 1 C m + 1 . Thus, by property (*), we have

D m C m with Stab ( D m ) = Stab ( C m ) Stab ( D m + 1 ) ,

proving the claim for l = m . ∎

Corollary 3.3.

Let G be a group acting on an n-dimensional CAT ( 0 ) cube complex X satisfying property (*). Then the poset P of all cube stabilisers has height at most n + 1 .

Proof.

Suppose by contradiction that we have P 1 P 2 P n + 2 in 𝒫 . Let C n + 2 be a cube with P n + 2 = Stab ( C n + 2 ) . Then, by Lemma 3.2, we can choose a cube C n + 1 C n + 2 such that

Stab ( C n + 1 ) = Stab ( C n + 2 ) P n + 1 = P n + 1 .

Analogously, we can inductively define C l for l = n , , 1 with C l C l + 1 and Stab ( C l ) = P l . Since the dimension of X is n, for some l, we have C l = C l + 1 , contradicting P l P l + 1 . ∎

Remark 3.4.

Note that if a poset 𝒫 has finite height and the intersection of any two elements of 𝒫 belongs to 𝒫 , then 𝒫 is stable under all intersections, that is, the intersection of any family of elements of 𝒫 belongs to 𝒫 .

Definition 3.5.

Let G be a group acting on a cube complex X. Suppose that the poset 𝒫 of all cube stabilisers is stable under all intersections, and let H be a subgroup of G that fixes a point of X. We denote by P H 𝒫 the intersection of the non-empty family of the elements of 𝒫 containing H.

Lemma 3.6.

Let G be a group acting on a cube complex X. Suppose that the poset of all cube stabilisers is stable under all intersections, and let H be a subgroup of G that fixes a point of X. Then Fix ( H ) = Fix ( P H ) .

Proof.

Since H P H , we have Fix ( H ) Fix ( P H ) . Now, let C be a cube whose barycentre lies in Fix ( H ) . Then H Stab ( C ) 𝒫 , and so, by the definition of P H , we also have P H Stab ( C ) , or in other words, the barycentre of C lies in Fix ( P H ) . Thus, we get the reverse inclusion Fix ( H ) Fix ( P H ) . ∎

Proof of Proposition 3.1.

Suppose by contradiction that we have a chain

Fix ( H 1 ) Fix ( H 2 ) Fix ( H n + 2 )

of non-empty fixed-point sets of subgroups of G. After replacing each H i by H 1 , H 2 , , H i , we can assume H 1 H 2 H n + 2 . By Lemma 3.2, Corollary 3.3, and Remark 3.4, the poset 𝒫 of all cube stabilisers has height at most n + 1 and is stable under all intersections. Consider then the chain

P H 1 P H 2 P H n + 2

of elements of 𝒫 . For some k, we have P H k = P H k + 1 . Lemma 3.6 implies that, for i = k , k + 1 , we have Fix ( H i ) = Fix ( P H i ) , which contradicts

Fix ( H k ) Fix ( H k + 1 ) .

4 Application: Graph products and Artin groups of type FC

As a first application, we recover the stability of the strong Tits alternative under graph products, as first proved by Antolín–Minasyan [1].

Definition 4.1.

Let Γ be a simplicial graph with vertex set V ( Γ ) , and let

𝒢 = { G v v V ( Γ ) }

be a collection of groups. The graph product Γ 𝒢 is defined as follows:

Γ 𝒢 = ( v V ( Γ ) G v ) / g h = h g , h G u , g G v , { u , v } an edge of Γ .

For an induced subgraph Λ of Γ, the subgroup of Γ 𝒢 generated by { G v } v Λ is isomorphic to Λ 𝒢 (see [13]). We thus think of Λ 𝒢 as a subgroup of Γ 𝒢 .

We first recall the construction of a cube complex associated to a graph product of groups, introduced in [10].

Definition 4.2.

The Davis complex of the graph product Γ 𝒢 is defined as follows:

  1. Vertices correspond to left cosets g Λ 𝒢 for g Γ 𝒢 and Λ Γ a complete subgraph of Γ.

  2. We add an edge between vertices g Λ 1 𝒢 and g Λ 2 𝒢 whenever g Γ 𝒢 and Λ 1 Λ 2 are complete subgraphs of Γ that differ by exactly one vertex.

  3. More generally, for g Γ 𝒢 and Λ 1 Λ 2 complete subgraphs of Γ that differ by exactly k vertices, we add a k-cube spanned by the vertices g Λ 𝒢 for all complete subgraphs Λ 1 Λ Λ 2 .

The group Γ 𝒢 acts on the vertices by left multiplication of left cosets, and this action extends to the entire Davis complex.

Davis [10, Theorem 5.1] showed that the Davis complex associated to a graph product of groups is a CAT ( 0 ) cube complex.

Proposition 4.3.

Let Γ be a finite simplicial graph, and let G = { G u } u V ( Γ ) be a collection of groups that satisfy the strong Tits alternative. Then the graph product Γ G satisfies the strong Tits alternative.

Proof.

Let us verify property (*) of Theorem A. Let C , C be two cubes of the Davis complex with non-empty intersection C ′′ = C C . Up to the action of an element of Γ 𝒢 , we can assume that there exist complete subgraphs

Λ 1 Λ 1 ′′ Λ 2 ′′ Λ 2

of Γ such that the following holds: C has vertices Λ 𝒢 for all complete subgraphs Λ 1 Λ Λ 2 , and C ′′ has vertices Λ 𝒢 for all complete subgraphs Λ 1 ′′ Λ Λ 2 ′′ . Moreover, since C contains C ′′ , there exists an element g Stab ( C ′′ ) and complete subgraphs Λ 1 Λ 2 of Γ, with Λ 1 Λ 1 ′′ Λ 2 ′′ Λ 2 , such that the vertices of C are the g Λ 𝒢 for all complete subgraphs Λ 1 Λ Λ 2 . We thus get

Stab ( C ) = g ( u V ( Λ 1 ) G u ) g - 1 = u V ( Λ 1 ) G u ,

the last equality following from the fact that g Stab ( C ′′ ) = u V ( Λ 1 ′′ ) G u . In particular, Stab ( C ) Stab ( C ) = u V ( Λ 1 Λ 1 ) G u . Let D be the cube of the Davis complex with vertices Λ 𝒢 for all complete subgraphs Λ 1 Λ 1 Λ Λ 2 . The previous equality can then be rewritten as Stab ( C ) Stab ( C ) = Stab ( D ) . As the cube D contains the cube C, this implies property (*) of Theorem A.

Moreover, since the strong Tits alternative is stable under finite direct products, the stabilisers of vertices of the Davis complex satisfy the strong Tits alternative. It now follows from Theorem A that Γ 𝒢 satisfies the strong Tits alternative. ∎

We conclude this note by proving the strong Tits alternative for Artin groups of type FC. Recall the following construction from [6].

Definition 4.4.

The Deligne cube complex of an Artin group A S of type FC is the cube complex defined as follows:

  1. Vertices correspond to left cosets g A S for g A S and S S with A S spherical.

  2. We add an edge between vertices g A S 1 and g A S 2 whenever g A S and S 1 S 2 are subsets of S that differ by exactly one element.

  3. More generally, for g A S and S 1 S 2 subsets of S that differ by exactly k elements, with A S 2 spherical, we add a k-cube spanned by the vertices g A S for all S 1 S S 2 .

The group A S acts on the vertices by left multiplication of left cosets, and this action extends to the entire Deligne cube complex.

In [6, Theorem 4.3.5], Charney–Davis showed that the Deligne cube complex of an Artin group of type FC is a CAT ( 0 ) cube complex.

Proof of Theorem B.

Let A S be an Artin group of type FC. By construction, the stabilisers of vertices of the Deligne cube complex are exactly the parabolic subgroups of A S that are spherical. Such Artin groups are known to be linear in characteristic zero [8], and thus satisfy the strong Tits alternative.

For property (*) in Theorem A, let C , C , C ′′ = C C be cubes of the Deligne cube complex. After replacing C by a cube in its A S -orbit, we can assume that there exist S 1 S 1 ′′ S 2 ′′ S 2 with A S 2 spherical such that the vertices of C correspond to the cosets A S over S 1 S S 2 and the vertices of C ′′ correspond to the cosets A S over S 1 ′′ S S 2 ′′ . Moreover, since C contains C ′′ , there exists an element g Stab ( C ′′ ) = A S 1 ′′ and S 1 S 1 ′′ S 2 ′′ S 2 with A S 2 spherical such that the vertices of C correspond to the cosets g A S over S 1 S S 2 . To obtain property (*), it suffices to show that the intersection A S 1 g A S 1 g - 1 is a parabolic subgroup of A S 1 . The fact that the intersection of two parabolic subgroups of A S 1 ′′ is again a parabolic subgroup of A S 1 ′′ is a consequence of [9, Theorem 9.5], and the fact that a parabolic subgroup of A S 1 ′′ contained in A S 1 is a parabolic subgroup of A S 1 is a consequence of [12, Theorem 0.2]. It now follows from Theorem A that A S satisfies the strong Tits alternative. ∎

Note that here property (*) for arbitrary cubes C , C , which follows from Lemma 3.2, amounts to saying that the intersection of two parabolic subgroups is again a parabolic subgroup. This was proved independently by Rose Morris-Wright [23].


Communicated by Adrian Ioana


Award Identifier / Grant number: EP/S010963/1

Award Identifier / Grant number: UMO-2018/30/M/ST1/00668

Funding source: Simons Foundation

Award Identifier / Grant number: 346300

Funding statement: Alexandre Martin was partially supported by EPSRC New Investigator Award EP/S010963/1. Piotr Przytycki was partially supported by NSERC and National Science Centre, Poland UMO-2018/30/M/ST1/00668. This work was partially supported by the grant 346300 for IMPAN from the Simons Foundation and the matching 2015–2019 Polish MNiSW fund.

Acknowledgements

We thank Pierre-Emmanuel Caprace, Talia Fernós, and Anthony Genevois for explaining to us the state of affairs in the subject. We also thank María Cumplido and the anonymous referee for comments on a first version of this article. This work was conducted during the Nonpositive curvature conference at the Banach Center and the LG&TBQ conference at the University of Michigan.

References

[1] Y. Antolín and A. Minasyan, Tits alternatives for graph products, J. Reine Angew. Math. 704 (2015), 55–83. 10.1007/978-3-319-05488-9_1Search in Google Scholar

[2] M. Bestvina, M. Feighn and M. Handel, The Tits alternative for Out ( F n ) . I. Dynamics of exponentially-growing automorphisms, Ann. of Math. (2) 151 (2000), no. 2, 517–623. 10.2307/121043Search in Google Scholar

[3] M. Bestvina, M. Feighn and M. Handel, The Tits alternative for Out ( F n ) . II. A Kolchin type theorem, Ann. of Math. (2) 161 (2005), no. 1, 1–59. 10.4007/annals.2005.161.1Search in Google Scholar

[4] S. Cantat, Sur les groupes de transformations birationnelles des surfaces, Ann. of Math. (2) 174 (2011), no. 1, 299–340. 10.4007/annals.2011.174.1.8Search in Google Scholar

[5] P.-E. Caprace and M. Sageev, Rank rigidity for CAT(0) cube complexes, Geom. Funct. Anal. 21 (2011), no. 4, 851–891. 10.1007/s00039-011-0126-7Search in Google Scholar

[6] R. Charney and M. W. Davis, The K ( π , 1 ) -problem for hyperplane complements associated to infinite reflection groups, J. Amer. Math. Soc. 8 (1995), no. 3, 597–627. 10.1090/S0894-0347-1995-1303028-9Search in Google Scholar

[7] I. Chatterji, T. Fernós and A. Iozzi, The median class and superrigidity of actions on CAT ( 0 ) cube complexes, J. Topol. 9 (2016), no. 2, 349–400; With an appendix by Pierre-Emmanuel Caprace. 10.1112/jtopol/jtu025Search in Google Scholar

[8] A. M. Cohen and D. B. Wales, Linearity of Artin groups of finite type, Israel J. Math. 131 (2002), 101–123. 10.1007/BF02785852Search in Google Scholar

[9] M. Cumplido, V. Gebhardt, J. González-Meneses and B. Wiest, On parabolic subgroups of Artin–Tits groups of spherical type, Adv. Math. 352 (2019), 572–610. 10.1016/j.aim.2019.06.010Search in Google Scholar

[10] M. W. Davis, Buildings are CAT ( 0 ) , Geometry and Cohomology in Group Theory (Durham 1994), London Math. Soc. Lecture Note Ser. 252, Cambridge University, Cambridge (1998), 108–123. 10.1017/CBO9780511666131.009Search in Google Scholar

[11] T. Fernós, The Furstenberg–Poisson boundary and CAT ( 0 ) cube complexes, Ergodic Theory Dynam. Systems 38 (2018), no. 6, 2180–2223. 10.1017/etds.2016.124Search in Google Scholar

[12] E. Godelle, Normalisateur et groupe d’Artin de type sphérique, J. Algebra 269 (2003), no. 1, 263–274. 10.1016/S0021-8693(03)00529-5Search in Google Scholar

[13] E. Green, Graph products of groups, PhD thesis, University of Leeds, 1990. Search in Google Scholar

[14] T. Haettel, Extra-large artin groups are CAT ( 0 ) and acylindrically hyperbolic, preprint (2019), https://arxiv.org/abs/1905.11032. Search in Google Scholar

[15] T. Haettel, Virtually cocompactly cubulated Artin–Tits groups, preprint (2020), https://arxiv.org/abs/1509.08711; to appear in Int. Math. Res. Not. IMRN. 10.1093/imrn/rnaa013Search in Google Scholar

[16] T. Haettel, D. Kielak and P. Schwer, The 6-strand braid group is CAT ( 0 ) , Geom. Dedicata 182 (2016), 263–286. 10.1007/s10711-015-0138-9Search in Google Scholar

[17] J. Huang, K. Jankiewicz and P. Przytycki, Cocompactly cubulated 2-dimensional Artin groups, Comment. Math. Helv. 91 (2016), no. 3, 519–542. 10.4171/CMH/394Search in Google Scholar

[18] J. Huang and D. Osajda, Helly meets Garside and Artin, preprint (2019), https://arxiv.org/abs/1904.09060. 10.1007/s00222-021-01030-8Search in Google Scholar

[19] J. Huang and D. Osajda, Large-type Artin groups are systolic, Proc. Lond. Math. Soc. (3) 120 (2020), no. 1, 95–123. 10.1112/plms.12284Search in Google Scholar

[20] N. V. Ivanov, Algebraic properties of the Teichmüller modular group, Dokl. Akad. Nauk SSSR 275 (1984), no. 4, 786–789. Search in Google Scholar

[21] A. Martin and P. Przytycki, Acylindrical actions for two-dimensional Artin groups of hyperbolic type, preprint (2019), https://arxiv.org/abs/1906.03154. 10.1093/imrn/rnab068Search in Google Scholar

[22] J. McCarthy, A “Tits-alternative” for subgroups of surface mapping class groups, Trans. Amer. Math. Soc. 291 (1985), no. 2, 583–612. 10.1090/S0002-9947-1985-0800253-8Search in Google Scholar

[23] R. Morris-Wright, Parabolic subgroups in FC type Artin groups, preprint (2019), https://arxiv.org/abs/1906.07058. 10.1016/j.jpaa.2020.106468Search in Google Scholar

[24] G. A. Niblo and L. D. Reeves, The geometry of cube complexes and the complexity of their fundamental groups, Topology 37 (1998), no. 3, 621–633. 10.1016/S0040-9383(97)00018-9Search in Google Scholar

[25] D. Osajda and P. Przytycki, Tits alternative for groups acting properly on 2-dimensional recurrent complexes, preprint (2019), https://arxiv.org/abs/1904.07796. 10.1016/j.aim.2021.107976Search in Google Scholar

[26] M. Sageev and D. T. Wise, The Tits alternative for CAT ( 0 ) cubical complexes, Bull. Lond. Math. Soc. 37 (2005), no. 5, 706–710. 10.1112/S002460930500456XSearch in Google Scholar

[27] J. Tits, Free subgroups in linear groups, J. Algebra 20 (1972), 250–270. 10.1016/0021-8693(72)90058-0Search in Google Scholar

[28] H. van der Lek, The homotopy type of complex hyperplane complements, PhD thesis, University of Nijmegan, 1983. Search in Google Scholar

[29] D. T. Wise, From Riches to Raags: 3-manifolds, Right-angled Artin groups, and Cubical Geometry, CBMS Reg. Conf. Ser. Math. 117, American Mathematical Society, Providence, 2012. 10.1090/cbms/117Search in Google Scholar

Received: 2019-09-18
Revised: 2020-01-28
Published Online: 2020-03-19
Published in Print: 2020-07-01

© 2021 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 28.3.2024 from https://www.degruyter.com/document/doi/10.1515/jgth-2019-0135/html
Scroll to top button