On Coxeter diagrams of complex reflection groups

Author:
Tathagata Basak

Journal:
Trans. Amer. Math. Soc. **364** (2012), 4909-4936

MSC (2010):
Primary 20F55, 20F05, 20F65, 51F25

DOI:
https://doi.org/10.1090/S0002-9947-2012-05517-6

Published electronically:
April 25, 2012

MathSciNet review:
2922614

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We study Coxeter diagrams of some unitary reflection groups. Using solely the combinatorics of diagrams, we give a new proof of the classification of root lattices defined over : there are only four such lattices, namely, the -lattices whose real forms are , , and . Next, we address the issue of characterizing the diagrams for unitary reflection groups, a question that was raised by Broué, Malle and Rouquier. To this end, we describe an algorithm which, given a unitary reflection group , picks out a set of complex reflections. The algorithm is based on an analogy with Weyl groups. If is a Weyl group, the algorithm immediately yields a set of simple roots. Experimentally, we observe that if is primitive and has a set of roots whose -span is a discrete subset of the ambient vector space, then the algorithm selects a minimal generating set for . The group has a presentation on these generators such that if we forget that the generators have finite order, then we get a (Coxeter-like) presentation of the corresponding braid group. For some groups, such as and , new diagrams are obtained. For , our new diagram extends to an ``affine diagram'' with symmetry.

**[1]**Daniel Allcock,*On the 𝑌₅₅₅ complex reflection group*, J. Algebra**322**(2009), no. 5, 1454–1465. MR**2543618**, https://doi.org/10.1016/j.jalgebra.2009.05.027**[2]**Tathagata Basak,*Complex reflection groups and Dynkin diagrams*, ProQuest LLC, Ann Arbor, MI, 2006. Thesis (Ph.D.)–University of California, Berkeley. MR**2709948****[3]**Tathagata Basak,*The complex Lorentzian Leech lattice and the Bimonster*, J. Algebra**309**(2007), no. 1, 32–56. MR**2301231**, https://doi.org/10.1016/j.jalgebra.2006.05.033**[4]**D. Bessis,*Finite complex reflection arrangements are*, Preprint, arXiv:math.GT/0610777.**[5]**David Bessis and Jean Michel,*Explicit presentations for exceptional braid groups*, Experiment. Math.**13**(2004), no. 3, 257–266. MR**2103323****[6]**Michel Broué, Gunter Malle, and Raphaël Rouquier,*Complex reflection groups, braid groups, Hecke algebras*, J. Reine Angew. Math.**500**(1998), 127–190. MR**1637497****[7]**Arjeh M. Cohen,*Finite complex reflection groups*, Ann. Sci. École Norm. Sup. (4)**9**(1976), no. 3, 379–436. MR**0422448****[8]**John H. Conway and Christopher S. Simons,*26 implies the Bimonster*, J. Algebra**235**(2001), no. 2, 805–814. MR**1805481**, https://doi.org/10.1006/jabr.2000.8494**[9]**J. H. Conway, N. Sloane,*Sphere Packings, Lattices and Groups 3rd ed.*, Springer-Verlag (1998).**[10]**H. S. M. Coxeter,*Finite groups generated by unitary reflections*, Abh. Math. Sem. Univ. Hamburg**31**(1967), 125–135. MR**0230800**, https://doi.org/10.1007/BF02992390**[11]**M. C. Hughes,*Complex reflection groups*, Comm. Algebra**18**(1990), no. 12, 3999–4029. MR**1084439**, https://doi.org/10.1080/00927879008824120**[12]**Peter Orlik and Louis Solomon,*Unitary reflection groups and cohomology*, Invent. Math.**59**(1980), no. 1, 77–94. MR**575083**, https://doi.org/10.1007/BF01390316**[13]**G. C. Shephard and J. A. Todd,*Finite unitary reflection groups*, Canadian J. Math.**6**(1954), 274–304. MR**0059914**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2010):
20F55,
20F05,
20F65,
51F25

Retrieve articles in all journals with MSC (2010): 20F55, 20F05, 20F65, 51F25

Additional Information

**Tathagata Basak**

Affiliation:
Department of Mathematics, Iowa State University, Carver Hall, Ames, Iowa 50011

Email:
tathastu@gmail.com

DOI:
https://doi.org/10.1090/S0002-9947-2012-05517-6

Keywords:
Unitary reflection group,
Coxeter diagram,
Weyl group,
simple root

Received by editor(s):
September 25, 2009

Received by editor(s) in revised form:
July 27, 2010, and December 3, 2010

Published electronically:
April 25, 2012

Article copyright:
© Copyright 2012
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.