Abstract
We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov–Witten invariants defining the small quantum cohomology ring of a Grassmann variety of type A. The proof of the conjecture proceeds by showing that the puzzle formula defines an associative product on the cohomology ring of the two-step flag variety. It is based on an explicit bijection of gashed puzzles that is analogous to the jeu de taquin algorithm but more complicated.
Similar content being viewed by others
References
Belkale, P., Kumar, S.: Eigenvalue problem and a new product in cohomology of flag varieties. Invent. Math. 166(1), 185–228 (2006)
Buch, A.S., Kresch, A., Tamvakis, H.: Gromov–Witten invariants on Grassmannians. J. Am. Math. Soc. 16(4), 901–915 (2003)
Buch, A.S., Kresch, A., Tamvakis, H.: Littlewood–Richardson rules for Grassmannians. Adv. Math. 185(1), 80–90 (2004)
Coskun, I.: A Littlewood–Richardson rule for two-step flag varieties. Invent. Math. 176(2), 325–395 (2009)
Fulton, W.: Young Tableaux with Applications to Representation Theory and Geometry, London Mathematical Society Student Texts, vol. 35. Cambridge University Press, Cambridge (1997)
Knutson, A.: A conjectural rule for \(\text{GL}_{n}\) Schubert calculus. Unpublished Manuscript (1999)
Knutson, A., Purbhoo, K.: Product and puzzle formulae for \(\text{ GL }_{n}\) Belkale–Kumar coefficients. Electron. J. Combin. 18(1), paper 76 (2011)
Knutson, A., Tao, T.: Puzzles and (equivariant) cohomology of Grassmannians. Duke Math. J. 119(2), 221–260 (2003)
Knutson, A., Tao, T., Woodward, C.: The honeycomb model of \({\rm GL}_n(\mathbb{C})\) tensor products. II. Puzzles determine facets of the Littlewood–Richardson cone. J. Am. Math. Soc. 17(1), 19–48 (2004)
Lascoux, A., Schützenberger, M.-P.: Polynômes de Schubert. C. R. Acad. Sci. Paris I Math. 294(13), 447–450 (1982)
Molev, A.I., Sagan, B.E.: A Littlewood–Richardson rule for factorial Schur functions. Trans. Am. Math. Soc. 351(11), 4429–4443 (1999)
Purbhoo, K.: Puzzles, tableaux, and mosaics. J. Alg. Combin. 28(4), 461–480 (2008)
Sottile, F.: Pieri’s formula for flag manifolds and Schubert polynomials. Ann. Inst. Fourier (Grenoble) 46(1), 89–110 (1996)
van Leeuwen, M.A.A.: The Littlewood–Richardson rule, and related combinatorics. In: Interaction of Combinatorics and Representation Theory, MSJ Mem., vol. 11, pp. 95–145. Math. Soc. Japan, Tokyo (2001)
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors were supported in part by NSF Grants DMS-0906148 and DMS-1205351 (Buch), the Swiss National Science Foundation (Kresch), an NSERC discovery grant (Purbhoo), and NSF Grants DMS-0901341 and DMS-1303352 (Tamvakis).
Rights and permissions
About this article
Cite this article
Buch, A.S., Kresch, A., Purbhoo, K. et al. The puzzle conjecture for the cohomology of two-step flag manifolds. J Algebr Comb 44, 973–1007 (2016). https://doi.org/10.1007/s10801-016-0697-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-016-0697-3
Keywords
- Schubert calculus
- Two-step flag manifolds
- Puzzle
- Littlewood–Richardson rule
- Quantum cohomology of Grassmannians
- Gromov–Witten invariants