Macaulay2 » Documentation
Packages » TerraciniLoci :: TerraciniLoci
next | previous | forward | backward | up | index | toc

TerraciniLoci -- package for computing Terracini loci

Description

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

Version

This documentation describes version 0.3 of TerraciniLoci.

Citation

If you have used this package in your research, please cite it as follows:

@article{Galuppi_2025,
  title={Geometry of First Nonempty Terracini Loci},
  ISSN={1793-6683},
  url={http://dx.doi.org/10.1142/S0219199725500531},
  DOI={10.1142/s0219199725500531},
  journal={Communications in Contemporary Mathematics},
  publisher={World Scientific Pub Co Pte Ltd},
  author={Galuppi, Francesco and Santarsiero, Pierpaola and Torrance, Douglas A. and Turatti, Ettore Teixeira},
  year={2025},
  month=apr }

Exports

  • Functions and commands
    • terraciniLocus -- compute the Terracini locus of a projective variety
  • Methods
    • terraciniLocus(ZZ,Ideal) -- see terraciniLocus -- compute the Terracini locus of a projective variety
    • terraciniLocus(ZZ,Matrix,Ideal) -- see terraciniLocus -- compute the Terracini locus of a projective variety
    • terraciniLocus(ZZ,RingMap) -- see terraciniLocus -- compute the Terracini locus of a projective variety

For the programmer

The object TerraciniLoci is a package, defined in TerraciniLoci.m2.

The source of this document is in TerraciniLoci.m2:148:0.