TerraciniLoci -- package for computing Terracini loci

This package implements the algorithms from Section 8 of the paper Geometry of first nonempty Terracini loci by F. Galuppi, P. Santarsiero, D. Torrance, and E. Turatti.

The Terracini locus of projective variety $X$ is a subvariety of the symmetric power $X^{(r)}$ containing the closure of all sets $\{p_1,\ldots,p_r\}$ of smooth points in $X$ for which the space $\langle T_{p_1}X,\ldots,T_{p_r}X\rangle$ has less than the expected dimension.

This package exports one method, terraciniLocus, for computing the ideals of these varieties.

Authors

• Francesco Galuppi <[email protected]>
• Pierpaola Santarsiero <[email protected]>
• Doug Torrance <[email protected]>
• Ettore Teixeira Turatti <[email protected]>

Version

This documentation describes version 0.2 of TerraciniLoci.

Source code

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

Exports