next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
VersalDeformations :: cotanComplexOne

cotanComplexOne -- calculate first cotangent cohomology

Synopsis

Description

The matrix F must have a single row. The output T1 is a matrix over the same ring as F whose columns form a basis for (a graded piece of) the first cotangent cohomology module of S/I, where S is the ring of F and I is ideal generated by the columns of F. Selection of graded pieces is done in the same manner as with basis. If the selected pieces are infinite dimensional, an error occurs.

For example, consider the cone over the rational normal curve of degree four:

i1 : S=QQ[x_0..x_4];
i2 : I=minors(2,matrix {{x_0,x_1,x_2,x_3},{x_1,x_2,x_3,x_4}});

o2 : Ideal of S
i3 : F=gens I

o3 = | -x_1^2+x_0x_2 -x_1x_2+x_0x_3 -x_2^2+x_1x_3 -x_1x_3+x_0x_4
     ------------------------------------------------------------------------
     -x_2x_3+x_1x_4 -x_3^2+x_2x_4 |

             1       6
o3 : Matrix S  <--- S
i4 : T1=cotanComplexOne(F)

o4 = {-2} | x_1  x_0  0   0    |
     {-2} | 0    0    0   x_0  |
     {-2} | -x_3 -x_2 0   x_1  |
     {-2} | 0    0    x_2 0    |
     {-2} | -x_4 -x_3 x_3 0    |
     {-2} | 0    0    x_4 -x_3 |

             6       4
o4 : Matrix S  <--- S

The first cotangent cohomology module, and thus the tangent space of the versal deformation, is four dimensional.

Ways to use cotanComplexOne :