Abstract
We prove the \(K(\pi ,1)\) conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol’d, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on several new results and constructions. In particular: we show that all affine noncrossing partition posets are EL-shellable; we use these posets to construct finite classifying spaces for dual affine Artin groups; we introduce new CW models for the orbit configuration spaces associated with arbitrary Coxeter groups; we construct finite classifying spaces for the braided crystallographic groups introduced by McCammond and Sulway.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The long-standing \(K(\pi ,1)\) conjecture for Artin groups states that the orbit configuration space \(Y_W\) associated with a Coxeter group W is always a \(K(G_W,1)\) space. Here \(G_W\) is the fundamental group of \(Y_W\) and is known as the Artin group associated with W. The conjecture was proved for spherical Artin groups (i.e. if W is finite) by Deligne [29], after being proved by Fox and Neuwirth in the case \(A_n\) [40] and by Brieskorn in the cases \(C_n\), \(D_n\), \(G_2\), \(F_4\), and \(I_2(p)\) [16].
In this paper, we prove the conjecture for the next important family of Artin groups, namely for all affine Artin groups. Together with Deligne’s result, this covers all the cases where W is a Euclidean reflection group.
Main Theorem
(Theorem 8.15) The \(K(\pi ,1)\) conjecture holds for all affine Artin groups.
The \(K(\pi ,1)\) conjecture goes back to the pioneering work of Arnol’d, Brieskorn, Pham, and Thom in the ’60s (see [16, 41, 58, 65]). After the fundamental contribution of Deligne, the conjecture was proved for the affine Artin groups of type \({\tilde{A}}_n\), \({\tilde{C}}_n\) [51], \({\tilde{B}}_n\) [21], and \({{\tilde{G}}}_2\) [23]. So our paper completes the list of affine Artin groups with the case \({\tilde{D}}_n\) and with all the remaining exceptional cases. Unlike the proofs for previously known cases, our approach is essentially “case-free,” although some partial results use the classification of reflection groups. In particular, it also applies to all previously known affine cases.
Besides Euclidean cases, the conjecture was proved for Artin groups of dimension \(\le 2\) and for those of FC type [23, 43]. It was also extended to the configuration spaces of finite complex reflection groups and proved in full generality by Bessis [6].
Our results were made possible by recent advances in the theory by McCammond and Sulway [48, 49], which rely on dual Coxeter and Artin groups and on Garside structures (see Sect. 2). In [49], finite-dimensional classifying spaces for affine Artin groups were constructed, but with an infinite number of cells. Our proof of the \(K(\pi ,1)\) conjecture leads to a significant improvement of their construction: we obtain finite classifying spaces for \(G_W\) which are homotopy equivalent to the orbit configuration space \(Y_W\). In doing that, we derive many new geometric and combinatorial side results for affine Coxeter and Artin groups, which we think are interesting by themselves.
The following are some consequences of the \(K(\pi ,1)\) conjecture: affine Artin groups are torsion-free (this already follows from the construction of McCammond and Sulway [49]); they have a classifying space with a finite number of cells (see [60]); the well studied homology and cohomology of \(Y_W\) coincides with the homology and cohomology of the corresponding affine Artin group \(G_W\) (see [19,20,21, 55, 57, 61]); the natural map between the classifying space of an affine Artin monoid and the classifying space of the corresponding Artin group is a homotopy equivalence (see [33, 34, 52, 53]).
1.1 Outline of the proof and future research directions
For every Coxeter group W and Coxeter element w, there is an associated dual Artin group \(W_w\). It is known to be naturally isomorphic to the standard Artin group \(G_W\), if W is finite [5] or affine [49]. When the noncrossing partition poset [1, w] is a lattice, the dual Artin group is a Garside group, and it admits a standard construction of a classifying space \(K_W \simeq K(W_w, 1)\) [24]. The poset [1, w] is indeed a lattice if W is finite [5, 13,14,15], but this is not always the case if W is affine [31, 32, 48].
In our proof of the \(K(\pi ,1)\) conjecture, one of the key points is to show that \(K_W\) is a classifying space for \(W_w\), for every affine Coxeter group W, even when [1, w] is not a lattice (Theorem 6.6). This can come as a surprise since the standard argument to show that \(K_W\) is a classifying space heavily relies on the lattice property.
Then we show that \(K_W\) is homotopy equivalent to the orbit configuration space \(Y_W\). For this, we introduce a new family of CW models \(X_W' \simeq Y_W\), which are subcomplexes of \(K_W\) (Definition 5.3). Differently from the usual models (such as the Salvetti complex [60]), the structure of \(X_W'\) depends on the dual Artin relations in \(W_w\) rather than on the standard Artin relations in \(G_W\). Using discrete Morse theory, we prove that \(K_W\) deformation retracts onto \(X_W'\). This completes the proof of the \(K(\pi ,1)\) conjecture, and at the same time, it gives a new proof that the dual Artin group \(W_w\) is naturally isomorphic to the Artin group \(G_W\) (in the affine case).
The outlined program passes through several intermediate geometric, combinatorial, and topological results. For example, an important step in the proof of the deformation retraction \(K_W \simeq X_W'\) is to construct an EL-labeling of the affine noncrossing partition poset [1, w]. This and other contributions are summarized in Sect. 1.2 below.
Of course, one can hope to use an analog strategy to solve the \(K(\pi ,1)\) conjecture in the general case. However, in order to carry out such program, it seems that a general geometric theory of dual Coxeter groups is required, as well as a combinatorial theory of noncrossing partition posets associated with arbitrary Coxeter groups (for example: are these posets EL-shellable? how can they fail in being lattices?), and perhaps also new developments in Garside theory (can the lattice condition be relaxed?). These are interesting and potentially promising directions for future research.
1.2 Summary of additional contributions
As mentioned above, in this paper we prove several results in addition to the \(K(\pi ,1)\) conjecture. Here we list the ones we consider to be the most important and of independent interest.
In Sect. 3, we expand the geometric theory of Coxeter elements in affine Coxeter groups, continuing the work started by McCammond and Sulway [48, 49]. The following is one of our many results. Its analog for finite Coxeter groups was proved by Bessis [5].
Theorem A
(Theorem 3.22) Every element u in an affine noncrossing partition poset [1, w] is a Coxeter element of the Coxeter subgroup generated by the subposet [1, u].
The next result sheds some light on the combinatorial structure of affine noncrossing partition posets and is the focus of Sect. 4. Its analog for finite noncrossing partition lattices was proved by Athanasiadis, Brady, and Watt [2].
Theorem B
(Theorem 4.19) All affine noncrossing partition posets are EL-shellable.
We should emphasize that the affine setting differs substantially from the finite setting. For example: an affine noncrossing partition poset [1, w] is infinite and not necessarily a lattice; not all elements of [1, w] are parabolic Coxeter elements; not all reflections belong to [1, w]. For this reason, the theory requires significant novelties in addition to the well-established results for finite Coxeter groups.
In Sect. 5 we introduce new CW models \(X_W'\) for the orbit configuration space \(Y_W\), by gluing together classifying spaces \(K_{W_T} \simeq K(G_{W_T}, 1)\) of spherical parabolic subgroups. This is done in full generality, for an arbitrary Coxeter group W.
Theorem C
(Theorem 5.5) For every Coxeter group W, the subcomplexes \(X_W' \subseteq K_W\) are naturally homotopy equivalent to the orbit configuration space \(Y_W\).
In Sect. 6 we show that \(K_W\) is a classifying space, even when [1, w] is not a lattice. Our proof makes use of the construction of braided crystallographic groups by McCammond and Sulway [49], a “Garside completion” of dual affine Artin groups.
Theorem D
(Theorem 6.6) For every affine Coxeter group W and Coxeter element \(w \in W\), the complex \(K_W\) is a classifying space for the dual Artin group \(W_w\).
In Sect. 7 we show that \(K_W\) deformation retracts onto a subcomplex with a finite number of cells. Without additional effort, this argument also applies to the classifying space of a braided crystallographic group. We obtain the following consequence.
Theorem E
(Theorem 7.10) Every braided crystallographic group has a classifying space with a finite number of cells.
It is possible that the techniques of Sect. 8 can be adjusted to braided crystallographic groups, to obtain a smaller classifying space with some interesting geometric interpretation (and perhaps prove a crystallographic version of the \(K(\pi ,1)\) conjecture). This might be part of some bigger picture, where every (dual) Artin group has a crystallographic Garside completion, and their classifying spaces are geometrically related.
1.3 Structure of this paper
In Sect. 2 we recall the most important background definitions and results that are needed in the rest of the paper. In Sect. 3 we prove several geometric results about Coxeter elements in affine Coxeter groups, expanding the theory of [48, 49]. This section goes hand in hand with Appendix A, where we carry out explicit computations for the four infinite families of irreducible affine Coxeter groups. Sects. 4, 5, 6 and 7 are mostly independent from each other. They cover separate intermediate steps of our proof of the \(K(\pi ,1)\) conjecture, as described earlier. Finally, in Sect. 8, everything is put together to prove the \(K(\pi ,1)\) conjecture.
2 Background
2.1 Coxeter groups and Artin groups
Let W be a Coxeter group, i.e. a group with a presentation of the following form:
where S is a finite set, \(m(s,s) = 1\) for all \(s \in S\), and \(m(s,t) = m(t,s) \in \{2,3,4,\dotsc \} \cup \{\infty \}\) for all \(s \ne t\) in S. This presentation can be encoded into a Coxeter graph: the vertices are indexed by S, and there is an edge connecting s and t whenever \(m(s,t) \ge 3\); this edge is labeled by m(s, t) whenever \(m(s,t) \ge 4\). A Coxeter group is irreducible if its Coxeter graph is connected. Any conjugate of an element of S is called a reflection. Denote by \(R \subseteq W\) the set of reflections. Any conjugate of the set S is called a set of simple reflections of W, and can be used in place of S to give a presentation of W of the same form as (1), with an isomorphic Coxeter graph.
If \(S \subseteq R\) is any set of simple reflections of W (not necessarily the one used to define W), the product of the elements of S in any order is called a Coxeter element of W. Also, for any subset \(T \subseteq S\), the subgroup \(W_T\) generated by T is a parabolic subgroup of W (it is a Coxeter group, and T is a set of simple reflections of \(W_T\)). A Coxeter element of a parabolic subgroup of W is called a parabolic Coxeter element of W. When a set of simple reflections S is fixed, the parabolic subgroups \(W_T\) with \(T \subseteq S\) are called standard parabolic subgroups. The rank (or dimension) of W is the largest cardinality of a subset \(T \subseteq S\) such that the parabolic subgroup \(W_T\) is finite. We refer to [7, 11, 44] for more background information on Coxeter groups.
We are mostly interested in the case where W is a finite or affine Coxeter group, or equivalently, a (finite or affine) real reflection group. In this case, W acts faithfully by Euclidean isometries on some affine space \(E = {\mathbb {R}}^n\), and the elements of R act as orthogonal reflections with respect to some hyperplanes of E. These hyperplanes form a locally finite hyperplane arrangement in E, which we denote by \({\mathcal {A}}\). The connected components of the complement of \({\mathcal {A}}\) in E are called chambers. Given a chamber C, its walls are the hyperplanes \(H \in {\mathcal {A}}\) such that \(H \cap {\bar{C}}\) is a \((n-1)\)-dimensional polyhedron. The collection of all the chambers forms the Coxeter complex of W. The smallest possible dimension n which is needed to construct such a representation is equal to the rank of W. If n is equal to the rank of W, the resulting representation is essential. If W is an irreducible finite Coxeter group, then all its elements must fix a point of E (so W may as well be realized as a group of linear isometries), and all chambers in an essential representation are unbounded simplicial cones. If W is an irreducible affine Coxeter group, then all chambers in an essential representation are bounded simplices. We refer to [44] for the definition of root systems, positive systems, simple systems, crystallographic systems, and crystallographic Coxeter groups.
Irreducible affine Coxeter groups are classified into four infinite families (\({{\tilde{A}}}_n\), \({{\tilde{B}}}_n\), \({{\tilde{C}}}_n\), \({{\tilde{D}}}_n\)) and five exceptional cases (\({{\tilde{E}}}_6\), \({{\tilde{E}}}_7\), \({{\tilde{E}}}_8\), \({{\tilde{F}}}_4\), \({{\tilde{G}}}_2\)). Their Coxeter graphs are shown in Fig. 1. These groups can all be constructed from the corresponding irreducible crystallographic root systems, as follows (see [44, Chapter 4]). For each \(\alpha \) in a crystallographic root system \(\Phi \subseteq {\mathbb {R}}^n\), and for each integer \(k \in {\mathbb {Z}}\), consider the affine hyperplane \(H_{\alpha , k} = \{ x \in {\mathbb {R}}^n \mid \langle x, \alpha \rangle = k \}\). Then take the group generated by the orthogonal reflections with respect to the hyperplanes \(H_{\alpha ,k}\). The corresponding reflection arrangement \({\mathcal {A}}\) is the collection of all these hyperplanes \(H_{\alpha ,k}\).
If W is a finite or affine Coxeter group, acting on \(E = {\mathbb {R}}^n\), define the configuration space Y associated with W as
In other words, this is the complement of the complexification of the hyperplane arrangement \({\mathcal {A}}\). Then W naturally acts on Y, and its quotient \(Y_W = Y / W\) is the orbit configuration space associated with W. Up to homotopy equivalence, Y and \(Y_W\) do not depend on the chosen representation of W as a subgroup of the isometry group \({{\,\mathrm{\textsc {Isom}}\,}}(E)\). The construction of Y and \(Y_W\) can be extended to arbitrary Coxeter groups by considering the Tits cone, see [11, 41, 50, 58, 60, 65, 66].
If S is a set of simple reflections of W, the Artin group associated with the Coxeter group W is
see [16, 17, 29, 63, 64]. It is isomorphic to the fundamental group of the orbit configuration space \(Y_W\) [60, 65].
Conjecture 2.1
(\(K(\pi ,1)\) conjecture) The orbit configuration space \(Y_W\) is a classifying space for the Artin group \(G_W\).
Artin groups associated with finite (resp. affine) Coxeter groups are called spherical (resp. affine). Prior to this work, the \(K(\pi ,1)\) conjecture was proved for spherical Artin groups [16, 29, 40], for affine Artin groups of type \({{\tilde{A}}}_n\), \({{\tilde{C}}}_n\) [51], and \({{\tilde{B}}}_n\) [21], for Artin groups of dimension \(\le 2\) (this includes the affine Artin group of type \({{\tilde{G}}}_2\)) and of FC type [23, 43].
As shown in [59, 60], the orbit configuration space \(Y_W\) has the homotopy type of a CW complex \(X_W\), with one |T|-cell \(c_T\) for every T in
In particular, the 1-cells of \(X_W\) are indexed by S, and the 2-cells are indexed by the unordered pairs \(\{s,t\} \subseteq S\) with \(m(s,t) \ne \infty \). The 1-cells are oriented in such a way that \(c_{\{s\}}\) corresponds to the generator s of the fundamental group \(G_W\), and a 2-cell \(c_{\{s,t\}}\) corresponds to the relation \(stst\cdots = tsts\cdots \). In the literature, the CW complex \(X_W\) is usually called the Salvetti complex of W. For \(T \subseteq S\), there is a natural inclusion of complexes \(X_{W_T} \subseteq X_W\), induced by the inclusion \(\Delta _{W_T} \subseteq \Delta _W\).
2.2 Posets
We now recall some basic terminology about partially ordered sets (posets). See [62] for a more detailed exposition.
Let \((P, \le )\) be a poset. If \(p < q\) in P and there is no element \(r\in P\) with \(p<r<q\), then we say that q covers p, and write \(p \lessdot q\). Given an element \(q \in P\), define \(P_{\le q}= \{p \in P \mid p \le q\}\). We say that P is bounded if it contains a unique minimal element and a unique maximal element. A (finite) chain in P is a totally ordered sequence \(p_0< p_1< \cdots < p_n\) of elements of P. A chain of \(n+1\) elements is conventionally said to have length n.
If \(p \le q\), the interval [p, q] in P is the set of all elements \(r \in P\) such that \(p \le r \le q\). We say that P is graded if, for every \(p \le q\), all the maximal chains in [p, q] have the same (finite) length. Then there exists a rank function \({{\,\mathrm{rk}\,}}:P \rightarrow {\mathbb {Z}}\) such that \({{\,\mathrm{rk}\,}}(q) - {{\,\mathrm{rk}\,}}(p)\) is the length of any maximal chain in [p, q]. The rank of P is defined as the maximal length of a chain of P.
A poset P is said to be a lattice if every pair of elements \(p,q \in P\) has a unique maximal common lower bound and a unique minimal common upper bound.
The Hasse diagram of a poset P is the graph with vertex set P and having an edge (p, q) for every covering relation \(p \lessdot q\). We indicate by \({\mathcal {E}}(P) = \{ (p,q) \in P \times P \mid p \lessdot q\}\) the set of edges of the Hasse diagram of P.
2.3 Lexicographic shellability
In this section, we recall the definition of EL-shellability [8, 9].
Let P be a bounded poset. An edge labeling of P is a map \(\lambda :{\mathcal {E}}(P) \rightarrow \Lambda \), where \(\Lambda \) is some poset. Given an edge labeling \(\lambda \), each maximal chain \(c = (x \lessdot z_1 \lessdot \cdots \lessdot z_t \lessdot y)\) between any two elements \(x \le y\) has an associated word
We say that the chain c is increasing if the associated word \(\lambda (c)\) is strictly increasing. Maximal chains in a fixed interval \([x,y]\subseteq P\) can be compared lexicographically (i.e. by using the lexicographic ordering on the corresponding words).
Definition 2.2
Let P be a bounded poset. An edge-lexicographic labeling (or simply EL-labeling) of P is an edge labeling such that in each closed interval \([x,y] \subseteq P\) there is a unique increasing maximal chain, and this chain lexicographically precedes all other maximal chains of [x, y].
A bounded poset that admits an EL-labeling is said to be EL-shellable. If P is an EL-shellable poset, then the order complex of \(P {\setminus } \{ \min (P), \max (P) \}\) is homotopy equivalent to a wedge of spheres.
Let \(P_1\) and \(P_2\) be bounded posets that admit EL-labelings \(\lambda _1:{\mathcal {E}}(P_1)\rightarrow \Lambda _1\) and \(\lambda _2:{\mathcal {E}}(P_2) \rightarrow \Lambda _2\), respectively. Assume that \(\Lambda _1\) and \(\Lambda _2\) are disjoint and totally ordered. Let \(\lambda :{\mathcal {E}}(P_1 \times P_2) \rightarrow \Lambda _1 \cup \Lambda _2\) be the edge labeling of \(P_1\times P_2\) defined as follows:
Theorem 2.3
[10, Proposition 10.15] Fix any shuffle of the total orderings on \(\Lambda _1\) and \(\Lambda _2\), to get a total ordering on \(\Lambda _1 \cup \Lambda _2\). Then the product edge labeling \(\lambda \) defined above is an EL-labeling of \(P_1 \times P_2\).
2.4 Discrete Morse theory
In this section we recall Forman’s discrete Morse theory [38, 39]. We follow the point of view of Chari [22], using acyclic matchings instead of discrete Morse functions, and we make use of the generality of [3, Section 3] for the case of infinite CW complexes.
Let P be a graded poset, and denote by H the Hasse diagram of P. Given a subset \({\mathcal {M}}\) of \({\mathcal {E}}(P)\), we can orient all edges of H in the following way: an edge \((p,q) \in {\mathcal {E}}(P)\) (i.e. with \(p \lessdot q\)) is oriented from p to q if it is in \({\mathcal {M}}\), otherwise in the opposite direction. Denote this oriented graph by \(H_{{\mathcal {M}}}\).
A matching on P is a subset \({\mathcal {M}}\subseteq {\mathcal {E}}(P)\) such that every element of P appears in at most one edge of \({\mathcal {M}}\). A matching \({\mathcal {M}}\) is acyclic if the graph \(H_{{\mathcal {M}}}\) has no directed cycles. Given a matching \({\mathcal {M}}\) on P, an alternating path is a directed path in \(H_{{\mathcal {M}}}\) such that two consecutive edges of the path do not belong both to \({\mathcal {E}}(P) {\setminus } {\mathcal {M}}\). In the graph \(H_{\mathcal {M}}\), the edges in \({\mathcal {M}}\) increase the rank by 1, and the edges in \({\mathcal {E}}(P) {\setminus } {\mathcal {M}}\) decrease the rank by 1. Therefore, a matching \({\mathcal {M}}\) is acyclic if and only if it has no closed alternating paths (which are called alternating cycles). The elements of P that do not appear in any edge of \({\mathcal {M}}\) are called critical (with respect to the matching \({\mathcal {M}}\)). An acyclic matching \({\mathcal {M}}\) is proper if, for every \(p \in P\), the set of vertices of \(H_{\mathcal {M}}\) reachable from p (with a directed path) is finite.
Let X be a CW complex. The face poset \({\mathcal {F}}(X)\) of X is the set of its (open) cells together with the partial order defined by \(\tau \le \sigma \) if \({{\bar{\tau }}} \subseteq {\bar{\sigma }}\). For all CW complexes X considered in this paper, the face poset \({\mathcal {F}}(X)\) is a graded poset with rank function \({{\,\mathrm{rk}\,}}(\sigma ) = \dim (\sigma )\). Recall that each cell of X has a characteristic map \(\Phi :D^n\rightarrow X\), where \(D^n = \{x \in {\mathbb {R}}^n \mid \Vert x\Vert \le 1 \}\).
Let \(\sigma \) and \(\tau \) be cells of X. If \(\tau \lessdot \sigma \) we say that \(\tau \) is a face of \(\sigma \). We say that \(\tau \) is a regular face of \(\sigma \) if, in addition, the following two conditions hold (set \(n=\dim (\tau )\) and let \(\Phi \) be the characteristic map of \(\sigma \)):
-
(i)
\(\Phi |_{\Phi ^{-1}(\tau )}:\Phi ^{-1}(\tau ) \rightarrow \tau \) is a homeomorphism;
-
(ii)
\({\overline{\Phi ^{-1}(\tau )}}\) is a closed n-ball in \(D^{n+1}\).
The following is a particular case of the main theorem of discrete Morse theory and follows from [3, Theorem 3.2.14 and Remark 3.2.17].
Theorem 2.4
[3, 22, 38] Let X be a CW complex, and let \(Y \subseteq X\) be a subcomplex. Suppose that there exists a proper acyclic matching \({\mathcal {M}}\) on the face poset \({\mathcal {F}}(X)\) such that: \({\mathcal {F}}(Y)\) is the set of critical cells; for every \((\tau , \sigma ) \in {\mathcal {M}}\), we have that \(\tau \) is a regular face of \(\sigma \). Then X deformation retracts onto Y. In particular, the inclusion \(Y \hookrightarrow X\) is a homotopy equivalence.
We conclude by recalling a standard tool to construct acyclic matchings.
Theorem 2.5
(Patchwork theorem [46, Theorem 11.10]) Let \(\eta :P \rightarrow Q\) be a poset map. For all \(q \in Q\), assume to have an acyclic matching \({\mathcal {M}}_q \subseteq {\mathcal {E}}(P)\) that involves only elements of the fiber \(\eta ^{-1}(q) \subseteq P\). Then the union of these matchings is itself an acyclic matching on P.
2.5 Interval groups and Garside structures
We now recall the construction of interval groups, and how they give rise to Garside structures. Our exposition mostly follows [49, Section 2] and [47, Section 1]. See [5, 24,25,26, 28, 31, 32, 48, 49] for a complete reference on Garside structures.
Let G be a group, with a (possibly infinite) generating set \(R \subseteq G\) such that \(R = R^{-1}\). Suppose that the elements of R are assigned positive weights bounded away from 0 that form a discrete subset of the positive real numbers. Assume that r and \(r^{-1}\) have the same weight, for every \(r \in R\). For every \(x \in G\), denote by l(x) the minimum sum of the weights of some generators \(r_1,r_2, \dotsc , r_k \in R\) such that \(r_1r_2\cdots r_k = x\). In other words, l(x) is the distance between 1 and x in the weighted right Cayley graph of G (with respect to the weighted generating set R).
The group G becomes a poset if we set \(x \le y\) whenever \(l(x) + l(x^{-1}y) = l(y)\), i.e. if there is a minimal length factorization of y that starts with a minimal length factorization of x. Given an element \(g \in G\), denote by \([1,g]^G \subseteq G\) the interval between 1 and g (with respect to the partial order \(\le \) in G). The Hasse diagram of \([1,g]^G\) embeds into the Cayley graph of G. Every edge of the Hasse diagram is of the form (x, xr) for some \(r \in R\), and we label it by r.
Definition 2.6
(Interval group [49, Definition 2.6]) The interval group \(G_g\) is the group presented as follows. Let \(R_0\) be the subset of R consisting of the labels of edges in \([1,g]^G\). The group \(G_g\) has \(R_0\) as its generating set, and relations given by all the closed loops inside the Hasse diagram of \([1,g]^G\).
The interval \([1,g]^G\) is balanced if the following condition is satisfied: for every \(x \in G\), we have \(l(x) + l(x^{-1}g) = l(g)\) if and only if \(l(gx^{-1}) + l(x) = l(g)\). This condition is automatically satisfied if the generating set R is closed under conjugation and the weight of a generator is equal to the weight of all its conjugates.
Theorem 2.7
[5, Theorem 0.5.2], [49, Proposition 2.11] If the interval \([1,g]^G\) is a balanced lattice, then the group \(G_g\) is a Garside group.
See [28, 31, 32] for the definition of Garside groups. As in [49], we use the term “Garside group” in the sense of Digne [31, 32] (so that the generating set R need not be finite).
The classifying space of a Garside group can be constructed explicitly, as shown in [24, 27]. Here we generalize this construction to the case of arbitrary interval groups arising from balanced intervals, without the lattice assumption. In the case of Garside groups, it is equivalent to the definitions given in [24, Section 3] (see in particular [24, Definition 3.5 and Theorem 3.6]) and in [47, Definition 1.6].
Definition 2.8
(Interval complex) Realize the standard d-simplex \(\Delta ^d\) as the set of points \((a_1,a_2,\dotsc ,a_d) \in {\mathbb {R}}^d\) such that \(1 \ge a_1 \ge a_2 \ge \cdots \ge a_d \ge 0\). The interval complex associated with a balanced interval \([1,g]^G\) is a \(\Delta \)-complex (in the sense of [42]) having a d-simplex \([x_1|x_2|\cdots |x_d]\) for every \(x_1,x_2,\dotsc ,x_d \in [1,g]^G\) such that:
-
(i)
\(x_i \ne 1\) for all i;
-
(ii)
\(x_1x_2\cdots x_d \in [1,g]^G\);
-
(iii)
\(l(x_1x_2\cdots x_d) = l(x_1) + l(x_2) + \cdots + l(x_d)\).
The faces of a simplex \([x_1|\cdots |x_d]\) are as follows.
-
The face \(\{1=a_1\ge a_2\ge \cdots \ge a_d \ge 0 \}\) of \([x_1|\cdots |x_d]\) is glued to the \((d-1)\)-simplex \([x_2|\cdots | x_d]\) by sending \((1,a_2,\dotsc ,a_d)\) to \((a_2,\dotsc ,a_d) \in \Delta ^{d-1}\).
-
For \(1 \le i \le d-1\), the face \(\{1 \ge a_1 \ge \cdots \ge a_i = a_{i+1} \ge \cdots \ge a_d \ge 0\}\) of \([x_1|\cdots | x_d]\) is glued to the \((d-1)\)-simplex \([x_1|\cdots |x_ix_{i+1}|\cdots |x_d]\) by sending \((a_1,\dotsc ,a_i,a_i,a_{i+2},\dotsc ,a_d)\) to \((a_1,\dotsc ,a_i,a_{i+2},\dotsc ,a_d) \in \Delta ^{d-1}\).
-
Finally, the face \(\{1\ge a_1 \ge \cdots \ge a_d = 0\}\) of \([x_1|\cdots |x_d]\) is glued to the \((d-1)\)-simplex \([x_1|\cdots |x_{d-1}]\) by sending \((a_1,\dotsc ,a_{d-1},0)\) to \((a_1,\dotsc ,a_{d-1}) \in \Delta ^{d-1}\).
Notice that there is a unique vertex, which is indicated by \([\,]\). The 1-simplices are oriented going from 0 to 1 in \(\Delta ^1 = [0,1]\). See Fig. 2 for an example. The fact that \([1,g]^G\) is balanced ensures that the faces of a simplex also belong to the interval complex.
The fundamental group of the interval complex associated with \([1,g]^G\) is \(G_g\). This can be easily checked by looking at the 2-skeleton.
Theorem 2.9
[24, Theorem 3.1] If \([1,g]^G\) is a balanced lattice, then \(G_g\) is a Garside group and the interval complex associated with \([1,g]^G\) is a classifying space for \(G_g\).
2.6 Intervals in the group of Euclidean isometries
In this section, we recall the main result of [12]. Let \(V\cong {\mathbb {R}}^n\) be a n-dimensional Euclidean vector space, and let E be the associated affine space (where the origin has been forgotten). Given an affine subspace \(B \subseteq E\), denote by \({{\,\mathrm{\textsc {Dir}}\,}}(B) \subseteq V\) the space of directions of B. Given a subset \(U \subseteq V\), denote by \({{\,\mathrm{\textsc {Span}}\,}}(U)\) the linear subspace generated by U.
Let \(L = {{\,\mathrm{\textsc {Isom}}\,}}(E)\) be the group of Euclidean isometries of E. For every isometry \(u \in L\), define its move-set \({{\,\mathrm{\textsc {Mov}}\,}}(u) = \{ u(a) - a\mid a\in E \} \subseteq V\). This is an affine subspace of V, and it has a unique vector \(\mu \) of minimal norm. Define the min-set of u as \({{\,\mathrm{\textsc {Min}}\,}}(u) = \{ a\in E \mid u(a) = a+ \mu \} \subseteq E\). This is an affine subspace of E.
An isometry \(u \in L\) is called elliptic if it fixes at least one point, and hyperbolic otherwise. If u is elliptic, then \({{\,\mathrm{\textsc {Mov}}\,}}(u)\) is a linear subspace, \(\mu = 0\), and \({{\,\mathrm{\textsc {Min}}\,}}(u)\) coincides with the set of fixed points of u, which we denote by \({{\,\mathrm{\textsc {Fix}}\,}}(u)\). For every isometry \(u \in L\), there is an orthogonal decomposition \(V = {{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Mov}}\,}}(u)) \oplus {{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Min}}\,}}(u))\) [12, Lemma 3.6].
The group L is generated by the set R of all orthogonal reflections (where every reflection is assigned a weight of 1). The length l(u) computed using the generating set R is called the reflection length of u. If u is elliptic, then \(l(u) = {{\,\mathrm{codim}\,}}{{\,\mathrm{\textsc {Fix}}\,}}(u)\); if u is hyperbolic, then \(l(u) = \dim {{\,\mathrm{\textsc {Mov}}\,}}(u)+2\) [12, Theorem 5.7].
Definition 2.10
(Global poset [12, Definition 7.1]) Define the global poset \((P, \le )\) as the set containing an element \(e^B\) for every affine subspace \(B \subseteq E\), and an element \(h^M\) for every non-linear affine subspace \(M \subseteq V\). The order relations in P are as follows: \(h^M \le h^{M'}\) if \(M \subseteq M'\); \(e^B \le e^{B'}\) if \(B \supseteq B'\); \(e^B < h^M\) if \({{\,\mathrm{\textsc {Span}}\,}}(M)^\perp \subseteq {{\,\mathrm{\textsc {Dir}}\,}}(B)\). Define also an invariant map \({{\,\mathrm{inv}\,}}:L \rightarrow P\) that sends u to \(e^{{{\,\mathrm{\textsc {Fix}}\,}}(u)}\) if u is elliptic, and to \(h^{{{\,\mathrm{\textsc {Mov}}\,}}(u)}\) if u is hyperbolic.
Theorem 2.11
[12, Theorem 8.7] For every isometry \(u \in L\), the restriction of the invariant map is a poset isomorphism between the interval \([1,u]^L\) and the model poset \(P(u) = P_{\le \,{{\,\mathrm{inv}\,}}(u)}\).
2.7 Dual Artin groups
In this section we recall the definition and some properties of dual Artin groups associated with a Coxeter group W, focusing on the cases where W is finite or affine. See [5, 14, 15] for the finite case, and [48, 49] for the affine case.
Let W be a Coxeter group, R its set of reflections, and \(S \subseteq R\) a set of simple reflections. Assign a weight of 1 to every reflection \(r \in R\). Let w be a Coxeter element, obtained as a product of the elements of S. The dual Artin group with respect to w is the interval group \(W_w\) constructed using R as the generating set of W.
The properties of a dual Artin group are strictly related to the combinatorics of its defining interval \([1,w]^W\), which in turn depends on the geometry of the Coxeter element w. The interval \([1,w]^W\) is a graded poset of rank |S|. As explained in Sect. 2.5, the edges of the Hasse diagram of \([1,w]^W\) are naturally labeled by a subset \(R_0 \subseteq R\). Maximal chains in \([1,w]^W\) correspond to minimal length factorizations of w as a product of reflections.
Since the set R of reflections is closed under conjugation, it is possible to rewrite factorizations as follows (this is a consequence of the so called Hurwitz action).
Lemma 2.12
[48, Lemma 3.7] Let \(u = r_1r_2\cdots r_m\) be a reflection factorization in a Coxeter group W. For any selection \(1 \le i_1< i_2< \cdots < i_j \le m\) of positions, there is a length m reflection factorization of u whose first j reflections are \(r_{i_1}r_{i_2}\cdots r_{i_j}\), and another length m reflection factorization of u where these are the last j reflections.
If the Coxeter graph of W is a tree, then all its Coxeter elements are geometrically equivalent, and give rise to isomorphic intervals \([1,w]^W\) [48, Proposition 7.5]. This is the case for all irreducible finite and affine Coxeter groups except \({{\tilde{A}}}_n\). In the case \({{\tilde{A}}}_n\), there are \(\lfloor \frac{n+1}{2} \rfloor \) equivalence classes of Coxeter elements: a choice of representatives is given by (p, q)-bigon Coxeter elements, where (p, q) is a pair or positive integers such that \(p \ge q\) and \(p+q = n+1\) [48, Definition 7.7].
The generating set \(R_0 \subseteq R\) of a dual Artin group contains S (for a general Coxeter group, this follows from Lemma 5.1). Then there is a natural group homomorphism from the usual Artin group \(G_W\) to the dual Artin group \(W_w\).
Theorem 2.13
[5, 14, 49] If W is a finite or affine Coxeter group, the natural homomorphism \(G_W \rightarrow W_w\) is an isomorphism.
It is not known in general whether a dual Artin group is isomorphic to the corresponding Artin group, or whether the isomorphism type of a dual Artin group depends on the chosen Coxeter element w.
One important motivation to introduce dual Artin groups is that sometimes they are Garside groups. For example, this happens if W is finite.
Theorem 2.14
[5, 15] If W is a finite Coxeter group, the interval \([1,w]^W\) is a lattice for every Coxeter element w. Therefore the dual Artin group \(W_w\) is a Garside group.
The intervals \([1,w]^W\) that arise from finite Coxeter groups W are well-studied, and are called (generalized) noncrossing partition lattices (see [1]). They are known to be EL-shellable [2]. By analogy with the finite case, for any Coxeter group W and Coxeter element w, we call the interval \([1,w]^W\) a noncrossing partition poset associated with W.
Suppose now that W is an irreducible affine Coxeter group, acting as a reflection group on \(E = {\mathbb {R}}^n\), where n is the rank of W. The Coxeter element w is a hyperbolic isometry of reflection length \(n+1\), and its min-set is a line \(\ell \) called the Coxeter axis [48, Proposition 7.2]. We gain some insight on the structure of the interval \([1,w]^W\) by comparing it with the interval \([1,w]^L\) in the group of all Euclidean isometries of E (see Sect. 2.6).
Lemma 2.15
(cf. [48]) Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. Then the inclusion \([1,w]^W \hookrightarrow [1,w]^L\) is order-preserving and rank-preserving. In particular, \(u\le v\) in \([1,w]^W\) implies \({{\,\mathrm{inv}\,}}(u) \le {{\,\mathrm{inv}\,}}(v)\) in the model poset P(w).
Proof
The length functions of W and L agree on the Coxeter element w, so they agree on the entire interval \([1,w]^W\). As a consequence, \([1,w]^W \subseteq [1,w]^L\). In addition, if we have \(u \le v\) in \([1,w]^W\), then \(u^{-1}v \in [1,w]^W\) and \(l(u^{-1}v) = l(v)-l(u)\). Since the length functions agree, we have \(u \le v\) also in \([1,w]^L\). The last part of the statement follows from Theorem 2.11. \(\square \)
Notice that \([1,w]^W\) is not a subposet of \([1,w]^L\) in general: it is possible to have \(u, v \in [1,w]^W\) with \(u \not \le v\) in \([1,w]^W\), but \(u \le v\) in \([1,w]^L\) (see Example 3.31). However, if \(W'\) is a finite Coxeter group (acting as a reflection group on the vector space \(V = {\mathbb {R}}^n\)) and \(w'\) is one of its Coxeter elements, then \([1,w']^{W'}\) is known to be a subposet of \([1,w']^{{{\,\mathrm{\textsc {Isom}}\,}}(V)}\) [15, Sections 2 and 3]. Then, in the affine case, we can show that the condition \({{\,\mathrm{inv}\,}}(u) \le {{\,\mathrm{inv}\,}}(v)\) implies \(u \le v\) in \([1,w]^W\) whenever u and v are elliptic. In this case, the condition \({{\,\mathrm{inv}\,}}(u) \le {{\,\mathrm{inv}\,}}(v)\) means \({{\,\mathrm{\textsc {Fix}}\,}}(u) \supseteq {{\,\mathrm{\textsc {Fix}}\,}}(v)\).
Lemma 2.16
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. If \(u,v \in [1,w]^W\) are elliptic elements with \({{\,\mathrm{\textsc {Fix}}\,}}(u) \supseteq {{\,\mathrm{\textsc {Fix}}\,}}(v)\), then \(u \le v\) in \([1,w]^W\).
Proof
We proceed by induction on l(u), the case \(l(u)=0\) being trivial. Suppose from now on that \(l(u) \ge 1\). Let \(W'\) be the subgroup of W generated by the reflections in \([1,u]^W \cup [1,v]^W\). By [44, Theorem 8.2] this is a Coxeter group, and its set of reflections contains \(R \cap ([1,u]^W \cup [1,v]^W)\). Every reflection in a minimal length factorization of u (resp. v) in W belongs to \([1,u]^W\) (resp. \([1,v]^W\)), and so it belongs to \(W'\). This means that the minimal length factorizations of u and v are the same in W and \(W'\).
For every reflection r in \([1,u]^W \cup [1,v]^W\), we have \({{\,\mathrm{\textsc {Fix}}\,}}(r) \supseteq {{\,\mathrm{\textsc {Fix}}\,}}(v)\) by Lemma 2.15. Therefore every element of \(W'\) fixes \({{\,\mathrm{\textsc {Fix}}\,}}(v)\), and so \(W'\) is finite. By [5, Lemma 1.2.1] (see also [2, 14, 15]), every reflection \(r \in W'\) is part of a minimal length factorization of v in \(W'\), and so also in W, thus \(r \in [1,v]^W\). This proves that \(R \cap [1,u]^W \subseteq R \cap [1,v]^W\).
Let r be any reflection in \([1,u]^W\) (there is at least one reflection because \(l(u) \ge 1\)). We have \({{\,\mathrm{\textsc {Fix}}\,}}(r) \supseteq {{\,\mathrm{\textsc {Fix}}\,}}(u) \supseteq {{\,\mathrm{\textsc {Fix}}\,}}(v)\) by Lemma 2.15, and therefore \(r \le u \le v\) in \([1,w]^L\) by Theorem 2.11. If we write \(u = ru'\) and \(v = rv'\), we have \(u' \le v'\) in \([1,w]^L\), and so \({{\,\mathrm{\textsc {Fix}}\,}}(u') \supseteq {{\,\mathrm{\textsc {Fix}}\,}}(v')\). Since \(r \in [1,u]^W\), we have \(u' \in [1,u]^W \subseteq [1,w]^W\) and \(l(u') = l(u)-1\). In addition, since \(r \in [1,v]^W\), we have \(v' \in [1,v]^W \subseteq [1,w]^W\). By induction, \(u' \le v'\) in \([1,w]^W\). This implies that \(u \le v\) in \([1,w]^W\). \(\square \)
The direction of the Coxeter axis \(\ell \) is declared to be vertical, and the orthogonal directions are horizontal. An elliptic isometry is horizontal if it moves every point in a horizontal direction, and it is vertical otherwise [49, Definition 5.3]. Given \(u \in [1,w]^W\), the right complement of u is the unique \(v\in [1,w]^W\) such that \(uv=w\). Define the left complement similarly.
Lemma 2.15 and some geometric considerations in [12] allow to coarsely describe the combinatorial structure of the interval \([1,w]^W\).
Proposition 2.17
(cf. [49, Definitions 5.4 and 5.5]) The elements \(u \in [1,w]^W\) are split into 3 rows according to the following cases (where v is the right complement of u):
-
(bottom row) u is horizontal elliptic and v is hyperbolic;
-
(middle row) both u and v are vertical elliptic;
-
(top row) u is hyperbolic and v is horizontal elliptic.
The bottom and the top rows contain a finite number of elements, whereas the middle row contains infinitely many elements.
This coarse structure has the following implications, given elements \(u \le v\) in \([1,w]^W\): if v is elliptic, then u is elliptic; if v is horizontal elliptic, then u is horizontal elliptic; if u is vertical, then v is vertical; if u is hyperbolic, then v is hyperbolic.
The roots corresponding to horizontal reflections form a root system \(\Phi _{\text {hor}}\subseteq \Phi \), called the horizontal root system associated with the Coxeter element \(w \in W\). It decomposes as a disjoint union of orthogonal irreducible root systems of type A, as described in Table 1. The number k of irreducible components varies from 1 to 3. See [48, Section 11] and Appendix A.
Theorem 2.18
[31, 32, 48] Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. The interval \([1,w]^W\) is a lattice (and thus \(W_w\) is a Garside group) if and only if the horizontal root system associated with w is irreducible. This happens in the cases \({{\tilde{C}}}_n\), \({{\tilde{G}}}_2\), and \({{\tilde{A}}}_n\) if w is a (n, 1)-bigon Coxeter element.
Since the interval \([1,w]^W\) is not a lattice in general, in [49] a new group of isometries \(C \supseteq W\) is constructed, with the property that \([1,w]^C\) is a balanced lattice and \([1,w]^W \subseteq [1,w]^C\). The corresponding interval group \(C_w\) (called braided crystallographic group) is a Garside group, and there is a natural inclusion \(W_w \subseteq C_w\). By Theorem 2.9, the interval complex \(K_C\) associated with \([1,w]^C\) is a (finite-dimensional) classifying space for \(C_w\). The cover of \(K_C\) corresponding to the subgroup \(W_w\) is a classifying space for the (dual) affine Artin group \(W_w\). Therefore affine Artin groups admit a finite-dimensional classifying space. We come back to braided crystallographic groups in Sect. 6, where we show that the interval complex \(K_W\) associated with \([1,w]^W\) is a classifying space for \(W_w\) (this complex is much simpler than the aforementioned cover of \(K_C\)).
In the subsequent sections, we sometimes suppress the superscript W when writing intervals \([1,u]^W\) in a Coxeter group W, and simply write [1, u].
3 Affine Coxeter elements
This section is devoted to proving some results on the geometry of Coxeter elements of affine Coxeter groups, expanding the theory of [48, 49]. We start by recalling, in Sect. 3.1, the results of [48, Sections 8 and 9] on bipartite Coxeter elements. In Sect. 3.2 we develop a parallel theory for the case \({{\tilde{A}}}_n\). In Sect. 3.3 we prove a few structural results for the elements of the interval [1, w]. Finally, in Sect. 3.4 we make a digression on the geometry of the irreducible horizontal components.
This section goes hand in hand with the Appendix, where we carry out explicit computations for the four infinite families of irreducible affine Coxeter groups. A few results of Sect. 3.2 and one technical lemma of Sect. 3.3 are checked by hand in the Appendix. The Appendix can be also used as a source of additional examples.
Let W be an irreducible affine Coxeter group, acting faithfully by Euclidean isometries on \(E = {\mathbb {R}}^n\) where n is the rank of W, as described in Sect. 2.1. Let \(R \subseteq W\) be the set of reflections, w a Coxeter element of W, and \(\ell = {{\,\mathrm{\textsc {Min}}\,}}(w) \subseteq E\) the Coxeter axis of w. Denote by \({\mathcal {A}}\) the reflection arrangement associated with the action of W on E.
The shortest vector \(\mu \) in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\) gives an orientation to the Coxeter axis \(\ell \): we say that a point \(a\in \ell \) is above a point \(b\in \ell \) (or, equivalently, \(b\) is below \(a\)) if \(a-b\) is a positive multiple of \(\mu \). We also say that \(\mu \) points towards the positive direction of \(\ell \), whereas \(-\mu \) points towards the negative direction.
3.1 Bipartite Coxeter elements
Definition 3.1
A bipartite Coxeter element is a Coxeter element \(w \in W\) for which there exist a set of simple reflections \(S \subseteq R\) and a bipartition \(S = S_0 \sqcup S_1\) of the Coxeter graph (i.e. the reflections in \(S_0\) pairwise commute, and so do the reflections in \(S_1\)) such that \(w = w_1w_0\), where \(w_i\) is the product of the elements of \(S_i\) in some order.
If the Coxeter graph of W is a tree, then every Coxeter element \(w \in W\) is a bipartite Coxeter element [48, Corollary 7.6]. In particular, this happens for all irreducible affine Coxeter groups except \({{\tilde{A}}}_n\).
Let w be a bipartite Coxeter element, as in Definition 3.1. Let \(C_0\) be the (open) chamber of the Coxeter complex corresponding to the set S of simple reflections so that the elements of \(S = S_0 \sqcup S_1\) are the reflections with respect to the walls of \(C_0\). Let \(F_i\) be the face of \(C_0\) determined by the intersection of the hyperplanes of the reflections in \(S_i\), and let \(B_i\) be the affine span of \(F_i\). There is a unique pair of points \(p_i \in B_i\) that realize the minimum distance between \(B_0\) and \(B_1\). Each \(p_i\) lies in the relative interior of the corresponding face \(F_i\) [48, Lemma 8.5]. The line determined by \(p_0\) and \(p_1\) is exactly the Coxeter axis \(\ell \) [48, Proposition 8.8], and it intersects \(C_0\) [48, Lemma 8.5].
Each \(w_i\) is an involution, and it restricts to a reflection on the Coxeter axis \(\ell \) that fixes only \(p_i\) [48, Lemma 8.7]. Then \(w_0\) and \(w_1\) generate an infinite dihedral group that acts on \(\ell \). Using this action, we can extend the definitions of \(F_i\), \(B_i\), and \(p_i\) to arbitrary subscripts \(i \in {\mathbb {Z}}\): let \(F_{-i}\) (resp. \(B_{-i}\), or \(p_{-i}\)) be the image of \(F_i\) (resp. \(B_i\), or \(p_i\)) under \(w_0\), and let \(F_{2-i}\) (resp. \(B_{2-i}\), or \(p_{2-i}\)) be the image of \(F_i\) (resp. \(B_i\), or \(p_i\)) under \(w_1\). We obtain a sequence of equally spaced points \(p_i\) along the line \(\ell \), with \(p_{i+1} - p_i = \frac{1}{2} \mu \) (where \(\mu \) is the shortest vector in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\)). The axial chambers are given by all possible images of the chamber \(C_0\) under this dihedral group action. Their vertices are called axial vertices.
Remark 3.2
If b is an axial vertex in the face \(F_i\) (for some \(i \in {\mathbb {Z}}\)), then \(w^j(b)\) is an axial vertex in \(F_{i+2j}\). Therefore every axial chamber has exactly one vertex in the orbit \(\{ w^j(b) \mid j \in {\mathbb {Z}}\}\).
Theorem 3.3
[48, Theorem 8.10] Let W be an irreducible affine Coxeter group not of type \({{\tilde{A}}}_n\), and w one of its Coxeter elements. For every axial chamber C there is a bipartite factorization \(w = w_+w_-\), where \(w_+\) (resp. \(w_-\)) is the product of the reflections with respect to the walls of C that intersect \(\ell \) above (resp. below) C.
If a hyperplane H of a reflection of W crosses the Coxeter axis \(\ell \), then there is an index i such that H contains all of \(F_i\), all but one vertex of \(F_{i-1}\) and all but one vertex of \(F_{i+1}\) [48, Corollary 8.11].
Lemma 3.4
[48, Lemma 9.3] Let W be an irreducible affine Coxeter group not of type \({{\tilde{A}}}_n\), and w one of its Coxeter elements. Let H be the hyperplane of a vertical reflection r in W that intersects the Coxeter axis \(\ell \) at the point \(p_i\). If \(b\) and \(b'\) are the unique vertices of \(F_{i-1}\) and \(F_{i+1}\) not contained in H, then w sends \(b\) to \(b'\), r swaps \(b\) and \(b'\), rw fixes \(b\), and wr fixes \(b'\). Moreover, the elliptic isometry rw (resp. wr) is a Coxeter element for the finite parabolic subgroup of W that fixes \(b\) (resp. \(b'\)).
Theorem 3.5
[48, Propositions 9.4 and 9.5, Theorem 9.6] Let W be an irreducible affine Coxeter group not of type \({{\tilde{A}}}_n\), and w one of its Coxeter elements. Every vertical reflection \(r \in W\) is in [1, w], and fixes many axial vertices. A horizontal reflection \(r \in W\) is in [1, w] if and only if it fixes at least one axial vertex.
Coxeter complex of type \({{\tilde{G}}}_2\) [49, Figure 11]
Example 3.6
(Case \({{\tilde{G}}}_2\)) Figure 3 shows the Coxeter complex of a Coxeter group of type \({{\tilde{G}}}_2\). Every Coxeter element w is a glide reflection, whose glide axis is the Coxeter axis \(\ell = {{\,\mathrm{\textsc {Min}}\,}}(w)\) (the dashed line). The axial chambers are shaded, and the axial vertices are colored, with one color for each w-orbit (see Remark 3.2). We use the notation of [49, Definition 5.10] to indicate the reflections in \(R_0 = R \cap [1,w]\): let \(C_0\) be the darkly shaded chamber in Fig. 3; let \(p_0 \in \ell \) be below \(C_0\), and \(p_1 \in \ell \) above \(C_0\); denote by \(a_i\) (for \(i \equiv 1\) mod 4) the reflection with respect to the line of slope \(-\sqrt{3}\) passing through the point \(p_i \in \ell \); similarly, denote by \(b_j, c_k, d_i, e_j\) the vertical reflections with slopes \(-\frac{1}{\sqrt{3}}, 0, \frac{1}{\sqrt{3}}, \sqrt{3}\), respectively (they are defined for \(i \equiv 1\) mod 4, \(j \equiv 3\) mod 4, and \(k \equiv 0\) mod 2); finally, let f and \(f'\) be the two horizontal reflections of [1, w]. The walls of \(C_0\) are the fixed lines of \(a_1, d_1, c_0\). A bipartite factorization of w is \(w=a_1d_1c_0\).
3.2 Coxeter elements of type \({{\tilde{A}}}_n\)
If W is a Coxeter group of type \({{\tilde{A}}}_n\), most of its Coxeter elements are not bipartite, and thus the theory of Sect. 3.1 does not apply. In this section, we derive a parallel theory and highlight the most important differences with the bipartite case.
As shown in [48, Section 7], every Coxeter element is geometrically equivalent to a (p, q)-bigon Coxeter element, for a unique pair (p, q) of positive integers such that \(p \ge q\) and \(p+q = n+1\). Therefore there are exactly \(\lfloor \frac{n+1}{2} \rfloor \) distinct equivalence classes of Coxeter elements. For the explicit construction of (p, q)-bigon Coxeter elements, see Sect. A.1 in the Appendix. The first four results in this section (Lemma 3.7, Theorem 3.8, Propositions 3.9 and 3.10) are verified in the Appendix by explicit computation.
Lemma 3.7
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w one of its (p, q)-bigon Coxeter elements. The Coxeter axis \(\ell \) is not contained in any reflection hyperplane of W, and it intersects the vertical hyperplanes in an infinite sequence of equally spaced points \(\{p_i\}_{i \in {\mathbb {Z}}}\). More precisely we have \(p_{i+1} - p_i = \frac{\gcd (p,q)}{p+q} \mu \), where \(\mu \) is the shortest vector of \({{\,\mathrm{\textsc {Mov}}\,}}(w)\). In particular, \(w(p_i) = p_j\) with \(j = i + \frac{p+q}{\gcd (p,q)}\).
As in the bipartite case, the chambers that intersect the Coxeter axis \(\ell \) are called axial chambers, and the vertices of the axial chambers are called axial vertices. The following theorem is the analog of Theorem 3.3, and describes how axial chambers yield a factorization of w.
Theorem 3.8
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w one of its (p, q)-bigon Coxeter elements with \(p \ge q\). Fix an axial chamber C, and let \(S_C \subseteq R\) be the set of the \(n+1\) reflections with respect to the walls of C. Write \(S_C = S^+ \sqcup S^- \sqcup S^{\text {hor}}\), where \(S^+\) (resp. \(S^-\)) consists of the reflections that intersect the Coxeter axis \(\ell \) above (resp. below) \(C \cap \ell \), and \(S^{\text {hor}}\) consists of the horizontal reflections. Then:
-
(i)
\(|S^+| = |S^-| = q\), and \(|S^{\text {hor}}| = p-q\);
-
(ii)
the reflections in \(S^+\) (resp. \(S^-\)) pairwise commute;
-
(iii)
w can be written as a product of the reflections in \(S_C\), where the reflections in \(S^+\) come first, and the reflections in \(S^-\) come last.
The next result describes how the vertical hyperplanes of the arrangement \({\mathcal {A}}\) intersect the Coxeter axis \(\ell \). Unlike the bipartite case, the vertical walls of an axial chamber C can intersect \(\ell \) outside of its closure \({\bar{C}}\).
Proposition 3.9
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w one of its (p, q)-bigon Coxeter elements with \(p \ge q\).
-
(i)
Let \(a\in \ell \) be a point which is fixed by at least one vertical reflection of W. There are exactly \(\gcd (p,q)\) vertical reflections of W that fix \(a\), and they pairwise commute.
-
(ii)
Let \(\{p_i\}_{i \in {\mathbb {Z}}}\) be the sequence of points of Lemma 3.7, and let C be an axial chamber that intersects \(\ell \) between \(p_i\) and \(p_{i+1}\). A vertical hyperplane of \({\mathcal {A}}\) is a wall of C if and only if it intersects \(\ell \) in one of the 2m consecutive points \(p_{i-m+1}, p_{i-m+2}, \dotsc , p_{i+m}\), where \(m = \frac{q}{\gcd (p,q)}\).
The following result gives some insight into the geometry of axial vertices. The first part is the \({{\tilde{A}}}_n\) analog of Remark 3.2.
Proposition 3.10
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w one of its (p, q)-bigon Coxeter elements. Let b be an axial vertex.
-
(i)
Every axial chamber has exactly one vertex in the set \(\{ w^j(b) \mid j \in {\mathbb {Z}}\}\).
-
(ii)
There are exactly \(\frac{p+q}{\gcd (p,q)}\) axial chambers having b as one of their vertices, and they are consecutive (i.e. the union of their closures intersects the Coxeter axis \(\ell \) in a connected set).
Remark 3.11
(Bipartite case) If n is odd and \(p=q=\frac{n+1}{2}\), then w is a bipartite Coxeter element, and we recover the results of Sect. 3.1. In particular, part (iii) of Theorem 3.8 reduces to the bipartite factorization \(w = w_+w_-\) of Theorem 3.3.
Example 3.12
(Case \({{\tilde{A}}}_2\)) Figure 4 shows the Coxeter complex of a Coxeter group of type \({{\tilde{A}}}_2\). Every (2, 1)-bigon Coxeter element w is a glide reflection, whose glide axis is the Coxeter axis \(\ell = {{\,\mathrm{\textsc {Min}}\,}}(w)\) (the dashed line). As in Fig. 3, the axial chambers are shaded, and the axial vertices are colored, with one color for each w-orbit (see part (i) of Proposition 3.10). We use a notation similar to Example 3.6: let \(C_0\) be the darkly shaded chamber; let \(p_0 \in \ell \) be the point immediately below \(C_0\), and \(p_1 \in \ell \) the point immediately above \(C_0\); denote by \(a_i\) the vertical reflection that fixes \(p_i\) for \(i \equiv 1\) mod 2; denote by \(c_j\) the vertical reflection that fixes \(p_j\) for \(j \equiv 0\) mod 2; finally, let b and \(b'\) be the two horizontal reflections adjacent to the Coxeter axis \(\ell \) (by Theorem 3.17 below, these are precisely the horizontal reflections of [1, w]). The walls of \(C_0\) are the fixed lines of \(a_1, b, c_0\), and \(w = a_1bc_0\).
If H is the fixed hyperplane of some vertical reflection of W, there is a well-defined axial chamber which is immediately above H, and one which is immediately below H. These are the only two chambers that intersect a small neighborhood of \(H \cap \ell \) in \(\ell \). Denote them by \(C_H^+\) and \(C_H^-\), respectively. By part (i) of Proposition 3.9, all the vertical reflections fixing \(H \cap \ell \) pairwise commute. Therefore they are all walls of \(C_H^+\) and \(C_H^-\). This proves the following analog of [48, Corollary 8.11].
Corollary 3.13
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w a Coxeter element of W. If the fixed hyperplane H of a reflection in W crosses the axis \(\ell \), then H is the affine span of a facet of an axial chamber.
The following is the \({{\tilde{A}}}_n\) analog of Lemma 3.4.
Lemma 3.14
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w one of its Coxeter elements. Let r be a vertical reflection in W, \(H = {{\,\mathrm{\textsc {Fix}}\,}}(r)\), and \(b^-\) (resp. \(b^+\)) the unique vertex of \(C_H^-\) (resp. \(C_H^+\)) which is not in H. Then the elliptic isometry rw (resp. wr) is a Coxeter element for the finite parabolic subgroup of W that fixes \(b^-\) (resp. \(b^+\)).
Proof
Apply Theorem 3.8 to the axial chamber \(C = C_H^-\). Since \(r \in S^+\), the Coxeter element w can be written as a product \(rr_2\cdots r_{n+1}\), where \(r_2, \dotsc , r_{n+1}\) are the reflections with respect to the other walls \(H_2, \dotsc , H_{n+1}\) of \(C_H^-\). The walls \(H_2, \dotsc , H_{n+1}\) bound a chamber of the finite parabolic subgroup of W that fixes \(b^-\), so \(rw = r_2\cdots r_{n+1}\) is a Coxeter element for this subgroup. Similarly, wr is a Coxeter element for the finite parabolic subgroup that fixes \(b^+\). \(\square \)
Remark 3.15
In the proof of Lemma 3.14, the chamber \(C_H^-\) (resp. \(C_H^+\)) can be replaced with any axial chamber C that intersects \(\ell \) below (resp. above) \(H \cap \ell \) and such that H is a wall of C. However, the statement of Lemma 3.14 makes it clear that at least one such chamber C exists, so rw and wr are indeed parabolic Coxeter elements.
Lemma 3.16
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w one of its Coxeter elements. For every axial vertex \(b\), there exists an axial chamber C such that \(b\) is a vertex of C and the wall of C opposite to \(b\) is vertical.
Proof
Let C be the lowest axial chamber such that \(b\) is a vertex of C. Suppose by contradiction that the wall of C opposite to \(b\) is horizontal. Then \(b\) is fixed by all the reflections with respect to the vertical walls of C. Let \(a\) be the lowest point of \({\bar{C}} \cap \ell \), and let \(S_a\) be the set of the (vertical) reflections of W that fix \(a\). By part (i) of Proposition 3.9, the reflections in \(S_a\) pairwise commute. Then their product fixes \(b\) and sends C to an axial chamber \(C'\) which is below C. This is a contradiction. \(\square \)
We are now ready to prove the \({{\tilde{A}}}_n\) analog of Theorem 3.5.
Theorem 3.17
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w one of its Coxeter elements. Every vertical reflection \(r \in W\) is in [1, w], and fixes many axial vertices. A horizontal reflection \(r \in W\) is in [1, w] if and only if it fixes at least one axial vertex.
Proof
For the first part, it is enough to apply Theorem 3.8 to \(C_H^+\) or \(C_H^-\), where \(H = {{\,\mathrm{\textsc {Fix}}\,}}(r)\).
For the second part, suppose that r is a horizontal reflection in [1, w], so there is a factorization \(w = r_1r_2\cdots r_n r\) that ends with r. Since w is vertical, at least one of the \(r_i\) is vertical. By Lemma 2.12 we can move this reflection to the beginning, and thus assume that \(r_1\) is vertical. Then \(r \le w' = r_1w\), and \(w'\) is an elliptic isometry that fixes an axial vertex \(b^-\) by Lemma 3.14. Since \({{\,\mathrm{\textsc {Fix}}\,}}(w') \subseteq {{\,\mathrm{\textsc {Fix}}\,}}(r)\) (Lemma 2.15), we have that r fixes \(b^-\).
On the other hand, suppose that \(r \in W\) is a (horizontal) reflection that fixes some axial vertex \(b\). By Lemma 3.16, we have that \(b\) is a vertex of some axial chamber C such that the wall \(H'\) of C opposite to \(b\) is vertical. Let \(r'\) be the reflection with respect to \(H'\). By Lemma 3.14 and Remark 3.15, one of \(r'w\) and \(wr'\) is a Coxeter element for the finite parabolic subgroup of W that fixes \(b\). Recall that every reflection in a finite Coxeter group occurs in some minimal length factorization of any of its Coxeter elements [5, Lemma 1.3.3]. Therefore \(r \le r'w\) or \(r \le wr'\), and so \(r \le w\). \(\square \)
3.3 Isometries below an affine Coxeter element
Now that the case \({{\tilde{A}}}_n\) is well understood, we turn to the general case of an irreducible affine Coxeter group and prove a few more results about the elements of the interval [1, w].
Lemma 3.18
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. For every axial vertex \(b\), there exists a unique element \(w_b\in [1,w]\) which is a Coxeter element for the finite parabolic subgroup of W that fixes \(b\).
Proof
Let C be an axial chamber such that \(b\) is a vertex of C. Denote by \(r, r_1,\dotsc ,r_n\) the reflections with respect to the walls of C, where r is the reflection that does not fix \(b\). By Theorem 3.8 (for the case \({{\tilde{A}}}_n\)) and Theorem 3.3 (for the other cases), the Coxeter element w can be written as a product of the reflections \(r, r_1,\dotsc ,r_n\) in some order. Remove r from this factorization, and let \(w_b\) be the product of the remaining reflections in the same relative order. Then \(w_b\in [1, w]\) by Lemma 2.12. By construction, \(w_b\) is a Coxeter element for the finite parabolic subgroup of W that fixes \(b\). Every such element \(w_b' \in [1,w]\) has a fix-set equal to \(\{b\}\), so uniqueness follows from Lemma 2.15. \(\square \)
Lemma 3.19
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. For every elliptic element \(u \in [1,w]\), there exists an axial vertex \(b\) such that \(u \le w_b\), where \(w_b\) is the unique element of [1, w] which is a Coxeter element for the finite parabolic subgroup that fixes \(b\) (see Lemma 3.18). In particular, u fixes at least one axial vertex \(b\).
Proof
Let v be the right complement of u, so that \(uv = w\). Let \(v = r_1\cdots r_m\) be a minimal length factorization of v as a product of reflections. Since u is elliptic, v is vertical and therefore at least one \(r_i\) is a vertical reflection. By Lemma 2.12 we can move this reflection to the end, and thus assume that \(r_m\) is vertical. By Lemma 3.14 (for the case \({{\tilde{A}}}_n\)) and Lemma 3.4 (for the other cases), \(wr_m = ur_1\cdots r_{m-1}\) is a Coxeter element for the finite parabolic subgroup of W that fixes an axial vertex \(b\). By construction, \(u \le w r_m\). \(\square \)
Given an element \(u \in [1,w]\), denote by \(W_u\) the subgroup of W generated by the reflections in [1, u] (or, equivalently, by all the elements of [1, u]). Then \(W_u\) is a Coxeter group having \(R \cap W_u\) as its set of reflections, by [44, Theorem 8.2] (see also [30, 35]). Denote by \({\mathcal {A}}_u = \{ {{\,\mathrm{\textsc {Fix}}\,}}(r) \mid r \in R \cap W_u \} \subseteq {\mathcal {A}}\) the reflection arrangement associated with the Coxeter group \(W_u\).
Lemma 3.20
(Hyperbolic-horizontal decomposition) Let W be an irreducible affine Coxeter group, w one of its Coxeter elements, and \(u \in [1,w]\) a hyperbolic element. There exists a unique decomposition \(u=u'h\) such that:
-
(1)
\(u', h \in [1,u]\), \(u'\) is hyperbolic, h is horizontal elliptic, and \(l(u) = l(u') + l(h)\);
-
(2)
\(W_u\) is the direct product of the Coxeter subgroups \(W_{u'}\) and \(W_{h}\);
-
(3)
\(W_{u'}\) is an irreducible affine Coxeter subgroup;
-
(4)
\(W_h\) is a finite horizontal Coxeter subgroup;
-
(5)
\([1,u] = [1,u'] \times [1,h]\).
Proof
Decompose the Coxeter group \(W_u\) as a direct product of irreducible subgroups: \(W_u = W_1 \times \cdots \times W_t\). Then \(u \in W_u\) can be written uniquely as \(u = u_1\cdots u_t\) with \(u_i \in W_i\).
Since u is hyperbolic, its right complement v is horizontal elliptic. Let \(u = r_1\cdots r_m\) be a minimal length factorization of u as a product of reflections. Since u is vertical, at least one \(r_i\) is a vertical reflection. By Lemma 2.12 we can move this reflection to the beginning, and thus assume that \(r_1\) is vertical. Therefore its right complement \(r_2\cdots r_m v\) is vertical elliptic, and in particular \(r_{2}\cdots r_m\) is elliptic. Each reflection \(r_i\) belongs to one of the irreducible components \(W_j\). Without loss of generality, assume that \(r_1, \dotsc , r_k \in W_1\) and \(r_{k+1}, \dotsc , r_m \in W_2 \times \cdots \times W_t\), for some \(k \in \{1, \dotsc , m\}\). By uniqueness of the decomposition \(u=u_1\cdots u_t\), we have that \(u_1 = r_1\cdots r_k\) and \(u_2\cdots u_t = r_{k+1}\cdots r_m\). In particular, both \(u_1\) and \(u_2\cdots u_t\) belong to the interval [1, u], and \(l(u) = l(u_1) + l(u_2\cdots u_t) = l(u_1) + l(u_2) + \cdots + l(u_t)\).
Denote by \(\alpha _1, \dotsc , \alpha _m\) the roots corresponding to \(r_1, \dotsc , r_m\). Since \(u_2\cdots u_t = r_{k+1} \cdots r_m\) is elliptic, the roots \(\alpha _{k+1}, \dotsc , \alpha _m\) are linearly independent by [12, Lemma 6.4]. Suppose by contradiction that \(u_1 = r_1\cdots r_k\) is also elliptic. Then for the same reason the roots \(\alpha _1,\dotsc , \alpha _k\) are linearly independent. Therefore the roots \(\alpha _1,\dotsc , \alpha _m\) are linearly independent, so u is elliptic by [12, Lemma 6.4], and this is a contradiction. We deduce that \(u_1\) is hyperbolic. This implies that its right complement \(r_{k+1}\cdots r_m v\) is horizontal elliptic, so the reflections \(r_{k+1}, \dotsc , r_m\) are horizontal. Then \(u_2\cdots u_t = r_{k+1}\cdots r_m\) is horizontal elliptic.
Recall that \(W_u\) is generated by the reflections in [1, u]. Each reflection \(r \in [1,u]\) belongs to exactly one irreducible factor \(W_i\), and so is part of a minimal length factorization of \(u_i\), which implies that \(r \in [1,u_i]\). Therefore \(W_i\) is equal to the subgroup \(W_{u_i} \subseteq W\) generated by the reflections in \([1,u_i]\). For all \(i \ge 2\) we have that \(u_i\) is horizontal elliptic, so all the elements of \(W_{u_i}\) are horizontal. Then the irreducible factor \(W_1 = W_{u_1}\) is uniquely determined as the only factor which contains at least one vertical reflection.
Define \(u' = u_1\) and \(h = u_2\cdots u_t\). Notice that \(W_h\) is the group generated by the reflections in [1, h], i.e. the reflections in \([1,u_2] \cup \cdots \cup [1,u_t]\), so \(W_h = W_{u_2} \times \cdots \times W_{u_t} = W_2 \times \cdots \times W_t\). Therefore \(W_u = W_{u'} \times W_h\). This, together with the fact that \(W_h\) is horizontal and \(W_{u'}\) is irreducible, is enough to ensure that the decomposition \(u = u'h\) is unique. Since \(W_u = W_{u'} \times W_h\), we have \([1,u] = [1,u'] \times [1,h]\).
Recall that \(u' = r_1\cdots r_k\) is hyperbolic, so \({{\,\mathrm{\textsc {Fix}}\,}}(r_1) \cap \cdots \cap {{\,\mathrm{\textsc {Fix}}\,}}(r_k) = \emptyset \). Therefore the Coxeter subgroup \(W_{u'}\) is infinite. By construction, \(W_{u'}\) is also irreducible, so it must be an irreducible affine Coxeter group. \(\square \)
We will refer to the decomposition \(u = u'h\) of Lemma 3.20 as the hyperbolic-horizontal decomposition of u.
The following technical lemma is proved in the Appendix for the four infinite families and was checked by computer for the exceptional cases (see [54]).
Lemma 3.21
Let W be an irreducible affine Coxeter group, w one of its Coxeter elements, and \(u \in [1,w]\) a hyperbolic element such that \(W_u\) is irreducible. Let \(a\) be a point of \(\ell \) that does not lie on any hyperplane of \({\mathcal {A}}_u\), and let C be the chamber of \({\mathcal {A}}_u\) containing \(a\). Then C has exactly l(u) walls, and u can be written as the product of the reflections with respect to the walls of C in the following order:
-
first there are the vertical reflections that fix a point of \(\ell \) above \(a\), and r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \);
-
then there are the horizontal reflections, in some order;
-
finally there are the vertical reflections that fix a point of \(\ell \) below \(a\), and again r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \).
The conclusion of Lemma 3.21 seems to hold for all hyperbolic elements \(u \in [1,w]\), without the irreducibility hypothesis. In addition, for the case \({{\tilde{G}}}_2\) and for the four infinite families (\({{\tilde{A}}}_n\), \({{\tilde{B}}}_n\), \({{\tilde{C}}}_n\), and \({{\tilde{D}}}_n\)), the vertical walls of C that fix a point of \(\ell \) above \(a\) (resp. below \(a\)) pairwise commute. However, a computer check shows that this is not true for the exceptional cases \({{\tilde{F}}}_4\), \({{\tilde{E}}}_6\), \({{\tilde{E}}}_7\), and \({{\tilde{E}}}_8\) (see [54]). Notice also that in general \({{\,\mathrm{\textsc {Min}}\,}}(w) \nsubseteq {{\,\mathrm{\textsc {Min}}\,}}(u)\), so a point \(a\in \ell = {{\,\mathrm{\textsc {Min}}\,}}(w)\) is usually not on the Coxeter axis of u (otherwise Lemma 3.21 would follow easily from Theorems 3.3 and 3.8 applied to \(W_u\)).
We can now prove the affine analog of [5, Lemma 1.4.3].
Theorem 3.22
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. Every element \(u \in [1,w]\) is a Coxeter element of \(W_u\). In addition:
-
(i)
if u is elliptic, then u is a parabolic Coxeter element;
-
(ii)
if u is hyperbolic and \(u=u'h\) is its hyperbolic-horizontal decomposition, then \(u'\) is a Coxeter element of \(W_{u'}\) and h is a Coxeter element of the parabolic subgroup \(W_h\) of \(W_u\).
Proof
Suppose that u is elliptic. By Lemma 3.19 there is an axial vertex \(b\) such that \(u \le w_b\), where \(w_b\) is the parabolic Coxeter element of Lemma 3.18. By [5, Lemma 1.4.3] applied to the finite parabolic subgroup that fixes \(b\), we have that u is a Coxeter element of \(W_u\), and \(W_u\) is a parabolic subgroup of W.
Suppose now that u is hyperbolic, and let \(u=u'h\) be its hyperbolic-horizontal decomposition. Since \(W_{u'}\) is irreducible, by Lemma 3.21 we immediately have that \(u'\) is a Coxeter element of \(W_{u'}\). Also, since h is horizontal, we have already proved that h is a Coxeter element of the parabolic subgroup \(W_h\) (notice that \(W_h\) is a parabolic subgroup of both W and \(W_u\)). Then \(u'h\) is a Coxeter element of \(W_u = W_{u'} \times W_h\). \(\square \)
In the case \({{\tilde{C}}}_n\), the first part of Theorem 3.22 was already noted by Digne [32, Remark 7.2].
Remark 3.23
If W is an irreducible affine Coxeter group, then all its proper parabolic subgroups are finite. Therefore, if \(u \ne w\) is a hyperbolic element, then \(W_u\) is not a parabolic subgroup (and u is not a parabolic Coxeter element).
Example 3.24
(Hyperbolic elements in the case \({{\tilde{C}}}_3\)) If W is a Coxeter group of type \({{\tilde{C}}}_3\), the interval [1, w] has 3 hyperbolic elements of length 2 (the translations), 6 of length 3, and 1 of length 4 (w itself). They are the complements of the horizontal elements, which are explicitly described in Example 3.31 below. Among the 6 hyperbolic elements \(u \in [1,w]\) of length 3, in 3 cases \(W_u \cong W_{{{\tilde{A}}}_1} \times W_{A_1}\) (so the hyperbolic-horizontal decomposition of u has a non-trivial horizontal factor), whereas in the remaining three cases \(W_u \cong W_{{{\tilde{C}}}_2}\). See Sect. A.2 for an explicit computation of the hyperbolic elements in the case \({{\tilde{C}}}_n\).
3.4 Horizontal components
We now describe the geometry of the irreducible horizontal components of an affine Coxeter group. The ideas for this section are mostly already present in [49], but we find it convenient to write them down more explicitly.
As in Sect. 3.3, let W be an irreducible affine Coxeter group acting on \(E = {\mathbb {R}}^n\) where n is the rank of W, and fix a Coxeter element w. Let \(\Phi \) be the root system of W, and let \(\Phi _{\text {hor}}\subseteq \Phi \) be the horizontal root system.
As shown in [49, Definition 6.1], there exists at least one horizontal factorization \(w = th\) where \(t \in [1,w]\) is a translation, \(h \in [1,w]\) is a horizontal isometry of reflection length \(n-1\), and every horizontal reflection of W is parallel to some reflection of the parabolic Coxeter subgroup \(W_h\). In other words, the root system of \(W_h\) coincides with the horizontal root system \(\Phi _{\text {hor}}\) of W.
The horizontal root system \(\Phi _{\text {hor}}\) decomposes as a disjoint union of orthogonal irreducible root systems of type A [49, Section 6]: \(\Phi _{\text {hor}}= \Phi _{1} \sqcup \Phi _{2} \sqcup \cdots \sqcup \Phi _{k}\), where \(\Phi _i\) is a root system of type \(A_{n_i}\), and \(n_1+n_2+\cdots +n_k = n-1\) (see Table 1). Accordingly, the horizontal isometry h decomposes as a product \(h = h_1h_2\cdots h_k\) where \(h_i\) belongs to the ith irreducible horizontal component and has reflection length \(n_i\). Then \(\Phi _i\) is the root system of the irreducible parabolic Coxeter subgroup \(W_{h_i}\), and \(h_i\) is a Coxeter element of \(W_{h_i}\) by Theorem 3.22.
We now focus on a single irreducible horizontal component \(\Phi _i\) and describe the geometry of the associated horizontal reflections. Let \(m = n_i\) be the rank of \(\Phi _i\). Since \(\Phi _i\) is a root system of type \(A_{m}\), the reflections of W in the directions of \(\Phi _i\) generate a Coxeter subgroup \(W_i \subseteq W\) of type \({{\tilde{A}}}_m\). Denote by \({\mathcal {A}}_i\) the hyperplane arrangement associated with \(W_i\) (this is a subarrangement of the hyperplane arrangement \({\mathcal {A}}\) associated with W).
The Coxeter axis \(\ell \) does not intersect any horizontal hyperplane, and so it is contained in one chamber \(C_i\) of the arrangement \({\mathcal {A}}_i\). We call \(C_i\) the ith horizontal prism. Like every chamber of \({\mathcal {A}}_i\), it has \(m+1\) faces of minimal dimension \(n-m\). We call them the minimal faces of \(C_i\).
Since the Coxeter axis \(\ell \) is contained in \(C_i\), every axial chamber of \({\mathcal {A}}\) is also contained in \(C_i\). As a consequence, all axial vertices are contained in \({\bar{C}}_i\). The horizontal isometry \(h_i\) has reflection length m, so \(\dim {{\,\mathrm{\textsc {Fix}}\,}}(h_i) = n-m\), and \({{\,\mathrm{\textsc {Fix}}\,}}(h_i)\) is the intersection of m hyperplanes of \({\mathcal {A}}_i\). Since \(h_i \in [1,w]\), by Lemma 3.19 we have that \({{\,\mathrm{\textsc {Fix}}\,}}(h_i)\) contains at least one axial vertex. Therefore \({{\,\mathrm{\textsc {Fix}}\,}}(h_i)\) is one of the minimal faces of \(C_i\).
Lemma 3.25
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. Every horizontal prism \(C_i\) is fixed by w (as a set). In addition, w acts transitively on the set of walls of \(C_i\) and on the set of minimal faces of \(C_i\).
Proof
From the factorization \(w=th_1h_2 \cdots h_k\) we see that w sends hyperplanes of \({\mathcal {A}}_i\) to hyperplanes of \({\mathcal {A}}_i\). Also, it fixes the Coxeter axis \(\ell \) (as a set). Therefore it fixes \(C_i\) (as a set), it permutes the walls of \(C_i\), and it permutes the minimal faces of \(C_i\). The action of w on the walls of \(C_i\) is the same as the action of \(th_i\), because \(h_j\) fixes every hyperplane of \({\mathcal {A}}_i\) for all \(j \ne i\).
Let \(H_1, \dotsc , H_{m+1}\) be the walls of \(C_i\), and for every \(j \in \{1, \dotsc , m+1\}\) let \(\alpha _j\) be the root of \(H_j\) that points from \(H_j\) towards the half-space containing \(C_i\). The linear part of \(th_i\) (which coincides with the linear part of \(h_i\)) permutes \(\alpha _1, \dotsc , \alpha _{m+1}\). Recall that \(h_i\) is a Coxeter element of \(W_{h_i}\), which is a Coxeter group of type \(A_m\) with root system \(\Phi _i\). In a finite Coxeter group, the orbits of roots under the action of a Coxeter element are known to have cardinality equal to the Coxeter number, which is \(m+1\) for a Coxeter group of type \(A_m\). Therefore \(h_i\) transitively permutes the roots \(\alpha _1, \dotsc , \alpha _{m+1}\). Then w transitively permutes the walls of \(C_i\). Every minimal face of \(C_i\) is opposite to exactly one wall of \(C_i\), so the same conclusion holds for the minimal faces. \(\square \)
Let \(\varphi :[1,w] \rightarrow [1,w]\) be the conjugation by the Coxeter element w: \(\varphi (u) = w^{-1}uw\).
Proposition 3.26
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. Every minimal face of the ith horizontal prism \(C_i\) is the fixed set of \(\varphi ^p(h_i)\) for some \(p \in \{0, \dotsc , m\}\), and it contains at least one axial vertex. In addition, the elements \(\varphi ^p(h_i)\) for \(p \in \{0, \dotsc , m\}\) are the maximal elements of the subposet \([1,w] \cap W_i \subseteq [1,w]\), and they all have the same linear part.
Proof
We have that \({{\,\mathrm{\textsc {Fix}}\,}}(h_i)\) is a minimal face of \(C_i\). Then the first part follows from Lemma 3.25. Since \(\varphi ^p(h_i) \in [1,w]\), its fixed set contains at least one axial vertex by Lemma 3.19.
Every element of \([1,w] \cap W_i\) of reflection length m must have a fixed set equal to a minimal face of \(C_i\). By Lemma 2.15, there can be at most one such element for every minimal face of \(C_i\). Therefore, the elements \(\varphi ^p(h_i)\) for \(p \in \{0, \dotsc , m\}\) are the only elements of reflection length m in \([1,w] \cap W_i\). Every other element \(u \in [1,w] \cap W_i\) has a reflection length strictly smaller than m.
We want to show that, for every \(u \in [1,w] \cap W_i\), we have \(u \le \varphi ^p(h_i)\) for some p. Let v be the left complement of u, so that \(vu = w\). Then v is hyperbolic. Let \(v = v'h'\) be the hyperbolic-horizontal decomposition of v (see Lemma 3.20). Recall that the Coxeter subgroup \(W_{v'}\) generated by \([1,v']\) is an irreducible affine Coxeter group, and \(v'\) is one of its Coxeter elements by Theorem 3.22. Then the interval \([1,v']\) contains at least one translation \(t'\) (this follows for example from the existence of a horizontal factorization of \(v'\) in \(W_{v'}\)). Therefore we can write \(v' = t'v''\), with \(l(v') = l(t') + l(v'')\). Putting everything together, we get the factorization \(w = t'v''h'u\), with \(l(t') + l(v'') + l(h') + l(u) = l(w) = n+1\). Since \(t'\) is a translation, and so has length \(l(t') = 2\), its right complement \({\bar{h}} = v''h'u\) is a horizontal element of length \(l({\bar{h}}) = n-1\). In addition, \(u \le {\bar{h}}\) because u is part of a minimal length factorization of \({\bar{h}}\). Write \({\bar{h}} = {\bar{h}}_1 {\bar{h}}_2 \cdots {\bar{h}}_k\), with \({\bar{h}}_j \in [1,w] \cap W_j\). We have \(l({\bar{h}}_j) \le n_j\) for all j, and \(n_1 + \cdots + n_k = n-1\), so \(l({\bar{h}}_j) = n_j\). In particular \(l({\bar{h}}_i) = n_i = m\), so \({\bar{h}}_i = \varphi ^p(h_i)\) for some \(p \in \{0, \dotsc , m\}\). Since \(u \le {\bar{h}}\) and \(u \in [1,w] \cap W_i\), we have \(u \le {\bar{h}}_i = \varphi ^p(h_i)\).
Finally, we want to show that the linear part of \(\varphi ^p(h_i)\) is equal to the linear part of \(h_i\). This follows from the factorization \(w = th_1h_2\cdots h_k\), together with the fact that \(h_j\) commutes with \(h_i\) for all \(j \ne i\), and that the linear part of the translation t is the identity. \(\square \)
Corollary 3.27
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. For every horizontal root \(\alpha \in \Phi _{\text {hor}}\), the interval [1, w] contains exactly two reflections in the direction of \(\alpha \), namely those determined by adjacent hyperplanes which contain the Coxeter axis \(\ell \) between them.
Proof
Let \(\Phi _i\) be the irreducible component of \(\Phi _{\text {hor}}\) containing \(\alpha \). A hyperplane of \({\mathcal {A}}_i\) yields a reflection in [1, w] if and only if it contains an axial vertex, which happens if and only if it contains a minimal face of \(C_i\) (by Proposition 3.26). In the arrangement \({\mathcal {A}}_i\), which is of type \({{\tilde{A}}}_m\), there are exactly two hyperplanes in the direction of \(\alpha \) that contain at least one minimal face of \(C_i\). These two hyperplanes are adjacent, and they contain \(C_i\) (and therefore also the Coxeter axis \(\ell \)) between them. \(\square \)
Lemma 3.28
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. There exists an integer \(p>0\) such that \(w^p\) is a translation in the positive direction of the Coxeter axis \(\ell \).
Proof
Let \(n_1, \dotsc , n_k\) be the ranks of the irreducible components of the horizontal root system \(\Phi _{\text {hor}}\). If p is a multiple of \(n_i+1\) for every i, then \(w^p\) acts trivially on all horizontal directions, and so it must be a translation in the direction of the Coxeter axis \(\ell \). If \(\mu \) is the shortest vector in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\), then \(p\mu \in {{\,\mathrm{\textsc {Mov}}\,}}(w^p)\). Therefore \(w^p\) is a translation of \(p\mu \), which is in the positive direction of \(\ell \). \(\square \)
Lemma 3.29
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. For every irreducible component \(\Phi _i\) of the horizontal root system \(\Phi _{\text {hor}}\), there exists a hyperbolic element \(u \in [1,w]\) such that \(W_u\) is an irreducible affine Coxeter group with horizontal root system \(\Phi _i\) (with respect to the Coxeter element u). In particular, \([1,u] \cap W_i = [1,w] \cap W_i\).
Proof
Let \(\Phi _{\text {hor}}= \Phi _1 \sqcup \cdots \sqcup \Phi _k\). If \(k=1\), then we can simply take \(u = w\). Suppose from now on that \(k \ge 2\), and assume without loss of generality that \(i=1\). Let \(w=th_1\cdots h_k\) be a horizontal factorization, with \(h_j \in W_j\). Notice that t does not commute with any \(h_j\), because \(t^{-1}h_j t = \varphi (h_j) \ne h_j\) (by Proposition 3.26). Let \(u = th_1 \le w\).
Since \(h_2\cdots h_k\) is horizontal, its left complement u is hyperbolic. Let \(u = u'h'\) be the hyperbolic-horizontal decomposition of u (see Lemma 3.20). The irreducible root system \(\Phi _1\) is entirely contained in the root system of \(W_{u'}\) or of \(W_{h'}\), because \(W_u = W_{u'} \times W_{h'}\). Since t is a (vertical) translation and \([1,u] = [1,u'] \times [1,h']\), we have \(t \le u'\). Thus \(\Phi _1\) is contained in the root system of \(W_{u'}\), because otherwise \(h_1\) would commute with t.
By Lemma 2.15 and [12, Lemma 3.6] we have \({{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Min}}\,}}(w)) \subseteq {{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Min}}\,}}(u'))\), so every root which is horizontal with respect to w is horizontal also with respect to \(u' \le w\). Therefore the horizontal root system \(\Phi _{\text {hor}}'\) of \(W_{u'}\) (associated with the Coxeter element \(u'\)) contains \(\Phi _1\). On the other hand, \(l(u') \le l(u) = l(t) + l(h_1) = n_1 + 2\), so the rank of \(\Phi _{\text {hor}}'\) is at most \(n_1\). We conclude that \(\Phi _{\text {hor}}' = \Phi _1\) and \(u' = u\).
Finally we have \([1,u] \cap W_1 \subseteq [1,w] \cap W_1\), and every reflection in \([1,w] \cap W_1\) is also contained in [1, u] by Corollary 3.27, so actually \([1,u] \cap W_1 = [1,w] \cap W_1\). \(\square \)
Remark 3.30
By Lemma 3.29, in order to study the geometry of horizontal components it is enough to look at affine Coxeter groups with a unique horizontal component (\({{\tilde{A}}}_n\) with a (n, 1)-bigon Coxeter element, \({{\tilde{C}}}_n\), and \({{\tilde{G}}}_2\)). The group \({{\tilde{G}}}_2\) has a horizontal component of rank 1. The groups \({{\tilde{A}}}_n\) and \({{\tilde{C}}}_n\) (see Sects. A.1, A.2 in the Appendix) have a horizontal component of rank \(m = n-1\). In all cases, choosing suitable coordinates we have that: the arrangement \({\mathcal {A}}_i\) consists of the hyperplanes \(\{ x_j - x_{j'} = q \}\) for \(1 \le j < j' \le m\) and \(q \in {\mathbb {Z}}\); the horizontal prism \(C_i\) is described by the inequalities \(x_1< x_2< \cdots< x_m < x_1 + 1\); the linear part of the Coxeter element w sends \((x_1, \dotsc , x_m)\) to \((x_m, x_1, \dotsc , x_{m-1})\). In particular, the isomorphism type of \([1,w] \cap W_i\) (as a labeled poset) depends only on the rank m, and not on the ambient group W. Using ideas from the proofs of [49, Propositions 4.7 and 7.6], one can show that \([1,w] \cap W_i\) is isomorphic to the subposet of the noncrossing partition lattice of type \(B_{m+1}\) consisting of the partitions without a zero block (this terminology is defined for example in [1, Section 4.5]).
Example 3.31
(Horizontal component of rank 2) Figure 5 shows the arrangement \({\mathcal {A}}_i\) of a horizontal component of rank 2. The horizontal prism \(C_i\) is shaded, and its minimal faces are the three white vertices. The reflections in \([1,w] \cap W_i\) are denoted by \(a,a',b,b',c,c'\), and they correspond to the 6 thick lines. The Coxeter axis \(\ell \) is contained in \(C_i\) and is equidistant from the minimal faces. The Coxeter element w acts on \({\mathcal {A}}_i\) as a \(2\pi /3\) rotation around \(\ell \), say counterclockwise. Then the 3 maximal elements of \([1,w] \cap W_i\) are \(ab=bc=ca\), \(a'b = bc' = c'a'\), and \(ab' = b'c' = c'a\). They are \(2\pi /3\) rotations around the minimal faces of \(C_i\), in counterclockwise direction. Since \(a'b \in [1,w]\) and \(a'b' \not \in [1,w]\), the right complement u of \(a'\) is such that \(b \le u\) and \(b' \not \le u\) in [1, w]. This is an example where the converse of Lemma 2.15 does not hold: we have both \(b \le u\) and \(b' \le u\) in \([1,w]^L\), but \(b' \not \le u\) in \([1,w] = [1,w]^W\).
4 Shellability of affine noncrossing partition posets
In this section, we construct an EL-labeling for the noncrossing partition poset [1, w], where w is any Coxeter element of an affine Coxeter group W. Therefore the poset [1, w] is EL-shellable. This extends the analog result of Athanasiadis, Brady, and Watt for noncrossing partition lattices associated with finite Coxeter groups [2].
The EL-labelings of finite noncrossing partition lattices play a fundamental role in our construction and are recalled in Sect. 4.1. However, the need for a global labeling and the presence of hyperbolic intervals make the affine case substantially different from the finite case.
The EL-labeling of [1, w] is going to be used in Sect. 8, to complete the proof of the \(K(\pi ,1)\) conjecture.
4.1 Reflection orderings and shellability of finite noncrossing partition lattices
We start by describing the EL-labelings of [2] for the noncrossing partition lattices associated with finite crystallographic Coxeter groups.
Let W be a finite Coxeter group acting on \(V = {\mathbb {R}}^n\) by linear isometries, and let R be its set of reflections. Denote by \(\Phi \subseteq V\) the root system of W, and let \(\Phi ^+ \subseteq \Phi \) be a positive root system. For \(\alpha \in \Phi ^+\), denote by \(r_\alpha \in R\) the orthogonal reflection with respect to \(\alpha \).
Definition 4.1
[7, 11, 36] A total ordering \(\prec \) of R is called a reflection ordering for W if, whenever \(\alpha , \alpha _1, \alpha _2 \in \Phi ^+\) are distinct positive roots and \(\alpha \) is a positive linear combination of \(\alpha _1\) and \(\alpha _2\), we have either
Definition 4.2
[2, Definition 3.1] Let w be a Coxeter element of W. A reflection ordering \(\prec \) of R is compatible with w if for every irreducible rank 2 induced subsystem \(\Phi ' \subseteq \Phi \) the following holds: if \(\alpha \) and \(\beta \) are the simple roots of \(\Phi '\) with respect to the positive system \(\Phi ' \cap \Phi ^+\) and \(r_\alpha r_\beta \in [1,w]\), then \(r_\alpha \prec r_\beta \).
Let w be a Coxeter element of W. Recall that the edges of the Hasse diagram of [1, w] are naturally labeled by reflections: \(\lambda (u, ur) = r\). We call \(\lambda :{\mathcal {E}}([1,w]) \rightarrow R\) the natural edge labeling of [1, w].
Theorem 4.3
[2, Theorem 3.5] Let W be a finite crystallographic Coxeter group, R its set of reflections, and w one of its Coxeter elements. If R is totally ordered by a reflection ordering which is compatible with w, then the natural edge labeling of [1, w] is an EL-labeling.
Notice that every finite Coxeter subgroup of an irreducible affine Coxeter group is crystallographic. We are going to use Theorem 4.3 through the following geometric construction of reflection orderings, which is similar to a construction already considered in [36, Section 2].
Let \({\mathcal {A}}\) be the reflection arrangement associated with W, and let \(C_0\) be the chamber of the Coxeter complex of W corresponding to the choice of the positive system \(\Phi ^+\). Fix a point \(a\in C_0\) and a non-zero vector \(\mu \in V\). Consider the affine line \(\ell ' = \{ a+ \theta \mu \mid \theta \in {\mathbb {R}}\} \subseteq V\), with basepoint a. Assume that \(\ell '\) is generic with respect to \({\mathcal {A}}\): it intersects every hyperplane of \({\mathcal {A}}\) in exactly one point (equivalently, it is not parallel to any hyperplane of \({\mathcal {A}}\)), and \(H \cap \ell ' \ne H' \cap \ell '\) for all hyperplanes \(H \ne H'\) in \({\mathcal {A}}\). The vector \(\mu \) gives an orientation to \(\ell '\). In accordance with the notation of Sect. 3, we say that a point \(b\in \ell '\) is above a point \(b' \in \ell '\) (or, equivalently, \(b'\) is below \(b\)) if \(b-b'\) is a positive multiple of \(\mu \). Define a total ordering \(\prec _{\ell '}\) on R as follows:
-
first, there are the reflections that fix a point of \(\ell '\) above \(a\), and r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell '\) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell '\);
-
then there are the reflections that fix a point of \(\ell '\) below \(a\), and again r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell '\) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell '\).
Notice the similarity with Lemma 3.21.
Proposition 4.4
Let W be a finite Coxeter group. For every generic line \(\ell '\) as above, the total ordering \(\prec _{\ell '}\) of R is a reflection ordering for W.
Proof
Denote by \(\langle \cdot ,\cdot \rangle \) the scalar product of \(V = {\mathbb {R}}^n\). By definition of the chamber \(C_0\), we have that \(\langle a, \alpha \rangle > 0\) for every positive root \(\alpha \in \Phi ^+\). Until the end of this proof, renormalize all positive roots \(\alpha \in \Phi ^+\) so that \(\langle a, \alpha \rangle = 1\).
Let \(\alpha \in \Phi ^+\). The intersection point \(a+ \theta _\alpha \mu \) of \({{\,\mathrm{\textsc {Fix}}\,}}(r_\alpha )\) with \(\ell '\) is determined by the relation \(\langle a+ \theta _\alpha \mu , \alpha \rangle = 0\). Since \(\langle a, \alpha \rangle = 1\), we get \(\theta _\alpha = - \langle \mu , \alpha \rangle ^{-1}\). By definition of \(\prec _{\ell '}\), we have that \(r_\alpha \prec _{\ell '} r_\beta \) if and only if \(\theta _\alpha ^{-1} > \theta _\beta ^{-1}\), which happens if and only if \(\langle \mu , \alpha \rangle < \langle \mu , \beta \rangle \).
Now suppose that \(\alpha \in \Phi ^+\) is a positive linear combination of \(\alpha _1, \alpha _2 \in \Phi ^+\). Since \(\langle a, \alpha \rangle = \langle a, \alpha _1\rangle = \langle a, \alpha _2 \rangle = 1\), we have \(\alpha = c\alpha _1 + (1-c) \alpha _2\) with \(0< c < 1\). Then \(\langle \mu , \alpha \rangle = c \langle \mu , \alpha _1 \rangle + (1-c) \langle \mu , \alpha _2 \rangle \), which is between \(\langle \mu , \alpha _1 \rangle \) and \(\langle \mu , \alpha _2 \rangle \). Therefore \(r_\alpha \) is between \(r_{\alpha _1}\) and \(r_{\alpha _2}\) in the total ordering \(\prec _{\ell '}\). \(\square \)
4.2 Orderings of horizontal reflections
Let W be an irreducible affine Coxeter group, acting on an affine space \(E = {\mathbb {R}}^n\) by Euclidean isometries, where n is the rank of W. As usual, denote by R its set of reflections, and let w be one of its Coxeter elements. Let \(\Phi \) be the root system associated with W, and \(\Phi _{\text {hor}}\subseteq \Phi \) the horizontal root system.
Recall from Sect. 3 that the reflections occurring as labels of the interval [1, w] are those that fix at least one axial vertex. This set \(R_0 \subseteq R\) includes the set \(R_{\text {ver}}\) of all vertical reflections, and a finite set \(R_{\text {hor}}\) of horizontal reflections, with two consecutive horizontal reflections for each pair of opposite roots. We are going to construct a total order \(\prec \) of \(R_0\) which makes the natural edge labeling \(\lambda :{\mathcal {E}}([1,w]) \rightarrow R_0\) an EL-labeling of [1, w]. To do this, we start by defining a total ordering \(\prec _{\text {hor}}\) on the subset \(R_{\text {hor}}\subseteq R_0\) of the horizontal reflections.
We use the notation of Sect. 3.4. Let \(\Phi _{\text {hor}}= \Phi _1 \sqcup \cdots \sqcup \Phi _k\), where \(\Phi _i\) is an irreducible root system of type \(A_{n_i}\). Fix a horizontal factorization \(w = th_1\cdots h_k\), so that \(W_{h_i} \subseteq W\) is a finite parabolic subgroup with root system \(\Phi _i\), and \(h_i\) is a Coxeter element of \(W_{h_i}\). For now, we focus on a single horizontal component i. Let \(m = n_i\) be the rank of \(\Phi _i\), and let \(W_i \subseteq W\) be the Coxeter subgroup of type \({{\tilde{A}}}_m\) generated by the reflections with respect to roots in \(\Phi _i\). Denote by \({\mathcal {A}}_i\) the corresponding hyperplane arrangement, and let \(C_i\) be the ith horizontal prism.
Lemma 4.5
Let \(u = \varphi ^p(h_i)\) be any maximal element of \([1,w] \cap W_i\), as in Proposition 3.26. Fix any point a of the Coxeter axis \(\ell \). There exists a line \(\ell '\), with basepoint a and direction in \({{\,\mathrm{\textsc {Span}}\,}}(\Phi _i)\), such that the reflection ordering \(\prec _{\ell '}\) for \(W_{u}\) (defined in Sect. 4.1) is compatible with u.
Proof
Choosing coordinates as in Remark 3.30, we can assume that: the arrangement \({\mathcal {A}}_i\) consists of the hyperplanes \(\{ x_j - x_{j'} = q \}\) for \(1 \le j < j' \le m\) and \(q \in {\mathbb {Z}}\); the horizontal prism \(C_i\) is described by the inequalities \(x_1< x_2< \cdots< x_m < x_1 + 1\); the element u sends \((x_1, \dotsc , x_m)\) to \((x_m, x_1, \dotsc , x_{m-1})\), and the minimal face fixed by u is given by \(\{x_1 = x_2 = \cdots = x_m\}\). For a small enough \(\epsilon > 0\), the line \(\ell ' = \{ a + \theta (1, \epsilon , \epsilon ^2, \dotsc , \epsilon ^{m-1}) \mid \theta \in {\mathbb {R}}\}\) intersects the hyperplanes \(\{ x_j - x_{j'} = 0\}\) (with \(j < j'\)) in the lexicographic order of the pairs \((j,j')\), and always for \(\theta > 0\). This is the reflection ordering described in [2, Example 3.3], and it is compatible with the Coxeter element u. In order to get a line with direction in \({{\,\mathrm{\textsc {Span}}\,}}(\Phi _i)\), project \(\ell '\) to the affine subspace parallel to \({{\,\mathrm{\textsc {Span}}\,}}(\Phi _i)\) and containing a. \(\square \)
By the previous lemma, there exists a reflection ordering \(\prec _i'\) for \(W_{h_i}\) which is compatible with the Coxeter element \(h_i\). Extend \(\prec _i'\) to a total ordering \(\prec _i\) of the set \(R_{\text {hor}}\cap W_i\), in the following way: whenever \(r_1 \prec _i' r_2\) in \(R_{\text {hor}}\cap W_{h_i}\), then every parallel translate of \(r_1\) comes before every parallel translate of \(r_2\). Since there are no minimal factorizations of w that use two parallel horizontal reflections, the relative order of parallel horizontal reflections is not important and can be chosen arbitrarily.
Remark 4.6
The total ordering \(\prec _i\) does not restrict to an ordering of Lemma 4.5 for \(u \ne h_i\). Rather, it is obtained by “translating” a chosen ordering for \(W_{h_i}\) (given by Lemma 4.5) to the other subgroups \(W_{u}\). There exists no total ordering of \(R_{\text {hor}}\cap W_i\) which restricts to an ordering of Lemma 4.5 for every maximal element u since the reflections with respect to the walls of \(C_i\) would necessarily form a loop.
Lemma 4.7
For every horizontal element \(u \in [1,w] \cap W_i\), the total ordering \(\prec _i\) makes the natural edge-labeling \(\lambda :{\mathcal {E}}([1,u]) \rightarrow R_{\text {hor}}\cap W_i\) an EL-labeling of [1, u].
Proof
It is enough to prove this for the maximal elements of \([1,w] \cap W_i\). By Proposition 3.26, these are of the form \(u = \varphi ^p(h_i)\) for \(p \in \{0, \dotsc , m\}\).
Both \({{\,\mathrm{\textsc {Fix}}\,}}(h_i)\) and \({{\,\mathrm{\textsc {Fix}}\,}}(u)\) are minimal faces of the ith horizontal prism \(C_i\). Let \(t'\) be a translation that sends \({{\,\mathrm{\textsc {Fix}}\,}}(h_i)\) to \({{\,\mathrm{\textsc {Fix}}\,}}(u)\) (it does not need to be an element of W). The linear part of \(h_i\) is equal to the linear part of u by Proposition 3.26, so \(t' h_i t'^{-1} = u\). Also, \(t'\) sends any hyperplane containing \({{\,\mathrm{\textsc {Fix}}\,}}(h_i)\) to a parallel hyperplane containing \({{\,\mathrm{\textsc {Fix}}\,}}(u)\). Therefore the conjugation by \(t'\) is an isomorphism \(W_{h_i} \rightarrow W_{u}\) that sends the Coxeter element \(h_i\) to the Coxeter element u, and it sends any reflection in \(W_{h_i}\) to its unique parallel translate in \(W_u\). In particular, this isomorphism preserves the total ordering \(\prec _i\).
By construction, \(\prec _i\) restricts to a reflection ordering for \(W_{h_i}\) compatible with \(h_i\), so the natural edge-labeling \(\lambda :{\mathcal {E}}([1,h_i]) \rightarrow R_{\text {hor}}\cap W_i\) is an EL-labeling of \([1,h_i]\) by Theorem 4.3. Using the above isomorphism \(W_{h_i} \rightarrow W_u\), we obtain the same conclusion for u. \(\square \)
Example 4.8
(Ordering of horizontal reflections in a component of rank 2) Consider a horizontal component of rank 2, with the notation of Example 3.31. If we choose \(h_i = ab\) as the preferred maximal element of \([1,w] \cap W_i\), one of the possible total orderings \(\prec _i\) of \(R_{\text {hor}}\cap W_i\) is the following: \(a \prec _i a' \prec _i c \prec _i c' \prec _i b \prec _i b'\). The factorizations of the 3 maximal elements as a \(\prec _i\)-increasing product of reflections are: ab, \(a'b\), and \(ab'\).
Let \(\prec _{\text {hor}}\) be any total ordering of \(R_{\text {hor}}\) obtained as a shuffle of the total orderings \(\prec _i\) for \(i \in \{1,\dotsc , k\}\).
Lemma 4.9
(EL-shellability of horizontal intervals) Let W be an irreducible Coxeter group, and w one of its Coxeter elements. For every horizontal element \(u \in [1,w]\), the total ordering \(\prec _{\text {hor}}\) makes the natural edge labeling \(\lambda :{\mathcal {E}}([1,u]) \rightarrow R_{\text {hor}}\) an EL-labeling of [1, u].
Proof
Write \(u = u_1u_2\cdots u_k\), with \(u_i \in [1,w] \cap W_i\). Then \([1,u] = [1,u_1] \times [1,u_2] \times \cdots \times [1,u_k]\). We have an EL-labeling on each factor \([1,u_i]\) by Lemma 4.7, and we conclude using Theorem 2.3. \(\square \)
4.3 Axial orderings and shellability of affine noncrossing partition posets
We are now ready to construct an EL-labeling of the interval [1, w] in an affine Coxeter group W, for any fixed Coxeter element w. As in Sect. 4.2, we assume that W is irreducible. Once the irreducible case is settled, one can easily get an EL-labeling for reducible affine Coxeter groups by applying Theorem 2.3.
Let \(\ell \) be the Coxeter axis, and fix an axial chamber \(C_0\) of the Coxeter complex.
Definition 4.10
(Axial ordering) An axial ordering of the set of reflections \(R_0 = R \cap [1,w]\) is a total ordering of the following form:
-
first, there are the vertical reflections that fix a point of \(\ell \) above \(C_0\), and r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \) (we call these the positive vertical reflections);
-
then, there are the horizontal reflections in \(R_{\text {hor}}\), following any total ordering \(\prec _{\text {hor}}\) constructed in Sect. 4.2;
-
finally, there are the vertical reflections that fix a point of \(\ell \) below \(C_0\), and again r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \) (we call these the negative vertical reflections).
The relative order of vertical reflections that fix the same point of \(\ell \) can be chosen arbitrarily.
Remark 4.11
If two vertical reflections fix the same point of \(\ell \), they commute. This is proved in Proposition 3.9 for the case \({{\tilde{A}}}_n\), and follows from Sect. 3.1 for the other cases.
Example 4.12
(Axial orderings for \({{\tilde{A}}}_2\) and \({{\tilde{G}}}_2\)) In the case \({{\tilde{A}}}_2\), with the notation of Example 3.12, one of the two axial orderings of \(R_0\) is the following:
The other axial ordering is obtained by exchanging the two horizontal reflections b and \(b'\). Notice that there are infinitely many reflections before b, and infinitely many reflections after \(b'\). Indeed, b has no immediate predecessor, and \(b'\) has no immediate successor. The following is a portion of one of the infinitely many axial orderings in the case \({{\tilde{G}}}_2\), using the notation of Example 3.6:
Our aim for the rest of this section is to prove that an axial ordering makes the natural edge labeling \(\lambda :{\mathcal {E}}([1,w]) \rightarrow R_0\) an EL-labeling of [1, w].
Remark 4.13
(cf. [2, Lemma 3.7]) Let [u, v] be an interval in [1, w]. The map \(f :[1, u^{-1}v] \rightarrow [u,v]\) defined by \(f(x) = ux\) is a label-preserving poset isomorphism.
Notice that an axial ordering of \(R_0\) is not a well-ordering. For example, the set of negative vertical reflections does not have a smallest element. However, the well-ordering property holds for the subsets of the form \(R_0 \cap [1,u]\), as we show in the second of the next three preparatory lemmas.
Lemma 4.14
For every hyperbolic element \(u \in [1,w]\), the interval [1, u] contains at least one positive vertical reflection and at least one negative vertical reflection.
Proof
Since u is vertical, the interval [1, u] contains at least one vertical reflection r. Let \(w^p\) be a power of w that acts as a translation in the positive direction of the Coxeter axis \(\ell \), where p is a positive integer (see Lemma 3.28). We have that \(w^p\) commutes with the right complement v of u, because v is horizontal. Then \(w^p\) commutes also with \(u = wv^{-1}\). In particular, the conjugation by \(w^p\) fixes u and is an automorphism of [1, u]. If we conjugate the vertical reflection \(r \in [1,u]\) by \(w^{mp}\), for a sufficiently large \(m \in {\mathbb {Z}}\), we get a vertical reflection \(r' = w^{-mp}rw^{mp} \in [1,u]\) that fixes a point of \(\ell \) below \(C_0\), i.e. \(r'\) is negative. Similarly, if we conjugate r by \(w^{mp}\) for a sufficiently small \(m \in {\mathbb {Z}}\), we get a positive vertical reflection \(r'' \in [1,u]\). \(\square \)
Lemma 4.15
Let \(\prec \) be an axial ordering of \(R_0\). For every element \(u\in [1,w]\) with \(u \ne 1\), the set \(R_0 \cap [1,u]\) has a \(\prec \)-smallest and a \(\prec \)-largest reflection.
Proof
Suppose by contradiction that there is no smallest reflection in \(R_0 \cap [1,u]\). Since \(R_0 \cap [1,u]\) is non-empty, we must have an infinite decreasing sequence of reflections \(r_1 \succ r_2 \succ \cdots \) with \(r_i \in [1,u]\). In particular, the interval [1, u] is infinite, so u is hyperbolic. By Lemma 4.14, there is at least one positive vertical reflection \(r \in [1,u]\). There is only a finite number of reflections \(r' \preceq r\) in \(R_0\), so there exists a \(\prec \)-smallest reflection in \(R_0 \cap [1,u]\). Similarly, there is also a \(\prec \)-largest reflection. \(\square \)
In the definition of an EL-labeling, maximal chains are compared lexicographically. In our case it is also useful to compare them colexicographically (or antilexicographically): a tuple \((r_1, r_2, \dotsc , r_m)\) is colexicographically smaller than \((r_1', r_2', \dotsc , r_m')\) if the reflected tuple \((r_m, r_{m-1}, \dotsc , r_1)\) is lexicographically smaller than the reflected tuple \((r_m', r_{m-1}', \dotsc , r_1')\).
Lemma 4.16
Fix an axial ordering \(\prec \) of \(R_0\). Every interval [u, v] in [1, w] has a unique lexicographically smallest maximal chain, and this chain is increasing. Similarly, every interval [u, v] in [1, w] has a unique colexicographically largest maximal chain, and this chain is increasing.
Proof
We proceed by induction on the length of the interval [u, v], the case \(u=v\) being trivial. Suppose from now on that \(u < v\). The labels of the covering relations \(u \lessdot u'\) with \(u' \in [u,v]\) are all distinct, and they are given by the reflections in \(R_0 \cap [1, u^{-1}v]\). By Lemma 4.15, there is a \(\prec \)-smallest reflection r in \(R_0 \cap [1, u^{-1}v]\). Let \(u' = ur\). In view of the induction hypothesis applied to \([u',v]\), it is enough to prove that all covering relations in \([u',v]\) have labels greater than r. If \(r'\) is a label of some covering relation in \([u',v]\), by Lemma 2.12 there is a minimal length factorization of \(u^{-1}v\) that starts with \(rr'\). Then \(r' \ne r\). In addition we have \(r' \in [1, u^{-1}v]\), so \(r' \succ r\) by \(\prec \)-minimality of r.
The proof for the colexicographic order is similar. \(\square \)
After these preparatory lemmas, we are ready to prove the key results that lead to shellability.
Lemma 4.17
(Increasing chains in elliptic intervals) Fix an axial ordering \(\prec \) of \(R_0\), and let \(u \in [1,w]\) be an elliptic element. The interval [1, u] has at most one increasing maximal chain.
Proof
Consider an irreducible horizontal component \(W_i \subseteq W\), with associated hyperplane arrangement \({\mathcal {A}}_i\) and horizontal prism \(C_i\) (with the notation of Sect. 3.4). Let L be the intersection of all the hyperplanes of \({\mathcal {A}}_i\) containing \({{\,\mathrm{\textsc {Fix}}\,}}(u)\). Since \({{\,\mathrm{\textsc {Fix}}\,}}(u)\) contains at least one axial vertex by Lemma 3.19, only hyperplanes containing an axial vertex can occur, and so L is a flat in the subarrangement of \({\mathcal {A}}_i\) consisting of the hyperplanes that contain a minimal face of \(C_i\). Then L itself contains at least one minimal face F of \(C_i\). By construction, the fixed set of any element of \([1,u] \cap W_i\) contains F (because it contains \({{\,\mathrm{\textsc {Fix}}\,}}(u)\) and is a flat of \({\mathcal {A}}_i\)). By Proposition 3.26, this minimal face F is the fixed set of a maximal element \(u_i\) of \([1,w] \cap W_i\). By Lemma 2.16, \([1,u] \cap W_i \subseteq [1,u_i]\).
The construction of the previous paragraph yields elements \(u_1, \dotsc , u_k\), one for each irreducible horizontal component. Fix a point \(a\in C_0 \cap \ell \). For \(i \in \{1,\dotsc , k\}\), apply Lemma 4.5 to the maximal element \(u_i\) and to the point \(a\in \ell \), and get an oriented line \(\ell _i'\) with unit direction \(\mu _i \in {{\,\mathrm{\textsc {Span}}\,}}(\Phi _i)\). As usual, denote by \(\mu \) the shortest vector in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\), which indicates the positive direction of the Coxeter axis \(\ell \). For \(\epsilon > 0\), consider the oriented line \(\ell ' = \{ a+ \theta \mu ' \mid \theta \in {\mathbb {R}}\}\) with basepoint a and direction \(\mu ' = \mu + \epsilon \mu _1 + \cdots + \epsilon \mu _k\). By construction, its projection on the affine subspace through a parallel to \({{\,\mathrm{\textsc {Span}}\,}}(\Phi _i)\) is precisely the line \(\ell _i'\). Therefore \(\ell '\) and \(\ell _i'\) intersect the hyperplanes of the reflections in \(W_{u_i}\) in the same order.
Perturb the line \(\ell '\) slightly, so that it becomes generic with respect to the hyperplanes of the reflections in \(W_u\), and the basepoint \(a\) remains in \(C_0\). If \(\epsilon > 0\) is small enough and the perturbation is small enough, the total ordering \(\prec _{\ell '}\) of the finite set of reflections \(R_0 \cap W_u\) has the following form:
-
first, there are the positive vertical reflections of \(W_u\) (i.e. those that fix a point of \(\ell \) above \(C_0\)), and r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \);
-
then there are the horizontal reflections of \(W_u\), and in each irreducible component \(W_i\) they are ordered as in \(\prec _{\ell _i'}\);
-
finally there are the negative vertical reflections of \(W_u\), and again r comes before \(r'\) if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \).
Notice that the relative order of the vertical reflections that fix the same point of \(\ell \) can be different in \(\prec _{\ell '}\) and in the axial ordering \(\prec \).
Let \(\Phi _u \subseteq \Phi \) be the root system of \(W_u\). By Proposition 4.4, the total ordering \(\prec _{\ell '}\) is a reflection ordering for \(W_u\), with respect to the positive system \(\Phi _u^+ \subseteq \Phi _u\) consisting of the roots that point towards the halfspaces containing the chamber \(C_0\). We want to show that \(\prec _{\ell '}\) is compatible with the Coxeter element u. For this, let \(\Phi ' \subseteq \Phi _u\) be an irreducible rank 2 induced subsystem. Let \(\alpha \) and \(\beta \) be the simple roots of \(\Phi '\) with respect to \(\Phi ' \cap \Phi _u^+\), with corresponding reflections \(r_\alpha , r_\beta \in W_u\), and assume that \(r_\alpha r_\beta \in [1,u]\). We need to prove that \(r_\alpha \prec _{\ell '} r_\beta \).
-
Case 1: \(r_\alpha \) is vertical. By Lemma 3.14 (for the case \({{\tilde{A}}}_n\)) and Lemma 3.4 (for the other cases), the right complement v of \(r_\alpha \) is a Coxeter element for the finite parabolic subgroup \(W_v\) of W that fixes \(b\), where \(b\) is the unique vertex not fixed by \(r_\alpha \) among the vertices of the axial chamber C immediately below \({{\,\mathrm{\textsc {Fix}}\,}}(r_\alpha ) \cap \ell \). Since \(r_\alpha r_\beta \in [1,u] \subseteq [1,w]\), we have that \(r_\beta \le v\), so \(r_\beta \) fixes \(b\) by Lemma 2.15.
Let \({\mathcal {A}}'\) be the reflection arrangement associated with the dihedral group \(\langle r_\alpha , r_\beta \rangle \subseteq W_u\) generated by \(r_\alpha \) and \(r_\beta \) (so its root system is \(\Phi '\)). Denote by \(C'\) the chamber of \({\mathcal {A}}'\) containing \(C_0\), i.e. the chamber corresponding to the positive system \(\Phi ' \cap \Phi _u^+\). Denote by \(C''\) the chamber of \({\mathcal {A}}'\) containing C. Both \(C'\) and \(C''\) have \(H_\alpha = {{\,\mathrm{\textsc {Fix}}\,}}(r_\alpha )\) and \(H_\beta = {{\,\mathrm{\textsc {Fix}}\,}}(r_\beta )\) as their walls: this is true for \(C'\) by definition of \(\alpha \) and \(\beta \); \(H_\alpha \) is a wall of \(C''\) because it is a wall of C; \(H_\beta \) is a wall of \(C''\) because it contains b, which is a vertex of C not contained in \(H_\alpha \). So either \(C'\) and \(C''\) are the same chamber, or they are opposite chambers in \({\mathcal {A}}'\) (because \(H_\alpha \) and \(H_\beta \) are not orthogonal, so the arrangement \({\mathcal {A}}'\) contains at least another hyperplane). Since \(C_0\) and C are axial chambers, the Coxeter axis \(\ell \) intersects both \(C'\) and \(C''\). The first hyperplane of \({\mathcal {A}}'\) that intersects \(\ell \) above C is \(H_\alpha \), so the first hyperplane of \({\mathcal {A}}'\) that intersects \(\ell '\) above \(C''\) is \(H_\alpha \).
If \(C' = C''\), then the first hyperplane of \({\mathcal {A}}'\) that intersects \(\ell '\) above \(a\) is \(H_\alpha \), and therefore \(r_\alpha \prec _{\ell '} r_\beta \). Suppose now that \(C'\) and \(C''\) are opposite chambers in \({\mathcal {A}}'\). Since \(\ell \) intersects both \(C'\) and \(C''\), and \(H_\beta \) separates \(C'\) and \(C''\), we have that \(r_\beta \) is also vertical. In addition, \(C'\) and \(C''\) are the two chambers of \({\mathcal {A}}'\) that intersect \(\ell \) (resp. \(\ell '\)) in an unbounded subset of \(\ell \) (resp. \(\ell '\)). Therefore, moving the basepoint \(a\) of \(\ell '\) from \(\ell ' \cap C'\) to \(\ell ' \cap C''\) does not alter the total ordering \(\prec _{\ell '}\) of the reflections in \(\langle r_\alpha , r_\beta \rangle \). As in the case \(C' = C''\), we conclude that \(r_\alpha \prec _{\ell '} r_\beta \).
-
Case 2: \(r_\beta \) is vertical. The argument is the same as for case 1, with the roles of \(r_\alpha \) and \(r_\beta \) exchanged. In this case v is the left complement of \(r_\beta \), and C is the axial chamber immediately above \({{\,\mathrm{\textsc {Fix}}\,}}(r_\beta ) \cap \ell \).
-
Case 3: both \(r_\alpha \) and \(r_\beta \) are horizontal. Since \(\alpha \) and \(\beta \) are not orthogonal, they must belong to the same irreducible horizontal component \(\Phi _i\). Then \(r_\alpha r_\beta \in [1,u] \cap W_i \subseteq [1,u_i]\). By Lemma 4.5, the reflection ordering for \(W_{u_i}\) induced by \(\ell _i'\) is compatible with \(u_i\), so we have \(r_\alpha \prec _{\ell _i'} r_\beta \), and therefore \(r_\alpha \prec _{\ell '} r_\beta \).
We proved that \(\prec _{\ell '}\) is a reflection ordering for \(W_u\) which is compatible with u. By Theorem 4.3, it makes the natural labeling \(\lambda \) of [1, u] an EL-labeling.
Suppose to have a \(\prec \)-increasing maximal chain, which corresponds to a minimal length factorization \(u = r_1r_2\cdots r_m\) with \(r_1 \prec r_2 \prec \cdots \prec r_m\). Our aim is to show that the reflections \(r_1, r_2, \dotsc , r_m\) are uniquely determined.
By definition of \(\prec \), the sequence \(r_1 \prec r_2 \prec \cdots \prec r_m\) consists of an initial segment \(r_1 \prec \cdots \prec r_{j}\) of positive vertical reflections, a middle segment \(r_{j+1} \prec \cdots \prec r_{j'}\) of horizontal reflections, and a final segment \(r_{{j'}+1} \prec \cdots \prec r_m\) of negative vertical reflections.
Reorder the reflections of the initial segment so that they are \(\prec _{\ell '}\)-increasing: \(r_{\sigma (1)} \prec _{\ell '} r_{\sigma (2)} \prec _{\ell '} \cdots \prec _{\ell '} r_{\sigma (j)}\), for some permutation \(\sigma \) of \(\{1, \dotsc , j\}\). The relative order of vertical reflections that fix different points of \(\ell \) is the same in \(\prec \) and \(\prec _{\ell '}\) (by construction of \(\ell '\)). By Remark 4.11, this means that the relative order of non-commuting vertical reflections is the same in \(\prec \) and \(\prec _{\ell '}\). Therefore \(r_{\sigma (1)} r_{\sigma (2)} \cdots r_{\sigma (j)} = r_1 r_2 \cdots r_j\). Similarly, if \(\tau \) is the permutation of \(\{j'+1, \dotsc , m\}\) such that \(r_{\tau (j'+1)} \prec _{\ell '} r_{\tau (j'+2)} \prec _{\ell '} \cdots \prec _{\ell '} r_{\tau (m)}\), we have \(r_{\tau (j'+1)} r_{\tau (j'+2)} \cdots r_{\tau (m)} = r_{j'+1} r_{j'+2} \cdots r_m\).
Let \(h = r_{j+1} r_{j+2}\cdots r_{j'} \in [1,u]\) be the product of the reflections in the middle segment. Since the total ordering \(\prec _{\ell '}\) makes \(\lambda \) an EL-labeling of [1, u], the interval [1, h] has a unique \(\prec _{\ell '}\)-increasing maximal chain. It corresponds to a minimal length factorization \(h = r_{j+1}' r_{j+2}' \cdots r_{j'}'\) with \(r_{j+1}' \prec _{\ell '} r_{j+2}' \prec _{\ell '} \cdots \prec _{\ell '} r_{j'}'\). Since h is horizontal, the reflections \(r_{j+1}', \dotsc , r_{j'}'\) are horizontal. Therefore they come after the positive vertical reflections and before the negative vertical reflections, in the total ordering \(\prec _{\ell '}\) of \(R_0 \cap W_u\). Putting everything together, we get
The product of these reflections is equal to u. Since \(\prec _{\ell '}\) makes \(\lambda \) an EL-labeling of u, this factorization of u is uniquely determined. In particular, the sets \(\{ r_{\sigma (1)}, \dotsc , r_{\sigma (j)}\} = \{ r_1, \dotsc , r_j \}\) and \(\{ r_{\tau (j'+1)}, \dotsc , r_{\tau (m)} \} = \{ r_{j'+1}, \dotsc , r_m \}\) are uniquely determined, and also the horizontal element \(h = r_{j+1}' \cdots r_{j'}'\) is uniquely determined. Since \(r_1 \prec r_2 \prec \cdots \prec r_j\), and \(r_{j'+1} \prec r_{j'+2} \prec \cdots \prec r_{m}\), the reflections \(r_1, \dotsc , r_j\) and \(r_{j'+1}, \dotsc , r_{m}\) are uniquely determined. Finally, the total order \(\prec \) coincides with \(\prec _{\text {hor}}\) on the horizontal reflections, and \(\prec _{\text {hor}}\) makes \(\lambda \) an EL-labeling of [1, h] by Lemma 4.9. Then the reflections \(r_{j+1}, \dotsc , r_{j'}\) are uniquely determined, because they satisfy \(r_{j+1} \prec _{\text {hor}}r_{j+2} \prec _{\text {hor}}\cdots \prec _{\text {hor}}r_{j'}\). \(\square \)
Lemma 4.18
(Increasing chains in hyperbolic intervals) Fix an axial ordering \(\prec \) of \(R_0\), and let \(u \in [1,w]\) be an hyperbolic element such that the Coxeter subgroup \(W_u \subseteq W\) is irreducible. The interval [1, u] has at most one increasing maximal chain.
Proof
Suppose to have an increasing maximal chain, which corresponds to a minimal length factorization \(u = r_1r_2\cdots r_m\) with \(r_1 \prec r_2 \prec \cdots \prec r_m\). In this factorization, the horizontal reflections appear in a contiguous (possibly empty) middle segment. Since u is vertical, at least one of \(r_1\) and \(r_m\) is a vertical reflection. Denote by \({\mathcal {A}}_u\) the hyperplane arrangement associated with the irreducible affine Coxeter subgroup \(W_u \subseteq W\).
-
Case 1: \(r_1\) is the first reflection of \(R_0 \cap [1,u]\) with respect to the total order \(\prec \). By Lemma 4.14, \(r_1\) is a positive vertical reflection. Then \(v = r_2\cdots r_m\) is an elliptic element, and by Lemma 4.17 the reflections \(r_2, \dotsc , r_m\) are uniquely determined. More precisely, by Lemma 4.16, the factorization \(v = r_2 \cdots r_m\) has to be the unique colexicographically largest minimal length factorization of v.
-
Case 2: \(r_1\) is some other vertical reflection. Let \(C'\) be the axial chamber immediately below \({{\,\mathrm{\textsc {Fix}}\,}}(r_1) \cap \ell \), and let C be the chamber of \({\mathcal {A}}_u\) containing \(C'\). By Lemma 3.21 there is a minimal length factorization of u that starts with \(r_1\) and uses all the reflections with respect to the walls of C. Since \(r_1\) is not the first reflection of \(R_0 \cap [1,u]\), there is a reflection r with respect to a wall of C such that \(r \prec r_1\). Then \(r \le r_2\cdots r_m\). By Lemma 4.17, the reflections \(r_2, \dotsc , r_m\) are uniquely determined, and by Lemma 4.16 the factorization \(r_2\cdots r_m\) has to be the unique lexicographically smallest factorization of \(r_1 u\). Therefore \(r_2 \preceq r \prec r_1\), which is impossible because \(r_1 \prec r_2\).
-
Case 3: \(r_m\) is the last reflection of \(R_0 \cap [1,u]\) with respect to the total order \(\prec \). As in case 1, the reflections \(r_1, \dotsc , r_{m-1}\) are uniquely determined.
-
Case 4: \(r_m\) is some other vertical reflection. As in case 2, this is impossible.
We have shown that there are at most two minimal length factorizations \(u = r_1 r_2 \cdots r_m\) with \(r_1 \prec r_2 \prec \cdots \prec r_m\): one where \(r_1\) is the first reflection of \(R_0 \cap [1,u]\), and \(r_2, \dotsc , r_m\) are uniquely determined (case 1), and one where \(r_m\) is the last reflection of \(R_0 \cap [1,u]\), and \(r_1, \dotsc , r_{m-1}\) are uniquely determined (case 3). By Lemma 3.21, applied to the chamber of \({\mathcal {A}}_u\) containing \(C_0\), there is a minimal length factorization of u that starts with the first reflection of \(R_0 \cap [1,u]\) and ends with the last reflection of \(R_0 \cap [1,u]\). This means that, in case 1 (where \(r_1\) is the first reflection of \(R_0 \cap [1,u]\), and \(v = r_2\cdots r_m\)), the interval [1, v] contains the last reflection of \(R_0 \cap [1,u]\). Since \(r_2\cdots r_m\) is the unique colexicographically largest factorization of v, the last factor \(r_m\) is the last reflection of \(R_0 \cap [1,u]\). Then the factorization of case 1 coincides with the factorization of case 3. \(\square \)
Finally, we prove that axial orderings make the natural edge labeling of [1, w] an EL-labeling.
Theorem 4.19
(EL-shellability) Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. Let \(\lambda :{\mathcal {E}}([1,w]) \rightarrow R_0\) be the natural edge labeling of [1, w], where \(R_0\) is totally ordered by an axial ordering. Every interval [u, v] in [1, w] has a unique increasing maximal chain, and this chain is both the lexicographically smallest and the colexicographically largest maximal chain of [u, v]. In particular, \(\lambda \) is an EL-labeling of [1, w].
Proof
By Remark 4.13, it is enough to consider intervals of the form [1, u], with \(u \in [1,w]\). In view of Lemma 4.16, it only remains to show that [1, u] has at most one increasing maximal chain. If u is elliptic, this is done in Lemma 4.17. If u is hyperbolic and the Coxeter subgroup \(W_u \subseteq W\) is irreducible, this is done in Lemma 4.18. Suppose now that u is any hyperbolic element, and let \(u = u'h\) be its hyperbolic-horizontal decomposition (see Lemma 3.20). Then \(u'\) is hyperbolic, the Coxeter subgroup \(W_{u'} \subseteq W\) is irreducible, h is horizontal elliptic, and \([1,u] = [1,u'] \times [1,h]\). We have already proved that \(\lambda \) is an EL-labeling of \([1,u']\) and [1, h], so it is an EL-labeling of [1, u] by Theorem 2.3. In particular, [1, u] has at most one increasing maximal chain. \(\square \)
5 Dual CW models for the orbit configuration spaces
In this section, we introduce new finite CW models for the orbit configuration space \(Y_W\) of a Coxeter group W. Each of them is naturally included in the interval complex of one of the noncrossing partition posets associated with W. We define them for any Coxeter group, not necessarily finite or affine.
Lemma 5.1
Let W be a Coxeter group. The reflection length of every Coxeter element is equal to the size of a set of simple reflections of W.
Proof
Let \(w = s_1s_2\cdots s_n\) be a Coxeter element, where \(S = \{s_1, s_2, \dotsc , s_n\}\) is a set of simple reflections. By the deletion condition [44, Corollary 5.8] and the fact that S is a minimal generating set for W [44, Theorem 5.5], we obtain that \(s_1s_2\cdots s_n\) is a reduced expression for w (meaning that w cannot be written as a product of less than n element of S). By [37, Theorem 1.1], the reflection length of w is the smallest natural number p such that \(s_{i_1}s_{i_2}\cdots s_{i_{n-p}} = 1\) for some choice of the indices \(1 \le i_1< i_2< \cdots < i_{n-p} \le n\). If \(p < n\), then the relation \(s_{i_1}s_{i_2}\cdots s_{i_{n-p}} = 1\) allows to write a simple reflection as a product of other simple reflections, which is impossible because S is a minimal generating set. Therefore \(p=n\). \(\square \)
Lemma 5.1 was proved in [5, Lemma 1.3.3] for finite Coxeter groups, and in [48, Proposition 7.2] for affine Coxeter groups.
Let W be a Coxeter group, and R its set of reflections. Fix a set of simple reflections \(S = \{s_1, s_2, \dotsc , s_n \} \subseteq R\), and a Coxeter element \(w = s_1s_2 \cdots s_n\). Denote by \(K_W\) the interval complex associated with the noncrossing partition poset \([1,w]^W\). Let \(X_W\) be the Salvetti complex of W, and recall from Sect. 2.1 that its cells are indexed by the simplicial complex
For every \(T \in \Delta _W\), denote by \(w_T\) the product of the elements of T in the same relative order as in the list \(s_1,s_2,\dotsc ,s_n\). Then \(w_T\) is a Coxeter element of the parabolic subgroup \(W_T\), and it belongs to \([1,w]^W\) by Lemma 5.1 and Lemma 2.12.
Lemma 5.2
For every \(T \subseteq S\) we have \([1,w_T]^{W_T} = [1,w_T]^W\), and the length functions of \(W_T\) and W agree on these intervals.
Proof
By [37, Corollary 1.4], the length function of the parabolic subgroup \(W_T\) agrees with the length function of W. By Lemma 5.1, \(l(w_T) = |T|\).
By [4, Theorem 1.3] (see also [45, Theorem 1.4]), the Hurwitz action is transitive on the minimal length factorizations of \(w_T\) as a product of reflections of W. There is at least one minimal length factorization of \(w_T\) that uses only reflections of \(W_T\), and therefore this is true for all minimal length factorizations. This means that the interval \([1,w_T]\) is the same in \(W_T\) (using the reflections of \(W_T\) as the generating set) and in W. \(\square \)
Thanks to the previous lemma, for every \(T \subseteq S\) we can safely write \([1,w_T]\) in place of \([1,w_T]^{W_T} = [1,w_T]^{W}\), without the need to specify the ambient group.
Definition 5.3
Let \(X_W'\) be the finite subcomplex of \(K_W\) consisting of the simplices \([x_1|x_2|\cdots |x_d] \in K_W\) such that \(x_1x_2\cdots x_d \in [1,w_T]\) for some \(T \in \Delta _W\).
Remark 5.4
If W is finite, then \(S \in \Delta _W\) and therefore \(X_W' = K_W\). In this case, the interval complex \(K_W\) is a classifying space for the dual Artin group \(W_w\) (by Theorems 2.9 and 2.14), which is naturally isomorphic to the Artin group \(G_W\) (by Theorem 2.13).
For every \(T \in \Delta _W\), the complex \(X_W'\) has a subcomplex consisting of the simplices \([x_1|x_2|\cdots |x_d]\) such that \(x_1x_2\cdots x_d \in [1,w_T] = [1,w_T]^{W_T}\). This is exactly the interval complex associated with \([1,w_T]^{W_T}\), which coincides with \(X_{W_T}'\) and is a classifying space for the Artin group \(G_{W_T}\) by Remark 5.4.
By definition, \(X_W'\) is the union of all subcomplexes \(X_{W_T}'\) for \(T \in \Delta _W\). Similarly, the Salvetti complex \(X_W\) is the union of the Salvetti complexes \(X_{W_T}\) for \(T \in \Delta _W\). Each \(X_{W_T}\) is a classifying space for \(G_{W_T}\), because the \(K(\pi , 1)\) conjecture holds for spherical Artin groups [29].
Theorem 5.5
For every Coxeter group W, the complex \(X_W'\) is homotopy equivalent to the Salvetti complex \(X_W\) and to the orbit configuration space \(Y_W\).
Proof
Since \(X_{W}\) is homotopy equivalent to \(Y_W\), it is enough to show that \(X_W'\) is homotopy equivalent to \(X_W\). To keep our notation uncluttered, throughout this proof we indicate \(X_W, X_W', X_{W_T}, X_{W_T}'\) by \(X, X', X_T, X_T'\), respectively.
For every \(T \in \Delta _W\), both complexes \(X_{T}\) and \(X_{T}'\) are classifying spaces for the Artin group \(G_{W_T}\). We are going to inductively construct homotopy equivalences \(\varphi _T :X_{T} \rightarrow X'_{T}\) satisfying the following naturality property: for all \(Q \subseteq T \in \Delta _W\), there is a commutative diagram
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00222-020-01016-y/MediaObjects/222_2020_1016_Figa_HTML.png)
The construction of \(\varphi _T\) is the following, assuming to have already constructed \(\varphi _Q\) for all \(Q \subsetneq T\).
-
If \(T = \emptyset \), then \(X_{T}\) and \(X'_{T}\) are single points, and there is only one map \(\varphi _T\) between them.
-
If \(|T| = 1\), then both \(X_{T}\) and \(X'_{T}\) consist of one oriented 1-cell attached to one 0-cell. Define \(\varphi _T\) as any orientation-preserving cellular homeomorphism.
-
Let \(|T| = 2\), say \(T = \{s, s'\}\). We can extend \(\varphi _{\{s\}} \cup \varphi _{\{s'\}} :X_{\{s\}} \cup X_{\{s'\}} \rightarrow X_T'\) to the 2-cell of \(X_T\), and obtain a map \(\varphi _T:X_T \rightarrow X_T'\) such that the induced map \((\varphi _T)_* :\pi _1(X_{T}, X_{\emptyset }) \rightarrow \pi _1(X_{T}', X_{\emptyset }')\) is an isomorphism (see the proof of [42, Proposition 1B.9]). Since \(X_{T}\) and \(X_T'\) are classifying spaces, we have that \(\varphi _T\) is a homotopy equivalence.
-
Let \(|T| \ge 3\). By construction, the map \(\bigcup _{Q\subsetneq T} \varphi _Q :\bigcup _{Q\subsetneq T} X_Q \rightarrow X_T'\) induces an isomorphism on the fundamental groups (which are both isomorphic to the Artin group \(G_{W_T}\)). Extend this map to the |T|-cell of \(X_T\), to get a map \(\varphi _T :X_T \rightarrow X_T'\) which also induces an isomorphism on the fundamental groups (as in the proof of [42, Proposition 1B.9]). As before, \(\varphi _T\) is a homotopy equivalence.
Gluing together all these maps, we obtain a map \(\varphi :X_W \rightarrow X'_W\). This is a homotopy equivalence by a repeated application of the gluing theorem for adjunction spaces [18, Theorem 7.5.7]. \(\square \)
Corollary 5.6
For every Coxeter group W, the fundamental group of \(X_W'\) is isomorphic to the Artin group \(G_W\).
Remark 5.7
The complex \(X_W'\) depends on the Coxeter element w and on the set of simple reflections S. However, since all Coxeter elements of a finite parabolic subgroup \(W_T\) are geometrically equivalent, the f-vector of \(X_W'\) depends only on W (it can be computed via inclusion-exclusion in terms of the subcomplexes \(K_{W_T}\)).
In view of Theorem 5.5, the \(K(\pi ,1)\) conjecture holds for an Artin group \(G_W\) if and only if \(X_W'\) is a classifying space. The following is an alternative characterization of the cells of the complex \(X_W'\) in the affine case.
Lemma 5.8
Let W be an irreducible affine Coxeter group, with a set S of simple reflections and a Coxeter element w obtained as a product of the elements of S. Denote by \(C_0\) the chamber of the Coxeter complex associated with S. A simplex \([x_1|x_2|\cdots |x_d] \in K_W\) belongs to \(X_W'\) if and only if \(x_1x_2\cdots x_d\) is an elliptic element that fixes at least one vertex of \(C_0\).
Proof
For every subset \(T \subseteq S\) with \(|T| = |S|-1\), the fixed set of the parabolic Coxeter element \(w_T\) is given by one of the vertices of \(C_0\) by Lemma 2.15. Conversely, every vertex of \(C_0\) is the fixed set of exactly one such parabolic Coxeter element. We conclude using Lemmas 2.15 and 2.16. \(\square \)
Example 5.9
(Dual complexes for \({{\tilde{A}}}_2\) and \({{\tilde{G}}}_2\)) The f-vector of \(X_W'\) is (1, 9, 9) if W is of type \({{\tilde{A}}}_2\), and (1, 11, 11) if W is of type \({{\tilde{G}}}_2\). For \({{\tilde{A}}}_2\), the complex \(X_W'\) is explicitly described in Example 7.12 and Fig. 8. Notice that the Salvetti complex \(X_W\) is much smaller, as in both cases its f-vector is (1, 3, 3).
6 Classifying spaces for dual affine Artin groups
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. In this section, we prove that the interval complex \(K_W\) associated with \([1,w]^W\) is a classifying space for the dual Artin group \(W_w\). This is somewhat surprising since the interval \([1,w]^W\) is not a lattice in general.
As usual, let W act by Euclidean isometries on \({\mathbb {R}}^n\), where n is the rank of W. Let \(R \subseteq W\) be the set of reflections, and denote by \(R_{\text {hor}}\) and \(R_{\text {ver}}\) the horizontal and vertical reflections of \([1,w]^W\), respectively. To proceed, we briefly recall the construction of McCammond and Sulway that leads to braided crystallographic groups [49]. For this, new groups of Euclidean isometries are introduced.
-
The diagonal group D, generated by \(R_{\text {hor}}\) and T. Here T is the (finite) set of all translations of \([1,w]^W\). Translations are assigned a weight of 2.
-
The factorable group F, generated by \(R_{\text {hor}}\) and by a set \(T_F\) of factored translations. There are k factored translations \(t_1, \dotsc , t_k\) for each translation \(t \in T\), and they satisfy \(t_1\cdots t_k = t\), where k is the number of irreducible components of the horizontal root system \(\Phi _{\text {hor}}\). Factored translations are assigned a weight of \(\frac{2}{k}\).
-
The crystallographic group C, generated by \(R_{\text {hor}}\), \(R_{\text {ver}}\), and \(T_F\).
The diagonal group D is included in both W and F, and all of them are included in the crystallographic group C. By [49, Lemma 7.2], the associated intervals are related as follows:
The intervals \([1,w]^D\) and \([1,w]^F\) are finite, whereas \([1,w]^W\) and \([1,w]^C\) are infinite. The factored translations are introduced so that the intervals \([1,w]^F\) and \([1,w]^C\) are balanced lattices [49, Propositions 7.4 and 7.6, and Theorem 8.10]. On the other hand, the intervals \([1,w]^D\) and \([1,w]^W\) are lattices if and only if the horizontal root system \(\Phi _{\text {hor}}\) is irreducible (i.e. \(k=1\)), in which case \(D=F\) and \(W=C\).
From these new intervals, one can construct the interval groups \(D_w\), \(F_w\), and \(C_w\). The group \(C_w\) is called the braided crystallographic group. The inclusions between the four intervals induce inclusions between the corresponding interval groups: \(D_w \hookrightarrow W_w\), \(D_w \hookrightarrow F_w\), \(W_w \hookrightarrow C_w\), and \(F_w \hookrightarrow C_w\) [49, Theorem 9.6]. Since the intervals \([1,w]^F\) and \([1,w]^C\) are lattices, the interval groups \(F_w\) and \(C_w\) are Garside groups (Theorem 2.7) and the corresponding interval complexes \(K_F\) and \(K_C\) are classifying spaces (Theorem 2.9). A consequence of the relations between the four intervals is that \(K_C = K_W \cup K_F\) and \(K_D = K_W \cap K_F\), where \(K_D\) is the interval complex associated with \([1,w]^D\). As noted in [49, Proposition 11.1], the cover of \(K_C\) corresponding to the subgroup \(W_w \subseteq C_w\) is a finite-dimensional classifying space for the (dual) Artin group \(W_w\). However this cover is not very explicit, and it is difficult to work with it in practice.
Let H be the subgroup of D generated by \(R_{\text {hor}}\). With the notation of Sect. 3.4 we have \(H = W_1 \times \cdots \times W_k\), where \(W_i\) is the subgroup generated by the reflections associated with the ith irreducible component \(\Phi _i\) of the horizontal root system \(\Phi _{\text {hor}}\). Recall that \(W_i\) is a Coxeter group of type \({{\tilde{A}}}_{n_i}\), where \(n_i\) is the rank of \(\Phi _i\). By [49, Proposition 7.6], the horizontal part \([1,w]^W \cap H\) of the interval \([1,w]^W\) decomposes as
and the single factors are described in Sect. 3.4 (a more direct proof of this decomposition can be derived in a similar way to the proof of Lemma 3.29). Let \(H_w\) be the group with generating set \(R_{\text {hor}}\) and subject only to the relations visible in \([1,w]^W \cap H\). It is a subgroup of \(D_w\) [49, Lemma 9.3], and it decomposes as a direct product of k Artin groups of types \({{\tilde{A}}}_{n_1}, \dotsc , {{\tilde{A}}}_{n_k}\), one for each irreducible component.
Let \(K_H\) be the subcomplex of \(K_D\) consisting of the simplices \([x_1|x_2|\cdots |x_d]\) such that \(x_1x_2\cdots x_d \in H\). The fundamental group of \(K_H\) is naturally isomorphic to \(H_w\). Denote by \(K_i\) the subcomplex of \(K_H\) consisting of the simplices \([x_1|x_2|\cdots |x_d]\) such that \(x_1x_2\cdots x_d \in [1,w]^W \cap W_i\). The fundamental group of \(K_i\) is an Artin group of type \({{\tilde{A}}}_{n_i}\).
Lemma 6.1
\(K_H\) is homeomorphic to \(K_{1} \times \cdots \times K_{k}\).
Proof
We claim that \(K_H\) is a triangulation of the natural cellular structure of \(K_{1} \times \cdots \times K_{k}\). To show this, we explicitly construct a homeomorphism \(\psi :K_{1} \times \cdots \times K_{k} \rightarrow K_H\). Consider a cell of \(K_{1} \times \cdots \times K_{k}\), which is a product of simplices
This is realized as \(\Delta ^{d_1} \times \cdots \times \Delta ^{d_k} \subseteq {\mathbb {R}}^{d_1+\cdots +d_k}\). Consider a point \(p \in \Delta ^{d_1} \times \cdots \times \Delta ^{d_k}\), with coordinates given by
Assume for now that the coordinates of p are pairwise distinct. Then there is a unique enumeration \(\gamma :\{1,\dotsc ,d_1+\cdots +d_k\} \rightarrow \{11, \dotsc , 1d_1, \dotsc , k1, \dotsc , kd_k \}\) of the indices such that \(a_{\gamma (1)} \ge a_{\gamma (2)} \ge \cdots \ge a_{\gamma (d_1+\cdots +d_k)}\). Notice that, in this enumeration, the relative order of indices in the same horizontal component is preserved. Define \(\psi (p)\) as the point of \([x_{\gamma (1)}| x_{\gamma (2)} |\cdots | x_{\gamma (d_1+\cdots +d_k)}]\) with coordinates
If the coordinates of p are not pairwise distinct, there are multiple choices for the enumeration \(\gamma \), and any choice gives the same definition of \(\psi (p)\). See Fig. 6 for some examples. Using the decomposition (2), we obtain that \(\psi \) is a homeomorphism. \(\square \)
Denote by \(\varphi :[1,w]^W \rightarrow [1,w]^W\) the conjugation by w: \(\varphi (u) = w^{-1} u w\).
Lemma 6.2
\(K_D\) is homeomorphic to \(K_H \times [0,1]\,/ {\sim }\), where the relation \(\sim \) identifies \([x_1|x_2|\cdots |x_d] \times \{1\}\) and \([\varphi (x_1) | \varphi (x_2) | \cdots | \varphi (x_d)] \times \{0\}\) for every simplex \([x_1|x_2|\cdots |x_d]\) of \(K_H\).
Proof
Let \(Z = K_H \times [0,1] \, / {\sim }\). Similarly to Lemma 6.1, we show that \(K_D\) is a triangulation of the natural cell structure of Z, by explicitly constructing a homeomorphism \(\psi :Z \rightarrow K_D\). Notice that \(K_H \times \{0\} \subseteq Z\) is naturally included in \(K_D\): we define \(\psi |_{K_H \times \{0\}}\) as the natural homeomorphism with \(K_H \subseteq K_D\). Consider now a cell of \(K_H \times [0,1]\) of the form
This cell is realized as \(\Delta ^d \times [0,1] \subseteq {\mathbb {R}}^{d+1}\). Then a point p in this cell has coordinates \((a_1,a_2,\dotsc ,a_d,t)\), with \(1 \ge a_1 \ge \cdots \ge a_d \ge 0\) and \(t \in [0,1]\). Let y be the right complement of \(x_1x_2\cdots x_d\), so that \(x_1x_2\cdots x_d y = w\). Notice that y is hyperbolic, so in particular \(y \ne 1\). Assume for now that none of the coordinates \(a_1,\dotsc , a_d\) is equal to \(1-t\). Then there is a unique index \(i \in \{0,\dotsc ,d\}\) such that \(a_1 \ge \cdots \ge a_i \ge 1-t \ge a_{i+1} \ge \cdots \ge a_d\). Let \(\sigma = [x_{i+1}|\cdots |x_d|y|\varphi (x_1)|\cdots |\varphi (x_{i})]\). Define \(\psi (p)\) as the point of \(\sigma \) with coordinates \((t+a_{i+1},\dotsc ,t+a_d,t,t+a_1-1,\dotsc ,t+a_i-1) \in \Delta ^{d+1}\). If some of the coordinates \(a_1,\dotsc , a_d\) are equal to \(1-t\), choose any index i as above. Different choices of i give the same point of \(K_D\). See Fig. 7 for some examples.
The definition of \(\psi \) on different cells is coherent. We only explicitly check that the definition on \([x_1|x_2|\cdots |x_d] \times [0,1]\) agrees with the definition on \([x_1|x_2|\cdots |x_d] \times \{1\}\), since this is where the non-trivial gluing occurs. Consider a point \(p \in [x_1|x_2|\cdots |x_d] \times \{1\}\), with coordinates \((a_1,\dotsc ,a_d,1) \in \Delta ^d \times [0,1]\).
-
Since \([x_1|\cdots |x_d]\times \{1\}\) is identified with \([\varphi (x_1)|\cdots |\varphi (x_d)] \times \{0\}\), we have that \(\psi (p)\) is the point of \([\varphi (x_1)|\cdots |\varphi (x_d)]\) with coordinates \((a_1,\dotsc ,a_d)\).
-
As an element of \([x_1|\cdots |x_d] \times [0,1]\), the same point p is sent to the point of \([y|\varphi (x_1)|\cdots |\varphi (x_d)]\) with coordinates \((1,a_1,\dotsc ,a_d)\). By definition of the faces in an interval complex (Definition 2.8), this point is the same as the point of \([\varphi (x_1)|\cdots |\varphi (x_d)]\) with coordinates \((a_1,\dotsc ,a_d)\).
Therefore the two definitions of \(\psi \) agree in this case.
Every maximal cell of \(K_D\) is of the form \([x_1|\cdots |x_i|y|x_{i+1}'|\cdots |x_d']\) where y is hyperbolic and each \(x_j\) and \(x_j'\) is horizontal elliptic. Thus \(\psi \) is a homeomorphism. \(\square \)
On the left, triangulation of a cell \([x] \times [0,1]\) of \(K_H \times [0,1]\,/ {\sim }\). It is homeomorphic to \([x|y] \cup [y|\varphi (x)] \subseteq K_D\), where y is the right complement of x. On the right, triangulation of a cell \([x_1|x_2] \times [0,1]\), which is homeomorphic to \([x_1|x_2|y] \cup [x_2|y|\varphi (x_1)] \cup [y|\varphi (x_1)|\varphi (x_2)] \subseteq K_D\), where y is the right complement of \(x_1x_2\)
An immediate consequence of Lemma 6.2 is that \(D_w = {\mathbb {Z}}\ltimes H_w\), where \({\mathbb {Z}}\) is the cyclic subgroup of \(D_w\) generated by w.
Lemma 6.3
\(K_{i}\) is a classifying space for the affine Artin group of type \({{\tilde{A}}}_{n_i}\).
Proof
By Lemma 3.29, we can assume until the end of this proof that \(H = W_i\) is the unique irreducible horizontal component of W. Therefore \([1,w]^D = [1,w]^F\) is a lattice, \(D_w\) is a Garside group, and \(K_D\) is a classifying space for \(D_w\). By Lemma 6.2, there is a covering map
which corresponds to the subgroup \(H_w\) of \(D_w\). Then \(K_H \times {\mathbb {R}}\) is a classifying space. Since \(K_H \times {\mathbb {R}}\simeq K_H = K_{i}\), also \(K_{i}\) is a classifying space. \(\square \)
Remark 6.4
The complex \(K_{i}\) is closely related to the complexes \(X_{W_i}'\) introduced in Sect. 5. Indeed, \(K_{i}\) is obtained by gluing the interval complexes associated with the noncrossing partition lattices of type \(A_{n_i}\) corresponding to the maximal proper standard parabolic subgroups of \(W_i\). However, the Coxeter elements of these parabolic subgroups are not below a common Coxeter element of \({{\tilde{A}}}_{n_i}\) (see also Remark 4.6).
Theorem 6.5
\(K_D\) is a classifying space for \(D_w\).
Proof
By Lemma 6.1, we have that \(K_H \cong K_{1} \times \cdots \times K_{k}\). Each factor is a classifying space by Lemma 6.3, therefore \(K_H\) is a classifying space for \(H_w\). As discussed in the proof of Lemma 6.3, there is a covering map \(\rho :K_H \times {\mathbb {R}}\rightarrow K_D\) by Lemma 6.2. Therefore \(K_D\) is a classifying space. \(\square \)
We can finally prove that \(K_W\) is a classifying space.
Theorem 6.6
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. The interval complex \(K_W\) is a classifying space for the dual Artin group \(W_w\).
Proof
Consider the universal cover \(\rho :{{\tilde{K}}}_C \rightarrow K_C\) of the interval complex \(K_C\). Recall that \(K_D = K_W \cap K_F\) and \(K_C = K_W \cup K_F\), and therefore \(\rho ^{-1}(K_D) = \rho ^{-1}(K_W) \cap \rho ^{-1}(K_F)\) and \({{\tilde{K}}}_C = \rho ^{-1}(K_C) = \rho ^{-1}(K_W) \cup \rho ^{-1}(K_F)\). Then there is a Mayer-Vietoris long exact sequence
where all homology groups are with integer coefficients. Since \(D_w = \pi _1(K_D)\) is a subgroup of \(C_w = \pi _1(K_C)\), we have that \(\rho ^{-1}(K_D)\) is a union of (infinitely many) disjoint copies of the universal cover \({{\tilde{K}}}_D\) of \(K_D\). Similarly, \(\rho ^{-1}(K_W)\) is a union of disjoint copies of the universal cover \({{\tilde{K}}}_W\) of \(K_W\), and \(\rho ^{-1}(K_F)\) is a union of disjoint copies of the universal cover \({{\tilde{K}}}_F\) of \(K_F\). Since \(K_F\) and \(K_C\) are classifying spaces, both \({{\tilde{K}}}_F\) and \({{\tilde{K}}}_C\) are contractible. By Theorem 6.5, \({{\tilde{K}}}_D\) is also contractible. Then, for \(i \ge 1\), the homology groups \(H_i(\rho ^{-1}(K_D))\), \(H_i(\rho ^{-1}(K_F))\), and \(H_i({{\tilde{K}}}_C)\) vanish. By the Mayer-Vietoris long exact sequence, \(H_i(\rho ^{-1}(K_W))\) also vanishes for \(i \ge 1\). This means that \({{\tilde{K}}}_W\) has a trivial reduced homology, so it is contractible by a standard application of the Whitehead and Hurewicz theorems (see [42, Corollary 4.33]). \(\square \)
7 Finite classifying spaces
Let W be an irreducible affine Coxeter group, with a fixed Coxeter element w. In this section we show that the interval complexes \(K_W\) and \(K_C\) deformation retract onto finite subcomplexes \(K_W' \subseteq K_W\) and \(K_C' \subseteq K_C\). In the case of \(K_W\), this is an intermediate step to prove the \(K(\pi ,1)\) conjecture, whereas for \(K_C\) this proves that the braided crystallographic group \(C_w\) has a classifying space \(K_C'\) with a finite number of cells. The notation is the same as in Sect. 6.
As noted in the proof of [49, Lemma 7.2], there is no minimal length factorization of w in C that includes both a factored translation and a vertical reflection. Recall that every element of \([1,w]^C {\setminus } [1,w]^W\) is hyperbolic.
Lemma 7.1
Let \(\sigma = [x_1|x_2|\cdots |x_d]\) be a d-simplex of \(K_C\), with \(d \ge 1\). Then exactly one of the following occurs:
-
(i)
every \(x_i\) is elliptic, and at least one is vertical;
-
(ii)
every \(x_i\) is horizontal elliptic or hyperbolic.
Proof
We shall divide the proof into four cases.
-
If at least one \(x_i\) is not in \([1,w]^W\), then no minimal length factorization of any \(x_i\) includes vertical reflections. In particular, no \(x_i\) is vertical elliptic, so (ii) holds and (i) does not. In the remaining cases, assume that \(x_i \in [1,w]^W\) for all i.
-
If every \(x_i\) is horizontal elliptic, then (ii) holds and (i) does not.
-
Suppose that \(x_j\) is hyperbolic for some index j. Then \(x_1\cdots x_j\) is also hyperbolic, and therefore its right complement y is horizontal elliptic. Every \(x_i\) for \(i>j\) is below y in \([1,w]^W\), and so is horizontal elliptic. By a similar argument, every \(x_i\) for \(i<j\) is horizontal elliptic. Then (ii) holds and (i) does not.
-
If there is at least one vertical elliptic element and there are no hyperbolic elements, (i) holds and (ii) does not.
\(\square \)
Recall that \({\mathcal {F}}(K_C)\) denotes the face poset of \(K_C\). Consider the poset map \(\eta :{\mathcal {F}}(K_C) \rightarrow {\mathbb {N}}\) defined by
We want to describe the connected components of a fiber \(\eta ^{-1}(d)\) in the Hasse diagram of \({\mathcal {F}}(K_C)\). Let \(\sigma , \tau \) be two simplices in the same fiber \(\eta ^{-1}(d)\). We have that \(\tau \) is a face of \(\sigma \) if and only if \(\sigma = [x_1|x_2|\cdots |x_d]\) with \(x_1 x_2 \cdots x_d=w\) and either \(\tau = [x_2|x_3|\cdots |x_d]\) or \(\tau = [x_1|x_2|\cdots |x_{d-1}]\). Therefore, a connected component of \(\eta ^{-1}(d)\) has the following form:
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00222-020-01016-y/MediaObjects/222_2020_1016_Figb_HTML.png)
where \(x_i x_{i+1}\cdots x_{i+d-1} = w\) for all i. Define a d-fiber component (or simply fiber component) as a connected component of the fiber \(\eta ^{-1}(d)\). As described above, a d-fiber component has an associated sequence \((x_i)_{i\in {\mathbb {Z}}}\) of elements of \([1,w]^C\) such that the product of any d consecutive elements is w. This sequence is well-defined up to a translation of the indices.
Let \(\varphi :[1,w]^C \rightarrow [1,w]^C\) be the conjugation by the Coxeter element w: \(\varphi (u) = w^{-1}uw\). Notice that, if \((x_i)_{i\in {\mathbb {Z}}}\) is the sequence associated with a d-fiber component, we have \(\varphi (x_i) = x_{i+d}\) for all \(i\in {\mathbb {Z}}\). Since \(\varphi \) restricts to a map \([1,w]^W \rightarrow [1,w]^W\), every fiber component is either disjoint from \({\mathcal {F}}(K_W)\) or contained in \({\mathcal {F}}(K_W)\), where \({\mathcal {F}}(K_W)\) is the face poset of \(K_W\). The same is true for the subcomplexes \(K_D\) and \(K_F\).
Lemma 7.2
Let \(u \in [1,w]^C\). The set \(\{\varphi ^j(u) \mid j \in {\mathbb {Z}}\}\) is infinite if and only if u is vertical elliptic.
Proof
Suppose that \(\{\varphi ^j(u) \mid j \in {\mathbb {Z}}\}\) is infinite. Since \([1,w]^C\) has only a finite number of horizontal elliptic and hyperbolic elements, at least one element of \(\{\varphi ^j(u) \mid j \in {\mathbb {Z}}\}\) is vertical elliptic. Then u is vertical elliptic.
Conversely, let u be a vertical elliptic element, and suppose by contradiction that \(\varphi ^j(u) = u\) for some \(j \in {\mathbb {Z}}{\setminus } \{0\}\). Let \(w^p\) be a power of w that acts as a translation in the positive direction of the Coxeter axis \(\ell \), where p is a positive integer (see Lemma 3.28). We have that \(\varphi ^{pj}(u) = u\), so u commutes with the (non-trivial) translation \(w^{pj}\). By [49, Lemma 11.3], \({{\,\mathrm{\textsc {Fix}}\,}}(u)\) is invariant under \(w^{pj}\). Then \({{\,\mathrm{\textsc {Dir}}\,}}(\ell ) \subseteq {{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Fix}}\,}}(u))\). We have that \({{\,\mathrm{\textsc {Mov}}\,}}(u) = {{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Mov}}\,}}(u))\) because u is elliptic, and that \({{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Mov}}\,}}(u))\) is orthogonal to \({{\,\mathrm{\textsc {Dir}}\,}}({{\,\mathrm{\textsc {Fix}}\,}}(u))\) by [12, Lemma 3.6]. Therefore u is horizontal, and this is a contradiction. \(\square \)
Lemma 7.3
Let \(\sigma \in {\mathcal {F}}(K_C)\). The fiber component containing \(\sigma \) is infinite if and only if \(\sigma \) is of type (i) in Lemma 7.1. In particular:
-
every infinite fiber component is contained in \({\mathcal {F}}(K_W)\);
-
\({\mathcal {F}}(K_F)\) is the union of all finite fiber components;
-
\({\mathcal {F}}(K_D)\) is the union of all finite fiber components of \({\mathcal {F}}(K_W)\).
Proof
Let \(\sigma = [x_1|x_2|\cdots |x_d]\). If \(\sigma \) is of type (i), at least one \(x_i\) is vertical elliptic. Then the set \(\{ x_{i+jd} = \varphi ^j(x_i) \mid j \in {\mathbb {Z}}\}\) is infinite by Lemma 7.2, so the fiber component of \(\sigma \) is infinite. The simplices of type (i) are in \({\mathcal {F}}(K_W)\), so the component is contained in \({\mathcal {F}}(K_W)\).
If \(\sigma \) is of type (ii), then every \(x_i\) is horizontal elliptic or hyperbolic, so \(\sigma \in {\mathcal {F}}(K_F)\). Since \({\mathcal {F}}(K_F)\) is finite, the fiber component of \(\sigma \) is finite. Conversely, every simplex of \({\mathcal {F}}(K_F)\) is of type (ii), and so its fiber component is finite.
The very last point follows from the fact that \(K_D = K_W \cap K_F\). \(\square \)
Lemma 7.4
Let \({\mathcal {C}}\subseteq {\mathcal {F}}(K_W)\) be a finite d-fiber component. Then there exists a simplex \([x_1|x_2|\cdots |x_{d-1}] \in {\mathcal {C}}\) such that \(x_1x_2\cdots x_{d-1}\) is horizontal elliptic.
Proof
Consider any d-simplex \(\sigma = [x_1|x_2|\cdots |x_d] \in {\mathcal {C}}\), with \(x_1 x_2 \cdots x_d = w\). Since \({\mathcal {C}}\) is finite, at least one \(x_i\) is hyperbolic by Lemma 7.3. Suppose without loss of generality that \(x_d\) is hyperbolic. Then its left complement \(x_1x_2\cdots x_{d-1}\) is horizontal elliptic (here we are using the fact that \(\sigma \in {\mathcal {F}}(K_W)\)). This completes the proof, because \([x_1|x_2|\cdots |x_{d-1}] \in {\mathcal {C}}\). \(\square \)
Lemma 7.5
Let \({\mathcal {C}}\subseteq {\mathcal {F}}(K_W)\) be an infinite d-fiber component. Then there exists a simplex \([x_1|x_2|\cdots |x_{d-1}] \in {\mathcal {C}}\) such that \(x_1x_2\cdots x_{d-1}\) is vertical elliptic.
Proof
Consider any d-simplex \([x_1|x_2|\cdots |x_d] \in {\mathcal {C}}\), with \(x_1 x_2 \cdots x_d = w\). Since \({\mathcal {C}}\) is infinite, at least one \(x_i\) is vertical elliptic by Lemma 7.3. Suppose without loss of generality that \(x_d\) is vertical elliptic. Then its left complement \(x_1x_2\cdots x_{d-1}\) is also vertical elliptic, and \([x_1|x_2|\cdots |x_{d-1}] \in {\mathcal {C}}\). \(\square \)
From now on, fix an axial chamber \(C_0\) of the Coxeter complex. If S is the set of simple reflections associated with \(C_0\), the Coxeter element w can be written as the product of the elements of S by Theorem 3.8 (for the case \({{\tilde{A}}}_n\)) and Theorem 3.3 (for the other cases). Let \(X_W' \subseteq K_W\) be the complex introduced in Definition 5.3. By Lemma 5.8, it consists of the simplices \([x_1|x_2|\cdots |x_d]\) of \(K_W\) such that \(x_1x_2\cdots x_d\) fixes a vertex of \(C_0\).
Lemma 7.6
Let \({\mathcal {C}}\subseteq {\mathcal {F}}(K_W)\) be a d-fiber component. Then there exists a simplex \([x_1|x_2|\cdots |x_{d-1}] \in {\mathcal {C}}\) such that \(x_1 x_2 \cdots x_{d-1}\) is elliptic and fixes a vertex of \(C_0\). In other words, \({\mathcal {C}}\cap {\mathcal {F}}(X_W') \ne \emptyset \).
Proof
By Lemmas 7.5 and 7.4, there exists a simplex \(\sigma = [x_1|x_2|\cdots |x_{d-1}] \in {\mathcal {C}}\) such that \(x_1 x_2\cdots x_{d-1}\) is elliptic. By Lemma 3.19, \(x_1 x_2\cdots x_{d-1}\) fixes an axial vertex. By Proposition 3.10 (for the case \({{\tilde{A}}}_n\)) and Remark 3.2 (for the other cases), every axial vertex can be written uniquely as \(w^j(b)\) for some vertex b of \(C_0\). Then, up to a conjugation by a power of w (i.e. up to a translation of the indices in the sequence \((x_i)_{i\in {\mathbb {Z}}}\)), we can assume that \(x_1 x_2 \cdots x_{d-1}\) fixes a vertex of \(C_0\). \(\square \)
Corollary 7.7
The face poset \({\mathcal {F}}(K_C)\) of the interval complex \(K_C\) contains only a finite number of fiber components.
Proof
Every fiber component contained in \({\mathcal {F}}(K_W)\) intersects \({\mathcal {F}}(X_W')\) by Lemma 7.6. Since \({\mathcal {F}}(X_W')\) is finite, \({\mathcal {F}}(K_W)\) contains only a finite number of fiber components. If \({\mathcal {C}}\) is a fiber component not contained in \({\mathcal {F}}(K_W)\), by Lemma 7.3 we have that \({\mathcal {C}}\) is finite and \({\mathcal {C}}\subseteq {\mathcal {F}}(K_F)\). Since \({\mathcal {F}}(K_F)\) is finite, it contains only a finite number of fiber components. \(\square \)
We are finally able to show that \(K_C\) and \(K_W\) deformation retract onto finite subcomplexes \(K_C' \subseteq K_C\) and \(K_W' \subseteq K_W\), respectively.
Definition 7.8
Let K be either \(K_C\) or \(K_W\). A nice subcomplex of K is a subcomplex \(K' \subseteq K\) such that
-
(1)
every finite fiber component \({\mathcal {C}}\subseteq {\mathcal {F}}(K)\) is also contained in \({\mathcal {F}}(K')\);
-
(2)
for every infinite fiber component \({\mathcal {C}}\subseteq {\mathcal {F}}(K)\), the intersection \({\mathcal {C}}\cap {\mathcal {F}}(K')\) is non-empty and its Hasse diagram is connected.
Theorem 7.9
Let K be either \(K_C\) or \(K_W\).
-
(a)
K deformation retracts onto every nice subcomplex \(K'\).
-
(b)
Finite nice subcomplexes of K exist.
Proof
For part (a), on every infinite fiber component \({\mathcal {C}}\) consider the only acyclic matching \({\mathcal {M}}_{\mathcal {C}}\) with critical simplices given by \({\mathcal {C}}\cap {\mathcal {F}}(K')\). Existence and uniqueness of \({\mathcal {M}}_{\mathcal {C}}\) follow from the fact that \({\mathcal {C}}\cap {\mathcal {F}}(K')\) is non-empty and its Hasse diagram is connected. By Theorem 2.5, the union of the matchings \({\mathcal {M}}_{\mathcal {C}}\) is an acyclic matching with the desired set of critical simplices. This matching is also proper. We conclude using the main theorem of discrete Morse theory (Theorem 2.4).
For part (b), recall that \({\mathcal {F}}(K)\) has only a finite number of (finite or infinite) fiber components by Corollary 7.7. Then it is enough to inductively choose a finite non-empty interval in the Hasse diagram of every infinite d-fiber component \({\mathcal {C}}\), starting from \(d=\dim (K)\) (the highest possible value of d) and going down to \(d=1\), so that every simplex in the boundary of a chosen simplex is also chosen. \(\square \)
Since \(K_C\) is a classifying space for \(C_w\), we immediately obtain the following.
Theorem 7.10
Let W be an irreducible affine Coxeter group, and w one of its Coxeter elements. The braided crystallographic group \(C_w\) admits a classifying space with a finite number of cells.
We end this section by noticing that there is a canonical choice of a nice subcomplex \(K'\) of K (where K is either \(K_W\) or \(K_C\)): for every infinite fiber component, \(K'\) contains all the simplices between the first and the last simplex belonging to \(X_W'\); in addition, \(K'\) contains all the finite fiber components of K.
Lemma 7.11
Let K be either \(K_C\) or \(K_W\). Then \(K'\) is a nice subcomplex of K.
Proof
First, we check that \(K'\) is a subcomplex. The finite fiber components of K form a subcomplex (\(K_D\) or \(K_F\)) by Lemma 7.3. Let \(\sigma \) be a simplex of \(K'\) which belongs to an infinite fiber component \({\mathcal {C}}\). Then, in \({\mathcal {C}}\), the simplex \(\sigma \) is between two simplices \(\sigma _1,\sigma _2 \in X_W'\) (if \(\sigma \in X_W'\), we have \(\sigma _1= \sigma _2= \sigma \)). Then a face \(\tau \) of \(\sigma \) is either in the same fiber component \({\mathcal {C}}\), or is between two faces of \(\sigma _1\) and \(\sigma _2\), in the fiber component of \(\tau \). Therefore \(\tau \in {\mathcal {F}}(K')\).
By Lemmas 7.3 and 7.6, every infinite fiber component contains at least one simplex of \(X_W'\). Then \(K'\) satisfies the conditions of Definition 7.8. \(\square \)
We call this subcomplex \(K'\) the canonical nice subcomplex of K. By construction, it contains \(X_W'\) as a subcomplex. In general, \(K'\) is not the smallest nice subcomplex of K.
Example 7.12
(Fiber components of \({{\tilde{A}}}_2\)) For W of type \({{\tilde{A}}}_2\), the fiber components of \(K_W = K_C\) are shown in Fig. 8, using the notation of Example 3.12. The first 2 fiber components are finite, and they form the subcomplex \(K_D = K_F\). The other 7 fiber components are infinite. Black nodes correspond to simplices in \({\mathcal {F}}(X_W')\), and white nodes correspond to simplices in \({\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\), where \(K_W'\) is the canonical subcomplex of \(K_W\). The shown simplices are exactly those in \({\mathcal {F}}(K_W')\).
8 The \(K(\pi ,1)\) conjecture
In this section, we prove the \(K(\pi ,1)\) conjecture for affine Artin groups. It is enough to consider the irreducible case.
Let W be an irreducible affine Coxeter group, and R its set of reflections. Fix a Coxeter element w and an axial chamber \(C_0\) of the Coxeter complex. Let \(S \subseteq R\) be the set of simple reflections associated with \(C_0\). By Theorem 3.8 (for the case \({{\tilde{A}}}_n\)) and Theorem 3.3 (for the other cases), the Coxeter element w can be written as the product of the elements of S, say \(w = s_1s_2\cdots s_{n+1}\) (where n is the rank of W). Let \(\{p_i\}_{i \in {\mathbb {Z}}}\) be the sequence of points of the Coxeter axis \(\ell \) that are fixed by at least one vertical reflection of W (see Sect. 3.1 and Lemma 3.7). Enumerate these points so that \(p_0\) is below \(C_0\) and \(p_1\) is above \(C_0\).
Let \(K_W\) be the interval complex associated with the noncrossing partition poset \([1,w] = [1,w]^W\), \(K_W' \subseteq K_W\) its canonical nice subcomplex (introduced at the end of Sect. 7), and \(X_W' \subseteq K_W'\) the complex introduced in Definition 5.3. By Lemma 5.8, \(X_W'\) consists of the simplices \([x_1|x_2|\cdots |x_d]\) of \(K_W\) such that \(x_1x_2\cdots x_d\) fixes a vertex of \(C_0\).
Recall that \(K_W\) is a classifying space for the dual Artin group \(W_w\) (Theorem 6.6), \(K_W\) deformation retracts onto \(K_W'\) (Theorem 7.9), and \(X_W'\) is homotopy equivalent to the orbit configuration space \(Y_W\) (Theorem 5.5). Then, in order to prove the \(K(\pi ,1)\) conjecture for the Artin group \(G_W = \pi _1(Y_W)\), it is enough to show that \(K_W'\) deformation retracts onto \(X_W'\). This also implies that the dual Artin group \(W_w\) is isomorphic to the Artin group \(G_W\), thus giving a new proof of [49, Theorem C].
To show that \(K_W'\) deformation retracts onto \(X_W'\), we are going to use discrete Morse theory. Specifically, we need to construct an acyclic matching on the face poset \({\mathcal {F}}(K_W')\) such that the set of critical simplices is exactly \({\mathcal {F}}(X_W')\).
Denote by \(\varphi :[1,w] \rightarrow [1,w]\) the conjugation by w: \(\varphi (u) = w^{-1}uw\). Let \(\prec \) be an axial ordering of the set of reflections \(R_0 = R \cap [1,w]\) (see Definition 4.10) that satisfies the following compatibility property: if \(r,r' \in R_0\) fix the same point of \(\ell \), and \(r \prec r'\), then \(\varphi (r) \prec \varphi (r')\). Although not strictly necessary, this compatibility property will make the proof of Lemma 8.8 simpler.
By Theorem 4.19, every element \(u \in [1,w]\) has a unique minimal length factorization \(u = r_1 r_2 \cdots r_m\) as a product of reflections such that \(r_1 \prec r_2 \prec \cdots \prec r_m\). We call it the increasing factorization of u. Theorem 4.19 also implies that \(r_1\) is the \(\prec \)-smallest reflection of \(R_0 \cap [1,u]\), and \(r_m\) is the \(\prec \)-largest. As in Sect. 4, we say that a vertical reflection is positive if it fixes a point of \(\ell \) above \(C_0\), and negative otherwise.
Since w acts on the Coxeter axis \(\ell \) as a translation in the positive direction, we have that \({{\,\mathrm{\textsc {Fix}}\,}}(\varphi (r)) \cap \ell \) is below \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) for every vertical reflection \(r \in R_0\). In addition, if \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \) is above \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \) (for some vertical reflections \(r,r'\)), then \({{\,\mathrm{\textsc {Fix}}\,}}(\varphi ^j(r)) \cap \ell \) is above \({{\,\mathrm{\textsc {Fix}}\,}}(\varphi ^j(r')) \cap \ell \) for all \(j \in {\mathbb {Z}}\).
Lemma 8.1
For every vertical reflection \(r \in R_0\), there exists a unique \(j \in {\mathbb {Z}}\) such that \(\varphi ^j(r)\) is one of the \(n+1\) \(\prec \)-smallest reflections in \(R_0\). In addition, \(j \ge 0\) if and only if r is positive.
Proof
If w is a bipartite Coxeter element (see Sect. 3.1), the \(n+1\) \(\prec \)-smallest reflections are the ones that fix \(p_1\) or \(p_2\). Let \(p_i\) be the point of \(\ell \) which is fixed by r. By Remark 3.2, there is a unique j such that \(w^{-j}(p_i)\) is \(p_1\) or \(p_2\), and specifically \(j = \left\lfloor \frac{i-1}{2}\right\rfloor \). We have \(j \ge 0\) if and only if r is positive. Then \(\varphi ^{j}(r)\) fixes \(p_1\) or \(p_2\), so it is among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\).
Suppose now that w is a (p, q)-bigon Coxeter element (with \(p+q=n+1\)) in a Coxeter group W of type \({{\tilde{A}}}_n\). By part (i) of Proposition 3.9, the \(n+1\) \(\prec \)-smallest reflections are those that fix one of \(p_1, p_2, \dotsc , p_{m}\) with \(m = \frac{p+q}{\gcd (p,q)}\). By Lemma 3.7, for every \(i \in {\mathbb {Z}}\) there is a unique \(j \in {\mathbb {Z}}\) such that \(w^{-j}(p_i) \in \{p_1, p_2, \dotsc , p_m\}\). We conclude as in the bipartite case. \(\square \)
Lemma 8.2
Let \(r \in R_0\) be a vertical reflection. The right complement of r fixes a vertex of \(C_0\) if and only if r is among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\).
Proof
By Lemma 3.18, for each vertex b of \(C_0\) there is a unique vertical elliptic isometry \(u \in [1,w]\) such that \(l(u) = n\) and u fixes b. By taking the left complement of these vertical elliptic isometries, we obtain that there are exactly \(n+1\) vertical reflections r such that the right complement of r fixes a vertex of \(C_0\). We only need to show that they are the \(n+1\) \(\prec \)-smallest reflections of \(R_0\).
If w is a bipartite Coxeter element, then the \(n+1\) \(\prec \)-smallest reflections are those that fix \(p_1\) or \(p_2\). By Lemma 3.4, these are precisely the ones that have a right complement that fixes a vertex of \(C_0\).
Suppose now that w is a (p, q)-bigon Coxeter element in a Coxeter group W of type \({{\tilde{A}}}_n\). By part (i) of Proposition 3.9, the \(n+1\) \(\prec \)-smallest reflections of \(R_0\) are those that fix one of \(p_1, p_2, \dotsc , p_{m}\) with \(m = \frac{p+q}{\gcd (p,q)}\). Let \(r \in R_0\) be a vertical reflection such that its right complement fixes a vertex b of \(C_0\). Let C be the axial chamber immediately below \({{\,\mathrm{\textsc {Fix}}\,}}(r) \cap \ell \). By Lemma 3.14, r is positive (otherwise its right complement would not fix a vertex of \(C_0\)) and \(b\) is a vertex of C. Suppose by contradiction that r is not among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). Then \({{\,\mathrm{\textsc {Fix}}\,}}(r)\) intersects \(\ell \) in a point \(p_i\) with \(i \ge m+1\), and there are at least \(m+1\) axial chambers between \(C_0\) and C (including \(C_0\) and C themselves). By part (ii) of Proposition 3.10, the axial point \(b\) is a vertex of exactly m consecutive axial chambers. This is a contradiction because \(b\) is a vertex of both \(C_0\) and C. \(\square \)
It is convenient to introduce some additional notation. Given a simplex \(\sigma = [x_1|x_2|\cdots |x_d] \in K_W\), let \(\pi (\sigma ) = x_1x_2\cdots x_d \in [1,w]\). Also, if \({\mathcal {C}}\) is the d-fiber component containing \(\sigma \), let \(\lambda (\sigma )\) (resp. \(\rho (\sigma )\)) be the simplex that appears immediately to the left (resp. immediately to the right) of \(\sigma \) in \({\mathcal {C}}\). More explicitly:
Then \(\lambda \) is the inverse of \(\rho \). More generally, we say that a simplex \(\tau \in K_W\) is to the left of \(\sigma \) (resp. to the right of \(\sigma \)) if \(\tau = \lambda ^k(\sigma )\) (resp. \(\tau = \rho ^k(\sigma )\)) for some \(k > 0\). Notice that, if \(\sigma \) and \(\tau \) belong to a finite component \({\mathcal {C}}\), then \(\tau \) is both to the left of \(\sigma \) and to the right of \(\sigma \).
With this notation, the definitions of \(X_W'\) and \(K_W'\) can be written as follows:
-
\(\sigma \in {\mathcal {F}}(X_W')\) if and only if \(\pi (\sigma )\) fixes a vertex of \(C_0\);
-
\(\sigma \in {\mathcal {F}}(K_W')\) if and only if \(\lambda ^k(\sigma ) \in {\mathcal {F}}(X_W')\) for some \(k \ge 0\) and \(\rho ^k(\sigma ) \in {\mathcal {F}}(X_W')\) for some \(k \ge 0\).
The following definition will be used in the construction of the matching on \({\mathcal {F}}(K_W')\).
Definition 8.3
(Depth) Let \(\sigma = [x_1|x_2|\cdots |x_d] \in {\mathcal {F}}(K_W)\), with \(\pi (\sigma ) = w\). Define the depth \(\delta (\sigma )\) of \(\sigma \) as the minimum \(i \in \{1,2,\dotsc , d\}\) such that one of the following occurs:
-
(i)
\(l(x_i) \ge 2\);
-
(ii)
\(l(x_i) = 1\), \(i \le d-1\), and \(x_i \prec r\) for every reflection \(r\le x_{i+1}\) in [1, w].
If no such i exists, let \(\delta (\sigma ) = \infty \).
Lemma 8.4
Let \(\sigma \in {\mathcal {F}}(K_W')\). If \(\pi (\sigma ) = w\), and \(\pi (\rho (\sigma ))\) fixes a vertex of \(C_0\), then \(\delta (\sigma ) \ne \infty \).
Proof
Let \(\sigma = [x_1|x_2|\cdots |x_d]\), and suppose by contradiction that \(\delta (\sigma ) = \infty \). Then each \(x_i\) is a reflection, \(d = l(w) = n+1\), and \(x_1 \succ x_2 \succ \cdots \succ x_{n+1}\). Since \(\pi (\rho (\sigma )) = x_2\cdots x_{n+1}\) fixes a vertex of \(C_0\), by Lemma 8.2 we have that \(x_1\) is among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). Then \(x_1, x_2, \dotsc , x_{n+1}\) are the \(n+1\) \(\prec \)-smallest reflections of \(R_0\).
Let \([y_1|y_2|\cdots |y_{n+1}]\) be a \((n+1)\)-simplex to the left of \(\sigma \). Then \(y_1 = \varphi ^j(x_i)\) for some \(i \in \{1, \dotsc , n+1 \}\) and \(j < 0\). The right complement \(y_2\cdots y_{n+1}\) of \(y_1\) is equal to \(\varphi ^j(u)\), where u is the right complement of \(x_i\). Since \(x_i\) is among the \(n+1\) \(\prec \)-smallest reflections, its right complement u fixes a vertex b of \(C_0\) by Lemma 8.2. Then \(y_2\cdots y_{n+1} = \varphi ^j(u)\) fixes the axial vertex \(w^{-j}(b)\). By Proposition 3.10 (for the case \({{\tilde{A}}}_n\)) and Remark 3.2 (for the other cases), \(w^{-j}(b)\) is not a vertex of \(C_0\). Therefore \([y_2|\cdots |y_{n+1}] \not \in {\mathcal {F}}(X_W')\). This conclusion applies to every n-simplex \([y_2|\cdots |y_{n+1}]\) to the left of \(\sigma \). Then \(\sigma \not \in {\mathcal {F}}(K_W')\), which is a contradiction. \(\square \)
We are now ready to define a function \(\mu \) which will ultimately give us the matching we need.
Definition 8.5
(Matching function) Given a simplex \(\sigma \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\), define a simplex \(\mu (\sigma ) \in {\mathcal {F}}(K_W)\) as follows.
-
(1)
If \(\pi (\sigma ) \ne w\), let \(\mu (\sigma ) = \lambda (\sigma )\).
-
(2)
If \(\pi (\sigma ) = w\), and \(\pi (\rho (\sigma ))\) does not fix a vertex of \(C_0\), let \(\mu (\sigma ) = \rho (\sigma )\).
Suppose now that \(\pi (\sigma ) = w\), and \(\pi (\rho (\sigma ))\) fixes a vertex of \(C_0\). Let \(\sigma = [x_1|x_2|\cdots |x_d]\) and \(\delta = \delta (\sigma )\). Notice that \(\delta \ne \infty \) by Lemma 8.4.
-
(3)
If \(l(x_\delta ) \ge 2\), define \(\mu (\sigma ) = [x_1|\cdots |x_{\delta -1}|y|z|x_{\delta +1}|\cdots |x_d]\), where y is the \(\prec \)-smallest reflection of \(R_0 \cap [1,x_\delta ]\), and \(yz = x_\delta \).
-
(4)
If \(l(x_\delta ) = 1\), define \(\mu (\sigma ) = [x_1|\cdots |x_{\delta -1}|x_\delta x_{\delta +1}|x_{\delta +2}|\cdots | x_d]\).
Notice that \(\mu (\sigma ) \gtrdot \sigma \) if \(\sigma \) occurs in case (1) or (3), whereas \(\mu (\sigma ) \lessdot \sigma \) if \(\sigma \) occurs in case (2) or (4). In addition, \(\mu (\sigma ) \not \in {\mathcal {F}}(X_W')\) by Lemma 5.8.
Example 8.6
(Matching for \({{\tilde{A}}}_2\)) Figure 9 shows the matching defined by \(\mu \) on \({\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\) in the case \({{\tilde{A}}}_2\), using the axial ordering of Example . See also Fig. 8, where the involved simplices are indicated by white nodes. The first 4 pairs on the left column occur in cases (1) and (2) of Definition 8.5. The other 6 pairs occur in cases (3) and (4).
Lemma 8.7
Let \(\sigma \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\) be a simplex such that \(\pi (\sigma ) = w\), and \(\rho (\sigma ) \in {\mathcal {F}}(X_W')\). Then also \(\rho (\mu (\sigma )) \in {\mathcal {F}}(X_W')\).
Proof
Let \(\sigma = [x_1|x_2|\cdots |x_d]\). It is not possible for \(\sigma \) to occur in case (1) or (2) of Definition 8.5, because \(\pi (\sigma ) = w\) and \(\rho (\sigma ) \in {\mathcal {F}}(X_W')\).
If \(\sigma \) occurs in case (4), then we have \(\mu (\sigma ) = [x_1|\cdots |x_{\delta -1}|x_\delta x_{\delta +1}|x_{\delta +2}|\cdots | x_d]\). Therefore \(\pi (\rho (\mu (\sigma ))) \le \pi (\rho (\sigma ))\) in [1, w]. Since \(\pi (\rho (\sigma ))\) fixes a vertex of \(C_0\), also \(\pi (\rho (\mu (\sigma )))\) fixes a vertex of \(C_0\) by Lemma 2.15. Then \(\rho (\mu (\sigma )) \in {\mathcal {F}}(X_W')\).
If \(\sigma \) occurs in case (3), then \(\mu (\sigma ) = [x_1|\cdots |x_{\delta -1}|y|z|x_{\delta +1}|\cdots |x_d]\). If \(\delta > 1\), we have \(\pi (\rho (\mu (\sigma ))) = \pi (\rho (\sigma ))\), and so \(\pi (\rho (\mu (\sigma )))\) fixes a vertex of \(C_0\). Assume from now on that \(\delta = 1\), so \(\mu (\sigma ) = [y|z|x_{2}|\cdots |x_d]\). Let \(b\) be a vertex of \(C_0\) fixed by \(\pi (\rho (\sigma )) = x_2\cdots x_d\). Let \(u \in [1,w]\) be the unique vertical elliptic element that fixes \(b\) with \(l(u)=n\) (see Lemma 3.18). By Lemma 2.16, we have \(x_2\cdots x_d \le u\) in [1, w]. Let r be the left complement of u (it is a vertical reflection). By Lemma 8.2, r is one of the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). Passing to the left complements in the inequality \(x_2\cdots x_d \le u\), we get \(x_1 \ge r\) in [1, w]. By definition of \(\mu \), we have that y is the \(\prec \)-smallest reflection of \(R_0 \cap [1,x_1]\), and therefore \(y \preceq r\). In particular, y is one of the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). By Lemma 8.2, its right complement \(zx_2\cdots x_d = \pi (\rho (\mu (\sigma )))\) fixes a vertex of \(C_0\). \(\square \)
Lemma 8.8
For every \(\sigma \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\), we have that \(\mu (\sigma ) \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\).
Proof
We have already noted in Definition 8.5 that \(\mu (\sigma ) \not \in {\mathcal {F}}(X_W')\). We have \(\mu (\sigma ) = \lambda (\sigma )\) in case (1), and \(\mu (\sigma ) = \rho (\sigma )\) in case (2). Since \(\sigma \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\), in these two cases \(\mu (\sigma ) \in {\mathcal {F}}(K_W')\). Suppose from now on that \(\sigma \) occurs in case (3) or case (4). In particular, \(\pi (\sigma ) = w\) and \(\rho (\sigma ) \in {\mathcal {F}}(X_W')\).
Let \(\sigma = [x_1|x_2|\cdots |x_d]\). By Lemma 8.7, we have \(\rho (\mu (\sigma )) \in {\mathcal {F}}(X_W')\). Therefore we only need to prove that there is a simplex in \({\mathcal {F}}(X_W')\) to the left of \(\mu (\sigma )\). Since \(\sigma \in {\mathcal {F}}(K_W')\), there is a \((d-1)\)-simplex \(\tau \in {\mathcal {F}}(X_W')\) to the left of \(\sigma \). It has the following form:
for some \(h < 0\) and \(i \in \{1,\dotsc , d\}\).
If \(\sigma \) occurs in case (4), then \(\mu (\sigma ) = [x_1|\cdots |x_{\delta -1}|x_\delta x_{\delta +1}|x_{\delta +2}|\cdots | x_d]\) where \(\delta = \delta (\sigma )\). To the left of \(\mu (\sigma )\) there is a simplex \(\tau '\) such that \(\pi (\tau ') \le \pi (\tau )\), given by:
Since \(\tau \in {\mathcal {F}}(X_W')\), we have that \(\pi (\tau )\) fixes a vertex of \(C_0\), so \(\pi (\tau ')\) also fixes a vertex of \(C_0\) (by Lemma 2.15), which means that \(\tau ' \in {\mathcal {F}}(X_W')\). Therefore \(\mu (\sigma ) \in {\mathcal {F}}(K_W')\).
If \(\sigma \) occurs in case (3), then \(\mu (\sigma ) = [x_1|\cdots |x_{\delta -1}|y|z|x_{\delta +1}|\cdots |x_d]\). If \(i \ne \delta \), we can find a simplex \(\tau '\) to the left of \(\mu (\sigma )\) such that \(\pi (\tau ') = \pi (\tau )\), namely:
As before, this implies that \(\mu (\sigma ) \in {\mathcal {F}}(K_W')\). Suppose from now on that \(i = \delta \).
The right complement of \(\varphi ^h(x_\delta )\) is equal to \(\pi (\tau )\), which is elliptic because it fixes a vertex of \(C_0\). Therefore \(\varphi ^h(x_\delta )\) is vertical, and thus also \(x_\delta = yz\) is vertical. Let \(z = r_1r_2\cdots r_m\) be the increasing factorization of z, with \(m \ge 1\). By definition of y, we have that \(y \prec r_1 \prec \cdots \prec r_m\). Since yz is vertical, at least one of \(y, r_1, \dotsc , r_m\) is a vertical reflection.
-
Case 1: \(r_m\) is a negative vertical reflection. By Lemma 8.1, there exists a \(j < 0\) such that \(\varphi ^j(r_m)\) is among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). By Lemma 8.2, its right complement u fixes a vertex of \(C_0\). Consider the following simplex to the left of \(\mu (\sigma )\):
$$\begin{aligned} \tau ' = [\varphi ^j(x_{\delta +1}) | \cdots | \varphi ^j(x_d) | \varphi ^{j+1}(x_1) | \cdots | \varphi ^{j+1}(x_{\delta -1}) | \varphi ^{j+1}(y)]. \end{aligned}$$The left complement of \(\pi (\tau ')\) is \(\varphi ^j(z)\), and we have \(\varphi ^j(r_m) \le \varphi ^j(z)\) in [1, w]. Passing to the right complements in this inequality, we obtain that \(u \ge \pi (\tau ')\). Since u fixes a vertex of \(C_0\), by Lemma 2.15 also \(\pi (\tau ')\) fixes a vertex of \(C_0\). Therefore \(\tau ' \in {\mathcal {F}}(X_W')\).
-
Case 2: \(r_m\) is a horizontal reflection or a positive vertical reflection. The same is true for all the reflections \(y, r_1, \dotsc , r_m\), because \(y \prec r_1 \prec \cdots \prec r_m\). Recall that at least one of them is vertical. Then, for some \(k \in \{0, \dotsc , m\}\), we have that \(y, r_1, \dotsc , r_k\) are positive vertical reflections, and \(r_{k+1}, \dotsc , r_m\) are horizontal reflections. Since \(h < 0\), we have that \(\varphi ^h(y), \varphi ^h(r_1), \dotsc , \varphi ^h(r_k)\) are also positive vertical reflections. The compatibility property of \(\prec \) then implies \(\varphi ^h(y) \prec \varphi ^h(r_1) \prec \cdots \prec \varphi ^h(r_k)\). Let \(r_{k+1}'\cdots r_m'\) be the increasing factorization of \(\varphi ^h(r_{k+1}\cdots r_m)\). Since \(r_{k+1}\cdots r_m\) is horizontal, \(\varphi ^h(r_{k+1}\cdots r_m)\) is also horizontal, so the reflections \(r_{k+1}', \dotsc , r_m'\) are horizontal. Therefore we have \(\varphi ^h(y) \prec \varphi ^h(r_1) \prec \cdots \prec \varphi ^h(r_k) \prec r_{k+1}' \prec \cdots \prec r_m'\). By construction, the product of these \(m+1\) reflections yields the increasing factorization of \(\varphi ^h(yz) = \varphi ^h(x_\delta )\). In particular, \(\varphi ^h(y)\) is the \(\prec \)-smallest reflection of \([1, \varphi ^h(x_\delta )]\) by Theorem 4.19.
Recall that \(\tau \in {\mathcal {F}}(X_W')\), so \(\pi (\tau )\) fixes a vertex \(b\) of \(C_0\). Let \(u \in [1,w]\) be a vertical elliptic element that fixes \(b\) and such that \(l(u) = n\) (see Lemma 3.18). By Lemma 2.16, we have \(\pi (\tau ) \le u\) in [1, w]. If we pass to the left complements in this inequality, we get \(\varphi ^h(x_\delta ) \ge r\) where r is the left complement of u (it is a vertical reflection). By Lemma 8.2, r is among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). Since \(\varphi ^h(y)\) is the \(\prec \)-smallest reflection of \([1,\varphi ^h(x_\delta )]\), we have \(\varphi ^h(y) \preceq r\), and thus \(\varphi ^h(y)\) is also among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). By Lemma 8.2, the right complement of \(\varphi ^h(y)\) fixes a vertex of \(C_0\). Consider the following simplex to the left of \(\mu (\sigma )\):
$$\begin{aligned} \tau ' = [\varphi ^h(z)|\varphi ^h(x_{\delta +1})| \cdots |\varphi ^h(x_d)|\varphi ^{h+1}(x_1)|\cdots |\varphi ^{h+1}(x_{\delta -1})]. \end{aligned}$$We have that \(\pi (\tau ')\) is the right complement of \(\varphi ^h(y)\), so it fixes a vertex of \(C_0\), and therefore \(\tau ' \in {\mathcal {F}}(X_W')\).
\(\square \)
Proposition 8.9
The function \(\mu :{\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W') \rightarrow {\mathcal {F}}(K_W'){\setminus } {\mathcal {F}}(X_W')\) is an involution, i.e. it satisfies \(\mu (\mu (\sigma )) = \sigma \). In addition, if \(\sigma \) occurs in case (3) or (4) of Definition 8.5, then \(\delta (\mu (\sigma )) = \delta (\sigma )\).
Proof
Lemma 8.8 shows that the image of \(\mu \) is contained in \({\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\), so we can compose \(\mu \) with itself. Let \(\sigma = [x_1|x_2|\cdots |x_d] \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\).
If \(\sigma \) occurs in case (1) of Definition 8.5, then \(\mu (\sigma ) = \lambda (\sigma )\) occurs in case (2), so \(\mu (\mu (\sigma )) = \rho (\lambda (\sigma )) = \sigma \). Similarly, if \(\sigma \) occurs in case (2), then \(\mu (\sigma ) = \rho (\sigma )\) occurs in case (1), and \(\mu (\mu (\sigma )) = \lambda (\rho (\sigma )) = \sigma \).
If \(\sigma \) occurs in case (3) or (4), by definition of \(\delta = \delta (\sigma )\) we have that \(x_1, \dotsc , x_{\delta -1}\) are reflections such that \(x_1 \succ x_2 \succ \cdots \succ x_{\delta -1}\). In addition, \(x_{\delta -1} \succ y\) if y is the \(\prec \)-smallest reflection of \([1,x_\delta ]\). If \(\sigma \) occurs in case (3), then \(x_1 \succ \cdots \succ x_{\delta -1} \succ y\), and \(y \prec r\) for every reflection \(r \le z\). Therefore \(\delta (\mu (\sigma )) = \delta \), and \(\mu (\sigma )\) occurs in case (4), so \(\mu (\mu (\sigma )) = \sigma \). If \(\sigma \) occurs in case (4), then \(\delta (\mu (\sigma )) = \delta \) because \(x_{\delta -1} \succ x_\delta \). In particular, \(\mu (\sigma )\) occurs in case (3). By definition of \(\delta \), we also have that \(x_\delta \prec r'\) for every reflection \(r' \le x_{\delta +1}\). Then, if we concatenate \(x_\delta \) with the increasing factorization of \(x_{\delta +1}\), we get the increasing factorization of \(x_\delta x_{\delta +1}\). Therefore \(x_\delta \) is the \(\prec \)-smallest reflection of \([1,x_\delta x_{\delta +1}]\), and \(\mu (\mu (\sigma )) = \sigma \). \(\square \)
Thanks to Proposition 8.9, we can finally define a matching \({\mathcal {M}}\) on \({\mathcal {F}}(K_W')\):
A simplex \(\sigma \in {\mathcal {F}}(K_W')\) is critical if and only if \(\sigma \in {\mathcal {F}}(X_W')\). It only remains to prove that \({\mathcal {M}}\) is acyclic and proper. For this, our strategy is to define a poset \((P, \trianglelefteq )\) and a map \(\xi :{\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W') \rightarrow P\) that decreases along alternating paths.
Let \(P \subseteq R_0^{n+1}\) be the set of all minimal length factorizations of w as a product of reflections. We endow P with the total ordering \(\trianglelefteq \) defined as follows. Let \(\alpha , \alpha ' \in P\), and denote by r (resp. \(r'\)) the \(\prec \)-largest reflection appearing in \(\alpha \) (resp. \(\alpha '\)).
-
If \(r \ne r'\), then set \(\alpha \vartriangleleft \alpha '\) if and only if \(r \succ r'\).
-
If \(r = r'\), let k (resp. \(k'\)) be the position where r (\(= r'\)) appears in \(\alpha \) (resp. \(\alpha '\)). If \(k \ne k'\), then set \(\alpha \vartriangleleft \alpha '\) if and only if \(k > k'\).
-
If \(r = r'\) and \(k = k'\), then set \(\alpha \vartriangleleft \alpha '\) if and only if \(\alpha \) is lexicographically smaller than \(\alpha '\) (as usual, reflections are compared using the total ordering \(\prec \) of \(R_0\)).
The transitive property of \(\trianglelefteq \) is immediate to check.
Define a closure operator \(\kappa :{\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W') \rightarrow {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\) in the following way:
Given a simplex \(\sigma \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\), define \(\xi (\sigma ) \in P\) as the concatenation of the increasing factorizations of \(x_1, x_2, \dotsc , x_d\), where \([x_1|x_2|\cdots |x_d] = \kappa (\sigma )\). Since \(\pi (\kappa (\sigma )) = w\), we have that \(\xi (\sigma )\) is indeed a minimal length factorization of w.
Lemma 8.10
For every \(\sigma \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\), we have \(\xi (\mu (\sigma )) = \xi (\sigma )\).
Proof
Suppose without loss of generality that \(\mu (\sigma ) \lessdot \sigma \), so that \(\sigma \) occurs in case (2) or (4) of Definition 8.5. If \(\sigma \) occurs in case (2), then \(\kappa (\mu (\sigma )) = \kappa (\sigma )\), and therefore \(\xi (\mu (\sigma )) = \xi (\sigma )\).
Suppose now that \(\sigma \) occurs in case (4). Then \(\kappa (\sigma ) = \sigma \) and \(\kappa (\mu (\sigma )) = \mu (\sigma )\). Let \(\sigma = [x_1|x_2|\cdots |x_d]\) and \(\mu (\sigma ) = [x_1|\cdots |x_{\delta -1}|x_\delta x_{\delta +1}|x_{\delta +2}|\cdots |x_d]\), where \(\delta = \delta (\sigma )\). As already noticed in the proof of Proposition 8.9, the increasing factorization of \(x_\delta x_{\delta +1}\) is given by the reflection \(x_\delta \) followed by the increasing factorization of \(x_{\delta +1}\). Therefore \(\xi (\mu (\sigma )) = \xi (\sigma )\). \(\square \)
Lemma 8.11
Let \(\sigma = [x_1|x_2|\cdots |x_d] \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\) be a simplex such that \(\pi (\sigma ) = w\). There exist a negative vertical reflection \(r \in R_0\) and an index \(i \in \{1,2,\dotsc , d\}\) such that \(r \le x_i\) in [1, w]. In particular, the \(\prec \)-largest reflection appearing in \(\xi (\sigma )\) is a negative vertical reflection.
Proof
Since \(\sigma \in {\mathcal {F}}(K_W')\), there is a \((d-1)\)-simplex \(\tau \in {\mathcal {F}}(X_W')\) to the left of \(\sigma \). It has the following form:
for some \(h < 0\) and \(i \in \{1,\dotsc , d\}\). We have that \(\pi (\tau )\) fixes a vertex \(b\) of \(C_0\), and \(\varphi ^h(x_i)\) is the left complement of \(\pi (\tau )\). By Lemma 8.2, there is a reflection \(r' \le \varphi ^h(x_i)\) among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\) (see the last part of the proof of Lemma 8.8). By Lemma 8.1, \(r = \varphi ^{-h}(r')\) is a negative vertical reflection, because \(h < 0\). This proves the first part of the statement because \(r \le x_i\).
The \(\prec \)-increasing factorization of \(x_i\) ends with the \(\prec \)-largest reflection \(r''\) of \([1,x_i]\) by Theorem 4.19. If \({\bar{r}}\) is the \(\prec \)-largest reflection appearing in \(\xi (\sigma )\), we have \({\bar{r}} \succeq r'' \succeq r\), so \({\bar{r}}\) is a negative vertical reflection. \(\square \)
Lemma 8.12
Let \(\sigma , \tau \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\) be two simplices such that \(\pi (\sigma ) = w\) and \(\tau \) is a face of \(\sigma \). Then \(\xi (\tau ) \trianglelefteq \xi (\sigma )\). If, in addition, \(\tau = \lambda (\sigma )\), then we have the strict inequality \(\xi (\tau ) \vartriangleleft \xi (\sigma )\).
Proof
Let \(\sigma = [x_1|x_2|\cdots |x_d]\). Notice that \(\kappa (\sigma ) = \sigma \), because \(\pi (\sigma ) = w\). Let r (resp. \(r'\)) be the \(\prec \)-largest reflection of \(\xi (\tau )\) (resp. \(\xi (\sigma )\)), appearing in position k (resp. \(k'\)).
-
Case 1: \(\tau = [x_2|\cdots |x_d]\). Then \(\tau = \mu (\sigma )\) and therefore \(\xi (\tau ) = \xi (\sigma )\) by Lemma 8.10.
-
Case 2: \(\tau = [x_1|\cdots | x_{i-1}|x_ix_{i+1}|x_{i+2}|\cdots |x_d]\) for some \(i \in \{1, \dotsc , d-1\}\). In particular, we have \(\pi (\tau ) = w\) and therefore \(\kappa (\tau ) = \tau \). Since \([1, x_i]\) and \([1, x_{i+1}]\) are both included in \([1, x_ix_{i+1}]\), the \(\prec \)-largest reflection of \([1, x_ix_{i+1}]\) is at least as \(\prec \)-large as the \(\prec \)-largest reflections of \([1,x_i]\) and \([1,x_{i+1}]\). Therefore \(r \succeq r'\). If \(r \succ r'\), then \(\xi (\tau ) \vartriangleleft \xi (\sigma )\), as desired.
Suppose that \(r = r'\). The \(\prec \)-largest reflection of \([1,x_ix_{i+1}]\) appears as the last reflection of the increasing factorization of \(x_ix_{i+1}\). Therefore \(k \ge k'\). If \(k > k'\), then \(\xi (\tau ) \vartriangleleft \xi (\sigma )\), as desired.
By Theorem 4.19, the increasing factorization of \(x_i x_{i+1}\) is lexicographically smaller than (or equal to) the concatenation of the increasing factorizations of \(x_i\) and \(x_{i+1}\). Then \(\xi (\tau )\) is lexicographically smaller than (or equal to) \(\xi (\sigma )\). Therefore \(\xi (\tau ) \trianglelefteq \xi (\sigma )\).
-
Case 3: \(\tau = [x_1|\cdots |x_{d-1}] = \lambda (\sigma )\). Then \(\kappa (\tau ) = [\varphi ^{-1}(x_d)|x_1|\cdots |x_{d-1}] \in {\mathcal {F}}(K_W') {\setminus } {\mathcal {F}}(X_W')\).
Suppose by contradiction that \(r \prec r'\). Since \(x_1, \dotsc , x_{d-1}\) are common to both \(\tau \) and \(\sigma \), we have that \(r' \le x_d\). Then \(\varphi ^{-1}(r') \le \varphi ^{-1}(x_d)\), and therefore \(\varphi ^{-1}(r') \preceq r \prec r'\). By Lemma 8.11, \(r'\) is a negative vertical reflection. Then \({{\,\mathrm{\textsc {Fix}}\,}}(\varphi ^{-1}(r')) \cap \ell \) is above \({{\,\mathrm{\textsc {Fix}}\,}}(r') \cap \ell \). Since \(\varphi ^{-1}(r') \prec r'\), we have that \(\varphi ^{-1}(r')\) is a positive vertical reflection. By Lemma 8.1, \(\varphi ^{-1}(r')\) is among the \(n+1\) \(\prec \)-smallest reflections of \(R_0\). By Lemma 8.2, its right complement u fixes a vertex of \(C_0\). Since \(\varphi ^{-1}(r') \le \varphi ^{-1}(x_d)\), passing to the right complements we get \(u \ge x_1\cdots x_{d-1} = \pi (\tau )\). By Lemma 2.15, \({{\,\mathrm{\textsc {Fix}}\,}}(u) \subseteq {{\,\mathrm{\textsc {Fix}}\,}}(\pi (\tau ))\), and so \(\pi (\tau )\) also fixes a vertex of \(C_0\). This is a contradiction, because \(\tau \not \in {\mathcal {F}}(X_W')\). Therefore \(r \succeq r'\). If \(r \succ r'\), then \(\xi (\tau ) \vartriangleleft \xi (\sigma )\), as desired.
Suppose now that \(r = r'\). If \(r = r' \le x_d\), the previous argument yields again a contradiction. Therefore \(r \le x_i\) for some \(i \in \{1, \dotsc , d-1\}\). Then the position k (where r appears in \(\xi (\tau )\)), is strictly greater than the position \(k'\) (where r appears in \(\xi (\sigma )\)). Thus \(\xi (\tau ) \vartriangleleft \xi (\sigma )\).
\(\square \)
Lemma 8.13
The matching \({\mathcal {M}}\) on \({\mathcal {F}}(K_W')\) is acyclic.
Proof
Suppose by contradiction that there is an alternating cycle \(\sigma _1 \gtrdot \tau _1 \lessdot \sigma _2 \gtrdot \tau _2 \lessdot \cdots \gtrdot \tau _m \lessdot \sigma _{m+1} = \sigma _1\) in \({\mathcal {F}}(K_W')\), with \(m\ge 1\). We have that \((\tau _j, \sigma _j) \not \in {\mathcal {M}}\) and \((\tau _j, \sigma _{j+1}) \in {\mathcal {M}}\) for all \(j \in \{1, \dotsc , m\}\). In particular, all the simplices involved are matched, so they are in \({\mathcal {F}}(K_W') {\setminus }{\mathcal {F}}(X_W')\). Also, by Definition 8.5 we have that \(\pi (\sigma _j) = w\) for all j.
By Lemmas 8.10 and 8.12, we have
Then, all these inequalities are actually equalities:
By the second part of Lemma 8.12, we have \(\tau _j \ne \lambda (\sigma _j)\) for all j. Also, \(\tau _j \ne \rho (\sigma _j)\) for all j, because otherwise we would have \(\tau _j= \mu (\sigma _j)\) i.e. \((\tau _j, \sigma _j) \in {\mathcal {M}}\). Since \(\tau _j\) is a face of \(\sigma _j\) different from \(\lambda (\sigma _j)\) and \(\rho (\sigma _j)\), we have \(\pi (\tau _j) = \pi (\sigma _j) = w\) for all j. As a consequence, each \(\tau _j\) occurs in case (3) of Definition 8.5, and each \(\sigma _j\) occurs in case (4).
By the second part of Proposition 8.9, \(\delta (\tau _j) = \delta (\sigma _{j+1})\) for all j. In addition, since \(\xi (\sigma _j) = \xi (\tau _j)\), we have \(\delta (\sigma _j) \ge \delta (\tau _j)\) for all j. As before, since \(\sigma _{m+1}= \sigma _1\), all inequalities are actually equalities:
Let \(\sigma _1 = [x_1|x_2|\cdots |x_d]\), \(\tau _1 = [x_1|\cdots |x_{i-1}|x_ix_{i+1}|x_{i+2}|\cdots |x_d]\) for some \(i \in \{1, \dotsc , d-1\}\), and \(\delta = \delta (\sigma _1)\). Since \(\sigma _1\) occurs in case (4), we have \(l(x_\delta ) = 1\). Also, \(l(x_ix_{i+1}) \ge 2\) implies \(\delta (\tau _1) \le i\). Since \(\delta (\tau _1) = \delta (\sigma _1) = \delta \), we deduce that \(i \ge \delta \). If \(i = \delta \), then \(\tau _1 = \mu (\sigma _1)\), which is impossible because \((\tau _1, \sigma _1) \not \in {\mathcal {M}}\). Therefore \(i > \delta \), so \(\tau _1\) also occurs in case (4), because \(l(x_\delta ) = 1\). However \(\tau _1\) occurs in case (3), and this is a contradiction. \(\square \)
Theorem 8.14
Let W be an irreducible affine Coxeter group, with a set of simple reflections \(S = \{s_1, s_2, \dotsc , s_{n+1}\}\) and a Coxeter element \(w = s_1s_2\cdots s_{n+1}\). The interval complex \(K_W\) deformation retracts onto its subcomplex \(X_W'\).
Proof
By Theorem 7.9 and Lemma 7.11, \(K_W\) deformation retracts onto its canonical nice subcomplex \(K_W'\). We have constructed a matching \({\mathcal {M}}\) on the face poset \({\mathcal {F}}(K_W')\). This matching has \({\mathcal {F}}(X_W')\) as the set of critical cells and is acyclic by Lemma 8.13. It is also proper because \({\mathcal {F}}(K_W')\) is finite. By the main theorem of discrete Morse theory (Theorem 2.4), \(K_W'\) deformation retracts onto \(X_W'\). \(\square \)
We can finally prove the \(K(\pi ,1)\) conjecture for affine Artin groups.
Theorem 8.15
(\(K(\pi ,1)\) conjecture) Let W be an irreducible affine Coxeter group. The \(K(\pi ,1)\) conjecture holds for the corresponding Artin group \(G_W\).
Proof
Fix a set of simple reflections \(S = \{s_1, s_2, \dotsc , s_{n+1}\}\) and a Coxeter element \(w = s_1s_2\cdots s_{n+1}\). By Theorem 6.6, the interval complex \(K_W\) is a classifying space. By Theorems 8.14 and 5.5, we have homotopy equivalences \(Y_W \simeq X_W' \simeq K_W\), where \(Y_W\) is the orbit configuration space associated with W. Therefore \(Y_W\) is a classifying space for its fundamental group \(G_W\). \(\square \)
We also obtain a new proof of the following theorem of McCammond and Sulway.
Theorem 8.16
[49, Theorem C] Let W be an irreducible affine Coxeter group, with a set of simple reflections \(S = \{s_1, s_2, \dotsc , s_{n+1}\}\) and a Coxeter element \(w = s_1s_2\cdots s_{n+1}\). The natural homomorphism from the Artin group \(G_W\) to the dual Artin group \(W_w\) is an isomorphism.
Proof
Consider the homotopy equivalences \(X_W \simeq X_W' \simeq K_W\) of Theorems 5.5 and 8.14. The composition \(\psi :X_W \rightarrow K_W\) sends the 1-cell \(c_{\{s\}}\), associated with a simple reflection \(s \in S\), to the corresponding 1-cell [s] of \(K_W\), preserving the orientation. Then the induced map \(\psi _*\) on the fundamental groups is exactly the natural homomorphism \(G_W \rightarrow W_w\), which is, therefore, an isomorphism. \(\square \)
References
Armstrong, D.: Generalized noncrossing partitions and combinatorics of Coxeter groups. In: Memoirs of the American Mathematical, vol 202 (2009)
Athanasiadis, C., Brady, T., Watt, C.: Shellability of noncrossing partition lattices. Proc. Am. Math. Soc. 135(4), 939–949 (2007)
Batzies, E.: Discrete Morse theory for cellular resolutions. Ph.D. thesis (2002). http://archiv.ub.uni-marburg.de/diss/z2002/0115/pdf/deb.pdf
Baumeister, B., Dyer, M., Stump, C., Wegener, P.: A note on the transitive Hurwitz action on decompositions of parabolic Coxeter elements. Proc. Am. Math. Soc. Ser. B 1(13), 149–154 (2014)
Bessis, D.: The dual braid monoid. Annales scientifiques de l’Ecole Normale Supérieure 36, 647–683 (2003)
Bessis, D.: Finite complex reflection arrangements are \(K(\pi, 1)\). Ann. Math. 18, 809–904 (2015)
Björner, A., Brenti, F.: Combinatorics of Coxeter Groups, vol. 231. Springer, Berlin (2006)
Björner, A., Wachs, M.L.: On lexicographically shellable posets. Trans. Am. Math. Soc. 277(1), 323–341 (1983)
Björner, A., Wachs, M.L.: Shellable nonpure complexes and posets. I. Trans. Am. Math. Soc. 348(4), 1299–1327 (1996)
Björner, A., Wachs, M.L.: Shellable nonpure complexes and posets. II. Trans. Am. Math. Soc. 349(10), 3945–3975 (1997)
Bourbaki, N.: Éléments de mathématique: Fasc. XXXIV. Groupes et algèbres de Lie; Chap. 4, Groupes de Coxeter et systèmes de Tits; Chap. 5, Groupes engendrés par des réflexions; Chap. 6, Systèmes de racines. Hermann (1968)
Brady, N., McCammond, J.: Factoring euclidean isometries. Int. J. Algebra Comput. 25(1–2), 325–347 (2015)
Brady, T.: A partial order on the symmetric group and new \(K(\pi, 1)\)’s for the braid groups. Adv. Math. 161(1), 20–40 (2001)
Brady, T., Watt, C.: \(K(\pi, 1)\)’s for Artin Groups of finite type. Geom. Dedicata 94(1), 225–250 (2002)
Brady, T., Watt, C.: Non-crossing partition lattices in finite real reflection groups. Trans. Am. Math. Soc. 360(4), 1983–2005 (2008)
Brieskorn, E.: Sur les groupes de tresses [d’après VI Arnol’d]. In: Séminaire Bourbaki, vol. 1971/72 Exposés 400–417, pp. 21–44. Springer (1973)
Brieskorn, E., Saito, K.: Artin-gruppen und Coxeter-gruppen. Inventiones Math. 17(4), 245–271 (1972)
Brown, R.: Topology and groupoids (2006). https://groupoids.org.uk/pdffiles/topgrpds-e.pdf
Callegaro, F., Moroni, D., Salvetti, M.: Cohomology of affine Artin groups and applications. Trans. Am. Math. Soc. 360(8), 4169–4188 (2008)
Callegaro, F., Moroni, D., Salvetti, M.: Cohomology of Artin groups of type \({\tilde{A}}_n\), \(B_n\) and applications. Geom. Topol. Monogr. 13, 85–104 (2008)
Callegaro, F., Moroni, D., Salvetti, M.: The \(K (\pi, 1)\) problem for the affine Artin group of type \(B_n\) and its cohomology. J. Eur. Math. Soc. 12(1), 1–22 (2010)
Chari, M.K.: On discrete Morse functions and combinatorial decompositions. Discrete Math. 217(1), 101–113 (2000)
Charney, R., Davis, M.W.: The \(K(\pi, 1)\)-problem for hyperplane complements associated to infinite reflection groups. J. Am. Math. Soc. 8, 597–627 (1995)
Charney, R., Meier, J., Whittlesey, K.: Bestvina’s normal form complex and the homology of Garside groups. Geom. Dedicata 105(1), 171–188 (2004)
Dehornoy, P., Digne, F., Godelle, E., Krammer, D., Michel, J.: Foundations of Garside theory, EMS Tracts in Mathematics, vol. 22. European Mathematical Society (2015)
Dehornoy, P., Digne, F., Michel, J.: Garside families and Garside germs. J. Algebra 380, 109–145 (2013)
Dehornoy, P., Lafont, Y.: Homology of Gaussian groups. Ann. l’Institut Fourier 53, 489–540 (2003)
Dehornoy, P., Paris, L.: Gaussian groups and Garside groups, two generalisations of Artin groups. Proc. Lond. Math. Soc. 79(3), 569–604 (1999)
Deligne, P.: Les immeubles des groupes de tresses généralisés. Invent. Math. 17(4), 273–302 (1972)
Deodhar, V.V.: A note on subgroups generated by reflections in Coxeter groups. Archiv der Math. 53(6), 543–546 (1989)
Digne, F.: Présentations duales des groupes de tresses de type affine \(A\). Comment. Math. Helv. 81(1), 23–47 (2006)
Digne, F.: A Garside presentation for Artin-Tits groups of type \({\tilde{C}}_n\). Ann. de l’Institut Fourier 62, 641–666 (2012)
Dobrinskaya, N.E.: The Arnol’d-Thom-Pham conjecture and the classifying space of a positive Artin monoid. Uspekhi Matematicheskikh Nauk 57(6), 181–182 (2002)
Dobrinskaya, N.E.: Configuration spaces of labeled particles and finite Eilenberg-MacLane complexes. Proc. Steklov Inst. Math. 252(1), 30–46 (2006)
Dyer, M.J.: Reflection subgroups of Coxeter systems. J. Algebra 135(1), 57–73 (1990)
Dyer, M.J.: Hecke algebras and shellings of Bruhat intervals. Compos. Math. 89(1), 91–115 (1993)
Dyer, M.J.: On minimal lengths of expressions of Coxeter group elements as products of reflections. Proc. Am. Math. Soc. 129(9), 2591–2595 (2001)
Forman, R.: Morse theory for cell complexes. Adv. Math. 134(1), 90–145 (1998)
Forman, R.: A user’s guide to discrete Morse theory. Séminaire Lotharingien de Combinatoire 48, (2002)
Fox, R., Neuwirth, L.: The braid groups. Math. Scand. 10, 119–126 (1962)
Godelle, E., Paris, L.: Basic questions on Artin-Tits groups. In: Configuration Spaces, pp. 299–311. Springer (2012)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Hendriks, H.: Hyperplane complements of large type. Invent. Math. 79(2), 375–381 (1985)
Humphreys, J.E.: Reflection Groups and Coxeter Groups, vol. 29. Cambridge University Press, Cambridge (1992)
Igusa, K., Schiffler, R.: Exceptional sequences and clusters. J. Algebra 323(8), 2183–2202 (2010)
Kozlov, D.N.: Combinatorial Algebraic Topology, vol. 21. Springer, Berlin (2007)
McCammond, J.: An introduction to garside structures (Preprint) (2005)
McCammond, J.: Dual Euclidean Artin groups and the failure of the lattice property. J. Algebra 437, 308–343 (2015)
McCammond, J., Sulway, R.: Artin groups of Euclidean type. Invent. Math. 210(1), 231–282 (2017)
Moroni, D., Salvetti, M., Villa, A.: Some topological problems on the configuration spaces of Artin and Coxeter groups. In: Configuration Spaces, pp. 403–431. Springer (2012)
Okonek, C.: Das K(\(\pi \), 1)-Problem für die affinen Wurzelsysteme vom Typ \(A_n\), \(C_n\). Math. Z. 168(2), 143–148 (1979)
Ozornova, V.: Discrete Morse theory and a reformulation of the \(K (\pi, 1)\)-conjecture. Commun. Algebra 45(4), 1760–1784 (2017)
Paolini, G.: On the classifying space of Artin monoids. Commun. Algebra 45(11), 4740–4757 (2017)
Paolini, G.: Hyperbolic elements in affine Coxeter groups. GitHub repository. https://github.com/giove91/affine-coxeter (2019)
Paolini, G.: On the local homology of Artin groups of finite and affine type. Algebr. Geom. Topol. 19(7), 3615–3639 (2019)
Paolini, G.: Topology and combinatorics of affine reflection arrangements. Ph.D. thesis, Scuola Normale Superiore, Pisa (2019)
Paolini, G., Salvetti, M.: Weighted sheaves and homology of Artin groups. Algebr. Geom. Topol. 18(7), 3943–4000 (2018)
Paris, L.: \(K(\pi , 1)\) conjecture for Artin groups. Ann. de la Faculté des Sci. de Toulouse Math. 23, 361–415 (2014)
Salvetti, M.: Topology of the complement of real hyperplanes in \({\mathbb{C}}^N\). Invent. Math. 88(3), 603–618 (1987)
Salvetti, M.: The homotopy type of Artin groups. Math. Res. Lett. 1(5), 565–577 (1994)
Salvetti, M., Villa, A.: Combinatorial methods for the twisted cohomology of Artin groups. Math. Res. Lett. 20(6), 1157–1175 (2013)
Stanley, R.P.: Enumerative Combinatorics. Cambridge University Press, Cambridge (2012)
Tits, J.: Normalisateurs de tores I. Groupes de Coxeter étendus. J. Algebra 4(1), 96–116 (1966)
Tits, J.: Le probleme des mots dans les groupes de Coxeter. Symp. Math. 1, 175–185 (1969)
Van der Lek, H.: The homotopy type of complex hyperplane complements. Ph.D. thesis, Katholieke Universiteit te Nijmegen (1983)
Vinberg, È.B.: Discrete linear groups generated by reflections. Math. USSR-Izvestiya 5(5), 1083 (1971)
Funding
Open access funding provided by University of Fribourg.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
We are grateful to Pierre Deligne for his remarks and suggestions on the first version of this paper. We are also grateful to Emanuele Delucchi and Alessandro Iraci for the useful discussions, and to the anonymous referee for the helpful comments. A preliminary version of Sects. 5, 6 and 7 is part of the first author’s Ph.D. thesis at Scuola Normale Superiore [56], written under the supervision of the second author. This work was also supported by the Swiss National Science Foundation Professorship Grant PP00P2_179110/1, by Ministero dell’Istruzione, dell’Università e della Ricerca, Prog. PRIN 2017YRA3LK_005, Moduli and Lie Theory and by the University of Pisa, Prog. PRA_2018_22, Geometria e topologia delle varietà.
Appendix A: The four infinite families
Appendix A: The four infinite families
The main purpose of this appendix is to prove Lemma 3.7, Theorem 3.8, Propositions 3.9 and 3.10 (these are statements about \({{\tilde{A}}}_n\)), and Lemma 3.21 (for the cases \({{\tilde{A}}}_n\), \({{\tilde{B}}}_n\), \({{\tilde{C}}}_n\), and \({{\tilde{D}}}_n\)). We do this by explicitly examining the four infinite families of irreducible affine Coxeter groups. This appendix can be also used as a source of examples, and it complements the computations of [48, Section 11]. We refer to [44, Section 2.10] for the standard construction of root systems (see also [11]).
1.1 Case \({{\tilde{A}}}_n\)
Let W be a Coxeter group of type \({{\tilde{A}}}_n\). It is realized as the reflection group in \(E = {\mathbb {R}}^{n+1} / \langle 1,\dotsc , 1 \rangle \) associated with the hyperplane arrangement
If \(a\in {\mathbb {R}}^{n+1}\), denote by \([a]\) its class in \(E = {\mathbb {R}}^{n+1}/\langle 1, \dotsc , 1\rangle \).
Let (p, q) be a pair of positive integers such that \(p+q = n+1\). Label the coordinates of \({\mathbb {R}}^{n+1} = {\mathbb {R}}^p \times {\mathbb {R}}^q\) as follows: \(x_1,x_2,\dotsc , x_p, y_1, y_2, \dotsc , y_q\). Given a point \(b\in E\), denote its coordinates by \(x_1^b, \dotsc , x_p^b, y_1^b, \dotsc , y_q^b\) (they are well defined up to a multiple of \((1, \dotsc , 1)\)). Construct a (p, q)-bigon Coxeter element w as in [48, Example 11.6]:
Then the shortest vector in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\) is \(\mu = \left[ \frac{1}{p}, \dotsc , \frac{1}{p} \bigm | -\frac{1}{q}, \dotsc , -\frac{1}{q}\right] \), and the points of the Coxeter axis \(\ell \) (i.e. the points \(a\) such that \(w(a) = a+ \mu \)) are of the form
for \(\theta \in {\mathbb {R}}\). The hyperplanes of the form \(\{ x_i - x_j = k\}\) or \(\{ y_i - y_j = k\}\) are horizontal, whereas those of the form \(\{ x_i - y_j = k\}\) are vertical.
Proof of Lemma 3.7
From (4) it is immediate to see that the Coxeter axis \(\ell \) is not contained in any hyperplane of \({\mathcal {A}}\). The value of \(\theta \) that yields the intersection point of a vertical hyperplane \(\{ x_i - y_j = k \}\) with \(\ell \) satisfies
If we let k, i, and j vary, then \(\theta \) can assume any value which is an integer multiple of \(\frac{\gcd (p,q)}{p+q}\). \(\square \)
Consider now a point \(a\in E\) which is not contained in any hyperplane of \({\mathcal {A}}\), and let \(C_a\) be the chamber containing \(a\). In particular, for every j we have that \(y_j^a- x_p^a\not \in {\mathbb {Z}}\), because otherwise \(a\) would lie on some vertical hyperplane \(\{ x_p - y_j = k \}\). Consider the line \(\ell _a\) passing through \(a\) and with the same direction as the Coxeter axis:
Let \(S_a\subseteq R\) be the set of the reflections with respect to the walls of \(C_a\). Write \(S_a= S_a^+ \sqcup S_a^- \sqcup S_a^{\text {hor}}\), where \(S_a^+\) (resp. \(S_a^-\)) consists of the reflections that intersect \(\ell _a\) above (resp. below) \(a\), and \(S_a^{\text {hor}}\) consists of the horizontal reflections.
Lemma A.1
Let W be a Coxeter group of type \({{\tilde{A}}}_n\), and w a (p, q)-bigon Coxeter element as in (3). Let \(a\in E\) be a point which is not contained in any hyperplane of \({\mathcal {A}}\), and such that \(x_p^a< x_{p-1}^a< \cdots< x_1^a< x_p^a+1\) and \(y_1^a< y_2^a< \cdots< y_q^a< y_1^a+ 1\). Then the reflections in \(S_a^+\) (resp. \(S_a^-\)) pairwise commute. In addition, w can be written as a product of the reflections in \(S_a\), where the reflections in \(S_a^+\) come first, and the reflections in \(S_a^-\) come last.
Proof
Since the coordinates of \(a\) are defined up to a multiple of \((1, \dotsc , 1)\), we can assume that \(x_p^a= 0\). Therefore we have \(0 = x_p^a< x_{p-1}^a< \cdots< x_1^a< 1\). Let s be the (unique) index such that the fractional part of \(y_s^a\) is minimal, and let \(h = \lfloor y_s^a\rfloor \) be the largest integer which is less than \(y_s^a\). Then we have
Let \(X = \{ x_1^a, \dotsc , x_p^a\}\) and \(Y = \{ y_s^a-h, \dotsc , y_{q}^a- h, y_1^a+ 1 - h, \dotsc , y_{s-1}^a+ 1 - h \}\). The set \(Z = X \cup Y\) consists of \(n+1\) distinct real numbers between 0 (included) and 1 (excluded). Write \(Z = \{ 0 = z_1^a< z_2^a< \cdots < z_{n+1}^a\}\), where each \(z_l\) stands either for some \(x_i\) or for some translate of some \(y_j\) (notice that \(z_1 = x_p\)). Then the inequalities \(z_1< z_2< \cdots< z_{n+1} < z_1+1\) define the chamber \(C_a\), and the walls of \(C_a\) are:
For every \(i \in \{1,\dotsc , p\}\), the coordinate \(x_i\) appears in exactly two walls. If they are both vertical, say \(\{ x_i - y_{j} = k\}\) and \(\{x_{i} - y_{j+1} = k' \}\), then the first of these walls intersects \(\ell _a\) below \(a\), because \(x^a_{i} - y_{j}^a> k\), whereas the second one intersects \(\ell _a\) above \(a\), because \(x^a_i - y_{j+1}^a< k'\) (here the indices of y are taken modulo q). A similar argument applies to the coordinates \(y_j\) for \(j \in \{1, \dotsc , q\}\). This proves that the reflections in \(S_a^+\) (resp. \(S_a^-\)) pairwise commute.
The horizontal walls are among the following: \(\{ x_i = x_{i+1} \}\) for \(1 \le i \le p-1\); \(\{x_1 = x_p + 1\}\); \(\{y_j = y_{j+1}\}\) for \(1 \le j \le q-1\); \(\{y_1 = y_q-1\}\). Let t be the smallest index such that \(x_t^a< y_s^a- h\). Order the possible horizontal walls as follows:
Let \(w_+\) (resp. \(w_-\)) be the product of the reflections in \(S_a^+\) (resp. \(S_a^-\)), and let \(w_{\text {hor}}\) be the product of the reflections in \(S_a^{\text {hor}}\), in the same relative order as in (6). Let \({\hat{w}} = w_+ w_{\text {hor}}w_-\). We want to prove that \({\hat{w}} = w\). For this, it is enough to show that the linear part of \({\hat{w}}\) coincides with the linear part of w, and that \({\hat{w}} (b) = w(b)\) for at least one point \(b\in E\).
Denote by \(e_{x_i}\) (resp. \(e_{y_j}\)) the unit vector in the direction of \(x_i\) (resp. \(y_j\)). Given two elements \(\zeta , \zeta ' \in Z\), we write \(\zeta \lessdot \zeta '\) if \(\zeta < \zeta '\) and there exists no \(\zeta '' \in Z\) between \(\zeta \) and \(\zeta '\). For \(j \in \{1,\dotsc , q\}\) define
so that Y consists of the real numbers \(y_j^a+ k_j\).
Consider the unit vector \(e_{x_i}\) with \(i \le p-1\).
-
If \(x_{i+1}^a\lessdot x_i^a\), then: the linear part of \(w_-\) fixes \(e_{x_i}\); the linear part of \(w_{\text {hor}}\) sends \(e_{x_i}\) to \(e_{x_{i+1}}\); the linear part of \(w_+\) fixes \(e_{x_{i+1}}\).
-
If there is at least one element of Z between \(x_{i+1}^a\) and \(x_i^a\), say \(x_{i+1}^a\lessdot y_j^a+ k_j \lessdot y_{j+1}^a+ k_{j+1} \lessdot \cdots \lessdot y_{j'}^a+ k_{j'} \lessdot x_i^a\), then: the linear part of \(w_-\) sends \(e_{x_i}\) to \(e_{y_{j'}}\); the linear part of \(w_{\text {hor}}\) sends \(e_{y_{j'}}\) to \(e_{y_j}\); the linear part of \(w_+\) sends \(e_{y_j}\) to \(e_{x_{i+1}}\).
Consider now the unit vector \(e_{x_p}\).
-
If \(x_1^a\) is the maximal element of Z, then: the linear part of \(w_-\) fixes \(e_{x_p}\); the linear part of \(w_{\text {hor}}\) sends \(e_{x_p}\) to \(e_{x_{1}}\); the linear part of \(w_+\) fixes \(e_{x_{1}}\).
-
Otherwise, if \(x_1^a\lessdot y_j^a+ k_j \lessdot y_{j+1}^a+ k_{j+1} \lessdot \cdots \lessdot y_{s-1}^a+ k_{s-1}\), then: the linear part of \(w_-\) sends \(e_{x_p}\) to \(e_{y_{s-1}}\); the linear part of \(w_{\text {hor}}\) sends \(e_{y_{s-1}}\) to \(e_{y_j}\); the linear part of \(w_+\) sends \(e_{y_j}\) to \(e_{x_{1}}\).
A similar argument shows that the linear part of \({\hat{w}}\) sends \(e_{y_j}\) to \(e_{y_{j+1}}\) if \(j \le q-1\), and sends \(e_{y_q}\) to \(e_{y_1}\). Therefore the linear part of \({\hat{w}}\) coincides with the linear part of w (see (3)).
It remains to show that \(\hat{w}(b) = w(b)\) for some point \(b\). Let \(b\) be the vertex of \(C_a\) opposite to the wall \(H = \{ x_{t} - y_s = -h \}\). The point \(b\) is the intersection of all the other walls of \(C_a\), so its coordinates are explicitly determined by the following equations:
Therefore,
Recall that the reflection r with respect to H belongs to \(S_a^+\). Since \(b\) is fixed by all the other reflections in \(S_a\), we have that
\(\square \)
Proof of Theorem 3.8
Let \(a\) be a point in \(C \cap \ell \), as in (4). Lemma A.1 immediately implies points (ii) and (iii).
Since \(p \ge q\), none of the walls of C is of the form \(\{y_j - y_{j'} = k\}\). In addition, for every \(j \in \{1,\dotsc , q\}\), the coordinate \(y_j\) appears in the defining equation of exactly two walls of C. The corresponding reflections are one in \(S^+\) and one in \(S^-\). Therefore \(|S^+| = |S^-| = q\) and \(|S^{\text {hor}}| = n+1 - 2q = p-q\), proving point (i). \(\square \)
Proof of Proposition 3.9
Let \(d = \gcd (p,q)\). For part (i), write \(a\) as in (4) for some \(\theta \in {\mathbb {R}}\). Let \(\{x_i - y_j = k\}\) be a vertical hyperplane containing \(a\). In particular, we have \(x_i^a- y_j^a\in {\mathbb {Z}}\). For another hyperplane \(\{ x_{i'} - y_{j'} = k' \}\) to contain \(a\), we need \(x_{i'}^a- y_{j'}^a\in {\mathbb {Z}}\). By (4), we have that
This is an integer if and only if \(i' = i + u \cdot \frac{p}{d}\) and \(j' = j + v \cdot \frac{q}{d}\) for some \(u, v \in {\mathbb {Z}}\) such that \(d \mid u+v\). There are d such pairs \((i',j') \in \{1,\dotsc ,p\} \times \{1, \dotsc , q\}\), and each of them yields exactly one hyperplane containing \(a\). All these hyperplanes pairwise commute, because no two such pairs share the same \(i'\) or the same \(j'\).
For part (ii), fix a point \(a\in C \cap \ell \). Let \(H = \{ x_i -y_j = k \}\) be a vertical wall of C, and denote by \(b\) the intersection point of H with \(\ell \). By the description of the walls of C given in the proof of Lemma A.1, we have either \(x_i^a< y_j^a+ k < x_i^a+ \frac{1}{p}\) or \(x_i^a- \frac{1}{p}< y_j^a+ k < x_i^a\). In any case, \(|x_i^a- y_j^a- k| < \frac{1}{p}\). Since \(b \in H\), we also have \(x_i^b- y_j^b- k = 0\), and therefore \(|(x_i^a- y_j^a) - (x_i^b- y_j^b)| < \frac{1}{p}\). Then, if we write \(a\) and \(b\) as in (4) for some \(\theta _a, \theta _b \in {\mathbb {R}}\), we obtain that \(|\theta _a - \theta _b| < \frac{q}{p+q}\). By Lemma 3.7, consecutive points of the sequence \(\{p_i\}_{i \in {\mathbb {Z}}}\) differ by \(\frac{\gcd (p,q)}{p+q} \mu \). Therefore there are \(\frac{q}{\gcd (p,q)} = m\) possible positions for \(b\) above \(a\), and m possible positions below \(a\). More precisely, if \(a\) is between \(p_i\) and \(p_{i+1}\), then \(b\) must be one of the following 2m points: \(p_{i-m+1}, p_{i-m+2}, \dotsc , p_{i+m}\). By part (i), each of these points is contained in exactly \(\gcd (p,q)\) vertical hyperplanes of \({\mathcal {A}}\). By Theorem 3.8, the chamber C has exactly \(2q = 2m \cdot \gcd (p,q)\) vertical walls. Therefore every hyperplane of \({\mathcal {A}}\) that intersects \(\ell \) in one of the previous 2m points must be a wall of C. \(\square \)
Proof of Proposition 3.10
We begin with part (i). Every point \(a\in \ell \) satisfies \(x_i^a- 1 \le x_{i'}^a\le x_i^a\) for every \(i < i'\), and \(y_j^a\le y_{j'}^a\le y_j^a+1\) for every \(j < j'\). Then the same non-strict inequalities need to be satisfied by every axial vertex \(b\). The walls of an axial chamber C have the form (5), so every vertex of C admits an expression where all the coordinates are integers. Therefore every axial vertex has the following form:
for some \(h \in {\mathbb {Z}}\), with \(q_2 \ge 1\) (otherwise we can change h with \(h+1\)). Let \(A \subseteq E\) be the set of points of the form (7). The representation (7) of a point \(b \in A\) becomes unique, and we call it the standard form of b, if we also impose \(p_2 \ge 1\) (otherwise we can remove 1 from all coordinates).
By (3), the Coxeter element w acts on \(b \in A\) as follows:
In particular \(w(b) \in A\), so there is an action of \({\mathbb {Z}}\) on A by powers of w. If \(p_2 = 1\), then we can remove 1 from all coordinates in the previous equation to obtain the standard form
Denote by \(\sigma (b)\) the sum of the coordinates of the standard form of a point \(b \in A\). We have that \(\sigma (w(b)) \equiv \sigma (b)\) modulo \(p+q\). By looking at the walls of C given by (5), we see that the \(p+q\) vertices of an axial chamber C have distinct values of \(\sigma \), modulo \(p+q\). Therefore there are at least \(p+q\) different orbits for the action of \({\mathbb {Z}}\) on A, and the vertices of an axial chamber belong to different orbits.
It remains to show that there are exactly \(p+q\) orbits. For every point \(b \in A\), there is a point \(w^j(b)\) which is in one of the following forms:
-
(a)
\([1, \dotsc , 1, 0 \mid \underbrace{0, \dotsc , 0}_{q_1}, \underbrace{1, \dotsc , 1}_{q_2} ]\) with \(q_2 \ge 1\);
-
(b)
\([\underbrace{1, \dotsc , 1}_{p_1}, \underbrace{0, \dotsc , 0}_{p_2} \mid 0, \dotsc , 0 ]\) with \(p_2 \ge 1\).
There are q points of the form (a), and p points of the form (b). Therefore there are exactly \(p+q\) orbits. Notice that this also proves that every point of A is an axial vertex because it is in the orbit of some axial vertex.
To prove part (ii), fix an axial vertex \(b\in A\). Without loss of generality, we may assume that \(b\) is of the form (a) or (b). We want to describe the set of points \(a\in \ell \) that are contained in some axial chamber C having \(b\) as one of its vertices. Let \(a\) be as in (4), for some \(\theta \in {\mathbb {R}}\).
If \(b\) is of the form (a), then \(x_p^b< y_j^b\) for \(j \ge q_1+1\), and \(y_j^b< x_i^b\) for \(i \le p-1\) and \(j \le q_1\). The same strict inequalities need to be satisfied by \(a\), an so we get \(\frac{\theta }{p} < \frac{j-1-\theta }{q}\) for \(j \ge q_1 + 1\), and \(\frac{j-1-\theta }{q} < \frac{p-i+\theta }{p}\) for \(i \le p-1\) and \(j \le q_1\). These conditions are equivalent to \(\frac{q_1-1}{q} - \frac{1}{p}< \left( \frac{1}{p} + \frac{1}{q} \right) \theta < \frac{q_1}{q}\), so \(\theta \) belongs to an interval of length 1. Conversely, every value of \(\theta \) in this interval yields a point \(a\) contained in a chamber C which has \(b\) as one of its vertices, provided that we exclude the finite set of values corresponding to points that belong to some vertical hyperplane of \({\mathcal {A}}\). By Lemma 3.7, this interval of values of \(\theta \) spans exactly \(\frac{p+q}{\gcd (p,q)}\) axial chambers.
If \(b\) is of the form (b), the procedure is similar. We have \(y_j^b< x_i^b\) for all j and for \(i \le p_1\), and \(y_j^b> x_i^b- 1\) for all j and for \(i \ge p_1+1\). The corresponding inequalities for the point \(a\) give the condition \(\frac{p_1}{p} -\frac{1}{q} \le \left( \frac{1}{p} + \frac{1}{q} \right) \theta \le \frac{p_1}{p} + \frac{1}{p}\), which again yields an interval of length 1. \(\square \)
In order to prove Lemma 3.21, we start by explicitly describing the hyperbolic elements \(u \in [1,w]\) with \(l(u) = n\). These are obtained as \(u = wr\) where \(r \in [1,w]\) is a horizontal reflection. By Theorem 3.17, the hyperplanes corresponding to horizontal reflections in [1, w] have the following forms:
-
(i)
\(\{ x_i = x_{i'}\}\) for \(i < i'\);
-
(ii)
\(\{ x_i = x_{i'} + 1\}\) for \(i < i'\);
-
(iii)
\(\{ y_j = y_{j'}\}\) for \(j < j'\);
-
(iv)
\(\{ y_j = y_{j'} - 1\}\) for \(j < j'\).
If r is the reflection with respect to \(\{ x_i = x_{i'}\}\) with \(i < i' \le p-1\), then \(u = wr\) sends a point \(b\in E\) to
On the coordinates \(x_{i+1}, \dotsc , x_{i'}\), the hyperbolic isometry u acts as a horizontal Coxeter element of type \(A_{i'-i-1}\). On the remaining coordinates, it acts as a \((p-i'+i,q)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-i'+i}\). This is exactly the hyperbolic-horizontal decomposition of u (Lemma 3.20).
If r is the reflection with respect to \(\{x_i = x_p \}\) for some \(i \le p-1\), then \(u=wr\) sends \(b\in E\) to
As before, on the coordinates \(x_{i+1}, \dotsc , x_p\) we have that u acts as a horizontal Coxeter element of type \(A_{p-i-1}\), and on the remaining coordinates it acts as a (i, q)-bigon Coxeter element of type \({{\tilde{A}}}_{n-p+i}\).
If r is the reflection with respect to \(\{x_i = x_{i'}+1\}\) with \(i < i' \le p-1\), then \(u=wr\) sends \(b\in E\) to
Then u acts as a \((i'-i,q)\)-bigon Coxeter element of type \({{\tilde{A}}}_{q+i'-i-1}\) on the coordinates \(x_{i+1}, \dotsc , x_{i'}, y_1, \dotsc , y_q\), and as a horizontal Coxeter element of type \(A_{p-i'+i-1}\) on the remaining coordinates.
If r is the reflection with respect to \(\{x_i = x_p + 1\}\) for some \(i \le p-1\), then \(u=wr\) sends \(b\in E\) to
As before, on the coordinates \(x_{i+1}, \dotsc , x_p, y_1, \dotsc , y_q\) we have that u acts as a \((p-i, q)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-i}\), and on the remaining coordinates it acts as a horizontal Coxeter element of type \(A_{i-1}\).
A similar phenomenon happens if r is a reflection of type (iii) or (iv). We are now ready to prove Lemma 3.21.
Proof of Lemma 3.21for the case \({{\tilde{A}}}_n\) Let \(u \in [1,w]\) be a hyperbolic isometry such that \(W_u\) is irreducible. By iterating the previous argument, we get that u acts as a \((p',q')\)-bigon Coxeter element of type \({{\tilde{A}}}_{p'+q'-1}\) on a subset \(x_{i_1}, \dotsc , x_{i_{p'}}, y_{j_1}, \dotsc , y_{j_{q'}}\) of the coordinates (for some \(i_1< \cdots < i_{p'}\) and \(j_1< \cdots < j_{q'}\)). It acts as the identity on the other coordinates, because otherwise u would have a non-trivial hyperbolic-horizontal decomposition, and \(W_u\) would be reducible. If we restrict to the relevant \(p'+q'\) coordinates, we get
Then \(W_u\) is a Coxeter group of type \({{\tilde{A}}}_{p'+q'-1}\).
The point \(a\) of the statement can be written in the form (4), and its relevant \(p'+q'\) coordinates are given by
In particular, notice that \(x_{i_{p'}}^a< x_{i_{p'-1}}^a< \cdots< x_{i_1}^a< x_{i_{p'}}^a+ 1\) and \(y_{j_1}^a< y_{j_2}^a< \cdots< y_{j_{q'}}^a< y_{j_1}^a+ 1\). We conclude by applying Lemma A.1 to the Coxeter group \(W_u\) (in place of W), its Coxeter element u (in place of w), and the point \(a\). \(\square \)
1.2 Case \({{\tilde{C}}}_n\)
Let W be a Coxeter group of type \({{\tilde{C}}}_n\). It is realized as the reflection group in \(E = {\mathbb {R}}^n\) associated with the hyperplane arrangement
Consider the chamber \(C_0 = \left\{ 0< x_1< x_2< \cdots< x_n < \textstyle \frac{1}{2} \right\} \), with walls given by \(\{x_1 = 0\}, \{x_1 = x_2\}, \dotsc , \{x_{n-1} = x_n\}, \left\{ x_n = \frac{1}{2} \right\} \). Let w be the Coxeter element obtained by multiplying the reflections with respect to the walls of \(C_0\) (in the order given before). Then w acts as follows on a point \(b\in E\):
The shortest vector in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\) is \(\mu = -\left( \frac{1}{n}, \frac{1}{n}, \dotsc , \frac{1}{n} \right) \), and the points of the Coxeter axis \(\ell \) are of the form
for \(\theta \in {\mathbb {R}}\). The hyperplanes of the form \(\{ x_i - x_j = k\}\) are horizontal, and the other hyperplanes of \({\mathcal {A}}\) are vertical.
Given a point \(a\in E\) which is not contained in any hyperplane of \({\mathcal {A}}\), let \(C_a\) be the chamber containing \(a\), and consider the line passing through \(a\) and with the same direction as the Coxeter axis:
Define \(S_a, S_a^+, S_a^-, S_a^{\text {hor}}\) as in the case \({{\tilde{A}}}_n\) (Sect. A.1).
Lemma A.2
Let W be a Coxeter group of type \({{\tilde{C}}}_n\), and w a Coxeter element as in (8). Let \(a\in E\) be a point which is not contained in any hyperplane of \({\mathcal {A}}\), and such that \(x_1^a< x_2^a< \cdots< x_n^a< x_1^a+1\). Then the reflections in \(S_a^+\) (resp. \(S_a^-\)) pairwise commute. In addition, w can be written as a product of the reflections in \(S_a\), where the reflections in \(S_a^+\) come first, and the reflections in \(S_a^-\) come last.
Proof
The statement holds for \(a\) if and only if it holds for \(w^m(a)\), for any \(m \in {\mathbb {Z}}\). Notice that w permutes cyclically the fractional parts of the real numbers \(x_1^a, \dotsc , x_n^a\). Therefore, without loss of generality, we can assume that \(x_1^a\) has the smallest fractional part among \(x_1^a, \dotsc , x_n^a\). Since \(w^n\) is a pure translation of \(n\mu = -(1, 1,\dotsc , 1)\), we can also assume that \(0< x_1^a< 1\). Together with the hypothesis \(x_1^a< x_2^a< \cdots< x_n^a< x_1^a+1\), we obtain that
Let \(p \in \{0,\dotsc , n\}\) be the largest index such that \(x_p^a< \frac{1}{2}\). Let \(q = n-p\), and define \(y_j = 1 - x_{p+j}\) for \(j \in \{1,\dotsc , q\}\). Notice that the isometry
is an element of W, so it sends chambers to chambers. Since \(a\) is not contained in any hyperplane of \({\mathcal {A}}\), the new coordinates \(x_1^a, \dotsc , x_p^a\), \(y_1^a, \dotsc , y_q^a\) are pairwise distinct numbers between 0 and \(\frac{1}{2}\). They satisfy \(x_1^a< \cdots < x_p^a\) and \(y_1^a> \cdots > y_q^a\). Let \(Z = \{x_1^a, \dotsc , x_p^a, y_1^a, \dotsc , y_q^a\}\), and write \(Z = \{ z_1^a< z_2^a< \cdots < z_n^a\}\), where each \(z_l\) is either equal to some \(x_i\) or to some \(y_j\). The inequalities \(0< z_1< z_2< \cdots< z_n < \frac{1}{2}\) define the chamber \(C_a\), and the walls of \(C_a\) are
The vertical walls that intersect \(\ell _a\) above \(a\) are those of the form \(\{ y_j = x_i \}\) with \(y_j^a\lessdot x_i^a\), \(\{ x_1 = 0 \}\), and \(\big \{ y_1 = \frac{1}{2} \big \}\). Notice that not all of these hyperplanes necessarily occur as walls of \(C_a\). For example, \(\{x_1 = 0\}\) is a wall of \(C_a\) if and only if \(x_1^a< y_q^a\). Similarly, the vertical walls that intersect \(\ell _a\) below \(a\) are those of the form \(\{ x_i = y_j \}\) with \(x_i^a\lessdot y_j^a\), \(\{ y_q = 0 \}\), and \(\big \{ x_p = \frac{1}{2} \big \}\). Every coordinate \(x_i\) or \(y_j\) appears in exactly two walls. If these two walls are both vertical, then one intersects \(\ell _a\) above \(a\) and the other intersects \(\ell _a\) below \(a\). Therefore, the reflections in \(S_a^+\) (resp. \(S_a^-\)) pairwise commute.
The horizontal walls are among the following: \(\{ x_i = x_{i+1} \}\) for \(1 \le i \le p-1\); \(\{y_j = y_{j+1}\}\) for \(1 \le j \le q-1\). Notice that we left out the hyperplanes \(\{x_1 = x_p - 1\}\) and \(\{ y_1 = y_q + 1 \}\): although the corresponding reflections are in [1, w], they cannot occur as walls of \(C_a\), by (9). Order these hyperplanes as follows:
Let \(w_+\) (resp. \(w_-\)) be the product of the reflections in \(S_a^+\) (resp. \(S_a^-\)), and let \(w_{\text {hor}}\) be the product of the reflections in \(S_{\text {hor}}\), in the same relative order as in (10). Let \({\hat{w}} = w_+ w_{\text {hor}}w_-\). We want to prove that \({\hat{w}} = w\).
If \(p=0\) or \(q=0\), the set of walls (9) can be written explicitly, and it is immediate to check that \({\hat{w}} = w\) (in the case \(q=0\), the chamber \(C_a\) is precisely the one used to define w in the first place). Suppose from now on that \(p > 0\) and \(q > 0\). We are going to show that the linear parts of \({\hat{w}}\) and w coincide, and that \({\hat{w}}(b) = w(b)\) for some point \(b\in E\).
Consider the unit vector \(e_{x_i}\) in the direction of \(x_i\), with \(i \le p-1\).
-
If \(x_i^a\lessdot y_j^a\lessdot y_{j-1}^a\lessdot \cdots \lessdot y_{j'}^a\lessdot x_{i+1}^a\) with \(j' \le j\), then: the linear part of \(w_-\) sends \(e_{x_i}\) to \(e_{y_j}\); the linear part of \(w_{\text {hor}}\) sends \(e_{y_j}\) to \(e_{y_{j'}}\); the linear part of \(w_+\) sends \(e_{y_{j'}}\) to \(e_{x_{i+1}}\).
-
If \(x_i^a\lessdot x_{i+1}^a\), then: the linear part of \(w_-\) fixes \(e_{x_i}\); the linear part of \(w_{\text {hor}}\) sends \(e_{x_i}\) to \(e_{x_{i+1}}\); the linear part of \(w_+\) fixes \(e_{x_{i+1}}\).
Consider now the unit vector \(e_{x_p}\).
-
If \(x_p^a\lessdot y_j^a\lessdot y_{j-1}^a\lessdot \cdots \lessdot y_{1}^a< \frac{1}{2}\) with \(j \ge 1\), then: the linear part of \(w_-\) sends \(e_{x_p}\) to \(e_{y_j}\); the linear part of \(w_{\text {hor}}\) sends \(e_{y_j}\) to \(e_{y_{1}}\); the linear part of \(w_+\) sends \(e_{y_1}\) to \(-e_{y_1}\).
-
If \(y_1^a\lessdot x_i^a\lessdot x_{i+1}^a\lessdot \cdots \lessdot x_p^a< \frac{1}{2}\) with \(i \le p\), then: the linear part of \(w_-\) sends \(e_{x_p}\) to \(-e_{x_p}\); the linear part of \(w_{\text {hor}}\) sends \(-e_{x_p}\) to \(-e_{x_i}\); the linear part of \(w_+\) sends \(-e_{x_i}\) to \(-e_{y_1}\).
A similar argument shows that the linear part of \({\hat{w}}\) sends \(e_{y_j}\) to \(e_{y_{j+1}}\) if \(j \le q-1\), and sends \(e_{y_q}\) to \(-e_{x_1}\). Recall now that \(y_j = 1-x_{p+j}\), and so \(e_{y_j} = -e_{x_{p+j}}\). Therefore the linear part of \({\hat{w}}\) sends \(e_{x_i}\) to \(e_{x_{i+1}}\) for all \(i \in \{1,\dotsc , n\}\) (with indices taken modulo n), so it coincides with the linear part of w.
It remains to show that \({\hat{w}}(b) = w(b)\) for some point \(b\in E\).
-
If \(0< x_1^a< y_q^a\), let \(b\) be the vertex of \(C_a\) opposite to the wall \(H = \{ x_1 = 0\}\), i.e. \(b= \big (\frac{1}{2}, \frac{1}{2}, \dotsc , \frac{1}{2} \big )\). The reflection r with respect to H belongs to \(S_a^+\). Then \({\hat{w}}(b) = r(b) = \big (-\frac{1}{2}, \frac{1}{2}, \dotsc , \frac{1}{2}) = w(b)\).
-
If \(0 < y_q^a\lessdot y_{q-1}^a\lessdot \cdots \lessdot y_j^a\lessdot x_1^a\) with \(j \le q\), let \(b\) be the vertex of \(C_a\) opposite to the wall \(H = \{ y_j = x_1 \} = \{ 1-x_{p+j} = x_1 \}\), i.e.
$$\begin{aligned} b= \big ( \underbrace{\textstyle \frac{1}{2}, \dotsc , \frac{1}{2}}_{p+j-1}, \underbrace{1, \dotsc , 1}_{q-j+1} \big ). \end{aligned}$$Again, the reflection r with respect to H belongs to \(S_a^+\), and therefore
$$\begin{aligned} {\hat{w}}(b) = r(b) = \big ( 0, \underbrace{\textstyle \frac{1}{2}, \dotsc , \frac{1}{2}}_{p+j-1}, \underbrace{1, \dotsc , 1}_{q-j} \big ) = w(b). \end{aligned}$$
\(\square \)
As in the case \({{\tilde{A}}}_n\), in order to prove Lemma 3.21 we start by explicitly describing the hyperbolic elements \(u \in [1,w]\) with \(l(u) = n\). By Theorem 3.5, the horizontal reflections \(r \in [1,w]\) are the ones with the following fixed hyperplanes:
-
(i)
\(\{ x_i = x_{j}\}\) for \(i < j\);
-
(ii)
\(\{ x_i = x_{j} - 1\}\) for \(i < j\).
If r is the reflection with respect to \(\{ x_i = x_j \}\) with \(i < j \le n-1\), then \(u = wr\) sends a point \(b\in E\) to
On the coordinates \(x_{i+1}, \dotsc , x_j\), the hyperbolic isometry u acts as a horizontal Coxeter element of type \(A_{j-i-1}\). On the remaining coordinates, it acts as a Coxeter element of type \({{\tilde{C}}}_{n-j+i}\).
If r is the reflection with respect to \(\{ x_i = x_n \}\), then \(u=wr\) sends \(b\in E\) to
Therefore u acts as a horizontal Coxeter element of type \(A_{n-i-1}\) on the coordinates \(x_{i+1}, \dotsc , x_{n}\), and as a Coxeter element of type \({{\tilde{C}}}_{i}\) on the coordinates \(x_1, \dotsc , x_i\).
The situation is similar if r is a reflection with respect to \(\{ x_i = x_{j} - 1\}\) for some \(i < j\). In this case, u acts as a Coxeter element of type \({{\tilde{C}}}_{j-i}\) on the coordinates \(x_{i+1}, \dotsc , x_j\), and as a horizontal Coxeter element of type \(A_{n-j+i-1}\) on the remaining coordinates.
Notice that, in some of the previous cases, a Coxeter element of type \({{\tilde{C}}}_1\) can occur (for instance, this happens if r is the reflection with respect to \(\{x_1 = x_n\}\)). The limit case \({{\tilde{C}}}_1\) still makes sense and coincides with \({{\tilde{A}}}_1\).
Proof of Lemma 3.21for the case \({{\tilde{C}}}_n\) Let \(u \in [1,w]\) be a hyperbolic isometry such that \(W_u\) is irreducible. By the same argument as in the case \({{\tilde{A}}}_n\), we have that u acts as a Coxeter element of type \({{\tilde{C}}}_{m}\) on a subset \(x_{i_1}, \dotsc , x_{i_m}\) of the coordinates, and as the identity on the remaining coordinates. If we restrict to the relevant coordinates \(x_{i_1}, \dotsc , x_{i_m}\), we have
The relevant coordinates of \(a\) are given by
for some \(\theta \in {\mathbb {R}}\). These coordinates satisfy \(x_{i_1}^a< x_{i_2}^a< \cdots< x_{i_m}^a< x_{i_1}^a+ 1\). We conclude by applying Lemma A.2 to the Coxeter group \(W_u\), its Coxeter element u, and the point \(a\). \(\square \)
1.3 Case \({{\tilde{B}}}_n\)
Let W be a Coxeter group of type \({{\tilde{B}}}_n\). It is realized as the reflection group in \(E = {\mathbb {R}}^n\) associated with the hyperplane arrangement
Consider the chamber \(C_0 = \left\{ 0< x_1< x_2< \cdots< x_n, \; x_{n-1} + x_n < 1 \right\} \), with walls given by \(\{x_1 = 0\}, \{x_1 = x_2\}, \dotsc , \{x_{n-1} = x_n\}, \{ x_{n-1} + x_n = 1 \}\). Let w be the Coxeter element obtained by multiplying the reflections with respect to these walls. Then w acts as follows on a point \(b\in E\):
The shortest vector in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\) is \(\mu = -\left( \frac{1}{n-1}, \frac{1}{n-1}, \dotsc , \frac{1}{n-1} \bigm | 0 \right) \), and the points of the Coxeter axis \(\ell \) are of the form
for \(\theta \in {\mathbb {R}}\). The horizontal hyperplanes are: \(\{ x_i - x_j = k\}\) for \(1 \le i < j \le n-1\) and \(k \in {\mathbb {Z}}\); \(\{ x_n = k\}\) for \(k \in {\mathbb {Z}}\).
Given a point \(a\in E\) which is not contained in any hyperplane of \({\mathcal {A}}\), define \(C_a\), \(S_a\), \(S_a^+\), \(S_a^-\), and \(S_a^{\text {hor}}\) as in the previous cases.
Lemma A.3
Let W be a Coxeter group of type \({{\tilde{B}}}_n\), and w a Coxeter element as in (11). Let \(a\in E\) be a point which is not contained in any hyperplane of \({\mathcal {A}}\), and such that \(x_1^a< x_2^a< \cdots< x_{n-1}^a< x_1^a+1\) and \(x_n^a= \frac{1}{2}\). Then the reflections in \(S_a^+\) (resp. \(S_a^-\)) pairwise commute. In addition, w can be written as a product of the reflections in \(S_a\), where the reflections in \(S_a^+\) come first, and the reflections in \(S_a^-\) come last.
Proof
By replacing \(a\) with a \(w^m(a)\) for a suitable \(m \in {\mathbb {Z}}\), we can assume that \(0< x_1^a< x_2^a< \cdots< x_{n-1}^a< 1\) and \(x_n^a= \frac{1}{2}\). Let \(p \in \{0, \dotsc , n-1\}\) be the largest index such that \(x_p^a< \frac{1}{2}\), and let \(q = n-1-p\). As in the case \({{\tilde{C}}}_n\), define \(y_j = 1 - x_{p+j}\) for \(j \in \{1, \dotsc , q\}\). Define also
Notice that, if we multiply the reflections with respect to \(\{ x_i = x_n \}\) and \(\{ x_i + x_n = 1 \}\) (for some \(i \le n-1\)), we obtain the isometry \((x_i, x_n) \mapsto (1-x_i, 1-x_n)\). If we multiply these isometries for all \(i \in \{p+1, \dotsc , n-1\}\), we obtain the change of coordinates
which is therefore an element of W. As in the case \({{\tilde{C}}}_n\), we now have \(0< x_1^a< x_2^a< \cdots< x_p^a< \frac{1}{2}\) and \(0< y_q^a< y_{q-1}^a< \cdots< y_1^a< \frac{1}{2}\). In addition, there is the last coordinate \(t^a= \frac{1}{2}\).
Let \(Z = \{ x_1^a, \dotsc , x_p^a, y_1^a, \dotsc , y_q^a\}\), and write \(Z = \{ z_1^a< z_2^a< \cdots < z_{n-1}^a\}\). Using the coordinates \(z_1, \dotsc , z_{n-1}, t\), the chamber \(C_a\) is given by \(\{ 0< z_1< \cdots< z_{n-1}< t, \; z_{n-1} + t < 1 \}\). Therefore, its walls are
Denote by r and \(r'\) the reflections with respect to \(\{ z_{n-1} = t \}\) and \(\{z_{n-1} + t = 1\}\), respectively. They commute, and they are both vertical. In addition, they are either both in \(S_a^+\) (if \(z_{n-1} = y_1\)) or both in \(S_a^-\) (if \(z_{n-1} = x_p\)). The product \(rr'\) is given by \((z_{n-1}, t) \mapsto (1-z_{n-1}, 1-t)\), and it is the identity on the other coordinates. Since t is either \(x_n\) or \(1-x_n\), we have that \(rr'\) is given by \((z_{n-1}, x_n) \mapsto (1-z_{n-1}, 1-x_n)\). On the last coordinate \(x_n\), this is exactly how w acts. On the coordinate \(z_{n-1}\), we have that \(rr'\) acts as a reflection with respect to \(z_{n-1} = \frac{1}{2}\). The rest of the proof carries out exactly as in the case \({{\tilde{C}}}_{n-1}\) (see Lemma A.2). \(\square \)
Let us examine the hyperbolic elements \(u \in [1,w]\) with \(l(u) = n\). The horizontal reflections \(r \in [1,w]\) are:
-
(i)
\(\{ x_i = x_{j}\}\) for \(i < j \le n-1\);
-
(ii)
\(\{ x_i = x_{j} - 1\}\) for \(i < j \le n-1\);
-
(iii)
\(\{ x_n = 0 \}\);
-
(iv)
\(\{ x_n = 1 \}\).
Similarly to the case \({{\tilde{C}}}_n\), if r is a reflection of type (i), then \(u = wr\) acts as a horizontal Coxeter element of type \(A_{j-i-1}\) on some of the coordinates, and as a Coxeter element of type \({{\tilde{B}}}_{n-j+i}\) on the remaining coordinates. If r is a reflection of type (ii), then \(u=wr\) acts as a Coxeter element of type \({{\tilde{B}}}_{j-i+1}\) on some of the coordinates, and as a horizontal Coxeter element of type \(A_{n-j+i-2}\) on the remaining coordinates. Notice that the limit case \({{\tilde{B}}}_2 = {{\tilde{C}}}_2\) can arise (for instance, if r is the reflection with respect to \(\{x_1 = x_{n-1}\}\)).
If r is the reflection with respect to \(\{x_n = 0\}\), then \(u = wr\) sends a point \(b\in E\) to
This is a \((n-1,1)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-1}\), and \(W_u\) is a Coxeter group of type \({{\tilde{A}}}_{n-1}\). If r is the reflection with respect to \(\{x_n = 1\}\) we obtain the same result up to a conjugation by w, so \(u = wr\) is again a \((n-1,1)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-1}\).
Proof of Lemma 3.21for the case \({{\tilde{B}}}_n\) Let \(u \in [1,w]\) be a hyperbolic element such that \(W_u\) is irreducible. In particular, \(u = w v^{-1}\) for some horizontal element \(v \in [1,w]\).
If \(r \le v\), where r is a reflection with respect to \(\{ x_n = 0\}\) or \(\{x_n = 1\}\), then \(u \le wr\). Since wr is a Coxeter element of type \({{\tilde{A}}}_{n-1}\), this case was already covered in Sect. A.1.
Otherwise we proceed as for the case \({{\tilde{C}}}_n\), and notice that u must act as a Coxeter element of type \({{\tilde{B}}}_m\) on a subset of the coordinates \(x_{i_1}, \dotsc , x_{i_{m-1}}, x_n\). If we restrict to these relevant coordinates, we have
We conclude by applying Lemma A.3 to the Coxeter group \(W_u\), its Coxeter element u, and the point \(a\). \(\square \)
1.4 Case \({{\tilde{D}}}_n\)
Let W be a Coxeter group of type \({{\tilde{D}}}_n\). It is realized as the reflection group in \(E = {\mathbb {R}}^n\) associated with the hyperplane arrangement
Consider the chamber \(C_0 = \left\{ 0< x_1 + x_2, \; x_1< x_2< \cdots< x_n, \; x_{n-1} + x_n < 1 \right\} \), with walls given by \(\{x_1 + x_2 = 0\}, \{x_1 = x_2\}, \dotsc , \{x_{n-1} = x_n\}, \{ x_{n-1} + x_n = 1 \}\). Let w be the Coxeter element obtained by multiplying the reflections with respect to these walls. Then w acts as follows on a point \(b\in E\):
The shortest vector in \({{\,\mathrm{\textsc {Mov}}\,}}(w)\) is \(\mu = -\left( 0 \bigm | \frac{1}{n-2}, \frac{1}{n-2}, \dotsc , \frac{1}{n-2} \bigm | 0 \right) \), and the points of the Coxeter axis \(\ell \) are of the form
for \(\theta \in {\mathbb {R}}\). The horizontal hyperplanes are: \(\{ x_i - x_j = k\}\) for \(2 \le i < j \le n-1\) and \(k \in {\mathbb {Z}}\); \(\{ x_1 \pm x_n = k\}\) for \(k \in {\mathbb {Z}}\).
Given a point \(a\in E\) which is not contained in any hyperplane of \({\mathcal {A}}\), define \(C_a\), \(S_a\), \(S_a^+\), \(S_a^-\), and \(S_a^{\text {hor}}\) as in the previous cases.
Lemma A.4
Let W be a Coxeter group of type \({{\tilde{D}}}_n\), and w a Coxeter element as in (12). Let \(a\in E\) be a point which is not contained in any hyperplane of \({\mathcal {A}}\), and such that \(x_1^a= 0\), \(x_2^a< x_3^a< \cdots< x_{n-1}^a< x_2^a+1\), and \(x_n^a= \frac{1}{2}\). Then the reflections in \(S_a^+\) (resp. \(S_a^-\)) pairwise commute. In addition, w can be written as a product of the reflections in \(S_a\), where the reflections in \(S_a^+\) come first, and the reflections in \(S_a^-\) come last.
Proof
By replacing \(a\) with a \(w^m(a)\) for a suitable \(m \in {\mathbb {Z}}\), we can assume that \(x_1^a= 0\), \(0< x_2^a< x_3^a< \cdots< x_{n-1}^a< 1\), and \(x_n^a= \frac{1}{2}\). Let \(p \in \{1, \dotsc , n-1\}\) be the largest index such that \(x_p^a< \frac{1}{2}\), and let \(q = n-1-p\). Define \(y_j = 1 - x_{p+j}\) for \(j \in \{1, \dotsc , q\}\), and
As in the case \({{\tilde{B}}}_n\), the change of coordinates
is an element of W.
We now have \(0 = x_1^a< x_2^a< \cdots< x_p^a< t^a= \frac{1}{2}\) and \(0 = x_1^a< y_q^a< y_{q-1}^a< \cdots< y_1^a< t^a= \frac{1}{2}\). Let \(Z = \{ x_2^a, \dotsc , x_p^a, y_1^a, \dotsc , y_q^a\}\), and write \(Z = \{ z_2^a< z_3^a< \cdots < z_{n-1}^a\}\). Using the coordinates \(x_1, z_2, \dotsc , z_{n-1}, t\), the chamber \(C_a\) is given by \(\{ 0< x_1 + z_2, \; x_1< z_2< \cdots< z_{n-1}< t, \; z_{n-1} + t < 1 \}\). Therefore its walls are
Exactly as in the case \({{\tilde{B}}}_n\), the reflections with respect to \(\{ z_{n-1} = t \}\) and \(\{z_{n-1} + t = 1\}\) commute, and they are either both in \(S_a^+\) or both in \(S_a^-\). Their product acts as \((z_{n-1}, x_n) \mapsto (1-z_{n-1}, 1-x_n)\). Similarly, the reflections with respect to \(\{ x_1 + z_2 = 0 \}\) and \(\{ x_1 = z_2 \}\) commute, and they are either both in \(S_a^+\) or both in \(S_a^-\). Their product acts as \((x_1, z_2) \mapsto (-x_1, -z_2)\). On the coordinate \(x_1\), this is exactly how w acts. On the coordinate \(z_2\), this is the same as a reflection with respect to \(z_2 = 0\). We conclude as in the case \({{\tilde{B}}}_n\). \(\square \)
We now examine the hyperbolic elements \(u \in [1,w]\) with \(l(u) = n\). The horizontal reflections \(r \in [1,w]\) are:
-
(i)
\(\{ x_i = x_{j}\}\) for \(2 \le i < j \le n-1\);
-
(ii)
\(\{ x_i = x_{j} - 1\}\) for \(2 \le i < j \le n-1\);
-
(iii)
\(\{ x_1 \pm x_n = 0 \}\);
-
(iv)
\(\{ x_n \pm x_1 = 1 \}\).
Similarly to the previous cases, if r is a reflection of type (i), then \(u = wr\) acts as a horizontal Coxeter element of type \(A_{j-i-1}\) on some of the coordinates, and as a Coxeter element of type \({{\tilde{D}}}_{n-j+i}\) on the remaining coordinates. If r is a reflection of type (ii), then \(u=wr\) acts as a Coxeter element of type \({{\tilde{D}}}_{j-i+2}\) on some of the coordinates, and as a horizontal Coxeter element of type \(A_{n-j+i-3}\) on the remaining coordinates. Notice that the limit case \({{\tilde{D}}}_3 = {{\tilde{A}}}_3\) can arise (for instance, if r is the reflection with respect to \(\{x_2 = x_{n-1}\}\)). When this happens, a (2, 2)-bigon Coxeter element is obtained.
If r is the reflection with respect to \(\{x_1 + x_n = 0\}\), then \(u = wr\) sends a point \(b\in E\) to
This is a \((n-2,2)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-1}\), and \(W_u\) is a Coxeter group of type \({{\tilde{A}}}_{n-1}\). If r is the reflection with respect to \(\{x_1 + x_n = 1\}\) we obtain the same result up to a conjugation by w, so \(u = wr\) is again a \((n-2,2)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-1}\).
If r is the reflection with respect to \(\{x_n - x_1 = 0\}\), then \(u = wr\) sends a point \(b\in E\) to
If we set \(x_1' = -x_1\), using the coordinates \((x_1', x_2, \dotsc , x_n)\) we get
which is now clearly recognizable as a \((n-2,2)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-1}\). If r is the reflection with respect to \(\{x_n - x_1 = 1\}\) we obtain the same result up to a conjugation by w, so \(u = wr\) is again a \((n-2,2)\)-bigon Coxeter element of type \({{\tilde{A}}}_{n-1}\).
Proof of Lemma 3.21for the case \({{\tilde{D}}}_n\) Let \(u \in [1,w]\) be a hyperbolic element such that \(W_u\) is irreducible. In particular, \(u = w v^{-1}\) for some horizontal element \(v \in [1,w]\).
If \(r \le v\), where r is a reflection with respect to \(\{ x_1 \pm x_n = 0\}\) or \(\{x_n \pm x_1 = 1\}\), then \(u \le wr\). Since wr is a Coxeter element of type \({{\tilde{A}}}_{n-1}\), this case was already covered in Sect. A.1.
Otherwise we proceed as for the cases \({{\tilde{C}}}_n\) and \({{\tilde{B}}}_n\), by applying Lemma A.4 to the Coxeter group \(W_u\), its Coxeter element u, and the point \(a\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Paolini, G., Salvetti, M. Proof of the \(K(\pi , 1)\) conjecture for affine Artin groups. Invent. math. 224, 487–572 (2021). https://doi.org/10.1007/s00222-020-01016-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-020-01016-y