Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 391
18 votes
Accepted

Proving Positivity for Schubert Calculus

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 …
Allen Knutson's user avatar
3 votes
Accepted

Reference for restriction formula in terms of double Schubert polynomials

Instead of thinking of the double Schubert polynomial $S_u$ as representing $[\overline{B_- uB}/B] \in H^*_T(GL_n/B)$, equivalently think of it as representing $[\overline{B_- uB}] \in H^*_{T\times B} …
Allen Knutson's user avatar
3 votes
Accepted

expressing in terms of sum of (double) schubert polynomial

First break $p$ into its homogeneous components, since Schubert polynomials are homogeneous. Now find the lex-last term $c \prod_i x_i^{L_i}$ of $p$ -- look for the largest $n$ such that $x_n$ occurs …
Allen Knutson's user avatar
3 votes

Geometric foundation of the Grothendieck polynomials

First, one can resolve the Schubert varieties using Bott-Samelson manifolds, and discover that any two resolutions give the same class upon pushforward. (This good situation ends with K-theory, i.e. i …
Allen Knutson's user avatar
2 votes
Accepted

Schubert Polynomials for Complex Projective Space

In general for a Grassmannian $Gr_k(\mathbb C^n)$, the Schubert polynomials are Schur polynomials in $k$ variables, one for each partition $\lambda$ in a $k\times (n-k)$ rectangle. In this case $S_\la …
Allen Knutson's user avatar