Abstract:The (small) quantum cohomology ring of a flag manifold F encodes enumerative geometry of rational curves on F. We give a proof of the presentation of the ring and of a quantum Giambelli formula, which is more direct and geometric than the previously known proof. Furthermore, this proof gives a relationship between quantum Schubert polynomials and universal Schubert polynomials, which arise in a degeneracy locus formula of Fulton.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the representation of the quantum cohomology ring and its properties. Specifically:
1. **Representation of the quantum cohomology ring**: The paper aims to study the representation of the partial quantum cohomology ring of partial flag manifolds. The author gives the representation of this ring and proves the validity of the quantum Giambelli formula for Schubert varieties. Although these results are known, the proof provided by the author is more natural and direct.
2. **Relationship between the universal Schubert polynomial and the quantum Schubert polynomial**: An important goal of the paper is to provide evidence that there is a relationship between the universal Schubert polynomial (used in the degeneracy locus problem) and the quantum Schubert polynomial (appearing in quantum cohomology). Although it is known that the universal Schubert polynomial can be specialized to ordinary and quantum Schubert polynomials, previous explanations were mainly algebraic. The author provides a new geometric interpretation by further studying the intersection theory of hyperquotient schemes.
3. **Entries in the quantum multiplication table**: In classical Schubert calculus, Giambelli - and Pieri - type formulas give the multiplicative structure of the cohomology ring on flag manifolds, and these formulas are used as tools to solve enumeration problems. Similarly, the entries in the quantum multiplication table count the number of rational curves on flag manifolds that satisfy specific conditions. These numbers can be interpreted as intersection numbers on the moduli space of holomorphic maps from the projective line \( \mathbb{P}^1 \) to flag manifolds.
4. **Study of hyperquotient schemes**: In order to understand these intersections, the author studies the compactifications of various moduli spaces, especially Kontsevich's stable maps. For partial flag manifolds, including Grassmannians and complete flag manifolds, there are smooth compactifications called hyperquotient schemes, which generalize Grothendieck's Quot schemes. Most of the knowledge about the quantum cohomology of flag manifolds depends on the cohomology calculations of hyperquotient schemes. The author obtains results by further studying the intersection theory of hyperquotient schemes.
5. **Simplified proof**: The author provides a simplified argument method and simultaneously proves the representation of the ring and the quantum Giambelli formula. One of the key points of the proof is to use a certain degeneracy locus formula of flag bundles, which was given by Fulton and applied in the context of hyperquotient schemes.
In summary, the main purpose of this paper is to re - prove the known representation of the quantum cohomology ring and the quantum Giambelli formula by more natural and direct methods, and to explore the relationship between the universal Schubert polynomial and the quantum Schubert polynomial.