Rational normal curves and Hadamard products (Q2136537): Difference between revisions

A set \(\mathcal L=\{l_1,\dots,l_r\}\), with \(r\ge n\), of hyperplanes is said to \textit{meet properly} if the intersection of any \(n\) of the hyperplanes in \(\mathcal L\) is a point and if any \(n+1\) hyperplanes are never concurrent. The point \(l_{i_1}\cap\dots\cap l_{i_r}\), for some \(i_1,\dots,i_r\) such that \(1\le i_1<\dots<i_n\le r\), is denoted by \(P_{i_1,\dots,i_n}\). Given a set \(\mathcal L=\{l_1,\dots,l_r\}\), with \(r\ge n\), of hyperplanes meeting properly, a \textit{start configuration} of points in \(\mathbb P^n\) defined by \(\mathcal L\) is the set: \[ \mathbb S(\mathcal L)=\bigcup_{1\le i_1<\dots<i_n\le r} P_{i_1,\dots,i_r}\subseteq \mathbb P^n. \] In this paper the authors introduce the notion of \textit{contact star configuration}. Given a rational normal curve \(\gamma\) in \(\mathbb P^n\), an osculating hyperplane to the curve \(\gamma\) at a point \(P\in \gamma\) is the hyperplane spanned by the length \(n\) scheme \(nP\cap \gamma\), where \(nP\) is a fat point of multiplicity \(n\). Definition. Let \(P_1\),\dots,\(P_r\in \mathbb P^n\) be distinct point on a rational normal curve \(\gamma\) of \(\mathbb P^n\). Denote by \(\mathcal L=\{l_1,\dots,l_r\}\) the set of osculating hyperplanes to \(\gamma\) at \(P_1\),\dots,\(P_r\), respectively. The set \(\mathbb S(\mathcal L)\) is a \textit{contact star configuration} on \(\gamma\). Since \(\gamma\) is a rational normal curve, the hyperplanes in \(\mathcal L\) always meet properly. In a first part of the paper the authors show that the so called \textit{Hadamard star configurations} are contact star configurations. Then the authors focus on the union of two star configurations on the same conic in \(\mathbb P^2\), mainly focusing on the \(h\)-vector, and proving also that in some special cases this union is a complete intersetion.