Abstract
We present a combinatorial procedure (based on the W-graph of the Coxeter group) which shows that the characters of many intersection cohomology complexes on low rank complex flag varieties with coefficients in an arbitrary field are given by Kazhdan–Lusztig basis elements. Our procedure exploits the existence and uniqueness of parity sheaves. In particular we are able to show that the characters of all intersection cohomology complexes with coefficients in a field on the flag variety of type A n for n < 7 are given by Kazhdan–Lusztig basis elements. By results of Soergel, this implies a part of Lusztig’s conjecture for SL(n) with n ≤ 7. We also give examples where our techniques fail. In the appendix by Tom Braden examples are given of intersection cohomology complexes on the flag varities for SL(8) and SO(8) which have torsion in their stalks or costalks.
Similar content being viewed by others
References
Atiyah M.F., Bott R.: The moment map and equivariant cohomology. Topology 23(1), 1–28 (1984)
Billey S.C., Braden T.: Lower bounds for Kazhdan-Lusztig polynomials from patterns. Transform. Groups 8(4), 321–332 (2003)
Beĭlinson, A., Bernstein, J., Deligne, P.: Faisceaux pervers. In: Analyse et topologie sur les espaces singuliers, I (Luminy, 1981). Astérisque, vol. 100, pp. 5–171. Soc. Math. France, Paris (1982)
Bernstein, J., Lunts, V.: Equivariant sheaves and functors. In: Lecture Notes in Mathematics, vol. 1578. Springer, Berlin (1994)
Braden T., MacPherson R.: From moment graphs to intersection cohomology. Math. Ann. 321(3), 533–551 (2001)
Billey S., Postnikov A.: Smoothness of Schubert varieties via patterns in root subsystems. Adv. Appl. Math. 34(3), 447–466 (2005)
Berline N., Vergne M.: Classes caractéristiques équivariantes. Formule de localisation en cohomologie équivariante. C. R. Acad. Sci. Paris Sér. I Math. 295(9), 539–541 (1982)
Billey S.C., Warrington G.S.: Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permutations. J. Algebraic Combin. 13(2), 111–136 (2001)
du Cloux, F.: Coxeter. a computer program. http://math.univ-lyon1.fr/~ducloux/coxeter/coxeter3/english/coxeter3_e.html
du Cloux F.: Computing Kazhdan-Lusztig polynomials for arbitrary Coxeter groups. Experiment. Math. 11(3), 371–381 (2002)
de Cataldo M.A.A., Migliorini L.: The hard Lefschetz theorem and the topology of semismall maps. Ann. Sci. École Norm. Sup. (4) 35(5), 759–772 (2002)
de Cataldo M.A.A., Migliorini L.: The Hodge theory of algebraic maps. Ann. Sci. École Norm. Sup. (4) 38(5), 693–750 (2005)
Fulton, W.: Intersection theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 2. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas, 3rd Series. A Series of Modern Surveys in Mathematics, 2nd edn]. Springer, Berlin (1998)
Fiebig, P., Williamson, G.: The p-smooth locus of Schubert varieties. http://arxiv.org/abs/1008.0719
Gaussent S.: The fibre of the Bott-Samelson resolution. Indag. Math. (N.S.) 12(4), 453–468 (2001)
Härterich, M.: The T-equivariant cohomology of Bott-Samelson varieties. Preprint. math.AG/0412337
Hatcher A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Humphreys J.E.: Reflection groups and Coxeter groups. In: Cambridge Studies in Advanced Mathematics, vol. 29. Cambridge University Press, Cambridge (1990)
Juteau, D., Mautner, C., Williamson, G.: Parity sheaves. Preprint. arXiv:0906.2994 (2009)
Juteau D.: Decomposition numbers for perverse sheaves. Ann. Inst. Fourier (Grenoble) 59(3), 1177–1229 (2009)
Juteau, D., Williamson, G.: Kumar’s criterion modulo p. In preparation
Kerov, S.V.: W-graphs of representations of symmetric groups. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 123, 190–202 (1983). Differential Geometry, Lie Groups and Mechanics, vol. 21
Kazhdan D., Lusztig G.: Representations of Coxeter groups and Hecke algebras. Invent. Math. 53, 165–184 (1979)
Kazhdan, D., Lusztig, G.: Schubert varieties and Poincaré duality. In: Geometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979). Proc. Sympos. Pure Math., XXXVI, pp. 185–203. Amer. Math. Soc., Providence (1980)
Lascoux, A., Schützenberger, M.-P.: Polynômes de Kazhdan & Lusztig pour les grassmanniennes. In: Young tableaux and Schur functors in algebra and geometry (Toruń, 1980). Astérisque, vol. 87, pp. 249–266. Soc. Math. France, Paris (1981)
Lusztig, G.: Some problems in the representation theory of finite Chevalley groups. In: The Santa Cruz Conference on Finite Groups (Univ. California, Santa Cruz, Calif., 1979). Proc. Sympos. Pure Math., vol. 37, pp. 313–317. Amer. Math. Soc., Providence (1980)
Lusztig G.: Hecke Algebras with Unequal Parameters. CRM Monograph Series, vol. 18. American Mathematical Society, Providence (2003)
Ochiai M., Kako F.: Computational construction of W-graphs of Hecke algebras H(q, n) for n up to 15. Experiment. Math. 4(1), 61–67 (1995)
Soergel W.: Kazhdan-Lusztig polynomials and a combinatoric[s] for tilting modules. Represent. Theory 1, 83–114 (1997)
Soergel W.: On the relation between intersection cohomology and representation theory in positive characteristic. J. Pure Appl. Algebra 152(1-3), 311–335 (2000)
Springer, T.A.: Quelques applications de la cohomologie d’intersection. In: Bourbaki Seminar, vol. 1981/1982. Astérisque, vol. 92, pp. 249–273. Soc. Math. France, Paris (1982)
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)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Williamson, G., Braden, T. Modular intersection cohomology complexes on flag varieties. Math. Z. 272, 697–727 (2012). https://doi.org/10.1007/s00209-011-0955-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-011-0955-y