(F,R,G,C) = versalDeformation(F0)
Each element of the sequence (F,R,G,C) is a list of matrices in increasing powers of the deformation parameter specified by DefParam. Their sums satisfy the deformation equation transpose flatten ((sum F)*(sum R))+(sum C)*(sum G)==0 up to powers of the deformation parameter equal to the length of F. Furthermore, F_0=F0 and R_0=gens ker F0. The columns of C_0 are multiples of the those of cotangentCohomology2(F0) if F0 has a single row, and extMatrix(F0) otherwise. F_1 consists of first order perturbations corresponding to the basis of cotangentCohomology1(F0). Thus, F and G represent a versal family and equations for a versal base space, either for the scheme cut out by the columns of F0 (when F0 has a single row), or the module coker F0.
Several options are available to control the termination of the calculation. The calculation will terminate at the very latest after reaching order equal to the option HighestOrder, which has default value 20. If this order is reached, a warning message is generated. If PolynomialCheck is set to true, as is the default, then the algorithm will check if the present solution lifts to infinite order and terminate if this is the case. If SanityCheck is set to true, as is the default, then the algorithm will check that the present solution really does solve the deformation equation, and terminate with an error if this is not the case.
The option Verbose may be used to control the verbosity of the output. Its value should be an integer, with higher values corresponding to more verbose output. Default value is 0.
The option SmartLift is also available, which controls whether the algorithm spends extra time trying to find liftings which introduce no new obstructions at the next highest order. By default, this option is enabled. The option CorrectionMatrix may be used to control which liftings are considered.
After each step of lifting, the solution (F,R,G,C) to the deformation equation is cached. By default, it is stored in F0.cache#VersalDeformationResults but may stored elsewhere by setting the option CacheName to something other than null.
For example, consider the cone over the rational normal curve of degree four, see [Pi74]:
|
|
|
|
Equations for a versal base space are
|
|
The versal family is given by
|
We may also consider the example of the cone over the del Pezzo surface of degree six, see [Al97]:
|
|
|
|
Equations for a versal base space are
|
|
The versal family is given by
|