B = checkTangentSpace(F)
B = checkTangentSpace(F,N)
The matrix F must have a single row. Inputing an ideal instead has the same effect as inputing gens F. checkTangentSpace tests if the number of columns of the matrix N is equal to the dimension of the space of global sections of the normal bundle for the subscheme with ideal generated by F. If no matrix N is supplied, normalMatrix(0,F) is used. In the following example, the desired equality does not hold for the ideal I, but does for the partial truncation J.
|
|
|
|
|
Even if checkTangentSpace returns the value true, it may occur that the map from the deformation space computed by localHilbertScheme to the local Hilbert scheme is not an isomorphism on tangent spaces, since the rank of the map is not computed.
The object checkTangentSpace is a method function.