Combinatorial proofs of the type A quiver component formulas
Abstract
The K-theoretic quiver component formula expresses the K-polynomial of a type A quiver locus as an alternating sum of products of double Grothendieck polynomials. This formula was conjectured by A. Buch and R. Rim\'anyi and later proved by R. Kinser, A. Knutson, and the second author. We provide a new proof of this formula which replaces Gr\"obner degenerations by combinatorics. Along the way, we obtain a new proof of A. Buch and R. Rim\'anyi's cohomological quiver component formula. Again, our proof replaces geometric techniques by combinatorics.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.