No Arabic abstract
We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.
We prove the affine Pieri rule for the cohomology of the affine flag variety conjectured by Lam, Lapointe, Morse and Shimozono. We study the cap operator on the affine nilHecke ring that is motivated by Kostant and Kumars work on the equivariant cohomology of the affine flag variety. We show that the cap operators for Pieri elements are the same as Pieri operators defined by Berg, Saliola and Serrano. This establishes the affine Pieri rule.
We show that every smooth Schubert variety of affine type $tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns $4231$ and $3412$. Using this iterated fibre bundle structure, we compute the generating function for the number of smooth Schubert varieties of affine type $tilde{A}$.
We interpret the GL_n equivariant cohomology of a partial flag variety of flags of length N in C^n as the Bethe algebra of a suitable gl_N[t] module associated with the tensor power (C^N)^{otimes n}.
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 derived by other means. We also explain why a (0,2) deformation of the GLSM does not give rise to a deformation of the quantum cohomology.
We study the quantum sheaf cohomology of flag manifolds with deformations of the tangent bundle and use the ring structure to derive how the deformation transforms under the biholomorphic duality of flag manifolds. Realized as the OPE ring of A/2-twisted two-dimensional theories with (0,2) supersymmetry, quantum sheaf cohomology generalizes the notion of quantum cohomology. Complete descriptions of quantum sheaf cohomology have been obtained for abelian gauged linear sigma models (GLSMs) and for nonabelian GLSMs describing Grassmannians. In this paper we continue to explore the quantum sheaf cohomology of nonabelian theories. We first propose a method to compute the generating relations for (0,2) GLSMs with (2,2) locus. We apply this method to derive the quantum sheaf cohomology of products of Grassmannians and flag manifolds. The dual deformation associated with the biholomorphic duality gives rise to an explicit IR duality of two A/2-twisted (0,2) gauge theories.