Related papers: Signed puzzles for Schubert coefficients

We introduce a family of rings of symmetric functions depending on an infinite sequence of parameters. A distinguished basis of such a ring is comprised by analogues of the Schur functions. The corresponding structure coefficients are…

We give restriction formula for stable basis of the Springer resolution, and generalize it to cotangent bundles of homogeneous spaces. By a limiting process, we get the restriction formula of Schubert varieties.

Present notes can be viewed as an attempt to extend the notion of Schubert/Grothendieck polynomial to the context of an arbitrary algebraic oriented cohomology theory and, hence, of a commutative one-dimensional formal group law.

The expansion of a Schubert polynomial into slide polynomials corresponds to a sum over sub-balls in the subword complex. There has been recent interest in other, coarser, expansions of Schubert polynomials. We extend the methods used in…

We prove Samuel's conjecture on certain Graham positivity of the expansion coefficient of two double Schubert polynomials in three sets of variables by establishing a refined version of Graham's positivity theorem. As a corollary, we prove…

Using a generalization of the Schensted insertion algorithm to rc-graphs, we provide a Littlewood-Richardson rule for multiplying certain Schubert polynomials by Schur polynomials.

We give a positive equivariant Littlewood-Richardson rule also discovered independently by Molev. Our proof generalizes a proof by Stembridge of the ordinary Littlewood-Richardson rule. We describe a weight-preserving bijection between our…

We create several families of bases for the symmetric polynomials. From these bases we prove that certain Schur symmetric polynomials form a basis for quotients of symmetric polynomials that generalize the cohomology and the quantum…

We study Schur Q-polynomials evaluated on a geometric progression, or equivalently q-enumeration of marked shifted tableaux, seeking explicit formulas that remain regular at q=1. We obtain several such expressions as multiple basic…

In Schubert Puzzles and Integrability I we proved several "puzzle rules" for computing products of Schubert classes in K-theory (and sometimes equivariant K-theory) of d-step flag varieties. The principal tool was "quantum integrability",…

A sharp estimation of the $L^p$-norms of some matrix coefficients of the square integrable representations is conjectured. The conjecture can be proved for integer values of $p$ using a result of J. Burbea.

We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving…

We try to understand and justify Schubert Calculus the way Schubert did it.

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…

In 2005, A. Knutson--R. Vakil conjectured a puzzle rule for equivariant K-theory of Grassmannians. We resolve this conjecture. After giving a correction, we establish a modified rule by combinatorially connecting it to the authors' recently…

Counting integral binary quadratic forms with certain restrictions is a classical problem. In this paper, we count binary quadratic forms of fixed discriminant given restrictions on the size of their coefficients. We accomplish this by…

The nonvanishing problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby,…

We show the equivalence of the Pieri formula for flag manifolds and certain identities among the structure constants, giving new proofs of both the Pieri formula and of these identities. A key step is the association of a symmetric function…

This chapter combines an introduction and research survey about Schubert varieties. The theme is to combinatorially classify their singularities using a family of polynomial ideals generated by determinants.

The "back-stabilization number" for products of Schubert polynomials is the distance the corresponding permutations must be shifted before the structure constants stabilize. We give an explicit formula for this number and thereby prove a…