Searcharxiv⌕ Search

arXiv subjects

Anders S. Buch

Publications and source records attributed to Anders S. Buch.

At least 19 recordsLinked to original sources

Seidel and Pieri products in cominuscule quantum K-theory

We prove a collection of formulas for products of Schubert classes in the quantum $K$-theory ring $QK(X)$ of a cominuscule flag variety $X$. This includes a $K$-theory version of the Seidel representation, stating that the quantum product of a Seidel class with an arbitrary Schubert class is equal to a single Schubert class times a power of the deformation parameter $q$. We also prove new Pieri formulas for the quantum $K$-theory of maximal orthogonal Grassmannians and Lagrangian Grassmannians, and give a new proof of the known Pieri formula for the quantum $K$-theory of Grassmannians of type A. Our formulas have simple statements in terms of quantum shapes that represent the natural basis elements $q^d[{\mathcal O}_{X^u}]$ of $QK(X)$. Along the way we give a simple formula for $K$-theoretic Gromov-Witten invariants of Pieri type for Lagrangian Grassmannians, and prove a rationality result for the points in a Richardson variety in a symplectic Grassmannian that are perpendicular to a point in projective space.

math.AG↗

Positivity of minuscule quantum K-theory

We prove that the Schubert structure constants of the quantum $K$-theory ring of any minuscule flag variety or quadric hypersurface have signs that alternate with codimension. We also prove that the powers of the deformation parameter $q$ that occur in the product of two Schubert classes in the quantum cohomology or quantum $K$-theory ring of a cominuscule flag variety form an integer interval. Our proofs are based on several new results, including an explicit description of the most general non-empty intersection of two Schubert varieties in an arbitrary flag manifold, and a computation of the cohomology groups of any negative line bundle restricted to a Richardson variety in a cominuscule flag variety. We also give a type-uniform proof of the quantum-to-classical theorem, which asserts that the (3-point, genus 0) Gromov-Witten invariants of any cominuscule flag variety are classical triple-intersection numbers on an associated flag variety. Finally, we prove several new results about the geometry and combinatorics related to this theorem.

math.AG↗

Equivariant rigidity of Richardson varieties

We prove that Schubert and Richardson varieties in flag manifolds are uniquely determined by their equivariant cohomology classes, as well as a stronger result that replaces Schubert varieties with closures of Bialynicki-Birula cells under suitable conditions. This is used to prove that any two-pointed curve neighborhood representing a quantum cohomology product with a Seidel class is a Schubert variety. We pose a stronger conjecture which implies a Seidel multiplication formula in equivariant quantum K-theory, and prove this conjecture for cominuscule flag varieties.

math.AG↗

K-theoretic Gromov-Witten invariants of line degrees on flag varieties

A homology class $d \in H_2(X)$ of a complex flag variety $X = G/P$ is called a line degree if the moduli space $\overline{M}_{0,0}(X,d)$ of 0-pointed stable maps to $X$ of degree $d$ is also a flag variety $G/P'$. We prove a quantum equals classical formula stating that any $n$-pointed (equivariant, K-theoretic, genus zero) Gromov-Witten invariant of line degree on $X$ is equal to a classical intersection number computed on the flag variety $G/P'$. We also prove an $n$-pointed analogue of the Peterson comparison formula stating that these invariants coincide with Gromov-Witten invariants of the variety of complete flags $G/B$. Our formulas make it straightforward to compute the big quantum K-theory ring of $X$ modulo degrees larger than line degrees.

math.AG↗

Tevelev degrees in Gromov-Witten theory

For a nonsingular projective variety $X$, the virtual Tevelev degree in Gromov-Witten theory is defined as the virtual degree of the morphism from $M_{g,n}(X,d)$ to the product $M_{g,n} \times X^n$. After proving a simple formula for the virtual Tevelev degree in the (small) quantum cohomology ring of $X$ using the quantum Euler class, we provide several exact calculations for flag varieties and complete intersections. In the cominuscule case (including Grassmannians, Lagrangian Grassmannians, and maximal orthogonal Grassmannians), the virtual Tevelev degrees are calculated in terms of the eigenvalues of an associated self-adjoint linear endomorphism of the quantum cohomology ring. For complete intersections of low degree (compared to dimension), we prove a product formula. The calculation for complete intersections involves the primitive cohomology. Virtual Tevelev degrees are better behaved than arbitrary Gromov-Witten invariants, and, by recent results of Lian and Pandharipande, are much more likely to be enumerative.

math.AG↗

Positivity determines the quantum cohomology of Grassmannians

We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equivalent to Fomin, Gelfand, and Postnikov's conjecture that the quantum Schubert polynomials of type A are uniquely determined by positivity properties. Our proof for Grassmannians answers a question of Fulton.

math.AG↗

Euler characteristics in the quantum $K$-theory of flag varieties

We prove that the sheaf Euler characteristic of the product of a Schubert class and an opposite Schubert class in the quantum $K$-theory ring of a (generalized) flag variety $G/P$ is equal to $q^d$, where $d$ is the smallest degree of a rational curve joining the two Schubert varieties. This implies that the sum of the structure constants of any product of Schubert classes is equal to 1. Along the way, we provide a description of the smallest degree $d$ in terms of its projections to flag varieties defined by maximal parabolic subgroups.

math.AG↗

Projected Gromov-Witten varieties in cominuscule spaces

A projected Gromov-Witten variety is the union of all rational curves of fixed degree that meet two opposite Schubert varieties in a homogeneous space X = G/P. When X is cominuscule we prove that the map from a related Gromov-Witten variety is cohomologically trivial. This implies that all (3 point, genus zero) K-theoretic Gromov-Witten invariants of X are determined by the projected Gromov-Witten varieties, which extends an earlier result of Knutson, Lam, and Speyer. Our proof uses that any projected Gromov-Witten variety in a cominuscule space is also a projected Richardson variety.

math.AG↗

A Chevalley formula for the equivariant quantum K-theory of cominuscule varieties

We prove a type-uniform Chevalley formula for multiplication with divisor classes in the equivariant quantum $K$-theory ring of any cominuscule flag variety $G/P$. We also prove that multiplication with divisor classes determines the equivariant quantum $K$-theory of arbitrary flag varieties. These results prove a conjecture of Gorbounov and Korff concerning the equivariant quantum $K$-theory of Grassmannians of Lie type A.

math.AG↗

Rational connectedness implies finiteness of quantum K-theory

Let X be any generalized flag variety with Picard group of rank one. Given a degree d, consider the Gromov-Witten variety of rational curves of degree d in X that meet three general points. We prove that, if this Gromov-Witten variety is rationally connected for all large degrees d, then the structure constants of the small quantum K-theory ring of X vanish for large degrees.

math.AG↗

A Giambelli formula for even orthogonal Grassmannians

Let X be an orthogonal Grassmannian parametrizing isotropic subspaces in an even dimensional vector space equipped with a nondegenerate symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in the singular and quantum cohomology ring of X as a polynomial in certain special Schubert classes. Our analysis reveals a surprising relation between the Schubert calculus on even and odd orthogonal Grassmannians. We also study eta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X.

math.AG↗

A Giambelli formula for isotropic Grassmannians

Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear combinations of products of Schur Q-functions and S-polynomials.

math.AG↗

Quantum K-theory of Grassmannians

We show that (equivariant) K-theoretic 3-point Gromov-Witten invariants of genus zero on a Grassmann variety are equal to triple intersections computed in the ordinary (equivariant) K-theory of a two-step flag manifold, thus generalizing an earlier result of Buch, Kresch, and Tamvakis. In the process we show that the Gromov-Witten variety of curves passing through 3 general points is irreducible and rational. Our applications include Pieri and Giambelli formulas for the quantum K-theory ring of a Grassmannian, which determine the multiplication in this ring. Our formula for Gromov-Witten invariants can be partially generalized to cominuscule homogeneous spaces by using a construction of Chaput, Manivel, and Perrin.

math.AG↗

Quantum Giambelli formulas for isotropic Grassmannians

Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2781.

math.AG↗

Quantum Pieri rules for isotropic Grassmannians

We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class with certain special Schubert classes. We also give presentations of these rings, with integer coefficients, in terms of special Schubert class generators and relations.

math.AG↗

Stable Grothendieck polynomials and K-theoretic factor sequences

We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood-Richardson rule of [Buch '02]. The proof is based on a generalization of the Robinson-Schensted and Edelman-Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of [Lascoux-Schutzenberger '82]. In particular, we provide the first $K$-theoretic analogue of the factor sequence formula of [Buch-Fulton '99] for the cohomological quiver polynomials.

math.CO↗

Specializations of Grothendieck polynomials

We prove a formula for double Schubert and Grothendieck polynomials specialized to two rearrangements of the same set of variables. Our formula generalizes the usual formulas for Schubert and Grothendieck polynomials in terms of RC-graphs, and it gives immediate proofs of many other important properties of these polynomials.

math.AG↗

Stanley symmetric functions and quiver varieties

In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula is general enough to give new expressions for all known types of Schubert polynomials. In the present paper we discuss the relationship between this formula and Stanley symmetric functions. We show that the coefficients obtained when a Stanley symmetric function is expressed in the basis of Schur functions are special cases of a class of generalized Littlewood-Richardson coefficients appearing in the formula for quiver varieties. We also prove that Fulton's universal Schubert polynomials (math.AG/9702012) satisfy the usual rule for a Schubert polynomial of a product of two permutations.

math.CO↗