quotScheme -- Calculates the defining equations for Quot schemes of points

Synopsis

Usage:

quotScheme(Q,n,L)
Inputs:
- Q, a module,
- n, an integer,
- L, a list,
Outputs:
- an ideal,

Description

The Quot scheme of n points of \mathcal{O}^p on \mathbb{P}^r embeds as a closed subscheme of the Grassmannian of rank n quotients of a push forward of \mathcal{O}(d)^p. This function gives the defining equations of this closed subscheme.

i1 : S=ZZ[x_0,x_1];

i2 : quotScheme(S^2,1,{0})

o2 = ideal(a a  - a )
            2 3    4

o2 : Ideal of ZZ[a ..a ]
                  1   4

Ways to use quotScheme :

quotScheme(Module,ZZ,List)

For the programmer

The object quotScheme is a method function.

quotScheme -- Calculates the defining equations for Quot schemes of points

Synopsis

Description

See also

Ways to use quotScheme :

For the programmer