F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 12/9-2010

Transcription

1 F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 12/ KARL SCHWEDE 1. Fujita s conjecture We begin with a discussion of Castlenuovo-regularity, see [Laz04, Section 1.8]. Definition 1.1. Let F be a coherent sheaf on a projective variety X with a given ample line bundle A = O X (A) which is generated by global sections. A coherent sheaf F on X is called m-regular with respect to A if for i > 0. H i (X, F A (m i) ) = 0 Theorem 1.2 (Mumford). [Laz04, Theorem 1.8.5] With notation as above, suppose that F is an m-regular sheaf. Then F A m is globally generated. Example 1.3. [Laz04, Example ]. Suppose that X is a smooth (or log canonical) n-dimensional variety of characteristic zero and A = O X (A) is an ample line bundle on X. Now, for each k set F k = ω X. Clearly, H i (X, F k A (n+k i) ) = 0 by Kodaira vanishing for any k 0 and any i > 0. Thus ω X is n + k-regular for all k 1. Applying the theorem above implies that O X (K X + (n + k)a) is globally generated for any k 1. Conjecture 1.4 (Fujita). [Fuj87] Suppose that A is an ample line bundle on a smooth n-dimensional variety X. Then: (i) ω X A n+1+k is globally generated for k 0. (ii) ω X A n+2+k is very ample for k 0. While we showed that (i) holds under the hypotheses that A is globally generated, condition (ii) also holds under the same condition, see [Laz04]. There a numerous refinements of this theorem by many authors including Angehrn, D ly, Helmke, Kawamata, Kollár, Lazarsfeld, Seunghun Lee, Matsushita, Siu, Tsuji, and many others and has spawned much research in regards to Seshadri constants. It has been shown in characteristic zero in up through dimension 4, notably in [Rei88], [EL93], [Kaw97]. In characteristic p > 0, much less is known. Theorem 1.5. [Smi97], cf [Har05] Suppose that X is a variety over k = k. If X is only F -rational and A is globally generated then (i) holds in characteristic p > 0. The proof uses tight-closure methods, and we will prove it shortly. 1

2 Theorem 1.6. [Kee08] Suppose that X is a variety over k = k. If X is smooth and A is globally generated, then (ii) holds in characteristic p > 0. The proof uses Arapura s theory of Frobenius amplitude, which can be thought of as a means to measure positivity of line bundles and other sheaves in positive characteristic. We now turn to the proof of (i) in positive characteristic, we follow Hara s approach from [Har05]. First recall the following definition. Definition 1.7. Given an ideal a in a ring R and an integer t > 0, the test submodule τ(ω R, a t ) is defined to be the unique smallest submodule J ω R such that Φ e R(F e a t(pe 1) J) J where Φ R : F ω R R is the dual of Frobenius. It is also harmless to replace a t(pe 1) by a t(pe 1) in the previous equation. Given an appropriate test element c R, we still have τ(ω, a t ) = e 0 Φ e R(F e ca tpe ω R ) Any difference between using integral closures or not (or tp e vs t(p e 1) can be absorbed into the c-term. Lemma 1.8. [Har05, Proposition 2.4], [HT04] Assume that R is a N-graded ring of dimension d 1 and further suppose that R has a graded system of parameters in degree 1. Set m = R +. Then if l 0 is an integer, we have τ(ω R, m l+d 1 ) = m l τ(ω R, m d 1 ). Proof. The proof is essentially the same as a proof in [BSTZ10]. Choose a to be the ideal generated by our given system of parameters noting that a = m (in particular, it is generated by d-elements). We consider the dual of Frobenius, Φ R : F ω R ω R. We then note the following equality, m pn (l+d 1) = a pn (l+d 1) = a pnl a pn (d 1) = (a [pn] ) l a pn (d 1). Then for some w > 0 and appropriate 0 c R we have: τ(ω R ; a d 1 ) = Φ n R(F n a (l+d 1)pn cω R ), and Φ n R(F n a (l+d 1)pn cω R ), and Φ n R(F n a (d 1)pne cω R ). 2

3 However, as desired. = = Φ n R(F n a (l+d 1)pn cω R ) Φ n R(F n (a [pn] ) l a pn (d 1) cω R ) Φ n R(F n (a l ) [pn ] a p n (d 1) cω R ) = (a l ) φ n (F n a pn (d 1) cω R ) = m l τ(ω R ; a d 1 ) Lemma 1.9. [Har05, Lemma 2.6] Suppose that R is a d-dimensional normal graded ring over a perfect field k = R 0 of characteristic p > 0 with m = R + and also that R has a system of parameters of degree 1. Suppose further that R is F -rational on the punctured spectrum. Then τ(ω, m l ) = [ω R ] >l for l 0. Proof. We will work in the Matlis dual world. The Matlis dual of ω R /τ(ω, m l ) is 0 ml H d m(r) and so we want to show that 0 ml H d m(r) = Hd m(r) l Recall that 0 ml is the set of elements z Hm(R) d Hd m(r) such that there exists 0 c R satisfying cm lpe z pe = 0 Hm(R). d So we have two containments to show. First suppose that z Hm(R) d l. Thus m lpe z pe Hm(R) d 0, but Hm(R) d 0 has finite length and so there is a non-zero element of R which annihilates it, which implies z 0 ml. Hm(R) d The reverse containment is somewhat more involved. First note that because ω R /τ(ω, m l ) has support at the maximal ideal, 0 ml has finite length. This implies that the Frobenius Hm(R) d map F e : [Hm(R)] d < l [Hm(R)] d < p e l is injective for l 0. Choose 0 z [Hm(R)] d < l. Therefore, lim e deg(z pe ) + lp e =. Claim 1. For e 0, there exists a sequence of c e R such that lim e deg(c e ) = and such that c e R p e lz pe 0. Proof. The socle of H d m(r) is the set of elements of H d m(r) annihilated by m. This is a module of finite length since its Matlis dual is ω R /(mω R ). To see this, given a set of generators y i of m, the socle is the kernel of H d m(r) y i H d m(r). Matlis duality gives the claim. Likewise the module of elements of H d m(r) annihilated by R n is also finite length for any n. 3

4 Now, R p e lz pe is non-zero for e 0 because if it was zero, then R p e l 1z pe would be in the socle or zero. Inductively, this is ridiculous. Thus we can find c e satisfying the desired properties. Using the fact that the degrees of c e are increasing, it then follows (by arguments I won t repeat here, see the citation for more descriptions, or [Sch08]) that c e is a test element for e 0. We also know that e 0, c e m pel z pe = c e R p e lz pe 0, which implies that z / 0 ml. Hm(R) d This completes the proof. We need one more lemma. Lemma 1.10 (Smith). With notation as above, ω X L m is globally generated if [ω R ] l = R l m [ω R ] m for all l 0. Proof. Suppose first the condition is satisfied, but that ω X L m is not globally generated. In particular, the global sections of ω X L m all vanish on some closed subvariety. But then R l m [ω R ] m vanishes on that same subvariety for l 0. Now we turn to our main result of this section: Suppose that A is an ample and globally generated line bundle on a smooth n-dimensional variety X. Then ω X A n+1+k is globally generated for k 0. Proof of Theorem 1.5. This is taken from [Har05, Theorem 2.1]. Set R = R(X, A ) and set d = n + 1 = dim X + 1 = dim R. As before, set m = R + and observe that m l = R l. Now, we have the following inclusions for l 0: R l d [ω R ] d 1 [ω R ] >l 1 = τ(ω, m l 1 ) = R l d τ(ω, m d 1 ) R l d [ω R ] >d 1 This completes the proof. References [BSTZ10] M. Blickle, K. Schwede, S. Takagi, and W. Zhang: Discreteness and rationality of F - jumping numbers on singular varieties, Math. Ann. 347 (2010), no. 4, [EL93] L. Ein and R. Lazarsfeld: Global generation of pluricanonical and adjoint linear series on smooth projective threefolds, J. Amer. Math. Soc. 6 (1993), no. 4, (94c:14016) [Fuj87] T. Fujita: On polarized manifolds whose adjoint bundles are not semipositive, Algebraic geometry, Sendai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, pp (89d:14006) [Har05] N. Hara: A characteristic p analog of multiplier ideals and applications, Comm. Algebra 33 (2005), no. 10, MR (2006f:13006) [HT04] N. Hara and S. Takagi: On a generalization of test ideals, Nagoya Math. J. 175 (2004), MR (2005g:13009) [Kaw97] Y. Kawamata: On Fujita s freeness conjecture for 3-folds and 4-folds, Math. Ann. 308 (1997), no. 3, MR (99c:14008) [Kee08] D. S. Keeler: Fujita s conjecture and Frobenius amplitude, Amer. J. Math. 130 (2008), no. 5, [Laz04] (2009i:14006) R. Lazarsfeld: Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 48, Springer-Verlag, Berlin, 2004, Classical setting: line bundles and linear series. MR (2005k:14001a) [Rei88] I. Reider: Vector bundles of rank 2 and linear systems on algebraic surfaces, Ann. of Math. (2) 127 (1988), no. 2, (89e:14038) 4

5 [Sch08] K. Schwede: Centers of F -purity, arxiv: , to appear in Mathematische Zeitschrift. [Smi97] K. E. Smith: Fujita s freeness conjecture in terms of local cohomology, J. Algebraic Geom. 6 (1997), no. 3, MR (98m:14002) 5