Higher order selfdual toric varieties (Q2409374): Difference between revisions

Let \(X \subset {{\mathbb P}}^N\) be a projective algebraic variety of dimension \(n\) over an algebraically closed field \(K\) of characteristic zero. A hyperplane \(H\) is said to be tangent to \(X\) to the order \(k\) at a smooth point \(x\), when \(H\) contains the \(k\)-th osculating space to \(X\) at \(x\). The \(k\)-th dual variety \(X^{(k)}\) is the Zariski closure in the dual projective space \(({{\mathbb P}}^N)^\vee \) of all hyperplanes tangent to \(X\) to the order \(k\) at some smooth point \(x\). \(X\) is said to be \(k\)-selfdual if there exists a linear isomorphism between \( {{\mathbb P}}^N \) and \(({{\mathbb P}}^N)^\vee \) that sends \(X\) to \(X^{(k)}\). The purpose of this paper is to investigate different characterizations of higher selfdual toric varieties in terms of its parametrization. This is done in Theorems 2.7 and 3.4. In particular the authors show that any general configuration of \(\binom{n+k}{k}+1\) points is \(k\)-selfdual and that Veronese-Segre embeddings give smooth selfdual toric varieties in any dimension (see Theorem 5.14).