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 |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1986405042 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0311038 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On smooth subcanonical varieties of codimension 2 in \(P^ n\), n\(\geq 4\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3743413 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable rank 2 vector bundles with Chern-classes \(c_ 1=-1\), \(c_ 2=4\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On codimension two subvarieties of 𝑃⁵ and 𝑃⁶ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On smooth surfaces in \(\mathbb{P}^4\) containing a plane curve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Joacobian surfaces in P4 . / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nilpotent lci structures on global complete intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential-geometric methods for the lifting problem and linear systems on plane curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ample Divisors on Abelian Surfaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:23, 10 June 2024
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
0 references