Manifolds containing an ample P^1-bundle

DOI10.1007/S00229-016-0872-9MaRDI QIDQ512825zbMATH OpenOpenAlexFDO

Authors Daniel Litt

Publication date 2 March 2017

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.00716

zbMATH Keywords

ample divisorsprojective bundles

Mathematics Subject Classification ID

Special varieties (14M99) Adjunction problems (14N30)

Abstract: Sommese has conjectured a classification of smooth projective varieties X containing, as an ample divisor, a P^d-bundle Y over a smooth variety Z. This conjecture is known if d>1, if dim(X)<5, or if Z admits a finite morphism to an Abelian variety. We confirm the conjecture if the Picard rank rho(Z)=1, or if Z is not uniruled. In general we reduce the conjecture to a conjectural characterization of projective space: namely that if W is a smooth projective variety, E is an ample vector bundle on W, and Hom(E, T_W) is non-zero, then W is isomorphic to P^n.

Review text

Smooth projective varieties \(X\) containing a \(\mathbb{P}^d\)-bundle (analytic topology) as an ample divisor are very special and conjecturally classified (by Sommese, see Conjecture 1 in the paper under review and references therein). This conjecture is known to be true when \(d \geq 2\) (see Theorem 5.5.2 in [\textit{M. C. Beltrametti} and \textit{A. Sommese}, The Adjunction Theory of complex Projective Varieties. Berlin: de Gruyter and Co. (1995; Zbl 0845.14003)]) and when \(d=1\) and the base \(Z\) of the \(\mathbb{P}^d\)-bundle is of dimension smaller than or equal to 2 (see for instance Theorem 7.4 in [\textit{M. C. Beltrametti} and \textit{P. Ionescu}, Contemp. Math. J. 496, 71--110 (2009; Zbl 1188.14032)]). The main result of this paper is double. On one hand the conjecture is proved when the Picard number of \(Z\) is one and, on the other, in general, it is reduced to the following fact (expected to be true as a generalization of \textit{M. Andreatta} and \textit{J. A. Wiśniewski} [Invent. Math. 146, No. 1, 209--217 (2001; Zbl 1081.14060)]): the only smooth projective variety admitting an ample vector bundle \(\mathcal{E}\) and a nonzero homomorphism from \(\mathcal{E}\) to the tangent bundle to \(X\) is \(\mathbb{P}^n\).

Recommendations

• Smooth 4-folds which contain a \(P^1\)-bundle as an ample divisor
• scientific article; zbMATH DE number 1054920
• Publication:4204242
• CHARACTERIZATION OF PROJECTIVE SPACES AND -BUNDLES AS AMPLE DIVISORS
• AMPLE VECTOR BUNDLES WITH SECTIONS VANISHING ON PROJECTIVE SPACES OR QUADRICS

Cites work

• A view on extending morphisms from ample divisors
• Galois coverings and endomorphisms of projective varieties
• Hodge metrics and positivity of direct images
• Non-abelian Lefschetz hyperplane theorems
• On manifolds whose tangent bundle contains an ample subbundle.
• On the structure of 4-folds with a hyperplane section which is a P¹ bundle over a surface that fibres over a curve
• The adjunction theory of complex projective varieties

Cited in

(9)

• Smooth 4-folds which contain a \(P^1\)-bundle as an ample divisor
• Extending rationally connected fibrations from ample subvarieties
• Hyperplane section principle of Lefschetz on conic-bundle and blowing-down
• VECTOR BUNDLES AND ADJUNCTION
• scientific article; zbMATH DE number 4123860 (Why is no real title available?)
• CHARACTERIZATION OF PROJECTIVE SPACES AND -BUNDLES AS AMPLE DIVISORS
• \(\mathbb{P}^1\)-bundles admitting another smooth morphism of relative dimension one
• Projective manifolds whose tangent bundles are numerically effective
• Classification of polarized manifolds admitting homogeneous varieties as ample divisors

This page was built for publication: Manifolds containing an ample \(\mathbb{P}^1\)-bundle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q512825)