Four positive formulae for type A quiver polynomials

By Allen Knutson, Ezra Miller, Mark Shimozono. 2003

74 citations recorded by the source corpus.

We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton [BF99 ]. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that their summands have coefficient 1 and correspond bijectively to components of a torus-invariant scheme. The remaining (presently non-geometric) formula is a variant of the conjecture of Buch and Fulton in terms of factor sequences of Young tableaux [BF99 ]; our proof of it proceeds by way of a new characterization of the tableaux counted by quiver constants. All four formulae come naturally in “doubled” versions, two for double quiver polynomials, and the other two for their stable limits, the double quiver functions, where setting half the variables equal to the other half specializes to the ordinary case.Our method begins by identifying quiver polynomials as multidegrees [BB82 , Jos84 , BB85 , Ros89 ] via equivariant Chow groups [EG98 ]. Then we make use of Zelevinsky’s map from quiver loci to open subvarieties of Schubert varieties in partial flag manifolds [Zel85 ]. Interpreted in equivariant cohomology, this lets us write double quiver polynomials as ratios of double Schubert polynomials [LS82 ] associated to Zelevinsky permutations; this is our first formula. In the process, we provide a simple argument that Zelevinsky maps are scheme-theoretic isomorphisms (originally proved in [LM98 ]). Writing double Schubert polynomials in terms of pipe dreams [FK96 ] then provides another geometric formula for double quiver polynomials, via [KM05 ]. The combinatorics of pipe dreams for Zelevinsky permutations implies an expression for limits of double quiver polynomials in terms of products of Stanley symmetric functions [Sta84 ]. A degeneration of quiver loci (orbit closures of GL on quiver representations) to unions of products of matrix Schubert varieties [Ful92 , KM05 ] identifies the summands in our Stanley function formula combinatorially, as lacing diagrams that we construct based on the strands of Abeasis and Del Fra in the representation theory of quivers [AD80 ]. Finally, we apply the combinatorial theory of key polynomials to pass from our lacing diagram formula to a double Schur function formula in terms of peelable tableaux [RS95a , RS98 ], and from there to our formula of Buch–Fulton type.

Subfields: Discrete Mathematics and Combinatorics, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/6043924e73370360df73d4d0196ca1e0514b375a

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Discrete Mathematics and Combinatorics

In Geometry and Topology

In Mathematical Physics

Citations in the corpus

A jeu de taquin theory for increasing tableaux, with applications to K-theoretic Schubert calculus (2007, unknown): “We believe that further developing this connection may allow one to, for example, prove a K-theory analogue of the “factor sequence formula” conjectured in [BuFu99] and proved in [ KnMiSh03 ], which is a problem that has remained open in this topic, see [Bu02b, Bu05b].”
Toric degeneration of Schubert varieties and Gelfand¿Tsetlin polytopes (2003, background): “Sometimes the varieties involved have been classical flag and Schubert varieties [Kog00, Vak03a, Vak03b], and other times they have been closely related affine varieties [KM03, KMS03 ].”
Representations of algebras (2017, background): “torially characterize the degeneration order on orbits in repQ(d) (which they call the “geometrical ordering”). Knutson, Miller, and Shimozono introduced a reﬁnement of Abeasis and del Fra’s diagrams [KMS06] for equioriented type A quivers, realizing 4 RYAN KINSER that allowing the laces to cross en”