Schubert calculus and quiver varieties (Q6198637)

Summary: The Littlewood-Richardson rule [\textit{D. E. Littlewood} and \textit{A. R. Richardon}, Philos. Trans. R. Soc. Lond., Ser. A, Contain. Pap. Math. Phys. Character 233, 99--141 (1934; Zbl 0009.20203; JFM 60.0896.01)] is a combinatorial (and, in particular, manifestly positive) way to compute the structure constants of two a priori unrelated rings-with-basis: the representation ring of \(\mathrm{GL}_k (\mathbb{C})\), and the cohomology ring of the Grassmannian \(\mathrm{Gr}(k, \mathbb{C}^n)\). We recall a wealth of generalizations of the latter ring (changing the space, the cohomology theory, or the basis), all of which have non-manifestly-positive rules for computation, nowadays called their \textit{Schubert calculus}. Until this century very few of these structure constants had combinatorial rules for their calculation, although many of the structure constants have been proven (ineffectively) to be nonnegative. In recent years the formal similarity of one of these rules (the Knutson-Tao ``puzzle'' rule for equivariant cohomology) to quantum integrable systems has been traced to the geometry of \textit{quiver varieties}, a class among which one finds the cotangent bundles to Grassmannians. This allowed for the discovery and proof of rules for many heretofore unsolved Schubert calculus problems, and new connections to representation theory. For the entire collection see [Zbl 07816360].