CRITERIA FOR COMPLETE INTERSECTIONS MIHAI HALIC Abstract. We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of rational homogeneous varieties are complete intersections. Introduction Hartshorne [20] conjectured that smooth subvarieties of projective spaces of sufficiently low codimension are necessarily complete intersections. He also stated that this is indeed the case as soon as the degree of the subvariety is small compared to the dimension of the ambient projective space. The goal of this article is to investigate this problem in a more general setting. We ask whether a similar statement holds for smooth subvarieties X of other ambient varieties V as well. From the beginning, one distinguishes two cases: One assumes that the normal bundle of X decomposes into a direct sum of line bundles. ´ This condition is clearly satisfied for complete intersections. or There are no a priori hypotheses. ´ In the first case, the property of being a complete intersection is reduced to verifying the splitting of the normal bundle of the subvariety; this feature is, at least theoretically, much easier to verify. Faltings [13] showed that a smooth subvariety of the projective space Pn, of codimension at most n 2, is a complete intersection as soon as its normal bundle splits. By analysing his proof, one{ observes that at its base there is a Hauptlemma—main lemma—which is valid in great generality. However, its ‘implementation’ is strongly adapted to subvarieties of projective spaces. This may explain why, to our knowledge, the arguments have not been extended to a wider framework. In the first part of the article we attempt bridging this arXiv:1907.11121v2 [math.AG] 28 Nov 2020 difference. The following statement conveys the flavour of our results. Theorem (cf. 2.3, 2.6) Let G be a simple, linear algebraic group of rank ℓ 6 and P a maximal parabolic subgroup. ě Let X be a smooth subvariety of the rational homogeneous variety G P , of codimension 2 δ ℓ 1 3. Then X is a complete intersection as soon as either one{ of the following twoď conditionsď p ` q{ is satisfied: Its normal bundle N splits into a direct sum of line bundles. ´ X{V The ideal defining X is generated by at most ℓ 1 2 δ equations. ´ p ` q{ ´ (By equations, we mean sections in various OV d , d 0.) p q ą 2010 Mathematics Subject Classification. 14M10, 14C20, 14M17. Key words and phrases. complete intersection; splitting normal bundle; q-ample divisor. 1 2 MIHAI HALIC In down-to-earth terms, the splitting of the normal bundle of the subvariety or the generation of its defining ideal by few enough polynomials ensure the complete intersection property. Let us remark that we prove this kind result for a much wider class of situations (cf. Theorem 1.9); the formulation above is chosen to avoid additional terminology. The second part is devoted to the case where there are no assumptions on the splitting type of the normal bundle of the subvariety; we restrict ourselves to the two-codimensional case. For subvarieties of arbitrary codimension in projective spaces, positive results to- wards Hartshorne’s conjecture have been obtained by Barth-Van de Ven [6] and Bertram- Ein-Lazarsfeld [9]. In the two-codimensional case, Barth-Van de Ven [7], Ran [25], Holme- Schneider [23] determined effective upper bounds for the degree of the subvariety ensuring the complete intersection property. Also, the conjecture has been proved by Ionescu-Russo [24] for subvarieties cut out by quadratic equations. Theorem (cf. 3.10) Let G P be as before, with ℓ 6, and denote m : degL TV 3, where L is the 1-dimensional{ Schubert line. Suppose Xě is smooth, 2-codimensional,“ p suchq ´ that 2 X dX O 1 , det N OX nX . If either r s“ ¨ r G{P p qs p X{V q“ p q dX m nX m or dX nX 2 m, ď p ´ q a ď { ď the subvariety X G P is a complete intersection. Ă { The statement is weaker than before, when the splitting of the normal bundle was known in advance, but it faithfully parallels the results of Ran and Schneider for subvarieties of projective spaces. In fact, along the way, we show (cf. Theorem 3.4) that subvarieties with stable normal bundle have large degree. Our bound (of order four in ℓ) is better than that of Schneider (quadratic in ℓ), even for projective spaces. This fact, combined with the theorem above yields a positive answer to Hartshorne’s question for subvarieties of low degree. Theorem (cf. 3.11) Let G P be as before, ℓ 11, and m : degL TV 3. Let X be smooth, 2-codimensional, such that { ě “ p q´ 2 2 X dX O 1 , dX m . r s“ ¨ r G{P p qs ď 2 Then X is a complete intersection in V . For ℓ 7,..., 10, the same holds for dX 3m 10. “ ď { To the author’s knowledge, the only one reference which investigates the complete inter- section property for subvarieties of homogeneous varieties, other than projective spaces, is Barth-Van de Ven [8] dealing with 2-codimensional subvarieties of Grassmannians (of very low degree). We believe that the interest in our work (with or without assumptions on the normal bundle) consists in placing Hartshorne’s question in a much wider context. 1. Subvarieties with split normal bundle Notation 1.1 We work over an algebraically closed field k of characteristic zero. Throughout the article, X is a smooth subvariety of an ambient smooth projective variety V , of codimen- sion 2 δ dim V 2, which is defined by the sheaf of ideals IX OV ; its co-normal bundle _ ď ď 2 { Ă N : IX I is locally free, of rank δ. For a subvariety Y of V containing X, we denote X{V “ { X IX Y : IX IY . Ă “ { In this section, we consider the following issue: CRITERIAFORCOMPLETEINTERSECTIONS 3 N_ Assuming that X{V splits —it decomposes into a direct sum of line bundles—, can one deduce that X a complete intersection of δ hypersurfaces in V ? Faltings’ work [13] corresponds to the case where V is a projective space. Our investigations naturally involve partially ample subvarieties of projective varieties (in- vestigated by the author in [18]). For the reader’s comfort, we briefly recalled these notions in the Appendix A. We assume henceforth, throughout this section, that the following conditions are satisfied. Assumption 1.2 (i) The conormal bundle of X in V splits into a direct sum of line bundles δ 2 ´1 IX I L OX , Lj Pic V . (1.1) { X “ j b P p q jà“1 We denote by 2 xj Γ X, IX I Lj , 1 j δ, (1.2) P p { X qb ď ď ` ˘ the section corresponding to the direct summand OX . ´1 (ii) L Lj is semi-ample, for all j 1,...,δ,. (We agree that L0 : OV .) Note that, in this j´1 “ “ case, Lj is semi-ample too. For short, we say that L1,..., Lδ are ordered. (iii) The subvariety X V is qX -ample, qX dim V 2δ dim X δ (so dim V 4). Ă ď ´ “ ´ ě Together with the previous assumption, this implies that Lj OX is qX-positive, for all j. (See Proposition A.5 and Definition A.1.) b Remark 1.3 (i) We imposed that the line bundles appearing in the splitting of the conormal bundle (over X) actually come from V . This is not very far from the full generality, where they would be defined only over X: for δ 3 and arbitrary V , the partial amplitude of X implies that Pic V Q Pic X Qěis an isomorphism (cf. [18, Corollary 1.12]). Actually the isomorphismp qb holdsÑ withp qbZ-coefficients in many situations, especially for subvarieties of rational homogeneous varieties and for zero loci of sections in vector bundles (cf. Barth-Lefschetz-type theorems [29, 30]). (ii) For rational homogeneous varieties V G P , where P G is a maximal parabolic “ { Ă subgroup (so Pic V Z), the line bundles Lj are positive multiples of OV 1 , hence p q – p q qj 0 for all j. Consequently, our partial positivity assumption is a weakening of this situation.“ (iii) The semi-ampleness of the successive differences means that L1,..., Lδ are ordered ‘in- creasingly’; the condition is automatically satisfied whenever the Picard group is cyclic. (iv) The most important information given by the partial amplitude of X V is the upper bound on the cohomological dimension of its complement (see PropositionĂ A.5). It ensures that certain intersections are non-trivial, substituting the knowledge of the cohomology ring of V . Lemma 1.4 Let V, X be as above. Suppose Z V is an arbitrary closed, irreducible sub- scheme of codimension at most δ. Then Z intersectsĂ X non-trivially. Proof. The partial amplitude of X V yields: cd V X qX δ 1 dim X 1. Hence Z, which is complete with dim Z Ădim X, can’t bep containedz q ď in` the´ complementď ´ of X. l ě 4 MIHAI HALIC Lemma 1.5 Let V, X be as above. Let Y be an irreducible, normal, lci subvariety of V which (strictly) contains X, is smooth along it, and such that δ _ 2 ´1 N IX Y I L OX X{Y “ Ă { XĂY “ j b jà“d for some d δ. Then the following statements hold.