sign in sign up
<<
Home , Arithmetic topology

arXiv:1907.03901v4 [math.GT] 10 Aug 2021 ihvle ntectgr fagbacnme fields algebraic of category the in values with (knots ed a lbrtdb Cra 97 [ 1947] [Cartan by elaborated was fields O od n h ed fagbacnmes[oiht 02 [ 2012] M [Morishita algebraic of fields the and folds hoe .] ealta h field group the the that Recall have 1.2]. we Theorem hand, other the On 2.1. Section and M map a exists there Namely, Gauss. F. C. to h details. the lers erfrto refer We algebras. K opsto fmaps: of composition a group Remark 96 [ 1996] tdb h iemrhssof diffeomorphisms the by ated rfiiecmlto of completion profinite oanme field number a to iet mohbace cover branched smooth a to rise h xtcsotig of smoothings exotic the K ihnncmuaiemlilcto,eg h utrin rtecyc the or quaternions the e.g. multiplication, non-commutative with h rtmtctplg tde nitrlybtente3-dimensio the between interplay an studies The oitouetemap the introduce To h i fornt sa xeso of extension an is note our of aim The 2010 e od n phrases. and words Key 3 4 h ag of range The . of oteagbacnme fields number algebraic the to 14 Mod K K ahmtc ujc Classification. Subject rmteGli hoyo h o-omttv fields. non-commutative the Donald of and Rokhlin theory the 4-man Galois recover connected the We simply from extensions. the non-co abelian that with the that to fields proved is i.e. It fields, plication. number hyper-algebraic the to Abstract. 1.1 o ealdaccount. detailed a for ] h map The . G ⊂ . RTMTCTPLG F4-MANIFOLDS OF TOPOLOGY ARITHMETIC K M M h map The e Uhd 96 [ 1976] [Uchida see , 3 3 where , ep)it h das(rm das ep)o h igo integers of ring the of resp.) ideals, (prime ideals the into resp.) , K ecntutafntrfo h moh4dmninlmanifo 4-dimensional smooth the from functor a construct We F F hs eta ipeagbai smrhcto isomorphic is algebra simple central whose K safntro h aeoyo -iesoa manifolds 3-dimensional of category the on functor a is sn ogrtefilso leri ubr,bttefields the but numbers, algebraic of fields the longer no is F sahpragbacnme ed h aoster fsuch of theory Galois The field. number hyper-algebraic a as N -iesoa aiod,nncmuaieGli theory. Galois non-commutative manifolds, 4-dimensional M F M a eeuvlnl endvaa via defined equivalently be can ( let , Z 3 4 M ep)and resp.) , sa3dmninlmnfl.Tesubgroup The manifold. 3-dimensional a is r lsie yteBae ru of group Brauer the by classified are N GRV NIKOLAEV V. IGOR 4 N 1. M M 7→ 13 eafiieidxsbru ftempigclass mapping the of subgroup index finite a be Introduction 4 N K 4 oolr ]adremark and 2] Corollary , N/ b K [ 10 fte4-sphere the of a ercvrdu oa smrhs from isomorphism an to up recovered be can rmr 62,5N3 eodr 11R32. Secondary 57N13; 16W20, Primary 2 uhamptasom links transforms map a Such . Z b .Nml,teKter of K-theory the Namely, ]. n Jcbo 90 [ 1940] [Jacobson and ] 1 F G = ∼ K otesot -iesoa manifolds 4-dimensional smooth the to G steaslt aosgopof group Galois absolute the is N/ F b K rmte3dmninlmanifolds 3-dimensional the from 7→ Z b 1 K = ∼ . S K G 4 e Peglii19][ 1995] [Piergallini see , K [ where , 7 6 hoe 1.2]. Theorem , mttv multi- mmutative C flscorrespond ifolds .Teie ae back dates idea The ]. ∗ o’ Theorems son’s 4 -algebra 2.5 ,see ], edefine We . N K b nparticular, In . E K ( M Z b e [ see , E ep)i a is resp.) , [Harqenko 4 i division lic lds Z M a mani- nal ie rise gives 4 N ⊂ 10 gener- K gives (1.1) F for ] M M 12 [ as 8 3 3 , ] 2 NIKOLAEV

Let OK be the ring of integers of the field K. Unlike OK , the ring OK is always simple, i.e. all two-sided ideals of OK are trivial. Hence we must use the dynamical ideals (dynamials), i.e. the crossed products OK ⋊ mZ by an endomprphism of OK of degree m ≥ 1, see [9] for the details and motivation. The dynamial OK ⋊ mZ is minimal if and only if m = p is a [9, Theorem 1.7]. To formalize our results, recall that the groups N =6∼ N ′ are a Grothendieck pair, if N =∼ N ′. We shall denote by M4 a category of all smooth 4-dimensional manifolds 4 4 4 4 ′ M , such that: (i) the set M contains no M and M ′ such that N and N are Nb c N N a Grothendieck pair and (ii) the arrows of M4 are differentiable maps between such manifolds. Denote by K a category of the hyper- fields, such that the arrows of K are injective homomorphisms between these fields. The knotted M 4 surface is a transverse immersion ι : Xg1 ∪ ...Xgn ֒→ of a collection of the

2-dimensional orientable surfaces Xgi of the genera gi ≥ 0. The ι(Xg1 ∪ ...Xgn ) is called a surface K if n = 1 and a surface link Z otherwise. Our main result can be formulated as follows. Theorem 1.2. The map F : M4 → K is a covariant functor, such that: (i) F (S4) =∼ H is the field of quaternions; (ii) the dynamials OK ⋊ mZ correspond to the surface links Z ⊂ M 4; (iii) the minimal dynamials OK ⋊ pZ correspond to the surface knots K ⊂ M 4. Remark 1.3. The functor F is independent of the choice of manifold M 3 used in the construction of F according to the formula (1.1). Indeed, using the manifolds W 4 W 4 ∼ M 3 i | π1( i ) = Mod i described in Section 2.1, one can always take a con- W 4 M 3 ∼ W 4 nected sum # i , so that Mod = π1(# i ). This observation is corroborated by the C∗-algebra approach, see remark 1.1 Let K be a Galois extension of H, i.e. an extension having the Galois group Gal K and obeying the fundamental correspondence of the Galois theory [Cartan 1947] [2], [Jacobson 1940] [4] and [Harqenko 1996] [14]. Recall that K is said to be an abelian extension, if Gal K is an abelian group. Theorem 1.2 implies the following result. Corollary 1.4. Let M 4 ∈ M4 be a simply connected 4-manifold. Then K = F (M 4) is an abelian extension. Remark 1.5. The converse of 1.4 is false. The article is organized as follows. Section 2 contains a brief review of the 4-dimensional topology, the Galois theory of non-commutative fields and the arith- metic topology. Theorem 1.2, corollary 1.4 and remark 1.5 are proved in Section 3. In Section 4 we give a proof of the Rokhlin and Donaldson’s Theorems using the Galois theory of non-commutative fields.

2. Preliminaries This section contains a brief review of the smooth 4-dimensional manifolds, the Galois theory of non-commutative fields and the arithmetic topology. We refer the reader to [Cartan 1947] [2], [Morishita 2012] [6] and [Piergallini 1995] [12] for a detailed account. ARITHMETIC TOPOLOGY OF 4-MANIFOLDS 3

2.1. Topology of 4-dimensional manifolds. Let M 3 be a closed 3-dimensional manifold. Denote by Mod M 3 the mapping class group of M 3, i.e. a group of isotopy classes of the orientation-preserving diffeomorphisms of M 3. The Mod M 3 is a finitely presented group [Hatcher & McCullough 1990] [3]. Since each finitely presented group can be realized as the fundamental group of a 4 4 4 3 smooth 4-manifold, we denote by W ∈ M a 4-manifold with π1(W ) =∼ Mod M . It will be useful for us to represent W 4 as a PL (and, therefore, smooth) 4-fold (or 4 5-fold, if necessary) branched cover of the sphere S . Let Xg be a closed surface, which we assume for the sake of brevity to be orientable of genus g ≥ 0. Recall that 4 4 there exists a transverse immersion ι : Xg ֒→ S , such that W is the 4-fold PL 4 cover of S branched at the points of Xg [Piergallini 1995] [12]. In other words, the 3 4 Mod M is a normal subgroup of index 4 of the fundamental group π1(S − Xg). 4 Remark 2.1. The immersion ι and surface Xg need not be unique for given W . Yet one can always restrict to a canonical choice of ι and Xg, which we always assume to be the case. M 4 W 4 Definition 2.2. By N we understand a cover of the manifold corresponding 4 to the finite index subgroup N of the fundamental group π1(W ). W 4 4 M 4 Remark 2.3. In view of the continuous map → S , the manifold N is a smooth 4d-fold branched cover of the sphere S4, where d is the index of N in M 3 M 4 4 Mod . The manifold N is a regular (Galois) cover of S if and only if N is a normal subgroup of Mod M 3. 2.2. Galois theory for non-commutative fields. Denote by K a division ring, i.e. a ring such that the set K× := K −{0} is a group under multiplication. If the group K× is commutative, then K is a field. For otherwise, we refer to K as a non-commutative field. Roughly speaking, the Galois theory for K is a correspondence between the subfields of K and the subgroups of a Galois group Gal K of the field K. Namely, let G be a group of automorphisms of the field K. It is easy to see, that the set

IG = {x ∈ K | g(x)= x for all g ∈ G} (2.1) is a subfield of the field K. Definition 2.4. An extension K of the field L is called Galois, if there exists a group G of automorphisms of the field K, such that L =∼ IG. The Galois group of K with respect to L is defined as Gal K =∼ G. The absolute Galois group GK is defined as a Galois group of the algebraic closure of K. The GK is a profinite group. Remark 2.5. By an adaption of the argument for the case of fields [Uchida 1976] [13, Corollary 2], one can show that the group GK defines the underlying field K up to an isomorphism, see lemma 3.3. Unlike the case of fields, the inner automorphisms of K are a non-trivial group. Indeed, consider an automorphism hg : K → K given by the formula: x 7→ g−1xg, x ∈ K, g ∈ K×. (2.2) By Inn (K) we denote a group of such automorphisms under the composition K× K ∼ K× hg1 ◦ hg2 = hg1g2 , where g1,g2 ∈ . It follows from (2.2) that Inn ( ) = /C, where C is the center of K×. 4 NIKOLAEV

Let G be a finite group of automorphisms of the field K. A normal subgroup Γ := G ∩ Inn (K) of G consists of the inner automorphisms of the field K. Consider a group ring

B(Γ) = gihj . (2.3)

gXi∈Γ hXj ∈C It is easy to see, that B(Γ) is a finite-dimensional algebra over its center C. The fol- lowing result has been established in [Cartan 1947] [2, Th´eor`eme 1] and [Harqenko 1996] [14, p. 139]. Theorem 2.6. If K is a Galois extension, then the corresponding Galois group G satisfies the short exact sequence of groups: ι 1 → Γ → G → G/Γ → 1, (2.4) where ι is an inclusion and |G/Γ| = dimC B(Γ). Recall that B(Γ) is a Frobenius algebra [Harqenko 1996] [14, Theorem 3.5.1]. In other words, there exists a non-degenerate bilinear form Q : B(Γ) × B(Γ) → C, (2.5) such that Q(xy,z)= Q(x,yz) for all x,y,z ∈ B(Γ). Remark 2.7. The form (2.5) is symmetric if and only if B(Γ) is a commutative ring. Proof. Q(xy,z)= Q(x,yz)= Q(x,zy)= Q(xz,y)= Q(zx,y)= Q(z,xy). 

2.3. Arithmetic topology. The arithmetic topology studies an interplay between 3-dimensional manifolds and number fields [Morishita 2012] [6]. Let M3 be a cat- egory of closed 3-dimensional manifolds, such that the arrows of M3 are homeo- morphisms between the manifolds. Likewise, let K be a category of the algebraic number fields, where the arrows of K are isomorphisms between such fields. Let 3 3 3 3 M ∈ M be a 3-manifold, let S ∈ M be the 3-sphere and let OK be the ring of integers of K ∈ K. Theorem 2.8. ([7, Theorem 1.2]) The exists a covariant functor F : M3 → K, such that: (i) F (S3)= Q; 3 3 (ii) each I ⊆ OK = F (M ) corresponds to a link Z ⊂ M ; 3 3 (iii) each prime ideal I ⊆ OK = F (M ) corresponds to a knot K ⊂ M .

The following construction of F is based on [Uchida 1976] [13]. Let Xg,n be an orientable surface of genus g ≥ 0 with n ≥ 0 boundary components. Denote by Mod Xg,n the mapping class group of Xg,n, i.e. a group of isotopy classes of the orientation and boundary-preserving diffeomorphisms of the surface Xg,n. Let N be a finite index subgroup of Mod Xg,n. We omit the construction of a 3-manifold M 3 M3 N ∈ from N referring the reader to [7, Remark 1.1]. As usual, let GK be the absolute Galois group of K ∈ K, while N and Z denote the profinite completion of the groups N and Z, respectively. Let G 7→ K be an injective map defined in b K b [Uchida 1976] [13, Corollary 2]. ARITHMETIC TOPOLOGY OF 4-MANIFOLDS 5

h M 4 ✲ M 4 N N ′

p p′ ❄ ✠ 4 S − Xg

Figure 1. Branched covers of S4.

Theorem 2.9. ([8, Theorem 1.2]) The map: 3 ∼ MN 7→ N/Z = GK 7→ K (2.6) coincides with the functor F of theoremb b2.8. Such a functor is injective, unless N and N ′ are a Grothendieck pair. Moreover, for every normal finite index subgroup ′ M 3 M 3 ′ N ⊆ N, there exists a regular cover N ′ of N and an intermediate field K = M 3 ′ ′ ∼ ′ F ( N ′ ), such that K ⊆ K and Gal (K |K) = N/N . Remark 2.10. The map (2.6) extends to the 4-manifolds M 4 and non-commutative fields K, see (1.1). Such an extension is at the heart of our paper.

3. Proofs 3.1. Proof of theorem 1.2. For the sake brevity, we shall focus on the first part by proving that F : M4 → K is a covariant functor, while referring the reader to [9, Section 4] for the proof of items (i)-(iii) of theorem 1.2. We shall prove F to be a functor with respect to homeomorphisms first, and then generalize to arbitrary differentiable mappings, see remark 3.4. 3.1.1. Let us show that F : M4 → K is a covariant functor. For clarity, we split the proof in a series of lemmas. M 4 M 4 M4 Lemma 3.1. The manifolds N , N ′ ∈ are homeomorphic, if and only if, the subgroups N,N ′ ⊆ Mod M 3 are isomorphic. M 4 M 4 M 4 Proof. (i) Let N be homeomorphic to N ′ by a homeomorphism h : N → M 4 M 4 M 4 4 N ′ . Since both N and N ′ cover the 4-sphere S branched over a surface 4 ∽= Xg ֒→ S , one gets a commutative diagram in Figure 1. By definition, N M 4 4 ′ ∼ ′ M 4 4 p∗(π1( N )) ⊂ π1(S − Xg). Likewise, N = p∗(π1( N ′ )) ⊂ π1(S − Xg). Since M 4 M 4 N is homeomorphic to N ′ , one gets an isomorphism of the fundamental groups M 4 ∼ M 4 ′ π1( N ) = π1( N ′ ). Because the maps p∗ and p∗ are injective, we conclude that ′ 4 N and N are isomorphic subgroups of π1(S − Xg) and, therefore, of the group Mod M 3. In view of the above and remark 2.1, the necessary condition of lemma 3.1 is proved. (ii) Let N =∼ N ′ be isomorphic subgroups of Mod M 3. As explained in Section ′ M 4 M 4 4 2.1, the groups N and N define a pair of branched covers N and N ′ of S . In view of the diagram in Figure 1, one obtains an inclusion of groups N,N ′ ⊂ 4 ′ ′ π1(S − Xg). Since N =∼ N , the subgroups N and N are conjugate in the group 4 4 π1(S − Xg). In other words, there exists an element g ∈ π1(S − Xg), such ′ −1 4 that N = g Ng. It is well known, that the conjugate subgroups of π1(S − 6 NIKOLAEV

M 4 M 4 4 Xg) correspond to the homeomorphic branched covers N and N ′ of the S . M 4 M 4 Moreover, the homeomorphism h : N → N ′ is realized by a deck transformation of the branched cover. In view of the above and remark 2.1, the sufficient condition of lemma 3.1 is proved. 

Lemma 3.2. Up to the Grothendieck pairs, the subgroups N and N ′ of Mod M 3 ′ are isomorphic, if and only if, the groups N/Z =∼ GK and N /Z =∼ GK′ are isomor- phic. b b c b Proof. (i) Let N =∼ N ′ be a pair of isomorphic subgroups of Mod M 3. Recall that a profinite group N is a topological group defined by the inverse limit

b N := lim N/N , (3.1) ←− k where Nk runs through all openb normal finite index subgroups of N. It follows ′ ′ ′ from (3.1), that if N =∼ N , then N =∼ N . Since GK =∼ N/Z and GK′ =∼ N /Z, we conclude that GK =∼ GK′ . The necessary condition of lemma 3.2 is proved. b c b b c b ′ (ii) Suppose that GK =∼ N/Z and GK′ =∼ N /Z are isomorphic groups. Let us show, that N =∼ N ′ are isomorphic subgroups of Mod M 3. To the contrary, ′ b′ b c b let N =6∼ N . Since N and N cannot be a Grothendieck pair, we conclude that ′ ′ N =6∼ N . But GK =∼ N/Z and GK′ =∼ N /Z and, therefore, GK =6∼ GK′ . One gets a contradiction proving the sufficient condition of lemma 3.2.  b c b b c b

Lemma 3.3. The absolute Galois groups GK and GK′ are isomorphic if and only if the the underlying non-commutative fields K and K′ are isomorphic. Proof. The proof is an adaption of the argument of [Uchida 1976] [13, Corollary 2] to the case of non-commutative fields. Namely, we introduce a topology on GK according to the formula (3.1). Let GK and GK′ be open subgroups of an absolute Galois group G, and let σ : GK → GK′ be a topological isomorphism. To prove lemma 3.3, it is enough to show that σ can be extended to an inner automorphism of G, which corresponds an isomorphism K =∼ K′. Indeed, one takes an open normal subgroup N of G contained in GK and GK′ . The group N induces an isomorphism σN : GK/N → GK′ /N. It can be shown that σN extends to an inner automorphism of the group G/N. We repeat the construction over all open normal subgroups of G and obtain an explicit formula for the required inner automorphism of G. Lemma 3.3 follows. 

Remark 3.4. Lemmas 3.1-3.3 are true for the differentiable mappings. In this case one obtains the inclusion of the corresponding non-commutative fields.

Lemmas 3.1-3.3 and formula (1.1) imply that F : M4 → K is a covariant functor.

3.1.2. The detailed proof of items (i)-(iii) of theorem 1.2 is given in [9, Theorem 4.1]. We refer the reader to this paper for the proof and examples of the sphere knots.

Theorem 1.2 is proved. ARITHMETIC TOPOLOGY OF 4-MANIFOLDS 7

F 4 ✛ 4 ✲ H1(M ; Z) =∼ Id M K ✻

❄ ❄ F 4 ✛ 4 ✲ H1(S − Xg; Z) S − Xg L

Figure 2. Simply connected manifold M 4.

3.2. Proof of corollary 1.4. If M 4 ∈ M4 is a simply connected manifold, then 4 4 4 π1(M ) is a trivial group. Since M is a cover of S branched over a surface 4 4 Xg ֒→ S , we conclude that π1(S − Xg) is a finite group. By the Hurewicz Theorem, the homology group

4 4 4 4 H1(S − Xg; Z) =∼ π1(S − Xg) / [π1(S − Xg), π1(S − Xg)] (3.2) is also a finite abelian group.

4 Consider a commutative diagram in Figure 2. An automorphism of H1(S − 4 4 4 Xg; Z) comes from a homeomorphism h : M → M of the manifold M . Theorem 1.2 says that h must correspond to an automorphism σh of the field K, such that σh(L)= L for a subfield L ⊆ K. (For simplicity, the reader can think L =∼ H is the field of quaternions.) Since the automorphisms σh generate the Galois group of the extension K | L, we conclude that:

4 Gal K =∼ Aut (H1(S − Xg; Z)). (3.3)

Recall that the group of automorphisms of a finite abelian group is always an abelian group. Indeed, a finite abelian groups can be written in the form Z/p1Z ⊕ ···⊕ Z/pkZ for some distinct primes pi. On the other hand, Aut (G ⊕ H) =∼ Aut (G) ⊕ Aut (H), where G and H are finite abelian groups of the coprime order. Thus 4 Aut (H1(S − Xg; Z)) =∼ Aut (Z/p1Z) ⊕···⊕ Aut (Z/pkZ). (3.4)

Since the group of automorphism of a cyclic group is a cyclic group, using (3.4) 4 we conclude, that the group Aut (H1(S − Xg; Z)) is abelian. In view of (3.3), the group Gal K is also abelian. Corollary 1.4 is proved.

3.3. Proof of remark 1.5. Let K be an abelian extension. Then Gal K is a 4 finite abelian group. Let us show, that the group H1(S − Xg; Z) can be infinite. 4 k Indeed, one can always write H1(S − Xg; Z) =∼ Z ⊕ Tors, where k ≥ 0 and 4 Tors is a finite abelian group. As explained, we have Aut (H1(S − Xg; Z)) =∼ k k Aut (Z ) ⊕ Aut (Tors). Recall that Aut (Z ) =∼ GLk(Z). If k = 1, then the group 4 Aut (Z) =∼ Z/2Z is abelian and finite. Yet the group H1(S − Xg; Z) =∼ Z ⊕ Tors is infinite. In other words, the corresponding 4-manifold M 4 ∈ M4 cannot be simply connected. 8 NIKOLAEV

4. Rokhlin and Donaldson’s Theorems revisited In this section we give a proof of the Rokhlin and Donaldson’s Theorems based on the Galois theory of non-commutative fields. To outline the proof, let M 4 ∈ M4 be a simply connected smooth 4-manifold. The corollary 1.4 says that K = F (M 4) is an abelian extension. Consider a subgroup of the inner automorphisms Γ of the abelian group Gal K. Let B(Γ) be the corresponding group ring, see (2.3). Denote by Q a symmetric bilinear form on the B(Γ), see (2.5) and remark 2.7. For Γ a finite abelian group, we calculate both B(Γ) and Q, see lemmas 4.1 and 4.2. On the other hand, theorem 1.2 implies an isomorphism of the Z-modules: 4 B(Γ) =∼ H2(M ; Z), (4.1) see lemma 4.4. From the map Q : B(Γ) × B(Γ) → Z, one gets a symmetric bilinear 4 form on the homology group H2(M ; Z). As a corollary, we recover from the arithmetic of Q the Rokhlin and Donaldson’s Theorems for the simply connected smooth 4-manifolds. Let us pass to a detailed argument.

Lemma 4.1. The group ring of a finite abelian group Γ =∼ Z/p1Z ⊕···⊕ Z/pkZ is isomorphic to a direct sum of the cyclotomic fields, i.e. B ∼ (Γ) = Z(ζp1 ) ⊕···⊕ Z(ζpk ), (4.2) where ζpi is the pi-th root of unity. Proof. An elegant proof of this fact can be found in [Ayoub & Ayoub 1969] [1]. 

Thus to calculate Q, we can restrict to the cyclotomic fields Q(ζpi ) and take the tensor product over pi. Recall that the trace form on Q(ζpi ) is a symmetric bilinear form: T r : Q(ζ ) × Q(ζ ) → Q, such that (x, y) 7→ tr(xy), (4.3) Q(ζpi ) pi pi where tr is the trace of an algebraic number. The trace form (4.3) is equivalent to the form T r (x, x) := T r (x2) via the formula: Q(ζpi ) Q(ζpi )

1 2 2 2 T rQ(ζp )(x, y)= T rQ(ζp )(x + y) ) − T rQ(ζp )(x ) − T rQ(ζp )(y ) . (4.4) i 2 h i i i i

Lemma 4.2. The following classification is true:

2 ph1i, if p is odd prime T r (x )= − (4.5) Q(ζp)  2nh1i h1i⊕h−1i⊕ (2n 1 − 1) × H , if p =2n, n ≥ 4, where we use the Witt ring notation ph1i for the diagonal of dimen- sion p, 2nh1i for the Pfister form of dimension 2n and H for the hyperbolic (split) plane, see [Lam 2005] [5, Chapter X] for definitions. Proof. We refer the reader to [Otake 2014] [11, Theorem 2.1] for the proof. 

Remark 4.3. The case n = 1 (n = 2; n = 3) in formula (4.5) corresponds to the complex numbers (quaternions; octonions), respectively; see [Lam 2005] [5, Chapter X]. We omit these values of n, since none of the fields is contained in K. ARITHMETIC TOPOLOGY OF 4-MANIFOLDS 9

4 Lemma 4.4. If H2(M ; Z) is the second homology of a simply connected manifold 4 4 M , then B(Γ) =∼ H2(M ; Z), where =∼ is an isomorphism of the corresponding Z-modules. Proof. Recall that Gal K is acting on the field K by the automorphisms of K. Theorem 1.2 says that such automorphisms correspond to the homeomorphisms of the manifold M 4. Recall that each homeomorphism h : M 4 → M 4 defines an 4 4 linear map h∗ : H2(M ; Z) → H2(M ; Z). Since Γ ⊆ Gal K, one gets a linear representation: 4 ρ :Γ → Aut (H2(M ; Z)). (4.6)

4 Consider a regular representation of Γ by the automorphisms of H2(M ; Z) =∼ Zk. It is easy to see, that such a representation coincides with ρ and, therefore, we conclude that k = |Γ|. Moreover, since B(Γ) is the group ring of Γ, one gets an 4 isomorphism B(Γ) =∼ H2(M ; Z) between the corresponding Z-modules. Lemma 4.4 is proved. 

Corollary 4.5. (Rokhlin and Donaldson) (i) Definite intersection form of a simply connected smooth 4-manifold is diago- nalizable; (ii) Signature of the intersection form of a simply connected smooth 4-manifold is divisible by 16. Proof. As explained, we identify the intersection form: 4 4 H2(M ; Z) × H2(M ; Z) → Z (4.7) with the trace form T rQ(ζp)(x, y) given by the formulas (4.3)-(4.5). Accordingly, we have to consider the following two cases.

2 (i) Let us consider the case T rQ(ζp)(x ) = ph1i, where p is an odd prime. Let p−1 {1, ζp,...,ζp } be the standard basis in the ring of integers Z[ζp] of the cyclotomic field Q(ζp). The corresponding formula (4.5) can be written as:

p−1 2 2 T rQ(ζp)(x )= xi , xi ∈ Z, (4.8) Xi=0 p−1 where x = x0 + x1ζp + ··· + xp−1ζp for an x ∈ Z[ζp]. Using (4.4), one gets a 4 symmetric bilinear form on H2(M ; Z):

p−1

T rQ(ζp)(x, y)= xiyi, xi,yi ∈ Z. (4.9) Xi=0 It remains to notice, that M 4 ∈ M4 is a smooth manifold and (4.9) is a positive definite diagonalizable intersection form. Item (i) of corollary 4.5 follows.

2 n n−1 (ii) Let us consider the case T rQ(ζp)(x )=2 h1i h1i⊕h−1i⊕ (2 − 1) × H , where p = 2n and n ≥ 4; see remark 4.3 explaining the restriction n ≥ 4. Let 10 NIKOLAEV

2n+1−1 +1 +1 {1, ζ2n ,...,ζ2n+1 } be the standard basis in the Z[ζ2n ]. The corresponding formula (4.5) can be written as:

− 2n−1 3×2n 1−1 2n+1−1 2 2 2 2 2 2 T r (x )= x + x n − x n + x − x , (4.10) Q(ζ2n+1 ) i 2 2 +1  i i  Xi=0  i=2Xn+2 i=3X×2n−1   2n+1−1 +1 +1 where x = x0 + ··· + x2n −1ζ2n+1 ∈ Z[ζ2n ]. Using (4.4), one obtains a sym- metric bilinear form: 2n−1 T r (x, y) = x y + Q(ζ2n+1 ) i i Xi=0 − 3×2n 1−1 2n+1−1 + (x2n y2n − x2n+1y2n+1) +  xiyi − xiyi . (4.11) i=2Xn+2 i=3X×2n−1   It is easy to see, that T r (x, y) is a diagonal bilinear form on H (M 4; Z). Q(ζ2n+1 ) 2 The signature of (4.11) is equal to 2n, since the number of positive and negative 1’s for the terms in brackets is the same, while the signature of the first sum is 2n. It remains to notice, that n ≥ 4 and, therefore, the signature of T r (x, y) is Q(ζ2n+1 ) divisible by 16. Since M 4 is a simply connected smooth 4-manifold, one gets item (ii) of corollary 4.5.  References 1. R. G. Ayoub and C. Ayoub, On the group ring of a finite abelian group, Bull. Australian Math. Soc. 1 (1969), 245-261. 2. H. Cartan, Th´eorie de Galois pour les corps non commutatifs, Annales scientifiques de l’E.N.S.´ 64 (1947), 59-77. 3. A. Hatcher and D. McCullough, Finite presentation of 3-manifold mapping class groups, Lecture Notes in Math. 1425, 48-57, Springer, 1990. 4. N. Jacobson, The fundamental theorem of the Galois theory for quasi-fields, Annals of Math. 41 (1940), 1-7. 5. T. Y. Lam, Introduction to Quadratic Forms over Fields, Graduate Studies in Mathematics 67, AMS, 2005. 6. M. Morishita, Knots and Primes, An Introduction to Arithmetic Topology, Springer Univer- sitext, London, Dordrecht, Heidelberg, New York, 2012. 7. I. Nikolaev, Remark on arithmetic topology, arXiv:1706.06398 8. I. Nikolaev, Profinite mapping class groups, arXiv:1812.05390 9. I. Nikolaev, Dynamical ideals of non-commutative rings, arXiv:1912.02555 10. I. Nikolaev, K-theory of Etesi C∗-algebras, arXiv:2012.08237 11. S. Otake, Orthogonal decompositions of integral trace forms of cyclotomic fields and their canonical forms over the ring of p-adic integers, J. of 134 (2014), 258-279. 12. R. Piergallini, Four-manifolds as 4-fold branched covers of S4, Topology 34 (1995), 497-508. 13. K. Uchida, Isomorphisms of Galois groups, J. Math. Soc. Japan 28 (1976), 617-620. 14. V. K. Harqenko, Nekommutativna Teori Galua, Novosibirsk, Nauqna kniga, 1996.

1 Department of Mathematics and Computer Science, St. John’s University, 8000 Utopia Parkway, New York, NY 11439, United States. Email address: [email protected]