Flag5
The ideal corresponding to the embedding of Flag
5 into a product of Grassmannians Gr(1,5)xGr(2,5)xGr(3,5)xGr(4,5) and further with respect to the Plücker embedding of each Grassmannian into a product of projective spaces is generated by
p
3,4,5p
1,2,4,5-p
2,4,5p
1,3,4,5+p
1,4,5p
2,3,4,5,
p
3,4,5p
1,2,3,5-p
2,3,5p
1,3,4,5+p
1,3,5p
2,3,4,5,
p
2,4,5p
1,2,3,5-p
2,3,5p
1,2,4,5+p
1,2,5p
2,3,4,5,
p
1,4,5p
1,2,3,5-p
1,3,5p
1,2,4,5+p
1,2,5p
1,3,4,5,
p
4,5p
1,2,3,5-p
3,5p
1,2,4,5+p
2,5p
1,3,4,5-p
1,5p
2,3,4,5,
p
3,4,5p
1,2,3,4-p
2,3,4p
1,3,4,5+p
1,3,4p
2,3,4,5,
p
2,4,5p
1,2,3,4-p
2,3,4p
1,2,4,5+p
1,2,4p
2,3,4,5,
p
1,4,5p
1,2,3,4-p
1,3,4p
1,2,4,5+p
1,2,4p
1,3,4,5,
p
2,3,5p
1,2,3,4-p
2,3,4p
1,2,3,5+p
1,2,3p
2,3,4,5,
p
1,3,5p
1,2,3,4-p
1,3,4p
1,2,3,5+p
1,2,3p
1,3,4,5,
p
1,2,5p
1,2,3,4-p
1,2,4p
1,2,3,5+p
1,2,3p
1,2,4,5,
p
4,5p
1,2,3,4-p
3,4p
1,2,4,5+p
2,4p
1,3,4,5-p
1,4p
2,3,4,5,
p
3,5p
1,2,3,4-p
3,4p
1,2,3,5+p
2,3p
1,3,4,5-p
1,3p
2,3,4,5,
p
2,5p
1,2,3,4-p
2,4p
1,2,3,5+p
2,3p
1,2,4,5-p
1,2p
2,3,4,5,
p
1,5p
1,2,3,4-p
1,4p
1,2,3,5+p
1,3p
1,2,4,5-p
1,2p
1,3,4,5,
p
5p
1,2,3,4-p
4p
1,2,3,5+p
3p
1,2,4,5-p
2p
1,3,4,5+p
1p
2,3,4,5,
p
2,3,5p
1,4,5-p
1,3,5p
2,4,5+p
1,2,5p
3,4,5,
p
2,3,4p
1,4,5-p
1,3,4p
2,4,5+p
1,2,4p
3,4,5,
p
4,5p
2,3,5-p
3,5p
2,4,5+p
2,5p
3,4,5,
p
2,3,4p
1,3,5-p
1,3,4p
2,3,5+p
1,2,3p
3,4,5,
p
4,5p
1,3,5-p
3,5p
1,4,5+p
1,5p
3,4,5,
p
2,3,4p
1,2,5-p
1,2,4p
2,3,5+p
1,2,3p
2,4,5,
p
1,3,4p
1,2,5-p
1,2,4p
1,3,5+p
1,2,3p
1,4,5,
p
4,5p
1,2,5-p
2,5p
1,4,5+p
1,5p
2,4,5,
p
3,5p
1,2,5-p
2,5p
1,3,5+p
1,5p
2,3,5,
p
3,4p
1,2,5-p
2,4p
1,3,5+p
1,4p
2,3,5+p
2,3p
1,4,5-p
1,3p
2,4,5+p
1,2p
3,4,5,
p
4,5p
2,3,4-p
3,4p
2,4,5+p
2,4p
3,4,5,
p
3,5p
2,3,4-p
3,4p
2,3,5+p
2,3p
3,4,5,
p
2,5p
2,3,4-p
2,4p
2,3,5+p
2,3p
2,4,5,
p
1,5p
2,3,4-p
1,4p
2,3,5+p
1,3p
2,4,5-p
1,2p
3,4,5,
p
5p
2,3,4-p
4p
2,3,5+p
3p
2,4,5-p
2p
3,4,5,
p
4,5p
1,3,4-p
3,4p
1,4,5+p
1,4p
3,4,5,
p
3,5p
1,3,4-p
3,4p
1,3,5+p
1,3p
3,4,5,
p
2,5p
1,3,4-p
2,4p
1,3,5+p
2,3p
1,4,5+p
1,2p
3,4,5,
p
1,5p
1,3,4-p
1,4p
1,3,5+p
1,3p
1,4,5,
p
5p
1,3,4-p
4p
1,3,5+p
3p
1,4,5-p
1p
3,4,5,
p
4,5p
1,2,4-p
2,4p
1,4,5+p
1,4p
2,4,5,
p
3,5p
1,2,4-p
2,4p
1,3,5+p
1,4p
2,3,5+p
1,2p
3,4,5,
p
2,5p
1,2,4-p
2,4p
1,2,5+p
1,2p
2,4,5,
p
1,5p
1,2,4-p
1,4p
1,2,5+p
1,2p
1,4,5,
p
3,4p
1,2,4-p
2,4p
1,3,4+p
1,4p
2,3,4,
p
5p
1,2,4-p
4p
1,2,5+p
2p
1,4,5-p
1p
2,4,5,
p
4,5p
1,2,3-p
2,3p
1,4,5+p
1,3p
2,4,5-p
1,2p
3,4,5,
p
3,5p
1,2,3-p
2,3p
1,3,5+p
1,3p
2,3,5,
p
2,5p
1,2,3-p
2,3p
1,2,5+p
1,2p
2,3,5,
p
1,5p
1,2,3-p
1,3p
1,2,5+p
1,2p
1,3,5,
p
3,4p
1,2,3-p
2,3p
1,3,4+p
1,3p
2,3,4,
p
2,4p
1,2,3-p
2,3p
1,2,4+p
1,2p
2,3,4,
p
1,4p
1,2,3-p
1,3p
1,2,4+p
1,2p
1,3,4,
p
5p
1,2,3-p
3p
1,2,5+p
2p
1,3,5-p
1p
2,3,5,
p
4p
1,2,3-p
3p
1,2,4+p
2p
1,3,4-p
1p
2,3,4,
p
3,4p
2,5-p
2,4p
3,5+p
2,3p
4,5,
p
3,4p
1,5-p
1,4p
3,5+p
1,3p
4,5,
p
2,4p
1,5-p
1,4p
2,5+p
1,2p
4,5,
p
2,3p
1,5-p
1,3p
2,5+p
1,2p
3,5,
p
5p
3,4-p
4p
3,5+p
3p
4,5,
p
5p
2,4-p
4p
2,5+p
2p
4,5,
p
2,3p
1,4-p
1,3p
2,4+p
1,2p
3,4,
p
5p
1,4-p
4p
1,5+p
1p
4,5,
p
5p
2,3-p
3p
2,5+p
2p
3,5,
p
4p
2,3-p
3p
2,4+p
2p
3,4,
p
5p
1,3-p
3p
1,5+p
1p
3,5,
p
4p
1,3-p
3p
1,4+p
1p
3,4,
p
5p
1,2-p
2p
1,5+p
1p
2,5,
p
4p
1,2-p
2p
1,4+p
1p
2,4,
p
3p
1,2-p
2p
1,3+p
1p
2,3
Click
here for the ideal in
Macaulay2 code.
We compute the ideals for degenerate Schubert varieties by taking the initial ideal of the Schubert varieties with respect to the weight vector
w=(1,1,1,1,0,1,1,2,1,2,2,0,1,1,1,1,1,2,2,0,1,1,1,1,2,1,0,1,1,1)
The entries of w are with respect to the order on Plücker coordinates:
p
1, p
2, p
3, p
4, p
5,
p
1,2, p
1,3, p
2,3, p
1,4, p
2,4, p
3,4,
p
1,5,p
2,5,p
3,5,p
4,5,
p
1,2,3, p
1,2,4, p
1,3,4, p
2,3,4, p
1,2,5, p
1,3,5, p
2,3,5,p
1,4,5,p
2,4,5,p
3,4,5,
p
1,2,3,4,p
1,2,3,5,p
1,2,4,5,p
1,3,4,5,p
2,3,4,5.
The ideals can be found
here.
We compute further the primary decompositions of the initial ideals to see if the degenerate Schubert varieties are irreducible. It turns out that the following observation is true for Flag
5: if none of the Plücker relations degenerates to a monomial when considering their initial form wrt w, then the ideal for the degenerate Schubert variety is prime.
All primary decompositons can be found
here.