Showing 1–39 of 39 results for author: Buch, A S

Seidel and Pieri products in cominuscule quantum K-theory

Authors: Anders S. Buch, Pierre-Emmanuel Chaput, Nicolas Perrin

Abstract: 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 fo… ▽ More 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. △ Less

Submitted 6 December, 2023; v1 submitted 9 August, 2023; originally announced August 2023.

MSC Class: 14N35 (Primary) 19E08; 14N15; 14M15; 14E08 (Secondary)

Positivity of minuscule quantum K-theory

Authors: Anders S. Buch, Pierre-Emmanuel Chaput, Leonardo C. Mihalcea, Nicolas Perrin

Abstract: 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. Ou… ▽ More 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. △ Less

Submitted 17 May, 2022; originally announced May 2022.

MSC Class: 14N35 (Primary) 19E08; 14N15; 14M15 (Secondary)

Tevelev degrees in Gromov-Witten theory

Authors: Anders S. Buch, Rahul Pandharipande

Abstract: 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 c… ▽ More 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. △ Less

Submitted 29 December, 2021; originally announced December 2021.

MSC Class: Primary 14N35; Secondary 14M10; 14M15; 05E14

Positivity determines the quantum cohomology of Grassmannians

Authors: Anders S. Buch, Chengxi Wang

Abstract: 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(… ▽ More 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. △ Less

Submitted 14 May, 2019; originally announced May 2019.

Comments: 16 pages

MSC Class: Primary 14N35; Secondary 14M15; 05E05; 14N15

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

Authors: Anders S. Buch, Sjuvon Chung, Changzheng Li, Leonardo C. Mihalcea

Abstract: 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… ▽ More 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. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: 10 pages

MSC Class: Primary 14N35; Secondary 19E08; 14N15; 14M15

Euler characteristics of cominuscule quantum K-theory

Authors: Anders Skovsted Buch, Sjuvon Chung

Abstract: We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce that the sum of the structure constants associated to any product of Schubert classes is equal to one. Equivalently, the sheaf Euler characteristic map extends to… ▽ More We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce that the sum of the structure constants associated to any product of Schubert classes is equal to one. Equivalently, the sheaf Euler characteristic map extends to a ring homomorphism defined on the quantum K-theory ring. △ Less

Submitted 22 January, 2017; originally announced January 2017.

Comments: 5 pages

MSC Class: Primary 14N35; Secondary 19E08; 14N15; 14M15

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

Authors: Anders S. Buch, Pierre-Emmanuel Chaput, Leonardo C. Mihalcea, Nicolas Perrin

Abstract: 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 G… ▽ More 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. △ Less

Submitted 8 June, 2017; v1 submitted 25 April, 2016; originally announced April 2016.

Comments: version 2: 28 pages; few examples, and a simplified Chevalley formula in the minuscule case, are added

MSC Class: Primary 14N35; Secondary 19E08; 14N15; 14M15

Mutations of puzzles and equivariant cohomology of two-step flag varieties

Authors: Anders Skovsted Buch

Abstract: We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks t… ▽ More We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks to the equivariant version of the `quantum equals classical' result, our formula specializes to a Littlewood-Richardson rule for the equivariant quantum cohomology of Grassmannians. △ Less

Submitted 29 October, 2014; v1 submitted 13 January, 2014; originally announced January 2014.

Comments: In this version illegal puzzle pieces have been renamed to temporary puzzle pieces. Conjecture 4.7 has been replaced with a counterexample. This is the final version to appear in Annals of Mathematics

MSC Class: Primary 05E05; Secondary 14N15; 14M15; 14N35

The puzzle conjecture for the cohomology of two-step flag manifolds

Authors: Anders Skovsted Buch, Andrew Kresch, Kevin Purbhoo, Harry Tamvakis

Abstract: We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of t… ▽ More We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of type A. The proof of the conjecture proceeds by showing that the puzzle formula defines an associative product on the cohomology ring of the two-step flag variety. It is based on an explicit bijection of gashed puzzles that is analogous to the jeu de taquin algorithm but more complicated. △ Less

Submitted 24 June, 2016; v1 submitted 8 January, 2014; originally announced January 2014.

Comments: Final Version. 32 pages; 381 figures (best viewed in color)

MSC Class: Primary 05E05; Secondary 14N15; 14M15

Projected Gromov-Witten varieties in cominuscule spaces

Authors: Anders S. Buch, Pierre-Emmanuel Chaput, Leonardo C. Mihalcea, Nicolas Perrin

Abstract: 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… ▽ More 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. △ Less

Submitted 8 June, 2017; v1 submitted 9 December, 2013; originally announced December 2013.

Comments: 13 pages

K-theory of minuscule varieties

Authors: Anders Skovsted Buch, Matthew J. Samuel

Abstract: Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without refere… ▽ More Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm. △ Less

Submitted 23 June, 2013; originally announced June 2013.

Comments: 37 pages

MSC Class: Primary 14N15; Secondary 05E15; 19E08; 14M15

Rational connectedness implies finiteness of quantum K-theory

Authors: Anders S. Buch, Pierre-Emmanuel Chaput, Leonardo C. Mihalcea, Nicolas Perrin

Abstract: 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. 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. △ Less

Submitted 24 May, 2013; originally announced May 2013.

Comments: 6 pages

MSC Class: Primary 14N35; Secondary 19E08; 14N15; 14M15; 14M20; 14M22

A Giambelli formula for even orthogonal Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: 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… ▽ More 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. △ Less

Submitted 29 March, 2012; v1 submitted 29 September, 2011; originally announced September 2011.

Comments: 28 pages; added appendix gives geometric description of Schubert varieties, correcting errors in arXiv:0809.4966

MSC Class: 14N15 (Primary) 05E15; 14M15 (Secondary)

Pieri rules for the K-theory of cominuscule Grassmannians

Authors: Anders Skovsted Buch, Vijay Ravikumar

Abstract: We prove Pieri formulas for the multiplication with special Schubert classes in the K-theory of all cominuscule Grassmannians. For Grassmannians of type A this gives a new proof of a formula of Lenart. Our formula is new for Lagrangian Grassmannians, and for orthogonal Grassmannians it proves a special case of a conjectural Littlewood-Richardson rule of Thomas and Yong. Recent work of Thomas an… ▽ More We prove Pieri formulas for the multiplication with special Schubert classes in the K-theory of all cominuscule Grassmannians. For Grassmannians of type A this gives a new proof of a formula of Lenart. Our formula is new for Lagrangian Grassmannians, and for orthogonal Grassmannians it proves a special case of a conjectural Littlewood-Richardson rule of Thomas and Yong. Recent work of Thomas and Yong and of E. Clifford has shown that the full Littlewood-Richardson rule for orthogonal Grassmannians follows from the Pieri case proved here. We describe the K-theoretic Pieri coefficients both as integers determined by positive recursive identities and as the number of certain tableaux. The proof is based on a computation of the sheaf Euler characteristic of triple intersections of Schubert varieties, where at least one Schubert variety is special. △ Less

Submitted 14 May, 2010; originally announced May 2010.

MSC Class: 14N15 (Primary); 19E08; 14M15 (Secondary)

Quantum Giambelli formulas for isotropic Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: 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.2… ▽ More 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. △ Less

Submitted 4 December, 2008; originally announced December 2008.

Comments: 11 pages

MSC Class: 14N35; 05E15; 14M15; 14N15

A Giambelli formula for isotropic Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: 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… ▽ More 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. △ Less

Submitted 4 August, 2010; v1 submitted 17 November, 2008; originally announced November 2008.

Comments: 39 pages; improvements and corrections made to the exposition

MSC Class: 14N15 (Primary) 05E15; 14M15 (Secondary)

Quantum K-theory of Grassmannians

Authors: Anders S. Buch, Leonardo C. Mihalcea

Abstract: 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… ▽ More 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. △ Less

Submitted 13 June, 2009; v1 submitted 6 October, 2008; originally announced October 2008.

Comments: 26 pages, 2 figures; comments welcome

MSC Class: 14N35 (Primary) 19E08; 14M15; 14N15; 14E08 (Primary)

Journal ref: Duke Math. J. 156, no. 3 (2011), 501-538

Quantum Pieri rules for isotropic Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: 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… ▽ More 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. △ Less

Submitted 29 September, 2008; originally announced September 2008.

Comments: 59 pages, LaTeX, 6 figures

MSC Class: 14N35 (Primary) 14M15; 14N15 (Secondary)

Quiver coefficients of Dynkin type

Authors: Anders Skovsted Buch

Abstract: We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and f… ▽ More We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and finiteness properties. Our main result is a formula for the quiver coefficients for orbit closures of Dynkin type with rational singularities, which confirms the finiteness conjecture. This formula is based on Reineke's desingularization of such orbit closures. For quivers of type A3, we give positive combinatorial formulas for the quiver coefficients, which confirm the full conjecture. We also interpret quiver coefficients as formulas for degeneracy loci defined by quivers of vector bundle maps. △ Less

Submitted 24 August, 2007; originally announced August 2007.

MSC Class: 14M12; 05E15; 19E08

Stable Grothendieck polynomials and K-theoretic factor sequences

Authors: Anders S. Buch, Andrew Kresch, Mark Shimozono, Harry Tamvakis, Alexander Yong

Abstract: 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 Litt… ▽ More 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. △ Less

Submitted 20 January, 2006; originally announced January 2006.

Comments: 21 pages

MSC Class: 05E15 (Primary) 14M15; 19E08; 05E05 (Secondary)

Journal ref: Math. Ann. 340 (2008), no. 2, 359--382.

A formula for non-equioriented quiver orbits of type A

Authors: A. S. Buch, R. Rimanyi

Abstract: We prove a positive combinatorial formula for the equivariant class of an orbit closure in the space of representations of an arbitrary quiver of type $A$. Our formula expresses this class as a sum of products of Schubert polynomials indexed by a generalization of the minimal lace diagrams of Knutson, Miller, and Shimozono. The proof is based on the interpolation method of Fehér and Rimányi. We… ▽ More We prove a positive combinatorial formula for the equivariant class of an orbit closure in the space of representations of an arbitrary quiver of type $A$. Our formula expresses this class as a sum of products of Schubert polynomials indexed by a generalization of the minimal lace diagrams of Knutson, Miller, and Shimozono. The proof is based on the interpolation method of Fehér and Rimányi. We also conjecture a more general formula for the equivariant Grothendieck class of an orbit closure. △ Less

Submitted 19 January, 2006; v1 submitted 3 December, 2004; originally announced December 2004.

Comments: Final version to appear in Journal of Algebraic Geometry

MSC Class: 14N10; 57R45; 05E15; 14M12

Eigenvalues of Hermitian matrices with positive sum of bounded rank

Authors: Anders Skovsted Buch

Abstract: We give a minimal list of inequalities characterizing the possible eigenvalues of a set of Hermitian matrices with positive semidefinite sum of bounded rank. This answers a question of A. Barvinok. We give a minimal list of inequalities characterizing the possible eigenvalues of a set of Hermitian matrices with positive semidefinite sum of bounded rank. This answers a question of A. Barvinok. △ Less

Submitted 3 November, 2004; originally announced November 2004.

MSC Class: 15A42 (Primary) 14M15; 05E15 (Secondary)

Quiver coefficients are Schubert structure constants

Authors: Anders Skovsted Buch, Frank Sottile, Alexander Yong

Abstract: We give an explicit natural identification between the quiver coefficients of Buch and Fulton, decomposition coefficients for Schubert polynomials, and the Schubert structure constants for flag manifolds. This is also achieved in K-theory where we give a direct argument that the decomposition coefficients have alternating signs, based on a theorem of Brion, which then implies that the quiver coe… ▽ More We give an explicit natural identification between the quiver coefficients of Buch and Fulton, decomposition coefficients for Schubert polynomials, and the Schubert structure constants for flag manifolds. This is also achieved in K-theory where we give a direct argument that the decomposition coefficients have alternating signs, based on a theorem of Brion, which then implies that the quiver coefficients have alternating signs. Our identification shows that known combinatorial formulas for the latter two numbers give formulas for the quiver coefficients. △ Less

Submitted 21 November, 2003; originally announced November 2003.

Comments: 7 pages, 5 figures

MSC Class: 05E05; 14M15; 06A07

Journal ref: Mathematical Research Letters, Volume 12, Issue 4, 567-574 (2005).

Positivity of quiver coefficients through Thom polynomials

Authors: A. S. Buch, L. M. Feher, R. Rimanyi

Abstract: Let r be an orbit of the quiver representation of type A_n (equioriented case). In this paper we study the Poincare dual of the closure of r (a.c.a. Thom polynomial/degeneracy loci formula) in equivariant cohomology. Using general Thom polynomial theory we prove the component formula and its stable version of [Knutson-Miller-Shimozono] as well as the positivity of the quiver coefficients of [Buc… ▽ More Let r be an orbit of the quiver representation of type A_n (equioriented case). In this paper we study the Poincare dual of the closure of r (a.c.a. Thom polynomial/degeneracy loci formula) in equivariant cohomology. Using general Thom polynomial theory we prove the component formula and its stable version of [Knutson-Miller-Shimozono] as well as the positivity of the quiver coefficients of [Buch-Fulton]. We also show how the component formula follows from Grobner degeneration easily. In relation with the K-theory counterpart of the formula we give a new description of KMS factorizations based on transformations of lace diagrams. △ Less

Submitted 12 November, 2003; originally announced November 2003.

Comments: 12 pages

MSC Class: 14N10; 57R45; 05E15

Specializations of Grothendieck polynomials

Authors: Anders S. Buch, Richard Rimanyi

Abstract: 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. 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. △ Less

Submitted 11 August, 2003; originally announced August 2003.

Comments: 4 pages, 1 figure

MSC Class: 14M15

Alternating signs of quiver coefficients

Authors: Anders Skovsted Buch

Abstract: We prove K-theoretic generalizations of the component formulas of Knutson, Miller, and Shimozono, and deduce that K-theoretic quiver coefficients have alternating signs. We also prove new variants of the factor sequences conjecture, and a conjecture of Knutson, Miller, and Shimozono stating that the double ratio formula agrees with the original quiver formulas. For completeness we include a shor… ▽ More We prove K-theoretic generalizations of the component formulas of Knutson, Miller, and Shimozono, and deduce that K-theoretic quiver coefficients have alternating signs. We also prove new variants of the factor sequences conjecture, and a conjecture of Knutson, Miller, and Shimozono stating that the double ratio formula agrees with the original quiver formulas. For completeness we include a short proof of the ratio formula for quiver varieties. △ Less

Submitted 23 December, 2003; v1 submitted 1 July, 2003; originally announced July 2003.

Comments: This paper has been reorganized to accommodate new variations of the factor sequences conjecture. A short proof of the ratio formula has also been added for completeness. 20 pages

MSC Class: 05E15 (Primary) 14M15; 14M12; 19E08 (Secondary)

Littlewood-Richardson rules for Grassmannians

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis

Abstract: We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules. We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 9 pages, LaTeX2e, to appear in Advances in Mathematics

MSC Class: 05E15 (Primary) 14M15 (Secondary)

Grothendieck polynomials and quiver formulas

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis, Alexander Yong

Abstract: Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alterna… ▽ More Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Schützenberger. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 13 pages, LaTeX2e

MSC Class: 05E15 (Primary) 14M15; 19E08 (Secondary)

Journal ref: Amer. J. Math., 127 (2005), 551--567.

Gromov-Witten invariants on Grassmannians

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis

Abstract: We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littl… ▽ More We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littlewood-Richardson rule, and in the other classical Lie types, to obtain new proofs of the main structure theorems for the quantum cohomology of Lagrangian and orthogonal Grassmannians. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 15 pages, LaTeX2e, to appear in J. Amer. Math. Soc

MSC Class: 14N35 (Primary) 14M15; 14N15; 05E15 (Secondary)

Quantum cohomology of partial flag manifolds

Authors: Anders Skovsted Buch

Abstract: 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. 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. △ Less

Submitted 19 March, 2003; originally announced March 2003.

Comments: 15 pages

MSC Class: 14N35 (primary); 14M15; 05E15 (secondary)

Schubert Polynomials and Quiver Formulas

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis, Alexander Yong

Abstract: The work of Buch and Fulton established a formula for a general kind of degeneracy locus associated to an oriented quiver of type $A$. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coeffic… ▽ More The work of Buch and Fulton established a formula for a general kind of degeneracy locus associated to an oriented quiver of type $A$. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coefficients when the rank conditions defining the degeneracy locus are given by a permutation. In particular, this gives new expansions for Fulton's universal Schubert polynomials and the Schubert polynomials of Lascoux and Schützenberger. △ Less

Submitted 19 November, 2002; originally announced November 2002.

Comments: 13 pages

MSC Class: 05E15; 14M15

Journal ref: Duke Math Journal, Volume 122, Issue 1, 125-143 (2004)

Direct proof of the quantum Monk's formula

Authors: Anders Skovsted Buch

Abstract: We give a direct geometric proof of the quantum Monk's formula which relies only on classical Schubert calculus. We give a direct geometric proof of the quantum Monk's formula which relies only on classical Schubert calculus. △ Less

Submitted 29 July, 2001; v1 submitted 27 July, 2001; originally announced July 2001.

Comments: 6 pages

MSC Class: 14N35 (Primary) 14M15 (Secondary)

Quantum cohomology of Grassmannians

Authors: Anders Skovsted Buch

Abstract: We give elementary proofs of the main theorems about (small) quantum cohomology of Grassmannians, including the quantum Giambelli and quantum Pieri formulas, the rim-hook algorithm, Siebert and Tian's presentation, and a recent theorem of Fulton and Woodward about the minimal q-power which appears in a product of two Schubert classes. We give elementary proofs of the main theorems about (small) quantum cohomology of Grassmannians, including the quantum Giambelli and quantum Pieri formulas, the rim-hook algorithm, Siebert and Tian's presentation, and a recent theorem of Fulton and Woodward about the minimal q-power which appears in a product of two Schubert classes. △ Less

Submitted 1 July, 2001; v1 submitted 29 June, 2001; originally announced June 2001.

Comments: 8 pages

MSC Class: 14N35 (Primary) 14M15; 05E05 (Secondary)

Grothendieck classes of quiver varieties

Authors: Anders Skovsted Buch

Abstract: We prove a formula for the structure sheaf of a quiver variety in the Grothendieck ring of its embedding variety. This formula generalizes and gives new expressions for Grothendieck polynomials. We furthermore conjecture that the coefficients in our formula have signs which alternate with degree. The proof of our formula involves $K$-theoretic generalizations of several useful cohomological tool… ▽ More We prove a formula for the structure sheaf of a quiver variety in the Grothendieck ring of its embedding variety. This formula generalizes and gives new expressions for Grothendieck polynomials. We furthermore conjecture that the coefficients in our formula have signs which alternate with degree. The proof of our formula involves $K$-theoretic generalizations of several useful cohomological tools, including the Thom-Porteous formula, the Jacobi-Trudi formula, and a Gysin formula of Pragacz. △ Less

Submitted 2 April, 2001; originally announced April 2001.

Comments: 21 pages

MSC Class: 14M15 (Primary) 14M12; 19E08; 05E05 (Secondary)

A Littlewood-Richardson rule for the K-theory of Grassmannians

Authors: Anders Skovsted Buch

Abstract: We prove an explicit combinatorial formula for the structure constants of the Grothendieck ring of a Grassmann variety with respect to its basis of Schubert structure sheaves. We furthermore relate K-theory of Grassmannians to a bialgebra of stable Grothendieck polynomials, which is a K-theory parallel of the ring of symmetric functions. We prove an explicit combinatorial formula for the structure constants of the Grothendieck ring of a Grassmann variety with respect to its basis of Schubert structure sheaves. We furthermore relate K-theory of Grassmannians to a bialgebra of stable Grothendieck polynomials, which is a K-theory parallel of the ring of symmetric functions. △ Less

Submitted 15 August, 2000; v1 submitted 20 April, 2000; originally announced April 2000.

Comments: This revision adds proofs of some unpublished results of A. Knutson regarding triple intersections of schubert structure sheaves, as well as an announcement from A. Lascoux that he can prove our Conjecture 6.14

MSC Class: 14M15 (Primary) 19E08; 05E05; 05E10 (Secondary)

Stanley symmetric functions and quiver varieties

Authors: Anders S. Buch

Abstract: 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 ex… ▽ More 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. △ Less

Submitted 15 September, 1999; originally announced September 1999.

Comments: 13 pages, 11 figures

MSC Class: 05E05 (Primary) 14M15 (Secondary)

On a conjectured formula for quiver varieties

Authors: Anders S. Buch

Abstract: In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be non-negative. We conjecture that each of these coefficients count the number of sequences of semistandard Young tableaux which satisfy certain conditions. In… ▽ More In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be non-negative. We conjecture that each of these coefficients count the number of sequences of semistandard Young tableaux which satisfy certain conditions. In this paper I give a proof of this conjecture in the special case where the quiver variety can be described by at most four vector bundles. I also prove that the general conjecture follows from a simple combinatorial statement for which substantial computer verification has been obtained. △ Less

Submitted 15 September, 1999; originally announced September 1999.

Comments: 19 pages, rich supply of figures. This is half of my thesis, "Combinatorics of degeneracy loci"

MSC Class: 05E05 (Primary) 14M12; 05E10 (Secondary)

The saturation conjecture (after A. Knutson and T. Tao)

Authors: Anders S. Buch

Abstract: In this exposition we give a simple and complete treatment of A. Knutson and T. Tao's recent proof (http://front.math.ucdavis.edu/math.RT/9807160) of the saturation conjecture, which asserts that the Littlewood-Richardson semigroup is saturated. The main tool is Knutson and Tao's hive model for Berenstein-Zelevinsky polytopes. In an appendix of W. Fulton it is shown that the hive model is equiva… ▽ More In this exposition we give a simple and complete treatment of A. Knutson and T. Tao's recent proof (http://front.math.ucdavis.edu/math.RT/9807160) of the saturation conjecture, which asserts that the Littlewood-Richardson semigroup is saturated. The main tool is Knutson and Tao's hive model for Berenstein-Zelevinsky polytopes. In an appendix of W. Fulton it is shown that the hive model is equivalent to the original Littlewood-Richardson rule. △ Less

Submitted 30 October, 1998; originally announced October 1998.

Comments: Latex document, 12 pages, 24 figures

MSC Class: 05E15 (Primary) 06B15; 05E10 (Secondary)

Chern class formulas for quiver varieties

Authors: Anders S. Buch, William Fulton

Abstract: In this paper a formula is proved for the general degeneracy locus associated to an oriented quiver of type A_n. Given a finite sequence of vector bundles with maps between them, these loci are described by putting rank conditions on arbitrary composites of the maps. Our answer is a polynomial in Chern classes of the bundles involved, depending on the given rank conditions. It can be expressed a… ▽ More In this paper a formula is proved for the general degeneracy locus associated to an oriented quiver of type A_n. Given a finite sequence of vector bundles with maps between them, these loci are described by putting rank conditions on arbitrary composites of the maps. Our answer is a polynomial in Chern classes of the bundles involved, depending on the given rank conditions. It can be expressed as a linear combination of products of Schur polynomials in the differences of the bundles. The coefficients are interesting generalizations of Littlewood-Richardson numbers. These polynomials specialize to give new formulas for Schubert polynomials. △ Less

Submitted 7 April, 1998; originally announced April 1998.

Comments: 17 pages, 20 figures. The document is available as a .tar.gz file containing one LaTeX2e file and 20 (included) postscript files. Packages xypic and psfrag are used. Note that when viewed with xdvi, the text in figures looks bad, but it comes out right when printed. The paper is also available as one postscript file at http://www.math.uchicago.edu/~abuch/papers/quiver.ps.gz

MSC Class: 14C17 (Primary) 05E05; 14M15 (Secondary)