Quantum cohomology of the Springer resolution (Q531803): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: The intrinsic normal cone / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5490943 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Root systems and the quantum cohomology of ADE resolutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2747855 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum Knizhnik-Zamolodchikov equations and affine root systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4661506 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2785535 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On quantum cohomology rings of partial flag varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4237088 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homology of the Zero-Set of a Nilpotent Vector Field on a Flag Manifold / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4952803 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Shift operators for the quantum Calogero-Sutherland problems via Knizhnik-Zamolodchikov equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum cohomology of flag manifolds and Toda lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4789477 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An elementary approach to the hypergeometric shift operators of Opdam / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4434432 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cohomology of the minimal nilpotent orbit / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symplectic singularities from the Poisson point of view / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3622202 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof of the Deligne-Langlands conjecture for Hecke algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Braid cobordisms, triangulated categories, and flag varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum cohomology of flag manifolds \(G/B\) and quantum Toda lattices. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cuspidal local systems and graded Hecke algebras. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integrable connections related to zonal spherical functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gromov-Witten theory of \(A_{n}\)-resolutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gromov-Witten/Donaldson-Thomas correspondence for toric 3-folds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum cohomology of the Springer resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gromov-Witten theory and Noether-Lefschetz theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Laumon spaces and the Calogero-Sutherland integrable system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantization of Integrable Systems and Four Dimensional Gauge Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum cohomology of the Hilbert scheme of points in the plane / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some applications of hypergeometric shift operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: A mirror symmetric construction of \(qH_T^*(G/P)_{(q)}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Kohno-Drinfeld theorem for quantum Weyl groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: The trigonometric Casimir connection of a simple Lie algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quiver varieties and Yangians / rank
 
Normal rank

Revision as of 23:21, 3 July 2024

scientific article
Language Label Description Also known as
English
Quantum cohomology of the Springer resolution
scientific article

    Statements

    Quantum cohomology of the Springer resolution (English)
    0 references
    0 references
    0 references
    0 references
    20 April 2011
    0 references
    Let \(G\) be a semi-simple simply connected algebraic group with Lie algebra \(\mathfrak{g}\), and \(\mathcal{B}\) be its (full) flag variety. Then \(T^*\mathcal{B}\) is a symplectic resolution of the nilpotent cone \(\mathcal{N}\subseteq\mathfrak{g}^*\), called the Springer resolution. Consider the action of \(\mathbb{G}:=G\times\mathbb{C}^*\) on \(T^*\mathcal{B}\), where \(\mathbb{C}^*\) acts by multiplication on the cotangent fibers. The authors study \(H^*_{\mathbb{G}}(T^*\mathcal{B})\), the \(\mathbb{G}\)-equivariant quantum cohomology ring of \(T^*\mathcal{B}\). The paper is a part of a broader project to demonstrate that mirror symmetry structures on certain symplectic resolutions generalize classical notions of geometric representation theory. Many auxilliary constructions are carried out in greater generality with an eye on this larger picture. The main result is a formula for the quantum multiplication by divisors, which for Springer resolutions generate the quantum cohomology ring. A limiting procedure recovers Kim's description of the quantum cohomology of the base \(\mathcal{B}\) in terms of quantum Toda lattices [\textit{B. Kim}, Ann. Math. (2) 149, No. 1, 129--148 (1999; Zbl 1054.14533)]. A generalization to Slodowy slices of \(\mathcal{N}\) is also given. Divisors of \(T^*\mathcal{B}\) are in one-to-one correspondence with weights \(\lambda\) of the Borel subgroup of \(G\), and the group algebra of the Weyl group acts on \(H^*_{\mathbb{G}}(T^*\mathcal{B})\) as described by \textit{G. Lusztig} [Publ. Math., Inst. Hautes Étud. Sci. 67, 145--202 (1988; Zbl 0699.22026)]. With this in mind, and denoting the classical multiplication by a divisor as \(x_\lambda\) the authors' formula for the quantum multiplication is \[ D_\lambda=x_\lambda+t\sum_{\alpha\in R_+}(\lambda,\alpha^\vee)\frac{q^{\alpha^\vee}}{1-q^{\alpha^\vee}}(s_\alpha-1). \,\eqno(1) \] The sum is over positive simple roots, \(\alpha^\vee\) are the coroots and \(s_\alpha\) are the corresponding Weyl reflections, parameter \(t\) can be identified with the equivariant parameter of the \(\mathbb{C}^*\) factor of \(\mathbb{G}\). If \(d_\lambda\) is the derivative in the direction of \(\lambda\) then \(\nabla_\lambda:=d_\lambda-D_\lambda\) defines a flat connection on a trivial bundle over the dual maximal torus with fiber \(H^*_{\mathbb{G}}(T^*\mathcal{B})\). This connection is shown to be the affine Knizhnik-Zamolodchikov connection. Its quantum \(D\)-module coincides with the quantum Calogero-Moser module of the Langlands dual to \(G\). As a consequence, the authors are able to describe \(H^*_{\mathbb{G}}(T^*\mathcal{B})\) in terms of the classical Calogero-Moser integrable system, identifying in particular the shift operators of \textit{E. M. Opdam} [Invent. Math. 98, No. 1, 1--18 (1989; Zbl 0696.33006)]. The limit \(t\to\infty\), appropriately interpreted, gives Kim's description of \(H^*_{\mathbb{G}}(\mathcal{B})\) in terms of quantum Toda lattices. This description requires the use of another action \(\overline{s}_\alpha\) by the Weyl reflections, which is nilpotent, and restricts the sum in (1) to a subset \(R'_+\) of simple positive roots \[ D_\lambda^{\mathcal{B}}=x_\lambda+\sum_{\alpha\in R_+}(\lambda,\alpha^\vee)\,q^{\alpha^\vee}\overline{s}_\alpha\,. \] If \(G\) is simply laced \(R'_+=R_+\). Finally, the authors generalize their results to so-called Slodowy slices \(\mathcal{S}_n\subseteq\mathcal{N}\) transversal to the \(G\)-orbit of \(n\) in \(\mathcal{N}\). The lift \(\widetilde{\mathcal{S}}_n\) to the total space of \(T^*\mathcal{B}\to\mathcal{N}\) is a symplectic resolution of \(\mathcal{S}_n\), for \(n=0\) we recover \(\mathcal{S}_n=\mathcal{N}\) and \(\widetilde{\mathcal{S}}_n=T^*\mathcal{B}\). The analog of \(H^*_{\mathbb{G}}(T^*\mathcal{B})\) is \(H^*_{Z_n\times\mathbb{C}^*}(T^*\mathcal{B})\), where \(Z_n\) is the centralizer of \(n\) in \(G\). The authors show that if the restriction \(H^2(T^*\mathcal{B},\mathbb{Z})\to H^2(\widetilde{\mathcal{S}}_n,\mathbb{Z})\) is onto, e.g., if \(G\) is simply laced, then quantum multiplication by divisors of \(\widetilde{\mathcal{S}}_n\) is still given by (1).
    0 references
    equivariant quantum cohomology
    0 references
    Springer resolution
    0 references
    nilpotent cone
    0 references
    mirror symmetry
    0 references
    KZ connection
    0 references
    symplectic resolution
    0 references
    Calogero-Moser integrable system
    0 references
    Opdam operators
    0 references
    Slodowy slices
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references