Mirror Principle For Flag Manifolds

Equivariant mirrors and the Virasoro conjecture for flag manifolds

We found an explicit description of all $GL(n,\RR)$-Whittaker functions as oscillatory integrals and thus constructed equivariant mirrors of flag manifolds. As a consequence we proved the Virasoro conjecture for flag manifolds.

部分旗丛的镜定理

A mirror theorem for partial flag bundles

该研究提出了一种非阿贝尔类比的镜定理，用于部分旗丛，扩展了Oh的成果并关联了I-函数与Lagrangian锥的构造。

等变 F-丛的展开及其在旗簇镜像对称中的应用

Unfolding of equivariant F-bundles and application to the mirror symmetry of flag varieties

本文建立等变 F-丛的展开定理以推广 Hertling-Manin 的亚纯联络万有展开，并据此由小量子上同调结果推出旗簇大量子上同调的镜像对称定理。

On the quantum K-ring of the flag manifold

We establish a finiteness property of the quantum K-ring of the complete flag manifold.

Odd symplectic flag manifolds

We define the odd symplectic grassmannians and flag manifolds, which are smooth projective varieties equipped with an action of the odd symplectic group and generalizing the usual symplectic grassmannians and flag manifolds. Contrary to the latter, which are the flag manifolds of the symplectic group, the varieties we introduce are not homogeneous. We argue nevertheless that in many respects the odd symplectic grassmannians and flag manifolds behave like homogeneous varieties; in support of this claim, we compute the automorphism group of the odd symplectic grassmannians, and we prove a Borel-…

Poincaré polynomials of moduli spaces of stable maps into flag manifolds

By using Oprea's Bialynicki-Birula decomposition for the stack of genus zero stable maps to flag manifolds. We calculate the Poincaré polynomial of the moduli space in degree one and degree two.

A mirror construction for the totally nonnegative part of the Peterson variety

We explain how A. Givental's mirror symmetric family to the type A flag variety and its proposed generalization to partial flag varieties by Batyrev, Ciocan-Fontanine, Kim and van Straten relate to the Peterson variety Y in SL_n/B. We then use this theory to describe the totally nonnegative part of Y.

On the fundamental group of open Richardson varieties

We compute the fundamental group of an open Richardson variety in the manifold of complete flags that corresponds to a partial flag manifold. Rietsch showed that these log Calabi-Yau varieties underlie a Landau-Ginzburg mirror for the Langlands dual partial flag manifold, and our computation verifies a prediction of Hori for this mirror. It is log Calabi-Yau as it isomorphic to the complement of the Knutson-Lam-Speyer anti-canonical divisor for the partial flag manifold. We also determine explicit defining equations for this divisor.

部分旗簇的Plücker坐标镜像与量子Schubert演算

A Plücker coordinate mirror for partial flag varieties and quantum Schubert calculus

本文构造部分旗簇的Plücker坐标超势，证明其Jacobi环恢复量子上同调，并验证特征值等于临界值的猜想，通过新量子Schubert恒等式实现。

Experimentation and conjectures in the real Schubert calculus for flag manifolds (extended abstract)

The Shapiro conjecture in the real Schubert calculus fails to hold for flag manifolds, but in a very interesting way. In this extended abstract, we give a refinement of that conjecture for the flag manifold and present massive experimentation (over 12 GigaHertz-Years) that supports our refined conjecture. We also establish relationships between different cases of the conjecture and describe some new phenomena uncovered in this experimentation.

$S^1$-fixed-points in hyper-Quot-schemes and an exact mirror formula for flag manifolds from the extended mirror principle diagram

In [L-L-Y1, III: Sec. 5.4] on mirror principle, a method was developed to compute the integral $\int_{X}τ^{\ast}e^{H\cdot t}\cap {\mathbf 1}_d$ for a flag manifold $X=\Fl_{r_1, ..., r_I}({\Bbb C}^n)$ via an extended mirror principle diagram. This method turns the required localization computation on the augmented moduli stack $\bar{\cal M}_{0,0}(\CP^1\times X)$ of stable maps to a localization computation on a hyper-Quot-scheme $\HQuot({\cal E}^n)$. In this article, the detail of this localization computation on $\HQuot({\cal E}^n)$ is carried out. The necessary ingredients in the computation,…

On uniform flag bundles on Fano manifolds

As a natural extension of the theory of uniform vector bundles on Fano manifolds, we consider uniform principal bundles, and study them by means of the associated flag bundles, as their natural projective geometric realizations. In this paper we develop the necessary background, and prove some theorems that are flag bundle counterparts of some of the central results in the theory of uniform vector bundles.

Modules over the small quantum group and semi-infinite flag manifold

We develop a theory of perverse sheaves on the semi-infinite flag manifold $G((t))/N((t))\cdot T[[t]]$, and show that the subcategory of Iwahori-monodromy perverse sheaves is equivalent to the regular block of the category of representations of the small quantum group at an even root of unity.

Flag bundles on Fano manifolds

As an application of a recent characterization of complete flag manifolds as Fano manifolds having only ${\mathbb P}^1$-bundles as elementary contractions, we consider here the case of a Fano manifold $X$ of Picard number one supporting an unsplit family of rational curves whose subfamilies parametrizing curves through a fixed point are rational homogeneous, and we prove that $X$ is homogeneous. In order to do this, we first study minimal sections on flag bundles over the projective line, and discuss how Grothendieck's theorem on principal bundles allows us to describe a flag bundle upon some …

Quantum cohomology of flag manifolds

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.

Fano manifolds whose elementary contractions are smooth $\mathbb P^1$-fibrations: A geometric characterization of flag varieties

The present paper provides a geometric characterization of complete flag varieties for semisimple algebraic groups. Namely, if $X$ is a Fano manifold whose all elementary contractions are $\mathbb P^1$-fibrations then $X$ is isomorphic to the complete flag manifold $G/B$ where $G$ is a semi-simple Lie algebraic group and $B$ is a Borel subgroup of $G$.

Experimentation and conjectures in the real Schubert calculus for flag manifolds

The Shapiro conjecture in the real Schubert calculus, while likely true for Grassmannians, fails to hold for flag manifolds, but in a very interesting way. We give a refinement of the Shapiro conjecture for the flag manifold and present massive (15.76 gigahertz-years) computational experimentation in support of this refined conjecture. We also prove the conjecture in some special cases using discriminants and establish relationships between different cases of the conjecture.

The mirror conjecture for minuscule flag varieties

We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal. The idea is to recognize the quantum connection as Galois and the geometric crystal as automorphic. We reveal surprising relations with the works of Frenkel-Gross, Heinloth-Ngô-Yun, and Zhu on Kloosterman sheaves. The isomorphism comes from global rigidity results where Hecke eigensheaves are determined by their local ramification. As corollaries we obtain combinatorial identities for counts of rational curve…

旗簇的 $D_{\hslash}$-模镜像猜想

The $D_{\hslash}$-module mirror conjecture for flag varieties

本文证明旗簇 $G/P$ 的 Rietsch 候选 $T$-等变镜像 LG 模型满足 $D_{\hslash}$-模镜像猜想，即其 Brieskorn 格与量子上同调在相应 $\hslash$-联络下同构。

3d mirror symmetry of the cotangent bundle of the full flag variety

Aganagic and Okounkov proved that the elliptic stable envelope provides the pole cancellation matrix for the enumerative invariants of quiver varieties known as vertex functions. This transforms a basis of a system of $q$-difference equations holomorphic in $\boldsymbol{z}$ with poles in $\boldsymbol{a}$ to a basis of solutions holomorphic in $\boldsymbol{a}$ with poles in $\boldsymbol{z}$. The resulting functions are expected to be the vertex functions of the 3d mirror dual variety. In this paper, we prove that for the cotangent bundle of the full flag variety, the functions obtained in this …

Landau-Ginzburg mirror, quantum differential equations and qKZ difference equations for a partial flag variety

We consider the system of quantum differential equations for a partial flag variety and construct a basis of solutions in the form of multidimensional hypergeometric functions, that is, we construct a Landau-Ginzburg mirror for that partial flag variety. In our construction, the solutions are labeled by elements of the $K$-theory algebra of the partial flag variety. To establish these facts we consider the equivariant quantum differential equations for a partial flag variety and introduce a compatible system of difference equations, which we call the qKZ equations. We construct a basis of solu…

Quantum cohomology of flag manifolds G/B and quantum Toda lattices

We prove the Givental conjecture that the (equivariant) quantum cohomology of flag manifolds G/B are governed by the conservation law of Toda lattices. In addition, we find the quantum differential module structure of the flag manifolds.

Gamma猜想I对于旗种的证明

Gamma conjecture I for flag varieties

本文通过Galkin和Iritani提出的方法，证明了所有旗种的Gamma猜想I，核心在于展示Rietsch镜像的完全正部分与Γ-类的镜像关系，并包含超势能临界点。

Quantum cohomology of partial flag manifolds

We give elementary geometric proofs of the main theorems about the (small) quantum cohomology of partial flag varieties SL(n)/P, including the quantum Pieri and quantum Giambelli formulas and the presentation.

Projective lines in the affine flag manifold with given tangent root vector

We first describe the tangent space to the affine flag manifold associated to a simple algebraic group over $\mathbb{C}$ at the distinguished point starting from standard definitions. We then construct projective lines in the affine flag manifold tangent to given root vectors associated to imaginary roots of the corresponding affine Kac-Moody algebra and describe in which Schubert varieties they lie.

On deformations of flag manifolds with B2=1

Why withdrawn: Main theorem can only be proved, if the flag manifold F with b2=1 is additionally hermitian symmetric.Mistake made at the following place: If F is not hermitian symmetric, certain vector fields are not left invariant

On deformations of flag manifolds with b2=1, part 2

A new proof of the assertion, that any global kaehler deformation of a flag manifold F with b2=1 is biholomorphic to F. Essential use is made of rational connected properties of F

Quantum K-theory on flag manifolds, finite-difference Toda lattices and quantum groups

We conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras U_q(g'). The conjecture is proved in the case of classical flag manifolds of the series A. The proof is based on a refinement of the famous Atiyah-Hirzebruch argument for rigidity of arithmetical genus applied to hyperquot-scheme compactifications of spaces of rational curves in the flag manifolds.

A geometric proof of an equivariant Pieri rule for flag manifolds

We use geometry to give a short proof of an equivariant Pieri rule in the classical flag manifold. This rule is due to Robinson, who gave an algebraic proof.

Generic torus orbit closures in flag Bott manifolds

In this article the generic torus orbit closure in a flag Bott manifold is shown to be a non-singular toric variety, and its fan structure is explicitly calculated.

Alcove walks and nearby cycles on affine flag manifolds

Using Ram's theory of alcove walks, we give a proof of the Bernstein presentation of the affine Hecke algebra. The method works also in the case of unequal parameters. We also discuss how these results help in studying sheaves of nearby cycles on affine flag manifolds.

Quantum cohomology of symplectic flag manifolds

We compute the quantum cohomology of symplectic flag manifolds. Symplectic flag manifolds can be described by non-abelian GLSMs with superpotential. Although the ring relations cannot be directly read off from the equations of motion on the Coulomb branch due to complication introduced by the non-abelian gauge symmetry, it can be shown that they can be extracted from the localization formula in a gauge-invariant form. Our result is general for all symplectic flag manifolds, which reduces to previously established results on symplectic Grassmannians and complete symplectic flag manifolds derive…

A remark on Schubert cells and duality of orbits on flag manifolds

It is known that the closure of an arbitrary K_c-orbit on a flag manifold is expressed as a product of a closed K_c-orbit and a Schubert cell ([M2], [Sp]). We already applied this fact to the duality of orbits on flag manifolds ([GM]). We refine here this result and and give its new applications to the study of domains arising from the duality.

Flag manifolds over semifields

In this paper, we develop the theory of flag manifold over a semifield for any Kac-Moody root datum. We show that the flag manifold over a semifield admits a natural action of the monoid over that semifield associated with the Kac-Moody datum and admits a cellular decomposition. This extends the previous work of Lusztig, Postnikov, Rietsch and others on the totally nonnegative flag manifolds (of finite type) and the work of Lusztig, Speyer, Williams on the tropical flag manifolds (of finite type). As a by-product, we prove a conjecture of Lusztig on the duality of totally nonnegative flag mani…

A Pieri-type Formula for the Equivariant Cohomology of the Flag Manifold

We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.

Chern class of Schubert cells in the flag manifold and related algebras

We discuss a relationship between Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds, Fomin-Kirillov algebra, and the generalized nil-Hecke algebra. We show that nonnegativity conjecture in Fomin-Kirillov algebra implies the nonnegativity of the Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds for type A. Motivated by this connection, we also prove that the (equivariant) Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds are certain summations of the structure constants of the equivariant cohomology of the Bott-Samelson varieties. W…

Equivariant K-theory of affine flag manifolds and affine Grothendieck polynomials

We study the equivariant K-group of the affine flag manifold with respect to the Borel group action. We prove that the structure sheaf of the (infinite-dimensional) Schubert variety in the K-group is represented by a unique polynomial, which we call the affine Grothendieck polynomial.

旗Bott manifold的K理论

$K$-theory of Flag Bott manifolds

本文研究旗Bott manifold的拓扑K理论，通过生成元和关系描述其结构，并应用于代数向量丛的Grothendieck环研究。

Quantum cohomology of partial flag manifolds

We compute the quantum cohomology rings of the partial flag manifolds F_{n_1\cdots n_k}=U(n)/(U(n_1)\times \cdots \times U(n_k)). The inductive computation uses the idea of Givental and Kim. Also we define a notion of the vertical quantum cohomology ring of the algebraic bundle. For the flag bundle F_{n_1\cdots n_k}(E) associated with the vector bundle E this ring is found.

Bounds on weights of nearby cycles and Wakimoto sheaves on affine flag manifolds

We study certain nearby cycles sheaves on an affine flag manifold which arise naturally in the Beilinson-Gaitsgory deformation of the affine flag manifold to the affine Grassmannian. We study the multiplicity functions we introduced in an earlier paper, which encode the data of the Jordan-Hoelder series. We prove the multiplicity functions are polynomials in q, and we give a sharp bound for their degrees. Our results apply as well to the nearby cycles in the p-adic deformation of Laumon-Haines-Ngo, and also to Wakimoto sheaves.

Two step flag manifolds and the Horn conjecture

We give a simplification of Belkale's geometric proof of the Horn conjecture. Our approach uses the geometry of two-step flag manifolds to explain the occurrence of the Horn inequalities in a very straightforward way. The arguments for both necessity and sufficiency of the Horn inequalities are fairly conceptual when viewed in this framework. We provide examples to illustrate the method of proof.

Quantum cohomology of flag manifolds and Toda lattices

We discuss relations of Vafa's quantum cohomology with Floer's homology theory, introduce equivariant quantum cohomology, formulate some conjectures about its general properties and, on the basis of these conjectures, compute quantum cohomology algebras of the flag manifolds. The answer turns out to coincide with the algebra of regular functions on an invariant lagrangian variety of a Toda lattice.

A unified formula for Steenrod operations in flag manifolds

The classical Schubert cells on a flag manifold G/H give a cell decomposition for G/H whose Kronecker duals (known as Schubert classes) form an additive base for the integral cohomology H^{\ast}(G/H). We present a formula that expresses Steenrod mod-p operations on Schubert classes in G/H in terms of Cartan numbers of G.

Frobenius splitting of thick flag manifolds of Kac-Moody algebras

We explain that the Plücker relations provide the defining equations of the thick flag manifold associated to a Kac-Moody algebra. This naturally transplant the result of Kumar-Mathieu-Schwede about the Frobenius splitting of thin flag manifolds to the thick case. As a consequence, we provide a description of the global sections of line bundles of a thick Schubert variety as conjectured in Kashiwara-Shimozono [Duke Math. J. 148 (2009)]. This also yields the existence of a compatible basis of thick Demazure modules, and the projective normality of the thick Schubert varieties.

Equivariant K-Chevalley Rules for Kac-Moody Flag Manifolds

Explicit combinatorial cancellation-free rules are given for the product of an equivariant line bundle class with a Schubert class in the torus-equivariant K-theory of a Kac-Moody flag manifold. The weight of the line bundle may be dominant or antidominant, and the coefficients may be described either by Lakshmibai-Seshadri paths or by the alcove model of the first author and Postnikov. For Lakshmibai-Seshadri paths, our formulas are the Kac-Moody generalizations of results of Griffeth-Ram and Pittie-Ram for finite dimensional flag manifolds. A gap in the proofs of the mentioned results is add…

Pseudotoric structures and special Lagrangian torus fibrations on certain flag varieties

We construct pseudotoric structures (à la Tyurin) on the two-step flag variety $F\ell_{1, n-1; n}$, and explain a general relation between pseudotoric structures and special Lagrangian torus fibrations, the latter of which are important in the study of SYZ mirror symmetry. As an application, we speculate how our constructions can explain the number of terms in the superpotential of Rietsch's Landau-Ginzburg mirror.

The cohomology of the affine Deligne-Lusztig varieties in the affine flag manifold of $GL_2$

This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of GL_2. At first we determine all such varieties up to isomorphy. After this we investigate the representations of the sigma-stabilizer of an element b of the group on the etale cohomology of the affine Deligne-Lusztig variety X_w(b). We describe such representations as inductions from compact subgroups and in terms of noncuspidal representations.

On the cohomology rings of real flag manifolds: Schubert cycles

We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving that any torsion class has order 2 (generalizing a result of Ehresmann). We conjecture this to hold for any real flag manifold. We obtain results concerning which Schubert varieties represent integer cohomology classes, their structure constants and how to express them in terms of characteristic classes. For even flag manifolds and Grassmannians we also descr…

Three-Dimensional Mirror Self-Symmetry of the Cotangent Bundle of the Full Flag Variety

Let $X$ be a holomorphic symplectic variety with a torus $\mathsf{T}$ action and a finite fixed point set of cardinality $k$. We assume that elliptic stable envelope exists for $X$. Let $A_{I,J}= \operatorname{Stab}(J)|_{I}$ be the $k\times k$ matrix of restrictions of the elliptic stable envelopes of $X$ to the fixed points. The entries of this matrix are theta-functions of two groups of variables: the Kähler parameters and equivariant parameters of $X$. We say that two such varieties $X$ and $X'$ are related by the 3d mirror symmetry if the fixed point sets of $X$ and $X'$ have the same card…

Quantum Langlands duality and mirror symmetry

We show that (quantum) D-modules of Givental type on affine flag varieties are transformed to D-modules of Beilinson-Drinfeld type on $n$-reduced Sato Grassmannians via affine Miura transformation.

Lecture notes on quantum cohomology of the flag manifold

This is an exposition of some recent developments related to the object in the title, particularly the combinatorial computation of the (genus 0) Gromov-Witten invariants of the flag manifold and the quadratic algebra approach. The notes are largely based on my joint papers with S.Gelfand, A.N.Kirillov, and A.Postnikov. This is by no means an exhaustive survey of the subject, but rather a casual introduction to its combinatorial aspects.

A Chevalley formula for semi-infinite flag manifolds and quantum K-theory (Extended abstract)

We give a combinatorial Chevalley formula for an arbitrary weight, in the torus-equivariant K-theory of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for anti-dominant fundamental weights in the (small) torus-equivariant quantum K-theory of the flag manifold G/B; this has been a longstanding conjecture about the multiplicative structure of the mentioned quantum K-theory. Moreover, in type A, we prove that the so-called quantum Grothendieck polynomials indeed represent Schubert classes in the (non-equivar…

$C$型流形旗流形的环面等变量子$K$-环的Borel型展示

Borel-type presentation of the torus-equivariant quantum $K$-ring of flag manifolds of type $C$

本文给出了$C$型旗流形的环面等变（小）量子$K$-环的Borel型展示。

Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, II: arbitrary weights in ADE type

We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$).