Generalized Noncrossing Partitions and Combinatorics of Coxeter Groups Drew Armstrong Author address: Department of Mathematics, Cornell University, Ithaca, New York 14853 Current address: School of Mathematics, University of Minnesota, Minneapolis, Minnesota 55455 E-mail address: [email protected] arXiv:math/0611106v2 [math.CO] 18 Oct 2007 For Moira. Contents Abstract ix Acknowledgements xi Chapter 1. Introduction 1 1.1. Coxeter-Catalan Combinatorics 1 1.2. Noncrossing Motivation 6 1.3. Outline of the Memoir 9 Chapter 2. Coxeter Groups and Noncrossing Partitions 13 2.1. Coxeter Systems 13 2.2. Root Systems 16 2.3. Reduced Words and Weak Order 19 2.4. Absolute Order 22 2.5. Shifting and Local Self-Duality 26 2.6. Coxeter Elements and Noncrossing Partitions 29 2.7. InvariantTheoryandCatalanNumbers 35 Chapter 3. k-Divisible Noncrossing Partitions 41 3.1. Minimal Factorizations 41 3.2. Multichains and Delta Sequences 42 3.3. Definition of k-Divisible Noncrossing Partitions 46 3.4. Basic Properties of k-Divisible Noncrossing Partitions 48 3.5. Fuss-Catalan and Fuss-Narayana Numbers 59 3.6. The Iterated Construction and Chain Enumeration 66 3.7. Shellability and Euler Characteristics 72 Chapter 4. The Classical Types 81 4.1. Classical Noncrossing Partitions 81 4.2. TheClassicalKrewerasComplement 87 4.3. Classical k-Divisible Noncrossing Partitions 92 4.4. Type A 102 4.5. Type B 104 4.6. Type D 111 Chapter 5. Fuss-Catalan Combinatorics 115 5.1. Nonnesting Partitions 115 5.2. Cluster Complexes 128 5.3. Chapoton Triangles 143 5.4. Future Directions 147 vii viii CONTENTS Bibliography 155 Abstract This memoir is a refinement of the author’s PhD thesis — written at Cornell University (2006). It is primarily a desription of new research but we have also included a substantial amount of background material. At the heart of the memoir we introduce and study a poset NC(k)(W ) for each finite Coxeter group W and each positive integer k. When k = 1, our definition coincides with the generalized noncrossing partitions introduced by Brady and Watt [38] and Bessis [19]. When W is the symmetric group, we obtain the poset of classical k-divisible noncrossing partitions, first studied by Edelman [57]. In general, we show that NC(k)(W ) is a graded join-semilattice whose elements are counted by a generalized “Fuss-Catalan number” Cat(k)(W ) which has a nice closed formula in terms of the degrees of basic invariants of W . We show that this poset is locally self-dual and we also compute the number of multichains in NC(k)(W ), encoded by the zeta polynomial. We show that the order complex of the poset is shellable (hence Cohen-Macaulay) and we compute its homotopy type. Finally, we show that the rank numbers of NC(k)(W ) are polynomials in k with nonzero rational coefficients alternating in sign. This defines a new family of polynomials (called “Fuss-Narayana”) associated to the pair (W, k). We observe some interesting properties of these polynomials. In the case that W is a classical Coxeter group of type A or B, we show that NC(k)(W ) is isomorphic to a poset of “noncrossing” set partitions in which each block has size divisible by k. This motivates our general use of the term “k-divisible noncrossing partitions” for the poset NC(k)(W ). In types A and B we prove “rank- selection” and “type-selection” formulas refining the enumeration of multichains in NC(k)(W ). We also describe bijections relating multichains of classical noncrossing partitions to “k-divisible” and “k-equal” noncrossing partitions. Our main tool is the family of Kreweras complement maps. Along the way we include a comprehensive introduction to related background material. Before defining our generalization NC(k)(W ), we develop from scratch the theory of the generalized noncrossing partitions NC(1)(W ) as defined by Brady and Watt [38] and Bessis [19]. This involves studying a finite Coxeter group W with respect to its generating set T of all reflections, instead of the usual Coxeter generating set S. This is the first time that this material has appeared together. Finally, it turns out that our poset NC(k)(W ) shares many enumerative features in common with the generalized nonnesting partitions of Athanasiadis [4, 5] and the generalized cluster complexes of Fomin and Reading [61]. We give a basic introduction to these topics and we make several conjectures relating these three families of “Fuss-Catalan objects”. ix Acknowledgements This work has taken several years and gone through several phases to arrive in its present form. The following people have contributed along the way; they deserve my sincerest thanks. First, I thank Lou Billera, my advisor at Cornell University, under whose guid- ance the original draft [2] was written. I thank my wife Heather for her thorough reading of the manuscript and for helpful mathematical discussions. Thanks to the anonymous referee for many valuable suggestions. And thanks to Hugh Thomas who made several contributions to my understanding; in particular, he suggested the proof of Theorem 3.7.2. I have benefitted from valuable conversations with many mathematicians; their suggestions have improved this memoir in countless ways. Thanks to: (in alphabet- ical order) Christos Athanasiadis, David Bessis, Tom Brady, Ken Brown, Fr´ed´eric Chapoton, Sergey Fomin, Christian Krattenthaler, Cathy Kriloff, Jon McCam- mond, Nathan Reading, Vic Reiner and Eleni Tzanaki. I would especially like to thank Christian Krattenthaler for his close attention to the manuscript and for his subsequent mathematical contributions [84, 85, 86, 87]. Thank you to the American Institute of Mathematics, Palo Alto, and to the organizers — Jon McCammond, Alexandru Nica and Vic Reiner — of the January 2005 conference [1] at which I was able to meet many of the above-named researchers for the first time. Thanks also to John Stembridge for the use of his software packages posets and coxeter for Maple [128]. Finally, I thank the people who introduced me to noncrossing partitions. My first research experience was under the supervision of Roland Speicher at Queen’s University. His papers on noncrossing partitions, as well as those of Paul Edel- man and Rodica Simion, inspired me to look further. In particular, I thank Paul Edelman for his encouragement and advice. xi CHAPTER 1 Introduction The main purpose of this memoir is to communicate new results in the theory of finite Coxeter groups. However, we have also included a great deal of background material, which we hope will serve as a reference and a foothold for further progress in the subject of “Coxeter-Catalan combinatorics”. In this introductory chapter we will sketch our motivations and give an outline of the rest of the memoir. 1.1. Coxeter-Catalan Combinatorics An element of GL(Rn)is a reflection if it sends some nonzero vector α Rn to its negative α and fixes the orthogonal hyperplane α⊥ pointwise. If W is∈ a finite group with a− faithful representation ρ : W ֒ GL(Rn) generated by reflections, we call the pair (W, ρ)a finite real reflection group→ . The main motivation for the study of these groups comes from Lie theory. However, the general notion of symmetries generated by reflections is fundamental in geometry and it predates the notion of “group”. The subject of finite real reflection groups developed through the nineteenth century — notably in the works of M¨obius, Jordan, Schl¨afli, Killing, Cartan, and Weyl — and reached its definitive form with the complete classification [53] by Coxeter in 1935, using the Coxeter diagrams. Coxeter referred to these groups as “reflection groups” throughout his life, but they have commonly been known as finite Coxeter groups since Tits used the term in 1961 [130]. For notes on the history of reflection groups, we refer to Bourbaki [33, Chapter 26] and Coxeter [52, Chapter 11]. We say that a finite reflection group (W, ρ) is reducible if we have W = W ′ W ′′ where W ′ and W ′′ are proper subgroups generated by reflections of (W, ρ×). In this case, ρ decomposes as a direct sum ρ′ ρ′′ of W -representations such that ′ ′ ′′ ′′ ⊕ (W ,ρ W ′ ) and (W ,ρ W ′′ ) are themselves finite reflection groups. If (W, ρ) can- not be| written in this way,| it is irreducible. It turns out that finite reflection groups are completely reducible; thus the problem of classification is to enumerate all of the possible irreducible cases. This has been done [53]. Following the standard Cartan-Killing notation, there are eight families of finite irreducible Coxeter groups denoted by the letters A through I. (B and C denote isomorphic groups, although we will see in Section 2.2 that they possess nonisomorphic “crystallographic root systems”.) A subscript in the notation indicates the rank of the reflection group, which is the dimension of the representation. The finite irreducible Coxeter groups fall into two overlapping classes: the Weyl groups (or the “crystallographic” groups), which stabilize a lattice in Rn; and the groups of symmetries of regular polytopes (see Figure 1.1). This classification is an important landmark in contemporary mathematics; not only does it contain the classification of regular polytopes in Euclidean space, but it is also strongly related 1 2 1. INTRODUCTION Symmetries of Weyl Groups Regular Polytopes I2(m) Dn (n 4) (m =3, 4, 6) ≥ 6 An Bn = Cn E6 H3 (n 3) ≥ E7 H4 F4 E8 I2(3) = A2 I2(4) = B2 I2(6) = G2 Figure 1.1. The finite irreducible Coxeter groups to the classification of semisimple Lie algebras. Due to the importance of Lie theory, it has become standard to refer to a Coxeter group by the letter W for “Weyl”.