English

Terracini loci and a codimension one Alexander-Hirschowitz theorem

Algebraic Geometry 2025-08-05 v4 Commutative Algebra

Abstract

The Terracini locus T(n,d;x)\mathbb{T}(n, d; x) is the locus of all finite subsets SS of Pn \mathbb{P}^n of cardinality xx such that S=Pn\langle S \rangle = \mathbb{P}^n, h0(I2S(d))>0h^0(\mathcal{I}_{2S}(d)) > 0, and h1(I2S(d))>0h^1(\mathcal{I}_{2S}(d)) > 0. The celebrated Alexander-Hirschowitz Theorem classifies the triples (n,d,x)(n,d,x) for which dimT(n,d;x)=xn\dim\mathbb{T}(n, d; x)=xn. Here we fully characterize the next step in the case n=2n=2, namely, we prove that T(2,d;x)\mathbb{T}(2,d;x) has at least one irreducible component of dimension 2x12x-1 if and only if either (d,x){(4,4),(4,6),(d,x)\in\{(4,4),(4,6), (5,6),(5,7),(5,6),(5,7), (6,9),(6,10)}(6,9),(6,10)\}, or d7d\ge 7, d1,2(mod3)d\equiv 1,2 \pmod{3} and x=(d+2)(d+1)/6x=(d+2)(d+1)/6.

Keywords

Cite

@article{arxiv.2407.18751,
  title  = {Terracini loci and a codimension one Alexander-Hirschowitz theorem},
  author = {Edoardo Ballico and Maria Chiara Brambilla and Claudio Fontanari},
  journal= {arXiv preprint arXiv:2407.18751},
  year   = {2025}
}

Comments

Revised version. 13 pages

R2 v1 2026-06-28T17:54:38.138Z