Finite complex reflection arrangements are \(K(\pi,1)\). (English) Zbl 1372.20036

Bessis, David

Ann. Math. (2) 181, No. 3, 809-904 (2015).

Summary: Let \(V\) be a finite dimensional complex vector space and \(W\subseteq \mathrm{GL}(V)\) be a finite complex reflection group. Let \(V^{\mathrm{reg}}\) be the complement in \(V\) of the reflecting hyperplanes. We prove that \(V^{\mathrm{reg}}\) is a \(K(\pi,1)\) space. This was predicted by a classical conjecture, originally stated by E. Brieskorn [Invent. Math. 12, 57–61 (1971; Zbl 0204.56502)] for complexified real reflection groups. The complexified real case follows from a theorem of P. Deligne [ibid. 17, 273–302 (1972; Zbl 0238.20034)] and, after contributions by T. Nakamura [Sci. Pap. Coll. Arts Sci., Univ. Tokyo 33, 1–6 (1983; Zbl 0524.20027)] and P. Orlik and L. Solomon [Nagoya Math. J. 109, 23–45 (1988; Zbl 0614.20032)], only six exceptional cases remained open. In addition to solving these six cases, our approach is applicable to most previously known cases, including complexified real groups for which we obtain a new proof, based on new geometric objects. We also address a number of questions about \(\pi_1(W\backslash V^{\mathrm{reg}})\), the braid group of \(W\). This includes a description of periodic elements in terms of a braid analog of T. A. Springer’s theory of regular elements [Invent. Math. 25, 159–198 (1974; Zbl 0287.20043)].

MSC:

20F55	Reflection and Coxeter groups (group-theoretic aspects)
32S22	Relations with arrangements of hyperplanes
20F36	Braid groups; Artin groups
51F15	Reflection groups, reflection geometries
05E15	Combinatorial aspects of groups and algebras (MSC2010)
05A18	Partitions of sets

Keywords:

braid groups; complex reflection groups; hyperplane arrangements; noncrossing partitions

Citations:

Zbl 0204.56502; Zbl 0238.20034; Zbl 0524.20027; Zbl 0614.20032; Zbl 0287.20043

References:

[1]	. C. Athanasiadis and V. Reiner, ”Noncrossing partitions for the group \(D_n\),” SIAM J. Discrete Math., vol. 18, iss. 2, pp. 397-417, 2004. · Zbl 1085.06001
[2]	D. Bessis, ”Zariski theorems and diagrams for braid groups,” Invent. Math., vol. 145, iss. 3, pp. 487-507, 2001. · Zbl 1034.20033
[3]	D. Bessis, ”The dual braid monoid,” Ann. Sci. École Norm. Sup., vol. 36, iss. 5, pp. 647-683, 2003. · Zbl 1064.20039
[4]	D. Bessis, ”A dual braid monoid for the free group,” J. Algebra, vol. 302, iss. 1, pp. 55-69, 2006. · Zbl 1181.20049
[5]	D. Bessis, Garside categories, periodic loops and cyclic sets, 2006.
[6]	D. Bessis and R. Corran, ”Non-crossing partitions of type \((e,e,r)\),” Adv. Math., vol. 202, iss. 1, pp. 1-49, 2006. · Zbl 1128.20024
[7]	D. Bessis, F. Digne, and J. Michel, ”Springer theory in braid groups and the Birman-Ko-Lee monoid,” Pacific J. Math., vol. 205, iss. 2, pp. 287-309, 2002. · Zbl 1056.20023
[8]	D. Bessis and J. Michel, ”Explicit presentations for exceptional braid groups,” Experiment. Math., vol. 13, iss. 3, pp. 257-266, 2004. · Zbl 1092.20033
[9]	D. Bessis and V. Reiner, ”Cyclic sieving of noncrossing partitions for complex reflection groups,” Ann. Comb., vol. 15, iss. 2, pp. 197-222, 2011. · Zbl 1268.20041
[10]	M. Bestvina, ”Non-positively curved aspects of Artin groups of finite type,” Geom. Topol., vol. 3, pp. 269-302, 1999. · Zbl 0998.20034
[11]	J. Birman, K. H. Ko, and S. J. Lee, ”A new approach to the word and conjugacy problems in the braid groups,” Adv. Math., vol. 139, iss. 2, pp. 322-353, 1998. · Zbl 0937.20016
[12]	M. Bökstedt, W. C. Hsiang, and I. Madsen, ”The cyclotomic trace and algebraic \(K\)-theory of spaces,” Invent. Math., vol. 111, iss. 3, pp. 465-539, 1993. · Zbl 0804.55004
[13]	T. Brady, ”A partial order on the symmetric group and new \(K(\pi,1)\)’s for the braid groups,” Adv. Math., vol. 161, iss. 1, pp. 20-40, 2001. · Zbl 1011.20040
[14]	T. Brady and C. Watt, ”\(K(\pi,1)\)’s for Artin groups of finite type,” in Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I, 2002, pp. 225-250. · Zbl 1053.20034
[15]	T. Brady and C. Watt, ”Non-crossing partition lattices in finite real reflection groups,” Trans. Amer. Math. Soc., vol. 360, iss. 4, pp. 1983-2005, 2008. · Zbl 1187.20051
[16]	E. Brieskorn, ”Die Fundamentalgruppe des Raumes der regulären Orbits einer endlichen komplexen Spiegelungsgruppe,” Invent. Math., vol. 12, pp. 57-61, 1971. · Zbl 0204.56502
[17]	E. Brieskorn, ”Sur les groupes de tresses [d’après V. I. Arnol\cprime d],” in Séminaire Bourbaki, 24ème année (1971/1972), Exp. No. 401, New York: Springer-Verlag, 1973, vol. 317, pp. 21-44. · Zbl 0277.55003
[18]	M. Broué, ”Reflection groups, braid groups, Hecke algebras, finite reductive groups,” in Current Developments in Mathematics, 2000, Somerville, MA: Int. Press, 2001, pp. 1-107.
[19]	M. Broué, Introduction to Complex Reflection Groups and their Braid Groups, New York: Springer-Verlag, 2010, vol. 1988. · Zbl 1196.20045
[20]	M. Broué, G. Malle, and R. Rouquier, ”Complex reflection groups, braid groups, Hecke algebras,” J. Reine Angew. Math., vol. 500, pp. 127-190, 1998. · Zbl 0921.20046
[21]	M. Broué and J. Michel, ”Sur certains éléments réguliers des groupes de Weyl et les variétés de Deligne-Lusztig associées,” in Finite Reductive Groups, Birkhäuser, Boston, 1997, vol. 141, pp. 73-139. · Zbl 1029.20500
[22]	F. Chapoton, ”Enumerative properties of generalized associahedra,” Sém. Lothar. Combin., vol. 51, p. 51, 2004/05. · Zbl 1160.05342
[23]	R. Charney, J. Meier, and K. Whittlesey, ”Bestvina’s normal form complex and the homology of Garside groups,” Geom. Dedicata, vol. 105, pp. 171-188, 2004. · Zbl 1064.20044
[24]	A. Connes, ”Cohomologie cyclique et foncteurs \({ Ext}^n\),” C. R. Acad. Sci. Paris Sér. I Math., vol. 296, iss. 23, pp. 953-958, 1983. · Zbl 0534.18009
[25]	W. Couwenberg, G. Heckman, and E. Looijenga, ”Geometric structures on the complement of a projective arrangement,” Publ. Math. Inst. Hautes Études Sci., vol. 101, pp. 69-161, 2005. · Zbl 1083.14039
[26]	P. Dehornoy, ”Groupes de Garside,” Ann. Sci. École Norm. Sup., vol. 35, iss. 2, pp. 267-306, 2002. · Zbl 1017.20031
[27]	P. Dehornoy and L. Paris, ”Gaussian groups and Garside groups, two generalisations of Artin groups,” Proc. London Math. Soc., vol. 79, iss. 3, pp. 569-604, 1999. · Zbl 1030.20021
[28]	P. Dehornoy, F. Digne, E. Godelle, D. Krammer, and J. Michel, Foundations of Garside Theory. · Zbl 1370.20001
[29]	J. Denef and F. Loeser, ”Regular elements and monodromy of discriminants of finite reflection groups,” Indag. Math., vol. 6, iss. 2, pp. 129-143, 1995. · Zbl 0832.32019
[30]	P. Deligne, ”Les immeubles des groupes de tresses généralisés,” Invent. Math., vol. 17, pp. 273-302, 1972. · Zbl 0238.20034
[31]	P. Deligne.
[32]	F. Digne and J. Michel, ”Endomorphisms of Deligne-Lusztig varieties,” Nagoya Math. J., vol. 183, pp. 35-103, 2006. · Zbl 1119.20008
[33]	E. Fadell and L. Neuwirth, ”Configuration spaces,” Math. Scand., vol. 10, pp. 111-118, 1962. · Zbl 0136.44104
[34]	W. Fulton, Intersection Theory, Second ed., New York: Springer-Verlag, 1998, vol. 2. · Zbl 0885.14002
[35]	F. A. Garside, ”The braid group and other groups,” Quart. J. Math. Oxford Ser., vol. 20, pp. 235-254, 1969. · Zbl 0194.03303
[36]	A. Hatcher, Algebraic Topology, Cambridge: Cambridge Univ. Press, 2002. · Zbl 1044.55001
[37]	B. von Kerékjártó, ”Über die periodischen Transformationen der Kreisscheibe und der Kugelfläche,” Math. Ann., vol. 80, iss. 1, pp. 36-38, 1919. · JFM 47.0526.05
[38]	D. Krammer, ”A class of Garside groupoid structures on the pure braid group,” Trans. Amer. Math. Soc., vol. 360, iss. 8, pp. 4029-4061, 2008. · Zbl 1194.20040
[39]	. C. Krattenthaler and T. Müller, ”Cyclic sieving for generalised non-crossing partitions associated with complex reflection groups of exceptional type,” in Advances in Combinatorics, et al. Kotsireas I. S., Ed., , 2013, pp. 209-247. · Zbl 1271.05102
[40]	G. I. Lehrer and J. Michel, ”Invariant theory and eigenspaces for unitary reflection groups,” C. R. Math. Acad. Sci. Paris, vol. 336, iss. 10, pp. 795-800, 2003. · Zbl 1056.13007
[41]	G. I. Lehrer and T. A. Springer, ”Intersection multiplicities and reflection subquotients of unitary reflection groups. I,” in Geometric Group Theory Down Under, Berlin: de Gruyter, 1999, pp. 181-193. · Zbl 0945.51005
[42]	E. Looijenga, ”The complement of the bifurcation variety of a simple singularity,” Invent. Math., vol. 23, pp. 105-116, 1974. · Zbl 0278.32008
[43]	S. Mac Lane, Categories for the Working Mathematician, Second ed., New York: Springer-Verlag, 1998, vol. 5. · Zbl 0906.18001
[44]	T. Nakamura, ”A note on the \(K(\pi ,\,1)\) property of the orbit space of the unitary reflection group \(G(m,\,l,\,n)\),” Sci. Papers College Arts Sci. Univ. Tokyo, vol. 33, iss. 1, pp. 1-6, 1983. · Zbl 0524.20027
[45]	P. Orlik and L. Solomon, ”Unitary reflection groups and cohomology,” Invent. Math., vol. 59, iss. 1, pp. 77-94, 1980. · Zbl 0452.20050
[46]	P. Orlik and L. Solomon, ”Discriminants in the invariant theory of reflection groups,” Nagoya Math. J., vol. 109, pp. 23-45, 1988. · Zbl 0614.20032
[47]	P. Orlik and H. Terao, Arrangements of Hyperplanes, New York: Springer-Verlag, 1992, vol. 300. · Zbl 0757.55001
[48]	V. Reiner, ”Non-crossing partitions for classical reflection groups,” Discrete Math., vol. 177, iss. 1-3, pp. 195-222, 1997. · Zbl 0892.06001
[49]	V. Ripoll, ”Orbites d’Hurwitz des factorisations primitives d’un élément de Coxeter,” J. Algebra, vol. 323, iss. 5, pp. 1432-1453, 2010. · Zbl 1223.20031
[50]	K. Saito, ”On a linear structure of the quotient variety by a finite reflexion group,” Publ. Res. Inst. Math. Sci., vol. 29, iss. 4, pp. 535-579, 1993. · Zbl 0828.15002
[51]	K. Saito, ”Uniformization of the orbifold of a finite reflection group,” in Frobenius Manifolds, Wiesbaden: Vieweg, 2004, vol. E36, pp. 265-320. · Zbl 1102.32016
[52]	K. Saito, ”Polyhedra dual to the Weyl chamber decomposition: a précis,” Publ. Res. Inst. Math. Sci., vol. 40, iss. 4, pp. 1337-1384, 2004. · Zbl 1086.14048
[53]	T. A. Springer, ”Regular elements of finite reflection groups,” Invent. Math., vol. 25, pp. 159-198, 1974. · Zbl 0287.20043
[54]	G. C. Shephard and J. A. Todd, ”Finite unitary reflection groups,” Canadian J. Math., vol. 6, pp. 274-304, 1954. · Zbl 0055.14305
[55]	O. V. Shvartsman, ”Torsion in the quotient group of the Artin-Brieskorn braid group with respect to the center, and regular Springer numbers,” Funktsional. Anal. i Prilozhen., vol. 30, iss. 1, pp. 39-46, 96, 1996. · Zbl 0878.20026