next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NormalToricVarieties :: cotangentSheaf(NormalToricVariety)

cotangentSheaf(NormalToricVariety) -- make the sheaf of Zariski 1-forms

Synopsis

Description

For a normal variety, the sheaf of Zariski 1-forms is defined to be the double dual of the cotangent bundle or equivalently the extension of the sheaf of 1-forms on the smooth locus to the entire variety (the complement of the smooth locus has codimension at least two because the variety is normal). By construction, this sheaf is reflexive with rank equal to the dimension of the variety. When the underlying variety is smooth, this is simple the sheaf of 1-forms or the cotangent bundle. For more information, see Theorem 8.1.5 in Cox-Little-Schenck's Toric Varieties.

On a non-degenerate normal toric variety, the sheaf of Zariski 1-forms is associated to the kernel of a map from the character lattice tensor the total coordinate ring to the direct sum over the rays of the quotient of the total coordinate ring by the ideal generated by the corresponding variable.

i1 : PP3 = toricProjectiveSpace 3;
i2 : OmegaPP3 = cotangentSheaf PP3

o2 = cokernel {2} | x_2  0    0    x_3  |
              {2} | x_0  x_3  0    0    |
              {2} | -x_1 0    x_3  0    |
              {2} | 0    x_1  x_0  0    |
              {2} | 0    -x_2 0    x_0  |
              {2} | 0    0    -x_2 -x_1 |

                                             6
o2 : coherent sheaf on PP3, quotient of OO    (-2)
                                          PP3
i3 : assert (prune cotangentSheaf PP3 === cotangentSheaf (PP3, Minimize => true))
i4 : L = prune exteriorPower (3, OmegaPP3)

          1
o4 = OO    (-4)
       PP3

o4 : coherent sheaf on PP3
i5 : assert (L === OO toricDivisor PP3)
i6 : assert (L === prune cotangentSheaf (dim PP3, PP3))
i7 : X = hirzebruchSurface 2;
i8 : OmegaX = cotangentSheaf X

o8 = cokernel {2, 0}  | 2x_1x_3 |
              {-1, 2} | x_0     |
              {-1, 2} | -x_2    |

                                         1               2
o8 : coherent sheaf on X, quotient of OO   (-2, 0) ++ OO   (1, -2)
                                        X               X
i9 : L = prune exteriorPower(dim X, OmegaX)

        1
o9 = OO   (0, -2)
       X

o9 : coherent sheaf on X
i10 : assert (L === OO toricDivisor X)
i11 : assert (L === prune cotangentSheaf(dim X, X))
i12 : Y = normalToricVariety ({{1,0,0},{0,1,0},{0,0,1},{0,-1,-1},{-1,0,-1},{-2,-1,0}}, {{0,1,2},{0,1,3},{1,3,4},{1,2,4},{2,4,5},{0,2,5},{0,3,5},{3,4,5}});
i13 : assert (not isSmooth Y and not isProjective Y)
i14 : OmegaY = cotangentSheaf Y

o14 = cokernel {2, 0, 2} | x_2x_4  2x_0x_4 0       0    0       0     3x_0x_2 0     0       |
               {2, 2, 0} | -x_1x_5 0       x_0x_5  0    0       0     0       0     3x_0x_1 |
               {0, 2, 3} | 0       -x_1x_3 -x_2x_3 0    3x_1x_2 0     0       0     0       |
               {2, 2, 2} | x_3     0       0       3x_0 0       0     0       0     0       |
               {2, 2, 3} | 0       -x_5    0       0    0       0     0       3x_2  0       |
               {2, 2, 3} | 0       0       -x_4    0    0       3x_1  0       0     0       |
               {2, 2, 4} | 0       0       0       -x_4 2x_4    -2x_3 x_3     0     0       |
               {2, 3, 3} | 0       0       0       -x_5 -x_5    0     0       x_3   -x_3    |
               {3, 2, 3} | 0       0       0       0    0       -x_5  -x_5    -2x_4 -x_4    |

                                          1                   1                   1                   1                    2                    1                    1                    1
o14 : coherent sheaf on Y, quotient of OO   (-2, 0, -2) ++ OO   (-2, -2, 0) ++ OO   (0, -2, -3) ++ OO   (-2, -2, -2) ++ OO   (-2, -2, -3) ++ OO   (-2, -2, -4) ++ OO   (-2, -3, -3) ++ OO   (-3, -2, -3)
                                         Y                   Y                   Y                   Y                    Y                    Y                    Y                    Y
i15 : prune exteriorPower(dim Y, OmegaY)

         1
o15 = OO   (-3, -3, -4)
        Y

o15 : coherent sheaf on Y
i16 : assert (prune exteriorPower(dim Y, OmegaY) === OO toricDivisor Y)

See also