On a special class of smooth codimension two subvarieties in \(\mathbb P^n, n\geqslant 5\) (Q555960): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
A well known (and neither fully proved nor disproved yet) conjecture by Robin Hartshorne, which dates back to 1974, claims that every codimension two subvariety of \(\mathbb{P}^n\), \(n\geq 7\), is a complete intersection. This paper proves some results related to Hartshorne's conjecture, in connection with the following theorem by Lefschetz: if a smooth noncomplete intersection codimension 2 subvariety \(X\subset\mathbb{P}^n\), \(n\geq 4\), lies on a hypersurface \(S\), then \(\dim(X\cap\text{Sing}(S))\geq n- 4\). Theorem A. If \(X\) is a smooth subcanonical threefold of degree \(d\leq 25\) in \(\mathbb{P}^5\), then \(X\) is a complete intersection. Theorem B. Let \(X\subset\mathbb{P}^n\), \(n\geq 5\), be a smooth codimension two subvariety (with \(\text{Pic}(X)= \mathbb{Z}\) if \(n= 5\)) lying on a hypersurface \(\Sigma\) of degree \(m\), which is singular, with multiplicity \(m- 2\), along a linear subspace \(K\) of dimension \(n- 2\). Then \(X\) is a complete intersection. | |||
Property / review text: A well known (and neither fully proved nor disproved yet) conjecture by Robin Hartshorne, which dates back to 1974, claims that every codimension two subvariety of \(\mathbb{P}^n\), \(n\geq 7\), is a complete intersection. This paper proves some results related to Hartshorne's conjecture, in connection with the following theorem by Lefschetz: if a smooth noncomplete intersection codimension 2 subvariety \(X\subset\mathbb{P}^n\), \(n\geq 4\), lies on a hypersurface \(S\), then \(\dim(X\cap\text{Sing}(S))\geq n- 4\). Theorem A. If \(X\) is a smooth subcanonical threefold of degree \(d\leq 25\) in \(\mathbb{P}^5\), then \(X\) is a complete intersection. Theorem B. Let \(X\subset\mathbb{P}^n\), \(n\geq 5\), be a smooth codimension two subvariety (with \(\text{Pic}(X)= \mathbb{Z}\) if \(n= 5\)) lying on a hypersurface \(\Sigma\) of degree \(m\), which is singular, with multiplicity \(m- 2\), along a linear subspace \(K\) of dimension \(n- 2\). Then \(X\) is a complete intersection. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Paolo Valabrega / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2175017 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complete intersection | |||
Property / zbMATH Keywords: complete intersection / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
codimension two subvariety | |||
Property / zbMATH Keywords: codimension two subvariety / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular locus | |||
Property / zbMATH Keywords: singular locus / rank | |||
Normal rank |
Revision as of 14:43, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a special class of smooth codimension two subvarieties in \(\mathbb P^n, n\geqslant 5\) |
scientific article |
Statements
On a special class of smooth codimension two subvarieties in \(\mathbb P^n, n\geqslant 5\) (English)
0 references
10 June 2005
0 references
A well known (and neither fully proved nor disproved yet) conjecture by Robin Hartshorne, which dates back to 1974, claims that every codimension two subvariety of \(\mathbb{P}^n\), \(n\geq 7\), is a complete intersection. This paper proves some results related to Hartshorne's conjecture, in connection with the following theorem by Lefschetz: if a smooth noncomplete intersection codimension 2 subvariety \(X\subset\mathbb{P}^n\), \(n\geq 4\), lies on a hypersurface \(S\), then \(\dim(X\cap\text{Sing}(S))\geq n- 4\). Theorem A. If \(X\) is a smooth subcanonical threefold of degree \(d\leq 25\) in \(\mathbb{P}^5\), then \(X\) is a complete intersection. Theorem B. Let \(X\subset\mathbb{P}^n\), \(n\geq 5\), be a smooth codimension two subvariety (with \(\text{Pic}(X)= \mathbb{Z}\) if \(n= 5\)) lying on a hypersurface \(\Sigma\) of degree \(m\), which is singular, with multiplicity \(m- 2\), along a linear subspace \(K\) of dimension \(n- 2\). Then \(X\) is a complete intersection.
0 references
complete intersection
0 references
codimension two subvariety
0 references
singular locus
0 references