Characterizations of projective spaces and hyperquadrics (Q2446020): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1012.5238 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2026048229 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 08:29, 30 July 2024

scientific article
Language Label Description Also known as
English
Characterizations of projective spaces and hyperquadrics
scientific article

    Statements

    Characterizations of projective spaces and hyperquadrics (English)
    0 references
    0 references
    0 references
    15 April 2014
    0 references
    Let \(X\) be a complex projective manifold of dimension \(n\). Since \textit{S. Mori}'s famous characterisation [Ann. Math. (2) 110, 593--606 (1979; Zbl 0423.14006)] of the projective space as the only projective manifold such that the tangent bundle \(T_X\) is ample, many authors have studied the relation between the positivity of \(T_X\) and the biregular geometry of \(X\). Recently \textit{C. Araujo} et al. [Invent. Math. 174, No. 2, 233--253 (2008; Zbl 1162.14037)] showed that if \(X\) admits an ample line bundle \(L\) such that \(H^0(X, \bigwedge^k T_X \otimes L^{-k}) \neq 0\) for some \(k \in \{ 1, \dots, n \}\), then \(X\) is a projective space or a hyperquadric. If the Picard number is equal to one they also gave an analogous statement involving the tensor powers \(T_X^{\otimes k} \otimes L^{-k}\). In the paper under review the authors generalise these statements to projective manifolds polarised by an ample vector bundle of sufficiently high rank. The main theorem can be stated as follows: let \(X\) be a projective manifold, and let \(E\) be ample vector bundle on \(X\) of rank \(r\). If \(H^0(X, T_X^{\otimes k} \otimes \det E^{-1}) \neq 0\) for some \(k \leq r\), then \(X\) is a projective space or hyperquadric.
    0 references
    rational varieties
    0 references
    projective space
    0 references
    quadric hypersurface
    0 references

    Identifiers