Let $S_u(x)$ be a Schubert polynomial and let $S_v(x;y)$ be a double Schubert polynomial. Then their product can be expressed in terms of the double Schubert polynomials as $$S_u(x)S_v(x;y)=\sum_w{c_{uv}^w(y)S_w(x;y)}$$ where the $c_{uv}^w(y)$ are polynomials in the $y$ variables.

If $u,v$ are Grassmannian permutations for the same parabolic subgroup, then the Molev-Sagan rule for factorial Schur functions implies that $c_{uv}^w(y)$ has nonnegative integer coefficients. Is it known whether $c_{uv}^w(y)$ has nonnegative coefficients for general permutations?

As mentioned in the comment below, I've tested this up to $n=6$. Since proving positivity of these coefficients subsumes proving positivity of the structure constants in ordinary cohomology of flag varieties, any proof with current tools would likely be geometric. I think the key would be the double/triple Schubert calculus mentioned in Knutson and Tao's paper "Puzzles and (equivariant) cohomology of Grassmannians," so I'm basically wondering if anyone has studied those concepts enough to have a geometric proof of positivity for the complete flag variety.

  • $\begingroup$ Have you tried some computer experiments on this? Of course, proving this is probably very hard unless there is some representation-theoretical way to do it. $\endgroup$ – Per Alexandersson Aug 1 '15 at 5:12
  • 1
    $\begingroup$ @PerAlexandersson I've tested it up to $n=6$. $\endgroup$ – Matt Samuel Aug 1 '15 at 11:49
  • 1
    $\begingroup$ I believe I have a Pieri formula for this now. $\endgroup$ – Matt Samuel Aug 25 '15 at 18:00
  • 1
    $\begingroup$ Though it doesn't explicitly answer the question, you might find the end of this note relevant: people.math.osu.edu/anderson.2804/eilenberg/lecture11.pdf $\endgroup$ – Dave Anderson Jun 5 '16 at 20:38
  • 1
    $\begingroup$ Also, I think the method from this note might adapt to your situation: arxiv.org/abs/0711.0983 $\endgroup$ – Dave Anderson Jun 5 '16 at 20:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.