arxiv:math/ v2 [math.ag] 31 Mar 2008

Transcription

1 arxiv:math/ v [math.ag] 31 Mar 008 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM XIAOTAO SUN Abstract. Let X be a smooth projective variety of dimension n over an algebraically closed field k with char(k) = p > 0 and F : X X 1 be the relative Frobenius morphism. For any vector bundle W on X, we prove that instability of F W is bounded by instability of W T l (Ω 1 X ) (0 l n(p 1))(Corollary 4.9). When X is a smooth projective curve of genus g, it implies F W being stable whenever W is stable. Dedicated to Professor Zhexian Wan on the occasion of his 80th birthday. 1. Introduction Let X be a smooth projective variety of dimension n over an algebraically closed field k with char(k) = p > 0. Fix an ample divisor H on X, by a semistable (resp. stable) torsion free sheaf, we mean a H-slope semistable (resp. H-slope stable) sheaf in this paper. For a torsion free sheaf F on X, there is a unique filtration 0 = F 0 F 1 F k = F such that F i /F i 1 (1 i k) are semistable torsion free sheaves and µ max (F) := µ(f 1 ) > µ(f /F 1 ) > > µ(f k /F k 1 ) := µ min (F). The instability of F was defined as I(F) = µ max (F) µ min (F), which measures how far from F being semi-stable. In particular, F is semistableifandonlyifi(f) = 0. Ontheother hand, therearesub-bundles T l (Ω 1 X ) (Ω1 X ) l, 0 l n(p 1), which are the associated bundles of Ω 1 X through some elementary (perhaps interesting) representations of GL(n). These representations do not appear in characteristic zero. Let F : X X 1 be the relative Frobenius morphism, for any vector bundle W on X, let I(W,X) be the maximal value of I(W T l (Ω 1 X )) Date: February, 008. Partially supported by a matched grant of Chinese Academy of Science and the DFG Leibniz Preis of Esnault-Viehweg. 1

2 XIAOTAO SUN where 0 l n(p 1). Then one of our results in this paper shows (Corollary 4.9): When K X H n 1 0, we have I(F W) p n 1 rk(w)i(w,x). In particular, if the bundles W T l (Ω 1 X ), 0 l n(p 1), are semistable, then F W is semistable. In fact, when K X H n 1 > 0, we can show that the stability of W T l (Ω 1 X ), 0 l n(p 1), implies the stability of F W (Theorem 4.8). The main theorem has an immediate corollary that when X is a smooth projective curve of genus g, the stability of W implies stability of F W. This is in fact our original motivation stimulated by a question raised by Herbert Lange at a conference. When W is a line bundle, it is due to Lange and Pauly ([6, Proposition 1. ]). The present version is based on our earlier preprint ([8]), where the theorem was completely proved only for curves. It should be pointed out, in case of curves, Mehta and Pauly have proved independently that semi-stability of W implies semi-stability of F W by a different method. However, their method was not able to prove the stability of F W when W is stable. In fact, they asked the question: Is stability also preserved by F? (cf. [7, Section 7] for the discussions). To describe the idea of proof, let us compare it to its opposite case, a Galois étale G-cover f : Y X. Recall that for a semi-stable bundle W on Y, to prove semistability of f W, one uses the fact that f (f W) decomposes into pieces of W σ (σ G). To imitate this idea for F : X X 1, we need a similar decomposition of V = F (F W). Indeed, usethecanonicalconnection : V V Ω 1 X, Joshi-Ramanan- Xia-Yu have defined in [4] for dim(x) = 1 a canonical filtration 0 = V p V p 1 V l V l 1 V 1 V 0 = V such that V l /V l+1 = W (Ω 1 X ) l. It is this filtration and its generalization that we are going to use for the study of F W. As the first step, we generalize the canonical filtration to higher dimensional X. Its definition can be generalized straightforwardly by using the canonical connection : V V Ω 1 X. The study of its graded quotients are much involved. We show (Theorem 3.7) that there exists a canonical filtration 0 = V n(p 1)+1 V n(p 1) V 1 V 0 = V = F (F W) such that induces injective morphisms V l /V l+1 (V l 1 /V l ) Ω 1 X of vector bundles and the isomorphisms V l /V l+1 = W T l (Ω 1 X ), where T l (Ω 1 X ) (Ω1 X ) l are subbundles given by representations of GL(n) (cf. Definition 3.4). In characteristic zero, T l (Ω 1 X ) = Syml (Ω 1 X ). In

3 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 3 characteristic p > 0, T l (Ω 1 X ) = Sym l (Ω 1 X ) only for l < p. In general, there is a resolution of T l (Ω 1 X ) (Proposition 3.5) by symmetric powers of Ω 1 X and exterior powers of F (Ω 1 X ) (After [8] appeared, Indranil Biswas told me that a similar filtration was defined and studied in Proposition 4.1 of their preprint [1]. However, since their map (4.7) was wrong, the Proposition 4.1 (also Proposition 4. consequently) of [1] was wrong. After we pointed out these gaps, they have corrected these mistakes in []). To prove the main theorem, we also need to compare sub-sheaves of V l /V l+1 to sub-sheaves of V n(p 1) l /V n(p 1) l+1 which are -invariant (Proposition 4.7). It is reduced to consider the (graded) K-algebra R = K[y 1,y,,y n ] (y p 1,y p,...,y p n) = n(p 1) R l with a D-module structure, where D = K[ n(p 1) y 1,, yn ] ( y p 1,, y p n ) = K[t 1,t,,t n ] = which acts on R through the partial derivations y1, y,..., yn. For any subspace V R l, let L(D l n(p 1) V) be the linear subspace spanned by D l n(p 1) V R n(p 1) l. Then we are reduced to ask if D l dim(v) diml(d l n(p 1) V) when n(p 1) l n(p 1)? Our Lemma 4.5 and Proposition 4.7 give an affrmative answer to it. When X is a smooth projective curve of genus g 1, the proof of theorem is very elementary and simple, which does not need the more involved arguments of higher dimensional case and shows the idea of proof best. Thus, although it is a direct corollary of the general case (Theorem 4.8), we still put its proof in an independent section. It is also convenient for a reader who is only interested in the proof for curves. Acknowledgements: I would like to thank Hélène Esnault, Eckart Viehweg, Hourong Qin, Manfred Lehn, Indranil Biswas, Herbert Lange, Christian Pauly for their interest and discussions. The proof of the purely combinatorial Lemma 4.6 is due to Fusheng Leng. I thank him very much for his help. Finally, I would like to thank the referee for the helpful comments.

4 4 XIAOTAO SUN. The case of curves Let k be an algebraically closed field of characteristic p > 0 and X be a smooth projective curve over k. Let F : X X 1 be the relative k-linear Frobenius morphism, where X 1 := X k k is the base change of X/k under the Frobenius Spec(k) Spec(k). Let W be a vector bundle on X and V = F (F W). It is known ([5, Theorem 5.1]) that V has a canonical connection : V V Ω 1 X with zero p-curvature. In [4, Section 5], the authors defined a canonical filtration (.1) 0 = V p V p 1 V l V l 1 V 1 V 0 = V where V 1 = ker(v = F F W W) and (.) V l+1 = ker(v l V Ω 1 X V/V l Ω 1 X ). The following lemma belongs to them (cf. [4, Theorem 5.3]). Lemma.1. (i) V 0 /V 1 = W, (Vl+1 ) V l Ω 1 X for l 1. (ii) V l /V l+1 (V l 1 /V l ) Ω 1 X is an isomorphism for 1 l p 1. (iii) If g and W is semistable, then the canonical filtration (.1) is nothing but the Harder-Narasimhan filtration. Proof. (i) follows by the definition, which and (ii) imply (iii). To prove (ii), let I 0 = F F O X, I 1 = ker(f F O X O X ) and (.3) I l+1 = ker(i l I 0 Ω 1 X I 0/I l Ω 1 X ) which is the canonical filtration (.1) in the case W = O X. (ii) is clearly a local problem, we can assume X = Spec(k[[x]]) and W = k[[x]] r. Then V 0 := V = F (F W) = I0 r, V l = I r l and (.4) V l /V l+1 = (I l /I l+1 ) r (I l 1 /I l Ω 1 X ) r = V l 1 /V l Ω 1 X. Thus it is enough to show that (.5) I l /I l+1 I l 1 /I l Ω 1 X is an isomorphism. Locally, I 0 = k[[x]] k[[x p ]] k[[x]] and (.6) : k[[x]] k[[x p ]] k[[x]] I 0 OX Ω 1 X, where (g f) = g f dx. The O X -module (.7) I 1 := ker(k[[x]] k[[x p ]] k[[x]] k[[x]]) has a basis {x i 1 1 x i } 1 i p 1. Notice that I 1 is also an ideal of the O X -algebra I 0 = k[[x]] k[[x p ]]k[[x]], let α = x 1 1 x, then α i I 1.

5 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 5 It is easy to see that α, α,..., α p 1 is a basis of the O X -module I 1 (notice that α p = x p 1 1 x p = 0), and (.8) (α l ) = lα l 1 dx. Thus, as a free O X -module, I l has a basis {α l, α l+1,..., α p 1 }, which means that I l /I l+1 has a basis α l, (I l 1 /I l ) Ω 1 X has a basis αl 1 dx and (α l ) = lα l 1 dx. Therefore induces the isomorphism (.5) since (l,p) = 1, which implies the isomorphism in (ii). Theorem.. Let X be a smooth projective curve of genus g 1. Then F W is semi-stable whenever W is semi-stable. If g, then F W is stable whenever W is stable. Proof. Let E F W be a nontrivial subbundle and (.9) 0 V m F E V 1 F E V 0 F E = F E be the induced filtration. Let r l = rk( V l F E V l+1 ) be the ranks of quotients. Then, by the filtration (.9), we F E have (.10) µ(f E) = 1 rk(f E) m r l µ( V l F E V l+1 F E ). By Lemma.1, V l /V l+1 = W (Ω 1 X ) l is stable, we have (.11) µ( V l F E ) µ(w)+(g 1)l. V l+1 F E Then, notice that µ(v) = µ(w)+(p 1)(g 1), we have g m (.1) µ(f W) µ(e) p rk(e) ( p 1 l)r l which becomes equality if and only if the inequalities in (.11) become equalities. It is clear by (.1) that µ(f W) µ(e) > 0 if m p 1. Thus we can assume that m > p 1, then we can write m ( p 1 p 1 (.13) l)r l = (l p 1 )r p 1 l l=m+1 m (.14) + (l p 1 )(r p 1 l r l ) l> p 1 m l> p 1 (l p 1 )(r p 1 l r l ).

6 6 XIAOTAO SUN On the other hand, since the isomorphisms V l /V l+1 (V l 1 /V l ) Ω 1 X in Lemma.1 (ii) induce the injections V l F E V l+1 F E V l 1 F E V l F E Ω1 X we have r 0 r 1 r l 1 r l r m. Thus g m µ(f W) µ(e) ( p 1 l)r l 0. p rk(e) If µ(f W) µ(e) = 0, then (.1) and (.13) become equalities. That (.1) becomes equality implies inequalities in(.11) become equalities, which means r 0 = r 1 = = r m = rk(w). Then that (.13) become equalities implies m = p 1. Altogether imply E = F W, we get contradiction. Hence F W is stable whenever W is stable. 3. The filtration on higher dimension varieties Let X be a smooth projective variety over k of dimension n and F : X X 1 be the relative k-linear Frobenius morphism, where X 1 := X k k is the base change of X/k under the Frobenius Spec(k) Spec(k). Let W be a vector bundle on X and V = F (F W). We have the straightforward generalization of the canonical filtration to higher dimensional varieties. Definition 3.1. Let V 0 := V = F (F W), V 1 = ker(f (F W) W) (3.1) V l+1 := ker(v l V OX Ω 1 X (V/V l ) OX Ω 1 X) where : V V OX Ω 1 X 5.1]). is the canonical connection (cf. [5, Theorem We first consider the special case W = O X and give some local descriptions. Let I 0 = F (F O X ), I 1 = ker(f F O X O X ) and (3.) I l+1 = ker(i l I 0 OX Ω 1 X I 0 /I l OX Ω 1 X). Locally, let X = Spec(A), I 0 = A A p A, where A = k[[x 1,,x n ]], A p = k[[x p 1,,x p n]]. Then the canonical connection : I 0 I 0 Ω 1 X is locally defined by (3.3) (g A p f) = n (g A p f x i ) A dx i

7 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 7 Notice that I 0 has an A-algebra structure such that I 0 = A A pa A is a homomorphism of A-algebras, its kernel I 1 contains elements n α k 1 1 α k (3.4) αn kn, where α i = x i A p 1 1 A p x i, k i 1. Sinceα p i = xp i A p1 1 A pxp i = 0, theset{αk 1 1 αkn n k 1+ +k n 1} has p n 1 elements. In fact, we have Lemma 3.. Locally, as free A-modules, we have, for all l 1, I l = (α k 1 (3.5) 1 αn kn )A. k 1 + +k n l Proof. We first prove for l = 1 that {α k 1 1 αn kn k k n 1} is a basis of I 1 locally. By definition, I 1 is locally free of rank p n 1, thus it is enough to show that as an A-module I 1 is generated locally by {α k 1 1 αn kn k 1 + +k n 1} since it has exactly p n 1 elements. It is easy to see that as an A-module I 1 is locally generated by {x k 1 1 x kn n A p1 1 A px k 1 1 x kn n k 1 + +k n 1, 0 k i p 1}. It is enough to show that any x k 1 1 x kn n A p 1 1 A p xk 1 1 x kn n is a linear combination of {α k 1 1 αn kn k 1 + +k n 1}. The claim is obvious when k 1 + +k n = 1, we consider the case k 1 + +k n > 1. Without loss generality, assume k n 1 and there are f j1,...,j n A such that x k 1 1 x kn 1 n A p1 1 A px k 1 1 x kn 1 n = Then we have x k 1 1 xkn n A p 1 1 A p xk 1 1 xkn n = + j 1 + +j n 1 j 1 + +j n 1 j 1 + +j n 1 (α j 1 1 αn jn ) f j 1,...,j n. (α j 1 (α j 1 1 αn jn ) f j1,...,j n x n + α n (x k 1 For l > 1, to prove the lemma, we first show n (α k 1 1 αn kn ) = k i (α k 1 (3.6) 1 α k i 1 i 1 αn jn+1 ) f j1,...,j n 1 x kn 1 n ). α kn n ) A dx i Indeed, (3.6) is true when k 1 + +k n = 1. If k 1 + +k n > 1, we assume k n 1 and α k 1 1 αkn 1 n = g j A p f j. Then α k 1 1 α kn n = j x n g j A p f j j g j A p f j x n.

8 8 XIAOTAO SUN Use (3.3), straightforward computations show (α k 1 1 αn kn ) = α n (α k 1 1 αn kn 1 ) (α k 1 n ) A dx n which implies (3.6). Now we can assume the lemma is true for I l 1 and 1 α kn 1 recall that I l = ker(i l 1 I 0 A Ω 1 X (I 0/I l 1 ) A Ω 1 X ). For any β = (α k 1 1 αkn n ) f k 1,...,k n I l 1, f k1,...,k n A, k 1 + k n l 1 by using (3.6), we see that β I l if and only if (α k 1 1 αk j 1 (3.7) αn kn ) k jf k1,...,k n I l 1 k 1 + +k n=l 1 j for all 1 j n. Since {α k 1 1 α kn n k 1 + +k n 1} is a basis of I 1 locally and the lemma is true for I l 1, (3.7) is equivalent to (3.8) For given (k 1,...,k n ) with k 1 + +k n = l 1 k j f k1,...,k n = 0 for all j = 1,...,n which implies f k1,...,k n = 0 whenever k 1 + +k n = l 1. Thus I l is generated by {α k 1 1 αkn n k 1 + +k n l}. Lemma 3.3. (i) I l = 0 when l > n(p 1), and (I l+1 ) I l Ω 1 X for l 1. (ii) I l /I l+1 (I l 1 /I l ) Ω 1 X are injective in the category of vector bundles for 1 l n(p 1). In particular, their composition (3.9) l : I l /I l+1 (I 0 /I 1 ) OX (Ω 1 X ) l = (Ω 1 X ) l is injective in the category of vector bundles. Proof. (i) follows from Lemma 3. and Definition 3.1. (ii) follows from (3.6). In order to describe the image of l in (3.9), we recall a GL(n)- representation T l (V) V l where V is the standard representation of GL(n). Let S l be the symmetric group of l elements with the action on V l by (v 1 v l ) σ = v σ(1) v σ(l) for v i V and σ S l. Let e 1,..., e n be a basis of V, for k i 0 with k 1 + +k n = l define (3.10) v(k 1,...,k n ) = σ S l (e k 1 1 e kn n ) σ Definition 3.4. Let T l (V) V l be the linear subspace generated by all vectors v(k 1,...,k n ) for all k i 0 satisfying k 1 + +k n = l. It is clearly a representation of GL(V). If V is a vector bundle of rank n, the subbundle T l (V) V l is defined to be the associated bundle

9 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 9 of the frame bundle of V (which is a principal GL(n)-bundle) through the representation T l (V). By sending any e k 1 1 ek ekn n Syml (V) to v(k 1,...,k n ), we have (3.11) Sym l (V) T l (V) which is an isomorphism in characteristic zero. When char(k) = p > 0, we have v(k 1,...,k n ) = 0 if one of k 1,..., k n is bigger than p 1. Thus (3.11) is not injective when l p, and T l (V) is isomorphic to the quotient of Sym l (V) by the relations e p i = 0, 1 i n. In particular, (3.1) T l (V) = Sym l (V) when 0 < l < p and T l (V) = 0 if l > n(p 1). For any 0 < l n(p 1), T l (V) is a simple representation of highest weight a n a {}}{{}}{ ( p 1,,p 1, b,0,,0), where l = (p 1)a+b, 0 b < p 1 and is called a Truncated symmetric power (cf. [3]). In next proposition, we will describe T l (V) using symmetric powers and exterior powers. The case of GL() is extremely simple, it is a tensor product of symmetric powers and exterior powers. In general, let F V denote the Frobenius twist of the standard representation V of GL(n) through the homomorphism GL(n) GL(n) ((a ij ) n n (a p ij ) n n), we have only a resolution of T l (V) using symmetric powers of V and exterior powers of F V. Fix a basis e 1,..., e n of V, we define the k-linear maps (3.13) q 1 q Sym l q p φ (V) k (V) Sym l (q 1) p (V) k (V) such that for any h = f l q p e k1 e kq (k 1 < < k q ), we have (3.14) φ(h) = q ( 1) i 1 e p k i f l q p e k1 ê ki e kq. Proposition 3.5. (i) When n =, as GL()-representations, we have T l (V) = { Sym l (V) when l < p; Sym (p 1) l (V) det(v) l (p 1) when l p

10 10 XIAOTAO SUN (ii) Let l(p) 0 be the unique integer such that 0 l l(p) p < p. Then, in the category of GL(n)-representations, we have exact sequence l(p) l(p) 1 0 Sym l l(p) p (V) k (F V) φ Sym l (l(p) 1) p (V) k (F V) q 1 q Sym l q p (V) k (F V) φ Sym l (q 1) p (V) k (F V) Sym l p (V) k F V φ Sym l (V) T l (V) 0. Proof. (i) When l < p, T l (V) = Sym l (V) follows the construction. When l p, the simple representation T l (V) has highest weight (p 1,l p+1) = (p l,0)+(l p+1) (1,1) where (p l,0) and (1,1) are the highest weights of the simple representations Sym p l (V) and (V) = det(v) respectively. Thus T l (V) = Sym (p 1) l (V) det(v) l (p 1). (ii) The elements e p 1, e p,..., e p n Sym (V) form clearly a regular sequence for Sym (V), thus the Koszul complex K (e p 1,...,e p n ) of Sym (V)-modules is a resolution of Sym (V) (e p 1,e p,...,e p n)sym (V) where K 1 = Sym (V) k V with basis 1 k e 1,..., 1 k e n and K i = i K 1. Notice i K 1 = Sym (V) k i V (as Sym (V)-modules), the sequence in the proposition is exact in the category of k-linear spaces (This was pointed out by Manfred Lehn). We only need to show the k-linear maps φ in (3.13) are maps of GL(n)-representations if V is twisted by Frobenius. It is enough to show, for any A = (a ij ) n n GL(n) and h = 1 e k1 e kq, that k 1 < <k q D φ(a h) = A φ(h) To simplify notation, we assume h = 1 e 1 e q, then A h = 1 ( ) k1,k,...,k q e 1,,...,q k1 e kq, where ( k1,k D,...,k q 1,,...,q ) =... a p qk 1,a p qk,...,a p qk q a p 1k 1,a p 1k,...,a p 1k q a p k 1,a p k,...,a p k q

11 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 11 Then, by definition of φ, we have φ(a h) = = = k 1 < <k q k 1 < <k q q ( 1) j 1 j=1 q ( 1) i 1 e p k i k D j=1 ( k1,k,...,k q 1,,...,q q q ( e p k i k ( 1) j 1 a p k1,...,ˆk jk i D i,...,k q 1,...,ĵ,...,q q k 1 < <k q ( a p jk i e p k1,...,ˆk k i k D i,...,k q 1,...,ĵ,...,q ) e k1 ê ki e kq ) e k1 ê ki e kq ) e k1 ê ki e kq. On the other hand, we will show q k 1 < <k q = ( n a p ji ep i i 1 < <i q 1 ( a p jk i e p k1,...,ˆk k i k D i,...,k q 1,...,ĵ,...,q ) e k1 ê ki e kq ) ( n ) ( n ) ( n ) k a p 1i e i a p ji e i a p qi e i ( ) a p ji k e p i1,...,i q 1 i k ) k D e 1,...ĵ...,q i1 e iq 1 ( q 1 k=1 and q j=1 ( ( 1) j 1 a p i1,...,i q 1 ji k D 1,...ĵ...,q ) = 0 (1 k q 1). Thus φ(a h) = A φ(h). In fact, the second equality corresponds to developing a determinant having the i k -th column repeated. To show the first equality, write ( n a p ji ep i = i 1 < <i q 1 ) k ( n ( n a p ji ep i ) ( n ) ( n ) a p 1i e i a p ji e i a p qi e i ) ( i1,...,i q 1 k D 1,...ĵ...,q )e i1 e iq 1.

12 1 XIAOTAO SUN For given i 1 < < i q 1, let S = {i 1,..., i q 1 }, write ( n ) ( ) a p i1,...,i ji ep i k D q 1 e 1,...ĵ...,q i1 e iq 1 = ( ) a p i1,...,i q 1 jt ep t k D e 1,...ĵ...,q i1 e iq 1 + t/ S q 1 k=1 ( a p ji k e p i1,...,i i k k D q 1 1,...ĵ...,q ) e i1 e iq 1 notice that for any t / S there is a unique k 1 < < k q with k i = t such that (k 1,...,ˆk i,...,k q ) = (i 1,...,i q 1 ), we have ( ) a p i1,...,i q 1 jt ep t k D e 1,...ĵ...,q i1 e iq 1 = t/ S ( ) a p jk i e p k1,...,ˆk k i k D i,...,k q e k1 ê ki e kq 1,...,ĵ,...,q k 1 < <k q where the summation is taken for all k 1 < < k q satisfying (k 1,...,ˆk i,...,k q ) = (i 1,...,i q 1 ). Then, taking summation for all i 1 < < i q 1 and exchange the order of two summations, we got the claimed equality. Lemma 3.6. With the notation in Definition 3.4, the composition (3.15) l : I l /I l+1 (Ω 1 X) l of the O X -morphisms in Lemma 3.3 (ii) has image T l (Ω 1 X ) (Ω1 X ) l. Proof. It is enough to prove the lemma locally. By Lemma 3., I l /I l+1 is locally generated by (3.16) {α k 1 1 α kn n k 1 + +k n = l}. By using formula (3.6) and the formula of permutations with repeated objects, we have (3.17) l (α k 1 1 α kn n ) = ( 1)l σ S l (dx k 1 1 dx kn n ) σ which implies that l (I l /I l+1 ) = T l (Ω 1 X ) (Ω1 X ) l. Theorem 3.7. The filtration defined in Definition 3.1 is (3.18) 0 = V n(p 1)+1 V n(p 1) V 1 V 0 = V = F (F W) which has the following properties

13 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 13 (i) (V l+1 ) V l Ω 1 X for l 1, and V 0/V 1 = W. (ii) V l /V l+1 (V l 1 /V l ) Ω 1 X are injective morphisms of vector bundles for 1 l n(p 1), which induced isomorphisms l : V l /V l+1 = W OX T l (Ω 1 X), 0 l n(p 1). The vector bundle T l (Ω 1 X ) is suited in the exact sequence 0 Sym l l(p) p (Ω 1 X) F Ω l(p) X Sym l q p (Ω 1 X) F Ω q X Sym l p (Ω 1 X) F Ω 1 X φ Sym l (l(p) 1) p (Ω 1 X) F Ω l(p) 1 X φ Sym l (q 1) p (Ω 1 X) F Ω q 1 X φ Sym l (Ω 1 X) T l (Ω 1 X) 0 where l(p) 0 is the integer such that l l(p) p < p. Proof. It is a local problem to prove the theorem. Thus V n(p 1)+1 = 0 follows from Lemma 3.. (i) is nothing but the definition. (ii) follows from Lemma 3.3, Proposition 3.5 and Lemma 3.6. Corollary 3.8. When dim(x) =, we have { W Sym l (Ω 1 X V l /V l+1 = ) when l < p W Sym (p 1) l (Ω 1 X ) ωl (p 1) X when l p Proof. It follows from (i) of Proposition stability in higher dimensional case Let X be a smooth projective variety over k of dimension n and H a fixed ample divisor on X. For a torsion free sheaf E on X, we define µ(e) = c 1(E) H n 1. rk(e) Definition 4.1. A torsion free sheaf E on X is called semistable (resp. stable) if, for any 0 E E, we have µ(e ) µ(e) (resp. µ(e ) < µ(e)). For any torsion free sheaf E on X, there is a unique filtration, the so-called Harder-Narasimhan filtration 0 = E 0 E 1 E k = E such that E i /E i 1 (1 i k) are semistable torsion free sheaves and µ max (E) := µ(e 1 ) > µ(e /E 1 ) > > µ(e k /E k 1 ) := µ min (E). The instability of E was defined as I(E) = µ max (E) µ min (E).

14 14 XIAOTAO SUN Then it is easy to see that for any subsheaf F E we have (4.1) µ(f) µ(e) I(E) = µ max (E) µ min (E). Let F : X X 1 be the relative k-linear Frobenius morphism and W a vector bundle of rank r on X. Lemma 4.. Let c 1 (Ω 1 X ) = K X. Then, in the chow group Ch(X 1 ) Q, c 1 (F W) = r(pn p n 1 ) (4.) K X1 +p n 1 c 1 (W), µ(f F W) = p µ(f W) = p 1 K X H n 1 +µ(w). Proof. The proof is just an application of Riemann-Roch theorem. Indeed, by Grothendieck-Riemann-Roch theorem, we have (4.3) c 1 (F W) = rpn K X +F (c 1 (W) r K X). We remark here that for any irreducible subvariety Y X, its image F X (Y) X (under the absolute Frobenius F X : X X) equals to Y, and the induced morphism F X : Y F X (Y) = Y is nothing but the absolute Frobenius morphism F Y : Y Y (which has degree p dim(y) ). In particular, F (c 1 (W) r K X) = p n 1 (c 1 (W) r K X 1 ) proves (4.). That µ(f F W) = p µ(f W) also follows from this remark. LetV = F F W, recall Theorem3.7, wehave thecanonicalfiltration (4.4) 0 = V n(p 1)+1 V n(p 1) V 1 V 0 = V = F (F W) with V l /V l+1 = W OX T l (Ω 1 X ). Lemma 4.3. With the same notation in Theorem 3.7, we have c 1 (T l (Ω 1 X)) = l l(p) (4.5) ( 1) q Cn q C l qp n+l q 1 K X n q=0 l(p) rk(t l (Ω 1 X)) = ( 1) q Cn q C l qp q=0 In particular, we have µ(t l (Ω 1 X )) = l n K X H n 1. n+l q 1. Proof. The formula of rk(t l (Ω 1 X )) follows directly from the exact sequence in Theorem 3.7 (ii). To compute c 1 (T l (Ω 1 X )), we use the fact that for any vector bundle E of rank n, we have (4.6) c 1 (Sym q (E)) = C q 1 n+q 1 c 1 (E) (4.7) c 1 ( q E) = C q 1 n 1 c 1 (E).

15 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 15 Then, use the exact sequence in Theorem 3.7 (ii) and note that c 1 (F Ω q X ) = p c 1(Ω q X ), we have the formula (4.5) of c 1 (T l (Ω 1 X )). Let E F W be a nontrivial subsheaf, the canonical filtration (4.4) induces the filtration (we assume V m F E 0) (4.8) 0 V m F E V 1 F E V 0 F E = F E. Lemma 4.4. In the induced filtration (4.8), let F l := V l F E V l+1 F E V l V l+1, r l = rk(f l ). Then there is an injective morphism F l F l 1 Ω 1 X and µ(f W) µ(e) K X H n 1 m ( p 1 np rk(e) n l) r l (4.9) 1 m r l I(W T l (Ω 1 X )) p rk(e) the equality holds if and only if equalities hold in the inequalities (4.10) µ(f l ) µ(v l /V l+1 ) I(W T l (Ω 1 X )) (0 l m). Proof. The injective morphisms V l /V l+1 (V l 1 /V l ) Ω 1 X in Theorem 3.7 (ii) induces clearly the injective morphisms F l F l 1 Ω 1 X, l = 1,..., m. To show (4.9), note µ(f W) µ(e) = 1 p (µ(f F W) µ(f E)) and using Lemma 4., we have (4.11) 1 rk(e) µ(f E) = 1 rk(e) m r l µ(f l ), µ(f F W) µ(f E) = m ( ) p 1 r l K X H n 1 +µ(w) µ(f l ). For F l V l /V l+1 = W T l (Ω 1 X ) (0 l m), using Lemma 4.3, (4.1) µ(f l ) µ(w)+ l n K X H n 1 +I(W T l (Ω 1 X)). Substitute (4.1) into (4.11), one get (4.9) and the equality holds if and only if all of inequalities (4.1) become equalities.

16 16 XIAOTAO SUN Let K be a field of characteristic p > 0, consider the K-algebra R = K[y n(p 1) 1,,y n ] (y p 1,,yp n) = R l, where R l is the K-linear space generated by {y k 1 1 y kn n k 1 + +k n = l, 0 k i p 1}. The polynomial ring P = K[ y1,, yn ] acts on R through partial derivations, which induces a P-module structure on R. Note that p y i (i = 1,,...,n) act on R trivially, the P-module structure is in fact a D-module, where D = K[ n(p 1) y 1,, yn ] ( y p 1,, y p n ) = K[t 1,t,,t n ] = D l, where D l is the linear space of degree l homogeneous elements and t 1, t,...,t n are the classes of y1, y,..., yn. Lemma 4.5. Let V D l be a linear subspace. Then, when l n(p 1), there is a basis {d i V} of V and monomials {δ i D n(p 1) l } such that {δ i d i D n(p 1) l } are linearly independent. Proof. We reduce firstly the lemma to the case when V has a basis of monomials. Define the Lexicographic order on the set of monomials of D l, D n(p 1) l respectively. For any v D l, one can write uniquely v = λ v m v + m>m v λ m m where 0 λ v, λ m K, m v and m are monomials of D l. Let dim(v) = s, then it is easy to see that there is a basis d i = λ i m i + m>m i λ i,m m, λ i 0, (1 i s) of V such that {m 1,...,m s } are different monomials of D l. If there aremonomials{δ i D n(p 1) l } 1 i s suchthat{δ i m i D n(p 1) l } 1 i s are different monomials, then we claim that {δ i d i D n(p 1) l } 1 i s are linearly independent. To prove the claim, we only remark that for any monomials m, m D l and monomial δ D n(p 1) l, we have m < m δm < δm whenever δm, δm are nonzero.

17 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 17 Thus we have δ i d i = λ i δ i m i + δ i m>δm i λ i,m δ i m (1 i s), which are linearly independent. If we identify the set of monomials of D l with the set M l = {v = (v 1,...,v n ) 0 v i p 1 (1 i n), n v i = l}. Then the lemma is equivalent to the existence of an injective map ϕ : M l M n(p 1) l such that for any v M l, we have v ϕ(v): v i ϕ(v) i (1 i n). The existence of ϕ is a special case of the following lemma. For any (a 1,...,a n ) Z n 0, let Ml n (a 1,...,a n ) be the set {v = (v 1,...,v n ) 0 v i a i (1 i n), n v i = l}. For any v Mn l(a 1,...,a n ) and v Mn l (a 1,...,a n ), by v v, we mean v i v i (1 i n). Then we have the following lemma, its proof was suggested by Fusheng Leng Lemma 4.6. Let σ = n a i. Then, when l 1 σ, there exists an injective map ϕ : Mn(a l 1,...,a n ) Mn σ l (a 1,...,a n ) such that v ϕ(v), v M l n(a 1,...,a n ). Proof. The strategy of proof is to do induction for n and σ. The lemma is clearly true when n = 1. Assume the lemma is true for n 1. To show the lemma for n, we do induction for σ. The lemma is trivially true for any n when σ = 1. Thus we can assume n and σ. Without loss of generality, we assume a n 1 > 0 and a n > 0. Let S l = {v M l n(a 1,...,a n ) v n 1 = a n 1 or v n = 0}, S σ l = {v M σ l n (a 1,...,a n ) v n 1 = a n 1 or v n = 0}, C l = M l n(a 1,...,a n )\S l and C σ l = M σ l n (a 1,...,a n )\S σ l. We will show the existence of injective maps ϕ 1 : S l S σ l, ϕ : C l C σ l

18 18 XIAOTAO SUN with v ϕ 1 (v), v ϕ (v) ( v S l, v C l ) by induction of n, σ respectively. In order to use the induction, we identify S l (resp. S σ l ) with Mn 1 l (a 1,...,a n 1 +a n ) (resp. Mn 1(a σ l 1,...,a n 1 +a n )) by f l : S l M l n 1 (a 1,...,a n 1 +a n ), f l (v) = (v 1,...,v n,v n 1 +v n ) (resp. f σ l : S σ l Mn 1 σ l (a 1,...,a n 1 +a n )). Indeed, f l (resp. f σ l ) is a bijective map. To see the injectivity of f l, if f l (v) = f l (v ), then v i = v i (1 i n ) and v n 1 + v n = v n 1 + v n. We claim that v n 1 +v n = v n 1+v n impliesv n = v n (thusv n 1 = v n 1)sincev, v S l. Indeed, if v n = 0 then v n = 0, otherwise v n 1 = a n 1 (by definition of S l ) and v n 1 = a n 1 +v n > a n 1 (a contradiction to the definition of Mn l(a 1,...,a n )). Similarly, v n = 0 implies v n = 0. If both v n and v n are not zero, by definition of S l, v n 1 = a n 1 = v n 1, thus v n = v n. To see it being surjective, for any w Mn 1(a l 1,...,a n 1 +a n ), notice that w i a i (1 i n ) and w n 1 a n 1 +a n, we define { (w 1,...,w n,w n 1,0) if w n 1 a n 1 v = (w 1,...,w n,a n 1,w n 1 a n 1 ) if w n 1 > a n 1 then v S l such that f l (v) = w. Similarly, f σ l is bijective. By the inductive assumption for n, there exists an injective map ψ 1 : M l n 1 (a 1,...,a n 1 +a n ) M σ l n 1 (a 1,...,a n 1 +a n ) such that v ψ 1 (v) ( v M l n 1 (a 1,...,a n 1 +a n )). Then, we define ϕ 1 = f 1 σ l ψ 1 f l : S l S σ l. For any v = (v 1,...,v n ) S l, we need to show v ϕ 1 (v). Let ψ 1 (f l (v)) = (w 1,...,w n,w n 1 ) M σ l n 1 (a 1,...,a n 1 +a n ). Then v i w i (1 i n ), v n 1 +v n w n 1 and { (w 1,...,w n,w n 1,0) if w n 1 a n 1 ϕ 1 (v) = (w 1,...,w n,a n 1,w n 1 a n 1 ) if w n 1 > a n 1 by the definition of f l, ψ 1 and f σ l. Thus v i ϕ 1 (v) i (1 i n ). We still need to check v n 1 ϕ 1 (v) n 1 and v n ϕ 1 (v) n. If v n = 0 (thus v n ϕ 1 (v) n ), then v n 1 w n 1 (since v n 1 +v n w n 1 ), thus v n 1 min{w n 1,a n 1 } ϕ 1 (v) n 1. If v n 0, by the definition of S l, v n 1 = a n 1, which implies a n 1 < a n 1 +v n = v n 1 +v n w n 1. Thus ϕ 1 (v) n 1 = a n 1 and ϕ 1 (v) n = w n 1 a n 1 = w n 1 v n 1 v n.

19 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 19 Next we construct the injective map ϕ : C l C σ l by using induction for σ. By the definition of C l and C σ l, we have C l = {v M l n (a 1,...,a n ) v n 1 a n 1 1, v n 1} C σ l = {v M σ l n (a 1,...,a n ) v n 1 a n 1 1, v n 1}. Let σ = a 1 + +a n +(a n 1 1)+(a n 1) = σ and l = l 1, we have the following clear identifications π l : C l M l n (a 1,...,a n,a n 1 1,a n 1) π σ l : C σ l M σ l n (a 1,...,a n,a n 1 1,a n 1) where π l (v) = (v 1,...,v n 1,v n 1), π σ l (v ) = (v 1,...,v n 1,v n 1). Notice that l 1 σ, by induction for σ, there exists an injective map ψ : M l n (a 1,...,a n,a n 1 1,a n 1) M σ l n (a 1,...,a n,a n 1 1,a n 1) such that v ψ (v) for any v M l n (a 1,...,a n,a n 1 1,a n 1). Let ϕ = π 1 σ l ψ π l : C l C σ l. For any v = (v 1,...,v n ) C l, we have to check that v ϕ (v). Let ψ (π l (v)) = (w 1,...,w n ) M σ l n (a 1,...,a n,a n 1 1,a n 1), then v i w i (1 i n 1), v n 1 w n and ϕ (v) = (w 1,...,w n 1,w n +1) C σ l by the definition of π l, ψ and π σ l. Thus v n w n +1 = ϕ (v) n and we have shown the lemma. Proposition 4.7. Let V R l be a linear subspace, L(D l n(p 1) V) be the linear subspace generated by D l n(p 1) V R n(p 1) l. Then, dim(v) diml(d l n(p 1) V) when n(p 1) l n(p 1). Proof. Let ω = y p 1 1 y p 1 yn p 1 R n(p 1). Then the D-module structure on R induces surjective morphisms (4.13) φ l : D l ω R n(p 1) l of linear spaces for any 0 l n(p 1). They must be isomorphisms since dim(d l ) = dim(r n(p 1) l ). To show the equality of dimensions, it is enough to show dim(d l ) dim(r n(p 1) l ) = dim(d n(p 1) l ) dim(r l ) = dim(d l ).

20 0 XIAOTAO SUN The two inequalities hold because we have the surjective homomorphisms φ l and φ n(p 1) l. The two equalities hold because n(p 1) R l = R = D = as (graded) K-algebras. In particular, n(p 1) D l (4.14) φ n(p 1) l : D n(p 1) l R l, φ l : D l R n(p 1) l are isomorphisms. Since 0 l = n(p 1) l n(p 1), we can use Lemma 4.5 for V = φ 1 n(p 1) l (V) D l = D n(p 1) l, thus there is a basis{d i V } 1 i s andmonomials{δ i D n(p 1) l = D l n(p 1) } 1 i s such that {δ i d i D n(p 1) l = D l } 1 i s are linearly independent. Thus {φ l (δ i d i ) = δ i (d i ω) D l n(p 1) V R n(p 1) l } 1 i s are linearly independent, where s = dim(v ) = dim(v). We have proven the proposition. Let X be an irreducible smooth projective variety of dimension n over an algebraically closed field k with char(k) = p > 0. For any vector bundle W on X, let I(W,X) = max{i(w T l (Ω 1 X)) 0 l n(p 1)} be the maximal value of instabilities I(W T l (Ω 1 X )). Theorem 4.8. When K X H n 1 0, we have, for any E F W, (4.15) µ(f W) µ(e) I(W,X). p In particular, if W T l (Ω 1 X ), 0 l n(p 1), are semistable, then F W is semistable. Moreover, if K X H n 1 > 0, the stability of the bundles W T l (Ω 1 X ), 0 l n(p 1), implies the stability of F W. Proof. Since K X H n 1 0, by the inequality (4.9) in Lemma 4.4 (see also the notation in (4.8) and the lemma), it is enough to show m ( n(p 1) l)r l 0.

21 DIRECT IMAGES OF BUNDLES UNDER FROBENIUS MORPHISM 1 If m n(p 1), it is clear. If m > n(p 1), then we have (4.16) m ( n(p 1) + m l> n(p 1) l)r l = n(p 1) l=m+1 (l n(p 1) (l n(p 1) )(r n(p 1) l r l ). )r n(p 1) l We will use Proposition 4.7 to show that r l r n(p 1) l when n(p 1) l n(p 1). It is clearly a local problem, we can consider all of the torsion free sheaves as vector spaces over the function field K = k(x) of X. Without loss of generality, we assume rk(w) = 1. Then, from the discussions in Section 3, we know that V l /V l+1 = T l (Ω 1 X ) (0 l n(p 1)) are precisely isomorphic to R l (0 l n(p 1)) in Proposition 4.7. Since the morphisms V l /V l+1 (V l 1 /V l ) Ω 1 X F l F l 1 Ω 1 X, by the formula (3.6), we have D l n(p 1) F l F n(p 1) l. induce morphisms Then, by Proposition 4.7, r l = dim(f l ) diml(d l n(p 1) F l ), we have r l r n(p 1) l, thus (4.15). If the bundles W T l (Ω 1 X ) (0 l n(p 1)) are stable, then µ(f W) µ(e) 0. It becomes equality if and only if inequalities (4.10) become equalities and m ( n(p 1) l)r l = 0. Thusm > n(p 1) andeachtermin(4.16)must be zero (since K X H n 1 > 0), which forces m = n(p 1). Then the fact that inequalities (4.10) become equalities implies E = F W. Corollary 4.9. Let X be a smooth projective variety of dim(x) = n, whose canonical divisor K X satisfies K X H n 1 0. Then I(F W) p n 1 rk(w)i(w,x). Proof. It is just Theorem 4.8 plus the following trivial remark: For any vector bundle E, if there is a constant λ satisfying µ(e ) µ(e) λ for any E E. Then I(E) rk(e)λ.

22 XIAOTAO SUN References [1] Biswas, I., Holla, Y. : Comparison of fundamental group schemes of a projective variety and an ample hypersurface, arxiv: math.ag./060399v1, 13 March, (006). [] Biswas, I., Holla, Y. : Comparison of fundamental group schemes of a projective variety and an ample hypersurface, J. Algebraic Geom. 16(007), [3] Doty, S., Walker, G.: Truncated symmetric powers and modular representations of GL n, Math. Proc. Camb. Phil. Soc. 119 (1996), [4] Joshi, K., Ramanan, S., Xia, E.Z., J.-K., Yu: On vector bundles destabilized by Frobenius pull-back, arxiv: math.ag./ v1, 13 Aug. (00). Compositio Math. 14 (006), [5] Katz, N.: Nilpotent connection and the monodromy theorem: Application of a result of Turrittin, I.H.E.S. Publ. Math. 39 (1970), [6] Lange, H., Pauly, C. : On Frobenius-destabilized rank two vector bundles over curves, arxiv: math.ag./ v, 6 Oct. (005). [7] Mehta, V., Pauly, C. : Semistability of Frobenius direct images over curves, arxiv: math.ag./ v1, July, (006). [8] Sun, X. : Stability of direct images under Frobenius morphisms, arxiv: math.ag./ v1, Aug. (006). Academy of Mathematics and Systems Science, Chinese Academy of Science, Beijing, P. R. of China address: xsun@math.ac.cn