The geometry of conjugation in affine Coxeter groups
Elizabeth Milićević, Petra Schwer, Anne Thomas
备注：
116 pages, 6 figures best viewed in color; v3: minor revisions, shorter version to appear in the International Journal of Algebra and Computation (IJAC)
We develop new and precise geometric descriptions of the conjugacy class $[x]$ and coconjugation set $\operatorname{C}(x,x') = \{ y \in \overline{W} \mid yxy^{-1} = x' \}$ for all elements $x,x'$ of any affine Coxeter group $\overline{W}$. The centralizer of $x$ in $\overline{W}$ is the special case $\operatorname{C}(x,x)$. The key structure in our description of the conjugacy class $[x]$ is the mod-set ${Mod}_{\overline{W}}(w) = (w-\operatorname{I})R^\vee$, where~$w$ is the finite part of $x$ and $R^\vee$ is the coroot lattice. The coconjugation set $\operatorname{C}(x,x')$ is then described by ${Mod}_{\overline{W}}(w')$ together with the fix-set of $w'$, where $w'$ is the finite part of $x'$. For any element $w$ of the associated finite Weyl group $W$, the mod-set of $w$ is contained in the classical move-set ${Mov}(w) = \operatorname{Im}(w - \operatorname{I})$. We prove that the rank of ${Mod}_{\overline{W}}(w)$ equals the dimension of ${Mov}(w)$, and then further investigate type-by-type the surprisingly subtle structure of the $\mathbb{Z}$-module ${Mod}_\overline{W}(w)$. As corollaries, we determine exactly when ${Mod}_{\overline{W}}(w) = {Mov}(w) \cap R^\vee$, in which case our closed-form descriptions of conjugacy classes and coconjugation sets are as simple as possible.
We investigate which Weyl groups have a Coxeter presentation and which of them at least have the presentation by conjugation with respect to their root system. For most concepts of root systems the Weyl group has both. In the context of extended affine root systems (EARS) there is a small subclass allowing a Coxeter presentation of the Weyl group and a larger subclass allowing the presentation by conjugation. We give necessary and sufficient conditions for both classes. Our results entail that every extended affine Weyl group (EAWeG) has the presentation by conjugation with respect to a suitab…
Hayashi property for conjugation quandles over finite Coxeter groups
Indian Institute of Technology Jodhpur（印度技术学院乔德普尔分校）；School of Advanced Engineering, UPES（UPES高级工程学院）；Indian Institute of Science Education and Research Mohali（印度科学教育与研究学院莫哈利分校）
We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $\tilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.
We show that for a parabolic quasi-Coxeter element in an affine Coxeter group the Hurwitz action on its set of reduced factorizations into a product of reflections is transitive. We call an element of the Coxeter group parabolic quasi-Coxeter element if it has a reduced factorization into a product of reflections that generate a parabolic subgroup.
In any Coxeter group, the conjugates of elements in the standard minimal generating set are called reflections and the minimal number of reflections needed to factor a particular element is called its reflection length. In this article we prove that the reflection length function on an affine Coxeter group has a uniform upper bound. More precisely we prove that the reflection length function on an affine Coxeter group that naturally acts faithfully and cocompactly on $\R^n$ is bounded above by $2n$ and we also show that this bound is optimal. Conjecturally, spherical and affine Coxeter groups …
In any Coxeter group, the conjugates of elements in its Coxeter generating set are called reflections and the reflection length of an element is its length with respect to this expanded generating set. In this article we give a simple formula that computes the reflection length of any element in any affine Coxeter group and we provide a simple uniform proof.
An element of a Coxeter group $W$ is called fully commutative if any two of its reduced decompositions can be related by a series of transpositions of adjacent commuting generators. In the preprint "Fully commutative elements in finite and affine Coxeter groups" (arXiv:1402.2166), R. Biagioli and the authors proved among other things that, for each irreducible affine Coxeter group, the sequence counting fully commutative elements with respect to length is ultimately periodic. In the present work, we study this sequence in its periodic part for each of these groups, and in particular we determi…
An element of a Coxeter group W is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. An element of a Coxeter group W is cyclically fully commutative if any of its cyclic shifts remains fully commutative. These elements were studied in Boothby et al.. In particular the authors enumerated cyclically fully commutative elements in all Coxeter groups having a finite number of them. In this work we characterize and enumerate cyclically fully commutative elements according to their Coxeter length in all finite or aff…
We classify the elements of $W(\tilde{A}_n)$ by giving a canonical reduced expression for each, using basic tools among which affine length. We give some direct consequences for such a canonical form: a description of left multiplication by a simple reflection, a study of the right descent set, and a proof that the affine length is preserved along the tower of affine Coxeter groups of type $\tilde A$, which implies in particular that the corresponding tower of affine Hecke algebras is a faithful tower.
Beijing International Center for Mathematical Research Peking University, Beijing, China（北京大学北京国际数学研究中心）；School of Mathematics and Statistics University of Melbourne, VIC 3010, Australia（墨尔本大学数学与统计学院）；Department of Foundational Mathematics School of Mathematics and Physics Xi’an Jiaotong-Liverpool University, Suzhou, China（西交利物浦大学数学与物理学院基础数学系）
The star operation, originally introduced by Kazhdan and Lusztig, was later specialized by Ernst to the so-called weak star reduction on the set of fully commutative elements of a Coxeter group. In this paper, we classify the star and weak star irreducible fully commutative elements in Coxeter groups of affine types $\widetilde{B}_{n+1}$ and $\widetilde{D}_{n+2}$. Focusing then on the case of type $\widetilde{D}_{n+2}$, we use the classification of star irreducible elements to provide a new proof of the faithfulness of a diagrammatic representation of the corresponding generalized Temperley-Li…
The following results are proved: The center of any finite index subgroup of an irreducible, infinite, non-affine Coxeter group is trivial; Any finite index subgroup of an irreducible, infinite, non-affine Coxeter group cannot be expressed as a product of two nontrivial subgroups. These two theorems imply a unique decomposition theorem for a class of Coxeter groups. We also obtain that the orbit of each element other than the identity under the conjugation action in an irreducible, infinite, non-affine Coxeter group is an infinite set. This implies that an irreducible, infinite Coxeter group i…
Commuting involution graphs have been studied for finite Coxeter groups and for affine groups of classical type. The purpose of this short note is to establish some general results for commuting involution graphs in affine Coxeter groups, and to deal with types $\tilde F_4$ and $\tilde G_2$. Types $\tilde E_6$ $\tilde E_7$ and $\tilde E_8$ are more substantial and we will address these in a forthcoming paper.
Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to $t$. In this paper, we classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. In a sequel to this paper, the classificat…
The reflection length of an element of a Coxeter group is the minimal number of conjugates of the standard generators whose product is equal to that element. In this paper we prove the conjecture of McCammond and Petersen that reflection length is unbounded in any non-affine Coxeter group. Among the tools used, the construction of word-hyperbolic quotients of all minimal non-affine Coxeter groups might be of independent interest.
For a Coxeter group $W$ we have an associating bi-linear form $B$ on a real vector space. We assume that $B$ has the signature $(n-1,1)$. In this case we have the Cannon-Thurston map for $W$, that is, a $W$-equivariant continuous surjection from the Gromov boundary of $W$ to the limit set of $W$. We focus on the case where Coxeter groups contain affine special subgroups.
Unique affine extensions $H^{\aff}_2$, $H^{\aff}_3$ and $H^{\aff}_4$ are determined for the noncrystallographic Coxeter groups $H_2$, $H_3$ and $H_4$. They are used for the construction of new mathematical models for quasicrystal fragments with 10-fold symmetry. The case of $H^{\aff}_2$ corresponding to planar point sets is discussed in detail. In contrast to the cut-and-project scheme we obtain by construction finite point sets, which grow with a model specific growth parameter.
The limit weak order on an affine Weyl group was introduced by Lam and Pylyavskyy in their study of total positivity for loop groups. They showed that in the case of the affine symmetric group the minimal elements of this poset coincide with the infinite fully commutative reduced words and with infinite powers of Coxeter elements. We answer several open problems raised there by classifying minimal elements in all affine types and relating these elements to the classes of fully commutative and Coxeter elements. Interestingly, the infinite fully commutative elements correspond to the minuscule a…
We investigate the so-called dual Matsumoto property or Hurwitz action in finite, affine and arbitrary Coxeter groups. In particular, we want to investigate how to reduce reflection factorizations and how two reflection factorizations of the same element are related to each other. We are motivated by the dual approach to Coxeter groups proposed by Bessis and the question whether there is an anlogue of the well known Matsumoto property for reflection factorizations. Our aim is a substantial understanding of the Hurwitz action. We therefore reprove uniformly results of Lewis and Reiner as well a…
For any right-angled Coxeter group $Γ$ on $k$ generators, we construct proper actions of $Γ$ on $\mathrm{O}(p,q+1)$ by right and left multiplication, and on the Lie algebra $\mathfrak{o}(p,q+1)$ by affine transformations, for some $p,q\in\mathbb N$ with $p+q+1=k$. As a consequence, any virtually special group admits proper affine actions on some $\mathbb R^n$: this includes e.g. surface groups, hyperbolic 3-manifold groups, examples of word hyperbolic groups of arbitrarily large virtual cohomological dimension, etc. We also study some examples in cohomological dimension two and four, for which…
Motivated by recent results in mathematical virology, we present novel asymmetric Z[tau]-integer-valued affine extensions of the non-crystallographic Coxeter groups H_2, H_3 and H_4 derived in a Kac-Moody-type formalism. In particular, we show that the affine reflection planes which extend the Coxeter group H_3 generate (twist) translations along 2-, 3- and 5-fold axes of icosahedral symmetry, and we classify these translations in terms of the Fibonacci recursion relation applied to different start values. We thus provide an explanation of previous results concerning affine extensions of icosa…
In this paper we study the equivalence relation on the set of acyclic orientations of a graph Y that arises through source-to-sink conversions. This source-to-sink conversion encodes, e.g. conjugation of Coxeter elements of a Coxeter group. We give a direct proof of a recursion for the number of equivalence classes of this relation for an arbitrary graph Y using edge deletion and edge contraction of non-bridge edges. We conclude by showing how this result may also be obtained through an evaluation of the Tutte polynomial as T(Y,1,0), and we provide bijections to two other classes of acyclic or…
The notion of a linear Coxeter system introduced by Vinberg generalizes the geometric representation of a Coxeter group. Our main theorem asserts that if $v$ is an element of the Tits cone of a linear Coxeter system and $\cW$ is the corresponding Coxeter group, then $\cW v \subeq v - C_v,$ where $C_v$ is the convex cone generated by the coroots $\check α$, for which $α(v) > 0$. This implies that the convex hull of $\cW v$ is completely determined by the image of $v$ under the reflections in $\cW$. We also apply an analogous result for convex hulls of $\cW$-orbits in the dual space, although th…
In a recent paper, Barot and Marsh presented an explicit construction of presentation of a finite Weyl group by any seed of corresponding cluster algebra, i.e. by any diagram mutation-equivalent to an orientation of a Dynkin diagram with given Weyl group. Extending their construction to the affine case, we obtain presentations for all affine Coxeter groups. Furthermore, we generalize the construction to the settings of diagrams arising from unpunctured triangulated surfaces and orbifolds, which leads to presentations of corresponding groups as quotients of numerous distinct Coxeter groups.
This paper investigates the question of uniqueness of the reduced oriented matroid structure arising from root systems of a Coxeter group in real vector spaces. We settle the question for finite Coxeter groups, irreducible affine Weyl groups and all rank three Coxeter groups. In these cases, the oriented matroid structure is unique unless $W$ is of type $\widetilde{A}_n, n\geq 3$, in which case there are three possibilities.
This paper studies the rigidity properties of the abstract commensurator of the outer automorphism group of a universal Coxeter group of rank $n$, which is the free product $W_n$ of $n$ copies of $\mathbb{Z}/2\mathbb{Z}$. We prove that for $n\geq 5$ the natural map $\mathrm{Out}(W_n) \to \mathrm{Comm}(\mathrm{Out}(W_n))$ is an isomorphism and that every isomorphism between finite index subgroups of $\mathrm{Out}(W_n)$ is given by a conjugation by an element of $\mathrm{Out}(W_n)$.
For a given $w$ in a Coxeter group $W$ the elements $u$ smaller than $w$ in Bruhat order can be seen as the end-alcoves of stammering galleries of type $w$ in the Coxeter complex $Σ$. We generalize this notion and consider sets of end-alcoves of galleries that are positively folded with respect to certain orientation $ϕ$ of $Σ$. We call these sets shadows. Positively folded galleries are closely related to the geometric study of affine Deligne-Lusztig varieties, MV polytopes, Hall-Littlewood polynomials and many more agebraic structures. In this paper we will introduce various notions of orien…
In this third part, we make the following hypothesis: representation $R=R(α,β,γ;l)$ of $W(p,q,r)$ is reducible and there exist a $G$-invariant non-nulle bilinear form where $G=Im R$. With those conditions, we know the structure of $G$: $G'=G/N(G)$ is isomorphic to a finite dihedral group and $N(G)$ is given explicitly as well as the action of $G$ on $N(G)$. We begin by giving conditions on $p,q,r$ as well on $α,β,γ$ and we proove them in the appendix. The general case will be studied in the next part.
In this paper, we show that affine extensions of non-crystallographic Coxeter groups can be derived via Coxeter-Dynkin diagram foldings and projections of affine extended versions of the root systems E_8, D_6 and A_4. We show that the induced affine extensions of the non-crystallographic groups H_4, H_3 and H_2 correspond to a distinguished subset of the Kac-Moody-type extensions considered in Dechant et al. This class of extensions was motivated by physical applications in icosahedral systems in biology (viruses), physics (quasicrystals) and chemistry (fullerenes). By connecting these here to…
For an infinite Coxeter system, one can extend the weak right order to the set of infinite reduced words. This is called limit weak order. In [Transformation Groups 18(1), 2013, 179-231], Lam and Pylyavskyy showed that for affine Weyl groups of type $\widetilde{A}_n$ minimal infinite reduced words under the limit weak order are precisely those infinite Coxeter elements and asked the question of characterization, in terms of infinite reduced words, of the minimal elements of the limit weak order for other affine types. In this paper, we answer this question by characterizing the minimal infinit…
We construct finite volume hyperbolic manifolds with large symmetry groups. The construction makes use of the presentations of finite Coxeter groups provided by Barot and Marsh and involves mutations of quivers and diagrams defined in the theory of cluster algebras. We generalize our construction by assigning to every quiver or diagram of finite or affine type a CW-complex with a proper action of a finite (or affine) Coxeter group. These CW-complexes undergo mutations agreeing with mutations of quivers and diagrams. We also generalize the construction to quivers and diagrams originating from u…
We consider both standard and twisted action of a (real) Coxeter group G on the complement M_G to the complexified reflection hyperplanes by combining the reflections with complex conjugation. We introduce a natural geometric class of special involutions in G and give explicit formulae which describe both actions on the total cohomology H(M_G,C) in terms of these involutions. As a corollary we prove that the corresponding twisted representation is regular only for the symmetric group S_n, the Weyl groups of type D_{2m+1}, E_6 and dihedral groups I_2 (2k+1) and that the standard action has no a…
We provide involutory symmetric generating sets of finitely generated Coxeter groups, fulfilling a suitable finiteness condition, which in particular is fulfilled in the finite, affine and compact hyperbolic cases.
The purpose of this article is to shed new light on the combinatorial structure of Kazhdan-Lusztig cells in infinite Coxeter groups $W$. Our main focus is the set $\D$ of distinguished involutions in $W$, which was introduced by Lusztig in one of his first papers on cells in affine Weyl groups. We conjecture that the set $\D$ has a simple recursive structure and can be enumerated algorithmically starting from the distinguished involutions of finite Coxeter groups. Moreover, to each element of $\D$ we assign an explicitly defined set of equivalence relations on $W$ that altogether conjecturally…
We prove the $K(π,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 associate…
In this paper, we establish a bijection between the infinite reduced words of an affine Weyl group and certain biclosed sets of its positive system and determine all finitely generated biclosed sets in the positive system of an affine Weyl group. Using these results, we show first that the biclosed sets in the standard positive system of rank 3 affine Weyl groups when ordered by inclusion form a complete algebraic ortholattice and secondly that the (generalized) braid graphs of those Coxeter groups are connected, which can be thought of as an infinite version of Tit's solution to the word prob…
In this sixth part we study rank $3$ reflection groups not well generated: $G(2r,r,2)$, $G_{12}$, $G_{13}$ and $G_{22}$. We start from a reflection representation of a rank $3$ Coxeter group and we show that we can obtain in this manner affine Coxeter groups whose linear part is one of the preceding groups.
We study $c$-preprojective roots for a Coxeter element $c$ of infinite Coxeter group $W$. In particular, we consider the case when any positive root is $c$-preprojective for some Coxeter element $c$. In this paper, by assuming that the Coxeter graph of $W$ is cyclic, we establish that any positive root is $c$-preprojective for some Coxeter element $c$ if and only if $W$ is an affine Coxeter group.
