|
D.15.23.6 Grassmannian
Procedure from library schubert.lib (see schubert_lib).
- Usage:
- Grassmannian(k,n); k int, n int
- Return:
- variety
- Theory:
- create a Grassmannian G(k,n) as an abstract variety. This abstract
variety has diemnsion k(n-k) and its Chow ring is the quotient ring
of a polynomial ring in n-k variables q(1),...,q(n-k), which are the
Chern classes of tautological quotient bundle on G(k,n), modulo some
ideal generated by n-k polynomials which come from the Giambelli
formula. The monomial ordering of this Chow ring is 'wp' with vector
(1..k,1..n-k). Moreover, we export the Chern characters of
tautological subbundle and quotient bundle on G(k,n)
(say 'subBundle' and 'quotientBundle').
Example:
See also:
projectiveBundle;
projectiveSpace.
|