×
Elias, Ben; Proudfoot, Nicholas; Wakefield, Max

The Kazhdan-Lusztig polynomial of a matroid. (English) Zbl 1341.05250

Adv. Math. 299, 36-70 (2016).
Summary: We associate to every matroid \(M\) a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of \(M\), in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincaré polynomials. We also introduce a \(q\)-deformation of the Möbius algebra of \(M\), and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples.

Cited in 8 Reviews
Cited in 35 Documents

MSC:

05E10 Combinatorial aspects of representation theory
05B35 Combinatorial aspects of matroids and geometric lattices
52B40 Matroids in convex geometry (realizations in the context of convex polytopes, convexity in combinatorial structures, etc.)
14M15 Grassmannians, Schubert varieties, flag manifolds
20C30 Representations of finite symmetric groups

Keywords:

matroid; Orlik-Terao algebra; intersection cohomology; Kazhdan-Lusztig theory

Software:

OEIS
PDFBibTeX XMLCite
\textit{B. Elias} et al., Adv. Math. 299, 36--70 (2016; Zbl 1341.05250)
Full Text: DOI arXiv

References:

[1] Aigner, M., Whitney Numbers, Combinatorial Geometries, Encyclopedia Math. Appl., vol. 29, 139-160 (1987), Cambridge Univ. Press: Cambridge Univ. Press Cambridge · Zbl 0626.00007
[2] Baclawski, K., The Möbius algebra as a Grothendieck ring, J. Algebra, 57, 1, 167-179 (1979) · Zbl 0407.18010
[3] Beĭlinson, A.; Bernstein, J., Localisation de \(g\)-modules, C. R. Math. Acad. Sci. Paris, 292, 1, 15-18 (1981) · Zbl 0476.14019
[4] Beilinson, A. A.; Bernstein, J.; Deligne, P., Faisceaux pervers, (Analysis and Topology on Singular Spaces, I. Analysis and Topology on Singular Spaces, I, Luminy, 1981. Analysis and Topology on Singular Spaces, I. Analysis and Topology on Singular Spaces, I, Luminy, 1981, Astérisque, vol. 100 (1982), Soc. Math. France: Soc. Math. France Paris), 5-171 · Zbl 1390.14055
[5] Berget, A., Products of linear forms and Tutte polynomials, European J. Combin., 31, 7, 1924-1935 (2010) · Zbl 1219.05032
[6] Björner, A.; Brenti, F., Combinatorics of Coxeter Groups, Grad. Texts in Math., vol. 231 (2005), Springer: Springer New York · Zbl 1110.05001
[7] Brion, M.; Joshua, R., Intersection cohomology of reductive varieties, J. Eur. Math. Soc. (JEMS), 6, 4, 465-481 (2004) · Zbl 1129.14033
[8] Brylinski, J.-L.; Kashiwara, M., Kazhdan-Lusztig conjecture and holonomic systems, Invent. Math., 64, 3, 387-410 (1981) · Zbl 0473.22009
[10] de Cataldo, M. A.A.; Migliorini, L., The decomposition theorem, perverse sheaves and the topology of algebraic maps, Bull. Amer. Math. Soc. (N.S.), 46, 4, 535-633 (2009) · Zbl 1181.14001
[11] Dowling, T. A.; Wilson, R. M., Whitney number inequalities for geometric lattices, Proc. Amer. Math. Soc., 47, 504-512 (1975) · Zbl 0297.05010
[12] Elias, B.; Williamson, G., The Hodge theory of Soergel bimodules, Ann. of Math. (2), 180, 3, 1089-1136 (2014) · Zbl 1326.20005
[14] Greene, C.; Zaslavsky, T., On the interpretation of Whitney numbers through arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs, Trans. Amer. Math. Soc., 280, 1, 97-126 (1983) · Zbl 0539.05024
[15] Huh, J.; Katz, E., Log-concavity of characteristic polynomials and the Bergman fan of matroids, Math. Ann., 354, 3, 1103-1116 (2012) · Zbl 1258.05021
[16] Kazhdan, D.; Lusztig, G., Representations of Coxeter groups and Hecke algebras, Invent. Math., 53, 2, 165-184 (1979) · Zbl 0499.20035
[17] Kazhdan, D.; Lusztig, G., Schubert varieties and Poincaré duality, (Geometry of the Laplace Operator, Proc. Sympos. Pure Math.. Geometry of the Laplace Operator, Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979. Geometry of the Laplace Operator, Proc. Sympos. Pure Math.. Geometry of the Laplace Operator, Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979, Proc. Sympos. Pure Math., vol. XXXVI (1980), Amer. Math. Soc.: Amer. Math. Soc. Providence, R.I.), 185-203 · Zbl 0461.14015
[18] Kiehl, R.; Weissauer, R., Weil Conjectures, Perverse Sheaves and l’adic Fourier Transform, Ergeb. Math. Grenzgeb. (3), vol. 42 (2001), Springer-Verlag: Springer-Verlag Berlin · Zbl 0988.14009
[19] Kook, W., On the product of log-concave polynomials, Integers, 6, Article A40, 4 pp pp. (2006) · Zbl 1152.11316
[20] Kung, J. P.S., Radon transforms in combinatorics and lattice theory, (Combinatorics and Ordered Sets. Combinatorics and Ordered Sets, Arcata, Calif., 1985. Combinatorics and Ordered Sets. Combinatorics and Ordered Sets, Arcata, Calif., 1985, Contemp. Math., vol. 57 (1986), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 33-74 · Zbl 0595.05006
[21] Letellier, E., Quiver varieties and the character ring of general linear groups over finite fields, J. Eur. Math. Soc. (JEMS), 15, 4, 1375-1455 (2013) · Zbl 1300.20054
[22] Li, L.; Yong, A., Kazhdan-Lusztig polynomials and drift configurations, Algebra Number Theory, 5, 5, 595-626 (2011) · Zbl 1273.14100
[23] Lusztig, G., Left cells in Weyl groups, (Lie Group Representations, I. Lie Group Representations, I, College Park, Md., 1982/1983. Lie Group Representations, I. Lie Group Representations, I, College Park, Md., 1982/1983, Lecture Notes in Math., vol. 1024 (1983), Springer: Springer Berlin), 99-111 · Zbl 0537.20019
[24] Orlik, P.; Terao, H., Arrangements of Hyperplanes, Grundlehren Math. Wiss., vol. 300 (1992), Springer-Verlag: Springer-Verlag Berlin · Zbl 0757.55001
[25] Polo, P., Construction of arbitrary Kazhdan-Lusztig polynomials in symmetric groups, Represent. Theory, 3 (1999) · Zbl 0968.14029
[26] Proudfoot, N.; Speyer, D., A broken circuit ring, Beitr. Algebra Geom., 47, 1, 161-166 (2006) · Zbl 1095.13024
[27] Proudfoot, N.; Webster, B., Intersection cohomology of hypertoric varieties, J. Algebraic Geom., 16, 1, 39-63 (2007) · Zbl 1119.14016
[28] Rado, R., Note on independence functions, Proc. Lond. Math. Soc. (3), 7, 300-320 (1957) · Zbl 0083.02302
[29] Sanyal, R.; Sturmfels, B.; Vinzant, C., The entropic discriminant, Adv. Math., 244, 678-707 (2013) · Zbl 1284.15006
[30] Sloane, N. J.A., The on-line encyclopedia of integer sequences (2014) · Zbl 1044.11108
[31] Solomon, L., The Burnside algebra of a finite group, J. Combin. Theory, 2, 603-615 (1967) · Zbl 0183.03601
[32] Springer, T. A., A purity result for fixed point varieties in flag manifolds, J. Fac. Sci. Univ. Tokyo Sect. IA Math., 31, 2, 271-282 (1984) · Zbl 0581.20048
[33] Terao, H., Algebras generated by reciprocals of linear forms, J. Algebra, 250, 2, 549-558 (2002) · Zbl 1049.13011
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.