Varieties with small dual varieties. I (Q1082393): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 00:53, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties with small dual varieties. I |
scientific article |
Statements
Varieties with small dual varieties. I (English)
0 references
1986
0 references
Let \(X\subset {\mathbb{P}}^ N\) be a projective complex manifold of dimension n, and let \(X^*\subset {\mathbb{P}}^{N*}\), dim \(X^*=n^*\) be the dual variety formed by the points corresponding to the tangent hyperplanes. As a rule, \(n^*=N-1\), i.e. def X\(=N-n^*-1=0\). The paper under review is devoted to varieties X for which def X\(>0\). The reviewer has shown that for all \((smooth)\quad X: n^*\geq n.\) The main purpose of the present paper is to classify varieties for which \(n^*=n\) under the assumption that \(n\leq 2N/3\) (we recall that from Hartshorne's conjecture it follows that, for \(n>2N/3,\quad def X=0).\) The main auxiliary result having also many other applications consists in a description of the structure of the normal bundle \(N_{L/X}\), where L is a linear subspace of dimension def X along which a generic hyperplane from \(X^*\) is tangent to X (this description also yields some old results, e.g. the reviewer's theorem to the effect that def \(X\leq n-2\) and Landman's theorem according to which def \(X\equiv n (mod 2)\) if \(n^*<N-1)\). The author's study based, besides the above results, on the Bejlinson spectral sequence shows that the only varieties for which \(n\leq 2N/3\), \(n^*=n\) are the hypersurfaces, the Segre varieties \({\mathbb{P}}^ 1\times {\mathbb{P}}^{n-1}\subset {\mathbb{P}}^{2n-1}\), \(n\geq 3\), the Grassmann variety \(G(4,1)^ 6\subset {\mathbb{P}}^ 9\), and the spinor variety \(S^{10}\subset {\mathbb{P}}^{15}\) (all these varieties, with the exception of hypersurfaces of degree greater \(than^ 2,\) are self-dual, i.e. \(X^*=X).\) [See also part II of this paper, reviewed below.]
0 references
defect
0 references
dual variety
0 references
Hartshorne's conjecture
0 references
structure of the normal bundle
0 references