Abstract
We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially defined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality.
Similar content being viewed by others
References
M. Aguiar, N. Bergeron and F. Sottile, Combinatorial Hopf algebras and generalized Dehn-Sommerville relations, Compositio Mathematica 142 (2006), 1–30.
M. M. Bayer and L. J. Billera, Generalized Dehn-Sommerville relations for polytopes, spheres and Eulerian partially ordered sets, Inventiones Mathematicae 79 (1985), 143–157.
M. M. Bayer and R. Ehrenborg, The toric h-vectors of partially ordered sets, Transactions of the American Mathematical Society 352 (2000), 4515–4531.
M. M. Bayer and A. Klapper, A new index for polytopes, Discrete & Computational Geometry 6 (1991), 33–47.
L. J. Billera and R. Ehrenborg, Monotonicity of the cd-index for polytopes, Mathematische Zeitschrift 233 (2000), 421–441.
L. J. Billera, S. K. Hsiao and S. van Willigenburg, Peak quasisymmetric functions and Eulerian enumeration, Advances in Mathematics 176 (2003), 248–276.
A. Björner and F. Brenti, Combinatorics of Coxeter Groups, Graduate Texts in Mathematics 231, Springer, New York, 2005.
A. Björner and T. Ekedahl, On the shape of Bruhat intervals, Annals of Mathematics 170 (2009), 799–817.
S. A. Blanco, Shortest path poset of Bruhat intervals and the complete cd-index, Ph.D. Thesis, Cornell University, Ithaca, New York, 2011.
F. Brenti, A combinatorial formula for Kazhdan-Lusztig polynomials, Inventiones Mathematicae 118 (1994), 371–394.
F. Brenti, Combinatorial expansions of Kazhdan-Lusztig polynomials, Journal of the London Mathematical Society 55 (1997), 448–472.
F. Brenti, Lattice paths and Kazhdan-Lusztig polynomials, Journal of the American Mathematical Society 11 (1998), 229–259.
F. Brenti and F. Incitti, Lattice paths, lexicographic correspondence and Kazhdan-Lusztig polynomials, Journal of Algebra 303 (2006), 742–762.
F. Brenti, F. Caselli and M. Marietti, Special matchings and Kazhdan-Lusztig polynomials, Advances in Mathematics 202 (2006), 555–601.
F. Caselli, Non-negativity properties of R-polynomials, European Journal of Combinatorics 27 (2006), 1005–1021.
P. Cellini, T-increasing paths on the Bruhat graph of affine Weyl groups are self-avoiding, Journal of Algebra 228 (2000), 107–118.
E. Delanoy, Combinatorial invariance of Kazhdan-Lusztig polynomials on intervals starting from the identity, Journal of Algebraic Combinatorics 24 (2006), 437–463.
V. Deodhar, On some geometric aspects of Bruhat orderings. I. A finer decomposition of Bruhat cells, Inventiones Mathematicae 79 (1985), 499–511.
M. Dyer, On the “Bruhat graph” of a Coxeter system, Compositio Mathematica 78 (1991), 185–191.
M. Dyer, Hecke algebras and shellings of Bruhat intervals, Compositio Mathematica 89 (1993), 91–115.
R. Ehrenborg, On posets and Hopf algebras, Advances in Mathematics 119 (1996), 1–25.
R. Ehrenborg and K. Karu, Decomposition theorem for the cd-index of Gorenstein* posets, Journal of Algebraic Combinatorics 26 (2007), 225–251.
R. Ehrenborg and M. Readdy, Coproducts and the cd-index, Journal of Algebraic Combinatorics 8 (1998), 273–299.
W. Feller, An Introduction to Probability Theory and its Applications, Vol. 1, Wiley, New York, 1950.
J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge University Press, Cambridge, 1990.
K. Karu, The cd-index of fans and posets, Compositio Mathematica 142 (2006), 701–718.
D. Kazhdan and G. Lusztig, Representations of Coxeter groups and Hecke algebras, Inventiones Mathematicae 53 (1979), 165–184.
D. Kazhdan and G. Lusztig, Schubert varieties and Poincaré duality, in Geometry of the Laplace Operator, Proceedings of Symposia in Pure Mathematics, Vol. 34, American Mathematical Society, Providence, RI, 1980, pp. 185–203.
M. Marietti, Kazhdan-Lusztig theory: Boolean elements, special matchings and combinatorial invariance, Ph.D. thesis, Università di Roma “La Sapienza”, Roma, 2003.
N. Reading, The cd-index of Bruhat intervals, Electronic Journal of Combinatorics 11 (2004), Research Paper 74, 25 pp. (electronic).
R. P. Stanley, Generalized h-vectors, intersection cohomology of toric varieties, and related results, Advanced Studies in Pure Mathematics 11 (1987), 187–213.
R. P. Stanley, Subdivisions and local h-vectors, Journal of the American Mathematical Society 5 (1992), 805–851.
R. P. Stanley, Flag f-vectors and the cd-index, Mathematische Zeitschrift 216 (1994), 483–499.
R. Stanley, Enumerative Combinatorics, Vol. 2, Cambridge Studies in Advanced Mathematics, Vol. 62, Cambridge University Press, Cambridge, 1999.
J. R. Stembridge, Enriched P-partitions, Transactions of the American Mathematical Society 349 (1997), 763–788.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was begun while both authors enjoyed the hospitality of the Mittag-Leffler Institute, Djursholm, Sweden.
The first author was supported in part by NSF grants DMS-0100323 and DMS-0555268.
The second author was partially supported by EU grant CHRT-CT-2001-00272.
Rights and permissions
About this article
Cite this article
Billera, L.J., Brenti, F. Quasisymmetric functions and Kazhdan-Lusztig polynomials. Isr. J. Math. 184, 317–348 (2011). https://doi.org/10.1007/s11856-011-0070-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-011-0070-0