Arxiv:Math/0508078V1 [Math.NT] 3 Aug 2005 H Aosgopgal( Group Galois the Endwe Hr Sawi Ru,Ta S Ntecmaaieynarr Comparatively the in Is, That Theory

Home , Class formation, Weil group

arXiv:math/0508078v1 [math.NT] 3 Aug 2005 h aosgopGal( group Galois the endwe hr saWi ru,ta s ntecmaaieynarr comparatively the in is, that theory. group, t Weil field is a class theory is Weil-étale cohomology there the in when products of defined Euler drawback genuine main be The to appear theory. functions zeta the of values o n nt aosextension Galois finite any For akn 1]frasre.I h etn fgnrlzdcasfil th field field class a generalized given of are setting we g the ourselves, and In place local will survey. of we a scope for classical the [15] beyond Raskind fields of extensions abelian ooooycasi h aoia eeao of generator canonical the is class cohomology ihamlilcto a enduiga2cccerpeetn h fun the representing format 2-cocycle the a and using group Galois defined the class. law of multiplication product” a “twisted with a is group Weil nomto.Wi-eaechmlg rusaeepce ob finit be to expected in capture are over to groups appears Weil-étale cohomology that fields information. global gr Weil for the theory used cohomology has new [11] Lichtenbaum recently, most [19]; Tate see ope of complex hsnt st hwta ie ye-ls omto,oecncon sense. can classical one the formation, in hyper-class extension, a Galois given finite that any for show group to is note this H sn h lsia olo ieso-hfig eoti surprising a obtain a we exists dimension-shifting, of there tool classical the Using nrdcdb oa[] n rv oerslsaotteTt coh Tate the about results some prove and [7], Koya by introduced e rpsto .4 hsrsl a eue ooti e ro of see proof easily new also a obtain we to 1.15); used (Theorem be complexes can for result Theorem This Nakayama 1.14. Proposition see b q Date nte18’,Boh ao at,adPrhnotie aynwre new many obtained Parshin and Saito, Kato, Bloch, 1980’s, the In lsial,aWi ru sascae oafield a to associated is group Weil a Classically, h elgopo oa rgoa edapasi ait farithme of variety a in appears field global or local a of group Weil The nti xoiin efis eiwteter fhprcasforma hyper-class of theory the review first we exposition, this In ( ,A G, Z H ELGOPO YE-LS FORMATION HYPER-CLASS A OF GROUP WEIL THE n contain and , etme 2 2018. 22, September : Abstract. hsppr epoeta ru xeso fGal( of extension group a that prove we paper, this ihahprcasformation hyper-class a with ooooycasin class cohomology facasfrain Letting formation. class a of lsia xoso elgroup. c Weil hyper-fundamental a of the axioms is classical class cohomology corresponding • .Here, ). G K G mdlsta ly h oeo ls omto.Teproeof purpose The formation. class a of role the plays that -modules -module G ntestigo eeaie ls edter,oehsafiel a has one theory, field class generalized of setting the In more safiiegop and group, finite a is L/K A H nomto hnter´tl oneprs lo special Also, étale counterparts. their than information uhta o n subgroup any for that such ytefrainmodule formation the by ) 2 (Gal( H b q AE ACQUISTA KAREN ( C C L/K ,A H, L/K ( • L ope of complex a , denote ) ) • ti osrce sagopetninof extension group a as constructed is it , C , ) ≃ 1 ( L ) h ye-udmna ls.In class. hyper-fundamental the )), H H b A K q 0 • ( ( G ,A H, sbuddcmlxof complex bounded is ihahprcasformation hyper-class a with G H L K C , 2 mdlsta ly h role the plays that -modules (Gal( ) • , K ,teei distinguished a is there ), L/K H C ihacasformation class a with L/K G ⊆ L by ) hs corresponding whose , asstse the satisfies lass G ) C , n any and C u ocntuta construct to oup G ( erlarithmetic tegral L L hscohomology this mlg groups omology whose ) oa ed,see fields, lobal .Ta s the is, That ). eea result: general oyi which in eory l generated ely tutaWeil a struct a ti only is it hat wstigof setting ow in swas as tions d o module, ion G i settings, tic ut about sults q si the in as , K -modules. h Tate- the damental ∈ Z C , • a , C . 2 KAREN ACQUISTA classical setting, that a hyper-class formation gives rise to a description of the abelianized Galois group. Next, we include a treatment of the axiomatic construction of the Weil group of a class formation, along the lines of Chapter 14 of Artin-Tate [2]. Then, we construct a Weil group associated to a field K with a hyper-class formation C•. Letting C(L) 0 • 2 denote H (GL, C ), there is a distinguished element of H (Gal(L/K), C(L)), the image of the fundamental class, see Definition 2.4. In Theorem 2.9, we prove that a group extension of Gal(L/K) by C(L) corresponding to this distinguished class is a Weil group for L/K; dimension-shifting for complexes plays a key role in the proof. As in the classical setting, the “Artin map” coming from the hyper-class formation can be recovered by abelianizing the Weil group. Lastly, we discuss some examples of hyper-class formations, and their associated Weil groups. The first new example is associated to a 2-local field, a complete discrete valuation field with residue field a local field. Koya [7] showed that Licht- enbaum’s weight two motivic complex is a hyper-class formation. We explain the relationship between a Weil group for a 2-local field and a Weil group for its residue field. We have similar results for the Weil group associated to an unramified extension of a complete discrete valuation field with residue field a global field. The best description of the Weil group of a local or global field can only be obtained after passing over a limit of all finite extensions. Conditions are given in Chapter 14 of Artin-Tate [2] ensuring the existence of a compatible system of Weil groups associated to a topological class formation. Unfortunately, these nontrivial topological considerations prevent us from giving such a construction for our new examples of Weil groups. If K is a 2-local field, there does not appear to be a natural way to make K2(K) into a locally compact topological group, see Fesenko [3] for one approach. For the purposes of arithmetic applications, it will be crucial to find a way to pass to the limit. Notations: In this exposition, we place ourselves in the derived category when- ever it is appropriate. This gives rise to minor differences in the statements of certain Definitions and Theorems, compared to Koya [7]. Let G be a group. The derived category of G-modules is the category of complexes of G-modules, up to quasi-isomorphism. If A•, then the homology of A•, denoted Hq(A•), is an invariant of the class of A• in the derived category. Given an element A• of the derived category of G-modules, we say that A• is bounded below if Hq(A•) vanishes for q small enough. Let A• be a bounded below element of the derived category of G-modules. An injective resolution is a complex I• of injective G-modules that represents A•. Given any bounded below complex A•, one can find a complex I• of injectives and a quasi-isomorphism A• −→ I•; this will also be called an injective resolution. Injective resolutions are used to compute right derived functors. The truncation functor, denoted τ≤n , is compatible with quasi-isomorphisms. That is, truncation is well-defined in the derived category. The functor of taking G-invariants will be denoted Γ(G, −); its derived functor will be denoted RΓ(G, −). It has the property that:

Hq(RΓ(G, A•)) = Hq(G, A•), for all q ∈ Z. These notations are compatible with Weibel, see [20] for details. THE WEIL GROUP OF A HYPER-CLASS FORMATION 3

1. Hyper-class formations

Let K be a field, and GK its absolute Galois group. The following definition was introduced by Koya [7]: • Definition 1.1. Let C be a bounded below element in the derived category of GK - modules, acyclic in positive degrees. Suppose that for every finite Galois extension 2 • • L/K, there is an isomorphism invL : H (GL, C ) → Q/Z. We say that (C , {invL}) is a hyper-class formation for K if the following axioms are satisfied: 1 • (1) For every open subgroup GL of GK , H (GL, C ) = 0. ′ (2) For every pair of open subgroups GL ⊂ GK′ of GK , with m = [L : K ], the following diagram commutes:

2 • Res 2 • H (GK′ , C ) −−−−→ H (GL, C )

invK′  invL  ·  Qy/Z −−−−→m Qy/Z. Example 1.2. Any class formation gives rise to a hyper-class formation, by con- sidering the formation module as a complex concentrated in degree zero. There are three main examples of fields with class formations from the classical theory: local fields, global fields, and finite fields. For a local field, the multiplicative group of the separable closure is a class formation; for a global field, the idele class group is a class formation; and, for a finite field, the trivial Galois module Z is a class formation. Example 1.3. In [7], Koya gave the first new example of hyper-class formation that is a genuine complex. Let K be a 2-local field, that is, a complete discrete valuation field with residue field a local field. Then Lichtenbaum’s weight two motivic complex Zet´ (2,K) is a hyper-class formation for K. This complex was first constructed by Lichtenbaum in [10]; it is a two-term complex of GK -modules, concentrated in degrees −1 and 0. Its homology is K2(Ksep) in degree 0, and ind K3 (Ksep) in degree −1. The weight two motivic complex fits into a conjectural framework, see Lichten- baum [9]; in this setting, the weight one motivic complex Zet´ (1,K) is the multiplicative group of the separable closure, and Zet´ (0,K) is the trivial Galois module Z, both considered as complexes concentrated in degree zero. So, one should think of the hyper-class formation for a 2-local field as the natural extension of the class field theory for local and finite fields. Example 1.4. More generally, if K is an n-local field, that is, a complete discrete valuation field with residue field an (n − 1)-local field, then the weight n motivic complex is a hyper-class formation for K, see Saito [16] and Spiess [18].

If C is a class formation, then CGL is a class module for Gal(L/K), in the sense of Neukirch-Schmidt-Wingberg [14]. For complexes, we have the following analogous notion: Deﬁnition 1.5. Let G be a ﬁnite group. A class complex for G is a bounded below element in the derived category of G-modules A• such that for all subgroups H ⊆ G, H1(H, A•) = 0 and H2(H, A•) is cyclic, of order |H|, generated by the restriction of a distinguished generator of H2(G, A•). 4 KAREN ACQUISTA

Remark 1.6. If C• is a hyper-class formation for K, and L/K is any finite ex- • tension, then τ≤0 RΓ(GL, C ) is a class complex for Gal(L/K). The proof, as in the corresponding classical statement, follows directly from the axioms using the inflation-restriction sequence of Galois cohomology. 2 • We will denote the canonical generator of H (Gal(L/K), τ≤0 RΓ(GL, C )) by αL/K, and refer to it as the fundamental class. They satisfy the same compatibility conditions as their classical counterparts, see Serre [17]. Remark 1.7. This operation for complexes is the analogue of taking Galois invari- • • ants: if C is concentrated in degree zero, then τ≤0 RΓ(GL, C ) is also a complex concentrated in degree zero, whose entry in degree zero is the GL-invariants of the entry in degree zero of C•. Remark 1.8. This is closely related to Beilinson’s motivic complexes over the Zariski site. Let K be a field, and L/K a Galois extension. Beilinson’s weight two motivic complex ZB (2,L) is a two-term complex of Gal(L/K)-modules con- ind centrated in degrees −1 and 0. Its homology is K2(L) in degree 0, and K3 (L) in degree −1. As noted by Lichtenbaum [9], the weight two Zariski motivic complex can be realized as the “Galois invariants” of the weight two étale motivic complex:

ZB(2,L)= τ≤0 RΓ(GL, Zet´ (2,K)). Example 1.9. Let K be a complete discrete valuation field with residue field a global field, and let L/K be a finite Galois extension. There is a form of class field theory for K: one can form an “idele complex” using a lifting construction of Kato [6] and the weight two Zariski motivic complex. This element of the derived category of Gal(L/K-modules satisfies Galois descent, in the sense that • • τ≤0 RΓ(Gal(L/K), I(L) ) is quasi-isomorphic to I(K) . If L/K is unramified, then • the mapping cone of ZB(2,L) −→ I(L) is a formation complex for L/K, see [1]. Remark 1.10. Classically, the Tate cohomology groups are at the heart of the cohomological interpretation of class field theory. We will see that a hyper-class formation gives rise to an Artin map using Tate cohomology of complexes.

When G is a finite group, we use the standard two-sided resolution P• of Z as a G-module to define Tate cohomology groups, see Neukirch-Schmidt-Wingberg [14]. The following definition was made by Koya [7]: Definition 1.11. Let G be a finite group, A• a bounded complex of G-modules, and P• the standard two-sided resolution of Z as a G-module. The Tate cohomology group Hq(G, A•) for q ∈ Z is defined to be the qth total homology of the double complex:b • HomG(P•, A ). Remark 1.12. The assumption that A• is a bounded complex, that is, that A• has only finitely many non-zero entries, is necessary for the convergence of the spectral sequence associated to the double complex. If A• is a complex that is zero in degree larger than n, then Hq(G, A•) ≃ Hq RΓ(G, A•) = Hq(G, A•) for all q>n. Furthermore,b we have that Hn(G, A•)= Hn RΓ(G, A•) /NHn A• , see Theorem 1.2 of Koyab [7]. THE WEIL GROUP OF A HYPER-CLASS FORMATION 5

Remark 1.13. Let A be a G-module, and consider A as a complex concentrated in degree zero. Let A[1] denote the shift of this complex down by one; then Hq(G, A[1]) = Hq+1(G, A). Dimension-shifting implies thatb we can produceb a G-module A′ such that Hq(G, A′) ≃ Hq(G, A[1]). We can construct such a modulesb by imbeddingb A in an injective module I and letting A′ be the cokernel. In the language of complexes, we have that A[1] is quasi-isomorphic to I → A′, considered as a complex concentrated in degrees −1 and 0. We can compute the total homology of the corresponding double complex by first taking vertical differentials. But I is injective, so Hq(G, I)=0for all q ∈ Z. Therefore, the spectral sequence degenerates after one stebp, giving that Hq(G, A[1]) ≃ Hq(G, I → A′) ≃ Hq(G, A′). b b b For complexes in general, we have the following result: Proposition 1.14 (Dimension-shifting for complexes). Let G be a finite group and A• a bounded complex of G-modules. Then there exists a G-module A′ such that for any subgroup H of G, • ′ Hq(H, A ) ≃ Hq(H, A ) for all q ∈ Z. b b Proof. Choose an injective resolution A• → I•. Since A• is bounded, we can choose I• to be bounded below. Suppose that A• is zero above degree n, so that • • the truncated complex τ≤n I is quasi-isomorphic to A . For any subgroup H of G, we have: q • q • H (H, A ) ≃ H (H, τ≤n I ). •b b On the other hand, τ≤n I is a complex whose terms are all injective, except the th q • th n term, call it A. By definition, H (H, τ≤n I ) is the q total homology of the • double complex HomH (P•, τ≤n I ).b Taking vertical differentials, we see that the spectral sequence computing the homology collapses after one step. Therefore, we have that q • q • q+n H (H, A ) ≃ H (H, τ≤n I ) ≃ H (H, A). Then we can use standardb dimension-shiftingb techniquesb for modules to find A′ as in the Proposition. In a certain sense, this explains why one can construct a Weil group associated to a hyper-class formation: at every finite level, we have a class module at our disposal, see Remark 2.6. One can also use dimension-shifting to reduce the following to the classical Tate- Nakayama Theorem: Theorem 1.15 (Tate-Nakayama for complexes). Let G be a finite group, and A• ⊗ B• → C• be a G-pairing of bounded complexes of G-modules, and let α be an element of p • H (G, A ). Then for all subgroups H ⊆ G, cupping with ResH (α) induces a homomorphism q • p+q • c(α)q,H : H (H,B ) → H (H, C ) b b 6 KAREN ACQUISTA for all q ∈ Z. Suppose that for some q0 ∈ Z and every Sylow subgroup H ⊂ G, c(α)q0−1,H is surjective, c(α)q0 ,H is bijective, and c(α)q0 +1,H is injective. Then c(α)q,H is an isomorphism for all q ∈ Z and all H ⊆ G. Corollary 1.16. [8, Thm. 6] Let L/K be a finite Galois extension, and A• a class complex for Gal(L/K), with α the distinguished generator of H2(Gal(L/K), A•). Then q q+2 • · ∪ ResE(α): H (Gal(L/E), Z) −→ H (Gal(L/E), A ) is an isomorphism for all qb∈ Z and all intermediateb fields E. As in the classical setting, Corollary 1.16 allows one to construct an Artin map associated to the hyper-class formation, as the inverse of a cup product on Tate cohomology. More precisely, if αL/K is the fundamental class, we have an isomorphism: −2 0 • · ∪ αL/K : H (Gal(L/K), Z) −→ H (Gal(L/K), τ≤0 RΓ(GL, C )). The inverse to thisb cup product isomorphismb gives rise to an “Artin map” in the limit: ab C(K) −→ GK , 0 • where C(K) denotes H (GK , C ). Example 1.17. Let K be a 2-local field, then the weight two motivic complex Zet´ (2,K) is a hyper-class formation, see Remark 1.3. In this case, the Artin map ab provides a map between GK and 0 0 0 H (GK , Zet´ (2,K)) = H (RΓ(GK , Zet´ (2,K))) = H (ZB(2,K)), where ZB (2,K) is the Zariski version of the weight two motivic complex. The last equality holds because ZB (2,K) can be realized as τ≤0 RΓ(GK , Zet´ (2,K)), see Remark 1.8. 0 But, we have that H (ZB (2,K)) = K2(K), so that if K is a 2-local field, then there is an Artin map: ab K2(K) −→ GK , In fact, if F is the residue field of K, then we have a commutative square: ab K2(K) −−−−→ GK

    y× yab F −−−−→ GF , where the horizontal maps are Artin maps, and the ﬁrst vertical map is the tame symbol, see Milnor [12]. This diagram commutes because the fundamental classes for K are compatible with the fundamental classes for the residue ﬁeld F under a boundary map that exists on the level of motivic complexes.

2. Weil groups In this Section, we first review the classical axiomatic construction of the Weil group associated to a field with a class formation. Then, we show how one can also associate a Weil group to a field with a hyper-class formation. The primary object of study in this Section will be group extensions. If G is a finite group, and A is a G-module, then an extension of G by A is an exact sequence: 1 → A −→ U −→ G → 1. THE WEIL GROUP OF A HYPER-CLASS FORMATION 7

It is well-known that extensions of G by A up to equivalence are in one-to-one correspondence with classes in H2(G, A), see § VII.3 of Serre [17]. Let K be a ﬁeld, and C a class formation for K. Let L/K be a ﬁnite Galois GL extension, and let C(L) denote C . Let αL/K be the fundamental class, the canonical generator of H2(Gal(L/K), C(L)).

Definition 2.1. A Weil group (Weil(L/K), g, {fe}) for L/K consists of: (1) A group Weil(L/K), referred to as the Weil group; (2) A homomorphism g of Weil(L/K) onto Gal(L/K); (3) And, for each intermediate field E, an isomorphism c fE : C(E) ≈ Weil(L/E)/Weil(L/E) , where Weil(L/E) is defined to be g−1(Gal(L/E)); such that, (1) For each intermediate extension E′/E, the following diagram commutes: f C(E) −−−−→E Weil(L/E)/Weil(L/E)c

incl. V   y f ′ y C(E′) −−−−→E Weil(L/E′)/Weil(L/E′)c, where V is a transfer map; (2) For every w ∈ Weil(L/K), with σ = g(w) ∈ Gal(L/K), we have that Weil(L/E)w is Weil(L/Eσ) for every intermediate ﬁeld E; and the following diagram commutes: f C(E) −−−−→E Weil(L/E)/Weil(L/E)c

σ w   y fEσ y C(Eσ) −−−−→ Weil(L/Eσ)/Weil(L/Eσ)c, where the second vertical map denotes conjugation by w; (3) For any group G with a subgroup H of ﬁnite index, there is a natural group extension, called the factor subgroup extension, given by: 1 → H/Hc → G/Hc → G/H → 1; for every intermediate Galois extension E′/E, we have that Weil(L/E′) is a subgroup of ﬁnite index in Weil(L/E), with Weil(L/E)/Weil(L/E′) isomorphic to Gal(E′/E) via g; then the factor subgroup extension: 1 → C(E′) → Weil(L/E)/Weil(L/E′)c → Gal(E′/E) → 1.

corresponds to the fundamental class αE′/E; (4) And, Weil(L/L) is abelian. Remark 2.2. Applying the axioms, we see that Weil(L/K) is an extension of Gal(L/K) by C(L), corresponding to the fundamental class αL/K. In fact, any extension g 1 −→ C(L) −−−−→ Weil(L/K) −−−−→ Gal(L/K) −→ 1 corresponding to αL/K gives rise to a candidate for a Weil group. So, one should think of the Weil group as another manifestation of the fundamental class. 8 KAREN ACQUISTA

For any intermediate ﬁeld E, we have the subextension − Weil(L/E)= g 1(Gal(L/E))

This group extension has corresponding cohomology class Res(αL/K )= αL/E. Furthermore, for every intermediate field E, we have that the transfer map V : Weil(L/E)/Weil(L/E)c −→ C(L) induces an isomorphism of Weil(L/E)/Weil(L/E)c with C(L)Gal(L/E) = C(E), see Chapter 12 of Artin-Tate [2]. A transfer map exists for any group G with a subgroup H of finite index; it is a map V : G/Gc −→ H/Hc that behaves like a norm map. Theorem 2.3. [2, Ch. 14, Thm. 1] Let K be a field with a class formation C, and L/K a finite Galois extension. There exists a Weil group (Weil(L/K), g, {fE}). Proof. As in Remark 2.2, we choose an extension g 1 −→ C(L) −−−−→ Weil(L/K) −−−−→ Gal(L/K) −→ 1, whose corresponding cohomology class is the fundamental class αL/K. Then we have isomorphisms c fE : C(E) ≈ Weil(L/E)/Weil(L/E) , given as the inverses of the appropriate transfer maps. Let E′/E be an intermediate extension. The first axiom follows from the commutative diagram:

C(E) ←−−−−V Weil(L/E)/Weil(L/E)c

incl. V   y ′ V ′ y ′ C(E ) ←−−−− Weil(L/E )/Weil(L/E )c. Let w ∈ Weil(L/K), and put σ = g(w). Let E be an intermediate ﬁeld. The second axiom follows from the commutative diagram:

C(E) ←−−−−V Weil(L/E)/Weil(L/E)c

σ w   y V y C(Eσ) ←−−−− Weil(L/Eσ)/Weil(L/Eσ)c. The third property follows from an analysis of factor subgroup extensions. Let α ∈ H2(Gal(E′/E), C(E′)) be the class corresponding to the extension: ′ ′ ′ 1 → C(E ) → Weil(L/E)/Weil(L/E )c → Gal(E /E) → 1. Then by Theorem 6 of Chapter 13 in Artin-Tate [2], we have that ′ Inﬂ(α)= |E : E| · αL/E.

This is enough to imply that α is the fundamental class αE′/E. Finally, the fourth property to is trivial to verify; by construction, Weil(L/L) is g−1(1), which is C(L). THE WEIL GROUP OF A HYPER-CLASS FORMATION 9

Next, we present a construction of a Weil group associated to a ﬁeld K with a hyper-class formation C•. Let L/K be a ﬁnite Galois extension, and let C(L)• • • denote τ≤0 RΓ(GL, C ). Recall that C(L) is a class complex for L/K; the funda- 2 • mental class αL/K is the canonical generator of H (Gal(L/K), C(L) ). We have the standard spectral sequence: p,q q p • p+q • E2 = H (Gal(L/K), H (C(L) )) =⇒ H (Gal(L/K), C(L) ). 0 • 0 • Let C(L) denote H (C(L) )= H (GL, C ); there is an edge morphism: • H2(Gal(L/K), C(L) ) −→ H2(Gal(L/K), C(L)), see Weibel [20].

Definition 2.4. The hyper-fundamental class βL/K is defined to be the image 2 of the fundamental class αL/K in H (Gal(L/K), C(L)) under the edge morphism coming from the standard spectral sequence. We proceed as before, and make the following construction: Definition 2.5. Let Weil(L/K) be a group extension g 1 −→ C(L) −−−−→ Weil(L/K) −−−−→ Gal(L/K) −→ 1 whose corresponding cohomology class is the hyper-fundamental class βL/K . Remark 2.6. Using dimension-shifting (Proposition 1.14), we have a Gal(L/K)- module A(L) such that • Hq(Gal(L/E), C(L) ) ≃ Hq(Gal(L/E), A(L)) for all q ∈ Z andb all intermediate fields E.b We recall the construction of A(L): choose an injective resolution C(L)• → I(L)• and let A(L) be the entry in degree • zero of τ≤0 I . Note that C(L) is naturally identified with the cokernel of the map −1 I(L) → A(L), and we can obtain the hyper-fundamental class βL/K as in the image of αL/K under the induced map H2(Gal(L/K), A(L)) → H2(Gal(L/K), C(L)). Lemma 2.7. Let L/K be a finite Galois extension, E an intermediate field, and Weil(L/K) a group extension corresponding to the hyper-fundamental class βL/K . Then the subgroup extension g−1(Gal(L/E)) has corresponding cohomology class βL/E. Proof. There is a map of group extensions: g 0 −→ C(L) −−−−→ g−1(Gal(L/E)) −−−−→ Gal(L/E) −→ 1

|| incl. incl.   g 0 −→ C(L) −−−−→ Weil(yL/K) −−−−→ Gal(yL/K) −→ 1. From this, we can conclude that the cohomology class of the top extension is the restriction of the class of the bottom extension. But,

αL/E = Res(αL/K ), which implies that the cohomology class corresponding to the top extension is the image of αL/E. 10 KAREN ACQUISTA

The most basic property of a Weil group in the classical setting is that its abelian- ization is the module of the class formation. In this setting, we have the following: Proposition 2.8. Let L/K be a ﬁnite Galois extension, and E an intermediate ﬁeld. Then there is an isomorphism: c fE : C(E) ≈ Weil(L/E)/Weil(L/E) , 0 • where C(E)= H (GE, C ). Proof. We can use our injective resolution I(L)• to compute C(E)= H0(RΓ(Gal(L/E), C(L)•)). We see that: −1 Gal(L/E) Gal(L/E) C(E) = cokerh(I(L) ) → A(L) i.

Let U(L/E) be an extension of Gal(L/E) by A(L) corresponding to αL/E. Because A(L) is a class module for L/E, we have that the transfer map V : U(L/E)/U(L/E)c → A(L)Gal(L/E) is an isomorphism, see Theorem 4 of Chapter 12 in Artin-Tate [2]. Let eE be the inverse of this transfer map. We have a map of group extensions:

1 −→A(L) −−−−→ U(L/E) −−−−→h Gal(L/E) −→ 1

  ||   g 1 −→C(yL) −−−−→ Weil(yL/E) −−−−→ Gal(L/E)−→ 1, which induces a surjection: A(L)Gal(L/E) ≈ U(L/E)/U(L/E)c → Weil(L/E)/Weil(L/E)c. To prove the Proposition, we will show that the kernel of this map can be identiﬁed with (I(L)−1)Gal(L/E). By a simple diagram chase, we can identify the kernel with:

N Im I(L)−1 → A(L) = Im N I(L)−1 → A(L)Gal(L/E) h i −1 Gal(L/E) Gal(L/E) = Imh(I(L) ) → A(L) i,

−1 where the last equality follows because I(L) is injective. So, eE gives rise to the desired isomorphism c fE : C(E) ≈ Weil(L/E)/Weil(L/E) .

Theorem 2.9. The collection (Weil(L/K), g, {fE}) associated to a field K with a hyper-class formation C• satisfies the axioms for a Weil group. Proof. Verification of the axioms follows along the lines of Theorem 2.3. The first two axioms follow from naturality of the transfer map, the third follows from some compatibility between hyper-fundamental classes, and the last is trivial. THE WEIL GROUP OF A HYPER-CLASS FORMATION 11

Let E/E′ be an intermediate extension. The ﬁrst axiom follows from the commutative diagram:

A(L)Gal(L/E) ←−−−−V U(L/E)/U(L/E)c −→ Weil(L/E)/Weil(L/E)c

incl V V    y ′ V ′ y ′ ′ y A(L)Gal(L/E ) ←−−−− U(L/E )/U(L/E )c −→ Weil(L/E )/Weil(L/E)c. Let w ∈ Weil(L/K), and put σ = g(w). Let u ∈ U(L/K) be any lift of w, and let E be an intermediate ﬁeld. The second axioms follows from the commutative squares: A(L)Gal(L/E) ←−−−−V U(L/E)/U(L/E)c

σ u   y σ V y A(L)Gal(L/E ) ←−−−− U(L/Eσ)/U(L/Eσ), and U(L/E)/U(L/E)c −−−−→ Weil(L/E)/Weil(L/E)c

u w   U(L/Eσ)y/U(L/Eσ) −−−−→ Weil(L/Eσ)/yWeil(L/Eσ)c. The third axiom is perhaps the most interesting, because implies that a Weil group for L/K gives rise to a Weil group for any intermediate extension E′/E. It can be thought of as a “compatibility condition” for the hyper-fundamental classes. However, in general there is no natural map between H2(Gal(E′/E), C(E)) and H2(Gal(L/E), C(L)). Let β denote the cohomology class of the factor subgroup extension: 1 → C(E′) → Weil(L/E)/Weil(L/E′)c → Gal(E′/E) → 1 We have a map of group extensions:

′ 1 → A(L)Gal(L/E ) −→ U(L/E)/U(L/E′)c −→ Gal(E′/E) → 1

  ||   1 → C(yE′) −→ Weil(L/E)/yWeil(L/E′)c −→ Gal(E′/E) → 1. Let α denote the cohomology class of the top extension. By generalities on factor subgroup extensions, we have that ′ Inﬂ(α) = [L : E ] · αL/E. On the other hand, we have a commutative diagram:

H2(Gal(E′/E), C(E′)•) −−−−→Inﬂ H2(Gal(L/E), C(L)•)

x x   ′  ′ inﬂ  H2(Gal(E /E), A(L)Gal(L/E )) −−−−→ H2(Gal(L/E), A(L)), where the vertical maps are induced by the natural map • A(L) −→ C(L) . 12 KAREN ACQUISTA

Now, the axioms for a hyper-class formation imply that the top inflation map is multiplication by [L : E′]. That is, the class α must be mapped to the fundamental 2 ′ ′ • class αE′/E ∈ H (Gal(E /E), C(E ) ). But the natural map ′ ′ ′ ′ H2(Gal(E /E), A(L)Gal(L/E )) → H2(Gal(E /E), C(E )) ′ coming from the surjection A(L)Gal(L/E ) → C(E′) factors as a composition: ′ H2(Gal(E′/E), A(L)Gal(L/E )) −→ H2(Gal(E′/E), C(E′)•) −→ H2(Gal(E′/E), C(E′)) where is second map is an edge morphism. This means precisely that β is the image of the fundamental class αE′/E; that is, that β is the hyper-fundamental class βE′/E. Finally, the fourth axiom is trivial by construction Weil(L/L)= g−1(1) = C(L) is abelian. Remark 2.10. Because the Weil group of a hyper-class formation satisfies the classical axioms, we can conclude that it is unique up to Weil isomorphism, see Chapter 14 of Artin-Tate [2]. In particular, our construction does not depend in an essential way on the choice of injective resolution. Remark 2.11. The most remarkable property of the Weil group is that it captures the Artin map in a natural way, see Theorem 5 of Chapter 14 in Artin-Tate [2]. If L/K is a finite Galois extension, then the Artin map for L/K is given by: f C(K)/NC(L) −−−−→K Weil(L/K)/(Weil(L/L) · Weil(L/K)c) ≈ Gal(L/K)ab. 3. Examples The purpose of this Section is to describe the Weil groups associated to the two examples of hyper-class formations, and their connection to the classical examples of Weil groups. Example 3.1. Let l/k be a finite Galois extension of finite fields. The Weil group Weil(l/k) is completely determined by the degree n = [l : k]. In this case, 1 1 Gal(l/k) ≃ n Z/Z, and Weil(l/k) is an extension of n Z/Z by Z. Because the Galois group is abelian, and it acts trivially on Z, it follows directly from the axioms that the Weil group for l/k is the extension: 1 1 0 −→ Z −→ Z −→ Z/Z −→ 0. n n Example 3.2. Let E/F be a finite Galois extension of local fields, with residue field extension l/k. Then Weil(E/F ) will be a group extension of Gal(E/F ) by E×. There is a map of group extensions: 1 −−−−→ E× −−−−→ Weil(E/F ) −−−−→ Gal(E/F ) −−−−→ 1

vE       0 −−−−→ yZ −−−−→ Weil(yl/k) −−−−→ Gal(yl/k) −−−−→ 1. For E/F unramified, this follows directly from the proof of local class field theory given in § XIII.3 of Serre [17]: the isomorphism v H2(Gal(E/F ), E×) −−−−→E ∗ H2(Gal(l/k), Z) THE WEIL GROUP OF A HYPER-CLASS FORMATION 13 is used to define the fundamental class αE/F . Using properties of group extensions, the fact that αE/F maps to αl/k under vE∗ is enough to imply the existence a map from Weil(E/F ) to Weil(l/k) making the diagram commute. If E/F is any finite Galois extension, we let E′ be the maximal unramified extension of F contained in E. Then there is a commutative diagram: 1 −−−−→ E′× −−−−→ Weil(E′/F ) −−−−→ Gal(E′/F ) −−−−→ 1

vE′   ||   0 −−−−→ Zy −−−−→ Weil(yl/k) −−−−→ Gal(l/k) −−−−→ 1. But, we can use the third axiom to relate Weil(E′/F ) with Weil(E/F ). More precisely, we can obtain Weil(E′/F ) from Weil(E/F ) as a factor subgroup extension. This amounts to a commutative diagram: 1 −−−−→ E× −−−−→ Weil(E/F ) −−−−→ Gal(E/F ) −−−−→ 0

NE/E′       1 −−−−→ Ey′× −−−−→ Weil(yE′/F ) −−−−→ Gal(Ey′/F ) −−−−→ 0. Then the original claim follows by putting together the diagrams, along with the well-known fact that vE = vE′ ◦ NE/E′ (see § II.2 of Serre [17]). Example 3.3. Let K be a 2-local field, that is, a complete discrete valuation field with residue field a local field, and let L/K be a finite Galois extension. Then the weight two Zariski motivic complex ZB(2,L) (see Remark 1.8) is a formation complex for L/K. So, the associated Weil group Weil(L/K) will be a group extension 0 of Gal(L/K) by H (ZB(2,L)) = K2(L). Let E/F be the residue field extension, and assume that this extension is separable. As before, there is a map of group extensions: 1 −−−−→ K2(L) −−−−→ Weil(L/K) −−−−→ Gal(L/K) −−−−→ 1

δL      1 −−−−→ Ey× −−−−→ Weil(yE/F ) −−−−→ Gal(yE/F ) −−−−→ 1, where δL denotes the tame symbol. This can be proven using the method of the previous example. The unramified case follows from the proof of class field theory for 2-local fields. The general case follows from the axioms, and the fact that if L/L′ is a totally ramified extension, then δL = δL′ ◦ NL/L′ , see Lemma 16 of § 1.7 in Kato [5]. Example 3.4. Let K be a complete discrete valuation field with residue field a global field, and let L/K be a finite unramified extension with residue field extension E/F . Then the “idele class complex” C(L)• is a formation complex for L/K, and the associated Weil group Weil(L/K) will be a group extension of Gal(L/K) by Kato’s K2-idele class group C2(L), see [6]. It follows directly from the computations in [1] that there is a map of group extensions: 1 −−−−→ C2(L) −−−−→ Weil(L/K) −−−−→ Gal(L/K) −−−−→ 1

δ ω ω   || Q   1 −−−−→ C(yE) −−−−→ Weil(yE/F ) −−−−→ Gal(E/F ) −−−−→ 1, 14 KAREN ACQUISTA where C(E) is the usual idele class group associated to a global ﬁeld E, and δω denotes the local tame symbol. References

[1] Karen Acquista, A hyper-class formation for unramified extensions of a complete discrete valuation field with global residue field (in preparation). [2] Emil Artin and John Tate, Class field theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR0223335 (36 #6383) [3] Ivan Fesenko, Topological Milnor K-groups of higher local fields, Invitation to Higher Local Fields (Münster, 1999), Geom. Topol. Monogr., vol. 3, Geom. Topol. Publ., Coventry, 2000, pp. 61–74 (electronic). MR1804920 (2001k:11247) [4] Kazuya Kato, A generalization of local class field theory by using K-groups. I , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 26 (1979), 303–376. MR550688 (81b:12016) [5] , A generalization of local class field theory by using K-groups. II , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 (1980), 603–683. MR603953 (83g:12020a) [6] , A generalization of local class field theory by using K-groups. III , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29 (1982), 31–43. MR657870 (83g:12020b) [7] Yoshihiro Koya, A generalization of class formation by using hypercohomology, Invent. Math. 101 (1990), 705–715. MR1062802 (91i:11168) [8] , A generalization of Tate-Nakayama theorem by using hypercohomology, Proc. Japan Acad. Ser. A Math. Sci. 69 (1993), 53–57. MR1222822 (94g:11101) [9] Stephen Lichtenbaum, Values of zeta-functions at nonnegative integers, Number Theory, Noordwijkerhout 1983 (Noordwijkerhout, 1983), Lecture Notes in Math., vol. 1068, Springer, Berlin, 1984, pp. 127–138. MR756089 [10] , The construction of weight-two arithmetic cohomology, Invent. Math. 88 (1987), 183–215. MR877012 (88d:14011) [11] , The Weil-étale topology (2003). [12] John Milnor, Introduction to algebraic K-theory, Princeton University Press, Princeton, N.J., 1971. MR0349811 (50 #2304) [13] Jürgen Neukirch, Class field theory, Grundlehren der Mathematischen Wissenschaften [Fun- damental Principles of Mathematical Sciences], vol. 280, Springer-Verlag, Berlin, 1986, ISBN 3-540-15251-2. MR819231 (87i:11005) [14] Jürgen Neukirch, Alexander Schmidt, and Kay Wingberg, Cohomology of number fields, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathemat- ical Sciences], vol. 323, Springer-Verlag, Berlin, 2000, ISBN 3-540-66671-0. MR1737196 (2000j:11168) [15] Wayne Raskind, Abelian class field theory of arithmetic schemes, K-Theory and Algebraic Geometry: Connections with Quadratic Forms and Division Algebras (Santa Barbara, CA, 1992), Proc. Sympos. Pure Math., vol. 58, Amer. Math. Soc., Providence, RI, 1995, pp. 85– 187. MR1327282 (96b:11089) [16] Shuji Saito, Some observations on motivic cohomology of arithmetic schemes, Invent. Math. 98 (1989), 371–404. MR1016270 (90k:11077) [17] Jean-Pierre Serre, Local fields, Graduate Texts in Mathematics, vol. 67, Springer-Verlag, New York, 1979, ISBN 0-387-90424-7. MR554237 (82e:12016) [18] Michael Spiess, Class formations and higher-dimensional local class field theory, J. Number Theory 62 (1997), 273–283. MR1432774 (98b:11120) [19] John Tate, Number theoretic background, Automorphic Forms, Representations and L- Functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 3–26. MR546607 (80m:12009) [20] Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994, ISBN 0-521-43500-5, 0-521-55987-1. MR1269324 (95f:18001) E-mail address: [email protected]

Boston University, Department of Mathematics and Statistics, Boston, MA