Arxiv:2012.02428V2 [Math.AG] 26 Jan 2021 Ae Uhrb Rn ANR-15-CE40-0002

Home , Torsion group

arXiv:2012.02428v2 [math.AG] 26 Jan 2021 ae uhrb rn ANR-15-CE40-0002. grant by author named otjgnda oteCo ru fzr ylsCH cycles zero of group Chow the to dual Pontrjagin map 2 Rem. [7, curves sch for proper Grothendieck any by proved of was group this Brauer 2.5c)]; the Rem. that conjectured Artin field, ihebu 1]poe htif that proved [11] Lichtenbaum h eu of genus the mohadpoe,te h ntns fBr( of finiteness the then proper, and smooth ru,where group, fa of 1.1. Theorem ietsmo nt ru,of group, finite a of sum direct ntesretvt fteccempfrdvsr on divisors for map cycle the of surjectivity the on ai arn ewe CH between if pairing that Manin show They [16]. ti lsia euto as htteBae ru Br( group Brauer the that Hasse of result classical a is It ftecmoet.Tenx neetn aeaevreisoe a over varieties are case interesting next (smoo The all components. for conjecture the Tate’s of from follows finiteness the scheme all l 6= h rtnmdato sSpotdb SSGati-i C 18K0 (C) Grant-in-Aid JSPS by Supported is author named first The phrases. and words Key 2010 Date h rurgoppasa motn oei rtmtcgoer.Ov geometry. arithmetic in role important an plays group Brauer The hsrsl a eeaie yClitT´leeadSio[] n Sait Colliot-Thélène and by [3], generalized Saito was and result This l oee,ntmc skonaotBr( about known is much not However, . p p NTEKRE FTEBAE-AI PAIRING BRAUER-MANIN THE OF KERNEL THE ON the , Br( ai ed n let and field, -adic aur 7 2021. 27, January : ahmtc ujc Classification. Subject Mathematics euti httekre fterdcinmpBr( map reduction the of kernel the that is result f( of enlBr( kernel ρ fa of Abstract. opnnsof components X X s Q l and ) p pr fBr( of -part / ai ed ihgnrcfiber generic with field, -adic Z → X s [ ρ p 1 + X X ]) ie h ereo [ of degree the times Let Br( s t fteBae-ai arn Br( pairing Brauer-Manin the of ) h iadnmesof numbers Picard the ⊕ Let HMSH ESE N ATSEMORIN BAPTISTE AND GEISSER H. THOMAS = X X ( X Q s r X s ) / earglrshm,fltadpoe vrtern fintegers of ring the over proper and flat scheme, regular a be oevr eso that show we Moreover, . := Z X rurgop rurMnnpiig oa ed;Pcr number. Picard fields; local pairing; Manin Brauer group; Brauer integers of ring the over proper and flat scheme, regular a be stedrc u of sum direct the is X ) X t ) ρ / n finite a and s X 0 a rpradrglrmodel regular and proper a has im(Br( ( s etecoe br hntekre ftereduction the of kernel the Then fiber. closed the be X − 1. n Br( and ) Q ρ X / X Introduction Z X − n fadivisible a of and , K sacre hnteBae ru Br( group Brauer the then curve, a is ) p X I X gop where -group, rmr:1F2 eodr:1F0 44,11G40. 14F42, 14F40, Secondary: 14F22; Primary: ⊕ s 1 + : 1 n pca fiber special and and Q Br( X p a etkre Br( kernel left has ) for ]. X K X ( > t X and , Q X )i nt n aihsfralmost for vanishes and finite is )) seuvln oTt’ conjecture Tate’s to equivalent is ) ρ .W rv h following: the prove We ). / ) X X implies 0 × Z s ) s CH [ I and → 1 p + X h ubro irreducible of number the ]) 0 t 0 Br( ( n o omlcrossing normal a for and , s ( = X X X ρ ⊕ p K s X ρ X tringopo corank of group -torsion > s ) .I atclr ti the is it particular, In ). esuyteleft the study We . X s ( sioopi to isomorphic is ) → s stedrc sum direct the is ) Q h iadnmesof numbers Picard the − 0. X Q / ρ Z / hnteBrauer- the then , X X 28 n h second the and 3258, Z ) t u main Our . − h intersections th) .Mroe,for Moreover, ). m sfiie[7, finite is eme n finite a and I p ai field -adic ,for 1, + 5).If .5b)]. n Sato and o rafinite a er X Q X / is ) K Z p is - . . 2 THOMASH.GEISSERANDBAPTISTEMORIN

Xs and X, and I the number of irreducible components of Xs. Moreover, if t> 0 then s> 0.

Note that Br(Xs) is conjecturally ﬁnite. The statement on the l-corank follows from the proper base change theorem, and the non-trivial part of the theorem is that the p-corank is strictly smaller than the l-corank unless both vanish.

Corollary 1.2. 1) The kernel of Br(X ) → Br(Xs) is finite if and only if r =0. 2) If r =1, then the p-part of the kernel of Br(X ) → Br(Xs) is finite. Our construction together with a theorem of Flach-Siebel gives a map b : 2 Pic Xs → H (X, OX ) which is related to the Chern class map. We show in Theorem 6.2 that s is the dimension of the Qp-vector space spanned by image of 2 2 Pic(Xs) in H (X, OX ). In particular, H (X, OX ) = 0 implies that the kernel of Br(X ) → Br(Xs) is finite. We use this to give some explicit calculations.

Theorem 1.3. Let X be a family of abelian or K3-surfaces over Spec Zp. If r =0, then Br(X ) is finite. If r> 0, then ∼ 1 r−1 Br(X ) = (Q/Z[ p ]) ⊕ (Q/Z) ⊕ P, where P is a finite p-group. We give an explicit example of an abelian surface with ∼ 1 2 Br(X ) = (Q/Z[ p ]) ⊕ (Q/Z) ⊕ P. Finally, we briefly discus the intermediate groups

Br(X ) → lim Br(Xn) → Br(Xs) n for Xn = X ×Z Z/p Z.

Notation: Throughout the paper, K is a finite extension of Qp of degree f with Galois group GK , and X be a smooth and proper scheme over K of dimension d. 0,i i We let h = dimK H (X, OX ), and ρX = rankNS(X) the Picard number. We let OK be the ring of integers of K and assume that X has a proper regular model X /OK, which we can (by Stein factorization) assume to have geometrically connected fibers. Let i : Xs → X be the special fiber, ρXs = rank Pic(Xs) its Picard number and I the number of irreducible components of Xs. The number

r = ρXs − ρX − I +1 plays an important role in this paper. ∧l i For an abelian group A we let A = limi A/l be the l-adic completion, mA be the subgroup of m-torsion elements, Tl = limi li A the l-adic Tate module, and

Vl = Tl ⊗Zl Ql. Acknowledgements: We would like to thank T. Suzuki for helpful discussions. The second named author thanks Rikkyo University for their hospitality. ONTHEKERNELOFTHEBRAUER-MANINPAIRING 3

2. The Brauer group

We start by recalling some known facts on the cohomology of Gm. Recall that f = [K : Qp]. 0 ∼ × Proposition 2.1. 1) We have Het(X , Gm) = O(X ) , a direct sum of a Zp- 0 ∼ × ∼ × module of rank f and a finite group, and Het(X, Gm) = O(X) = O(X ) × Z. 1 ∼ 2) The group Het(X, Gm) = Pic(X) is an extension of a finitely generated 0,1 group of rank ρX by a finitely generated Zp-module of rank f · h , and there is an exact sequence (1) 0 → ZI−1 → Pic(X ) → Pic(X) → 0, where I is the number of irreducible components of Xs. 2 ∼ 2 ∼ 3) The Brauer groups Het(X , Gm) = Br(X ) and Het(X, Gm) = Br(X) are torsion groups with finite m-torsion for every m. Moreover, Br(X) contains Br(X ) and Q/Z =∼ im Br(K) as subgroups with trivial intersection, and Br(X)/(im Br(K)⊕ Br(X )) is isomorphic to the sum of a finite group and finitely many copies of Qp/Zp.

Proof. 1) This follows from O(X ) ∼= OK and O(X) ∼= K because of geometric connectedness. 2) Consider the low degrees term of the Hochschild-Serre spectral sequence: d 0 → Pic(X) → Pic(X¯)GK →2 Br(K) → Br(X). Since Q/Z =∼ Br(K) → Br(X) has finite kernel (as one sees with a K′-rational point for K′/K finite), the image of Br(K) in Br(X) is isomorphic to Q/Z and Pic(X) and Pic(X¯)GK differ by a finite group. We know that Pic(X¯)GK is an extension of the finitely generated Néron-Severi group (of rank ρX ) and the rational points of an abelian variety of dimension g, g which has a subgroup of finite index isomorphic to OK by Mattucks’s theorem i ∼ 1 i ∼ 1 [13]. In view of Het(X , Gm) = CH (X , 1 − i) and Het(X, Gm) = CH (X, 1 − i) for i ≤ 1, the sequence is the localization sequence for higher Chow groups 0 → O× → K× → ZI → Pic(X ) → Pic(X) → 0, where we use the identification CH1(X , 1) = O×, CH1(X, 1) = K×, as well as I CHd(Xs) =∼ Z , the free abelian group on the irreducible components of Xs. 3) The groups are torsion groups because Brauer groups of regular schemes are contained in the Brauer group of their function field. Since Br(X ) ⊆ Br(X), it suffices to prove finiteness of the m-torsion for Br(X). It suffices to prove that 2 Het(X,µm) is finite, because it surjects onto m Br(X). This finiteness follows from the Hochschild-Serre spectral sequence s t ¯ s+t H (K,Het(X,µm)) ⇒ Het (X,µm) t ¯ because the coefficients Het(X,µm) are finite, and Galois cohomology of a local field of characteristic 0 of a finite module is finite. 4 THOMASH.GEISSERANDBAPTISTEMORIN

The prime to p-part of the statement about Br(X)/(im Br(K) ⊕ Br(X )) is proven in [3], see also [16, Prop. 5.2.1]. The p-part follows from the ﬁniteness of the p-torsion of Br(X).

For later use we note the following facts about the cohomology of the special ﬁber.

0 Proposition 2.2. The group of units Het(Xs, Gm) is a finite group, the Picard 1 group Het(Xs, Gm) is finitely generated, and the Brauer group is the torsion sub- 2 group of Het(Xs, Gm). The first statement is clear, the second statement can be found in [14], and the third statement is an unpublished theorem of Gabber [4].

Estimates using l-adic cohomology. For any prime l (including l = p), we have the short exact coeﬃcient sequence ∧l 2 0 → Pic(X) ⊗Zl Ql → H (X, Ql(1)) → Vl Br(X) → 0.

The left Ql-vector space has dimension equal rank ρX if l =6 p, and equal to 0,1 ρX +fh for l = p by Proposition 2.1(2). Thus in order to understand Vl Br(X), 2 we calculate H (X, Ql(1)). The spectral sequence s,t s t ¯ s+t (2) E2 = H (K,H (X, Ql(1))) ⇒ H (X, Ql(1)) s,t 2 0 ¯ ∼ ∼ degenerates at E2 by [5]. Since H (K,H (X, Ql(1))) = Vl Br(K) = Ql, we obtain

2 1 1 2 GK dim H (X, Ql(1)) = 1 + dim H (K,H (X,¯ Ql(1))) + dim H (X,¯ Ql(1)) . From the divisibility of Pic0(X¯) we obtain a short exact sequence 2 0 → NS(X¯) ⊗ Ql → H (X,¯ Ql(1)) → Vl Br(X¯) → 0. 1 The vanishing of H (K, NS(X¯) ⊗ Ql) then implies

2 ¯ GK ¯ GK ¯ GK dim H (X, Ql(1)) = dim NS(X)Ql + dim Vl Br(X) = ρX + dim Vl Br(X) . 2 The remaining direct summand of H (X, Ql(1)) is calculated in the following proposition.

1 1 Proposition 2.3. The vector space H (K,H (X,¯ Ql(1))) vanishes if l =6 p, and it has dimension 2fh0,1 if l = p.

1 0 0,1 Proof. We have H (X,¯ Ql(1)) ∼= Vl Pic (X¯) is a vector space of dimension 2h for any l. Using Euler-Poincar´echaracteristic,

i 1, V a Q -vector space; Hi(G ,V )(−1) = l K Q i (−f dim V, V a p-vector space, Y ONTHEKERNELOFTHEBRAUER-MANINPAIRING 5

1 GK 2 1 it suﬃces to show that H (X,¯ Ql(1)) and H (K,H (X,¯ Ql(1))) vanish. To 1 GK show the vanishing of H (X,¯ Ql(1)) , we note that Vl Pic(X) = 0 implies that the two left groups in the short exact sequence arising from (2),

1 1 1 GK 0 → H (K, Ql(1)) → H (X, Ql(1)) → H (X,¯ Ql(1)) → 0 × ∧l are both isomorphic to (K ) ⊗Zl Ql. By local duality 2 1 ¯ ∼ 1 ¯ H (K,H (X, Ql(1)) = H (X, Ql)GK

2d−1 GK and by Poincar´eduality the right hand term is dual to H (X,¯ Ql(d)) , which, 1 GK by the hard Lefschetz theorem, is isomorphic to H (X,¯ Ql(1)) = 0. 2 Comparing the two expressions for H (X, Ql(1)), we obtain Theorem 2.4. We have

GK 1 + dim Vl Br(X¯) for l =6 p; dimQ Vl Br(X)= l ¯ GK 0,1 (1 + dim Vp Br(X) + fh for l = p.

2 ¯ GK 2 ¯ GK Note that in general dimQp H (X, Qp(1)) ≤ dimQl H (X, Ql(1)) , or equiv- ¯ GK ¯ GK alently, dimQp Vp Br(X) ≤ dimQl Vl Br(X) for l =6 p, so that it is not clear which of dimQl Vl Br(X) and dimQp Vp Br(X) is larger. If X is a regular proper model, then by Proposition 2.1(3) and the proper base change theorem, we have

dimQl Vl Br(X) = 1 + dimQl Vl Br(X )=1+ r + dimQl Vl Br(Xs) for l =6 p, hence ¯ GK dim Vl Br(X) = r + dimQl Vl Br(Xs) In particular, r is independent of the model if we assume Artin’s conjecture on the ﬁniteness of Br(Xs).

3. Completions We ﬁve some facts about completions needed below; the reader familiar with completions can skip this section. For a complex A of abelian groups and integer m m, A ⊗L Z/m is represented by the total complex of the double complex A → A concentrated in (cohomological) degrees −1 and 0. The canonical map A → A⊗L Z/m is induced by mapping A to the component in degree 0. The cohomology of A ⊗L Z/m can be calculated by the exact sequence i i L i+1 (3) 0 → H (A)/m → H (A ⊗ Z/m) → mH (A) → 0. ∧ L j For a prime number p, the p-completion of A is the pro-system {A ⊗ Z/p }j, where the transition maps in the system are multiplication by p in degree −1 and i ∧ the identity in degree 0. We deﬁne continuous cohomology Hcont(A ) to be the cohomology of R lim A∧. We have a short exact sequence 1 i−1 L j i ∧ i L j 0 → limj H (A ⊗ Z/p ) → Hcont(A ) → limj H (A ⊗ Z/p ) → 0. 6 THOMASH.GEISSERANDBAPTISTEMORIN

1 i L j ∼ With the inverse limit of the sequence (3) and using limj H (A ⊗ Z/p ) = 1 i+1 limj pj H (A) we obtain a diagram with exact rows and columns 0

di  Hi(A) −−−→ lim Hi(A)/pj j y ci

i 1 i i  ∧ e i  L j . 0 −−−→ lim j H (A) −−−→ H (A ) −−−→ lim H (A⊗ Z/p ) −−−→ 0 j p conty j y

i+1 TpH  (A) y

 0 i y 1 i If pj H (A) is ﬁnite for one (or, equivalently, for all) j, then limj pj H (A) vanishes and ker ci = ker di. The kernel of di consists of the p-divisible elements of Hi(A) but we are interested in the (smaller) kernel of ci.

i i i ∧ Proposition 3.1. The kernel of c : H (A) → Hcont(A ) is the maximal p- i i i+1 divisible subgroup of H (A). The cokernel of c is an extension of TpH (A) by the uniquely p-divisible group lim1(Hi(A),p). In particular, it is p-torsion free. We will give some calculations of lim1(Hi(A),p) below in case Hi(A) are ﬁnitely generated of rank r. Proof. The diagram gives an exact sequence i i 1 i i i i (4) 0 → ker c → ker d → limj pj H (A) → coker c → coker e c → 0. For any abelian group G we have a sequence of inverse systems

j+1 p j+1 0 −−−→ pj+1 G −−−→ G −−−→ p G −−−→ 0

j   p j 0 −−−→ jG −−−→ G −−−→ pG −−−→ 0 py y y and taking the 6-term exact derived lim sequence we get

ξ j 1 1 1 j (5) 0 → TpG → lim(G,p) → lim p G → lim pj G → lim (G,p) → lim p G → 0. Applying this to G = Hi(A) and comparing to (4) we see that lim pjHi(A) = j i i i ∼ j p H (A) = ker d implies ker c = im ξ, which is the maximal p-divisible group of G by [8, Lemma 4.3a)]. T ONTHEKERNELOFTHEBRAUER-MANINPAIRING 7

By deﬁnition, the cone of the completion map c of complexes is isomorphic to the cohomology of R lim(A, p), where the system is the complex A with transition map multiplication by p. We obtain a diagram 0 −−−→ lim1(Hi(A),p) −−−→ Hi(cone(c)) −−−→ lim(Hi+1(A),p) −−−→ 0

 i i i+1 0 −−−→ coker c −−−→ H (cone( c)) −−−→ kerc −−−→ 0 y y i+1 By (5), the kernel of the right map is TpH (A) and we see by the snake Lemma i i+1 1 i that coker c is an extension of TpH (A) by lim (H (A),p).

i i Corollary 3.2. If H (A) is a Z(p)-module, then coker c is the direct sum of i+1 1 i TpH (A) and the uniquely divisible group lim (H (A),p). A similar discussion applies to a bounded complex of sheaves B on X by ap- L ∼ L plying the above to A = RΓet(X, B). Since RΓet(X, B ⊗ Z/m) = RΓet(X, B)⊗ i ∧ L j Z/m, we deﬁne Hcont(X, B ) as the cohomology of R limj(RΓet(X, B) ⊗ Z/p ) and obtain the sequence i ∧p i ∧ i+1 (6) 0 → Het(X, B) → Hcont(X, B ) → TpHet (X, B) → 0 i−1 L if Het (X, B ⊗ Z/p) is ﬁnite.

4. The p-adic completion of X We have an exact sequence of etale sheaves on X ,

(7) 0 →K→ Gm,X → i∗Gm,Xs → 0. ×m Since µm = ker(Gm → Gm) is locally constant on X for m prime to p, the proper base change theorem implies that the cohomology of K is uniquely l-divisible for any l =6 p, i.e., it consists of Z(p)-modules. × × As the map O(X ) → O(Xs) is surjective with p-adically complete kernel H0(X , K), we obtain a long exact sequence 1 2 (8) 0 → Het(X , K) → Pic(X ) → Pic(Xs) → Het(X , K) → Br(X ) → Br(Xs). 2 The group Pic(Xs) is ﬁnitely generated [14], and we let N ⊆ Het(X , K) be the cokernel of the map Pic(X ) → Pic(Xs).

Proposition 4.1. The group N is ﬁnitely generated of rank r = ρXs −ρX −I +1, 1 0,1 and Het(X , K) is a ﬁnitely generated Zp-module of rank fh .

Proof. Since N is ﬁnitely generated it suﬃces to calculate N ⊗ Ql/Zl for l =6 p. We have a short exact sequence

0 → Pic(X ) ⊗ Ql/Zl → Pic(Xs) ⊗ Ql/Zl → N ⊗ Ql/Zl → 0, 8 THOMASH.GEISSERANDBAPTISTEMORIN where the left map is injective by the proper base change theorem. The Lemma follows from Proposition 2.1(2) by counting coranks. The same short exact sequence shows that the subgroup ZI−1 ⊆ Pic(X ) injects 1 into Pic(Xs). Hence Het(X , K) can be viewed a subgroup of Pic(X). Since it is uniquely l-divisible, it maps to zero in NS(X)/l for all l =6 p, hence it has trivial 1 image in the finitely generated group NS(X). Thus Het(X , K) can be viewed as a subgroup of Pic0(X). Since the quotient is finitely generated, we conclude that 0,1 it is a finitely generated Zp-module of the same rank fh . 2 The Z(p)-module Het(X , K) has finite p-torsion because N is finitely generated ∼ 2 and Br(X ) has finite p-torsion. Since Br(X ) is torsion, NQ = Het(X , K)Q has dimension r. Consider the formal completion of X at p, i.e., the direct system of the reduc- n n tions Xn = X ×O O/p , of X modulo p . We obtain a short exact sequence of pro-sheaves on the topological space Xs, ∗ (9) 0 →Kn → inGm,Xn → Gm,Xs → 0, i i where in : Xs → Xn is the closed embedding. Let Hcont(Xs, Gm,•) and Hcont(Xs, K•) ∗ be the continuous cohomology of the pro-sheaves (inGm,Xn )n and (Kn)n on Xs, respectively. Since in is a universal homeomorphism, the cohomology can be calculated with the short exact sequence 1 i−1 i i (10) 0 → lim Het (Xn, Gm,Xn ) → Hcont(Xs, Gm,•) → lim Het(Xn, Gm,Xn ) → 0. 0 If i = 1, then the left term vanishes because the groups Het(Xn, Gm,Xn ) are finite by properness of Xn. Moreover, the natural map Pic(X ) → lim Pic(Xn) is an isomorphism by Grothendiecks formal existence theorem [6, Cor. 5.1.6, Scholie 5.1.7], so that we have an isomorphism ∼ 1 (11) Pic(X ) = Hcont(Xs, Gm,•). This implies that the long exact cohomology sequence associated to the short exact sequence (9) takes the form

1 (12) 0 → Hcont(Xs, K•) → Pic(X ) → Pic(Xs) 2 2 2 → Hcont(Xs, K•) → Hcont(Xs, Gm,•) → Het(Xs, Gm). i ∧ ∧ Let Hcont(X , K ) be the cohomology of the p-adic completion K of K as in Section 3. i ∼ i ∧ Proposition 4.2. We have Hcont(Xs, K•) = Hcont(X , K ) for all i. ∧ To prove the proposition, we compare both sides to the p-completion (Kn )n, ∗ L t i.e., the double inverse system inKn ⊗ Z/p , and show that we have isomorphisms i ∧ ∼ i ∗ ∧ ∼ i ∧ ∼ i Hcont(X , K ) −→ Hcont(Xs, i K ) −→ Hcont(Xs, K• ) ←− Hcont(Xs, K•). ONTHEKERNELOFTHEBRAUER-MANINPAIRING 9

i ∼ The ﬁrst isomorphism follows from the proper base change because H (OK , F) −→ i ∗ H (s, i F) for any etale sheaf F on Spec OK . The third and second isomorphism follow from the following Proposition.

Proposition 4.3. 1) For ﬁxed t, we have an isomorphism of pro-sheaves on Xs ∗ L t ∼ ∗ L t i K ⊗ Z/p →{inKn ⊗ Z/p }n.

2) For fixed n, we have an isomorphism of pro-sheaves on Xn, ∼ L t Kn → {Kn ⊗ Z/p }t. Proof. 1) This is proven in [2, Lemma 2]. t L t p 2) The pro-system {Kn⊗ Z/p }t is quasi-isomorphic to the pro-complex {Kn → Kn}t, where the transition maps in the left system are multiplication by p. It suffices to show that the left-system is Artin-Rees zero. For this we fix s such that ps ≥ n and show that the (n + s)-fold transition map in the system is the zero map. n The stalks of Kn are sections over strictly local Z/p -algebras, and every section n of Kn over a local Z/p -algebra A can be written as 1+ x with x ∈ pA. It suffices pn+s pn+s j to show that (1+ x) = 1 for all x ∈ pA. The monomials j x vanish for j ≥ ps ≥ n because x ∈ pA and pn = 0 in A, and they vanish for 0

pn+s s Lemma 4.4. For ﬁxed s we have vp( u ) > n for all 0

5. Comparison of sequences ∗ ∗ i i The natural maps i Gm,X → inGm,Xn induce maps Het(X , Gm) → Hcont(Xs, Gm,•) i i and Het(X , K) → Hcont(Xs, K•), hence a map between the sequences (8) and (12). By Proposition 4.2 we obtain a diagram 1 2 0 −−−→ Het(X , K) −−−→ Pic(X ) −−−→ Pic(Xs) −−−→ Het(X , K) −−−→

1  ∧ 2  ∧ 0 −−−→ Hcont(X , K ) −−−→ Pic( X ) −−−→ Pic( Xs) −−−→ Hcont(X , K ) −−−→ y y 10 THOMAS H. GEISSER AND BAPTISTE MORIN

2 u 3 −−−→ Br(X ) −−−→ Het(Xs, Gm) −−−→ Het(X , K)

(13) b c

2  2 v 3  ∧ −−−→ Hcont(Xs, Gm,•) −−−→ Het(X s, Gm) −−−→ Hcont(X , K ). y y 1 ∼ 1 ∧ ∼ Thus Het(X , K) = Hcont(X , K ), we have an isomorphism ker a = ker b, and a sequence 0 → coker a → coker b → ker c ∩ im u → 0.

2 Lemma 5.1. We have TpHet(X , K)=0, and the composition 2 2 r N → Het(X , K) → lim Het(X , K)/p is injective.

i Proof. Since pr Het(X , K) is ﬁnite for i ≤ 2, we obtain a short exact sequence i r i ∧ i+1 0 → lim Het(X , K)/p → Hcont(X , K ) → TpHet (X , K) → 0. 1 ∼ 1 ∧ For i = 1, Het(X , K) = Hcont(X , K ) implies that this group is p-adically com- 2 plete and that TpHet(X , K) vanishes. For i = 2, the sequence implies that 2 r 2 ∧ lim Het(X , K)/p ⊆ Hcont(X , K ), and that the map from N to the latter group is injective by diagram (5).

2 Proposition 5.2. The torsion subgroup TorHet(X , K) is a ﬁnite p-group, and 2 t s Het(X , K)/tor is an extension of Q by Z(p) with s + t = r.

2 Proof. Since C = Het(X , K) is a Z(p)-module, Ctor consists of p-power torsion. But every torsion group contains a basic subgroup [15, Thm. 10.36], i.e., C has a pure subgroup B which is a direct sum of cyclic groups and such that C/B is divisible. Since TpC vanishes, we have C = B, and then the finiteness of pC implies finiteness of Ctor. ∼ ∼ r Now C¯ = C/Ctor is a Z(p)-submodule of CQ = NQ = Q because Br(X ) is torsion. It thus suffices to prove the following lemma. r ∼ r Lemma 5.3. Every Z(p)-submodule M of Q with MQ = Q is an extension of t s Q by Z(p) with s + t = r.

Proof. We proceed by induction on r. If r = 1, then M is a Z(p)- submodule of u × Q. Every element of M can be written as ap , where a ∈ Z(p) and u ∈ Z. If there exist elements with arbitrary large negative u, then M = Q, and if not, −v r M = p Z(p) for some v, hence M is isomorphic to Z(p). If r> 1, let π : Q → Q be a non-trivial homomorphism with kernel Qr−1, and consider the diagram 0 −−−→ M ∩ Qr−1 −−−→ M −−−→ π(M) −−−→ 0

r−1 r  0 −−−→ Q −−−→ Q −−−→ Q −−−→ 0. y y y ONTHEKERNELOFTHEBRAUER-MANINPAIRING 11

r−1 By induction hypothesis M ∩ Q has a free Z(p)-submodule with uniquely divisible quotient, and π(M) is either isomorphic to Z(p) or to Q. In the former ∼ r−1 case, we have M = M ∩ Q ⊕ Z(p), and in the latter case, M still has a free Z(p)-submodule with uniquely divisible quotient.

Corollary 5.4. We have ′ s t ker (Br(X ) → Br(Xs)) ∼= (Q/Z ) ⊕ (Q/Z) ⊕ P with s + t = r and P a ﬁnite p-group. Moreover s =0 is equivalent to r =0.

Note that Br(Xs) is ﬁnite by Artin’s conjecture. 2 Proof. Since Br(X ) is torsion and Br(Xs) is the torsion subgroup of Het(Xs, Gm), 2 the kernel of Br(X ) → Br(Xs) is isomorphic to Het(X , K)/N. Let A be the kernel 2 t of the composition N ֒→ Het(X , K) → Q of Proposition 5.2, and let B be its image. By Proposition 5.2 we obtain a diagram 0 −−−→ A −−−→ N −−−→ B −−−→ 0

s 2  t 0 −−−→ (Z(p)) ⊕ F −−−→ Het(X , K) −−−→ Q −−−→ 0 y y y where F is a finite p-group and all vertical maps are injective. Tensoring with Q we see that A is finitely generated of rank s and B is finitely generated of rank t. We obtain a short exact sequence of cokernels ′ s ′ 2 t 0 → (Q/Z ) ⊕ F → Het(X , K)/N → (Q/Z) → 0, ′ ′ s 2 where F is a quotient of F . Because (Q/Z ) is injective, Het(X , K)/N is an extension of (Q/Z)t⊕(Q/Z′)s by F ′, and this is isomorphic to (Q/Z)t⊕(Q/Z′)s⊕F˜ with F˜ a quotient of F ′ by the following Lemma.

Lemma 5.5. Let E be an extension of a divisible group D by a ﬁnite group F . Then E ∼= D ⊕ F ′ for F ′ a quotient of F . Proof. Let E′ be the maximal divisible subgroup of E, and let K and D′ be the kernel and image of the composition E′ → E → D, respectively, so that we obtain a diagram with vertical inclusions 0 −−−→ K −−−→ E′ −−−→ D′ −−−→ 0

   0 −−−→ F −−−→ E −−−→ D −−−→ 0. Finiteness of F implies ﬁnitenessy of Ky, which impliesy that the divisible groups E′, D′, and D all have the same l-corank for all l. Hence the injection D′ → D is an isomorphism, and E = E′ ⊕ F/K. 12 THOMAS H. GEISSER AND BAPTISTE MORIN

6. Relationship to the chern class map, examples We have the following theorem of Flach-Siebel [2, Lemma 1]. i ∼ i ∧ Theorem 6.1. We have H (X, OX ) = Hcont(X , K ) ⊗Zp Qp. The Theorem together with the sequence (12) and Proposition 4.2 induces an injection 2 ∼ 2 β : NQ → Hcont(Xs, K•)Q = H (X, OX ) which we can extend to a map

2 βQp : N ⊗ Qp → H (X, OX ).

Theorem 6.2. We have s = dimQp im βQp and t = dimQp ker βQp .

In other words, s is the dimension of the Qp-vector space spanned by the abelian group N of rank r.

Proof. Consider the following commutative diagram. 0 0 0 0

1   ∧p f  ∧p g 2  0 −−−→ H (Xs, K•) −−−→ PicX −−−→ PicX −−−→ H (Xs, K•) cont y y y s cont y

1 2  2  2 0 −−−→ Hcont( Xs, K•) −−−→ Het(X, Zp(1)) −−−→ Het(Xs, Zp(1)) −−−→ Hcont( Xs, K•) y y

  α′   0 −−−→ Tp Br X −−−→ Tp Br Xs −−−→ 0 y y y y

  0 0 y y The upper (non-exact) row is obtained by completing the cohomology groups in (12), the exact middle row is obtained by p-completing the coeﬃcients in (9). The columns are exact coeﬃcient sequences. The middle left horizontal map is 1 1 injective because Het(X , Zp(1)) → Het(Xs, Zp(1)) is surjective, hence so is the upper left horizontal map. A diagram chase shows that ker g/ im f ∼= ker α′ (which has rank t by Theorem 1.1). On the other hand, the diagram

Pic X ⊗ Zp −−−→ Pic Xs ⊗ Zp −−−→ N ⊗ Zp −−−→ 0

 ∧ f ∧ ∧ PicX p −−−→ Pic X p −−−→ N p −−−→ 0 y s ONTHEKERNELOFTHEBRAUER-MANINPAIRING 13

∧p ∼ shows that Pic Xs / im f = N ⊗ Zp, a Zp-module of rank r, and that (im g) ⊗Zp

Qp = im βQp . Combining this with the canonical short exact sequence ∧ ∧ 0 → ker g/ im f → Pic Xs / im f → Pic Xs / ker g → 0. ∧p ∼ we see that Pic Xs / ker g = im g has rank s. If W denotes the Witt vectors of the residue ﬁeld, then in the good reduction case we have a commutative diagram by the work of Berthelot-Ogus [1, Cor. 3.7],

cdR 2 1 • 2 • 2 Pic X −−−→ H (X, F ΩX ) −−−→ H (X, ΩX ) −−−→ H (X, OX )

 ccris 2 F =p 2 PicXs −−−→ Hcrys(Xs/W ) −−−→ Hcrys(Xs/W ) ⊗W K, y and we obtain βQ because the upper row is the zero-map.

Examples: Abelian and K3-surfaces. We calculate Br(X ) for X an abelian scheme or a family of K3-surfaces over Zp.

Theorem 6.3. Let X be an abelian scheme or a family of K3-surfaces over Zp. If r =0, then Br(X ) is finite. If r> 0, then ′ − Br(X ) ∼= (Q/Z ) ⊕ (Q/Z)r 1 ⊕ (finite). Proof. Since Tate’s conjecture is known for abelian varieties [17] and K3-surfaces over a finite field [12], [10], we know that Br(Xs) is finite. Then r = 0 implies 2 that Br(X ) is finite. If r > 0, then since H (X , OX ) ∼= O we obtain that s ≤ 1 by Theorem 6.2, but since s = 0 implies r = s + t = 0 we must have s = 1.

We give an example of an abelian surfaces with r > 1, showing that Br(X ) contains a divisible p-group.

Proposition 6.4. If Xs is a simple abelian surface over Fp, then rank Pic(Xs)= 2. If Xs is the product of two elliptic curves E1 and E2 over Fp, then rank Pic(Xs)= 4 if E1 are E2 are isogenous, and rank Pic(Xs)=2 if they are not. Proof. This follows by considering Weil-numbers.

The Picard numbers of X can be calculated explicitly in many cases.

Example 6.5. Let X /Zp be the Jacobian of the smooth projective curve of genus 2 5 two defined by the equation y = x − 1. The 5th roots of unity µ5 act on X in the obvious way, so that Z[ζ5] acts on any factor of XK¯ . By the classification of endomorphism algebras of abelian varieties we see that XK¯ is simple and that End(XK¯ )Q = Q(ζ5). The rank of the Néron-Severi group of X is 1, because it is a subgroup of End(X)Q which is Q by [18]. 14 THOMAS H. GEISSER AND BAPTISTE MORIN

2 If p ≡ −1 (mod 5), then Xs has good reduction at p and Xs is isogenous to E , where E is an elliptic curve over Fp satisfying |E(Fp)| = p +1. Hence the rank of the N´eron-Severi group of the special ﬁber is 4, r =3, and we obtain ′ Br(X ) ∼= (Q/Z ) ⊕ (Q/Z)2 ⊕ (finite).

7. The inverse system of Brauer groups We discuss the maps in the diagram (14) 2 Br(X ) −−−→ Het(Xs, Gm)

1 2  2 x 0 −−−→ lim Pic(Xn) −−−→ Hcont(Xs, Gm,•) −−−→ lim Het(Xn, Gm) −−−→ 0, y  where the lower sequence is (10) for i = 2. As a ﬁrst result we have

2 2 Proposition 7.1. The kernel of lim Het(Xn, Gm) → Het(Xs, Gm) is a ﬁnitely 0,2 generated Zp-module of rank at most f · h . Proof. From the exact sequences 2 2 2 3 (15) H (Xs, OXs ) → Het(Xn, Gm) → Het(Xn−1, Gm) → H (Xs, OXs ) 2 2 we inductively see that the kernel Kn of Het(Xn, Gm) → Het(Xs, Gm) is a ﬁnite p-group. Taking the limit we obtain 2 2 0 → lim Kn → lim Het(Xn, Gm) → Het(Xs, Gm).

This shows that the kernel is a pro-p group. But the ﬁnitely generated Zp-module 2 H (X , OX ) surjects onto the kernel of the composition 2 2 2 Hcont(Xs, Gm,•) → lim Het(Xn, Gm) → Het(Xs, Gm), hence it surjects onto the kernel of the second map because the ﬁrst map is surjective.

b 2 Theorem 7.2. The map Br(X ) −→ Hcont(Xs, Gm,•) is injective.

Grothendieck [7, Lemma 3.3] showed that the natural map Br(X ) → lim Br(Xn) is injective if the system (Pic(Xn))n is Mittag-Leﬄer. But if (Pic(Xn))n is Mittag- 2 ∼ 2 Leﬄer, then Hcont(Xs, Gm,•) = lim Het(Xn, Gm), hence the Theorem is a general- ization [7, Lemma 3.3]. The theorem follows by diagram (5) from the following proposition.

2 2 ∧ Proposition 7.3. The map a : Het(X , K) → Hcont(X , K ) is injective, and its 3 cokernel is the ﬁnitely generated free Zp-module TpHet(X , K) if r = 0, and the 3 direct sum of TpHet(X , K) and an uncountable, uniquely divisible group if r > 0. In particular, the cokernel of a is a torsion free Z(p)-module. ONTHEKERNELOFTHEBRAUER-MANINPAIRING 15

2 Proof. We showed that C = Het(X , K) is a Z(p)-module with ﬁnite torsion and ¯ t s C = C/Ctor is an extension of Q by Z(p) with s + t = r. Since Br(X ) is torsion, ∼ 2 ker a = ker Br(X ) → Hcont(X•, Gm) ⊆ Ctor is ﬁnite. Moreover, a factors as ∧ 2 ∧ a : C → C → Hcont(X , K ), 3 where the second map is injective with cokernel TpHet(X , K). We have a diagram

0 −−−→ Ctor −−−→ C −−−→ C¯ −−−→ 0

∧ ∧ ¯∧ 0 −−−→ C tor −−−→ C −−−→ C −−−→ 0. y y The lower row is exact on the left because C¯ is torsion free and on the right 1 r ∼ ∧ ∧ because lim Ctor/p = 0. The injectivity of Ctor → Ctor → C implies that a is 3 injective. By Corollary 3.1, the cokernel is the direct sum of TpHet(X , K) and 1 2 the uniquely divisible group lim (Het(X , K),p). By Proposition 5.2, and the fact 1 t that lim(Z(p),p) = lim (Q ,p) = 0, we have a sequence 2 t 1 s 1 2 0 → lim(Het(X , K),p) → Q → lim (Z(p),p) → lim (Het(X , K),p) → 0. Taking the long exact derived lim-sequence of the sequence of inverse systems n s (p ) s n s 0 → (Z(p),p) → (Z(p), id) → (Z/p ) → 0 s ∼ 1 s we obtain (Zp/Z(p)) = lim (Z(p),p), hence the result.

Corollary 7.4. Assuming ﬁniteness of Br(Xs), Br(X ) agrees with the torsion 1 subgroup of lim Pic(Xn) up to ﬁnite groups.

Proof. Finiteness of Br(Xs) implies finiteness of Br(Xn) by the sequence (15), 2 and this implies that lim Het(Xn, Gm) is a pro-finite group. It follows that any 2 divisible group maps to zero in lim Het(Xn, Gm), hence the divisible part of Br(X ) 1 injects into lim Pic(Xn). On the other hand, the torsion free group coker a is a 2 subgroup of the cokernel of Br(X ) → Hcont(X•, Gm) of finite index by (5) and finiteness of Br(Xs).

1 We are comparing our results to results about lim Pic(Xn). The groups Pic(Xn) are finitely generated of constant rank, and as the derived limit of finite groups vanishes, we can consider the torsion free quotients Pic(Xn) in- stead. Since Pic(Xn) → Pic(Xn−1) has finite kernel and cokernel, the maps Pic(Xn) → Pic(Xn−1) are injective, hence the images T of Pic(X ) in each group are isomorphic. We obtain an exact sequence of pro-systems

0 → T → Pic(Xn) → Qn → 0, 16 THOMAS H. GEISSER AND BAPTISTE MORIN

1 1 1 hence lim Pic(Xn) ∼= lim Pic(Xn) ∼= lim Qn, where each Qn is ﬁnitely generated of rank r. By Jensen [9, Thms. 2.5, 2.7], if the groups Ai in a countable pro-system are 1 ﬁnitely generated, then lim Ai ∼= Ext(M, Z), where M = colim Hom(Ai, Z) is a 1 countable torsion free group. Moreover, if lim Ai does not vanish, then

1 n0 np (16) lim Ai ∼= Q ⊕ (Qp/Zp) p M ℵ0 ℵ0 where n0 is the cardinality of the continuum 2 , and np is either 2 or ﬁnite (possibly zero). We give a more precise statement in a special situation.

Theorem 7.5. Let Ai be an inverse system of finitely generated groups of con- 1 stant rank r and transition maps with finite cokernel. If lim Ai does not vanish, then 0 ≤ np ≤ r in (16). If the cokernels of the maps in the system are finite 1 ′ p-groups, then lim Ai vanishes or np < nl for all l =6 p, and nl = nl′ for l,l =6 p.

Proof. We can assume that each group Ai is a free abelian group of rank r and proceed by induction on r. If r = 1, we let M = colim Hom(Ai, Z). Choosing any non-zero element of M identifies M ⊗ Q with Q, hence the inclusion M → −ep M ⊗ Q ∼= Q identifies M with a subgroup of Q, which is of the form Z[{p }p], where p runs through the primes and ep is an integer or infinity. A different choice of an element of M changes finitely many ep by a finite amount.

−ep Lemma 7.6. Let M ∼= Z[{p }p] ⊆ Q, where p runs through the primes and ep is a non-negative integer or inﬁnity. If all ei are ﬁnite and almost all vanish, then M ∼= Z and Ext(M, Z)=0. Otherwise

n0 np Ext(M, Z) ∼= Q ⊕ (Qp/Zp) , p M ℵ0 where n0 =2 , np =0 if ep is infinity, and np =1 if ep is finite. For example, (Q/Z)′, M = Z[p−∞] Tor Ext(M, Z)= Qp/Zp, M = Z(p) − Q/Z, M = Z[p 1|infinitely many p] Proof. The case M ∼ Z is easy, so that we assume M 6∼ Z. The long exact =  = Exti(−, Z) sequence associated to the short exact sequence 0 → Z → M → M/Z → 0 together with Hom(M, Z) = 0 because M 6∼= Z gives 0 → Z → Ext(M/Z, Z) → Ext(M, Z) → 0. Let us first consider the torsion subgroup Tor Ext(M, Z). The six term sequence associated to derived tensor product − ⊗ Z/pr together with the fact that Ext(M, Z) is divisible gives r r (17) 0 → pr Ext(M/Z, Z) → pr Ext(M, Z) → Z/p Z → Ext(M/Z, Z)/p → 0. ONTHEKERNELOFTHEBRAUER-MANINPAIRING 17

∼ ep ep Now M/Z = p Z/p , where we set Z/p = Qp/Zp if ep is inﬁnity, and then

ep (18)L Ext(M/Z, Z) ∼= Hom(M/Z, Q/Z) ∼= Zp/p , p Y ep where we set p = 0 if ep is infinity. In particular, if ep is finite, then the left and right groups in (17) have the same cardinality, so that pr Ext(M, Z) has r cardinality p for all r, hence the p-primary torsion of Ext(M, Z) is Qp/Zp. On the other hand, if ep is infinity, then the left group in (17) vanishes whereas the r right group is isomorphic to Zp/p Zp, hence we obtain pr Ext(M, Z) = 0. Finally, note that Ext(M/Z, Z), hence Ext(M, Z), has the same cardinality as the continuum by our hypothesis on ep and the description in (18). Since Ext(M, Z) is divisible and Tor Ext(M, Z) is countable, we get the statement of the Proposition.

We continue the proof of Theorem 7.5. The case r = 1 follows from the Lemma 1 because lim Ai =∼ Ext(M, Z) for M = colim Hom(Ai, Z). If the transition maps have p-groups as the cokernel, then M ∼= Z or M ∼= Z[p−∞] in which case we get the claimed statement on the np. For general r, we can, by performing elementary column operations (which corresponds to changing the basis of the next group in the inverse system), assume ai 0 0 that the transition maps are given by matrices Mi = ⋆ ⋆ ⋆ . Thus there is  ⋆ ⋆ ⋆ ′ a subsystem (Ai) consisting of free groups of rank r − 1 and a quotient system ′′ (Ai ) consisting of free groups of rank 1. By hypothesis ai =6 0. If the ai are ±1 ′′ ∼ 1 ′′ for almost all i, then lim Ai = Z and lim Ai = 0, and we have a sequence ′ δ 1 ′ 1 0 → lim Ai → lim Ai → Z → lim Ai → lim Ai → 0. ′ If δ has finite image, then the parameters np for (Ai) and (Ai) agree. If δ has infinite image, then the parameters np of Ai are one larger than the parameters ′ ′′ for Ai. If ai is different from ±1 for infinitely many i, then lim Ai = 0 and we obtain a sequence 1 ′ 1 1 ′′ 0 → lim Ai → lim Ai → lim Ai → 0. ′ In this case the parameters np of Ai are the sum of the parameters np of Ai and ′′ of Ai .

References [1] Berthelot, P.; Ogus, A., F-isocrystals and de Rham cohomology. I. Invent. Math. 72 (1983), no. 2, 159–199. [2] Flach, M., Siebel, D., Special values of the zeta function of an arithmetic scheme, Preprint 2019 18 THOMAS H. GEISSER AND BAPTISTE MORIN

[3] Colliot-Thel´ ene,` J.L., Saito, S., Zéro-cycles sur les variétés p-adiques et groupe de Brauer. Internat. Math. Res. Notices 1996, no. 4, 151–160. [4] de Jong, A. J., A result of Gabber. https://www.math.columbia.edu/~dejong/papers/2-gabber.pdf [5] Deligne, P. Théorème de Lefschetz et critères de dégńérescence de suites spectrales, Publications Math ématiques de l’IHES 35.1 (1968), 107-126. [6] Grothendieck, A., Eléments´ de géométrie algébrique. III. Etude´ cohomologique des faisceaux cohérents. I. Inst. Hautes Etudes´ Sci. Publ. Math. No. 11 (1961), 167 pp. [7] Grothendieck, A. Le groupe de Brauer. III. Exemples et compléments. Dix exposés sur la cohomologie des schémas, 88–188, Adv. Stud. Pure Math., 3, North-Holland, Amster- dam, 1968. [8] Jannsen, U., Continuous étale cohomology. Math. Ann. 280 (1988), no. 2, 207–245. [9] Jensen, C.U., Les foncteurs dérivés de lim et leurs applications en théorie des modules. Lecture Notes in Mathematics, Vol. 254. Springer-Verlag, Berlin-New York, 1972, iv+103 pp. [10] Kim, W.; Madapusi Pera, K., 2-adic integral canonical models. Forum Math. Sigma 4 (2016), Paper No. e28. [11] Lichtenbaum, S., Duality theorems for curves over p-adic fields. Invent. Math. 7 (1969), 120–136. [12] Madapusi Pera, K., The Tate conjecture for K3 surfaces in odd characteristic. Invent. Math. 201 (2015), no. 2, 625–668. [13] Mattuck, A., Abelian varieties over p-adic ground fields. Ann. of Math. (2) 62 (1955), 92–119. [14] Roquette, P., Einheiten und Divisorklassen in endlich erzeugbaren Körpern. Jber. Deutsch. Math.-Verein. 60 (1957), no. Abt., Abt. 1, 1–21. [15] Rotman, J., An introduction to the theory of groups. Graduate Texts in Mathematics, 148. Springer-Verlag, New York, (1995). [16] Saito, S., Sato, K., Zero-cycles on varieties over p-adic fields and Brauer groups. Ann. Sci. Ec.´ Norm. Supér. (4) 47 (2014), no. 3, 505–537. [17] Tate, J., Endomorphisms of abelian varieties over finite fields, Inv. Math., 2 (1966), 134–144. [18] The L-functions and Modular Forms Database, https://www.lmfdb.org/Genus2Curve/Q/160000/c/800000/1

Department of Mathematics, Rikkyo University, Ikebukuro, Tokyo, Japan Email address: [email protected] Department of Mathematics, Universite´ de Bordeaux, Bordeaux, France Email address: [email protected]