DOCSLIB.ORG

On Projective Varieties with Strictly Nef Tangent Bundles

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Projective Varieties with Strictly Nef Tangent Bundles On projective varieties with strictly nef tangent bundles Duo Li, Wenhao Ou and Xiaokui Yang Abstract. In this paper, we study smooth complex projective varieties X such that r some exterior power V TX of the tangent bundle is strictly nef. We prove that such varieties are rationally connected. We also classify the following two cases. n 2 If TX is strictly nef, then X isomorphic to the projective space P . If V TX is strictly nef and if X has dimension at least 3, then X is either isomorphic to Pn or a quadric Qn. Contents 1. Introduction 1 2. Basic properties of strictly nef vector bundles 3 3. Strictly nef bundles on curves 4 4. Sections of Albanese morphisms 6 5. Projective manifolds with strictly nef tangent bundles 10 References 12 1. Introduction Throughout this paper, we will study projective varieties defined over C, the field of complex numbers. We recall that a line bundle L over a smooth projective variety X is said to be strictly nef if there is arXiv:1801.09191v2 [math.AG] 28 Nov 2018 L · C > 0 for any curve C ⊂ X, while the Nakai-Moishezon-Kleiman criterion asserts that L is ample if and only if there is Ldim Y · Y > 0 for every positive-dimensional subvariety Y ⊂ X. In particular, ampleness implies strict nefness. However, the converse is not true in general, as shown in an example of Mumford (see [Har70, Section 10, Chapter I]). Nevertheless, one might expect more for the canonical bundle ωX of X. Indeed, on the one hand, since a strictly nef semi- ample line bundle must be ample, the abundance conjecture suggests that if ωX is strictly nef, then it should be ample. On the other hand, Campana and Peternell proposed in [CP91, Problem 11.4] the following conjecture. 1 Li-Ou-Yang On projective varieties with strictly nef tangent bundles −1 Conjecture 1.1. Let X be a smooth projective variety. If ωX is strictly nef, then −1 ωX is ample, that is, X is a Fano variety. This conjecture is only verified by Maeda for surfaces (see [Mae93]) and by Serrano for threefolds (see [Ser95], also [Ueh00] and [CCP08]). In this paper, we prove the following theorem, which provides some evidence for this conjecture in all dimensions. Theorem 1.2. Let X be a smooth projective variety of dimension n, and let TX be r its tangent bundle. If TX is strictly nef for some 1 6 r 6 n, then X is rationally connected. In particular, if ω−1 is strictly nef, then X is rationally connected. V X We recall that a vector bundle E is said to be strictly nef if the tautological line bundle OE(1) on the projective bundle Proj E of hyperplanes is strictly nef. One of the key ingredients for the proof of Theorem 1.2 relies on the recent break- through of Cao and H¨oring on the structure theorems for projective varieties with nef anticanonical bundle (see [Cao16] and [CH17]). Actually, based on their work, we prove the following result, which is essential for Theorem 1.2. Theorem 1.3. Let X be a smooth projective variety with nef anticanonical bundle −1 ωX . Then, up to replacing X with some finite ´etale cover if necessary, the Albanese ∗ morphism f : X → A has a section σ : A → X such that σ ωX is numerically trivial. As an application of Theorem 1.2, we prove the following analogue of Mori’s charac- terization of projective spaces (see [Mor79]). Theorem 1.4. Let X be a smooth projective variety of dimension n. If TX is strictly nef, then X is Pn. In another word, this theorem states that the tangent bundle TX is strictly nef if and only if it is ample. Along the same lines as Theorem 1.4, we obtain the following characterization as well. Theorem 1.5. Let X be a smooth projective variety of dimension n ≥ 3. Suppose 2 n n that TX is strictly nef, then X is isomorphic to P or a quadric Q . ThereV are also other characterizations of projective spaces or quadrics, see, for ex- ample, [KO73], [SY80], [Siu80], [Mok88], [YZ90], [Pet90, Pet91], [CS95], [AW01], [CMSB02], [Miy04], [ADK08], [Hwa13], [DH17] , [Yan17], etc. Acknowledgements. The authors would like to thank Shing-Tung Yau for his comments and suggestions on an earlier version of this paper which clarify and improve the presentations. The authors would also like to thank Yifei Chen, Yi Gu and Xiaotao Sun for some useful discussions. The first author is very grateful to Baohua Fu for his support, encouragement and stimulating discussions over the last few years. The second author would like to thank Meng Chen, Zhi Jiang and Burt Totaro for fruitful conversations. The third author wishes to thank Kefeng Liu, Valentino Tosatti and Xiangyu Zhou for helpful discussions. They would also like to thank the referee for 2 On projective varieties with strictly nef tangent bundles Li-Ou-Yang pointing out a more general version of Lemma 3.2. This work was partially supported by China’s Recruitment Program of Global Experts and NSFC 11688101. 2. Basic properties of strictly nef vector bundles In this section, we collect some basic results on strictly nef vector bundles. The fol- lowing proposition is analogous to the Barton-Kleiman criterion for nef vector bundles (see for example [Laz04, Proposition 6.1.18]). Proposition 2.1. Let E be a vector bundle on a smooth projective variety X. Then the following conditions are equivalent. (1) E is strictly nef. (2) For any smooth projective curve C with a finite morphism ν : C → X, and for any line bundle quotient ν∗(E) → L, one has deg L> 0. Proof. For a fixed smooth projective curve C, we know that any non-constant mor- phism µ : C → Proj E whose image is horizontal over X corresponds one-to-one to a finite morphism ν : C → X with a line bundle quotient ν∗E → L. Moreover, we have the following commutative diagram µ / (2.1) C ❅ Proj E ❅ ✇ ❅❅ ✇✇ ❅❅ ✇✇ ν ❅❅ ✇✇ ✇{ ✇ X ∗ such that L = µ OE(1), where OE(1) is the tautological line bundle of Proj E (see for exmaple [Har77, Proposition II.7.12]). (1) =⇒ (2). Let ν : C → X be a finite morphism, where C is a smooth projective curve. Assume that there is a line bundle quotient ν∗E → L. Let µ : C → Proj E be the induced morphism as in diagram (2.1). Then we have ∗ deg L = deg µ OE(1) = OE(1) · µ(C). Since OE(1) is strictly nef, we obtain that deg L> 0. (2) =⇒ (1). Let B be a curve in Proj E. Let f : B → Proj E be its normalization. If B is vertical over X, then we have OE(1) · B > 0. If B is horizontal over X, then the natural morphism g : B → X is finite. In thise case, there is an induced line ∗ ∗ bundle quotient g E → Q such that Q =∼ f OE(1). We note that e OE(1) · B = deg Q, which is positive by hypothesis. Thus E is strictly nef. We also have the following list of properties of strictly nef vector bundles. 3 Li-Ou-Yang On projective varieties with strictly nef tangent bundles Proposition 2.2. Let E and F be two vector bundles on a smooth projective variety X. Then we have the following assertions. (1) E is a strictly nef if and only if for every smooth projective curve C and for any non-constant morphism f : C → X, f ∗E is strictly nef. (2) If E is strictly nef, then any non-zero quotient bundle Q of E is strictly nef. (3) If E ⊕ F is strictly nef, then both E and F are strictly nef. (4) If the symmetric power Symk E is strictly nef for some k ≥ 1, then E is strictly nef. (5) Let f : Y → X be a finite morphism such that Y is a smooth projective variety. If E is strictly nef, then so is f ∗E. (6) Let f : Y → X be a surjective morphism such that Y is a smooth projective variety. If f ∗E is strictly nef, then E is strictly nef. (7) If E is strictly nef, then h0(X, E∗ ⊗ L) = 0 for any numerically trivial line bundle L. Proof. (1) follows directly from Proposition 2.1. For (2), we note that there is a ∗ natural embedding ι : Proj Q → Proj E such that ι OE(1) =∼ OQ(1). Hence if E is strictly nef, then so is Q. (3) follows from (2). For (4), we note that there is a k ∗ ∼ Veronese embedding v : Proj E → Proj(Sym E) such that v OSymk E(1) = OE(k). This implies (4). For (5), we notice that for any smooth projective curve C with a finite morphism ν : C → X, the composition f ◦ ν : C → X is also finite. The assertion then follows from Proposition 2.1. Now we consider (6). We note that for every curve in X, there is a curve in Y which maps onto it. Hence by (1), we only need to prove the case when X and Y are smooth curves. In this case, there is a natural finite surjective morphism ∗ ∗ ∼ ∗ g : Proj(f E) → Proj E induced by f. Moreover, we have Of E(1) = g OE(1). By assumption, Of ∗E(1) is a strictly nef line bundle. Since g is finite surjective, this implies that OE(1) is also strictly nef. Therefore, E is strictly nef.
Load more

Recommended publications
  • Kähler-Einstein Metrics and Algebraic Geometry
    Current Developments in Mathematics, 2015 K¨ahler-Einstein metrics and algebraic geometry Simon Donaldson Abstract. This paper is a survey of some recent developments in the area described by the title, and follows the lines of the author’s lecture in the 2015 Harvard Current Developments in Mathematics meeting. The main focus of the paper is on the Yau conjecture relating the ex- istence of K¨ahler-Einstein metrics on Fano manifolds to K-stability. We discuss four different proofs of this, by different authors, which have ap- peared over the past few years. These involve an interesting variety of approaches and draw on techniques from different fields. Contents 1. Introduction 1 2. K-stability 3 3. Riemannian convergence theory and projective embeddings 6 4. Four proofs 11 References 23 1. Introduction General existence questions involving the Ricci curvature of compact K¨ahler manifolds go back at least to work of Calabi in the 1950’s [11], [12]. We begin by recalling some very basic notions in K¨ahler geometry. • All the K¨ahler metrics in a given cohomology class can be described in terms of some fixed reference metric ω0 and a potential function, that is (1) ω = ω0 + i∂∂φ. • A hermitian holomorphic line bundle over a complex manifold has a unique Chern connection compatible with both structures. A Her- −1 n mitian metric on the anticanonical line bundle KX =Λ TX is the same as a volume form on the manifold. When this volume form is derived from a K¨ahler metric the curvature of the Chern connection c 2016 International Press 1 2 S.
    [Show full text]
  • Positivity of Hodge Bundles of Abelian Varieties Over Some Function Fields
    Positivity of Hodge bundles of abelian varieties over some function fields Xinyi Yuan August 31, 2018 Contents 1 Introduction2 1.1 Positivity of Hodge bundle....................2 1.2 Purely inseparable points.....................4 1.3 Partial finiteness of Tate{Shafarevich group..........5 1.4 Reduction of Tate conjecture...................6 1.5 Idea of proofs...........................7 1.6 Notation and terminology.................... 10 2 Positivity of Hodge bundle 13 2.1 Group schemes of constant type................. 13 2.2 The quotient process....................... 18 2.3 Control by heights........................ 23 2.4 Lifting p-divisible groups..................... 27 3 Purely inseparable points on torsors 31 3.1 Preliminary results on torsors.................. 31 3.2 Purely inseparable points..................... 34 4 Reduction of the Tate conjecture 40 4.1 Preliminary results........................ 41 4.2 Reduction of the Tate conjecture................ 44 1 1 Introduction Given an abelian variety A over the rational function field K = k(t) of a finite field k, we prove the following results: (1) A is isogenous to the product of a constant abelian variety over K and 1 an abelian variety over K whose N´eronmodel over Pk has an ample Hodge bundle. (2) finite generation of the abelian group A(Kper) if A has semi-abelian 1 reduction over Pk, as part of the \full" Mordell{Lang conjecture for A over K; (3) finiteness of the abelian group X(A)[F 1], the subgroup of elements of the Tate{Shafarevich group X(A) annihilated by iterations of the relative Frobenius homomorphisms, if A has semi-abelian reduction 1 over Pk; (4) the Tate conjecture for all projective and smooth surfaces X over finite 1 fields with H (X; OX ) = 0 implies the Tate conjecture for all projective and smooth surfaces over finite fields.
    [Show full text]
  • Arxiv:1705.02740V4 [Math.AG] 18 Dec 2018 Iease Oaqeto Se Yyce I Uigteamwo AIM the During 2017
    BOUNDEDNESS OF Q-FANO VARIETIES WITH DEGREES AND ALPHA-INVARIANTS BOUNDED FROM BELOW CHEN JIANG Abstract. We show that Q-Fano varieties of fixed dimension with anti-canonical degrees and alpha-invariants bounded from below form a bounded family. As a corollary, K-semistable Q-Fano varieties of fixed dimension with anti-canonical degrees bounded from below form a bounded family. 1. Introduction Throughout the article, we work over an algebraically closed field of char- acteristic zero. A Q-Fano variety is defined to be a normal projective variety X with at most klt singularities such that the anti-canonical divisor KX is an ample Q-Cartier divisor. − When the base field is the complex number field, an interesting prob- lem for Q-Fano varieties is the existence of K¨ahler–Einstein metrics which is related to K-(semi)stability of Q-Fano varieties. It has been known that a Fano manifold X (i.e., a smooth Q-Fano variety over C) admits K¨ahler–Einstein metrics if and only if X is K-polystable by the works [DT92, Tia97, Don02, Don05, CT08, Sto09, Mab08, Mab09, Ber16] and [CDS15a, CDS15b, CDS15c, Tia15]. K-stability is stronger than K-polystability, and K-polystability is stronger than K-semistability. Hence K-semistable Q- Fano varieties are interesting for both differential geometers and algebraic geometers. It also turned out that K¨ahler–Einstein metrics and K-stability play cru- cial roles for construction of nice moduli spaces of certain Q-Fano varieties. For example, compact moduli spaces of smoothable K¨ahler–Einstein Q-Fano varieties have been constructed (see [OSS16] for dimension two case and [LWX14, SSY16, Oda15] for higher dimensional case).
    [Show full text]
  • Compact Complex Manifolds with Numerically Effective Tangent Bundles
    COMPACT COMPLEX MANIFOLDS WITH NUMERICALLY EFFECTIVE TANGENT BUNDLES Jean-Pierre Demailly⋆, Thomas Peternell⋆⋆, Michael Schneider⋆⋆ ⋆ Universit´ede Grenoble I ⋆⋆ Universit¨at Bayreuth Institut Fourier, BP 74 Mathematisches Institut U.R.A.188duC.N.R.S. Postfach101251 38402 Saint-Martin d’H`eres, France D-8580 Bayreuth, Deutschland Contents 0. Introduction................................................... ........................p. 2 1. Basic properties of nef line bundles ................................................... p. 5 1.A. Nef line bundles ................................................... ............... p. 5 1.B. Nef vector bundles................................................... ............p. 11 2. Inequalities for Chern classes ................................................... ...... p. 18 3. Compact manifolds with nef tangent bundles. Structure of the Albanese map..........p. 22 3.A. Some examples ................................................... ............... p. 22 3.B. General properties ................................................... ............ p. 23 3.C. Structure of the Albanese map (K¨ahler case) .................................... p. 25 3.D. Numerical flatness of the Albanese map ......................................... p. 32 4. Moishezon manifolds with nef tangent bundles ........................................ p. 36 5. Two structure theorems ................................................... ........... p. 37 6. Surfaces with nef tangent bundles ..................................................
    [Show full text]
  • Vanishing Theorems and Syzygies for K3 Surfaces and Fano Varieties
    VANISHING THEOREMS AND SYZYGIES FOR K3 SURFACES AND FANO VARIETIES F. J. Gallego and B. P. Purnaprajna May 26, 1996 Abstract. In this article we prove some strong vanishing theorems on K3 surfaces. As an application of them, we obtain higher syzygy results for K3 surfaces and Fano varieties. 1. Introduction In this article we prove some vanishing theorems on K3 surfaces. An application of the vanishing theorems is a result on higher syzygies for K3 surfaces and Fano varieties. One part of our results fits a meta-principle stating that if L is a line bundle that is a product of (p+1) ample and base point free line bundles satisfying certain conditions, then L satisfies the condition Np ( a condition on the free resolution of the homogeneous coordinate ring of X embedded by L). Other illustrations of this meta-principle have been given in [GP1], [GP2] and [GP3]. The condition Np may be interpreted, through Koszul cohomology, as a vanishing condition on a certain vector bundle. arXiv:alg-geom/9608008v1 7 Aug 1996 The other part of our results provides strong vanishing theorems that imply, in particular, the vanishing needed for Np. We also prove stronger variants of the principle stated above for K3 surfaces and Fano varieties. Before stating our results in detail, we recall some key results in this area, namely the normal generation and normal presentation on K3 surfaces due to Mayer and St.Donat. Mayer and St. Donat proved that if L is a globally generated line bundle on a K3 surface X such that the general member in the linear system is a non hyperelliptic curve of genus g ≥ 3, then L is normally generated (in other words, the homogeneous coordinate ring of X in projective space P(H0(L)) is projectively normal).
    [Show full text]
  • Positivity in Algebraic Geometry I
    Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics 48 Positivity in Algebraic Geometry I Classical Setting: Line Bundles and Linear Series Bearbeitet von R.K. Lazarsfeld 1. Auflage 2004. Buch. xviii, 387 S. Hardcover ISBN 978 3 540 22533 1 Format (B x L): 15,5 x 23,5 cm Gewicht: 1650 g Weitere Fachgebiete > Mathematik > Geometrie > Elementare Geometrie: Allgemeines Zu Inhaltsverzeichnis schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. Introduction to Part One Linear series have long stood at the center of algebraic geometry. Systems of divisors were employed classically to study and define invariants of pro- jective varieties, and it was recognized that varieties share many properties with their hyperplane sections. The classical picture was greatly clarified by the revolutionary new ideas that entered the field starting in the 1950s. To begin with, Serre’s great paper [530], along with the work of Kodaira (e.g. [353]), brought into focus the importance of amplitude for line bundles. By the mid 1960s a very beautiful theory was in place, showing that one could recognize positivity geometrically, cohomologically, or numerically. During the same years, Zariski and others began to investigate the more complicated be- havior of linear series defined by line bundles that may not be ample.
    [Show full text]
  • Moving Codimension-One Subvarieties Over Finite Fields
    Moving codimension-one subvarieties over finite fields Burt Totaro In topology, the normal bundle of a submanifold determines a neighborhood of the submanifold up to isomorphism. In particular, the normal bundle of a codimension-one submanifold is trivial if and only if the submanifold can be moved in a family of disjoint submanifolds. In algebraic geometry, however, there are higher-order obstructions to moving a given subvariety. In this paper, we develop an obstruction theory, in the spirit of homotopy theory, which gives some control over when a codimension-one subvariety moves in a family of disjoint subvarieties. Even if a subvariety does not move in a family, some positive multiple of it may. We find a pattern linking the infinitely many obstructions to moving higher and higher multiples of a given subvariety. As an application, we find the first examples of line bundles L on smooth projective varieties over finite fields which are nef (L has nonnegative degree on every curve) but not semi-ample (no positive power of L is spanned by its global sections). This answers questions by Keel and Mumford. Determining which line bundles are spanned by their global sections, or more generally are semi-ample, is a fundamental issue in algebraic geometry. If a line bundle L is semi-ample, then the powers of L determine a morphism from the given variety onto some projective variety. One of the main problems of the minimal model program, the abundance conjecture, predicts that a variety with nef canonical bundle should have semi-ample canonical bundle [15, Conjecture 3.12].
    [Show full text]
  • Algebraic Surfaces and Hyperbolic Geometry
    Current Developments in Algebraic Geometry MSRI Publications Volume 59, 2011 Algebraic surfaces and hyperbolic geometry BURT TOTARO We describe the Kawamata–Morrison cone conjecture on the structure of Calabi–Yau varieties and more generally klt Calabi–Yau pairs. The conjecture is true in dimension 2. We also show that the automorphism group of a K3 surface need not be commensurable with an arithmetic group, which answers a question by Mazur. 1. Introduction Many properties of a projective algebraic variety can be encoded by convex cones, such as the ample cone and the cone of curves. This is especially useful when these cones have only finitely many edges, as happens for Fano varieties. For a broader class of varieties which includes Calabi–Yau varieties and many rationally connected varieties, the Kawamata–Morrison cone conjecture predicts the structure of these cones. I like to think of this conjecture as what comes after the abundance conjecture. Roughly speaking, the cone theorem of Mori, Kawamata, Shokurov, Kollár, and Reid describes the structure of the curves on a projective variety X on which the canonical bundle K X has negative degree; the abundance conjecture would give strong information about the curves on which K X has degree zero; and the cone conjecture fully describes the structure of the curves on which K X has degree zero. We give a gentle summary of the proof of the cone conjecture for algebraic surfaces, with plenty of examples [Totaro 2010]. For algebraic surfaces, these cones are naturally described using hyperbolic geometry, and the proof can also be formulated in those terms.
    [Show full text]
  • Lines, Conics, and All That Ciro Ciliberto, M Zaidenberg
    Lines, conics, and all that Ciro Ciliberto, M Zaidenberg To cite this version: Ciro Ciliberto, M Zaidenberg. Lines, conics, and all that. 2020. hal-02318018v3 HAL Id: hal-02318018 https://hal.archives-ouvertes.fr/hal-02318018v3 Preprint submitted on 5 Jul 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. LINES, CONICS, AND ALL THAT C. CILIBERTO, M. ZAIDENBERG To Bernard Shiffman on occasion of his seventy fifths birthday Abstract. This is a survey on the Fano schemes of linear spaces, conics, rational curves, and curves of higher genera in smooth projective hypersurfaces, complete intersections, Fano threefolds, on the related Abel-Jacobi mappings, etc. Contents Introduction 1 1. Counting lines on surfaces 2 2. The numerology of Fano schemes 3 3. Geometry of the Fano scheme 6 4. Counting conics in complete intersection 8 5. Lines and conics on Fano threefolds and the Abel-Jacobi mapping 11 5.1. The Fano-Iskovskikh classification 11 5.2. Lines and conics on Fano threefolds 12 5.3. The Abel-Jacobi mapping 14 5.4. The cylinder homomorphism 16 6. Counting rational curves 17 6.1. Varieties of rational curves in hypersurfaces 17 6.2.
    [Show full text]
  • Strictly Nef Vector Bundles and Characterizations of P
    Complex Manifolds 2021; 8:148–159 Research Article Open Access Jie Liu, Wenhao Ou, and Xiaokui Yang* Strictly nef vector bundles and characterizations of Pn https://doi.org/10.1515/coma-2020-0109 Received September 8, 2020; accepted February 10, 2021 Abstract: In this note, we give a brief exposition on the dierences and similarities between strictly nef and ample vector bundles, with particular focus on the circle of problems surrounding the geometry of projective manifolds with strictly nef bundles. Keywords: strictly nef, ample, hyperbolicity MSC: 14H30, 14J40, 14J60, 32Q57 1 Introduction Let X be a complex projective manifold. A line bundle L over X is said to be strictly nef if L · C > 0 for each irreducible curve C ⊂ X. This notion is also called "numerically positive" in literatures (e.g. [25]). The Nakai-Moishezon-Kleiman criterion asserts that L is ample if and only if Ldim Y · Y > 0 for every positive-dimensional irreducible subvariety Y in X. Hence, ample line bundles are strictly nef. In 1960s, Mumford constructed a number of strictly nef but non-ample line bundles over ruled surfaces (e.g. [25]), and they are tautological line bundles of stable vector bundles of degree zero over smooth curves of genus g ≥ 2. By using the terminology of Hartshorne ([24]), a vector bundle E ! X is called strictly nef (resp. ample) if its tautological line bundle OE(1) is strictly nef (resp. ample). One can see immediately that the strictly nef vector bundles constructed by Mumford are actually Hermitian-at. Therefore, some functorial properties for ample bundles ([24]) are not valid for strictly nef bundles.
    [Show full text]
  • All Complete Intersection Varieties Are Fano Visitors 3
    ALL COMPLETE INTERSECTION VARIETIES ARE FANO VISITORS YOUNG-HOON KIEM, IN-KYUN KIM, HWAYOUNG LEE, AND KYOUNG-SEOG LEE Abstract. We prove that the derived category of a smooth complete inter- section variety is equivalent to a full subcategory of the derived category of a smooth projective Fano variety. This enables us to define some new invariants of smooth projective varieties and raise many interesting questions. 1. Introduction In recent years, derived categories of projective varieties attracted tremendous interest among algebraic geometers as well as physicists. Fano varieties in particular have been most intensively studied because their derived categories (1) determine the varieties completely due to the reconstruction theorem of Bondal and Orlov and (2) have canonical semiorthogonal decompositions by canonical exceptional collections of line bundles by the Kodaira vanishing theorem. Moreover, the de- rived categories of many Fano varieties of low dimension have been calculated quite explicitly. Often the derived categories of Fano varieties are big enough to contain interest- ing subcategories. For example, the derived categories of hyperelliptic curves are full subcategories of the derived categories of intersections of two quadrics (cf. [6]) and the derived categories of some special cubic 4-folds contain the derived cate- gories of K3 surfaces (cf. [17]). These results provide derived category theoretic explanations for the corresponding geometric results of [10, 27] and [3]. Analysis of derived categories may tell us where to dig (or where not to dig) when we are searching for a specific type of varieties. In 2011, Bondal raised the following question (cf. [5]). Question 1.1. (Fano visitor problem) arXiv:1503.00125v2 [math.AG] 29 Apr 2015 Let Y be a smooth projective variety.
    [Show full text]
  • Chapter V. Fano Varieties
    Chapter V. Fano Varieties A variety X is called Fano if the anticanonical bundle of X is ample. Thus Fano surfaces are the same as Del pezzo surfaces. The importance of Fano varieties in the theory of higher dimensional varieties is similar to the sig­ nificance of Del Pezzo surfaces in the two dimensional theory. The interest in Fano varieties increased recently since Mori's program predicts that every uniruled variety is birational to a fiberspace whose general fiber is a Fano variety (with terminal singularities). From this point of view it is more important to study the general prop­ erties of Fano varieties with terminal singularities than to understand the properties of smooth Fano varieties. At the moment, however, we know much more about smooth Fano varieties, and their theory should serve as a guide to the more subtle questions of singular Fano varieties. Fano varieties also appear naturally as important examples of varieties. In characteristic zero every projective variety which is homogeneous under a linear algebraic group is Fano (1.4), and their study is indispensable for the theory of algebraic groups. Also, Fano varieties have a very rich internal geometry, which makes their study very rewarding. This is one of the reasons for the success of the theory of Fano threefolds. This is a beautiful subject, about which I say essentially nothing. Section 1 is devoted to presenting the basic examples of Fano varieties and to the study of low degree rational curves on them. The largest class of examples are weighted complete intersections (1.2-3); these are probably the most accessible by elementary methods.
    [Show full text]