Singular Poisson-Kähler geometry of Scorza varieties and their secant varieties (Q2486078): Difference between revisions

For any integer \(k\geq 2\) a \(k\)-Scorza variety is a nonsingular projective variety \(X\) in \(\mathbb{P}^{m}\mathbb{C}\) of maximal dimension among all varieties whose \(\left( k-1\right) \)-secant variety (that is, the closure of the union of all \(k\)-dimensional projective spaces in \(\mathbb{P}^{m}\mathbb{ C}\) which contain \(k+1\) independent points of \(X\)) is not the entire space. With the exception of \(X=\)Ad\(\left( \mathfrak{e}_{6\left( -78\right) }\right) /\left( \text{SO}\left( 10,\mathbb{R}\right) \cdot \text{SO}\left( 2,\mathbb{R}\right) \right) \subset \mathbb{P}^{26}\mathbb{C}\) each \(k\) -Scorza variety belongs to one of five different forms. The forms of the form \(\mathbb{P}^{k}\mathbb{C\subset P}^{k\left( k+3\right) /2}\mathbb{C}\), \( \mathbb{P}^{k}\mathbb{C\times P}^{k}\mathbb{C\subset P}^{k\left( k+2\right) } \mathbb{C}\) and \(G_{2}\left( \mathbb{C}^{2\left( k+1\right) }\right) \subset \mathbb{P}^{k\left( 2k+3\right) }\mathbb{C},\) along with the \(X\) above are said to be regular; the others, \(\mathbb{P}^{k}\mathbb{C\times P}^{k+1} \mathbb{C\subset P}^{k^{2}+3k+1}\mathbb{C}\), and \(G_{2}\left( \mathbb{C} ^{\left( 2k+3\right) }\right) \subset \mathbb{P}^{2k^{2}+5K+2}\mathbb{C}\) are non-regular. For a \(k\)-Scorza variety \(X\) in ambient projective space \(\mathbb{P}^{m} \mathbb{C}\) the authors show that \(X\) gives rise to an exotic normal Kähler structure on \(\mathbb{P}^{m}\mathbb{C}\). In fact, there is a sequence \( Q_{1}\subset Q_{2}\subset \cdots \subset Q_{k+1}=\mathbb{P}^{m}\mathbb{C}\) of normal Kähler spaces where \(Q_{1}\) coincides with \(X\) and \(Q_{\rho }\) is a projective determinantal variety in \(\mathbb{P}^{m}\mathbb{C}\). Furthermore, \(Q_{\rho }=S^{\rho }\left( Q_{1}\right) \) for all \(2\leq \rho \leq k,\) i.e. \(Q_{\rho }\) is the \(\rho ^{\text{th}}\) secant variety of \(Q_{1} \) in \(\mathbb{P}^{m}\mathbb{C},\) \(Q_{\rho -1}\) is the singular locus of \( Q_{\rho },\) and this structure restricts to a Kähler structure on \(Q_{1}\) which includes the standard Hermitian space structure. When is addition \(X\) is regular we also have that \(Q_{k}\) is a projective hypersurface of degree \( k+1.\) In the case where \(k=3\) the four regular \(k\)-Scorza varieties coincide with the four critical Severi varieties, that is, the \(Q_{1}\) in this case is a critical Severi variety.