arXiv:2101.10222v3 [math.AG] 26 Jul 2021 .]wtotuigTheorem using without 1.1] hc olw rmAtnsterm[ theorem Artin’s from follows which when hypoe Theorem proved They 1. Theorem n h rurgopBr group Brauer the and [ n ae[ Tate and sfiiei n nyi Br if only and if finite is over surface Spec n21,Gisrpitdotta lgtcreto snece is correction slight a that out pointed Geisser 2018, In 3 seilyi h utfiaino [ of justification the in especially §3] Theorem of proof another relati precise This holds. version corrected slightly this Gro68 ( generalizing of flatness [ Lorenzini-Raynaud (1) 1.1. ( result Geisser’s of case geometric the of proof new of orders finite conjectural the relating and once br n disascin then section, a admits and fibers connected Mil81 h eod(n eysot ro fTheorem of proof short) very (and second The Let ealta hs ojcue ocr w cnetrlyfi (conjecturally two concern conjectures these that Recall 3 2 1 Milne (and Liu-Lorenzini-Raynaud As nw ohv eea inaccuracies. several have to known See to (up proof another is There [ X History. 1 F , π q , S in’ webpage Milne’s Mil75 ( ( GA03 AT schmlgclyfltwt eto se[ (see section a with flat cohomologically is J/F eaigteodr fteBae ru n h Tate-Shafare the and group Brauer the of fibre orders generic the the relating of Jacobian the for Birch-Swinnerton-Dyer S A easot rjcie(emtial once)creove curve connected) (geometrically projective smooth a be Tat95 BSTRACT ) π Let . hi ro [ proof their ; ( T h ri-aecnetr for conjecture Artin-Tate The X )] , 1 ]. ri n aergre Theorem regarded Tate and Artin KT03 between ) ihafltpoe morphism proper flat a with ojcue() : (d)] Conjecture , i-oezn-anu [ Liu-Lorenzini-Raynaud ; ) H OJCUE FATNTT N BIRCH-SWINNERTON-DYER AND ARTIN-TATE OF CONJECTURES THE J Artin epoietopof httecnetr fAtnTt for Artin-Tate of conjecture the that proofs two provide We . eteJcba of Jacobian the be ]: LLR04 TPE IHEBU,NRNA AAHNRN N AAH S TAKASHI AND RAMACHANDRAN, NIRANJAN LICHTENBAUM, STEPHEN − 1 ate T ⇐⇒ ( when ( X LLR04 X 1 [ Br ) u hspofrle evl ntewr fGordon of work the on heavily relies proof this But . p ) rvdsvrlnwcsso Theorem of cases new several proved ] − trin nti aedet .Yn[ Yun Z. to due case this in -torsion) of 1 ( sfiie u rtpofi ae nabatflrsl fGeis of result beautiful a on based is proof first Our finite. is Milne hs obnn [ combining Thus, . X π X hoe .]poed ypoigta Theorem that proving by proceeds 4.3] Theorem , ssot n a eto ([ section a has and smooth is .I 1. )] euto ri-rtedek[ Artin-Grothendieck of result A . and Br LLR18 TOUTO N TTMN FRESULTS OF STATEMENT AND NTRODUCTION X Tat95 ( X X 0 [ X u anrslsaetopof ftefloigrsl conj result following the of proofs two are results main Our . ) ( 2 LLR18 on u [ out point ) J/F X finite ( (3.9)]. , hoe .] [ 3.1], Theorem , π J/F X seuvln oteBrhSinro-yrcnetr for conjecture Birch-Swinnerton-Dyer the to equivalent is : [ ) ( X X J/F n Br and orce hoe .]soe htTheorem that showed 4.3] Theorem Corrected , )] Artin 1 LLR18 ( 1 Gor79 → sese opoea poe oteohrcnetrsi [ in conjectures other the to opposed as prove to easier as hc ntercs a enpoe yMilne-Gonzales-Avile by proved been had case their in which J/F 26 n§ in ) − ). n(Theorem on LLR05 S = ∼ ( Grothendieck ⇐⇒ ihgroup. vich ]=[ = )] X sabpout eoti e ro fatermo Geisser of theorem a of proof new a obtain we byproduct, a As . 4 ihsot emtial once eei fiber generic connected geometrically smooth with Yun15 sr nterlto [ relation the in ssary hoe .] sn ( using 2.3]) Theorem , orce hoe .]ad[ and 4.3] Theorem Corrected , 1 Br scmltl u otetidnmdato.I ed oa to leads It author. third-named the to due completely is ) . ( ie rus h aeSaaeihgroup Tate-Shafarevich the groups: nite) X Gor79 hoe ] Theorem 2], Theorem , Tat95 Br ]. ) ( odn[ Gordon . X 1 Gor79 .2] sn h equality the using p.427]) , )] hoe .] if 2.3]: Theorem , 14 brdsraei qiaett h ojcueof conjecture the to equivalent is surface fibered a X yeiiaigtecniino cohomologically of condition the eliminating by r a hnpoe yGisr[ Geisser by proved then was ) ( T J/F hoe .][ 2.3] Theorem , = Gor79 ) Spec LLR04 finite 3 1 [ Gor79 .Bidn nGro [ Gordon on Building ). hoe .]poe Theorem proved 6.1] Theorem , 1 F seuvln oapeierelation precise a to equivalent is q Kato hoe .]between 4.3] Theorem , 1 n let and scnb enfo [ from seen be can as ] π olw ycmiig[ combining by follows ⇐⇒ UZUKI − Gro68 Gei20 sgnrclysot with smooth generically is rihan T e [ ser X hoe .]gives 1.1] Theorem , Gei20 4 sthat is §4] , 1 easot proper smooth a be BSD od fadol if only and if holds Gei20 cue yArtin by ectured hoe 1.1] Theorem , X J ( Gor79 J ( . J/F ) Theorem , . X X [ LLR18 Br Tat95 ( 0 ) Tat95 ,Liu- ], J/F ( of over X )] J 1 ]. s ) , , 1.2. Our approach. Our first proof has minimal dependence on [Gor79, LLR18]; the dependence is in exactly two places: the proof of (14) and for the elementary result (18). Asin[Gor79, LLR04, LLR18], this proof also follows the strategy in [Tat95, §4]. We use the localization sequence to record a short proof4 of the Tate-Shioda relation (Corollary 5). In turn, this gives a quick calculation (25) of the height pairing ∆ar(NS(X)) on the Néron-Severi group of X. The same calculation in [Gor79, LLR18] requires a detailed analysis of various subgroups of NS(X). A beautiful introduction to these results is [Ulm14]; see [Lic83, Lic05, GS20] for Weil-étale analogues. The second proof (§4) of Theorem 1 uses only (14) and the Weil-étale formulations of the two conjectures. In this proof, we do not compare each term of the two special value formulas and entirely work in derived categories.

1.3. The Artin-Tate conjecture. Let k = Fq and F = k(S). For any scheme V of finite type over T , the zeta function ζ(V,s) is defined as 1 ζ(V,s)= −s ; ∈ (1 − qv ) vYV the product is over all closed points v of V and qv is the size of the finite residue field k(v) of v. If V is smooth proper (geometrically connected) of dimension d, then there exist Pi(V,t) ∈ Z[t] such that −s −s P1(V, q ) ··· P2d−1(V, q ) −s d−s ζ(V,s)= −s −s , P0 = (1 − q ), P2d = (1 − q ). P0(V, q ) ··· P2d(V, q ) One has the factorization [Tat95, (4.1)] (the second equality uses Poincaré duality) P (X, q−s) . P (X, q−s) P (X, q−s) . P (X, q1−s) (2) 1 3 1 1 ζ(X,s)= −s −s 2−s = −s −s 2−s . (1 − q ) . P2(X, q ) . (1 − q ) (1 − q ) . P2(X, q ) . (1 − q ) Let ρ(X) be the rank of the finitely generated Néron-Severi group NS(X). The intersection D.E of divisors D, E provides a symmetric non-degenerate bilinear pairing on NS(X); a related pairing is the height pairing

NS(X) × NS(X) → Q(log q), D,E 7→ hD, Eiar = D.E log q. 0,red Let A be the reduced identity component PicX/T of the Picard scheme PicX/T of X. Let

(3) α(X)= χ(X, OX ) − 1+ dim (A). We write [G] for the order of a finite group G.

−s Conjecture 2. (Artin-Tate) [Tat95, Conjecture (C)] The Brauer group Br(X) is finite, ords=1P2(X, q ) = ρ(X), and the special value −s ∗ P2(X, q ) P2 (X, 1) := lim s→1 (s − 1)ρ(X) satisfies

∗ −α(X) (4) P2 (X, 1) = [Br(X)] . ∆ar(NS(X)) . q .

The discriminant ∆ar(NS(X)) of the height pairing on NS(X) is related to the discriminant ∆(NS(X)) of the ρ(X) intersection pairing: ∆ar(NS(X)) = ∆(NS(X)) . (log q) . 1.4. Discriminants. [Yun15, §2.8] [Blo87] Given a finitely generated abelian group N and any non-degenerate sym- metric bilinear form ψ : N × N → K with values in any field K of characteristic zero, the discriminant ∆(N) is ′ 2 ′ the determinant of the matrix ψ(bi,bj) divided by (N : N ) where N is the subgroup of finite index generated by a maximal linearly independent subset {bi} of N. Note that ∆(N) is independent of the choice of the subset {bi} and the subgroup N ′ and incorporates the order of the torsion subgroup of N. For us, K = Q or Q(log q). Given a short exact sequence 0 → N ′ → N → N ′′ → 0 which splits over Q as an orthogonal direct sum ∼ ′ ′′ NQ = NQ ⊕ NQ with respect to a definite pairing ψ on N, one has the following standard relation (5) ∆(N) = ∆(N ′) . ∆(N ′′).

4This is similar to the ideas of Hindry-Pacheco and Kahn in [Kah09, §§3.2-3.3]. 2 ′ [Ker(f)] Given a map f : C → C of abelian groups with finite kernel and cokernel, the invariant [Tat95] z(f) = [Coker(f)] extends to the derived category D of complexes in abelian groups with bounded and finite homology: given any such complex C•, the invariant i (−1) z(C•)= [Hi(C•)] i Y is an Euler-characteristic; for any triangle K → L → M → K[1] in D, the following relation holds (6) z(K).z(M)= z(L). One recovers z(f) viewing f : C → C′ as a complex in degrees zero and one. We recover ∆(N) above ∆(N)= z(N → RHom(N, Z))−1 by using the map N → RHom(N, Z) provided by the pairing ψ : N × N → Z. 

1.5. The Birch-Swinnerton-Dyer conjecture. Let J be the Jacobian of X0. Recall that the complete L-function [Ser70, Mil72],[GS20, §4] of J is defined as a product of local factors 1 (7) L(J, s)= −s . ∈ Lv(J, qv ) vYS For any closed point v of S, the local factor Lv(J, t) is the characteristic polynomial of Frobenius on

1 sep Iv (8) Het(J × Fv , Qℓ) , where Iv is the inertia group at v. By[GS20, Proposition 4.1], Lv(J, t) has coefficients in Z and is independent of ℓ, for any prime ℓ distinct from the characteristic of k. Let X(J/F ) be the Tate-Shafarevich group of J over Spec F and let r be the rank of the finitely generated group J(F ). Let ∆NT (J(F )) be the discriminant of the Néron-Tate pairing on J(F ). Let J → S be the Néron model of J; for any closed point v ∈ S, define cv = [Φv(kv)] where Φv is the group of connected components of Jv and put c(J) = v∈S cv; this is a finite product as cv = 1 for all but finitely many v. Let Lie J be the locally free sheaf on S defined by the Lie algebra of J . Recall the5 Q Conjecture 3. (Birch-Swinnerton-Dyer) The group X(J/F ) is finite, ords=1L(J, s)= r, and the special value L(J, s) L∗(J, 1) := lim s→1 (s − 1)r satisfies ∗ χ(S,Lie J ) (9) L (J, 1) = [X(J/F )] . ∆NT (J(F )) .c(J) . q . The proof of Theorem 1, i.e., the equivalence of Conjectures 2 and 3, naturally divides into four parts: • Br(X) is finite if and only if X(J/F ) is finite. This is known [Gro68, (4.41), Corollaire (4.4)]. • Comparison of χ(S,Lie J ) and α(X). This is known [Gor79, Proposition 6.5] [LLR04,p.483]–see (14). −s • (Proposition 7) ords=1P2(X, q )= ρ(X) if and only if ords=1L(J, s)= r. ∗ ∗ • (§3) P2 (X, 1) satisfies (4) if and only if L (J, 1) satisfies (9). Thus, it is only the last two parts that need proof.

2. PREPARATIONS 2.1. Elementary identities and known results. The Néron-Severi group NS(X) is the group of k-points of the group scheme NSX/T = π0(PicX/T ) of connected components of the Picard scheme PicX/T of X. Using Br(k)=0 1 0 1 red,0 1 and Lang’s theorem Het(T, PicX/T )= Het(T, PicX/T )= Het(T, A)=0 in 0 0 → Pic(T ) → Pic(X) → PicX/T (T ) → Br(T ), 0 → PicX/T → PicX/T → π0(PicX/T ) → 0, we obtain Pic(X) (10) Pic (T )= Pic(X), NS(X)= NS (k)= . X/T X/T A(k)

5By [GS20, Corollary 4.5], this is equivalent to the formulation in [Tat95]. 3 Let P be the identity component of the Picard scheme PicS/T of S. Let B be the cokernel of the natural injective map π∗ : P → A. So one has (using Lang’s theorem for the last sequence)

red,0 0 (11) A = PicX/T , P = PicS/T , 0 → P → A → B → 0, 0 → P (k) → A(k) → B(k) → 0. It is known that [Tat95, p. 428]

−s −s −s −s −s −s −s (12) P1(S, q )= P1(P, q ), P1(X, q )= P1(A, q ), P1(A, q )= P1(P, q ) . P1(B, q ).

For any abelian variety G of dimension d over k = Fq, it is well knownthat [Tat95, p.429,top line](or[Gor79, 6.1.3]) 1 [G(k)] (13) P (G, 1) = [G(k)], P (G, )= . 1 1 q qd It is known ([Gor79, Proposition 6.5] [LLR04, p. 483]) that (14) χ(S,Lie J ) − dim B = −α(X).

We include their proof here for the convenience of the reader. The Leray spectral sequence for π and OX provides 0 0 H (S, OS) =∼ H (X, OX ), 1 1 0 1 2 1 1 0 → H (S, OS) → H (X, OX ) → H (S, R π∗OX ) → 0, H (X, OX ) =∼ H (S, R π∗OX ).

1 This proves χ(X, OX ) = χ(S, OS) − χ(S, R π∗OX ). Recall that J is the Néron model of the Jacobian J of X0. 1 As the kernel and cokernel of the natural map φ : R π∗OX → Lie J are torsion sheaves on S of the same length [LLR04, Theorem 4.2], we have [LLR04, p. 483]

1 (15) χ(S, R π∗OX )= χ(S,Lie J ). Thus,

(3) α(X) = χ(X, OX ) − 1+ dim (A) 1 = χ(S, OS) − χ(S, R π∗OX ) − 1+ dim (A) =1 − dim (P ) − χ(S,Lie J ) − 1+ dim (A) = −χ(S,Lie J )+ dim (A) − dim (P )

(11) = −χ(S,Lie J )+ dim (B).

2.2. The Tate-Shioda relation about the Néron-Severi group. The structure of NS(X) depends on the singular fibers of π : X → S.

−1 2.2.1. Singular fibers. Let Z = {v ∈ S | π (v)= Xv is not smooth}. Forany v ∈ S, let Gv be the set of irreducible components Γi of Xv, let mv be the size of Gv, and m := v∈Z (mv − 1); for any i ∈ Gv, let ri be the number of irreducible components of Γ × k(v). Let R be the quotient i v P ZGv (16) R = v Z −1 of the free abelian group generated by the irreducible components of Xv by the subgroup generated by Xv = π (v). If v∈ / Z, then Rv is trivial. −1 ′ ′ ′ ′ Let U = S − Z; the map XU = π (U) → U is smooth. For any finite Z ⊂ S with Z ⊂ Z , we put U = S − Z (10) −1 ′ and XU ′ = X − π (U ). The following proposition provides a description of NS(X) =∼ Pic(X)/A(k). ′ Proposition 4. (i) The natural maps Pic(S) → Pic(X) and Pic(U ) → Pic(XU ′ ) are injective. (ii) There is an exact sequence Pic(X) (17) 0 → ⊕ Rv → → Pic(X0) → 0. v∈Z Pic(S) 4 Proof. (i) From the Leray spectral sequence for π : X → S and the étale sheaf Gm on X, we get the exact sequence 1 1 0 1 0 → H (S, π∗Gm) → H (X, Gm) → H (S, R π∗Gm) → Br(S).

Now the fact that X0 being geometrically connected and smooth over F implies that π∗Gm is the sheaf Gm on S. This provides the injectivity of the first map. The same argument with U ′ in place of S provides the injectivity of the second. (ii) The class group Cl(Y ) and the Picard group Pic(Y ) are isomorphic for regular schemes Y such as S and X.

′

The localization sequences for XU ′ ⊂ X and U ⊂ S can be combined

← ← ← ← ← ← ′ ′ 0→ Γ(S, Gm)→ Γ(U , Gm) → ⊕ Z → Pic(S) → Pic(U )→ 0 ∈ ′

֓ ֓ v Z ֓ ← ←

← ←

→ → → → → ∼ ∼ ←

← ← ← ← ← ← Gv 0→ Γ(X, Gm)→ Γ(XU ′ , Gm) → ⊕ Z → Pic(X) → Pic(XU ′ )→ 0 v∈Z′ to obtain the exact sequence

Pic(X) Pic(XU ′ ) 0 → ⊕ Rv → → ′ → 0. v∈Z′ Pic(S) Pic(U )

In particular, we get this sequence for Z and U. By assumption, Xv is geometrically irreducible for any v∈ / Z; so ′ ′ Rv =0 for any v∈ / Z. So this means that, for any U = S − Z contained in U, the induced maps

Pic(X ) Pic(X ′ ) U → U Pic(U) Pic(U ′) are isomorphisms. Taking the limit over Z′ gives us the exact sequence in the lemma. 

Corollary 5. (i) The Tate-Shioda relation [Tat95, (4.5)] ρ(X)=2+ r + m holds. (ii) One has an exact sequence Pic(X) NS(X) 0 → B(k) → → → 0. Pic(S) NS(S)

Proof. (i) Since r is the rank of J(F ), the rank of Pic(X0) is r +1. Since Pic(S) has rank one, A(k) is finite and m = v∈Z (mv − 1), this follows from (10) and(17).

(ii) This follows from the diagram

∗ ← ← ← P ← 0 → P (k) π → A(k) → B(k)→ 0 ֓ ֓ ֓ → → → ← ← ←

∗ ← ← ← ← π Pic(X) 0 → Pic(S) → Pic(X) → Pic(S) → 0 ← ← → ← → →

∗ ← ← ← ← π NS(X) 0 → NS(S) → NS(X) → NS(S) → 0. 

−s 6 2.3. Relating the order of vanishing at s =1 of P2(X, q ) and L(J, s). By [Gor79, Proposition 3.3], one has −s 1−s P1(Xv, qv ) −s (1 − qv ), for v∈ / Z (18) ζ(Xv,s)= −s −s , P2(Xv, qv )= ri(1−s) ; (1 − q ) . P (X , q ) ∈ v (1 − (qv) ), for v ∈ Z v 2 v v  i G  see §2.2.1 for notation. Using Q −s −s P2(Xv, q ) P1(S, q ) −s Q2(s)= 1−s , ζ(S,s)= −s 1−s ,Q1(s)= P1(Xv, qv ), ∈ (1 − qv ) (1 − q ) . (1 − q ) ∈ vYZ vYS

6 This proposition, first stated on page 176 of [Gor79], has a typo in the formula for P2 which is corrected in its restatement on page 193. We only need the part about P2 which is elementary. 5 we can rewrite −s 1 P1(Xv, qv ) ζ(S,s) . ζ(S,s − 1) .Q1(s) ζ(X,s)= ζ(Xv,s)= . −s 1−s = . ∈ Q2(s) ∈ (1 − qv ) . (1 − qv ) Q2(s) vYS vYS −s The precise relation between P2(X, q ) and L(J, s) is given by (20).

Proposition 6. One has ords=1Q2(s)= m and

∗ Q2(s) (mv−1) (19) Q2(1) = lim = (log qv) . ri , s→1 m (s − 1) ∈ ∈ ! vYZ iYGv P (X, q−s) (20) 2 = P (B, q−s) . P (B, q1−s) .L(J, s) .Q (s). (1 − q1−s)2 1 1 2 Proof. As (19) is elementary, we prove (20). Simplifying the identity −s 1−s −s 1−s P1(X, q ) . P1(X, q ) P1(S, q ) P1(S, q ) Q1(s) −s −s 2−s = ζ(X,s)= −s 1−s . 1−s 2−s . (1 − q ) . P2(X, q ) . (1 − q ) (1 − q ) . (1 − q ) (1 − q ) . (1 − q ) Q2(s) from (2) using (12), one obtains −s 1−s P1(B, q ) . P1(B, q ) 1 1 Q1(s) −s = 1−s . 1−s . . P2(X, q ) (1 − q ) (1 − q ) Q2(s) On reordering, this becomes −s −s 1−s P2(X, q ) P1(B, q ) . P1(B, q ) .Q2(s) 1−s 2 = . (1 − q ) Q1(s) sep For any v ∈ S, the Kummer sequence provides a Gal(Fv /Fv)-equivariant isomorphism 1 sep ∼ 1 sep Het(J ×F Fv , Qℓ) = Het(X ×S Fv , Qℓ) and hence an isomorphism: 1 sep Iv ∼ 1 sep Iv Het(J ×F Fv , Qℓ) = Het(X ×S Fv , Qℓ) . From [Del80, Théorème 3.6.1, pp.213-214](the arithmetic case is in [Blo87, Lemma 1.2]), we obtain an isomorphism

1 ∼ 1 sep Iv Het(Xv ×k(v) k(v), Qℓ) −→ Het(X ×S Fv , Qℓ) . −s −s  The definition of Lv(J, t) in (8) now implies that P1(Xv, qv )= Lv(J, qv ) and hence Q1(s) .L(J, s)=1. −s Proposition 7. (i) ords=1P2(X, q )= ρ(X) if and only if ords=1L(J, s)= r. (ii) One has 2 (13) [B(k)] (21) P ∗(X, 1) = P (B, q−1) . P (B, 1) .L∗(J, 1) .Q∗(1) . (log q)2 = .L∗(J, 1) .Q∗(1) . (log q)2. 2 1 1 2 qdim B 2 −s 1−s Proof. As P1(B, q ) . P1(B, q ) does not vanish at s =1 by (13), it follows from (20) that −s ords=1P2(X, q ) − 2= ords=1L(J, s)+ ords=1Q2(s).

Corollary 5 says ρ(X)= r + m +2; (i) follows as ords=1Q2(s)= m. For (ii), use (13),(20) and Corollary 5.  2.4. Pairings on NS(X). Our next task is to compute ∆(NS(X)). 0 Definition 8. (i) Let Pic (X0) be the kernel of the degree map deg : Pic(X0) → Z; the order δ of its cokernel is, by definition, the index of X0 over F . 0 .( ii) Let α be the order of the cokernel of the natural map Pic (X0) ֒→ J(F) (iii) Let H (horizontal divisor on X) be the Zariski closure in X of a divisor d on X0, rational over F , of degree δ. (iv) The (vertical) divisor V on X is π−1(s) for a divisor s of degree one on S. Such a divisor s exists as k is a finite field and so the index of the curve S over k is one. Writing s = aivi as a sum of closed points vi on S gives −1 V = aiπ (vi). Note V generates NS(S) ⊂ NS(X). (v) The intersections of the divisor classes H and V in NS(X) areP given by P (22) H.V = δ = V.H, V.V =0. 6 ⊥ −1 Let NS(X)0 = NS(S) ; it is the subgroup of divisor classes Y such that Y.Xv = 0 for any fiber π (v) = Xv ∼ Pic(X) of π; let Pic(X)0 be the inverse image of NS(X)0 under the projection Pic(X) → NS(X) = A(k) .

Lemma 9. Let K = Ker(NS(X) → NS(X0)); it consists of divisor classes D on X whose restrictions D0 to X0 have degree zero. Then K = NS(X)0. Proof. If D is a vertical divisor (π(D) ⊂ S is finite), then D is clearly in K;by[Liu02, §9.1, Proposition 1.21], D is in NS(X)0. If D has no vertical components, then D.V = deg(D0). To see this, clearly we may assume D is reduced and irreducible (integral) and so flat over S. So OD is locally free over OS of constant degree n since S is connected. But then deg(D0) is equal to n as is the integer D.V .  Lemma 10. Let Pic(X)0 R = ⊕ Rv, E = B(k) ∩ R ⊂ . v∈Z Pic(S) One has exact sequences Pic(X) 0 → R → 0 → Pic0(X ) → 0, Pic(S) 0 R NS(X) Pic0(X ) (23) 0 → → 0 → 0 → 0. E NS(S) B(k)/E Proof. The first follows from Lemma 9; the second follows from Corollary 5 (ii). 

Lemma 11. One has the equality

NS(X)0 2 2 ∆ar( ) = [B(k)] . α . ∆NT (J(F )) . ∆ar(Rv). NS(S) ∈ vYZ Proof. The exact sequence (23) splits orthogonally over Q: For any divisor γ representing an element of Pic(X0), consider its Zariski closure γ¯ in X. Since the intersection pairing on Rv is negative-definite [Liu02, §9.1,Theorem 1.23], the linear map Rv → Z defined by β 7→ β.γ¯ is represented by a unique element NS(X) ψ (γ) ∈ R ⊗ Q ⊂ 0 ⊗ Q. v v NS(S) Thus, the element

γ˜ :=γ ¯ − ψv(γ) ∈ vXZ is good in the sense of [Gor79, §5, p. 185]: By construction, the divisor γ˜ on X intersects every irreducible component of every fiber of π with multiplicity zero. The identity

hγ,κiNT = −hγ,˜ κ˜iar = −(˜γ . κ˜) . log q 0 holds [Tat95, p. 429][LLR18, Remark 3.11] for elements γ,κ of Pic (X0) ⊗ Q. The map NS(X) Pic0(X ) ⊗ Q → 0 ⊗ Q, γ 7→ γ˜ 0 NS(S) provides an orthogonal splitting of (23) (over Q). So

0 2 NS(X) (5) Pic (X ) R [B(k)] ∆ ( 0 ) = ∆ ( 0 ) . ∆ ( )= . ∆ (Pic0(X )) .e2∆ (R) ar NS(S) NT B(k)/E ar E e2 NT 0 ar 2 0 = [B(k)] . ∆NT (Pic (X0)) . ∆ar(R) where e = [E] as the size of E. As

0 2 (24) ∆NT (Pic (X0)) = α . ∆NT (J(F )), ∆ar(R)= ∆ar(Rv), ∈ vYZ this proves the lemma.  7 2.4.1. A lemma of Yun. Given a non-degenerate symmetric bilinear pairing Λ × Λ → Z on a finitely generated abelian ′ ′ ⊥ Γ group Λ, an isotropic subgroup Γ, a subgroup Γ containing Γ and with finite index in Γ , let Λ0 = Γ . We recall −1 −1 from §1.4 that ∆(Λ) = z(D) where D := Λ → RHom(Λ, Z) and ∆(Λ0) = z(D0) where D0 := Λ0 → Λ RHom(Λ0, Z). Let ∆ be the discriminant of the induced non-degenerate pairing Γ × Γ′ → Z: 1 1 Λ Λ ∆= = , C := Γ → RHom( , Z), C′ := → RHom(Γ, Z). z(C) z(C′) Γ′ Γ′

2 Lemma 12. (Yun) [Yun15, Lemma 2.12] One has ∆(Λ) = ∆(Λ0) . ∆ .

Proof. Applying (6) to the maps of triangles

← ← ← Λ ΓΛ→ → Γ → Γ[1]

← ←

→ → ← → → ←

← ← Λ ← ′ Λ RHom( Γ′ , Z) → RHom(Λ, Z) → RHom(Γ , Z) → RHom( Γ′ , Z)[1]

and

← ← ′ ← ′ Γ Λ Λ Γ Γ → Γ → Γ′ → Γ [1]

→ → ← ← ← ← → →

← ← ′ ← ′ Γ ′ Γ RHom( Γ , Z) → RHom(Γ , Z) → RHom(Γ, Z) → RHom( Γ , Z)[1] −1 ′ shows that z(D).z(C) = z(D0).z(C ).  Proposition 13. One has

2 2 2 2 (25) ∆ar(NS(X)) = δ . [B(k)] . α . ∆NT (J(F )) . ∆ar(Rv) . (log q) . ∈ vYZ Proof. By Lemma 11, it suffices to prove NS(X) NS(X) ∆ (NS(X)) = δ2 . ∆ ( 0 ) . (log q)2, ∆(NS(X)) = δ2 . ∆( 0 ). ar ar NS(S) NS(S)

∼ ′ NS(X)0 Let Z = Γ= NS(S) ⊂ NS(X)=Λ with Γ = NS(X)0 and Λ0 = NS(S) . Lemma 9 implies

Λ NS(X) ∼ NS(X) ′ = = Z, C := Γ → Hom( , Z). Γ NS(X)0 NS(X)0 Now (22) shows that NS(S) is isotropic and ∆= δ. The result follows from Lemma 12. 

′ For v ∈ S, we put δv and δv for the (local) index and period of X × Fv over the local field Fv. Theorem 14. [Gei20, Theorem 1.1] Assume that Br(X) is finite. The following equality holds: 2 2 X ′ (26) [Br(X)]α δ = [ (J/F )] δvδv. ∈ vYS ′ Remark 15. Note that for v ∈ U, one has δv =1= δv =1= cv. So c(J) := v∈S cv satisfies

(27) c(J)= cv. Q ∈ vYZ Lemma 16. One has ∗ ′ (28) c(J) .Q2(1) = δv .δv . ∆ar(Rv). ∈ vYZ Proof. By Flach-Siebel [FS21, Lemma 17] (using Raynaud’s theorem [Gor79, Theorem 5.2] in [BL99]), one has

cv mv −1 ∆ar(Rv)= ′ . (log qv) . ri. δv .δ v i∈Gv 8 Y So we find that

′ mv −1 δv .δv . ∆ar(Rv)= cv . (log qv) . ri ∈ ∈ ∈ ! vYZ vYZ iYGv

mv −1 = cv . (log qv) . ri ∈ ∈ ∈ ! vYZ vYZ iYGv

(27) mv −1 = c(J) . (log qv) . ri . ∈ ∈ ! vYZ iYGv (19) ∗ = c(J) .Q2(1). 

3. FIRST PROOF OF THEOREM 1 Proof (of Theorem 1). By(25)and (28), we have

2 2 α δ 2 ∗ 2 ∆ar(NS(X)) = ′ . ∆NT (J(F )) .c(J) . [B(k)] .Q2(1) . (log q) . v∈Z δv .δv From Theorem 14, we have Q X 2 ∗ 2 [Br(X)] . ∆ar(NS(X)) = [ (J/F )] . ∆NT (J(F )) .c(J) . [B(k)] .Q2(1) . (log q) . Further with (14), we obtain

−α(X) χ(S,Lie J ) [Br(X)] . ∆ar(NS(X)) . q = [X(J/F )] . ∆NT (J(F )) .c(J) . q 2 ∗ −dim B 2 . [B(k)] .Q2(1) . q . (log q) . On the other hand, recall (21)

∗ ∗ 2 ∗ −dim B 2 P2 (X, 1) = L (J, 1) . [B(k)] .Q2(1) . q . (log q) . The ratio of the previous two equalities gives

∗ ∗ P2 (X, 1) L (J, 1) −α(X) = χ(S,Lie J ) . [Br(X)] . ∆ar(NS(X)) . q [X(J/F )] . ∆NT (J(F )) .c(J) . q This equality implies Theorem 1. 

4. SECOND PROOF OF THEOREM 1 We will give another more direct proof of Theorem 1 using Weil-étale cohomology. We refer the reader to [Lic05, Gei04, GS20] for basics about Weil-étale cohomology over finite fields. Throughout this section, we assume that Br(X) (and hence X(J/F )) is finite.

b 4.1. Setup. Let C ∈ D (Tet) be an object of the bounded derived category of sheaves of abelian groups on the b small étale site Tet. Let D ∈ D (FDVectk) be an object of the bounded derived category of finite-dimensional ∗ vector spaces over k. Assume that the Weil-étale cohomology HW (T, C) is finitely generated and the cohomology ∗ L i i+1 sheaf H (C ⊗ Z/lZ) is finite in all degrees for all prime numbers l ∤ q. Let e: HW (T, C) → HW (T, C) be the 1 e i e map defined by cup product with the arithmetic Frobenius ∈ HW (T, Z). It defines a complex ··· → HW (T, C) → i+1 e L n H (T, C) → · · · with finite cohomology. Set CQl = R lim (C ⊗ Z/l Z) ⊗Zl Q , whose cohomologies are finite- W ←−n l ∗ L dimensional vector spaces over Ql (by the finiteness of H (C ⊗ Z/lZ)) equipped with an action of the geometric 9 Frobenius ϕ of k. Define i i (−1) +1 Z(C,t)= det(1 − ϕt | H (CQl )) , i Y j+1 j ρ(C)= (−1) . j . rank HW (T, C), j X ∗ χW (C)= χ(HW (T, C),e), χ(D)= (−1)j dim Hj (D). j X × Z Assume that Z(C,t) ∈ Q(t) and is independent of l. Define Q(C,D) ∈ Q>0 × (1 − t) to be the leading term of the (1 − t)-adic expansion of the function Z(C,t)(1 − t)ρ(C) ± χ(D) χW (C)q (the sign is the one that makes the coefficient positive). It is the defect of a zeta value formula of the form ρ(C) χ(D) lim Z(C,t)(1 − t) = ±χW (C)q . t→1 ∗ ∗ L We mention Q(C,D) only when HW (T, C) is finitely generated, H (C ⊗ Z/lZ) is finite and Z(C,t) ∈ Q(t) is independent of l. These conditions are satisfied for the cases of interest below. We have Q(C[1],D[1]) = Q(C,D)−1. If (C,D), (C′,D′) and (C′′,D′′) are pairs as above, and C → C′ → C′′ → C[1] and D → D′ → D′′ → D[1] are distinguished triangles, then Q(C′,D′)= Q(C,D)Q(C′′,D′′).

4.2. Special cases. If (C,D) = (RπX,∗Gm[−1], RΓ(X, OX )) (where πX : Xet → Tet is the structure morphism), ∗ ∗ L then HW (T, C) is finitely generated(by the finiteness of Br(X)) and H (C⊗ Z/lZ) is finite (by the general finiteness theorems about étale cohomology). We have Z(C, q−s)= ζ(X,s + 1). The statement Q(C,D)=1 is equivalent to ′ ⋄ ρ(X) Conjecture 2 by [Mil88, Footnote 2]. More precisely, let P2 (X, 1)(1 − t) be the leading term of the (1 − t)-adic 7 expansion of P2(X,t/q). Then ′ ⋄ ρ(X) −ρ(X) −1 P2 (X, 1) . (1 − t) Q(Rπ ∗G [−1], RΓ(X, O )) = . X, m X [Br(X)] . ∆(NS(X)) . q−α(X) −s If (C,D) = (RπS,∗J [−1], RΓ(S, Lie J )) (where πS : Set → Tet is the structure morphism), then Z(C, q ) = L(J, s+1) ([Sch82, Satz 1]), and the statement Q(C,D)=1 becomes the Weil-étale BSD conjecture ([GS20]), which ′ is equivalent to Conjecture 3 by[GS20, Proposition 8.4]. More precisely, let L⋄(J, 1)(1−q−s)r be the leading term of −s the (1−q )-adic expansion of L(J, s+1). Let ∆(J(F )) be the discriminant of the pairing (γ,κ) 7→ hγ,κiNT / log q on J(F ). Then ′ L⋄(J, 1) . (1 − t)r −r Q(Rπ ∗J [−1], RΓ(S, Lie J )) = S, [X(J/F )] . ∆(J(F )) .c(J) . qχ(S,Lie J ) by [GS20, Proposition 8.3]. 4.3. Comparison. Now Theorem 1 follows from the following Proposition 17. One has −1 Q(RπX,∗Gm[−1], RΓ(X, OX)) = Q(RπS,∗J [−1], RΓ(S, Lie J )). i Proof. We have R π∗Gm = 0 over Set for all i ≥ 2 by [Gro68, Corollaire (3.2)]. Hence we have a distinguished triangle RπS,∗Gm → RπX,∗Gm → RπS,∗ PicX/S[−1] → RπS,∗Gm[1] 8 in D(Tet). Similarly, we have a distinguished triangle 1 RΓ(S, OS) → RΓ(X, OX ) → RΓ(S, R π∗OX )[−1] → RΓ(S, OS)[1].

7To quickly see this, use [Gei04, Theorem 7.3, Proposition 7.4, Theorems 9.1 and 9.3]. The torsion orders of higher cohomology 4−i i tor tor HW (X, Gm) are given by those of lower cohomology HW (X, Gm) by the duality [Gei18, Remark 3.3]. 8 1 Here PicX/S = R π∗Gm is only an étale sheaf. The fppf sheaf denoted by the same symbol is not an algebraic space in general. 10 We have Q(RπS,∗Gm[−1], RΓ(S, OS)) =1 by the class number formula ([Gei04, Theorems 9.1 and 9.3], or [Lic05, Theorems 5.4 and 7.4] and the functional equation). Therefore −1 1 (29) Q(RπX,∗Gm[−1], RΓ(X, OX )) = Q(RπS,∗ PicX/S[−1], RΓ(S, R π∗OX )).

For a closed point v ∈ S, let ιv : Spec k(v) ֒→ S be the inclusion. For any i ∈ Gv, let k(v)i be the algebraic closure of k(v) in the function field of Γi. Let ιv,i : Spec k(v)i → S be the natural morphism. Set

ιv,i,∗Z E = i∈Gv . ιv,∗Z v∈Z L M Let j : Spec F ֒→ S be the inclusion. Then we have a natural exact sequence

0 → E → PicX/S → j∗ PicX0/F → 0 over Set by [Gro68, Equations (4.10 bis) and (4.21)] (where the assumption [Gro68, Equation (4.13)] is satisfied since k(v) is finite and hence perfect for all closed v ∈ S). Therefore we have a distinguished triangle

RπS,∗E → RπS,∗ PicX/S → RπS,∗j∗ PicX0/F → RπS,∗E[1].

Since E is skyscraper, we have Q(RπS,∗E, 0) = 1 by [GS20b, Theorem 3.1] (Step 3 of the proof is sufficient). Therefore 1 1 (30) Q(RπS,∗ PicX/S [−1], RΓ(S, R π∗OX )) = Q(RπS,∗j∗ PicX0/F [−1], RΓ(S, R π∗OX )).

Applying j∗ to the exact sequence

0 → J → PicX0/F → Z → 0 over Spec Fet, we obtain an exact sequence

0 → J → j∗ PicX0/F → Z over Set. Let I be the image of the last morphism, so that we have an exact sequence

0 → J → j∗ PicX0/F → I → 0. Then we have distinguished triangles

RπS,∗J → RπS,∗j∗ PicX0/F → RπS,∗I → RπS,∗J [1],

RπS,∗I → RπS,∗Z → RπS,∗(Z/I) → RπS,∗I[1].

We have Q(RπS,∗Z, 0) = 1 again by the class number formula ([Gei04, Theorems 9.1 and 9.2] or [Lic05, Theorem 7.4]). Since Z/I is skyscraper with finite stalks, we have Q(RπS,∗(Z/I), 0)=1 by [GS20b, Theorem 3.1] (Step 2 of the proof is sufficient). Therefore 1 1 (31) Q(RπS,∗j∗ PicX0/F [−1], RΓ(S, R π∗OX )) = Q(RπS,∗J [−1], RΓ(S, R π∗OX )). 1 The complexes RΓ(S, R π∗OX ) and RΓ(S, Lie J ) have the same Euler characteristic by (15). Hence 1 (32) Q(RπS,∗J [−1], RΓ(S, R π∗OX )) = Q(RπS,∗J [−1], RΓ(S, Lie J )). Combining (29)–(32), we get the desired equality.  4.4. A new proof of Geisser’s formula. The above proposition, combined with the results of the previous sections, also gives a new proof of Theorem 14 as follows. Proof of Theorem 14. By Proposition 17, we have P ⋄(X, 1) L⋄(J, 1) 2 = . [Br(X)] . ∆(NS(X)) . q−α(X) [X(J/F )] . ∆(J(F )) .c(J) . qχ(S,Lie J ) By (21), we have ⋄ ⋄ − dim B 2 ⋄ P2 (X, 1) = L (J, 1) . q . [B(k)] .Q2(1), ⋄ −s where Q2(1) is the leading coefficient of the (1 − q )-adic expansion of Q2(s + 1). By(25)and (28), we have 2 2 α δ 2 ⋄ ∆(NS(X)) = ′ · ∆(J(F )) · c(J) · [B(k)] · Q2(1). v∈Z δvδv 11 Q By (14), we have q−α(X) = qχ(S,Lie J ) . q− dim B. Taking a suitable alternating product of these four equalities, we obtain (26).  Acknowledgements. This paper would not exist without the inspiration provided by [FS21, Gor79, LLR18, Gei20, Yun15] in terms of both mathematical ideas and clear exposition. We thank Professors Liu, Lorenzini and K. Sato for their valuable comments on an earlier draft.

REFERENCES [BL99] Siegfried Bosch and Qing Liu. Rational points of the group of components of a Néron model. Manuscripta Math., 98(3):275–293, 1999. [Blo87] Spencer Bloch. de Rham cohomology and conductors of curves. Duke Math. J., 54(2):295–308, 1987. [Del80] Pierre Deligne. La conjecture de Weil. II. Inst. Hautes Études Sci. Publ. Math., (52):137–252, 1980. [FS21] Matthias Flach and Daniel Siebel. Special values of the zeta function of an arithmetic surface. Journal of the Institute of Mathematics of Jussieu, pages 1–49, 2021. [GA03] Cristian D. Gonzalez-Aviles. Brauer groups and Tate-Shafarevich groups. J. Math. Sci. Univ. Tokyo, 10(2):391–419, 2003. [Gei04] Thomas H. Geisser. Weil-étale cohomology over finite fields. Math. Ann., 330(4):665–692, 2004. [Gei18] Thomas H. Geisser. Duality of integral étale motivic cohomology. In K-Theory—Proceedings of the International Colloquium, Mumbai, 2016, pages 195–209. Hindustan Book Agency, New Delhi, 2018. [Gei20] Thomas H. Geisser. Comparing the Brauer group to the Tate-Shafarevich group. J. Inst. Math. Jussieu, 19(3):965–970, 2020. [Gor79] W. J. Gordon. Linking the conjectures of Artin-Tate and Birch-Swinnerton-Dyer. Compositio Math., 38(2):163–199, 1979. [Gro68] . Le groupe de Brauer. III. Exemples et compléments. In Dix exposés sur la cohomologie des schémas, volume 3 of Adv. Stud. Pure Math., pages 88–188. North-Holland, Amsterdam, 1968. [GS20] Thomas H. Geisser and Takashi Suzuki. A Weil-étale version of the Birch and Swinnerton-Dyer formula over function fields. J. Number Theory, 208:367–389, 2020. [GS20b] Thomas H. Geisser and Takashi Suzuki. Special values of L-functions of one-motives over function fields. Preprint: arXiv:2009.14504v2, 2020. [Kah09] Bruno Kahn. Démonstration géométrique du théorème de Lang-Néron et formules de Shioda-Tate. In Motives and algebraic cycles, volume 56 of Fields Inst. Commun., pages 149–155. Amer. Math. Soc., Providence, RI, 2009. [KT03] Kazuya Kato and Fabien Trihan. On the conjectures of Birch and Swinnerton-Dyer in characteristic p> 0. Invent. Math., 153(3):537–592, 2003. [Lic83] S. Lichtenbaum. Zeta functions of varieties over finite fields at s = 1. In Arithmetic and geometry, Vol. I, volume 35 of Progr. Math., pages 173–194. Birkhäuser Boston, Boston, MA, 1983. [Lic05] Stephen Lichtenbaum. The Weil-étale topology on schemes over finite fields. Compos. Math., 141(3):689–702, 2005. [Liu02] Qing Liu. Algebraic geometry and arithmetic curves, volume 6 of Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, 2002. Translated from the French by Reinie Erné, Oxford Science Publications. [LLR04] Qing Liu, Dino Lorenzini, and Michel Raynaud. Néron models, Lie algebras, and reduction of curves of genus one. Invent. Math., 157(3):455–518, 2004. [LLR05] Qing Liu, Dino Lorenzini, and Michel Raynaud. On the Brauer group of a surface. Invent. Math., 159(3):673–676, 2005. [LLR18] Qing Liu, Dino Lorenzini, and Michel Raynaud. Corrigendum to Néron models, Lie algebras, and reduction of curves of genus one and The Brauer group of a surface [ MR2092767; MR2125738]. Invent. Math., 214(1):593–604, 2018. [Mil72] J. S. Milne. On the arithmetic of abelian varieties. Invent. Math., 17:177–190, 1972. [Mil75] J. S. Milne. On a conjecture of Artin and Tate. Ann. of Math. (2), 102(3):517–533, 1975. [Mil81] J. S. Milne. Comparison of the Brauer group with the Tate-Šafarevicˇ group. J. Fac. Sci. Univ. Tokyo Sect. IA Math., 28(3):735–743 (1982), 1981. [Mil88] J. S. Milne. Motivic cohomology and values of zeta functions. Compositio Math., 68(1):59–100, 101–102, 1988. [Sch82] Peter Schneider. Zur Vermutung von Birch und Swinnerton-Dyer über globalen Funktionenkörpern. Math. Ann., 260(4):495–510, 1982. [Ser70] Jean-Pierre Serre. Facteurs locaux des fonctions zêta des variétés algébriques (définitions et conjectures). Séminaire Delange-Pisot-Poitou. Théorie des nombres, 11(2), 1969-1970. talk:19. [Tat95] . On the conjectures of Birch and Swinnerton-Dyer and a geometric analog. In Séminaire Bourbaki, Vol. 9, pages Exp. No. 306, 415–440. Soc. Math. , Paris, 1995. [Ulm14] Douglas Ulmer. Curves and Jacobians over function fields. In Arithmetic geometry over global function fields, Adv. Courses Math. CRM Barcelona, pages 283–337. Birkhäuser/Springer, Basel, 2014. [Yun15] Zhiwei Yun. The equivalence of Artin-Tate and Birch-Swinnerton-Dyer conjectures. 2015. Seminar lecture notes, available at Seminar on BSD.

STEPHEN LICHTENBAUM,DEPARTMENT OF MATHEMATICS, BROWN UNIVERSITY,PROVIDENCE,RI 02912 Email address: [email protected] URL: https://www.math.brown.edu/faculty/lichtenbaum.html

NIRANJAN RAMACHANDRAN,DEPARTMENT OF MATHEMATICS,UNIVERSITYOF MARYLAND, COLLEGE PARK, MD 20742 USA. Email address: [email protected] URL: http://www2.math.umd.edu/~atma/ 12 TAKASHI SUZUKI,DEPARTMENT OF MATHEMATICS, CHUO UNIVERSITY,1-13-27 KASUGA, BUNKYO-KU,TOKYO 112-8551, JAPAN Email address: [email protected]

13