Eigenspace arrangements of reflection groups
HTML articles powered by AMS MathViewer
- by Alexander R. Miller PDF
- Trans. Amer. Math. Soc. 367 (2015), 8543-8578 Request permission
Abstract:
The lattice of intersections of reflecting hyperplanes of a complex reflection group $W$ may be considered as the poset of $1$-eigenspaces of the elements of $W$. In this paper we replace $1$ with an arbitrary eigenvalue and study the topology and homology representation of the resulting poset. After posing the main question of whether this poset is shellable, we show that all its upper intervals are geometric lattices and then answer the question in the affirmative for the infinite family $G(m,p,n)$ of complex reflection groups, and the first 31 of the 34 exceptional groups, by constructing CL-shellings. In addition, we completely determine when these eigenspaces of $W$ form a $K(\pi ,1)$ (resp. free) arrangement.
For the symmetric group, we also extend the combinatorial model available for its intersection lattice to all other eigenvalues by introducing balanced partition posets, presented as particular upper order ideals of Dowling lattices, study the representation afforded by the top (co)homology group, and give a simple map to the posets of pointed $d$-divisible partitions.
References
- Nantel Bergeron, A hyperoctahedral analogue of the free Lie algebra, J. Combin. Theory Ser. A 58 (1991), no. 2, 256–278. MR 1129117, DOI 10.1016/0097-3165(91)90061-K
- David Bessis, Finite complex reflection arrangements are $K(\pi ,1)$, Ann. of Math. (2) 181 (2015), no. 3, 809–904. MR 3296817, DOI 10.4007/annals.2015.181.3.1
- Anders Björner, Subspace arrangements, First European Congress of Mathematics, Vol. I (Paris, 1992) Progr. Math., vol. 119, Birkhäuser, Basel, 1994, pp. 321–370. MR 1341828
- A. Björner, Topological methods, Handbook of combinatorics, Vol. 1, 2, Elsevier Sci. B. V., Amsterdam, 1995, pp. 1819–1872. MR 1373690
- Anders Björner and Michelle Wachs, On lexicographically shellable posets, Trans. Amer. Math. Soc. 277 (1983), no. 1, 323–341. MR 690055, DOI 10.1090/S0002-9947-1983-0690055-6
- Anders Björner and Michelle L. Wachs, Shellable nonpure complexes and posets. II, Trans. Amer. Math. Soc. 349 (1997), no. 10, 3945–3975. MR 1401765, DOI 10.1090/S0002-9947-97-01838-2
- Anders Björner and Volkmar Welker, The homology of “$k$-equal” manifolds and related partition lattices, Adv. Math. 110 (1995), no. 2, 277–313. MR 1317619, DOI 10.1006/aima.1995.1012
- Michel Broué, Reflection groups, braid groups, Hecke algebras, finite reductive groups, Current developments in mathematics, 2000, Int. Press, Somerville, MA, 2001, pp. 1–107. MR 1882533
- A. R. Calderbank, P. Hanlon, and R. W. Robinson, Partitions into even and odd block size and some unusual characters of the symmetric groups, Proc. London Math. Soc. (3) 53 (1986), no. 2, 288–320. MR 850222, DOI 10.1112/plms/s3-53.2.288
- M. Davis, T. Januszkiewicz, and R. Scott, Nonpositive curvature of blow-ups, Selecta Math. (N.S.) 4 (1998), no. 4, 491–547. MR 1668119, DOI 10.1007/s000290050039
- Pierre Deligne, Les immeubles des groupes de tresses généralisés, Invent. Math. 17 (1972), 273–302 (French). MR 422673, DOI 10.1007/BF01406236
- T. A. Dowling, A class of geometric lattices based on finite groups, J. Combinatorial Theory Ser. B 14 (1973), 61–86. MR 307951, DOI 10.1016/s0095-8956(73)80007-3
- Richard Ehrenborg and JiYoon Jung, The topology of restricted partition posets, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), Discrete Math. Theor. Comput. Sci. Proc., AO, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2011, pp. 281–292 (English, with English and French summaries). MR 2820717
- Edward Fadell and Lee Neuwirth, Configuration spaces, Math. Scand. 10 (1962), 111–118. MR 141126, DOI 10.7146/math.scand.a-10517
- Mark Goresky and Robert MacPherson, Stratified Morse theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 14, Springer-Verlag, Berlin, 1988. MR 932724, DOI 10.1007/978-3-642-71714-7
- Eric Gottlieb and Michelle L. Wachs, Cohomology of Dowling lattices and Lie (super)algebras, Adv. in Appl. Math. 24 (2000), no. 4, 301–336. MR 1761776, DOI 10.1006/aama.1999.0670
- Phil Hanlon, The fixed-point partition lattices, Pacific J. Math. 96 (1981), no. 2, 319–341. MR 637975, DOI 10.2140/pjm.1981.96.319
- Phil Hanlon, The characters of the wreath product group acting on the homology groups of the Dowling lattices, J. Algebra 91 (1984), no. 2, 430–463. MR 769584, DOI 10.1016/0021-8693(84)90113-3
- André Joyal, Foncteurs analytiques et espèces de structures, Combinatoire énumérative (Montreal, Que., 1985/Quebec, Que., 1985) Lecture Notes in Math., vol. 1234, Springer, Berlin, 1986, pp. 126–159 (French). MR 927763, DOI 10.1007/BFb0072514
- Mikhail Khovanov, Real $K(\pi ,1)$ arrangements from finite root systems, Math. Res. Lett. 3 (1996), no. 2, 261–274. MR 1386845, DOI 10.4310/MRL.1996.v3.n2.a11
- A. A. Klyachko, Lie elements in the tensor algebra, Siberian Math. J. 15 (1974), 914–920.
- G. I. Lehrer and Louis Solomon, On the action of the symmetric group on the cohomology of the complement of its reflecting hyperplanes, J. Algebra 104 (1986), no. 2, 410–424. MR 866785, DOI 10.1016/0021-8693(86)90225-5
- G. I. Lehrer and T. A. Springer, Intersection multiplicities and reflection subquotients of unitary reflection groups. I, Geometric group theory down under (Canberra, 1996) de Gruyter, Berlin, 1999, pp. 181–193. MR 1714845
- G. I. Lehrer and T. A. Springer, Reflection subquotients of unitary reflection groups, Canad. J. Math. 51 (1999), no. 6, 1175–1193. Dedicated to H. S. M. Coxeter on the occasion of his 90th birthday. MR 1756877, DOI 10.4153/CJM-1999-052-4
- Gustav I. Lehrer and Donald E. Taylor, Unitary reflection groups, Australian Mathematical Society Lecture Series, vol. 20, Cambridge University Press, Cambridge, 2009. MR 2542964
- Heinrich Maschke, Aufstellung des vollen Formensystems einer quaternären Gruppe von 51840 linearen Substitutionen, Math. Ann. 33 (1889), no. 3, 317–344 (German). MR 1510546, DOI 10.1007/BF01443964
- James R. Munkres, Topological results in combinatorics, Michigan Math. J. 31 (1984), no. 1, 113–128. MR 736476, DOI 10.1307/mmj/1029002969
- Tokushi 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 33 (1983), no. 1, 1–6. MR 714667
- Peter Orlik and Louis Solomon, Unitary reflection groups and cohomology, Invent. Math. 59 (1980), no. 1, 77–94. MR 575083, DOI 10.1007/BF01390316
- Peter Orlik and Louis Solomon, Discriminants in the invariant theory of reflection groups, Nagoya Math. J. 109 (1988), 23–45. MR 931949, DOI 10.1017/S0027763000002749
- Peter Orlik and Hiroaki Terao, Arrangements of hyperplanes, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 300, Springer-Verlag, Berlin, 1992. MR 1217488, DOI 10.1007/978-3-662-02772-1
- Daniel Quillen, Homotopy properties of the poset of nontrivial $p$-subgroups of a group, Adv. in Math. 28 (1978), no. 2, 101–128. MR 493916, DOI 10.1016/0001-8708(78)90058-0
- Bruce E. Sagan, Shellability of exponential structures, Order 3 (1986), no. 1, 47–54. MR 850397, DOI 10.1007/BF00403409
- G. C. Shephard and J. A. Todd, Finite unitary reflection groups, Canad. J. Math. 6 (1954), 274–304. MR 59914, DOI 10.4153/cjm-1954-028-3
- T. A. Springer, Regular elements of finite reflection groups, Invent. Math. 25 (1974), 159–198. MR 354894, DOI 10.1007/BF01390173
- Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282, DOI 10.1017/CBO9780511609589
- Richard P. Stanley, Exponential structures, Stud. Appl. Math. 59 (1978), no. 1, 73–82. MR 0480063, DOI 10.1002/sapm197859173
- Richard P. Stanley, Some aspects of groups acting on finite posets, J. Combin. Theory Ser. A 32 (1982), no. 2, 132–161. MR 654618, DOI 10.1016/0097-3165(82)90017-6
- Robert Steinberg, Differential equations invariant under finite reflection groups, Trans. Amer. Math. Soc. 112 (1964), 392–400. MR 167535, DOI 10.1090/S0002-9947-1964-0167535-3
- Sheila Sundaram, The homology representations of the symmetric group on Cohen-Macaulay subposets of the partition lattice, Adv. Math. 104 (1994), no. 2, 225–296. MR 1273390, DOI 10.1006/aima.1994.1030
- Sheila Sundaram and Volkmar Welker, Group actions on arrangements of linear subspaces and applications to configuration spaces, Trans. Amer. Math. Soc. 349 (1997), no. 4, 1389–1420. MR 1340186, DOI 10.1090/S0002-9947-97-01565-1
- Garrett Smith Sylvester, CONTINUOUS-SPIN ISING FERROMAGNETS, ProQuest LLC, Ann Arbor, MI, 1976. Thesis (Ph.D.)–Massachusetts Institute of Technology. MR 2940687
- Hiroaki Terao, Free arrangements of hyperplanes and unitary reflection groups, Proc. Japan Acad. Ser. A Math. Sci. 56 (1980), no. 8, 389–392. MR 596011
- Michelle L. Wachs, A basis for the homology of the $d$-divisible partition lattice, Adv. Math. 117 (1996), no. 2, 294–318. MR 1371655, DOI 10.1006/aima.1996.0014
- Michelle L. Wachs, Poset topology: tools and applications, Geometric combinatorics, IAS/Park City Math. Ser., vol. 13, Amer. Math. Soc., Providence, RI, 2007, pp. 497–615. MR 2383132, DOI 10.1090/pcms/013/09
- James W. Walker, Canonical homeomorphisms of posets, European J. Combin. 9 (1988), no. 2, 97–107. MR 939858, DOI 10.1016/S0195-6698(88)80033-7
Additional Information
- Alexander R. Miller
- Affiliation: School of Mathematics, University of Minnesota, Minneapolis, Minnesota 55455
- Address at time of publication: Department of Mathematics, University of Illinois at Urbana-Champaign, Urbana, Illinois 61801
- Email: arm@illinois.edu
- Received by editor(s): March 16, 2013
- Received by editor(s) in revised form: October 14, 2013, and October 15, 2013
- Published electronically: April 23, 2015
- © Copyright 2015 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 367 (2015), 8543-8578
- MSC (2010): Primary 20F55, 05E10, 05E18, 55P20, 14N20
- DOI: https://doi.org/10.1090/tran/6337
- MathSciNet review: 3403065