<p>The Terracini locus <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {T}(n, d; x)\)</EquationSource> </InlineEquation> is the locus of all finite subsets <i>S</i> of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( \mathbb {P}^{n}\)</EquationSource> </InlineEquation> of cardinality <i>x</i> such that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\langle S \rangle = \mathbb {P}^{n}\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(h^{0}(\mathcal {I}_{2S}(d)) &gt; 0\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(h^{1}(\mathcal {I}_{2S}(d)) &gt; 0\)</EquationSource> </InlineEquation>. The celebrated Alexander-Hirschowitz Theorem classifies the triples (<i>n</i>,&#xa0;<i>d</i>,&#xa0;<i>x</i>) for which <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\dim \mathbb {T}(n, d; x)=xn\)</EquationSource> </InlineEquation>. Here we fully characterize the next step in the case <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(n=2\)</EquationSource> </InlineEquation>, namely, we prove that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {T}(2,d;x)\)</EquationSource> </InlineEquation> has at least one irreducible component of dimension <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(2x-1\)</EquationSource> </InlineEquation> if and only if either <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((d,x)\in \{(4,4),(4,6),(5,6),(5,7),(6,9),(6,10)\}\)</EquationSource> </InlineEquation>, or <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(d\ge 7\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(d\equiv 1,2 \pmod {3}\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(x=(d+2)(d+1)/6\)</EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Terracini loci and a codimension one Alexander–Hirschowitz theorem

  • E. Ballico,
  • M. C. Brambilla,
  • C. Fontanari

摘要

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