FirstOrderDeformations -- First order deformation and their lift to the free resolution

Description

Given variety satisfying the Green Lazasersfelds condition N2, we compute the basis of the first order very flat deformations and their lift to the free resolution.

Application include the first order study of the Koszul and Brill-Noether divisor of a given canonical curve of odd genus.

First order deformations

firstOrderDeformation -- compute the first order very flat deformations of the N2 variety X
deformationByAutomorphisms -- compute the basis of the first order embedded deformation of a canonical curve induced by automorphisms of the projective ambient space
liftDeformationToFreeResolution -- lift first order deformations to the resolution

Infinitesimal study of the Koszul divisor

Authors

Version

This documentation describes version 1.10 of FirstOrderDeformations.

Source code

The source code from which this documentation is derived is in the file FirstOrderDeformations.m2.

Exports

Functions and commands
- deformationByAutomorphisms -- compute the basis of the first order embedded deformation of a canonical curve induced by automorphisms of the projective ambient space
- firstOrderDeformation -- compute the first order very flat deformations of the N2 variety X
- liftDeformationToFreeResolution -- lift first order deformations to the resolution