Proving Positivity for Schubert Calculus
Proving Positivity for Schubert Calculus
In study of the cohomology ring of the Grassmannians, which is usually known as Schubert calculus, one usually deals with a distinguished basis known as the Schubert basis $sigma_lambda$. One of the most properties of this basis is positivity, the fact that for any two basis elements $sigma_lambda$ and $sigma_nu$, the multiplication constants
$$
sigma_lambda bullet sigma_mu = sum_nu c_lambda,mu^nu sigma_nu
$$
satisfy the positivity condition
$$
c_lambda,mu^nu geq 0, ~~~~~~~~ text for all nu.
$$
Searching the literature, there seem to be a number of different proofs of this property, the relation between which is not always clear. Can people out there offer an opinion on which is the most insightful approach to proving positivity and what are the advantages/disadvantages or intuitons offered by the other approaches.
$begingroup$
Yes, this is more precise. It has been corrected. Merci!
$endgroup$
– Pierre Dubois
Sep 10 '18 at 23:15
$begingroup$
Well positivity of the Littlewood-Richardson coefficients is obvious from the representation theory side of things. But maybe this is not what you are asking.
$endgroup$
– Sam Hopkins
Sep 11 '18 at 1:31
$begingroup$
Same question for quantum cohomology and Gromov-Witten invariants ;)
$endgroup$
– darij grinberg
Sep 11 '18 at 2:02
1 Answer
1
I would say there are three basic reasons for / proofs of positivity.
Geometry. [Kleiman 1973] proves that the number one's trying to compute is the number of points in a transverse intersection of cycles. Ergo, a nonnegative number.
Combinatorics. Present the cohomology ring of $Gr(k,n)$ as a quotient of that of $Gr(k,infty)$, taking Schubert classes to Schubert classes or to zero. The latter ring is a polynomial ring containing the Schur polynomials in $x_1,ldots,x_k$, which give the Schubert classes. There are various combinatorial proofs of the Littlewood-Richardson rule for multiplication of Schur polynomials. Once you know this rule is correct, then you know the coefficients are nonnegative.
Representation theory. The Schur polynomials also give the characters of "polynomial" representations of $GL(k)$, multiplication corresponds to tensor product, and decomposing in the Schur polynomial basis corresponds to decomposing the representation. Here, the coefficients are dimensions of intertwining spaces, thus nonnegative.
Perhaps the principal way to judge advantage/disadvantages of these approaches is to ask how or whether they generalize beyond the original question you ask, concerning cohomology of Grassmannians. #1 generalizes in many ways, in particular to other homogeneous spaces and other cohomology theories (equivariant, $K$, quantum, etc.) #3 generalizes to representations of other groups.
My favorite connection between #1 and #2 is Ravi Vakil's "geometric Littlewood-Richardson rule". Probably the best connection of #2 and #3 is via the theory of crystals. In both cases one can retrodict some of the combinatorial theory. The best connection I know of #1 and #3 is Belkale's construction of a tensor invariant, given an intersection point of three Schubert cycles, such that the tensor invariants constructed form a basis.
Which approach is the most insightful... I guess I have to admit a predilection for the geometry. Certainly there are many generalizations of the original problem for which we have geometric proofs of positivity but no combinatorial proofs. Maybe the simplest one involves cohomology of $d$-step flag manifolds, where $dgeq 4$ (the $d=3$ case only solved last year, in a way that doesn't extend to $dgeq 4$).
$begingroup$
It might also be worth recording the symmetric group representation theoretic meaning of the LR coefficients.
$endgroup$
– Sam Hopkins
Sep 11 '18 at 1:57
$begingroup$
Okay, sure. That's Schur-Weyl duality applied to #3. I don't know how to apply understanding of $S_n$ (or other finite group) representation theory to retrodict the L-R combinatorics, in anything analogous to the theory of crystals on the $GL(k)$ side (but would be very interested to hear).
$endgroup$
– Allen Knutson
Sep 11 '18 at 17:22
$begingroup$
As far as I remember there is also a very beautiful proof based on something called "Mondrean Diagrams" that give an actual algorithm to expand the product in a way that only involve positive numbers without cancelations at all. It is also very geometric. Unfortunately I can not find the refference I once came across.
$endgroup$
– S. carmeli
Sep 11 '18 at 18:38
$begingroup$
Mondrian tableaux: homepages.math.uic.edu/~coskun/onceagain.pdf
$endgroup$
– Sam Hopkins
Sep 11 '18 at 23:29
Thanks for contributing an answer to MathOverflow!
But avoid …
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Required, but never shown
Required, but never shown
By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.
$begingroup$
Isn't it just $c_lambda, mu^nu ge 0$, not $c_lambda, mu^nu > 0$?
$endgroup$
– LSpice
Sep 10 '18 at 23:06