On Coxeter diagrams of complex reflection groups
Author:
Tathagata Basak
Journal:
Trans. Amer. Math. Soc. 364 (2012), 49094936
MSC (2010):
Primary 20F55, 20F05, 20F65, 51F25
Published electronically:
April 25, 2012
MathSciNet review:
2922614
Fulltext 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 (Coxeterlike) 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
(2010g:20068), 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
(2008f:20140), 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
(2006b:20051)
 [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
(99m:20088)
 [7]
Arjeh
M. Cohen, Finite complex reflection groups, Ann. Sci.
École Norm. Sup. (4) 9 (1976), no. 3,
379–436. MR 0422448
(54 #10437)
 [8]
John
H. Conway and Christopher
S. Simons, 26 implies the Bimonster, J. Algebra
235 (2001), no. 2, 805–814. MR 1805481
(2001k:20028), 10.1006/jabr.2000.8494
 [9]
J. H. Conway, N. Sloane, Sphere Packings, Lattices and Groups 3rd ed., SpringerVerlag (1998).
 [10]
H.
S. M. Coxeter, Finite groups generated by unitary reflections,
Abh. Math. Sem. Univ. Hamburg 31 (1967), 125–135. MR 0230800
(37 #6358)
 [11]
M.
C. Hughes, Complex reflection groups, Comm. Algebra
18 (1990), no. 12, 3999–4029. MR 1084439
(92a:20056), 10.1080/00927879008824120
 [12]
Peter
Orlik and Louis
Solomon, Unitary reflection groups and cohomology, Invent.
Math. 59 (1980), no. 1, 77–94. MR 575083
(81f:32017), 10.1007/BF01390316
 [13]
G.
C. Shephard and J.
A. Todd, Finite unitary reflection groups, Canadian J. Math.
6 (1954), 274–304. MR 0059914
(15,600b)
 [1]
 D. Allcock, On the complex reflection group, Journal of Algebra 322 (2009), no. 5, 14541465. MR 2543618 (2010g:20068)
 [2]
 T. Basak, Complex reflection groups and Dynkin diagrams, U.C. Berkeley, PhD thesis, 2006. MR 2709948
 [3]
 T. Basak, Complex Lorentzian Leech lattice and bimonster, Journal of Algebra 309 (2007) 3256. MR 2301231 (2008f:20140)
 [4]
 D. Bessis, Finite complex reflection arrangements are , Preprint, arXiv:math.GT/0610777.
 [5]
 D. Bessis, J. Michel, Explicit presentations for exceptional braid groups, Experiment. Math. 13 (2004), no. 3, 257266. MR 2103323 (2006b:20051)
 [6]
 M. Broué, G. Malle, R. Rouquier, Complex reflection groups, braid groups, Hecke algebras, J. Reine Angew. Math. 500 (1998), 127190. MR 1637497 (99m:20088)
 [7]
 A. M. Cohen, Finite complex reflection groups, Ann. Sci. École Norm. Sup. 9 (1976), 379436. MR 0422448 (54:10437)
 [8]
 J. H. Conway, C. S. Simons, implies the bimonster, Journal of Algebra 235 (2001), 805814. MR 1805481 (2001k:20028)
 [9]
 J. H. Conway, N. Sloane, Sphere Packings, Lattices and Groups 3rd ed., SpringerVerlag (1998).
 [10]
 H. S. M. Coxeter, Finite groups generated by unitary reflections, Abh. Math. Sem. Univ. Hamburg 31 (1967), 125135. MR 0230800 (37:6358)
 [11]
 M. C. Hughes, Complex reflection groups, Communications in Algebra, 18(12), (1990) 39994029. MR 1084439 (92a:20056)
 [12]
 P. Orlik, L. Solomon, Unitary reflection groups and cohomology, Invent. Math. 59 (1980) 7794. MR 575083 (81f:32017)
 [13]
 G. C. Shephard, J. A. Todd, Finite unitary reflection groups, Canad. J. Math. 6 (1954), 274304. MR 0059914 (15:600b)
Similar Articles
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:
http://dx.doi.org/10.1090/S000299472012055176
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.
