Abstract
Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of W associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of W on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer’s regular elements of arbitrary order.
Similar content being viewed by others
Notes
In fact, [30, Theorem 1.3] actually implies the stronger property that \(\varGamma _W\) always acts on the set of W-conjugacy classes.
An imprimitive action is one where there is a nontrivial direct sum decomposition \(V=\oplus _{i=1}^t V_i\) respected by W, in the sense that for each \(w \in W\), there is a permutation \(\sigma \) of \(\{1,2,\ldots ,t\}\) for which \(w(V_i) = V_{\sigma (i)}\).
Private communication with C. Stump at the conference Hyperplane Arrangements: combinatorial and geometric aspects of the DFG Priority Programms “Representation Theory” and “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory”, February 2013 in Bochum, Germany.
One can observe on the classification (see e.g. [25, Theorem 7.1]) that for any well-generated group, the field \({\mathbb {Q}}(\zeta )\) already contains \(K_W\); but we do not need this here.
J. Michel informed us that the following more general statement can be deduced from considerations in [30]: except for straightforward coincidences, any two irreducible complex reflection groups of different Shephard–Todd types are non-isomorphic as abstract groups.
References
Armstrong, D.: Generalized noncrossing partitions and combinatorics of Coxeter groups. Mem. Amer. Math. Soc. 202(949) (2009). doi:10.1090/S0065-9266-09-00565-1
Björner, A., Brenti, F.: Combinatorics of Coxeter Groups, Volume 231 of Graduate Texts in Mathematics. Springer, New York (2005)
Baumeister, B., Dyer, M., Stump, C., Wegener, P.: A note on the transitive Hurwitz action on decompositions of parabolic Coxeter elements. Proc. Amer. Math. Soc. Ser. B 1, 149–154 (2014)
Benson, D.J.: Polynomial Invariants of Finite Groups. Cambridge University Press, Cambridge (1993). (Number 190)
Bessis, D.: The dual braid monoid. Ann. Sci. École Norm. Sup. (4) 36(5), 647–683 (2003)
Bessis, D.: Finite complex reflection arrangements are \(K(\pi,1)\). Ann. of Math. (2) 181(3), 809–904 (2015)
Baumeister, B., Gobet, T., Roberts, K., Wegener, P.: On the Hurwitz action in finite Coxeter groups. Preprint, available at arXiv:1512.04764, December (2015)
Bessis, D., Michel, J.: Explicit presentations for exceptional braid groups. Exp. Math. 13(3), 257–266 (2004)
Broué, M., Malle, G., Rouquier, R.: On complex reflection groups and their associated braid groups. CMS Conf. Proc. Amer. Math. Soc. 16, 1–13 (1995)
Broué, M., Malle, G., Rouquier, R.: Complex reflection groups, braid groups Hecke algebras. J. Reine Angew. Math. 500, 127–190 (1998)
Bessis, D., Reiner, V.: Cyclic sieving of noncrossing partitions for complex reflection groups. Ann. Comb. 15(2), 197–222 (2011)
Brady, T., Watt, C.: \(K(\pi ,1)\)’s for Artin groups of finite type. In: Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000), vol. 94, pp. 225–250 (2002)
Chevalley, C.: Invariants of finite groups generated by reflections. Amer. J. Math. 77, 778–782 (1955)
Coxeter, H.S.M.: The product of the generators of a finite group generated by reflections. Duke Math. J. 18, 765–782 (1951)
Coxeter, H.S.M.: Finite groups generated by unitary reflections. Abh. Math. Sem. Univ. Hamburg 31, 125–135 (1967)
Coxeter, H.S.M.: Regular Complex Polytopes, 2nd edn. Cambridge University Press, Cambridge (1991)
Chapuy, G., Stump, C.: Counting factorizations of Coxeter elements into products of reflections. J. Lond. Math. Soc. (2) 90(3), 919–939 (2014)
Humphreys, J.E.: Reflection Groups and Coxeter Groups, Volume 29 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1990)
Kane, R.: Reflection Groups and Invariant Theory. CMS Books in Mathematics. Springer, Berlin (2001)
Krattenthaler, C., Müller, T.W.: Cyclic Sieving for Generalised Non-crossing Partitions Associated to Complex Reflection Groups of Exceptional Type. Volume W80, in Memory of Herb Wilf, pp. 209–247. Springer, Berlin (2013)
Koster, D.W.: Complex reflection groups. Ph.D. thesis, University of Wisconsin (1975). MR2625485, available from ProQuest LLC
Lehrer, G.I., Michel, J.: Invariant theory and eigenspaces for unitary reflection groups. C. R. Math. Acad. Sci. Paris 336(10), 795–800 (2003)
Lehrer, G.I., Springer, T.A.: Reflection subquotients of unitary reflection groups. Canad. J. Math. 51, 1175–1193 (1999)
Lehrer, G.I., Taylor, D.E.: Unitary Reflection Groups, Volume 20 of Australian Mathematical Society Lecture Series, vol. 20. Cambridge University Press, Cambridge (2009)
Malle, G.: On the rationality and fake degrees of characters of cyclotomic algebras. J. Math. Sci.-Univ. Tokyo 6(4), 647–678 (1999)
Michel, J.: Data for reflection groups. (2014). www.math.jussieu.fr/jmichel/papiers/table.pdf
Michel, J.: The development version of the CHEVIE package of GAP3. J. Algeb. 435, 308–336 (2015)
Miller, A.R.: Reflection arrangements and ribbon representations. Europ. J. Combin. 39, 24–56 (2014)
Malle, G., Michel, J.: Constructing representations of Hecke algebras for complex reflection groups. LMS J. Comput. Math. 13, 426–450 (2010)
Marin, I., Michel, J.: Automorphisms of complex reflection groups. Represent. Theory 14, 747–788 (2010)
Mühlherr, B.: On isomorphisms between Coxeter groups. Des. Codes Cryptogr. 21(1–3), 189–189 (2000)
Mühle, H.: EL-shellability and noncrossing partitions associated to well-generated complex reflection groups. Europ. J. Combin. 43(C), 249–278 (2015)
Pilaud, V., Stump, C.: Brick polytopes of spherical subword complexes and generalized associahedra. Adv. Math. 276, 1–61 (2015)
Reading, N.: Clusters, Coxeter-sortable elements and noncrossing partitions. Trans. Amer. Math. Soc. 359, 5931–5958 (2007)
Shephard, G.C.: Regular complex polytopes. Proc. Lond. Math. Soc. 3(2), 82–97 (1952)
Springer, T.A.: Regular elements of finite reflection groups. Invent. Math. 25, 159–198 (1974)
Shephard, G.C., Todd, J.A.: Finite unitary reflection groups. Can. J. Math. 6, 274–304 (1954)
Acknowledgments
The authors thank Jean Michel for many helpful discussions during the preparation of this work, as well as Alex Miller, both for helpful conversations and for pointing them to the results in Koster’s thesis [21]. They also thank Vincent Beck, David Bessis, Christian Krattenthaler and Ivan Marin for enlightening discussions on this subject. Finally, they are grateful to Gunter Malle for useful comments on a previous version of this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Victor Reiner was supported by NSF Grant DMS-1001933. Vivien Ripoll was supported by the Austrian Science Foundation FWF, Grants Z130-N13 and F50-N15, the latter in the framework of the Special Research Program “Algorithmic and Enumerative Combinatorics”. Christian Stump was supported by the German Research Foundation DFG, Grant STU 563/2-1 “Coxeter-Catalan combinatorics”.
Rights and permissions
About this article
Cite this article
Reiner, V., Ripoll, V. & Stump, C. On non-conjugate Coxeter elements in well-generated reflection groups. Math. Z. 285, 1041–1062 (2017). https://doi.org/10.1007/s00209-016-1736-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-016-1736-4