arxiv: v3 [math.ag] 21 May 2008

Transcription

1 Thomas Geisser ariv: v3 [math.ag] 21 May 2008 Abstract We describe the maximal torus and maximal unipotent subgroup of the Picard variety of a proper scheme over a perfect field. 1. Introduction For a proper scheme p : k over a perfect field, the Picard scheme Pic representing the functor T H 0 (T et,r 1 p G m ) exists, and its connected component Pic 0 is separated and of finite type [Mu64, II 15]. By Chevalley s structure theorem [Chev60], the reduced connected component Pic 0,red is an extension of an abelian variety A by a linear algebraic group L : 0 L Pic 0,red A 0. (1) The commutative, smooth affine group scheme L is the direct product of a torus T and a unipotent group U. The following theorem completely characterizes T : Theorem 1. If is proper over a perfect field, then the cocharactermodule Hom k(g m,t ) of the maximal torus of Pic is isomorphic to H 1 et(, Z) as a Galois-module. To analyze the unipotent part, we let Pic([t]) [1] be the typical part, i.e. the subgroup of elements x of Pic([t]) such that the map [t] [t], t nt sends x to nx. Theorem 2. Let be proper over a perfect field. Then Pic([t]) [1] is isomorphic to the group of morphisms of schemes f : G a U satisfying f(nx) = nf(x) for every n Z. In particular, Hom k (G a,u ) Pic([t]) [1], and this is an equality in characteristic 0. To get another description of U, we assume that is reduced (the map on the Picard scheme induced by the map red is well understood by the work of Oort [Oort62]). The seminormalization + is the largest scheme between and its normalization which is strongly universally homeomorphic to in the sense that the map + induces an isomorphism on all residue fields. A Theorem of Traverso [Tra70] implies that Pic([t]) [1], hence U, vanishes if is reduced and seminormal. We use this to show Theorem 3. Let be reduced and proper over a perfect field. a) There is a short exact sequence and U = p (G m, +/G m, ). 0 U Pic Pic + 0, b) The group scheme U represents the functor T {O T -line bundles L O + T which are invertible in O + T } Mathematics Subject Classification 14K30 Keywords: Picard scheme, torus, unipotent subgroup, semi-normalization, etale cohomology Supported in part by NSF grant No

2 Thomas Geisser Notation: For a field k, we denote by k its algebraic closure, and for a scheme over k we let = k k. Unless specified otherwise, all extension and homomorphism groups are considered on the large etale site. Acknowledgements This paper was written while the author was visiting T.Saito at the University of Tokyo, whom we thank for his hospitality. We are indebted to G.Faltings for pointing out a mistake in a previous version, and the referee, whose comments helped to improve the exposition and to give more concise proofs. 2. The torus Lemma 4. Let K and Q be abelian group schemes over a scheme S, and assume that H 1 et(q,k Q ) = 0. Then every extension of Q by K of sheaves of abelian groups on the big etale site of S is representable, i.e. the group of extensions of Q by K in the category of group schemes and in the category of sheaves agree. Proof. Given an extension of sheaves K G p Q, it suffices to show that G is representable as a sheaf of sets. By hypothesis, we can find a section η G(Q) with p(η) = id. Define a (set-theoretic) splitting s : Q G to p by sending a section g : T Q of Q(T) to g (η) = η g G(T). But then K Q (i,s) G is an isomorphism of sheaves. Proposition 5. Let k be algebraically closed. Then Ext 1 k (G m,k) vanishes for every smooth, connected, commutative affine group scheme K over k. In particular, Ext 1 k (G m,p G m, ) = 0 for every proper scheme p : k. Proof. The group scheme K has a filtration consisting of schemes of the form G m and G a. This is shown in SGA3 VII Prop and Thm for the flat topology, and follows with [Mi80, Thm.3.9] for the etale topology. Looking at long exact sequences, it suffices to show Ext 1 k (G m, G m ) = Ext 1 k (G m, G a ) = 0. Now H 1 et(g m, G m ) = Pic(G m ) = 0, and H 1 et(g m, G a ) = 0 since higher cohomology of a quasi-coherent sheaf on an affine scheme vanishes. Thus by the Lemma it suffices to show that the corresponding extension groups in the category of group schemes vanish. But there are no extensions of groups schemes between G m and G m, or G m and G a by SGA 3 VII Thm If is proper over k, then by the Stein factorization, we can write p as the composition g L h k, where L is the spectrum of an Artin k-algebra, and g O = O L. In particular, g G m = G m, and we can assume that is finite of some degree m over k. In this case, the Weil-restriction p G m is an open subscheme of p A 1 = A m by [BLR90, Prop.7.6/2], hence smooth, connected and affine, and we can apply the above. Remark. The hypothesis that k is algebraically closed is necessary. For example, if S 1 is the anisotropic form of G m, then Ext 1 R (G m,s 1 ) = Z/2, generated by the Weil-restriction R C/R G m. Proof. (Theorem 1) Since the maps defined below are natural, we can assume that k is algebraically closed. We can also assume that is reduced, because H 1 et(, Z) H 1 et( red, Z), and because the map Pic Pic red has unipotent kernel and cokernel [Oort62, Cor.page 9]. It suffices to calculate Hom k (G m,pic ), because there are no homomorphisms from G m to commutative group schemes other than tori [Oort66]. By Yoneda s Lemma, the latter group is isomorphic to the group of 2

3 homomorphisms of sheaves on the big (etale) site Hom k (G m,r 1 p G m ). From the duality of diagonal group schemes and locally constructible sheaves, we get Hom (G m, G m ) = Hom (Z, Z) = Z and Ext 1 (G m, G m ) = Ext 1 (Z, Z) = 0, hence the spectral sequence [Mi80, III Thm.1.22] E s,t 2 = Het s (, Extt (G m, G m )) Ext s+t (G m, G m ) gives an isomorphism H 1 et (, Z) = Ext 1 (G m, G m ). The Leray spectral sequence gives an exact sequence E s,t 2 = Ext s k (G m,r t p G m ) Ext s+t (G m, G m ). (2) 0 Ext 1 k (G m,p G m ) Ext 1 (G m, G m ) β Hom k (G m,r 1 p G m ) δ Ext 2 k (G m,p G m ). By Proposition 5, β is injective. If is normal, then Hom k (G m,r 1 p G m ) = 0 by [Gr62, Thm.2.1], hence δ is the zero-map. We will show by induction on the dimension of that δ is the zero-map in general. Let f be the normalization of, and consider the conductor square Z i f Z f i, where Z is the closed subscheme (of smaller dimension) where f is not an isomorphism. It suffices to show that the lower horizontal map in the following commutative diagram is injective. Hom k (G m,r 1 p G m, ) Hom k (G m,r 1 p i G m,z ) Hom k (G m,r 1 p f G m, ) δ 0 Ext 2 k (G m,p G m, ) Ext 2 k (G m,p i G m,z ) Ext 2 k (G m,p f G m, ). This will follow if Ext 1 k (G m,c) = 0, where C is the cokernel of the injection p G m, p i G m,z p f G m,. But this cokernel is a quotient of a commutative, smooth, connected linear algebraic group, hence is a commutative, smooth, connected linear group itself, and we can apply Proposition 5. Remark. The example in [Gei06, Prop. 8.2] shows that the map H i et(, Z) Ext i (G m, G m ) is not an isomorphism for i 2. One can ask if it is an isomorphism if one replaces H i et(, Z) by the eh-cohomology group H i eh (, Z) of [Gei06]. Example. If is the node over an algebraically closed field, then H 1 et (, Z) = Z, and T = Gm. Let be a node with non-rational tangent slopes at the singular point. Base changing to the algebraic closure, one sees that H 1 et(, Z) = Z, with Galois group acting as multiplication by 1, hence T is an anisotropic torus. Using the theorem, we are able to recover the torsion of T, A and the diagonalizable part of NS := Pic /Pic 0,red in terms of etale cohomology: Corollary 6. Let be proper over a perfect field k. Then we have canonical isomorphisms H 1 et (, Z) Q/Z = colim Hom k(µ m,t ); Div( tor H 2 et (, Z)) = colim Hom k(µ m,a ); torh 2 et(, Z)/Div = colim Hom k(µ m,ns ). Proof. Taking the colimit of the isomorphism H 1 et(, Z/m) = Hom k(µ m,pic ) of [Mi80, Prop.4.16] or [Ray70, 6.2], we obtain H 1 et (, Q/Z) = colim Hom k(µ m,pic ). Since there are no extensions 3 (3)

4 Thomas Geisser of group schemes of µ m by a smooth commutative group scheme G, and since H 1 et(µ m, k,g) = 0, we can apply Lemma 4 to conclude that Ext 1 k(µ m,g) = 0. In particular, Theorem 1 implies that Hom k(µ m,t ) = Hom k(g m,t )/m = H 1 et(, Z)/m. Consider the commutative diagram: colim Hom k(µ m,t ) Het( 1, Z) Q/Z colim Hom k(µ m,pic 0,red ) colim Hom k (µ m,pic ) colim Hom k(µ m,ns ) colim Hom k(µ m,a ) f torh 2 et (, Z) coker f. The middle column is the short exact coefficient sequence, and the left column and middle row are short exact by the above. A diagram chase shows that f is injective, and the right vertical map is an isomorphism. The Corollary follows because the group colim Hom k(µ m,a ) is divisible and the group colim Hom k(µ m,ns ) is finite. The above result should be compared to [Gei07, Prop.6.2], where we show that, for every proper scheme over an algebraically closed field, the higher Chow group of zero-cycles CH 0 (,1, Z/m) is the Pontrjagin dual of Het 1 (, Z/m). This implies a short exact sequence 0 tor A t (k) CH 0 (,1, Q/Z) χ(t ) Q/Z 0, for A t the dual abelian variety of A, and χ(t ) the character module of T. However, in this case the contribution from the torus and from the abelian variety are not compatible with the coefficient sequence as in Corollary 6. 0 CH 0 (,1) Q/Z CH 0 (,1, Q/Z) tor CH 0 () 0 Looking at tangent spaces, the previous Corollary gives a dimension formula: Corollary 7. Let l be a prime different from char k. Then dim k H 1 (, O ) = dim U + dim k Lie(NS 0 ) + rankh1 et (, Z) corank l H 1 et (, Q l /Z l ). 3. The unipotent part Let N Pic() := ker ( Pic([t]) 0 Pic() ). Since t 0t induces x 0x on the typical part, Pic([t]) [1] is a subgroup of N Pic(). In [Wei91], Weibel shows that for every scheme there is a direct sum decomposition Pic([t,t 1 ]) = Pic() N Pic() N Pic() Het 1 (, Z). Proof. (Theorem 2). We show first that N Pic() = ker ( U (A 1 ) U (k) ). Since there are no non-trivial morphisms of schemes from A 1 k to an abelian variety, a torus, an infinitesimal group, or a discrete group, we see that the kernel of U (A 1 k ) U (k) agrees with the kernel of Pic (A 1 k ) Pic (k). Let p : k and p : A 1 k A1 k be the structure morphisms. Then the Leray spectral sequence gives a commutative diagram 0 Het(A 1 1 k,p G m ) Pic( A 1 k ) Pic (A 1 k ) H2 et(a 1 k,p G m ) 0 H 1 et (k,p G m ) Pic() Pic (k) H 2 et (k,p G m ), 4

5 and it suffices to show that the outer vertical maps are isomorphisms. Let g L k be the Stein factorization of p, such that O L = g O and L is the spectrum of an Artinian k-algebra. Since A 1 k k is flat, p O A 1 = O k A 1 k p O, and A 1 g k k A 1 L A1 k is the Stein factorization of p. We obtain H i et(a 1 k,p G m ) = H i et(a 1 L,g G m ) = H i et(a 1 L, G m ), and Het(k,p i G m ) = Het(L, i G m ). Hence the terms on the left vanish because Pic(L) = Pic(A 1 L ) = 0. To show that Het(A 2 1 L, G m) Het(L, 2 G m ) is an isomorphism, we can assume that L is a local Artinian k-algebra with (perfect) residue field k. By [Mi80, III Rem.3.11] we are reduced to showing that Het(A 2 1 k, G m ) Het(k 2, G m ) is an isomorphism, and this can be found in [Mi80, IV Ex.2.20]. Given an element x of N Pic(), the condition x Pic([t]) [1] implies that the corresponding f Hom Sch (A 1,U ) satisfies f(nx) = nf(x) for all n. If k has characteristic 0, then U = G r a for some r, and the map f : G a U corresponds to a morphism of Hopf algebras f : k[x 1,,x r ] k[t]. If f (x i ) = j a jt j, then a j (nt) j = nf (x i ) = f (nx i ) = n a j t j j j only if n j = n for all n, hence j = 1. Example. If k has characteristic p, then t t 2p 1 induces a map G a G a which is compatible with multiplication by n, but not a homomorphism of group schemes. Corollary 8. We have U = 0 if and only if N Pic() = 0. Proof. This follows from N Pic() = ker ( U (A 1 ) U (k) ), because any unipotent, connected, smooth affine group is an affine space as a scheme, hence admits a non-trivial morphism from A 1 which sends 0 to 0 if it is non-trivial. The kernel and cokernel of Pic Pic red has been described in [Oort62], hence we will from now assume that is reduced. If + is the semi-normalization of, then the map O O + is an injection of sheaves on the same topological space. For + reduced and semi-normal, N Pic( + ) = 0 by Traverso s theorem [Tra70] together with [Wei91, Thm. 4.7]. Hence the Corollary implies that U + = 0, and that U = ker(pic 0,red Pic 0,red ). + (For curves, this recovers [BLR90, Prop.9.2/10].) Indeed, by Corollary 6, the map Pic 0,red Pic 0,red + induces an isomorphism on the torus and abelian variety part, because it induces an isomorphism on etale cohomology. Proposition 9. Let p : k be reduced and proper, and f : be a bijection which induces an isomorphism on residue fields. a) If is reduced, then there is an isomorphism p G m, = p G m,. b) p (G m, /G m, ) is a smooth, connected, unipotent commutative group scheme, and for j > 0, R j p (G m, /G m, ) = 0. Proof. a) Since any scheme T over k is flat, we have by flat base change R j q O T = H j (, O ) k O T, where q : T T is the projection. In particular, p G m, (T) := Γ( T, O T ) = (Γ(, O ) Γ(T, O T )), and it suffices to show that Γ(, O ) = Γ(, O ). Since Γ(, O )Gal( k/k) = Γ(, O ), we can assume that k is algebraically closed and that is connected. But + is a universal 5

6 Thomas Geisser homeomorphism, so that Γ(, O ) = Γ( +, O +) = k because and + are reduced, proper, connected, and have a k-rational point. b) We proceed by induction on the dimension of. If dim = 0, then R j p (G m, /G m, ) = 0 for j > 0 because p is exact for finite maps, and to show that p (G m, /G m, ) is a smooth, connected, unipotent group scheme, we can assume that = Spec L is a finite field extension of k, and that = Speck is a local Artin algebra over L with residue field L. Since the Weil-restriction is compatible with extensions, and since the Weil-restriction of G a along a finite flat map of degree m is G m a, we can assume that L = k and k = k N with N a nilpotent ideal. We can find a sequence of local Artin algebras k i such that k 0 = k, k n = k and k i+1 = k i N i with N 2 i = 0. Since an extension of smooth, connected, unipotent commutative group schemes is of the same type, we can assume that k = k N with N 2 = 0. For a given scheme T k, Γ(T k k, O T k k ) = (Γ(T, OT ) k k ) = (Γ(T, O T ) Γ(T, O T ) k N) = Γ(T, OT ) Γ(T, O T ) k N, hence the cokernel of G m,k G m,k is represented by the vector group N. If dim > 0, we consider the conductor square (3). By hypothesis, Z Z is a bijection of schemes of lower dimension which induces isomorphism on residue fields, and Z is still reduced. From the injectivity of G m,z G m,z and the short exact sequence 0 G m, G m, i G m,z i G m,z 0 we conclude that the map G m, G m, is injective with cokernel equal to the cokernel of i G m,z i G m,z. The Proposition follows because R j p (G m, /G m, ) = R j p (i G m,z /i G m,z ) = R j (pi) (G m,z /G m,z ). Proof. (Theorem 3) a) This follows from the exact sequence of etale sheaves 0 p G m, p G m, + p (G m, +/G m, ) Pic Pic + R 1 p (G m, +/G m, ) and Proposition 9. b) Recall that q : T T, and consider the diagram 0 Het 1 (T,q G m, T ) Pic( T) Pic /k (T) Het 2 (T,q G m, T ) r s 0 H 1 et (T,q G m, + T) Pic( + T) Pic + /k(t) H 2 et (T,q G m, + T). Since q G a, T = H 0 (, O ) O T = H 0 ( +, O +) O T = q G a, + T is an isomorphism as in Proposition 9a), the outer maps are isomorphisms, and it suffices to calculate ker r. Let Y = T and Y = + T, and consider the tautological map f : {O Y -line bundles L O Y which are invertible in O Y } Pic(Y ). It suffices to show the following statements: a) The image of f is contained in ker ( Pic(Y ) Pic(Y ) ). b) f surjects onto ker ( Pic(Y ) Pic(Y ) ). c) f is injective. µ a) We claim that the map L OY O Y O Y OY O Y O Y is an isomorphism. We can check this on an affine covering, and in this case it is proved in [RS93, Lemma 2.2(4)]. b) Let L Pic(Y ) with L OY O Y = OY. Since L is flat, we get an injection L = L OY O Y L OY O Y = OY. We claim that the inverse of L in O Y is the sheaf associated to the presheaf 6

7 U {x O Y (U) xl(u) O Y (U)} O Y (U). This can be checked on an affine covering, and then it is [RS93, Lemma 2.2(2)]. c) Let L and L be subsheaves of O Y which are invertible in O Y and isomorphic as abstract invertible sheaves. Multiplying with the inverse of L inside O Y, it suffices to show that if L is a subsheaf of O Y, and f : O Y L an isomorphism, then L = O Y O Y. But f(1) is a global unit of O Y (Y ), and by Proposition 9a), O Y (Y ) = O Y (Y ). Hence L = f(1) 1 L = O Y. References BLR90 S.Bosch, W.Lutkebohmert, M.Raynaud, Neron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 21. Springer-Verlag. Chev60 C.Chevalley, Une demonstration d un theoreme sur les groupes algebriques, J. Math. Pures Appl. (9) 39 (1960), Gei06 T.Geisser, Arithmetic cohomology over finite fields and special values of ζ-functions, Duke Math. J. 133 (2006), no. 1, Gei07 T.Geisser, Duality via cycle complexes, Preprint Gr62 A.Grothendieck, Technique de descente et theoremes d existence en geometrie algebrique. VI. Les schemas de Picard. Proprietes generales, Seminaire Bourbaki, 1961/62, no Mi80 J.S.Milne, Etale cohomology, Princeton Math. Series 33. Mu64 J.P.Murre, On contravariant functors from the category of pre-schemes over a field into the category of abelian groups (with an application to the Picard functor), Inst. Hautes Etudes Sci. Publ. Math. No. 23 (1964) Oort62 F.Oort, Sur le schema de Picard, Bull. Soc. Math. France 90 (1962) Oort66 F.Oort, Commutative group schemes, Lecture Notes in Mathematics 15, Springer-Verlag, Berlin-New York (1966). Ray70 M.Raynaud, Specialisation du foncteur de Picard, Inst. Hautes Etudes Sci. Publ. Math. No. 38 (1970) RS93 L.Roberts, B.Singh, Subintegrality, invertible modules and the Picard group, Compositio Math. 85 (1993), no. 3, Tra70 C.Traverso, Seminormality and Picard group, Ann. Scuola Norm. Sup. Pisa (3) 24 (1970), Wei91 C.Weibel, Pic is a contracted functor, Invent. Math. 103 (1991), no. 2, Thomas Geisser Dep. of Math., Univ. Southern California, USA 7