Free and very free morphisms into a Fermat hypersurface (Q381206): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
Let \(X\) be a smooth variety. A morphism \(f:\mathbb{P}^1 \to X\) is free (resp. very free) if \[ f^*T_X = \bigoplus \mathcal{O}(a_i), \] with all the numbers \(a_i\) non-negative (resp. positive). A smooth projective variety is \textit{separably rationally connected} if there is a very free curve. A very well-known open question is whether a smooth projective Fano hypersurface in characteristic \(p>0\) is separably rationally connected. In characteristic \(0\), this is the result of Kollár-Miyaoka-Mori and Campana. Some experts expect that if there is a smooth projective Fano hypersurface which is not separably rationally connected, then the Fermat hypserurface \[ X_0^{p^r+1}+\ldots +X_{p^r+1}^{p^r+1}=0 \] in \(\mathbb{P}^{p^r+1}\) might provide one such example. The paper studies the case of \(p=2, r=2\). The authors show that there is no free curve of degree less than \(8\), no very free curve of degree less than \(9\), and there is a free curve of degree \(8\) and very free curve of degree \(9\).
Property / review text: Let \(X\) be a smooth variety. A morphism \(f:\mathbb{P}^1 \to X\) is free (resp. very free) if \[ f^*T_X = \bigoplus \mathcal{O}(a_i), \] with all the numbers \(a_i\) non-negative (resp. positive). A smooth projective variety is \textit{separably rationally connected} if there is a very free curve. A very well-known open question is whether a smooth projective Fano hypersurface in characteristic \(p>0\) is separably rationally connected. In characteristic \(0\), this is the result of Kollár-Miyaoka-Mori and Campana. Some experts expect that if there is a smooth projective Fano hypersurface which is not separably rationally connected, then the Fermat hypserurface \[ X_0^{p^r+1}+\ldots +X_{p^r+1}^{p^r+1}=0 \] in \(\mathbb{P}^{p^r+1}\) might provide one such example. The paper studies the case of \(p=2, r=2\). The authors show that there is no free curve of degree less than \(8\), no very free curve of degree less than \(9\), and there is a free curve of degree \(8\) and very free curve of degree \(9\). / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Zhiyu Tian / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14M22 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14J70 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14J45 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6227508 / rank
 
Normal rank
Property / zbMATH Keywords
 
free morphisms
Property / zbMATH Keywords: free morphisms / rank
 
Normal rank
Property / zbMATH Keywords
 
very free morphisms
Property / zbMATH Keywords: very free morphisms / rank
 
Normal rank
Property / zbMATH Keywords
 
Fermat hypersurface
Property / zbMATH Keywords: Fermat hypersurface / rank
 
Normal rank
Property / zbMATH Keywords
 
Fermat hypersurface over a field of characteristic 2
Property / zbMATH Keywords: Fermat hypersurface over a field of characteristic 2 / rank
 
Normal rank

Revision as of 11:48, 29 June 2023

scientific article
Language Label Description Also known as
English
Free and very free morphisms into a Fermat hypersurface
scientific article

    Statements

    Free and very free morphisms into a Fermat hypersurface (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    15 November 2013
    0 references
    Let \(X\) be a smooth variety. A morphism \(f:\mathbb{P}^1 \to X\) is free (resp. very free) if \[ f^*T_X = \bigoplus \mathcal{O}(a_i), \] with all the numbers \(a_i\) non-negative (resp. positive). A smooth projective variety is \textit{separably rationally connected} if there is a very free curve. A very well-known open question is whether a smooth projective Fano hypersurface in characteristic \(p>0\) is separably rationally connected. In characteristic \(0\), this is the result of Kollár-Miyaoka-Mori and Campana. Some experts expect that if there is a smooth projective Fano hypersurface which is not separably rationally connected, then the Fermat hypserurface \[ X_0^{p^r+1}+\ldots +X_{p^r+1}^{p^r+1}=0 \] in \(\mathbb{P}^{p^r+1}\) might provide one such example. The paper studies the case of \(p=2, r=2\). The authors show that there is no free curve of degree less than \(8\), no very free curve of degree less than \(9\), and there is a free curve of degree \(8\) and very free curve of degree \(9\).
    0 references
    0 references
    free morphisms
    0 references
    very free morphisms
    0 references
    Fermat hypersurface
    0 references
    Fermat hypersurface over a field of characteristic 2
    0 references

    Identifiers