Schubert -- compute the Plücker ideal of a Schubert variety

Usage:

Schubert(k,n,sigma)
Inputs:
- k
- n
- sigma, a subset of 0..n of size k+1 that indexes the Schubert variety
Optional inputs:
- CoefficientRing => a ring, default value ZZ, the coefficient ring for the polynomial ring to be made
- Variable => a symbol, default value "p", the base symbol for the indexed variables to be used. The subscripts are the elements of subsets(n+1,k+1), converted to sequences and, if k is 0, converted to integers.
Outputs:
- an ideal, the ideal of the Schubert variety indexed by sigma

Description

Given natural numbers $k \le{} n$, this routine finds the ideal of the Schubert variety indexed by sigma in the Grassmannian of projective $k$-planes in $P^n$.

For example, the ideal of the Schubert variety indexed by $\{1,2,4\}$ in the Grassmannian of projective planes in $P^4$ is displayed in the following example.

i1 : I = Schubert(2,4,{1,2,4},CoefficientRing => QQ)

o1 = ideal (p     , p     , p     , p     p      - p     p     , p     p     
             2,3,4   1,3,4   0,3,4   1,2,3 0,2,4    0,2,3 1,2,4   1,2,3 0,1,4
     ------------------------------------------------------------------------
     - p     p     , p     p      - p     p     )
        0,1,3 1,2,4   0,2,3 0,1,4    0,1,3 0,2,4

o1 : Ideal of QQ[p     ..p     , p     , p     , p     , p     , p     , p     , p     , p     ]
                  0,1,2   0,1,3   0,2,3   1,2,3   0,1,4   0,2,4   1,2,4   0,3,4   1,3,4   2,3,4

i2 : R = ring I;

i3 : C = res I

      1      6      14      16      9      2
o3 = R  <-- R  <-- R   <-- R   <-- R  <-- R  <-- 0
                                                  
     0      1      2       3       4      5      6

o3 : ChainComplex

i4 : betti C

            0 1  2  3 4 5
o4 = total: 1 6 14 16 9 2
         0: 1 3  3  1 . .
         1: . 3 11 15 9 2

o4 : BettiTally

Ways to use Schubert:

Schubert(ZZ,ZZ,VisibleList)

For the programmer

The object Schubert is a method function with options.

The source of this document is in Macaulay2Doc/functions/Grassmannian-doc.m2:69:0.

Schubert -- compute the Plücker ideal of a Schubert variety

Description

See also

Ways to use Schubert:

For the programmer