Arxiv:2001.07094V3 [Math.NT] 10 May 2021 Aeo Nirdcbeplnma)Alclgoa Principl a Local-Global Conditions, a Local Polynomial) I Are Irreducible Mcmullen 20]

arXiv:2001.07094v3 [math.NT] 10 May 2021 aeo nirdcbeplnma)alclgoa principl a local-global conditions, a local polynomial) I are irreducible McMullen 20]. an [BT and of in case Gross proved The of is conditions this signature. sufficient; the be prescribed may of conditions lattice polynomia these characteristic unimodular the even, be some to polynomial irreducible 0. losffiin vrweelcly(e hoe 56.Howev 25.6). Theorem Mo (see necessary. locally still everywhere are McMullen sufficient and also Gross of conditions the euil,telclgoa rnil olne od nge Example. in holds longer example no following principle the local-global the reducible, vrweelocally. everywhere n let and lattice u o lbly(e xml 51) npriua,teLee the particular, In polynomial 25.17). characteristic with Example isometry (see globally not but nt teeapeaoei h case the is above example (the unity F oiiedfiieltiehvn nioer ihcharacter with isometry an having lattice definite positive everywhere. fadol if only and if n oiiedfiieltie frank of lattices definite positive and ( X oegnrly if generally, More for conditions necessary give McMullen and Gross 02], [GM In Date oegnrly let generally, More Φ = Introduction 6 SMTISO ATCSADHSEPRINCIPLES HASSE AND LATTICES OF ISOMETRIES + a 1 2021. 11, May : p 2 L sa plcto,w rv as rnil o signatures for principle Hasse a g prove more a we in application, answer an we signat which As given questions, characteristic of principle lattice Hasse the to unimodular rise even, be some to of isometry factors an linear without polynomial Abstract. X Φ L 2 2 a nioer ihcaatrsi polynomial characteristic with isometry an has 5 p ea vn nmdlr oiiedfiieltieo ak24. rank of lattice definite positive unimodular, even, an be + where , Let X 4 p F + ≡ egv eesr n ucetcniin o nintegral an for conditions sufficient and necessary give We etepolynomial the be Φ X m F 3 md8) (mod 3 + eoe h yltmcplnma fthe of polynomial cyclotomic the denotes p ∈ X eapienme with number prime a be Z V BAYER-FLUCKIGER EVA 2 [ X + ] X nteohrhn,alee,unimodular even, all hand, other the On . samncplnma ihu ierfactors, linear without polynomial monic a is 1) + p 2 1 ( 7 = deg( X F 6 nsieo aigsc nisometry an such having of spite in , ;teeeit nee,unimodular, even, an exists there ); − F ) X aesc nioer locally isometry an such have 5 + X p 4 − ≡ F holds. e X r.Ti gives This ure. md4) (mod 3 ea,a hw by shown as neral, fa smtyof isometry an of l oyoilof polynomial nrlsetting. eneral fknots. of vrweelocally, everywhere si polynomial istic 3 + hltiehsno has lattice ch pclt that speculate y un u that out turns t evr hyare they reover, dta i the (in that nd X r when er, m 2 − t ot of roots -th X monic, a n set and 1) + F The 2 F is , 2 EVA BAYER-FLUCKIGER

Several other examples are given in §25, both in the definite and indefinite cases. One of the aims of this paper is to give necessary and sufficient conditions for the local-global principle (also called Hasse principle) to hold, and hence for the existence of an even, unimodular lattice of given signature having an isometry with characteristic polynomial F ; this is done in Theorem 25.12. We place ourselves in a more general setting : we consider isometries of lattices over rings of integers of global fields of characteristic =2 with respect to a finite set of places. The local conditions on the polynomial6 then also depend on the field and on the finite set of places - in the case of unimodular, even lattices over the integers, they are given by the Gross-McMullen conditions, and the same question for rings of integers of arbitrary number fields is treated by Kirschmer in [K 19]. We do not attempt to work out the local conditions in general : we assume that they are satisfied, and give the obstruction to the local-global principle. Even more generally, in §13 we construct an “obstruction group" - a finite abelian group which gives rise to the obstruction group to the Hasse principle in several concrete situations. To explain the results of the paper, let us come back to the original question : we have a monic polynomial F Z[X] without linear factors, we give ourselves a pair of integers, r, s > 0. and∈ we would like to know whether there exists an even, unimodular lattice of signature (r, s) having an isometry with characteristic polynomial F . It is easy to see that all even, unimodular lattices with the same signature become isomorphic over Q. This leads to an easier question : let F Q[X] be a monic polynomial and let q be a non-degenerate quadratic form over∈ Q; under what conditions does q have an isometry with characteristic polynomial F ? This question was raised, for arbitrary ground fields of characteristic not 2, by Milnor in [M 69], and an answer is given in [B 15] in the case of global fields; instead of just fixing the characteristic polynomial, the point of view of [B 15] is to fix a module over the group ring of the infinite cyclic group. As seen in [B 15], the crucial case is the one of a semi- simple and self-dual module (the minimal polynomial is a product of distinct, symmetric irreducible polynomials - recall that a monic polynomial f K[X] of even degree is said to be symmetric if f(X)= Xdeg(f)f(X−1)). ∈ We start by studying this “rational" question, and then come back to the “integral" one. Assume that K is a global field, and that the irreducible factors of F are symmetric and of even degree. If q is a quadratic form over K, we say that the rational Hasse principle holds for q and F if q has a semi-simple isometry with characteristic polynomial F if and only if such an isometry exists everywhere locally. Theorem 17.4 gives a necessary and sufficient condition for this to hold, in terms of an obstruction group (see §14). Let I be the set of irreducible factors of F . We show that the rational Hasse principle always holds if for all f I, the extensions K[X]/(f) are ∈ ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 3 pairwise independent over K (see Corollary 18.3). We also obtain an “odd degree descent" result (see Theorem 20.1) : Theorem. A quadratic form has an isometry with characteristic polynomial F if and only if such an isometry exists over a finite extension of K of odd degree.

We next come to the “integral" questions, deﬁning an integral obstruction group (see §21), which contains the rational one as a subgroup. The Hasse principle result is given in Theorem 23.4. Note that both the rational and integral Hasse principles are proved in a more general setting than the one outlined in this introduction.

The applications to the initial question are as follows. Let F be as above, with F Z[X]. In §21, we define an integral obstruction group X . Recall ∈ F that I is the set of irreducible factors of F . For all f,g I, let Vf,g be the set of prime numbers p such that f and g have a common∈ irreducible, symmetric factor (mod p). Consider the equivalence relation on I generated by the elementary equivalence f g V = ∅; ∼e ⇐⇒ f,g 6 let I be the set of equivalence classes, and C(I) the group of maps I Z/2Z; → the group XF is by definition the quotient of C(I) by the constant maps. Set deg(F )=2n, and let (r, s) be a pair of integers, r, s > 0 such that r + s = 2n. The following conditions (C 1) and (C 2) are necessary for the existence of an even, unimodular lattice with signature (r, s) having an isometry with characteristic polynomial F (see Lemma 25.3) : (C 1) The integers F (1) , F ( 1) and ( 1)nF (1)F ( 1) are all squares. | | | − | − − Let m(F ) be the number of roots z of F with z > 1 (counted with multiplicity). | | (C 2) r s (mod 8), r > m(F ), s > m(F ), and m(F ) r s (mod 2). ≡ ≡ ≡ Assume that conditions (C 1) and (C 2) hold. We define a finite set of linear forms on XF , and prove that there exists an even, unimodular lattice with signature (r, s) having a semi-simple isometry with characteristic polynomial F if and only if one of these linear forms is zero (see Theorem 25.12.) Several examples are given in §25. 10 9 7 6 5 4 3 Example. Let f1(X)= X + X X X X X X + X +1, and f = Φ . Set F = f f 2. Set L =(− E−) (−E ) − H −H H, where E 2 14 1 2 3,19 − 8 ⊕ − 8 ⊕ ⊕ ⊕ 8 is the E8-lattice and H the hyperbolic lattice. It is shown in Examples 25.8 and 25.21 that L3,19 has an isometry with characteristic polynomial F . Example. Let p and q be two distinct prime numbers, such that p q 3 (mod 4). Let n, m, t Z with n, m, t > 2 and m = t, and set ≡ ≡ ∈ 6

f1 = Φpnqm , f2 = Φpnqt , and F = f1f2. 4 EVA BAYER-FLUCKIGER

There exists a positive deﬁnite, even, unimodular lattice having an isometry p with characteristic polynomial F if and only if ( q )=1 (see Examples 25.10 and 25.15). With F and (r, s) as above, we ask a more precise question.

Question. Let t SOr,s(R) be an semi-simple isometry with characteristic polynomial F . Does∈ t preserve an even, unimodular lattice ? Still assuming that the “local conditions" (C 1) and (C 2) hold, we deﬁne a linear form XF Z/2 and we show that the answer to the above question is aﬃrmative if and→ only if this form is trivial (see Theorem 27.4). In particular, we have (see Theorem 27.5) :

Theorem. If XF = 0, then all semi-simple elements of SOr,s(R) with characteristic polynomial F preserve an even, unimodular lattice. Finally, we give an application to knot theory. Let ∆ Z[X] be a symmetric polynomial with ∆(1) = 1, and let r, s > 0 be two integers∈ with r+s = deg(∆). The results of this paper can be used to decide for which pair (r, s) there exists a knot with Alexander polynomial ∆ and signature (r, s); for simplicity, we assume here that ∆ is monic, ∆( 1) = 1 and that ∆ is a product of distinct irreducible and symmetric− polynomials± (see §30). We have (see Corollary 30.4) : Theorem. Assume that Conditions (C 1) and (C2) hold for ∆ and (r, s), and suppose that X∆ =0. Then there exists a knot with Alexander polynomial ∆ and signature (r, s).

This is no longer the case in general if X∆ =0. In §31, we discuss in detail the case where ∆ is the polynomial 6

(Xuv 1)(X 1) ∆ = − − u,v (Xu 1)(Xv 1) − − where u,v > 1 are two relatively prime odd integers. Using properties of cyclotomic ﬁelds, the obstruction group X∆ and the homomorphisms associated to the local data can be determined explicitly. For instance, we have (see Example 31.8) : Example. Let p and q be two distinct prime numbers with p q 3 (mod 4), ≡ ≡ let e > 1 be an integer, and set ∆ = ∆pe,q. There exists a knot with Alexander polynomial ∆ and signature (r, s) if and only if r s (mod 8), and ≡ ( p )= 1, or • q − ( p )=1 and r s 6 2n 4(e 1). • q | − | − − Table of contents

1. The equivariant Witt group ...... 6 2. Lattices ...... 7 3. Bounded modules, semi-simpliﬁcation and reduction mod π ...... 7 ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 5

4. The residue map ...... 8 5. Lattices and discriminant forms ...... 8 6, Local-global problems ...... 9 7. Stable factors, orthogonal decomposition and transfer ...... 10 8. Signatures ...... 11 9. Simple modules and reduction ...... 13 10. Twisting groups ...... 13 11. Residue maps ...... 14 12. Hermitian forms and Hasse-Witt invariants ...... 16 13. Obstruction ...... 18 14. Obstruction group - the rational case ...... 23 15. Twisting groups and equivalence relations ...... 24 16. Local data - the rational case ...... 27 17. Local-global problem - the rational case ...... 29 18. Independent extensions ...... 33 19. Local conditions ...... 34 20. Odd degree descent ...... 36 21. Obstruction group - the integral case ...... 37 22. Local data and residue maps ...... 38 23. Local-global problem - the integral case ...... 40 24. The integral case - Hasse principle with additional conditions ...... 44 25. Lattices over Z ...... 46 26. Milnor signatures and Milnor indices ...... 54 27. Lattices and Milnor indices ...... 54 28. Knots ...... 58 29. Seifert forms ...... 58 30. Knots and Seifert forms ...... 59 31. Alexander polynomials of torus knots and indices ...... 61 6 EVA BAYER-FLUCKIGER

1. The equivariant Witt group

Let K be a field, and let A be a K-algebra with a K-linear involution σ : A A. All A-modules are supposed to be finite dimensional over K. → Bilinear forms compatible with a module structure Let M be an A-module, and let b : M M K be a non-degenerate symmetric bilinear form. We say that (M, b)×is an→A-bilinear form if b(ax, y)= b(x, σ(a)y) for all a A and all x, y M. If G is a group, A = K[G], and if σ : K[G] K[G] is∈ the K-linear involution∈ sending g G to g−1, then this becomes→ b(gx,gy)= b(x, y) for all g G and x, y M∈. ∈ ∈ Let V be a finite dimensional K-vector space, and let q : V V K be a non-degenerate symmetric bilinear form. We say that M and×(V, q→) are compatible if there exists a K-linear isomorphism ϕ : M V such that the → bilinear form bϕ : M M K, defined by bϕ = q(ϕ(x),ϕ(y)), is an A-bilinear form. × → Example 1.1. Take for A the group ring K[Γ], where Γ is the infinite cyclic group, and for σ the canonical involution of K[Γ]; let γ be a generator of Γ. If b is a bilinear form compatible with a module M, then γ acts as an isometry of b. Conversely, an isometry of a bilinear form b : V V K endows V with a structure of A-module compatible with b. × → Theorem 1.2. Let M and q : V V K be as above, and assume that M and (V, q) are compatible. Let M×s be→ the semi-simplification of M. There exists a non-degenerate symmetric bilinear form q on M s with the following two properties (a) q′ is compatible with the A-module structure of M s. (b) q′ is isomorphic to q. Proof. See [S 18], Theorem 4.2.1. Example 1.3. Let A, γ and (V, b) be as in Example 1.1. We say that a polynomial in k[X] is square-free if it is the product of distinct irreducible polynomials in k[X]. Let f k[X]. The following properties are equivalent ∈ (a) (V, b) has an isometry with characteristic polynomial f. (b) (V, b) has an isometry with characteristic polynomial f and square-free minimal polynomial. It is clear that (b) implies (a); the implication (a) = (b) follows from Theorem 1.2. ⇒

Let AM be the image of A in End(M); if M is compatible with a non- degenerate bilinear form, then the kernel of the map A AM is stable by σ, and the algebra A carries the induced involution σ : A→ A . M M → M Deﬁnition 1.4. We say that an A-module M is self-dual if the kernel of the map A A is stable by σ. → M ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 7

If char(K) =2, the notions of symmetric bilinear form and quadratic form coincide; we then6 use the terminology of A-quadratic form instead of A-bilinear form. The equivariant Witt group

We denote by WA(K) the Witt group of A-bilinear forms (cf. [BT 20], Deﬁnition 3.3).

If M is a simple A-module, let WA(K, M) be the subgroup of WA(K) generated by the classes of the (A, σ)-bilinear forms (M, q). We have

WA(K)= WA(K, M), ⊕M where M ranges over the isomorphism classes of simple A-modules (see [BT 20], Theorem 3.12).

More generally, if M is a semi-simple A-module, set WA(K, M)= WA(K,S), ⊕S where S ranges over the isomorphism classes of simple A-modules arising in a direct sum decomposition of M. Example 1.5. Let A = K[Γ] and M as in Example 1.1. If (M, b) is an A- bilinear form, we associate to it an A-bilinear form (M s, b′) as in Theorem 1.2. Assuming that char(K) =2, this is also done in Milnor’s paper [M 69], §3. It follows from [M 69], Lemma6 3.1 and Theorems 3.2 and 3.3 that the the classes s ′ of (M, b) and (M , b ) in WA(K) are equal.

2. Lattices Let O be an integral domain, and let K be its ﬁeld of fractions; let Λ be an O-algebra, and let σ :Λ Λ be an O-linear involution. Set Λ = Λ K. → K ⊗O Let M be a ΛK-module; a Λ-lattice is a sub-Λ-module L of M which is a projective O-module and satisﬁes KL = M.

Let (M, b) be a ΛK-bilinear form; if L is an Λ-lattice, then so is its dual L♯ = x M b(x, L) O . { ∈ | ⊂ } We say that L is unimodular if L♯ = L.

3. Bounded modules, semi-simplification and reduction mod π We keep the notation of the previous section, and assume that O is a discrete valuation ring; let π be a uniformizer, and let k = O/πO be the residue field. Set Λ =Λ k. We say that a Λ -module is bounded if it contains a Λ-lattice. k ⊗O K Let M be a bounded Λ -module, and let L M be a Λ-lattice; the quotient K ⊂ L/πL is a Λk-module. The isomorphism classes of the simple Λk-modules occuring as quotients in a Jordan-Hölder filtration of L/πL are independent of the choice of the Λ-lattice L in M; this is a generalization of the Brauer- Nesbitt theorem, see [S 18], Theorem 2.2.1. The direct sum of these modules is called the semi-simplification of L/πL; by the above quoted result it is independent of the choice of L. It will be called the reduction mod π of M, 8 EVA BAYER-FLUCKIGER

and will be denoted by M(k); this Λk-module is deﬁned up to a non-canonical isomorphism. The involution σ :Λ Λ induces an involution Λ Λ , which we still → k → k denote by σ. Recall that a Λk-module N is said to be self-dual if the kernel of the homomorphism Λ End(N) is stable by the involution σ, and that k → the image of Λk End(N) is denoted by (Λkv )N . Set κ(N)=(Λkv )N ; if N is self-dual, then σ→induces an involution σ : κ(N) κ(N). N →

4. The residue map

We keep the notation of the previous section. We say that a ΛK-bilinear form b is bounded if it is deﬁned on a bounded module, and we denote by WΛK (K)

the subgroup of WΛK (K) generated by the classes of bounded forms.

Let (M, b) bea ΛK-bilinear form, and let L be a lattice in M; we say that L is almost unimodular if πL♯ L L♯, where π is a uniformizer. Every bounded ⊂ ⊂ ΛK-bilinear form contains an almost unimodular lattice (see [BT 20], Theorem 4.3. (i)). Recall also from [BT 20], Theorem 4.3, the following result Theorem 4.1. The map ∂ : W b (K) W (k) ΛK → Λk given by [M, b] [L♯/L], 7→ where L is an almost unimodular lattice contained in M, is a homomorphism. Moreover, a ΛK-bilinear form contains a unimodular lattice if and only if it is bounded and the image of its Witt class by ∂ is zero. We call ∂([M, b]) the discriminant form of the almost unimodular lattice L.

Let (V, q) be a quadratic form over K, and let δ WΛk (k). We say that (V, q) contains an almost unimodular Λ-lattice with∈ discriminant form δ if there exists an isomorphism ϕ : M V such that (M, bϕ) contains an almost unimodular Λ-lattice with discriminant→ form δ.

5. Lattices and discriminant forms We keep the notation of §2; moreover we assume that K is a global field, and that O is the ring of integers of K with respect to a finite non-empty set Σ of places of K (containing the infinite places when K is a number field). Let VΣ be the set of places of K that are not in Σ. We denote by V the set of all places of K; if v V , let K be the K ∈ K v completion of K at v, let Ov be the ring of integers of Kv, let kv be the residue field, and set Λv =Λ O . ⊗O v Let (M, b) be a ΛK-bilinear form; if L is a lattice of M and v VK, set M v = M K and Lv = L O . ∈ ⊗K v ⊗O v ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 9

Deﬁnition 5.1. We say that a Λ-lattice L is almost unimodular if the lattice Lv is almost unimodular for all v V . The discriminant form of an almost ∈ Σ unimodular Λ-lattice L is by deﬁnition the collection δ(L)=(δv) of elements v of WΛkv (kv) where δv is the discriminant form of L . Note that δ =0 for almost all v V . v ∈ K Proposition 5.2. An almost unimodular lattice is unimodular if and only if its discriminant form is trivial. Proof. This follows from Theorem 4.1.

6. Local-global problems We keep the notation of the previous section. Let (V, q) be a quadratic form over K; for all places v V , let us ﬁx δ = (δ ), with δ W (k ) such that ∈ Σ v v ∈ Γ v δv = 0 for almost all v. We say that (V, q) contains an almost unimodular Λ-lattice with discriminant form δ if there exists an isomorphism ϕ : M V → such that (M, bϕ) contains an almost unimodular Λ-lattice with discriminant form δ. We consider the following local and global conditions :

(L 1) For all v VK, the quadratic form (V, q) K Kv is compatible with the module M K ∈. ⊗ ⊗K v (L 2)δ For all v VΣ, the quadratic form (V, q) K Kv contains an almost v ∈ ⊗ unimodular Λ -lattice with discriminant form δv.

(G 1) The quadratic form (V, q) is compatible with the module M.

(G 2)δ The quadratic form (V, q) contains an almost unimodular Λ-lattice with discriminant form δ. For all v V , set M v = M K and V v = V K . ∈ K ⊗K v ⊗K v Proposition 6.1. The following are equivalent : (i) For all v V , there exists an isomorphism ϕ : M v V v such that ∈ Σ v → v ∂v([M , bϕv ]) = δv.

(ii) Conditions (L 1) and (L 2)δ hold.

Proof. This is clear. Proposition 6.2. The following are equivalent

(i) There exists an isomorphism ϕ : M V such that for all v VΣ, we have → ∈

∂v([M, bϕ]) = δv.

(ii) Conditions (G 1) and (G 2)δ hold. 10 EVA BAYER-FLUCKIGER

Proof. We have (ii) = (i) by deﬁnition. Condition (i) implies that for all v V , there exists a Λ⇒v-lattice Lv in M v with discriminant form δ . Set ∈ Σ v L = x M x Lv for all v V ; { ∈ | ∈ ∈ K} then L is an almost unimodular lattice of (M, bϕ) with discriminant form δ, hence (ii) holds.

7. Stable factors, orthogonal decomposition and transfer We keep the notation of Section 1; in particular, K is a ﬁeld, A is a K- algebra with a K-linear involution σ : A A, and M is an A-module. We also assume that M is semi-simple. Note→ that by [BT 20], Theorem 3.12, a bilinear form compatible with M is in the same Witt class as a bilinear form on a semi-simple module. The module M decomposes into the direct sum of isotypic submodules, M MN , where N ranges over the simple factors of M. If b is an A-bilinear ≃ ⊕N form on M, and if N is a self-dual simple factor of M, then the restriction of b to MN is an orthogonal direct factor of b, and it is compatible with the module MN . If N a simple factor of M that is not self-dual, then M has a ′ ′ simple factor N with N = N such that the restriction of b to M M ′ is an 6 N ⊕ N orthogonal direct factor of b, and is compatible with the module MN MN ′ . Summarizing, we get the following is well-known result : ⊕ Proposition 7.1. Let b be an A-bilinear form on M. We have an orthogonal sum decomposition

b ( bN ) ( bN,N ′ ), ≃ ⊕N ⊕ N,N⊕ ′ where in the ﬁrst sum, N ranges over the self-dual simple factors of M, and bN is compatible with the module MN ; in the second sum, N ranges over the simple factors of M that are not self-dual, and bN,N ′ is compatible with the module M M ′ . Moreover, the form b ′ is metabolic. N ⊕ N N,N

Recall that AM is the image of A in End(M), and that we are assuming that the kernel of the map A AM is stable by σ; the algebra AM carries the induced involution σ : A →A . M → M Assume in addition that if N is a simple factor of M, then AN is a commutative field: therefore AM is a product of fields, finite extensions of K. Some of these are stable under σ, others come in pairs, exchanged by σ. We associate to the module M a set of σ-stable commutative K- AM algebras, as follows. The set M consists of the σ-stable fields AN , where N is a self-dual simple factor of MA, and of the products of two fields interchanged by σ associated to the simple factors of M that are not self-dual.

The elements of M are called simple σ-stable algebras associated to M. These can be of threeA types : Type (0) : A ﬁeld E stable by σ, and the restriction of σ to E is the identity. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 11

Type (1) : A field E stable by σ, and the restriction of σ to E is not the identity; E is then a quadratic extension of the fixed field of σ in E. Type (2) : A product of two fields exchanged by σ. Proposition 7.1 implies that every bilinear form b compatible with M decomposes as an orthogonal sum b b(0) b(1) b(2), corresponding to the factors of type 0, 1 and 2. Moreover,≃ by⊕ Proposition⊕ 7.1 the class of b(2) in WA(K) is zero. Example 7.2. Let A = K[Γ] as in example 1.1, and let γ be a generator of Γ. In this case, the simple σ-stable factors are of the shape K[X]/(f), where f K[X] is as follows ∈ Type (0) f(X)= X +1 or X 1. − Type (1) f K[X] is monic, irreducible, symmetric, of even degree [recall that an even degree∈ polynomial f is symmetric if f(X)= Xdeg(f)f(X−1)]. Type (2) f = gg∗ for some irreducible, monic polynomial g K[X] with non-zero constant term, and g∗(X)= g(0)−1Xdeg(g)g(X−1) such∈ that g = g∗. 6 We say that f is a polynomial of type 0, 1 or 2. Let E be a simple σ-stable factor as above, and let N be an isotypic factor of the direct sum decomposition of M with AN = E. We denote by γN the image of the generator γ by the map A A . If b is a bilinear form compatible → N with N, the endomorphism γN is an isometry of b with minimal polynomial f n and characteristic polynomial f , where n = dimEN. Example 7.3. Let A, M and (V, q) be as in Example 1.1. Let f = hh′, where h K[X] is a product of polynomials of type 0 and 1, and h′ K[X] is a product∈ of polynomials of type 2. The quadratic form (V, q) has∈ an isometry with characteristic polynomial f if and only if (V, q) is the orthogonal sum of a quadratic form having an isometry with characteristic polynomial h, and of a hyperbolic form of dimension deg(h′).

Transfer

Assume now that M has only one element, an involution invariant field E; note that M is aA finite dimensional E-vector space. Let ℓ : E K be a non-trivial K-linear map such that ℓ(σ(x)) = ℓ(x) for all x E. The→ following is well-known : ∈ Proposition 7.4. A bilinear form b is compatible with M if and only if there exists a non-degenerate hermitian form h : M M E on the E-vector space M such that b = ℓ h. × → ◦ 8. Signatures We keep the notation of the previous section, with K = R. If (M, b) is an A-quadratic form, we define a signature for each self-dual simple factor of M. Moreover, the signatures determine (M, b) up to an isomorphism of A-quadratic forms. 12 EVA BAYER-FLUCKIGER

If (M, b) is as above, and if N is a simple self-dual factor of M, we set AN = E; note that E = C, and that σ : E E is the complex conjugation. By Proposition 7.4, there exists a non-degenerate→ hermitian form h : N N E ′ ′ ′ ′ × → such that b = ℓ h. Let (rN ,sN )=(2rN , 2sN ), where (rN ,sN ) is the signature of the hermitian◦ form h. The following is immediate Proposition 8.1. Let (M, b) be an A-quadratic form, and let (r, s) be the signature of b; then

r s = XrN sN − − N where N runs over the self-dual simple factors of M. Conversely, all pairs 6 (rN ,sN ) with rN ,sN 2dimE(MN ) and r s = PrN sN are realized by an − N − A-form (M, b) such that the signature of b is (r, s). Notation 8.2. The diﬀerence r s is called the index of b, denoted by τ(b). − Similarly, for each self-dual simple factor N of M, we denote by τN (b)= rN sN the index of b at N. −

Note that Proposition 8.1 implies that τ(b) = PτN (b), where N runs over N the self-dual simple factors of M. It is easy to see that the signatures characterize the A-quadratic form up to isomorphism. We have Proposition 8.3. Two A-quadratic forms on M are isomorphic if and only if their signatures coincide for each self-dual simple factor of M. Proof. By Proposition 7.1 an A-quadratic form on M is determined by its restriction to the modules MN , where N runs over the self-dual simple factors of M. On the other hand, it is easy to see that an A-quadratic form (MN , bN ) is determined by the hermitian form h : M M E with b = ℓ h. N × N → N ◦ The following corollary is an immediate consequence of Proposition 8.3 : Corollary 8.4. Let (M, b) and M, b′) be two A-quadratic forms. Then (M, b) (M, b′) τ (b)= τ (b′) ≃ ⇐⇒ N N for each self-dual simple factor N of M. Example 8.5. We keep the notation of Example 1.1, with A = R[Γ]. Let (M, b) be an A-quadratic form; the action of a generator of Γ on M is an isometry of the quadratic form b. The simple, self-dual factors of M are of the shape R[X]/ , where R[X] is an irreducible, symmetric polynomial of degree 2; henceP each suchP ∈ polynomial gives rise to a signature of (M, b) at . P P Example 8.6. The above results lead to a generalization of Theorem 2.4 of [GM 02]. We keep the notation of Example 1.1 and Example 8.5 with A = R[Γ]. Let (r, s) be the signature of the quadratic form b. By the above construction, to all semi-simple elements of SOr,s(R) we associate a signature ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 13

(and an index) at the irreducible, symmetric factors of its characteristic polynomial. Moreover, Proposition 8.3 shows that two such elements of SOr,s(R) are conjugate if and only if these signatures coincide. If t SO (R) is semi-simple and if is an irreducible, symmetric factor ∈ r,s P of the characteristic polynomial of t, we denote by τP (t) the corresponding ′ index. By Corollary 8.4, two semi-simple isometries t, t SOr,s(R) with ∈ ′ characteristic polynomial f are conjugate if and only if τP (t)= τP (t ) for each irreducible, symmetric factor of f. P 9. Simple modules and reduction We keep the notation of §7; we assume moreover that M is a simple A- module. Let E = AM be the image of A in End(M); by hypothesis, E carries an involution σ : E E induced by the involution of A. As in the previous section, we assume that→ E is a field, finite extension of K; let F be the fixed field of σ in E. Assume moreover that K is a global field, and let O be a ring of integers with respect to a finite set Σ of places of K, containing the infinite places if K is a number field. Let Λ be an O-algebra; assume that A = Λ O K, and that Λ is stable by the involution σ : A A. ⊗ → Recall that we denote by VK the set of places of K, by VΣ the set of places of K that are not in Σ, and by Kv the completion of K at v; let Ov be the ring of integers of Kv, let πv Ov be a uniformizer, and let kv = Ov/πvOv be v ∈ v v the residue field. Set M = M K Kv, E = E K Kv and Λ =Λ O Ov. As v ⊗ ⊗ v v ⊗ in §3, we denote by M (kv) the reduction mod πv of M . Let S be the set of places w of F above v such that E = E F is a field. If w Sv, we denote w ⊗ w ∈ by Ow the ring of integers of Ew, and by κw its residue field. v Proposition 9.1. Let v VΣ. The self-dual, simple components of M (kv) are isomorphic to κ for some∈ w Sv. w ∈ v v Proof. Let OEv be the maximal order of E , and note that OEv is a Λ -lattice v v in M = E . The simple components of OEv /πvOEv are the residue fields of the rings of integers of Ew for the places w VE above v; such a component is self-dual if and only if w Sv. This completes∈ the proof of the proposition. ∈ Example 9.2. Assume that Λ = O[Γ], hence A = Λ O K = K[Γ]. With the notation of Example 7.2, let f O[X] of type 1, let⊗ E = K[X]/(f) and n ∈ let M = [K[X]/(f)] for some integer n > 1. The homomorphism Ov kv induces p : O [X] k [X]. The self-dual, simple components of M→v(k ) v v → v v are isomorphic to kv[X]/( ), where kv[X] is an irreducible, symmetric P P ∈ n factor of the polynomial pv(f) kv[X]. Indeed, [Ov[X]/(f)] is a lattice in v n ∈ M = [Kv[X]/(f)] , hence the self-dual, simple components of the reduction mod π of M v are of the shape k [X]/( ) with k [X] as above. v v P P ∈ v 10. Twisting groups We start by recalling some notions and facts from [BT 20], §5. Assume that K is a field of characteristic =2. 6 14 EVA BAYER-FLUCKIGER

If F is a commutative semi-simple K-algebra of ﬁnite rank, and E a K- algebra that is free of rank 2 over F ; we denote by σ : E E the involution ﬁxing F , and we set →

× × T (E, σ)= F /NE/F (E ).

There is an exact sequence β 1 T (E, σ) Br(F ) res Br(E), → → −→ where res : Br(F ) Br(E) is the base change map (cf. [BT 20], Lemma 5.3). → Let d F × such that E = F (√d); then β(λ) is the class of the quaternion algebra∈(λ,d) in Br(F ). If E is a local ﬁeld, then we have a natural commutative diagram

(10.1) 1 / T (E, σ) / Br(F ) / Br(E)

θ inv inv 1/2 0 / Z/2Z / Q/Z 2 / Q/Z in which the vertical map θ : T (E, σ) Z/2Z is an isomorphism. → Assume now that E is a global ﬁeld. Let S be the set of places w of F such that E F is a ﬁeld. Then we have (cf. [BT 20], Theorem 5.7) ⊗F w Theorem 10.1. The sequence

P θw 1 T (E, σ) M T (Ew, σ) Z/2Z 0 → → −→ → w∈S is exact.

Let v be a place of K, and let w be a place of F above v. Recall that the following diagram commutes

invw / (10.2) Br(Fw) Q/Z

cor id invv / Br(Kv) Q/Z.

11. Residue maps Assume that K is a non-archimedean local field of characteristic = 2, that E is a finite field extension of K with a non-trivial involution σ : E 6 E and that F is the fixed field of σ. Let ℓ : E K be a non-trivial K-linear→ map such that ℓ(σ(x)) = ℓ(x) for all x E.→ Let O be the ring of integers of K, ∈ and let k be its residue field. Let OE be the ring of integers of E, and let mE be its maximal ideal; set κE = OE/mE. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 15

If n > 1 is an integer, we deﬁne a map t : T (E, σ) W b (K) n → E as follows. For λ T (E, σ), let us denote by hn,λ the n-dimensional diagonal hermitian form λ,∈ 1,..., 1 over E with respect to the involution σ, and set h i b qn,λ = ℓ(hn,λ); we obtain an element [qn,λ] WE(K). Recall that we have a homomorphism ∂ : W b (K) W (k). ∈ E → κE Proposition 11.1. For all integers n > 1, we have (a) If E/F is inert, then

∂ t : T (E, σ) W (k) ◦ n → κE is a bijection. (b) If E/F is ramiﬁed and char(k) =2, then 6 ∂ t : T (E, σ) W (k) ◦ n → κE is injective, and its image consists of the classes of forms of dimension n[κE : k] mod 2. (c) If E/F is ramiﬁed and char(k)=2, then

∂ t : T (E, σ) W (k) ◦ n → κE is constant.

Proof. Let δ be the valuation of the different ideal ; in other words, we DE/K have = mδ . DE/K E (a) Let σ : κ κ be the involution induced by σ. Since E/F is inert, E → E this involution is non-trivial. The group WκE (k) is isomorphic to the Witt group W (κE, σ) of hermitian forms over (κE, σ). Note that since k is a finite field, the group W (κE, σ) is of order 2.

Let πE be a generator of mE, and note that the class of πE is the unique non-trivial element of T (E, σ). By [BT 20], Corollary 6.2 and Proposition 6.3, we see that if δ is even, then ∂ t (1) = 0 and ∂ t (π ) =0; if δ and n are ◦ n ◦ n E 6 both odd, then ∂ tn(πE)=0 and ∂ tn(1) =0; if δ is odd and n is even, then ∂ t (1) = 0 and◦∂ t (π ) =0. Hence◦ ∂ 6 t is bijective. ◦ n ◦ n E 6 ◦ n (b) This follows from [BT 20], Proposition 6.6. (c) Follows from [BT 20], Proposition 6.7.

The following special case will be useful in the sequel.

Lemma 11.2. Assume that E/K is unramiﬁed. Then ∂ tn(1) = 0 in WκE (k) for all integers n > 1. ◦

Proof. The hypothesis implies that the valuation of the diﬀerent ideal E/K is zero, and that E/F is inert; hence Proposition 11.1 yields the desired result.D 16 EVA BAYER-FLUCKIGER

12. Hermitian forms and Hasse-Witt invariants Assume that K is a field of characteristic =2. The aim of this section is to give some results relating the invariants of hermitian6 forms and those of the quadratic forms obtained from them via transfer. Recall that every quadratic form q over K can be diagonalized, in other words there exist a ,...,a K× 1 n ∈ such that q a1,...,an . The determinant of q is by definition the product ≃h i × ×2 a1 ...an, denoted by det(q); it is an element of K /K . Let us denote by Br(K) the Brauer group of K, considered as an additive abelian group, and let Br2(K) be the subgroup of elements of order 2 of Br(K). The Hasse-Witt invariant of q is by definition w (q) = Σ (a ≤, a ) Br (k), where (a , a ) is 2 i

Proof. Let La : F HomK (F,K) be defined by La(x)(y) = ℓF (axy) for all x, y F , and let m →: F F be the multiplication by a; we have L = L m . ∈ a → a 1 ◦ a Since det(La)= Da and det(ma) = NF/K(a), the lemma follows. If h : M M E is a non-degenerate hermitian form, composing with ℓ gives rise× to a quadratic→ form ℓ(h): M M K defined by ℓ(h)(x, y) = ℓ(h(x, y)). × → Proposition 12.2. Let h : M M E be a non-degenerate hermitian form, and let n = dim(M). The determinant× → of the quadratic form ℓ(h) is N ( d)n. F/K − Proof. It suffices to prove the proposition when n = 1. Let λ F × be such that h(x, y)= λxσ(y). Since ℓ(σ(x)= ℓ(x) for all x E, we have∈ ℓ(√d)=0, hence ℓ(h) is the orthogonal sum of two quadratic∈ forms defined on the K- vector space F , namely (x, y) ℓF (λxy) and (x, y) ℓF ( dλxy), where ℓF is the restriction of ℓ to F . The7→ determinant of ℓ(h7→) is the− product of the determinant of these two forms. Lemma 12.1 implies that the determinant of the first one is NF/K(λ)D1, and of the second one NF/K( d)NF/K (λ)D1; this completes the proof of the proposition. −

× Notation 12.3. For all λ F and all integers n > 1, let hn,λ be the n-dimensional diagonal hermitian∈ form h = λ, 1,..., 1 over E, and set n,λ h i qn,λ = ℓ(hn,λ). ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 17

Proposition 12.4. Let λ F × and let n > 1 be an integer. We have ∈ w2(qn,λ)= w2(qn,1)+corF/K(λ,d) in Br2(K). To prove this proposition, we recall a theorem of Arason. If k is a field of characteristic =2, we denote by I(k) the ideal of even dimensional forms of the 6 2 Witt ring W (k), and by e2 : I (k) Br2(k) be the homomorphism sending a 2-fold Pfister form a, b to the class→ of the quaternion algebra ( a, b) (see for instance [AEJ 84]).hh ii − − Theorem 12.5. (Arason) Let s : F K be a non-trivial linear form. If Q I2(F ), then s(Q) I2(K), and → ∈ ∈ e2(s(Q)) = corF/K(e2(Q)) in Br2(K). Proof. See [AEJ 84], Theorem 1.21, or [Ar 75], Satz 4.1 and Satz 4.18. Corollary 12.6. If Q I2(F ), then ∈ w2(s(Q)) = corF/K(w2(Q)) in Br2(K). Proof. [L 05], Proposition 3.20 implies that for Q I2(F ), either w (Q) = ∈ 2 e2(Q) or w2(Q)= e2(Q)+( 1, 1). In the first case, there is nothing to prove; assume that w (Q) = e (Q−)+(− 1, 1). We have e (Q) = cor (e (Q)) by 2 2 − − 2 F/K 2 Theorem 12.5. Since w2(Q) = e2(Q)+( 1, 1), we have corF/K(w2(Q)) = [F :K] − − corF/K(e2(Q)) + ( 1, ( 1) ) = corF/K(e2(Q))[F : K]( 1, 1). On the other hand, w (s(Q−)) =− e (s(Q)) + [F : k]( 1. 1) (see [L− 05],− Proposition 2 2 − − 3.20), and this implies that w2(s(Q)) = corF/K (w2(Q)), as claimed. For all n N, set D = N ( d)n; Proposition 12.2 implies that ∈ n F/K − det(qn,λ)= Dn for all λ F ×. ∈ Proof of Proposition 12.4. Assume first that n = 1, and let s : F K → be the restriction of ℓ : E K to F . Note that ℓ(h1,1) = s( 2, 2d ), and ℓ(h ) = s( 2, 2λd ). Set→q = 2, 2d , q = 2, 2λd , andh Q−= qi + q . 1,λ h − i 1 h − i 2 h − i 1 2 We have w2(Q)= w2(q1)+ w2(q2)+(det(q1), det(q2))=(λ,d)+( 1,d), hence cor (w (Q)) = cor (λ,d)+( 1, N ( d)). On the other− hand, we F/K 2 F/K − F/K − have w2(s(Q)) = w2(s(q1)) + w2(s(q2)) + (det(s(q1)), det(s(q2)). By Propo- sition 12.2, we have det(s(q1)) = det(s(q2)) = NF/K( d), hence w2(s(Q)) = w (s(q ))+w (s(q ))+( 1, N ( d)). By Corollary 12.6,− we have w (s(Q)) = 2 1 2 2 − F/K − 2 corF/K(w2(Q)), therefore w2(s(q1)) + w2(s(q2)) = corF/K(λ,d). Since q1,1 = ℓ(h1,1) = s(q1) and q1,λ = ℓ(h1,λ) = s(q2), this proves the proposition when n =1. Asssume now that n > 2. We have

w2(qn,λ)= w2(q1,λ)+(D1,Dn−1)+ w2(qn−1,1), and w2(qn,1)= w2(q1,1)+(D1,Dn−1)+ w2(qn−1,1). 18 EVA BAYER-FLUCKIGER

By the one-dimensional case, we have w2(q1,λ) = w2(q1,1) + corF/K(λ,d), hence w2(qλ)= w2(qn,1)+corF/K (λ,d), as claimed.

Local ﬁelds Assume that K is a local ﬁeld.

Lemma 12.7. Two hermitian forms over E having the same dimension and determinant are isomorphic.

Proof. See for instance [Sch 85], 10.1.6, (ii).

Proposition 12.8. Let λ F ×, let h be an n-dimensional hermitian form of determinant λ over E, and∈ set q = ℓ(h). We have

w2(q)= w2(qn,1)+corF/K(λ,d)

in Br2(K).

Proof. If K is a non-archimedean local ﬁeld, then by Lemma 12.7 the hermitian form h is isomorphic to the diagonal form hn,λ = λ, 1,..., 1 , hence the statement follows from Proposition 12.4. h i Assume now that K = R; then F = K = R, and E = C, hence d = 1. We have h = λ ,...,λ = λ λ with λ R. Note that det(ℓ(−λ )= h 1 ni h 1i⊕···⊕h ni i ∈ h ii 1 for all i; hence we have w2(q)= Pw2(ℓ( λi )) and w2(qn,1)= Pw2(ℓ( 1 )). i∈I h i i∈I h i We have ℓ(λ ) = 1, 1 if λ > 0, and ℓ(λ ) = 1, 1 if λ < 0; note that i h i i i h− − i i w2( 1, 1 )=0 and w2( 1, 1 )=1. This implies that w2(q) = w2(qn,1) if andh onlyi if λ is negativeh− for− ani even number of i I. On the other hand, i ∈ v corF /Kv (λ,d)=0 if and only if λi is negative for an even number of i I; this concludes the proof of the proposition. ∈

13. Obstruction The aim of this section is to describe an obstruction group in a general situation. The group depends on a ﬁnite set I, a set V and, for all i, j I, ∈ a subset Vi,j of V ; in the applications, the vanishing of the group detects the validity of the local-global principle (also called Hasse principle). To obtain a necessary and suﬃcient condition for the Hasse principle to hold, we need additional data; in the applications, it is provided by local solutions. For all v V , we give ourselves a set v having certain properties (see below for details);∈ this set corresponds to theC local data.

The basic setting Let I be a ﬁnite set, let be an equivalence relation on I, and let I be the set of equivalence classes.∼ Let C(I) be the set of maps I Z/2Z. Let → C∼(I) be the subgroup of C(I) consisting of the maps that are constant on ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 19

the equivalence classes, and note that C∼(I)= C(I); it is a ﬁnite elementary abelian 2-group.

Let X∼(I) be the quotient of C∼(I) by the constant maps; equivalently, we can regard X∼(I) as the quotient of C(I) by the constant maps. We start by giving some examples that will be useful in the sequel. Example 13.1. This example will be used in §14 and §18. We say that two finite extensions L1 and L2 of a field K are independent over K if the tensor product L1 K L2 is a field. Let E = QEi be a product of finite field ⊗ i∈I extensions Ei of K, and let us consider the equivalence relation generated by the elementary equivalence ∼ i j E and E are independent over K. ∼e ⇐⇒ i j We denote by Xindep(E) = X∼(I) the quotient of C∼(I) by the constant maps. Example 13.2. For all i I, let f Z[X] be symmetric, irreducible ∈ i ∈ polynomials of even degree; if p is a prime number, we denote by fi (mod p) the polynomial in Fp[X] obtained by reduction modulo p.

Let Vi,j be the set of prime numbers such that fi (mod p) and fj (mod p) have a common irreducible, symmetric factor in Fp[X]. Let us consider the equivalence relation generated by the elementary equivalence ∼ i j V = ∅, ∼e ⇐⇒ i,j 6 int and let X be the group X∼(I) deﬁned above. This group will play an important role in the “integral" Hasse principle of §25.

Let Vi be the set of prime numbers such that fi (mod p) has an irreducible, symmetric factor in Fp[X]. Let us consider the equivalence relation generated by the elementary equivalence ≈ i j V V = ∅, ≈e ⇐⇒ i ∩ j 6 and let Xrat be the group X (I) deﬁned above. We have V V V , hence ≈ i,j ⊂ i ∩ j i j = i j; therefore Xrat is a subgroup of Xint. The group Xrat plays a∼ role in⇒ a “rational"≈ Hasse principle (see §17).

Equivalence relation on C(I) As above, I is a ﬁnite set and an equivalence relation on I. If i, j I, let c C(I) be such that c (i)=∼ c (j)=1 and c (k)=0 if k = i, j.∈ Let i,j ∈ i,j i,j i,j 6 (i, j): C(I) C(I) be the map sending c to c + ci,j. We also denote by the equivalence→ relation on C(I) generated by the elementary equivalence ∼

c c′ c =(i, j)(c′) ∼e ⇐⇒ for some i, j I such that i j. ∈ ∼ The following remark will be useful in the sequel 20 EVA BAYER-FLUCKIGER

Lemma 13.3. Let a, b C(I) such that a b. Then we have ∈ ∼ X c(i)a(i)= X c(i)b(i) i∈I i∈I for all c C (I). ∈ ∼ Proof. We can assume that b = (i, j)(a) for some i, j I such that i j. ∈ ∼ Since c C∼(I), we have c(i) = c(j), hence P c(k)a(k) = P c(k)b(k), as ∈ k∈I k∈I claimed.

The sets V , Vi,j and the associated equivalence relations

Let V be a set, and for all i, j I, let Vi,j be a subset of V . We take for the equivalence relation generated∈ by ∼ i j V = ∅, ∼ ⇐⇒ i,j 6 and the equivalence relation on C(I) generated by ∼ c c′ c =(i, j)(c′) ∼ ⇐⇒ for V = ∅. i,j 6 Let X = X∼(I) be the group corresponding to the equivalence relation deﬁned as above. ∼

For all v V , we deﬁne equivalence relations v on I and C(I), generated by ∈ ∼ i j v V , ∼v ⇐⇒ ∈ i,j and c c′ c =(i, j)(c′) ∼v ⇐⇒ for some i, j I with v V . ∈ ∈ i,j ′ ′′ Let V = V V , and assume that for all i, j I, if Vi,j = ∅, then V V ′ = ∅. ∪ ∈ 6 i,j ∩ 6 For all v V , let Av Z/2Z be such that ∈ ∈ (i) Av =0 for almost all v V , and ∈ v XA =0. v∈V

For all v V , we consider subsets v of C(I) satisfying the conditions (ii) and (iii) below∈ : C (ii) For all av v, we have ∈ C v v Xa (i)= A . i∈I

(iii) If v V ′, then v is stable by the maps (i, j) for i j. ∈ C ∼v ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 21

Let be the set of the elements (av) with av v such that av = 0 for almostC all v V . ∈ C ∈ We now prove some results that will be useful in the following sections. v For all a and i I, set Σi(a)= P a (i). ∈ C ∈ v∈V Proposition 13.4. Let a , and let i, j I be such that i j. Then there ∈ C ∈ ∼ exists b such that Σi(b) = Σi(a), Σj(b) = Σj(a), and Σk(b) = Σk(a) for all k = i, j.∈ C 6 6 6 ∅ Proof. Let i1,...,ik I be such that i = i1, j = ik, and that Vis,is+1 = for all s =1,...,k 1; therefore∈ V V ′ = ∅ for all s =1,...,k 1.6 − is,is+1 ∩ 6 − ′ v v If v Vis,is+1 V , then by condition (iii) the map (is, is+1) sends to . ∈ ∩ v C C Consider the map that is equal to (is, is+1) on C , and is the identity w C → C on if w = v. Applying to a the maps induced by (i1, i2),..., (ik−1, ik) successivelyC 6 yields b with the∈ C required properties. ∈ C If c X and a =(av) , then by conditions (i) and (ii) the sum ∈ ∈ C v X X c(i)a (i) v∈V i∈I is well-deﬁned. The following result is used in §17 and §23 to give necessary and suﬃcient conditions for some Hasse principles to hold.

Theorem 13.5. Let a =(av) such that ∈ C v X X c(i)a (i)=0 v∈V i∈I for all c X. Then there exists b =(bv) such that ∈ ∈ C v Xb (i)=0 v∈V for all i I. ∈

Proof. If Σi(a)=0 for all i I, then we are done. Assume that Σi0 (a)=1. We claim that there exists i ∈I with i = i and i i such that Σ (a)=1. In ∈ 6 0 ∼ 0 i order to prove this claim, let c C(I) be such that c(i0)=1 and that c(i)=0 if i = i . Then we have ∈ 6 0 v X X c(i)a (i) = Σi0 (a)=1, v∈V i∈I hence c X. Therefore c is not constant on the equivalence classes. This implies that6∈ there exists i I with i = i such that i i . If Σ (a)=1, 1 ∈ 1 6 0 1 ∼ 0 i1 we stop. Otherwise, let c C(I) be such that c(i0) = c(i1)=1 and c(i)=0 if i = i , i . We have ∈ 6 0 1 v X X c(i)a (i) = Σi0 (a)=1, v∈V i∈I 22 EVA BAYER-FLUCKIGER

hence c X. Therefore c is not constant on the equivalence classes. This implies that6∈ there exists i I, i = i , i , such that either i i or 2 ∈ 2 6 0 1 2 ∼ 0 i2 i1. Note that since i1 i0, we have i2 i0 in both cases. Since I ∼ ∼v ∼ is ﬁnite and that P P c(i)a (i)=0, we eventually get ir I with ir = i0, v∈V i∈I ∈ 6 i i , and Σ (a)=1. By Proposition 13.4, there exists b such that r ∼ 0 ir ∈ C Σi0 (b) = Σir (b)=0. Continue inductively until the theorem is proved.

Under some additional hypothesis on v for v V ′′, the necessary and suﬃcient condition for the Hasse principleC can be given∈ by the vanishing of a homomorphism :

The homomorphism

Let us make the additional assumption that

(iv) For all v V , the set v is a subset of an -equivalence class of C(I). ∈ C ∼v

Let a . We deﬁne a homomorphism α = αa : X Z/2Z as follows. For all c ∈X C , we set → ∈

v α(c)= X X c(i)a (i). v∈V i∈I Note that this is well-deﬁned, since by conditions (i) and (ii)

v v XXa (i)= XA =0. v∈V i∈I v∈V Proposition 13.6. The homomorphism α is independent of the choice of a . ∈ C v v Proof. Let a =(a ), b =(b ) , and let us show that αa = αb. Let v V . v v v v ∈ Cv v v ∈ Since a , b , we have a v b , hence a b . Therefore by Lemma 13.3, we have ∈ C ∼ ∼ v v X c(i)a (i)= X c(i)b (i). i∈I i∈I This holds for all v V , hence α = α . ∈ a b

Corollary 13.7. Let a , and assume that αa = 0. Then there exists b =(bv) such that ∈ C ∈ C v Xb (i)=0 v∈V for all i I. ∈

Proof. This follows from Theorem 13.5. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 23

14. Obstruction group - the rational case The aim of this section is to associate an “obstruction group" to certain algebras with involution; this group will play an important role in the Hasse principle results of the following sections. Assume that K is a global field of characteristic = 2, and let I be a finite 6 set. For all i I, let Ei be a finite degree extension of K, and let σi : Ei Ei ∈ →× be a non-trivial involution; let Fi be the fixed field of σi, and let di Fi be √ ∈ such that Ei = Fi( di). Set F = QFi and E = QEi; let σ : E E be the i∈I i∈I → involution such that the restriction of σ to Ei is equal to σi.

We denote by VK the set of places of K. Notation 14.1. For all i I, let V be set of places v V such that there ∈ i ∈ K exists a place of Fi above v which is inert or ramiﬁed in Ei.

Let X = XE be the group constructed in §13 using the data I and Vi,j = Vi Vj; recall that the equivalence relation on I is generated by the elementary∩ equivalence ∼ i j V V = ∅, ∼e ⇐⇒ i ∩ j 6 that C (I) is the subgroup of C(I) consisting of the maps I Z/2Z that are ∼ → constant on the equivalence classes, and that XE is the quotient of C∼(I) by the constant maps. In the remaining of the section, we give some examples and some results that will be used in the next sections. We start by giving some examples in which the obstruction group is trivial.

Example 14.2. Assume that there exists a real place v of K such that for all i I, there exists a real place of F above v which extends to a complex place ∈ i of Ei. Then XE = 0. Indeed, v Vi for all i I, hence Vi Vj = ∅ for all i, j I. Therefore all the elements∈ of I are equivalent,∈ and this∩ implies6 that ∈ XE =0. In particular, if K = Q, and if for all i I, the ﬁeld E is a CM ﬁeld (that ∈ i is, Ei is totally complex and Fi is totally real), then XE =0.

Recall that two finite extensions K1 and K2 of K are independent if the tensor product K K is a field. If K and K are subfields of a field 1 ⊗K 2 1 2 extension Ω of K, then this means that K1 and K2 are linearly disjoint.

Proposition 14.3. Assume that Ei and Ej are independent ﬁeld extensions of K. Then V = ∅. i,j 6 Proof. Let Ω/K be a Galois extension containing Ei and Ej, and set G = Gal(Ω/L). Let Hi Gi and Hj Gj be subgroups of G such that we have Hi H⊂j ⊂Gi Gj Ei = Ω , Ej = Ω and Fi = Ω , Fj = Ω . Since Ei/Fi and EJ /FJ are quadratic extensions, the subgroup Hi is of index 2 in Gi, and Hj is of index 2 in Gj. By hypothesis, Ei and Ej are linearly disjoint over K, therefore [G : H H ] = [G : H ][G : H ]. Note that F and F are also linearly i ∩ j i j i j 24 EVA BAYER-FLUCKIGER

disjoint over K, hence [G : G G ] = [G : G ][G : G ]. This implies that i ∩ j i j [Gi Gj : Hi Hj]=4, hence the quotient Gi Gj/Hi Hj is an elementary abelian∩ group∩ of order 4. ∩ ∩

The field Ω contains the composite fields FiFj and EiEj. By the above argument, the extension EiEj/FiFj is biquadratic. Hence there exists a place of FiFj that is inert in both EiFj and EjFi. Therefore there exists a place v of K and places wi of Fi and wj of Fj above v such that wi is inert in Ei, and w is inert in E , hence v V V ; by definition, this implies that v V . j j ∈ i ∩ j ∈ i,j Recall from §13, Example 13.1, the equivalence relation on I generated by the elementary equivalence ≈ i j E and E are independent over K, ≈e ⇐⇒ i j and that we denote by Xindep(E)= X≈(I) the associated obstruction group (cf. §13). Proposition 14.3 implies that the identity C(I) C(I) induces a surjection X (E) X . Hence we have → indep → E Corollary 14.4. Assume that Xindep(E)=0; then XE =0. On the other hand, one can show that all elementary abelian 2-groups occur as XE for some (E, σ). Finally, we show a result that will be used in §20 to prove an odd degree descent property. Let K′/K be a finite extension of odd degree. We define a homomorphism

X X ′ E E⊗K K →′ ′ ′ as follows. For all i I, let Fi K K = Q Fi,j, where Fi,j is a field extension ∈ ⊗ j∈I(i) of K′. Set I′ = (i, j) i I, j I(i) and the image of d in F ′ is not a square}. { | ∈ ∈ i i,j Let π : I′ I be the map sending (i, j) to i; this map induces a homomorphism π′ : C→(I) C(I′). → Proposition 14.5. The map π′ : C(I) C(I′) induces an injective homomorphism → ′ π : X X ′ . E → E⊗K K ′ ′ ′ Proof. Let us show that π sends C∼(I) to C∼(I ). Let (i1, j1), (i2, j2) I be ∈ ∅ such that (i1, j1) e (i2, j2); by definition, this means that V(i1,j1),(i2,j2) = . ′ ∼ ′ 6 Let v V(i1,j1),(i2,j2), and let v VK be the restriction of v to K. Then ∈ ∈ ′ ′ v Vi1,i2 , hence i1 e i2. This shows that if c C∼(I), then π (c) C∼(I ), ∈ ∼ ∈ ′ ∈ hence we have a well-defined homomorphism C∼(I) C∼(I ). This in turn ′ → induces a homomorphism π : X X ′ , and it is clearly injective. E → E⊗K K 15. Twisting groups and equivalence relations In this section, we introduce some notation that will be used throughout the paper; we also prove some results concerning equivalence relations defined on the twisting groups. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 25

We keep the notation of §14. If v VK, we denote by Kv the completion of K at v, and set Ev = E K , F v∈= F K . i i ⊗K v i i ⊗K v Notation 15.1. For all i I, let Si be the set of places w of Fi such that E (F ) is a field. If w∈ S , set Ew = E (F ) , and let i ⊗Fi i w ∈ i i i ⊗Fi i w θw : T (Ew, σ ) Z/2Z i i i → v be the isomorphism defined in (10.1). If v VK, we denote by Si the set of places of S above v. For all v V , set ∈ i ∈ K v w T (Ei , σi)= Y T (Ei , σi), v w∈Si and v v T (E , σ)= YT (Ei , σi). i∈I v w v Recall that C(I) is the set of maps I Z/2Z. For all λ =(λi ) T (E , σ), we define a(λv) C(I) by setting → ∈ ∈ v w w a(λ )(i)= X θi (λi ). v w∈Si

Let C˜(I) be the set of maps I Q/Z. If λv = (λw) T (Ev, σ), let → i ∈ a˜(λv) C˜(I) be deﬁned by ∈ v v v a˜(λ )(i) = invv(corF /Kv (λi ,di)).

v For all v VK, let CT v (I) be the subset of C(I) consisting of the maps a(λ ) v ∈ v for λ T (E , σ). Similarly, let us denote by C˜T v (I) be the subset of C(I) consisting∈ of the maps a˜(λv) for λv T (Ev, σ). ∈ Lemma 15.2. Let v V . Sending a(λv) to a˜(λv) gives rise to a bijection ∈ K C v (I) C˜ v (I). T → T Proof. Let ι : Z/2Z Q/Z be the canonical injection, and let us also → denote by ι the induced injection C(I) C˜(I). Let us show that for all λv T (Ev, σ), we have a˜(λv)= ι a(λv). → ∈ ◦ v w v Recall from (10.1) that for all λ = (λi ) T (E , σ), the injection ι : w w w ∈ v w v Z/2Z Q/Z sends θi (λi ) to invw(λi ,di). Since a(λ )(i) = θi (λi ), Pv → w∈Si ˜ v w the injection ι : C(I) C(I) sends a(λ )(i) to invw(λi ,di). By Pv → w∈Si w (10.2), this is equal to invv(cor(Fi,w/Kv (λi ,di)), which in turn is equal Pv w∈Si v v v to inv (cor v (λ ,d )); hence we have a˜(λ )= ι a(λ ), as claimed. v F /Kv i i ◦

Note that C(I) is a group, and that CT v (I) is a subgroup of C(I). Recall that for all i I, we denote by V the set of places v V such that ∈ i ∈ K there exists a place of Fi above v which is inert or ramiﬁed in Ei. Note that 26 EVA BAYER-FLUCKIGER

v V Sv = ∅. ∈ i ⇐⇒ i 6 Lemma 15.3. The subgroup CT v (I) of C(I) is stable by the maps (i, j) for v V V . ∈ i ∩ j v w v Proof. Let v Vi Vj, and let λ = (λi ) T (E , σ). Let (+1) : Z/2Z be the map sending∈ n to∩ n +1. Let w Sv, and∈ w Sv. Set i ∈ i j ∈ j µwi = [(θwi )−1 (+1) θwj ](λwj ), i i ◦ ◦ j j µwj = [(θwj )−1 (+1) θwi ](λwi ), j j ◦ ◦ i i and µw = λw for all (r, w) =(i, w ), (j, w ). Then µv =(µw) T (Ev, σ), and r r 6 i j i ∈ a(µv)=(i, j)a(λv).

Let v V , and let Av Z/2Z. ∈ K ∈ v w v Notation 15.4. Let v be the set of λ =(λ ) T (E , σ) such that LA i ∈ v v A = Xa(λ )(i), i∈I v v and let v be the set of a(λ ) for λ v . CA ∈LA Let be the equivalence relation on C(I) generated by ≡v c c′ c =(i, j)(c′) ≡v ⇐⇒ for some i, j I with v V V . ∈ ∈ i ∩ j Proposition 15.5. The set v is a -equivalence class of C(I). CA ≡v

Proof. Let us ﬁrst show that Av is stable by the maps (i, j) for v Vi Vj. v C v v ∈ ∩v Let λ Av . By Lemma 15.3, there exists µ T (E , σ) such that a(µ )= (i, j)a(λ∈Lv). Note that this implies that ∈

v v v Xa(µ )(r)= Xa(λ )(r)= A , r∈I r∈I v hence µ v . ∈LA v v v v v v Let us show that if λ ,µ Av , then a(λ ) v a(µ ). If a(λ )(i)= a(µ )(i) for all i I, there is nothing∈L to prove. Suppose≡ that there exists i I such that a(λv∈)(i) = a(µv)(i); then Sv = ∅ , hence v V . By hypothesis,∈ we have 6 i 6 ∈ i v v v Xa(µ )(r)= Xa(λ )(r)= A , r∈I r∈I therefore there exists j I, j = i, such that a(λv)(j) = a(µv)(j). This implies ∈ 6 v 6 v that v Vj, hence v Vi Vj. The map (i, j)a(λ ) diﬀers from a(µ ) in less elements∈ than a(λv).∈ Since∩ I is a ﬁnite set, continuing this way we see that a(λv) a(µv). ≡v ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 27

16. Local data - the rational case

We keep the notation of §15; in particular, K is a global field of characteristic =2. Let M be an A-module satisfying the hypotheses of §7 with =(E ) . 6 AM i i∈I Recall that Ei/K is a finite field extension of K and that σ(Ei) = Ei for all i I. In addition, assume that for all i I, the restriction of σ to E is ∈ ∈ i non-trivial. The fixed field of this involution is denoted by Fi; hence Ei/Fi is √ × a quadratic extension, and Ei = Fi( di) for some di Fi . Set F = QFi, ∈ i∈I and E = QEi. i∈I

Let v VK, and let q be a quadratic form over Kv which is compatible with the module∈ M K . We now associate a subset of T (Ev, σ) to q and M. ⊗K v We have M Mi with Mi isotypic, such that Mi is a ﬁnite dimensional ≃i ⊕∈I v Ei-vector space. By Proposition 7.1 there exist quadratic forms qi over Kv v compatible with Mi K Kv such that q qi . Set ni = dimEi (Mi). By ⊗ ≃i ⊕∈I v v Proposition 7.4 there exist ni-dimensional hermitian forms hi over Ei such v v v v v that qi ℓi(hi ). Set λi = det(hi ), and let us denote by i the set of v ≃v v v LR λi T (Ei , σi) that are obtained this way. Let λ =(λi ), and let us denote by ∈v v v v v v v the set of λ with λi i . Let be the set of a = a(λ ) CT v (I) LR v v ∈ LR CR ∈ with λ (cf. §15). Let d =(di), and set qn,1 = qni,1. ∈ LR i⊕∈I Proposition 16.1. Let λv v. Then we have ∈ LR v w2(q)= w2(qn,1)+corF/K(λ ,d) in Br2(Kv). v v Proof. By Proposition 12.8, we have w2(qi ) = w2(qni,1) + corF/K(λi ,di) in Br2(Kv) for all i I and all v VK . Using [Sch 85], Chapter 2, Lemma 12.6, ∈ ∈ v this gives the desired result, noting that det(qi ) = det(qni,1) for all i I and v V . ∈ ∈ K ˜v v w v Set A = invv(w2(q)+ w2(qn,1)). Recall that for λ = (λi ) T (E , σ), we v v v ∈ ˜ v ˜ deﬁned a˜(λ ) C(I) by a˜(λ )(i) = invv(corF /Kv (λi ,di)). Let A˜v be the set of λv =(λw) ∈T (Ev, σ) such that L i ∈ v v A˜ = Xa˜(λ )(i), i∈I v v and let ˜˜ the set of a˜(λ ) for λ ˜ ˜v . CA ∈ LA Let ι : Z/2Z Q/Z be the canonical injection, and let A Z/2Z be such → v v v∈ that ι(A)= A˜. Recall that v is the set of λ =(λ ) T (E , σ) such that LA i ∈ v v A = Xa(λ )(i), i∈I v v and that v is the set of a(λ ) for λ v . CA ∈LA v Proposition 16.2. The set is contained in v . CR CA 28 EVA BAYER-FLUCKIGER

v v v ˜ Proof. Let us ﬁrst note that if λ , then a˜(λ ) belongs to A˜v . Indeed, v ∈ LR v C v v since invv(corF /Kv (λ ,d)) = Pinvv(corF /Kv (λi ,di)), this is a consequence of i∈I Proposition 16.1; the proposition now follows from Lemma 15.2.

Corollary 16.3. The set v is contained in an -equivalence class of C(I). CR ≡v Proof. This follows from Propositions 16.2 and 15.5. Local data - finite places In the case of finite places, we have more precise information : as we will v v see, the sets and v coincide, and hence is an -equivalence class. CR CA CR ≡v v v v v v If λ =(λi ) T (E , σ) for some v VK, set qn,λ = qni,λ . ∈ ∈ i⊕∈I i Proposition 16.4. Suppose that v is a finite place. Then Rv is equal to the v v L set of λ T (E , σ) such that q q v . ∈ ≃ n,λ v v v v Proof. It is clear that if λ T (E , σ) such that q qn,λv , then λ R . Conversely, let λv Rv, and∈ let hv be a hermitan≃ form over Ev such∈ L that v ∈ Lv v v q ℓ(h ) and det(h ) = λ . By Lemma 12.7 we have h h v , hence ≃ ≃ n,λ q q v . ≃ n,λ Proposition 16.5. Suppose that v is a finite place. Let λv T (Ev, σ), Then λv v if and only if ∈ ∈ LR v w2(q)= w2(qn,1)+corF/K(λ ,d)

in Br2(Kv).

v v Proof. If λ , then by Proposition 16.1 we have w2(q) = w2(qn,1)+ v ∈ LR corF/K(λ ,d). Let us show the converse. We have w2(qn,λv ) = w2(qn,1) + v corF/K(λ ,d) in Br2(Kv), therefore w2(qn,λv ) = w2(q) in Br2(Kv). By Propo- × ×2 sition 12.2, we have det(qn,λv ) = det(q) in Kv /Kv , therefore the quadratic forms q and qn,λ have the same dimension, determinant and Hasse-Witt invariant; hence they are isomorphic over K . This implies that λv v. v ∈ LR v Proposition 16.6. Suppose that v is a ﬁnite place; then = v . CR CA v ˜ Proof. By Proposition 16.5, we have = A˜v ; hence the statement follows from Lemma 15.2. CR C

Corollary 16.7. Suppose that v is a ﬁnite place. Then the set v is an -equivalence class of C(I). CR ≡v Proof. This follows from Propositions 16.6 and 15.5. Local data - real places

Suppose that v VK is a real place. We say that a quadratic form q has maximal signature∈ at v (with respect to M) if the signature of q at v is equal to the signature of q or of q at v. n,1 − n,1 ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 29

Proposition 16.8. Assume that q does not have maximal signature at v, and v let a R . Then there exist i, j I with v Vi Vj such that (i, j)a belongs to R∈v. C ∈ ∈ ∩ C Proof. Let λv =(λw) v such that a = a(λv). Since the signature of q at r ∈ LR v is not maximal, there exist i, j I with v Vi Vj and wi VFi , wj VFj wi wj ∈ ∈ ∩ wi ∈ wj ∈ above v such that λi and λj have opposite signs (λi > 0 and λj < 0, or w w vice versa). For all r I and w VFr above v, let µr T (Er , σ) be such w w ∈ ∈ ∈ wi wi that µr = λr if (w,r) = (wi, i) and (w,r) = (wj, j), that µi = λi and µwj = λwj . We have µv6 =(µw) v, and6 a(µv)=(i, j)a(λv). − j − j r ∈ CR 17. Local-global problem - the rational case We keep the notation of the previous sections; in particular, M is an A- module satisfying the hypotheses of §16, and M = (Ei)i∈I . If (V, q) is a quadratic form over K, we consider the followingA local and global conditions :

(L 1) For all v VK, the quadratic form (V, q) K Kv is compatible with the module M K ∈. ⊗ ⊗K v (G 1) The quadratic form (V, q) is compatible with the module M. Proposition 17.1. Assume that condition (L 1) is satisﬁed. Then condition v (G 1) holds if and only if there exists λ = (λi) T (E, σ) such that λ for all v V . ∈ ∈ LR ∈ K

Proof. We have M Mi with Mi isotypic, such that Mi is a ﬁnite ≃i ⊕∈I dimensional Ei-vector space. If condition (G 1) holds, then q qi, where ≃i ⊕∈I the quadratic form qi is compatible with Mi (cf. Proposition 7.1). For all i I, let hi be a hermitian form over Ei such that qi = ℓi(hi), set λi = det(hi), and∈ λ =(λ ); we have λ v for all v V . i ∈ LR ∈ K Let us prove the converse. Let λ = (λ ) T (E, σ) such that λ v for i ∈ ∈ LR all v VK , and let hi be a hermitian form of dimension ni over Ei such that ∈ v det(hi) = λi and that signv(hi) = signv(hi ) for all real places v VK; for the existence of such a hermitian form, see for instance [Sch 85], 10.6.9.∈ Let ′ ′ qi = ℓi(hi) and q = qi. The quadratic form q is compatible with M by i⊕∈I construction; its dimension, signatures and determinant are the same as those of q [this clear for the dimension and the signatures; for the determinant, it follows from Proposition 12.2]. By Proposition 12.8, we have ′ v corF /Kv (λ,d)= w2(q )+ w2(qn,1) in Br (K ) for all v V . On the other hand, since λ v for all v V , 2 v ∈ K ∈ LR ∈ K v by Proposition 16.1 we have corF /Kv (λ,d) = w2(q)+ w2(qn,1) in Br2(Kv) for ′ ′ all v VK ; therefore w2(q ) = w2(q) in Br2(K). This implies that q q, hence∈ condition (G 1) holds. ≃

Recall from §14 the deﬁnition of the group XE = XE,σ; recall that for all v v VK and i I, the set Si consists of the places w of Fi such that Ei Fi (Fi)w is∈ a ﬁeld, and∈ that if i I, we denote by V the set of places v V such⊗ that ∈ i ∈ K 30 EVA BAYER-FLUCKIGER

v ∅ X Si = . The group E is the one constructed in §13 using the data I and V 6 = V V ; see §14 for details. i,j i ∩ j Note that XE does not depend on the module M, only on the algebra with involution E.

Theorem 17.2. (i) Assume that XE =0, and let q be a quadratic form such that (L 1) holds. Then (G 1) holds as well. (ii) If X =0, there exists a quadratic form satisfying (L 1) but not (G1). E 6 The proof of this theorem will be given later, after the construction of the obstruction homomorphism.

If the obstruction group XE is not trivial, then the validity of the Hasse principle also depends on the choice of the quadratic form. Local data Let q be a non-degenerate quadratic form over K, and let us assume that condition (L 1) holds. Recall from Section 16 that a local solution gives rise to sets v and v for all v V . LR CR ∈ K Let be the set of the elements (av), av v, such that av = 0 for almostCR all v V . Let us show that this set is not∈ CR empty. ∈ K Proposition 17.3. Assume that condition (L 1) holds. Then the set is not empty. CR

Proof. Let S be the subset of VK consisting of the places v VK such that Av =0 and the infinite places; this is a finite set. ∈ 6 v v Let v VK be such that v S. Let λ , and assume that there exists ∈ v 6∈ ∈ LRv v i I such that a(λ )(i) = 0. Recall that A = Pa(λ )(r). Since v S, by ∈ 6 r∈I 6∈ hypothesis Av =0; therefore there exists j I, j = i, with a(λv)(j) =0. Note v v ∈ 6 v ∅ v 6 ∅ that since a(λ )(i) =0 and a(λ )(j) =0, we have Si = and Sj = , hence v V V . 6 6 6 6 ∈ i ∩ j Note that v is a finite place, since v S; hence by Proposition 16.7, the map (i, j)a(λv) belongs to CRv. Moreover,6∈ this map vanishes at i and j. If (i, j)a(λv)=0, we stop; otherwise we continue, and after a finite number of steps we obtain the zero element of C(I). Since this holds for all v VK such that v S, the proposition is proved. ∈ 6∈ The homomorphism and the Hasse principle We apply the results of §13 with the sets v = v, and the equivalence relation will be the equivalence relation C, definedCR in Section 15. ∼v ≡v For all v V , set A˜v = inv (w (q)+ w (q )). Let ι : Z/2Z Q/Z be the ∈ K v 2 2 n,1 → canonical injection, and let Av Z/2Z be such that ι(Av) = A˜v. Note that ∈ v q and qn,1 are quadratic forms over K, hence A˜ = 0 for almost all v VK, ˜v v ∈ and P A = 0; the same properties hold for A , therefore condition (i) of v∈VK §13 holds. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 31

Let V ′ be the set of finite places, and V ′′ be the set of infinite places of K. The sets v satisfy conditions (ii)-(iv) of Section 13 : indeed, condition (ii) follows fromCR Proposition 16.2, condition (iii) from Corollary 16.7, and condition (iv) from Corollary 16.3. v Let (a(λ )) . As in §13, we define a homomorphism ρ : XE Z/2Z as follows. For∈ all CRc X , set → ∈ E v ρ(c)= X X c(i)a(λ )(i). v∈VK i∈I By Proposition 13.6, the homomorphism ρ is independent of the choice of (a(λv)) . ∈ CR Theorem 17.4. Let q be a quadratic form, and assume that condition (L 1) holds; then condition (G 1) holds if and only if ρ =0. Proof. If condition (G 1) holds, then by Proposition 17.1 there exists λ = v (λi) T (E, σ) such that λ for all v VK ; we have P a(λ)(i)=0 for ∈ ∈ LR ∈ v∈VK all i I, hence ρ =0. ∈ Let us prove the converse. Since ρ = 0, Corollary 13.7 implies that there v v exists b = (b ) such that P b (i)=0 for all i I. By definition, ∈ CR v∈VK ∈ v v v there exists (λ ) such that b = a(λ ) for all v VK. Recall that v w∈w LR ∈ w w a(λ )(i) = P θi (λi ); therefore for all i I, we have P θi (λi )=0. By w∈Sv ∈ w∈VF Theorem 10.1 this implies that for all i I, there exists λi T (Ei, σi) mapping w w ∈ ∈ v to λi T (Ei , σi) for all w VF . In particular, we have (λi,di)=(λi ,di) for ∈ ∈ v v all i I and v VK. Set λ =(λi); since λ for all v VK, Proposition 17.1∈ implies that∈ (G 1) holds. This concludes∈ LR the proof of the∈ theorem. We say that a quadratic form q has maximal signature (with respect to M) if for all real places v V , the signature of q at v is equal to the signature ∈ K of qn,1 or of qn,1 at v. For the proof of Theorem 17.2, we need the following proposition. − Proposition 17.5. For all i, j I, i = j, there exists a quadratic form ∈ 6 q over K having maximal signature satisfying (L 1), and, for all v VK, a v v ∈ corresponding local data λ , such that for for some v1, v2 VK, v1 = v2. we have ∈ LR ∈ 6

a(λv1 )(i)= a(λv2 )(j)=1, and a(λv)(k) = 0 if (v,k) =(v , i), (v , j). 6 1 2 Lemma 17.6. Let v V be a ﬁnite place, and let Q be a quadratic form over ∈ K Kv such that dim(Q) = dim(q) and det(Q) = NF/K( d); then Q is compatible with M K . − ⊗K v Proof. Note that qn,1 is compatible with M by construction, and that its dimension and determinant coincide with those of Q; if w2(Q) = w2(qn,1) in 32 EVA BAYER-FLUCKIGER

Br (K ), then Q q over K , hence we are done. Suppose that w (Q) = 2 v ≃ n,1 v 2 6 w2(qn,1), and let λ be a non-trivial element of T (Ev, σ). By Proposition 12.4, we have w (q ) = w (q ), and therefore w (q ) = w (Q) in Br (K ). 2 n,λ 6 2 n,1 2 n,λ 2 2 v The forms qn,λ and Q have the same dimension, determinant and Hasse-Witt invariant, hence they are isomorphic over Kv. Since qn,λ is compatible with M K , so is Q. ⊗K v Proof of Proposition 17.5. For all k I, let S(k) be the set of places v of V such that w (qv ) = 0, and let S be∈ the set of places v V such that K 2 nk,1 6 ∈ K v S(k) for some k I, or that the quaternion algebra (d ,d ) is not split at ∈ ∈ s r v for some r, s I. Let v1, v2 VK be two distinct ﬁnite places that are not in the ﬁnite set∈S. ∈

v For all k I and v VK, let qk be a quadratic form over Kv such that v ∈ ∈ v dim(qk) = dim(qn,1), that det(qk) = NFk/K( dk), that if v is a real place, v − then the signature of qk is equal to the signature of qn,1 at v, and that the v Hasse-Witt invariants of qk are as follows inv(w (qv1 )) = inv(w (qv2 )) = 1 ; • 2 i 2 j 2 If (v,k) =(v , i), (v , j), then w (qv)= w (q ) in Br (K ). • 6 1 2 2 k 2 nk,1 2 v v v v For all v VK, set Q = qk; the quadratic form Q has determinant ∈ k⊕∈I NF/K( d), hence by Lemma 17.6 it is compatible with M K Kv if v is a − v ⊗ ﬁnite place. If v is an inﬁnite place, then Q is isomorphic to qn,1 over Kv by construction, hence it is compatible with M K . ⊗K v v We claim that the number of v VK such that w2(Q ) =0 is even. Indeed, for all v V and all k I, we have∈ 6 ∈ K ∈

v v w2(Q )= Xw2(qk)+ X(dr,ds), k∈I r

~~w2(qn,1)= Xw2(qnk,1)+ X(dr,ds). k∈I r~~

v v For all v VK, let λ be the local data corresponding to the quadratic form Qv. We∈ claim that∈a( LRλv) v satisﬁes the required conditions. Indeed, recall that for all v V and all∈ CRk I, we have ∈ K ∈ v v v v w2(qk)= w2(qnk,1)+corF /Kv (λk,dk), ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 33

~~v1 cf. Proposition 16.1. Since v1 and v2 are not in S, we have w2(qni,1) = v2 w2(qnj ,1)=0, hence~~

v1 v2 1 inv(cor v (λ ,d )) = inv(cor v (λ ,d )) = , F /Kv i F /Kv j j 2 in other words, we have a˜(λv1 )(i)=˜a(λv2 )(j)=1. By Lemma 15.2, this implies that a(λv1 )(i)= a(λv2 )(j)=1. v v If (v,k) = (v1, i), (v2, j), then w2(qk) = w2(q1 (k)), hence the same argument shows that6 a˜(λv)(k)=0, and therefore by Lemma 15.2, we have a(λv)(k)=0. This completes the proof of the Proposition.

Proof of Theorem 17.2. If XE = 0, then by Theorem 17.4 the Hasse principle holds for any quadratic form q. To prove the converse, assume that X = 0; we claim that there exists a E 6 quadratic form q satisfying (L 1) but not (G 1). Let c XE be a non-trivial element, and let i, j I be such that c(i) = c(j). With∈ q and a as in Proposition 17.5, we∈ have 6 ∈ CR

v ρ(c)= X X c(i)a(λ )(i)= c(i)+ c(j), v∈VK i∈I hence ρ(c) =0; by Theorem 17.4 condition (G 1) does not hold. 6 Example 17.7. Let A = K[Γ] as in example 7.2, and assume that all the simple σ-stable factors in M are of type (1). In other words, we have = (E ) with E =AK[X]/(f ), where f K[X] are monic, AM i i∈I i i i ∈ irreducible, symmetric polynomials of even degree, and M = Mi, with i⊕∈I ni Mi = [K[X]/(fi)] for some integers ni > 1. Let q be a quadratic form over K; then q is compatible with M if and only if q has an isometry with ni minimal polynomial g = Qfi, and characteristic polynomial f = Qfi ; hence i∈I i∈I theorem 17.4 gives a necessary and sufficient condition for the Hasse principle to hold for the existence of an isometry with minimal polynomial g and characteristic polynomial f. Example 17.8. With the notation of example 17.7, assume that K = Q, and that the polynomials fi are cyclotomic polynomials for all i I. Then E = Q/(f ) is a cyclotomic field for all i I, hence a CM field; by∈ example i i ∈ 14.2 this implies that XE = 0. By Theorem 17.2, the Hasse principle holds for the existence of an isometry with minimal polynomial g and characteristic polynomial f; if q is a quadratic form having an isometry with minimal polynomial g and characteristic polynomial f locally everywhere, then such an isometry exists over Q as well.

~~18. Independent extensions~~

~~Recall that two ﬁnite extensions K1 and K2 of K are independent over K if the tensor product K K is a ﬁeld. In this section, we show that the 1 ⊗K 2 34 EVA BAYER-FLUCKIGER~~

local-global principle of §17 always holds if the extensions Ei/K are pairwise independent over K. We keep the notation of §17. Recall from Example 13.1 the equivalence relation on I generated by the elementary equivalence ≈ i j E and E are independent over K, ≈e ⇐⇒ i j and that Xindep(E)= X≈(I) is the associated obstruction group.

~~Theorem 18.1. Assume that Xindep(E)=0 and that condition (L 1) holds. Then condition (G 1) holds as well.~~

Proof. By Corollary 14.4 the hypothesis implies that XE = 0; therefore Theorem 17.2 (i) gives the required result. Corollary 18.2. Assume that there exists i I such that for all j I with ∈ ∈ j = i the extensions Ei and Ej are independent over K. If condition (L 1) is satisﬁed,6 then condition (G 1) also holds. Proof. This follows immediately from Theorem 18.1, since the hypothesis implies that Xindep(E)=0. The following corollary is an immediate consequence :

~~Corollary 18.3. Assume that the extensions Ei/K are pairwise independent over K, and that condition (L 1) holds. Then condition (G 1) holds as well.~~

ni Example 18.4. Let f = Qfi and g = Qfi be as in Example 17.7, with i∈I i∈I Ei = K[X]/(fi). Assume that Xindep(E)=0, and let q be a quadratic form over K. Then the Hasse principle holds; if q has an isometry with minimal polynomial g and characteristic polynomial f locally everywhere, then such an isometry exists over K. In particular, this is the case if the extensions Ei/K are pairwise independent over K.

19. Local conditions We keep the notation of §17. Recall that (V, q) is a quadratic form, that M is an A-module satisfying the hypotheses of §16, and M = (Ei)i∈I . Recall that E /F is a quadratic extension for all i I, andAd F × is such that i i ∈ i ∈ i Ei = Fi(√di). The aim of this section is to give a necessary and sufficient condition for M K Kv and (V, q) K Kv to be compatible for all v VK , in other words, for⊗ condition (L 1) to⊗ hold. This complements the Hasse∈ principle results of §17 and will also be used in §20. Since in §20 we need this result for several fields, we use the notation with a suffix K :

(L 1)K For all v VK , the quadratic form (V, q) K Kv is compatible with the module M K∈. ⊗ ⊗K v The validity of (L 1)K will be detected by three conditions, called the determinant condition, the hyperbolicity condition and the signature condition, Determinant condition ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 35

~~ni × ×2 (det)K det(q)= QNEi/K( di) in K /K . i∈I −~~

~~Remark 19.1. Note that by Proposition 12.2, condition (det)K is necessary for (V, q) and M to be compatible for any ﬁeld K.~~

Hyperbolicity condition (hyp) If v V is such that Ev = F v F v, then (V, q) K is hyperbolic. K ∈ K × ⊗K v Signature condition If v V is a real place, we denote by (r ,s ) the signature of (V, q) K , ∈ K v v ⊗K v by (ρi)v the number of real places of Fi above v that extend to complex places of Ei, and set σv = dim(M) 2Pni(ρi)v. − i∈I

Proposition 19.2. Let v VK be a real place. Then (V, q) K Kv is compatible with M K if and only∈ if r > σ , s > σ , and r s⊗ σ (mod 2). ⊗K v v v v v v ≡ v ≡ v Proof. This is straightforward, using for instance the arguments of the proof of [B 15], Proposition 8.1. The signature condition is as follows : (sign) If v V is a real place, we have K ∈ K r > σ , s > σ , and r s σ (mod 2). v v v v v ≡ v ≡ v Proposition 19.3. The following are equivalent

~~(a) Condition (L 1)K holds.~~

(b) Conditions (det)K , (hyp)K and (sign)K hold. Proof. Let us show that (a) = (b). Condition (L 1) implies (det) ⇒ K K by Proposition 12.2, (hyp)K by Proposition 7.1, and (sign)K by Proposition 19.2. Conversely, let us show that (b) = (a). Let v V . If v is a ⇒ ∈ K real place, then Proposition 19.2 shows that (V, q) K Kv is compatible with M K . Assume now that v is a ﬁnite place If Ev =⊗ F v F v, then by (hyp) ⊗K v × K the form (V, q) K Kv is hyperbolic, and by Proposition 7.1 it is compatible ⊗ v v v v with M K Kv. Suppose that E = F F ; then T (E , σ) is non-trivial. ⊗ v 6 × For all λ T (E , σ), we have det(qn,λ) = det(q) by Proposition 12.2 and condition (det)∈ , and by Proposition 12.4 we can choose λ T (Ev, σ) so that K ∈ ww(qn,λ)= w2(q K Kv) in Br(Kv). Therefore (V, q) K Kv is compatible with M K , and hence⊗ (L 1) holds. ⊗ ⊗K v K Example 19.4. Assume that M and E are as in Example 17.7; recall that ni Ei = K[X]/(fi) and Mi = [K[X]/(fi)] with fi K[X] irreducible, sym- n∈i metric polynomials of even degree. Set f = Qfi . In this case, the local i∈I conditions can be reformulated as follows : (det) det(q)= f(1)f( 1) in K×/K×2. K − We say that a polynomial is hyperbolic if it is a product of irreducible polynomials of type (2) (see Example 7.2). 36 EVA BAYER-FLUCKIGER

~~(hyp)K If v VK is such that f Kv[X] is hyperbolic, then (V, q) K Kv is hyperbolic. ∈ ∈ ⊗~~

If v VK is a real place, we denote by mv(f) the number of roots of f K [∈X] with z > 1 (counted with multiplicity). ∈ v | |v (sign) If v V is a real place, we have K ∈ K r > m (f), s > m (f), and r s m (f) (mod 2). v v v v v ≡ v ≡ v Set g = Qfi. We recover a result of [B 15], Theorem 12.1 : the quadratic i∈I form (V, q) K has an isometry with characteristic polynomial f and min- ⊗K v imal polynomial g for all v VK if and only if the above three conditions hold. ∈

20. Odd degree descent We keep the notation of the previous sections. The aim of this section is to prove an “odd degree descent" result : Theorem 20.1. If K′ is a ﬁnite extension of odd degree of K such that (V, q) K′ compatible with M K′, then (V, q) is compatible with M. ⊗K ⊗K We start with a lemma Lemma 20.2. Let K′/K be a ﬁnite extension of odd degree. Then

(L 1) ′ = (L 1) . K ⇒ K Proof. It is clear that (det) ′ = (det) , (hyp) ′ = (hyp) and K ⇒ K K ⇒ K (sign) ′ = (sign) . By Proposition 19.3, this implies that (L 1) ′ = K ⇒ K K ⇒ (L 1)K.

~~Proof of Theorem 20.1. By hypothesis, condition (L 1)K′ holds; let~~

~~ρ ′ : X ′ Z/2Z K E⊗K K → be the associated homomorphism of §17. Recall that ρK′ is independent of the chosen local data. By Lemma 20.2, condition (L 1)K holds. Let~~

~~v ρK (c)= X X c(i)a(λ )(i) v∈VK i∈I~~

be the associated homomorphism. For all v VK, let us choose a place w of K′ over v. Let us take the extension of aw ∈of av = a(λv) to F v K′ to ⊗Kv w deﬁne ρK′ . ′ If [Kw : Kv] is odd, then v w v v ′ ′ invvcorFi /Kv (ai ,di) = invwcorFi ⊗Kv Kw/Kw (ai ,di).

~~′ If [Kw : Kv] is even, then w v ′ ′ invwcorFi ⊗Kv Kw/Kw (ai ,di)=0. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 37~~

′ ′ Since K is an odd degree extension of K, the degree [Kw : Kv] is odd for an odd number of places w of K′ over v. Hence v w v v ′ ′ invvcorFi /Kv (ai ,di)= XinvwcorFi ⊗Kv Kw/Kw (ai ,di). w|v Recall from §14 that we have an injective homomorphism ′ π : X X ′ E → E⊗K K ′ ′ (see Proposition 14.5). Let c XE, and let c = π (c); in other words, with ∈′ v′ v the notation of §14, we have c (i, j) = c(i). Let ai,j be the image of ai in ′ ′ ′ ′ v ′ Fi,j K Kv′ ; then (ai,j) is a local data over K . Denote by di,j the image of di ⊗′ ′ ′ v ′ in F . Note that F K ′ K F K . i,j i ⊗K ⊗K w ≃ i ⊗Kv w By hypothesis, condition (G 1)K′ holds, hence by Theorem 17.4 we have ′ ρK′ = 0. Therefore ρK′ (c )=0. Using the above observations, we see that ′ ρK (c) = ρK′ (c ). This implies that ρK = 0; therefore by Theorem 17.4 the quadratic form (V, q) is compatible with M.

21. Obstruction group - the integral case As in the previous sections, K is a global field; let O be a ring of integers of K with respect to a finite, non-empty set Σ of places of K, containing the infinite places if K is a number field. Let VΣ be the set of places of K that are not in Σ. If v VΣ, we denote by Ov the ring of integers of Kv, and by k its residue field.∈ Let Λ be an O-algebra, and let σ :Λ Λ be an O-linear v → involution; set A = ΛK = Λ O K. If v VΣ, set ΛKv = Λ O Kv, and Λ =Λ k . ⊗ ∈ ⊗ kv ⊗O v Let (Mi)i∈I be a finite set of A-modules, let M = Mi, and let ΛM be i⊕∈I the image of Λ in End(M). We assume that the kernel of the homomorphism Λ ΛM is stable by the involution σ, and we also denote by σ :ΛM ΛM the→ induced involution. → X The aim of this section is to define a group ΛM ,(Mi)i∈I that will be useful in §23. In general, this group depends on (Mi)i∈I as well as ΛM . However, in our main case of interest, namely when Λ= O[Γ], it only depends on ΛM . X The group ΛM ,(Mi)i∈I is defined using the general framework of §13 using the set I and for all i, j I, the subsets V of V defined as follows. ∈ i,j Σ Notation 21.1. For all i, j I, we denote by V the set of places of V such ∈ i,j Σ that there exists a self-dual Λkv -module appearing in the reductions mod πv v v of both Mi and Mj .

Example 21.2. Assume that Λ= O[Γ], hence A =Λ O K = K[Γ]. We keep the notation of Example 17.7, and assume that f O⊗[X] for all i I. The i ∈ ∈ homomorphism Ov kv induces pv : Ov[X] kv[X]. For all i, j I, the set V deﬁned above is→ the set of places v V →such that the polynomials∈ p (f ) i,j ∈ Σ v i and pv(fj) have a common irreducible and symmetric factor; this follows from Example 9.2. 38 EVA BAYER-FLUCKIGER

~~Assume now that the A-module M and its decomposition M = Mi are as i⊕∈I in §16, with A = E and M Eni for all i I; set X = X . M Q i i i ΛM ,(Mi)i∈I ΛM ,M i∈I ≃ ∈~~

Recall that Si is the set of places w of Fi that are inert or ramiﬁed in Ei. Notation 21.3. If w S , we denote by Owi the ring of integers of Ewi , and i ∈ i i by κwi its residue ﬁeld. Recall that if N is a self-dual Λ -module, we denote by σ : κ(N) κ(N) Kv N → the induced involution of κ(N)=(Λkv )N .

~~Proposition 21.4. Let v VΣ, and let i, j I. Assume that v Vi,j. Then ∈ ∈ ∈v v there exists a simple, self-dual Λkv -module N and places wi Si , wj Sj such that ∈ ∈~~

~~(i) The Λkv -modules κwi , κwj and N are isomorphic.~~

~~(ii) The ﬁelds with involution (κwi , σi) and (κwj , σj) are isomorphic to (κ(N), σN ).~~

Proof. (i) follows from Proposition 9.1. To prove (ii), note that (Λk )κ κw v wi ≃ i and (Λk )κ κw . Since all the involutions are induced by σ, this implies v wj ≃ j (ii). Corollary 21.5. For all i, j I, we have V V V . ∈ i,j ⊂ i ∩ j Proof. This is an immediate consequence of Proposition 21.4, recalling that v V if and only if Sv = ∅. ∈ i i 6 X X Corollary 21.6. E is a subgroup of ΛM ,M . Proof. Let us denote by the equivalence relation on I generated by ∼ i j V = ∅, ∼ ⇐⇒ i,j 6 and by the equivalence relation generated by ≈ i j V V = ∅. ≈ ⇐⇒ i ∩ j 6 By Corollary 21.5, we have Vi,j Vi Vj for all i, j I, hence i j = i j. X ⊂ ∩ ∈ X∼ ⇒ ≈ Since ΛM ,M is deﬁned by the equivalence relation and E by , this X X ∼ ≈ implies that E is a subgroup of ΛM ,M . 22. Local data and residue maps

We keep the notation of §21; in particular, M = Mi is a module with i⊕∈I M Eni for all i I. i ≃ i ∈ v wi wi wi Let v VΣ. If wi Si and λi T (Ei , σi), we obtain a bounded Ei - ∈ wi ∈ni ∈ wi wi quadratic form ((E ) , q wi ) (see §11). Set M = Mi E E . Choosing i ni,λi i i i ni ⊗ wi an isomorphism Mi Ei , we obtain a bounded A-form on Mi , denoted by wi → (M , q wi ). i λi Recall from §4 that we have a homomorphism b ∂v : W (Kv) WΛ (kv). ΛKv → kv ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 39

~~v wi Let λ =(λi ). Set~~

~~wi wi ∂v(λ )= ∂v[(M , q wi )] i i λi~~

~~v wi ∂v(λ )= ∂v(λ ), and i v i wi⊕∈Si~~

v v ∂v(λ )= ∂v(λi ). i⊕∈I v v v v Proposition 22.1. Let v VΣ, and let λ ,µ be such that a(µ ) = (i, j)(a(λv)) for some i, j ∈I with v V . Then∈ we LR have ∂ (µv)= ∂ (λv). ∈ ∈ i,j v v

Proof. Since v Vi,j, by Proposition 21.4 there exists a simple, self-dual Λ -module N and∈ places w V , w V such that the Λ -modules κ , kv i ∈ Fi j ∈ Fj kv wi κwj and N are isomorphic, and that the ﬁelds with involution (κwi , σi) and

~~(κwj , σj) are isomorphic to (κ(N), σN ). Set Q =(∂ (λwi )) (∂ (λwj )) ( ∂ (µwi )) ( ∂ (µwj )). v i ⊕ v j ⊕ − v i ⊕ − v j~~

We claim that Q = 0 in WΛkv (kv); note that Q belongs to the subgroup W (k , N) of W (k ), and that W (k , N) W (k ). Λkv v Λkv v Λkv v ≃ κ(N) v wi wj Let us ﬁrst assume that wi and wj are inert in Ei , respectively Ej . In this case, the involution σN is non-trivial. By Proposition 11.1 (a), we know that wi wj ∂v : T (Ei , σi) Wκ(N)(kv) and ∂v : T (Ej , σj) Wκ(N)(kv) are bijective. → wi wi wi → wj Therefore we have ∂v(λi ) = ∂v(µi ) and ∂v(λi ) = ∂v(µj ). This implies that 6 wi wj wi 6 wj two of the four elements ∂v(λi ), ∂v(λj ), ∂v(µi ), ∂v(µj ) are trivial, and two are non-trivial. Since Wκ(N)(kv) is of order 2, this implies that the class of Q is trivial in Wκ(N)(kv), hence in WΛkv (kv).

wi wj Assume now that wi and wj are ramiﬁed in Ei , respectively Ej , and that char(kv) = 2. In this case, σN is the identity, and Wκ(N)(kv) W (kv). 6 wi ≃ Proposition 11.1 (b), implies that ∂v : T (Ei , σi) Wκ(N)(kv) and ∂v : wj → T (E , σ ) W (k ) are injective, and their images consist of the classes j j → κ(N) v of forms of dimension equal to [κ(N): kv] mod 2. The injectivity part of the wi wi wj wj statement implies that ∂v(λi ) = ∂v(µi ) and ∂v(λj ) = ∂v(µj ). The forms wi wj wi wj 6 6 ∂v(λi ), ∂v(λj ), ∂v(µi ), ∂v(µj ) all have the same dimension mod 2; therefore wi wi wj wj det(∂v(λi )) = det(∂v(µi )), and det(∂v(λj )) = det(∂v(µj )). Hence the 6 wj wj 6 forms ∂ (λwi ) ∂ (λ ) and ∂ (µwi ) ∂ (µ ) have the same dimension mod 2 v i ⊕ v j v i ⊕ v j and the same determinant, therefore they are equal in W (kv). This implies that Q =0 in W (kv).

wi wj Finally, assume that wi and wj are ramiﬁed in Ei , respectively Ej , and wi that char(kv) = 2. Proposition 11.1 (c), implies that ∂v : T (Ei , σi) wi wi → Wκ(N)(kv) and ∂v : T (Ei , σi) Wκ(N)(kv) are constant, hence ∂v(λi ) = wi wj wj → ∂v(µi ) and ∂v(λj )= ∂v(µj ). Since Wκ(N)(kv) is of order 2, this implies that

~~Q =0 in Wκ(N)(kv), hence in WΛkv (kv). 40 EVA BAYER-FLUCKIGER~~

~~This holds for any pair wi, wj with the above properties, therefore the form (∂ (λv)) (∂ (λv)) ( ∂ (µv)) ( ∂ (µv)) v i ⊕ v j ⊕ − v i ⊕ − v j~~

~~is trivial in WΛkv (kv); this completes the proof of the proposition.~~

Notation 22.2. For all v VΣ, let us ﬁx δ = (δv), with δv WΛkv (kv) ∈ v v ∈v such that δv = 0 for almost all v. Let δ be the set of λ such that ∂ (λv)= δ , and let v be the set of a(λLv) C(I) such that∈λv LR v. v v Cδ ∈ ∈Lδ Let be the equivalence relation on C(I) generated by ∼v c c′ c =(i, j)(c′) ∼v ⇐⇒ for some i, j I with v V . ∈ ∈ i,j

v v v v Corollary 22.3. Let v VΣ and let a(λ ), a(µ ) be such that a(µ ) v a(λv). If a(λv) v, then∈ a(µv) v. ∈ CR ∼ ∈ Cδ ∈ Cδ Proof. It suﬃces to show that if a(µv)=(i, j)(a(λv)) for some i, j I with v V , then a(µv) v; this follows from Proposition 22.1. ∈ ∈ i,j ∈ Cδ

~~v Proposition 22.4. Let v VΣ. Then the set δ is a v-equivalence class of C(I). ∈ C ∼~~

Proof. Let us prove that if an element of C(I) is v-equivalent to an element v v ∼ v of δ , then it is in δ . By Proposition 16.7, this element belongs to , and CorollaryC 22.3 impliesC that it is in v. CR Cδ v v v v v Let a(λ ), a(µ ) δ , and let us show that a(λ ) v a(µ ). Let J I be the set of i I such∈ that C If a(λv)(i) = a(µv)(i). Since∼ ⊂ ∈ 6 v v v Xa(µ )(r)= Xa(λ )(r)= A , r∈I r∈I the set J has an even number of elements. Suppose first that v is non-dyadic. This implies that if i J, then v v v v v ∈ v ∂v(λi ) = ∂v(µi ). We have a(λ ), a(µ ) δ by hypothesis, hence ∂v(λ ) = v 6 ∈ C v ∂v(µ ), and therefore there exists j J such that ∂v(WΛKv (Kv, Mi )) and ∂ (W (K , M v)) have a non-zero intersection,∈ and hence v V . The map v ΛKv v j ∈ i,j (i, j)a(λv) differs from a(µv) in less elements than a(λv). Since I is a finite set, continuing this way we see that a(λv) a(µv). ∼v ′ v Assume now that v is dyadic, and let J be the set of J such that ∂v(λi )= v v v ′ ∂v(µi ). Since ∂v(λ )= ∂v(µ ), the set J also has an even number of elements. Let us write J = J ′ J ′′; then J ′′ has an even number of elements. If i, j J ′, ∪ v v ∈ then v Vi,j. The map (i, j)a(λ ) differs from a(µ ) in less elements than a(λv). After∈ applying (i, j) for all j, j J ′ with i = j, we may assume that J ′ is empty. Now we have J = J ′′, and the∈ same argument6 as in the non-dyadic case shows that a(λv) a(µv). ∼v ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 41

23. Local-global problem - the integral case We keep the notation of the previous sections. Let q be a quadratic form over K. For all v V , let us ﬁx δ = (δ ), ∈ Σ v with δv WΛkv (kv) such that δv = 0 for almost all v. Recall the following terminology∈ from §6 :

~~We say that the local conditions are satisﬁed if conditions (L 1) and (L 2)δ below hold :~~

(L 1) For all v VK, the quadratic form (V, q) K Kv is compatible with the module M v = M ∈ K ⊗ ⊗K v (L 2)δ For all v VΣ, the quadratic form (V, q) K Kv contains an almost v ∈ ⊗ unimodular Λ -lattice with discriminant form δv.

~~We say that the global conditions are satisﬁed if conditions (G 1) and (G 2)δ below hold : (G 1) The quadratic form (V, q) is compatible with the module M.~~

(G 2)δ The quadratic form (V, q) contains an almost unimodular Λ-lattice with discriminant form δ. Proposition 23.1. Assume that the local conditions are satisﬁed. Then the global conditions hold if and only if there exists λ = (λi) T (E, σ) such that λ v for all v V . ∈ ∈Lδ ∈ K

Proof. If (G 1) holds, then by Proposition 17.1 here exists λ =(λi) T (E, σ) v ∈ such that λ or all v VK. Condition (G 2)δ implies that one can choose λ such that∈λ LR v for all v∈ V . ∈Lδ ∈ Σ Let us prove the converse. Let λ =(λ ) T (E, σ) such that λ v for all i ∈ ∈Lδ v VΣ. By Proposition 17.1, this implies that (G 1) holds. Moreover, since λ ∈ v for all v V , we have ∂ (λ) = δ for all v V , hence condition ∈ Lδ ∈ Σ v v ∈ Σ (G 2)δ is also satisﬁed. Recall that the equivalence relation on C(I) is generated by ∼v c c′ c =(i, j)(c′) ∼v ⇐⇒ for some i, j I with v V . ∈ ∈ i,j v v v v Let δ the set of the elements (a ), a δ , such that a =0 for almost all v V C. ∈ C ∈ Σ Proposition 23.2. Assume that the local conditions are satisﬁed. Then there exists (λv) such that (a(λv)) . ∈Lδ ∈ Cδ

Proof. Let S be the subset of VK consisting of the dyadic places, the inﬁnite places, the places that are ramiﬁed in E /K for some i I, the places v V i ∈ ∈ K such that w2(q) = w2(qn,1) in Br2(kv), and the places v VΣ for which δv =0. Let us show that6 if v S, then there exists λv v such∈ that a(λv)=0. 6 6∈ ∈Lδ 42 EVA BAYER-FLUCKIGER

v ∅ v Let v VK such that v S, and let i I. If Si = , then T (Ei , σi)=0, ∈ 6∈ ∈ v ∅ v hence there is nothing to prove. Assume that Si = ; recall that for all w Si we have an isomorphism 6 ∈ θw : T (Ew, σ ) Z/2Z, i i i → and for all λv =(λw) T (Ev, σ), we have i ∈ v w w a(λ )(i)= X θi (λi ). v w∈Si v ∅ v w w For all i I such that Si = and for all w Si , let λi =1 in T (Ei , σi). ∈ v v 6 v ∈ v We claim that a(λi ) δ , and that a(λ )=0. It is clear that a(λ )(i)=0 for all i I; it remains to∈ Cshow that (λv) v. ∈ i ∈Lδ We first show that (λv) Rv. Since v S, we have w (q) = w (q ) i ∈ L 6∈ 2 2 n,1 in Br2(Kv). The quadratic forms q is compatible with the module M K Kv × ×2 ⊗ by hypothesis, hence det(q) = NF/K ( d) in Kv /Kv (see Proposition 12.2). Since we also have det(q ) = N ( −d), the quadratic forms q and q have n,1 F/K − n,1 the same dimension, determinant and Hasse-Witt invariant over Kv, therefore they are isomorphic over K ; this implies that (λv) Rv. v i ∈L Since v S, it is unramified in Ei; hence Lemma 11.2 implies that ∂v(1) = ∂ (λv)=06∈; as δ =0 for v S, we have (λv) v. v v 6∈ i ∈Lδ Necessary and sufficient conditions Let V ′ be the set of finite places of K. v v X Proposition 23.3. Let (a(λ )), (a(µ )) δ, and let c ΛM ,M . Then we have ∈ C ∈

~~v v X X c(i)a(λ )(i)= X X c(i)a(µ )(i). v∈V ′ i∈I v∈V ′ i∈I~~

~~Proof. This follows from Corollary 22.4 and Proposition 13.6.~~

~~Let~~

~~ǫ : X Z/2Z ΛM ,M → be the homomorphism deﬁned by~~

v ǫ(c)= X X c(i)a(λ )(i) v∈V ′ i∈I v for some (a(λ )) δ. By Proposition 23.3, the homomorphism ǫ is independent of the choice∈ of C (a(λv)) . ∈ Cδ Let V ′′ be the set of infinite places of K, and let (V ′′) be the set of (a(λv)) with v V ′′ and a(λv) v. Note that since V ′′ isC finite, the set (V ′′) is also finite. If∈ V ′′ = ∅, we set∈ C(V ′′)=0. C C For all a (V ′′) with a =(a(λv)), we define a homomorphism ∈ C ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 43

~~ǫ : X Z/2Z a ΛM ,M → by setting~~

~~v ǫa(c)= X X c(i)a(λ )(i). v∈V ′′ i∈I~~

Theorem 23.4. Assume that the local conditions hold. Then the global conditions are satisfied if and only if there exists a (V ′′) such that ǫ + ǫ =0. ∈ C a Proof. Assume that the global conditions are satisfied. Then by Proposition v 23.1 there exists λ = (λi) T (E, σ) such that λ δ for all v VK. We ∈ v ∈ L ′′ ∈ have P a(λ)(i)=0 for all i I. Set a = (a(λ )) for v V ; then we have v∈VK ∈ ∈ ǫ + ǫa =0. Let us prove the converse. Since the local conditions hold, Proposition 23.2 v v implies that there exists (µ ) δ such that (a(µ )) δ. By hypothesis, ′′ ∈ L ∈ C there exists a (V ) such that ǫ + ǫa = 0. Therefore Theorem 13.5 implies ∈ C v v that there exists b = (b ) δ such that P b (i) =0. By definition, ∈ C v∈VK v v v there exists (λ ) δ such that b = a(λ ) for all v VK. Recall that v w ∈w L ∈ w w a(λ )(i) = P θi (λi ); therefore for all i I, we have P θi (λi )=0. By w∈Sv ∈ w∈VF Theorem 10.1 this implies that for all i I, there exists λi T (Ei, σi) mapping w w ∈ ∈ v to λi T (Ei , σi) for all w VF . Set λ =(λi); we have λ δ for all v VK, hence∈ by Proposition 23.1 the∈ global conditions hold. This∈L completes the∈ proof of the theorem. Example 23.5. Suppose that Λ = O[Γ], and let f and g be as in example 21.2. Assume that for all v V , the quadratic form q contains a unimodular ∈ Σ Ov-lattice having an isometry with minimal polynomial g and characteristic polynomial f; Theorem 23.4 gives a necessary and sufficient condition for such a lattice to exists globally.

Recall that a quadratic form q has maximal signature if for all real places v VK, the signature of q at v is equal to the signature of q1,n or of q1,n at v.∈ − Lemma 23.6. Assume that q has maximal signature. Then (V ′′) has at most one element. C Proof. If V ′′ does not contain any real places, there is nothing to prove. Let v be a real place of K, and let (rv,sv) be the signature of q at v. Let us assume that the signature of q at v is equal to the signature of q1,n; the argument is the same if it is equal to the signature of q . For all i I, let (rv ,sv ) be − 1,n ∈ ni,1 ni,1 the signature of qni,1 and let (rn,1,sn,1) be the signature of qn,1. By hypothesis, v we have sv = sn,1. In all splittings of q over Kv into the orthogonal sum of v v v quadratic forms qi over Kv with signature (ri ,si ) compatible with the module 44 EVA BAYER-FLUCKIGER

M K , we have sv > sv for all i I. Note that sv = sv and i K v i ni,1 n,1 P ni,1 ⊗ ∈ i∈I s = sv; therefore sv = sv for all i I, and this implies that the local v P i i ni,1 ki∈I ∈ ′′ solution is unique. This holds for all real places v VK, hence (V ) has at most one element. ∈ C Assume that q has maximal signature, and that the local conditions hold; ′′ ′ let a C(V ), and set ǫ = ǫ + ǫa. The following is an immediate consequence of Theorem∈ 23.4 : Corollary 23.7. Assume that q has maximal signature and that the local conditions hold. Then the global conditions hold if and only if ǫ′ =0. Theorem 23.8. The Hasse principle holds for all quadratic forms q and all X δ =(δv) if and only if ΛM ,M =0. X Proof. If ΛM ,M = 0, then Theorem 23.4 implies that the Hasse principle holds for any q and δ. To prove the converse, assume that X = 0; we ΛM ,M 6 claim that there exists a quadratic form q and δ = (δv) satisfying (L 1) and X (L 2)δ but not (G 1) and (G 2)δ. Let c ΛM ,M be a non-trivial element, and let i, j I be such that c(i) = c(j). Let∈ the quadratic form q and a ∈ 6 ∈ CR be as in Proposition 17.5, and set δv = ∂v[q] for all v VΣ. Since q is a global form, δ =0 for almost all v V . By construction, q∈and δ satisfy conditions v ∈ Σ (L 1) and (L 2)δ. Moreover, the form q has maximal signature. We have

~~′ v ǫ (c)= X X c(i)a(λ )(i)= c(i)+ c(j), v∈VK i∈I hence ǫ′(c) = 0; Corollary 23.7 implies that the global conditions are not satisﬁed. 6~~

24. The integral case - Hasse principle with additional conditions Given two integers r, s > 0 and a polynomial f Z[X], does there exist an even, unimodular lattice of signature (r, s), and∈ having an isometry with characteristic polynomial f ? This is one of the motivating questions of the paper. We can be more ambitious, and fix an element of SOr,s(R) with characteristic polynomial f; does it stabilize an even, unimodular lattice ? The above question leads to a modified local-global problem : we impose the local behaviour at the real places. As in the previous section, we fix a module M and a quadratic form (V, q). Moreover, for all real places v VK we also fix an A K -quadratic form (M K , b ). ∈ ⊗K v ⊗K v v Example 24.1. Let A = K[Γ], f K[X] and M be as in Example 17.7. ∈ Fixing an A K Kv-quadratic form (M K Kv, bv) for all real places v VK amounts to fixing⊗ a signature for all irreducible,⊗ symmetric factors of∈f ∈ Kv[X], as in §8 (cf. Example 8.5).

~~We consider the following modiﬁed local and global conditions : Condition (L 1) is unchanged : ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 45~~

~~(L 1) For all v VK, the quadratic form (V, q) K Kv is compatible with the module M v = M ∈ K . ⊗ ⊗K v~~

~~We have the new condition (L 1)bv : (L 1) For all real places v V , there exists an isomorphism bv ∈ K ϕ : V K M K v ⊗K v → ⊗K v such that (M K , b ) (M K , b ). ⊗K v ϕv ≃ ⊗K v v~~

~~We also ﬁx δ = (δv), with δv WΛkv (kv) such that δv = 0 for almost all v, and we have the (unchanged) condition∈ :~~

~~(L 2)δ For all v VΣ, the quadratic form (V, q) K Kv contains an almost v ∈ ⊗ unimodular Λ -lattice with discriminant form δv.~~

~~We say that the local conditions (L)bv,δ are satisﬁed if the three conditions~~

~~(L 1), (L 1)bv and (L 2)δ hold.~~

We say that the global conditions (G)bv,δ are satisﬁed if there exists an isomorphism of vector spaces ϕ : V M such that → (M, b ) is an A-quadratic form; • ϕ For all real places v V , we have (M K , b ) (M K , b ): • ∈ K ⊗K v ϕ ≃ ⊗K v v For all v V , we have ∂ (M K , b )= δ . • ∈ Σ v ⊗K v ϕv v (In particular, conditions (G 1) and (G 2)δ of the previous section hold).

Assume that the local conditions (L)bv,δ are satisﬁed. The obstruction group X X AM ,M is as in §23, and so is the homomorphism ǫ : AM ,M Z/2Z; indeed, this homomorphism only depends on the ﬁnite places of K. →

If v VK is a real place, then condition (L 1)bv determines the local data λv uniquely;∈ therefore C(V ′′) has exactly one element, namely a = (a(λv)). ′ We deﬁne the homomorphism ǫa as in §23. Setting ǫ = ǫ + ǫa, we obtain a homomorphism

~~ǫ′ : X Z/2Z. AM ,M →~~

Theorem 24.2. Assume that the local conditions (L)bv,δ hold. Then the global ′ conditions (G)bv,δ are satisﬁed if and only if ǫ =0. To prove this theorem, we need an analog of Proposition 23.1. Let us denote by v the subset of v in which the components λv for v real are determined Lbv,δ Lδ by (M K , b ). ⊗K v v

~~Proposition 24.3. Assume that the local conditions (L)bv,δ are satisﬁed.~~

~~Then the global conditions (G)bv,δ hold if and only if there exists λ = (λi) T (E, σ) such that λ v for all v V . ∈ ∈Lbv,δ ∈ K~~

Proof. If the global conditions (G)bv,δ hold, then by Proposition 17.1 here v exists λ = (λi) T (E, σ) such that λ or all v VK. Moreover, the conditions impliy∈ that one can choose λ∈such LR that λ ∈v for all v V . ∈Lbv,δ ∈ K 46 EVA BAYER-FLUCKIGER

Let us prove the converse. Let λ =(λ ) T (E, σ) such that λ v for all i ∈ ∈Lbv,δ v VK. By Proposition 17.1, this implies that (G 1) holds. Moreover, since λ ∈ v for all v V , we have ∂ (M K , b ) = δ for all v V , and ∈ Lbv,δ ∈ K v ⊗K v ϕv v ∈ Σ (M K , b ) (M K , b ) for all real places v V , hence the global ⊗K v ϕ ≃ ⊗K v v ∈ K conditions (G)bv,δ hold. Proof of Theorem 24.2. The proof goes along the lines of the one of Theorem 23.4, applying Proposition 24.3 instead of Proposition 23.1. 25. Lattices over Z Let f Z[X] be a monic, symmetric polynomial without linear factors; we start by∈ recalling from [GM 02] some necessary conditions for the existence of an even, unimodular lattice to have an isometry with characteristic polynomial f. We then apply the results of §23 to give sufficient conditions as well. Set 2n = deg(f). Definition 25.1. We say that f satisfies condition (C 1) if the integers f(1) , f( 1) and ( 1)nf(1)f( 1) are all squares. | | | − | − − Let m(f) be the number of roots z of f with z > 1 (counted with multiplicity). | | Definition 25.2. Let (r, s) be a pair of integers, r, s > 0. We say that condition (C 2) holds if r + s =2n, r s (mod 8), r > m(f), s > m(f), and m(f) r s (mod 2). ≡ ≡ ≡ The following lemma is well-known (see for instance [GM 02]). Lemma 25.3. Assume that there exists an even, unimodular lattice with signature (r, s) having an isometry with characteristic polynomial f. Then conditions (C 1) and (C 2) hold.

Proof. It is clear that r + s = 2n, and the property r s (mod 8) is well- known (see for instance [S 77], Chapitre V, Théorème 2).≡ For the last part of condition (C 2), see [B 15] Corollary 8.2 (in the case where f is separable, this is also proved in [GM 02] Corollary 2.3). It is well-known that ( 1)nf(1)f( 1) is a square, see for instance [B 15] Corollary 5.2. The fact that −f(1) and f−( 1) are squares is proved in [GM 02], Theorem 6.1 (the hypothesis| f| separable| − is| not needed in the proof). Let ni f = Qfi and g = Qfi i∈I i∈I where f Z[X] are distinct irreducible, symmetric polynomials of even i ∈ degree. Set Ei = Q[X]/(fi) = Q(τi), and let σi : Ei Ei be the Q-linear −1 → involution sending τi to τi ; let Fi be the ﬁxed ﬁeld of Ei. The following is essentially contained in [BT 20]. Theorem 25.4. Assume that condition (C 1) holds. Then for each prime number p there exists an even, unimodular Zp-lattice having an isometry with characteristic polynomial f and minimal polynomial g. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 47

Proof. Let E0,i be an extension of degree ni of Fi, linearly disjoint from Ei. Set E˜i = Ei E0,i; then the characteristic polynomial of the multiplication by ˜ ⊗ni ˜ ˜ ˜ ˜ τi on Ei is fi , and its minimal polynomial is fi. Set E = QEi, E0 = QE0,i, i∈I i∈I and let T : E˜ E˜ be the linear transformation acting on E˜ by multiplication → i with τi; the characteristic polynomial of T is f, and its minimal polynomial is g. The argument of [BT 20], proof of Theorem A, shows that for every prime number p there exists a quadratic form on E˜ Q containing an even, ⊗ p unimodular Zp-lattice stable by T . The following lemma is well-known : Lemma 25.5. (i) Let (r, s) be a pair of integers, r, s > 0, with r s (mod 8). Then there exists an even, unimodular lattice of signature (r, s). ≡ (ii) Two even, unimodular lattices of the same signature become isomorphic over Q. r−s Proof. (i) Let m = 8 ; the orthogonal sum of m copies of the E8-lattice with s hyperbolic planes has the required property. (ii) Let q be a quadratic form over Q containing an even, unimodular lattice of signature (r, s). Then the dimension of q is r+s, its signature is (r, s) and its determinant is ( 1)s. The Hasse-Witt invariant of q at a prime =2 is trivial (see for instance− [O’M 73], 92:1), and at inﬁnity it is 0 if s 0 or6 1 (mod 4), and 1 if s 2 or 3 (mod 4). By reciprocity, this also determines≡ the Hasse- Witt invariant≡ of q at the prime 2 (one can also prove this directly, see for instance [BT 20], Proposition 8.3). Therefore the dimension, determinant, signatures and Hasse-Witt invariant of q are uniquely determined by (r, s); hence q is unique up to isomorphism. Notation. If (r, s) is a pair of integers with r, s > 0 and r s (mod 8), let ≡ (V, qr,s) be a quadratic form containing an even, unimodular lattice of signature (r, s); such a form exists by Lemma 25.5 (i) and is unique up to isomorphism by Lemma 25.5 (ii). Let Λ = Z[Γ], where Γ is the inﬁnite cyclic group, and set A = Q[Γ]; let us denote by σ the involution of Λ and A sending γ to γ−1 for all γ Γ. Set ni ∈ Mi = [Q[X]/(fi)] and M = Mi. Let (V, q) be a quadratic form over Q. i⊕∈I Recall from §23 the local and global conditions (L 1), (L 2)δ and (G 1), (G 2)δ, and note that (for Λ and M as above, and for δ =0) they can be reformulated as follows

(L 1) For all v VQ, the quadratic form (V, q) Q Qv has an isometry with minimal polynomial∈ g and characteristic polynomial⊗ f. (G 1) The quadratic form (V, q) has an isometry with minimal polynomial g and characteristic polynomial f.

(L 2) For all ﬁnite places v VQ, the quadratic form (V, q) Q Qv has an isometry with minimal polynomial∈ g and characteristic polynomial⊗ f that stabilizes a unimodular lattice of V Q Q . ⊗ v 48 EVA BAYER-FLUCKIGER

(G 2) The quadratic form (V, q) has an isometry with minimal polynomial g and characteristic polynomial f that stabilizes a unimodular lattice of V . Theorem 25.6. Assume that conditions (C 1) and (C 2) hold. Then the local conditions (L 1) and (L 2) are satisﬁed for the quadratic form qr,s. Proof. Since condition (C 1) holds, Theorem 25.4 implies that for each prime number p there exists an even, unimodular Zp-lattice having an isometry with characteristic polynomial f and minimal polynomial g; we denote by qp the quadratic form over Qp obtained by extension of scalars from this lattice. If p =2, this is the diagonal form 1,..., ( 1)s (see for instance [O’M 73], 92:1); if 6p =2, it is an orthogonal sumh of hyperbolic− i planes (see [BT 20], Proposition p 8.3). This implies that q q Q Q for all prime numbers p. In particular, ≃ r,s ⊗ p the quadratic form qr,s has an isometry with characteristic polynomial f and minimal polynomial g over Qp for every prime number p. This implies that the local condition (L 1) holds for every prime number p. Moreover, since q Q Q contains a unimodular Z -lattice stable by this isometry, the local r,s ⊗ p p condition (L 2)δ holds for δ = 0. On the other hand, condition (C 2) implies that qr,s Q R has an isometry with characteristic polynomial f and minimal polynomial⊗ g over R (cf. [B 15], Corollary 8.2). Therefore the local conditions hold for the quadratic form qr,s. Proposition 25.7. The following properties are equivalent : (i) There exists an even, unimodular lattice of signature (r, s) having an isometry with characteristic polynomial f and minimal polynomial g.

(ii) The global conditions (G1) and (G 2) are fulfilled for (V, qr,s). Proof. Let us prove that (i) implies (ii). The base change to Q of the lattice is isomorphic to (V, qr,s) by Lemma 25.5 (ii); hence (V, qr,s) has an isometry with characteristic polynomial f and minimal polynomial g, and it contains a unimodular lattice stable by this isometry. This implies that the global conditions (G1) and (G 2)δ are fulfilled for (V, qr,s) and δ = 0, and therefore (ii) holds. Conversely, let us assume that (ii) holds. Let t : V V be an isometry → of qr,s with characteristic polynomial f and minimal polynomial g, and such that (V, q ) Q Q contains a unimodular Z -lattice L with t(L ) = L for r,s ⊗ p p p p p all prime numbers p. For p =2, let us chose L2 to be even; we claim that this is possible by [BT 20], Theorem 8.1. Indeed, condition (i) of Theorem 8.1 is satisfied, since (V, q ) Q Q contains a unimodular Z -lattice; condition (ii) r,s ⊗ 2 2 follows from the fact that (V, qr,s) Q Q2 is an orthogonal sum of hyperbolic planes; and condition (iii) holds by⊗ a result of Zassenhaus (see for instance [BT 20], Theorem 8.5), since f( 1) is a square. Let | − | L = x V x L for all p . { ∈ | ∈ p } The lattice L is even, unimodular, and t(L) = L; hence L has an isometry with characteristic polynomial f and minimal polynomial g. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 49

X Recall from §21 the construction of the group ΛM ,M . By Example 21.2 the sets Vi,j consist of the prime numbers p such that fi mod p and fj mod p X have a common irreducible, symmetric factor. Hence the group ΛM ,M only depends on the polynomal g, and will be denoted by Xg.

We next give some examples of groups Xg. For all integers d > 1, we denote by Φd the d-th cyclotomic polynomial. 10 9 7 6 5 4 3 Example 25.8. Let f1(X)= X + X X X X X X + X +1, 2 − − − − − and f2 = Φ14. Set f = f1f2 and g = f1f2.

The resultant of f1 and f2 is 169, and the polynomials f1 mod 13 and f2 2 mod 13 have the irreducible, symmetric common factor X +7X +1 F13[X]. Therefore V = 13 , and X =0. ∈ 1,2 { } g Example 25.9. Let f (X)= X12 X11 + X10 X9 X6 X3 + X2 X +1, 1 − − − − − f2 = Φ14 and f3 = Φ12. Set f = g = f1f2f3.

The resultant of f1 and f2 is 49, the resultant of f1 and f3 is 169, and the polynomials f2 and f3 are relatively prime. The polynomials f1 and f2 mod 7 have the irreducible, symmetric common factor X +1 F [X], and the ∈ 7 polynomials f1 and f3 mod 13 have two such common factors, X +2 F13[X] and X +7 F [X]. This implies that V = 7 , V = 13 , and V∈ = ∅, ∈ 13 1,2 { } 1,3 { } 2,3 and hence Xg =0. Example 25.10. Let p and q be two distinct prime numbers, such that p q 3 (mod 4). Let n, m, t Z with n, m, t > 1 and m = t, and set≡ ≡ ∈ 6

~~f1 = Φpnqm , f2 = Φpnqt , and f = g = f1f2.~~

If ( p )=1, then V = q , and X =0. q 1,2 { } g If ( p )= 1, then V = ∅, and X Z/2Z. q − 1,2 g ≃ Example 25.11. Let p be a prime number with p 3 (mod 4), and set 2 2 ≡ f1 = Φp, f2 = Φ2p, g = f1f2, and f = f1 f2 . If p 3 (mod 8), then V = 2 , and X =0. ≡ 1,2 { } g If p 7 (mod 8), then V = ∅, and X Z/2Z. ≡ 1,2 g ≃

More generally, the group Xg can be determined for any product of cyclotomic polynomials Φd with d > 3 (recall that the polynomials we consider here don’t have any linear factors, hence Φ1 and Φ2 are excluded); see §31 for more details and examples.

Assume now that conditions (C 1) and (C 2) hold; by 25.6 the local conditions (L 1) and (L 2)δ are satisfied for the quadratic form qr,s and δ = 0. Hence is not empty (where is the set for δ =0). C0 C0 Cδ Recall from §23 that V ′ is the set of finite primes, and V ′′ the set of infinite ′ primes; in our case, V is the set of valuations vp, where p is a prime number, 50 EVA BAYER-FLUCKIGER and V ′′ = v , where v is the unique infinite place. Since is not empty, { ∞} ∞ C0 we define as in §23 a homomorphism ǫ : Xg Z/2Z; this homomorphism does not depend of the choice of the local data→a (cf. Proposition 23.3). ∈ C0 ′′ Moreover, for all a (V ), we have a homomorphism ǫa : Xg Z/2Z (cf. §23); note that C(∈V C′′) is a finite set, hence we obtain a finite number→ of such homomorphisms. Theorem 25.12. Assume that conditions (C 1) and (C 2) hold. Then the following properties are equivalent : (i) There exists an even, unimodular lattice of signature (r, s) having an isometry with characteristic polynomial f and minimal polynomial g. (ii) There exists a (V ′′) such that ǫ + ǫ =0. ∈ C a Proof. Since conditions (C 1) and (C 2) hold, the local conditions (L 1) and

~~(L 2)δ are satisﬁed for the quadratic form qr,s and δ = 0 (see Theorem 25.6); therefore we can apply Theorem 23.4, and obtain that (ii) is equivalent to~~

~~(ii’) The global conditions (G1) and (G 2)δ are fulﬁlled for (V, qr,s) and δ =0. By Proposition 25.7, (ii’) and (i) are equivalent. This completes the proof of the theorem.~~

If moreover the quadratic form (V, qr,s) has maximal signature, we can deﬁne the homomorphism ǫ′ : X Z/2Z and apply Corollary 23.7. Note that g → (V, qr,s) has maximal signature if and only if s = m(f) or r = m(f). Hence we obtain the following Corollary 25.13. Assume that conditions (C 1) and (C 2) hold, and that moreover s = m(f) or r = m(f). Then there exists an even, unimodular lattice of signature (r, s) having an isometry with characteristic polynomial f and minimal polynomial g if and only if ǫ′ =0. Proof. This follows from Theorem 25.12 and Corollary 23.7.

Corollary 25.14. Assume that f satisﬁes condition (C 1), and that Xg =0. Then for each pair of integers (r, s) such that condition (C 2) holds there exists an even, unimodular lattice with signature (r, s) having an isometry with characteristic polynomial f and minimal polynomial g. Proof. This follows from Theorem 25.12.

Example 25.15. Let f1 = Φpnqm , f2 = Φpnqt , and f = g = f1f2 be as in Example 25.10. We have f(1) = f( 1) = 1 and m(f)=0. Therefore conditions (C 1) and (C 2) are satisﬁed− for all pairs of integers (r, s) with r, s > 0 such that r s (mod 8) and r + s = deg(f). Since deg(f) is divisible by 8, the choice r =≡ deg(f) and s =0 satisﬁes conditions (C 1) and (C 2). p X If ( q )=1, then g = 0 (cf. Example 25.10). Therefore by Corollary 25.14, for all pairs (r, s) as above, there exists an even, unimodular lattice with signature (r, s) having an isometry with characteristic polynomial f ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 51

(and minimal polynomial g = f). In particular, there exists a definite even, unimodular lattice with this property. If ( p )= 1, then X Z/2Z (cf. Example 25.10). Since conditions (C 1) q − g ≃ and (C 2) are satisfied (for a choice of (r, s) as above), the local conditions are satisfied, and we have = ∅. C0 6 We denote by vp the finite place of Q corresponding to the prime number ′ p, and by v∞ the unique real place. Let us choose a C(V ) as follows : av(i)=0 for all i I = 1, 2 if v = v , and avp (1) = avp∈(2) = 1. ∈ { } 6 p Let c : I Z/2Z represent the unique non-trivial element of Xg : we can take c such→ that c(1) = 1 and c(2) = 0; we have ǫ(c)=1. Let (r, s) = (deg(f), 0). Then C(V ′′) has only one element, namely the iden- tically zero one, a =0, hence ǫa(c)=0. This implies that ǫ + ǫa =0; therefore by Theorem 25.12 (or Corollary 25.13) there does not exist any definite,6 even, unimodular lattice having an isometry with characteristic polynomial f.

The method of Example 25.15 can be used to decide which products of cyclotomic polynomials Φd (with d > 3) occur as characteristic polynomials of isometries of deﬁnite even, unimodular lattices; this completes the results of [B 84]. Example 25.16. With the notation of Example 25.15, set p = 3, q = 7, n = m =1 and t =2. We have

f1 = Φ21, f2 = Φ147, and f = g = f1f2. 3 X Since ( 7 ) = 1, we have g Z/2Z (see Example 25.10). We have also seen (cf. Example− 25.15) that≃ conditions (C 1) and (C 2) are satisﬁed for all pairs of integers (r, s) with r, s > 0 such that r s (mod 8) and r + s = deg(f)=96. ≡ This gives rise to 25 possible pairs (r, s). We have already seen that the signatures (96, 0) and (0, 96) are impossible (see Example 25.15). Assume that (r, s) = (92, 4). The homomorphism ǫ : X Z/2Z is already computed in Example 25.15 : g → namely, if c : I Z/2Z represents the unique non-trivial element of Xg, we have ǫ(c)=1. →

′′ v∞ The homomorphism ǫa depends on the choice of a (V )= . There are two possibilities : a(1) = a(2) = 0, and a′(1) = a′(2)∈ C = 1. HenceC ǫ + ǫ = 0, a 6 but ǫ + ǫa′ = 0; by Theoren 25.12, this implies that there exists an even, unimodular lattice of signature (92, 4) having an isometry with characteristic polynomial f. It is easy to check that all the other signatures (r, s), with the exception of (96,0) and (0,96), occur as signatures of even, unimodular lattices having an isometry with characteristic polynomial f; this also follows from Proposition 25.19 below. 52 EVA BAYER-FLUCKIGER

~~We now give some details concerning the counter-example to the Hasse principle of the introduction :~~

2 2 Example 25.17. Let f1 = Φp, f2 = Φ2p, g = f1f2, and f = f1 f2 be as in Example 25.11. We have f(1) = f( 1) = p2, hence Condition (C 1) holds. − Let p =7, and note that f is the polynomial (X6 + X5 + X4 + X3 + X2 + X + 1)2(X6 X5 + X4 X3 + X2 X + 1)2 − − − of the introduction. We have m(f)=0, deg(f) = 24, and condition (C 2) holds for (r, s) = (24, 0). This implies that the local conditions are satisfied for q24,0 and δ =0. We denote by v2 the finite place of Q corresponding to the ′ prime number 2, and by v∞ the unique real place. Let us choose a (V ) as follows : av(i)=0 for all i I = 1, 2 if v = v , and av2 (1) = av2 (2)∈ C = 1. ∈ { } 6 2 By Example 25.11, we know that X Z/2Z. Let c : I Z/2Z represent g ≃ → the unique non-trivial element of Xg : we can take c such that c(1) = 1 and c(2) = 0; we have ǫ(c)=1. On the other hand, (V ′′) has only one element, C a =0, hence ǫa =0. Therefore ǫ + ǫa =0, and by Corollary 25.13 this implies that there does not exist any positive6 definite, unimodular and even lattice having an isometry with characteristic polynomial f. It is well-known that there exist exactly 24 isomorphism classes of even, unimodular, positive definite lattices of rank 24, including the Leech lattice, and that they are isomorphic over Zℓ for all prime numbers ℓ. The above argument shows that none of them has an isometry with characteristic polynomial f, and that they all have such an isometry locally everywhere.

The following examples involve indefinite forms. Let (r, s) be a pair of integers with r, s > 1 such that r s (mod 8), and let Lr,s be an even, unimodular lattice of signature (r, s)≡; it is well-known that such a lattice is unique up to isomorphism (see for instance [S 77], Chapitre V, Théorème 5). Recall that a Salem polynomial is a monic, irreducible and symmetric polynomial in Z[X] with exactly two roots outside the unit circle, both real and positive. Example 25.18. Let f (X) = X6 3X5 X4 +5X3 X2 3X +1 and 1 − − − − f2 = Φ12; set f = g = f1f2. This example is taken from [GM 02], Proposition 5.2, where it is shown that f does not arise as the characteristic polynomial of isometry of L9,1. With the point of view of the present paper, this can be shown as follows. The polynomials f1 and f2 are relatively prime, hence V1,2 = ∅, and this implies that X Z/2Z. g ≃ We have f(1) = 1, f( 1) = 1, and m(f)=1; hence conditions (C 1) and (C 2) are fulfilled− with−(r, s) = (9, 1) or (1,9), and (r, s) = (5, 5). Let c : I Z/2Z represent the unique non-trivial element of Xg; let us chose c so that→ c(1) = 1 and c(2) = 0. It is easy to check that the homomorphism ǫ : X Z/2Z associated to the finite places satisfies ǫ(c)=1. g → ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 53

Let (r, s) = (9,1) or (1,9). In this case, the set v∞ has a unique element, namely a = 0; hence ǫ = 0, and ǫ + ǫ = 0. ThereforeC by Theorem 25.12, f a a 6 does not arise as the characteristic polynomial of an isometry of L9,1 or L1,9. Assume now that (r, s) = (5, 5). In this case, we can choose a such that ǫa = 0, and ǫ + ǫa = 0. Therefore by Theorem 25.12, the lattice L5,5 has an isometry6 with characteristic polynomial f.

n1 n2 Proposition 25.19. Let f = f1 f2 and let (r, s) be a pair of integers with r, s > 0 such that (r, s) is not a maximal signature for f. Set g = f1f2. If conditions (C 1) and (C 2) hold, then Lr,s has an isometry with characteristic polynomial f and minimal polynomial g.

Proof. If Xg = 0, then this follows from Corollary 25.14. Assume that X = 0; hence X Z/2Z. Let I = 0, 1 , and let c : I Z/2Z represent g 6 g ≃ { } → the unique non-trivial element of Xg; let us chose c so that c(1) = 1 and c(2) = 0. Note that v∞ = v∞ . We claim that there exists a v∞ such C CRv∞ ∈ CR that ǫ + ǫa = 0. Let b . If b(1) = ǫ(c), set a = b. If b(1) = ǫ(c), then set a = (1, 2)b; by∈ Proposition CR 16.8, we have a v∞ . We6 have ∈ CR (ǫ + ǫa)(c) = ǫ(c)+ a(1)c(1) = 0, hence ǫ + ǫa = 0. By Theorem 25.12, this implies that Lr,s has an isometry with characteristic polynomial f and minimal polynomial g.

Proposition 25.20. Let f = f1f2 where f1 is a Salem polynomial, and f2 is a power of a cyclotomic polynomial Φd with d > 3. Let (r, s) be a pair of integers with r, s > 3, and assume that conditions (C 1) and (C 2) hold. Set g = f1Φd. Then Lr,s has an isometry with characteristic polynomial f and minimal polynomial g. Proof. This follows from Proposition 25.19, since for r, s > 3, the signature (r, s) is not maximal for f.

~~The following two examples might be interesting in the perspective of con- structing K3 surfaces with given entropy (cf. McMullen [McM 02], [McM 11], [McM 16]).~~

10 9 7 6 Example 25.21. As in Example 25.8, let f1(X) = X + X X X X5 X4 X3 + X +1, and f = Φ . Set f = f f 2 and g = f −f . − − − − 2 14 1 2 1 2 Note that f1 is a Salem polynomial, hence m(f1)=1. We have f(1) = 1, f( 1) = 49, m(f)=1. Therefore conditions (C 1) and (C 2) hold for all pairs− of− integers (r, s) with r, s > 1 such that r s (mod 8) and r+s = deg(f)=22. ≡ We have seen that Xg = 0 (cf. Example 25.8). By Theorem 25.12 this implies that for all pairs (r, s) as above, the lattice Lr,s has an isometry with characteristic polynomial f and minimal polynomial g. For instance, the signature (r, s) = (3, 19) is possible (the other possible signatures are (19,3), (15,7), (11,11) and (7,15)). Example 25.22. Let f (X)= X12 X11 +X10 X9 X6 X3 +X2 X +1, 1 − − − − − f2 = Φ14 and f3 = Φ12. Set f = g = f1f2f3. 54 EVA BAYER-FLUCKIGER

Since f1 is a Salem polynomial, we have m(f1)=1. Moreover, f(1) = 1, f( 1) = 49, and m(f) = 1, therefore conditions (C 1) and (C 2) hold− for− all pairs of integers (r, s) with r, s > 1 such that r s (mod 8) and r + s = deg(f)=22. ≡

Since Xg =0 (see Example 25.9), Theorem 25.12 implies that for all pairs (r, s) as above, the lattice Lr,s has an isometry with characteristic polynomial f. The signature (r, s) = (3, 19) is possible, as well the signatures (19,3), (15,7), (11,11) and (7,15).

26. Milnor signatures and Milnor indices In 1968, Milnor defined a signature invariant for knot cobordism (see [M 68], §5). The aim of this section is to relate this invariant to the one defined in §8 (cf. Example 8.6). First, a question of terminology : the word “signature" has two possible meanings, namely a pair (r, s) or the difference r s. The convention of the present paper is to call signature the pair (r, s), whereas− in knot theory the difference r s is used. To avoid confusion, we call index the difference r s (see Notation− 8.2). − Let (V, q) be a non-degenerate quadratic form over R, let t : V V an isometry of q, and let f R[X] the characteristic polynomial of t.→ To each ∈ irreducible, symmetric factor of f, Milnor associates an index τP (see [M 68], §5), as follows. Let V be theP (t)-primary subspace of V , consisting of all P(t) P v V with (t)N v = 0 for N large. The Milnor index τ (t) is by definition ∈ P P the index of the restriction of q to the subspace VP(t). We define the Milnor signature at as the signature of the restriction of P q to VP(t). If the minimal polynomial of t is square-free, these indices and signatures are the same as those defined in §8 (see Example 8.6). More generally, we associate to t : V V an isometry t′ : V V of q with characteristic polynomial f and square-free→ minimal polynomial→ (see [M 69], ′ §3). It follows from [M 69], Theorem 3.3 that τP (t )= τP (t) for all irreducible, symmetric factors of f. P 27. Lattices and Milnor indices We keep the notation of §25. Let f Z[X] be a monic, symmetric polynomial of degree 2n without linear factors∈ satisfying condition (C 1); let r > 0 and s > 0 be integers such that condition (C 2) holds for f and (r, s). Theorem 25.12 gives a necessary and sufficient condition for the existence of an even, unimodular lattice of signature (r, s) having an isometry with characteristic polynomial f and square-free minimal polynomial. In this section, we ask a more precise question

~~Question. Let t SOr,s(R) be an semi-simple isometry with characteristic polynomial F . Does∈ t preserve an even, unimodular lattice ? ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 55~~

Theorem 27.4 below gives a necessary and sufficient condition for this to hold. We consider this as a Hasse principle problem; Condition (C 1) implies that the local conditions hold at the finite places. Condition (C 2) ensures the existence of a semi-simple element of SOr,s(R) with characteristic polynomial f; fixing such an element t determines the local data at R. This is also the point of view of §24, the results of which will be applied here. ni Z Let us write f = Qfi , where fi [X] are distinct monic, irreducible, i∈I ∈ symmetric polynomials of even degree. Set 2n = deg(f), and g = Qfi. For i∈I ni all i I, let Mi = [Q[X]/(fi)] , and set M = Mi. ∈ i⊕∈I Recall that V ′ is the set of finite places of Q, and that V ′′ = v , where { ∞} v∞ is the unique infinite place of Q. We start by introducing some notation.

Notation 27.1. Let IrrR(f) be the set of irreducible, symmetric factors of nP f R[X]. If IrrR(f), let nP > 0 be the integer such that is the power∈ of dividingP ∈ f. P P We denote by Mil(f) the set of maps τ : IrrR(f) 2Z such that the image → of IrrR(f) belongs to the set 2n ,..., 2n . Let Mil (f) be the subset P ∈ {− P P } r,s of Mil(f) such that PτP = r s, where the sum runs over IrrR(f). P − P ∈ Deﬁnition 27.2. An element of Mil(f) is called a Milnor index.

~~Recall from the previous sections that the following sets are in bijective correspondance~~

~~(a) Conjugacy classes of semi-simple elements of SOr,s(R) with characteristic polynomial f.~~

~~(b) Isomorphism classes of R[Γ]-quadratic forms on M Q R of signature (r, s). ⊗~~

(c) Milr,s(f). To a semi-simple isometry t SO (R) with characteristic polynomial f, the ∈ r,s above bijection associates an R[Γ]-quadratic form b(t) on the module M Q R. With the notation of §24 we have ⊗

~~Proposition 27.3. Let t SOr,s(R) be a semi-simple isometry with characteristic polynomial f. The∈ following properties are equivalent : (i) The isometry t preserves an even, unimodular lattice.~~

(ii) The global condition (G)b(t),0 is fulﬁlled for (V, qr,s). Proof. By Proposition 25.7, the existence of an even, unimodular lattice having an isometry with characteristic polynomial f and square-free minimal polynomial implies conditions (G 1) and (G 2) . Since t SO (R) preserves 0 ∈ r,s the lattice, (G)b(t),0 holds; therefore (i) implies (ii). Conversely, let us show that (ii) implies (i). By Proposition 25.7, there exists an even, unimodular lattice 56 EVA BAYER-FLUCKIGER

having an isometry with characteristic polynomial f and square-free minimal polynomial; condition (G) implies that it is preserved by t SO . b(t),0 ∈ r,s As in §25, we obtain a homomorphism ǫ : X Z/2Z, g → deﬁned in terms of ﬁnite places, that is, C(V ′). Moreover, to all elements a C(V ′′), we associate a homomorphism ∈ ǫ : X Z/2Z. a g → Recall from §16 that an R[Γ]-quadratic form on M Q R gives rise to an element λv∞ v∞ , and hence also to a(λv∞ ) C(V ′′⊗). The above bijection allows us to associate∈ LR ∈ to t SO (R), an element a C(V ′′); • ∈ r,s t ∈ to τ Mil (f), an element a C(V ′′). • ∈ r,s τ ∈

~~Theorem 27.4. Let t SOr,s(R) be a semi-simple isometry with characteristic polynomial f. The∈ following are equivalent (a) The isometry t preserves an even, unimodular lattice.~~

~~(b) ǫ + ǫat =0. Proof. By Proposition 27.3, property (a) holds if and only if the global~~

~~condition (G)b(t),0 is fulﬁlled for (V, qr,s). On the other hand, this is equivalent to (b) by Theorem 24.2. This concludes the proof of the theorem.~~

Corollary 27.5. If Xg = 0, then all semi-simple elements of SOr,s(R) with characteristic polynomial f preserve an even, unimodular lattice. Proof. This is an immediate consequence of Theorem 27.4. Note that this is a generalization of Theorem 1.3 of [GM 02]; indeed, if f is irreducible, then Xg =0.

If L is a lattice of signature (r, s) having an isometry t with characteristic polynomial f and minimal polynomial g, then t extends to a semi-simple element of SOr,s(R), and this element gives rise to an element of Milr,s(f); this element will be called the Milnor index of the pair (L, t). The following results are reformulations of Theorem 27.4 and Corollary 27.5. Theorem 27.6. Let τ Mil (f). The following are equivalent ∈ r,s (a) There exists an even, unimodular lattice having an isometry with characteristic polynomial f and Milnor index τ.

~~(b) ǫ + ǫaτ =0.~~

Corollary 27.7. Assume that Xg =0. Then every τ Milr,s(f) occurs as the Milnor index of an even, unimodular lattice with an isometry∈ of characteristic polynomial f. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 57

~~As shown by the following example, if Xg = 0, then Theorem 27.6 allows us to determine which Milnor indices occur. 6 Example 27.8. As in Example 25.16, let~~

f1 = Φ21, f2 = Φ147, and f = g = f1f2. We have already seen that conditions (C 1) and (C 2) are satisﬁed for all pairs of integers (r, s) with r, s > 0 such that r s (mod 8) and r+s = deg(f)=96, and that X Z/2Z; let c X be the≡ only non-trivial element. g ≃ ∈ g The homomorphism ǫ : Xg Z/2Z satisﬁes ǫ(c)=1. The homomorphism → ′′ v∞ ǫa depends on the choice of a (V ) = . There are two possibilities : ′ ′ ∈ C C a(1) = a(2) = 0, and a (1) = a (2) = 1. Hence ǫ + ǫ =0, and ǫ + ǫ ′ =0. a 6 a By Theorem 27.6, there exists an even, unimodular lattice having an isome- ′ try with characteristic polynomial f and Milnor index τ if and only if aτ = a . Let r, s > 0 be two integers such that r s (mod 8) and r+s = deg(f)=96. ≡ Since n =2 for all IrrR(f), the set Mil (f) consists of the maps P P ∈ r,s τ : IrrR(f) 2, 2 . → {− } with PτP = r s, where the sum runs over IrrR(f). P − P ∈ The Milnor index map τ is determined by the two maps

τ : IrrR(f ) 2, 2 and τ : IrrR(f ) 2, 2 . 1 1 → {− } 2 2 → {− } For i = 1, 2, let Ni be the number of IrrR(fi) such that τi( ) = 2. Since r s (mod 8) and r + s = 96 P0 (mod ∈ 8), we have s 0P (mod− 4). Therefore≡ N + N is even, hence N ≡N (mod 2). ≡ 1 2 1 ≡ 2 ′ We have aτ = a if N1 is even, and aτ = a if N1 is odd. Set N(τ) = N1 (mod 2). In summary, we obtain : There exists an even, unimodular lattice having an isometry with characteristic polynomial f and Milnor index τ if and only N(τ)=1.

28. Knots A knot is a smooth, oriented submanifold of S3, homeomorphic to S1. One of the classical knot invariants is the Alexander polynomial, another is the signature. The results of the previous sections can be applied to decide for which pair (r, s) there exists a knot with Alexander polynomial ∆ and signature (r, s). For simplicity, we restrict to monic polynomials ∆ such that ∆( 1) = 1; these polynomials will be called unramiﬁed. Moreover, we assume− that ∆ ±is a product of distinct irreducible, symmetric polynomials. The general case will be treated elsewhere. Still assuming that ∆ is unramiﬁed and square free, we deal with a more precise question. To each irreducible, symmetric factor of ∆ R[X], one P ∈ associates a Milnor signature σP = (2, 0) or (0, 2). Given ∆ and σP as above, 58 EVA BAYER-FLUCKIGER

we give a necessary and suﬃcient criterion for the existence of a knot with Alexander polynomial ∆ and Milnor signatures σP . As usual in knot theory, the results are expressed in terms of the index r s − rather than the signature (r, s), and the Milnor indices τP rather than the Milnor signatures σP . For background information on the various notions of knot signatures (that is, indices), see the survey paper of Ghys and Ranicki [GR 16], explaining the history of the topic and its connection to other aspects of geometry and topology; see also the more recent survey of Anthony Conway [C 19]. We start by recalling some facts on Seifert forms, and then come back to the applications to knot theory.

29. Seifert forms A Seifert form is by definition a Z-bilinear form : Z, where is a free Z-module of finite rank, such that the skew-symmetricA L×L form → : L Z given by I L×L → (x, y)= (x, y) (y, x) I A −A has determinant 1. The symmetric form : Z defined by Q L×L→ (x, y)= (x, y)+ (y, x) Q A A is called the quadratic form associated to the Seifert form . A The index (or signature) of is by definition the index (or signature) of the quadratic form (see TrotterA [T 62], Proposition 5.1, or Murasugi [Mu 65]). Q The Alexander polynomial of , denoted by ∆A, is by definition the determinant of the form Z[XA] given by L×L→ (x, y) (x, y)X (y, x). 7→ A −A Note that ∆ (1) = 1, that ∆ (0) = det( ), and that ∆ ( 1) = det( ). A A A A − Q We say that a polynomial ∆ Z[X] is unramified if ∆ is monic, ∆(1) = 1, and ∆( 1) = 1. In the sequel,∈ we only consider Seifert forms with unramified Alexander− polynomials.± Note that this implies that det( )=1 and det( )= 1; in particular, is a unimodular lattice. Let : A be definedQ by ±( (x),y) = (y,Q x). We have ( (x), (y)) = T(x,L→L y) for all x, y , in otherA T words, Ais an isometry ofQ T. NoteT that theQ characteristic polynomial∈ L of is equalT to ∆ . Q T A Assume in addition that ∆A is a product of distinct irreducible, symmetric polynomials of Z[X].

For all irreducible, symmetric factors R[X] of ∆A, we deﬁne a Milnor index (and Milnor signature) of ( , ) asP ∈ in [M 68], §5; see also §26. These will be called Milnor indices (andQ signatures)T of . A Given a pair ( , ) consisting of a unimodular lattice and an isometry of characteristicQ polynomialT ∆, we recover a Seifert formQ with (x, y)= T A Q ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 59

~~(x, y)+ (y, x) for all x, y (see for instance Levine [Le 69], §9, for a similarA argument).A ∈ L~~

Recall from §27, Notation 27.1, that IrrR(∆A) is the set of irreducible, symmetric factors of ∆ R[X]. Since ∆ is square-free, we have n = 1 A ∈ A P for all in IrrR(∆ ). Moreover, recall that we denote by Mil(∆ ) the set of P A A maps τ : IrrR(∆ ) 2, 2 , and by Mil (∆ ) the subset of Mil(∆ ) such A → {− } r,s A A that PτP = r s, where the sum runs over IrrR(∆A). P − P ∈ Hence we have the following Proposition 29.1. Let r > 0 and s > 0 be two integers, and let ∆ Z[X] be an unramified polynomial that is a product of distinct irreducible, symmetric∈ polynomials of Z[X]. Let τ Mil (∆). The following are equivalent ∈ r,s (a) There exists a Seifert form with Alexander polynomial ∆ and Milnor index τ. (b) There exists an even, unimodular lattice L having an isometry t of characteristic polynomial ∆ such that the Milnor index of (L, t) is τ. In particular, there exists a Seifert form with Alexander polynomial ∆ and index r s if and only if there exists an even, unimodular lattice of index r s having an− isometry with characteristic polynomial ∆. − 30. Knots and Seifert forms We keep the notation of Sections 28 and 29. To every knot Σ in S3, we associate a Seifert form Σ (see for instance [K 87], Chapter VII, [Lick 97], Definition 6.4, [Liv 93], ChapterA 6, §1). It is well-known that the Alexander polynomial of Σ is an invariant of the knot; the same thing is true for the index (see Trotter,A [T 62], Proposition 5.1) and the Milnor indices (see Milnor, [M 68], §5). The following result of Seifert shows that all Seifert forms are realized by knots (see [Se 34]). Theorem 30.1. Let be a Seifert form; then there exists a knot Σ in S3 such that is the Seifert formA of Σ. A Combining this result with Theorem 29.1, we obtain the following Proposition 30.2. Let r > 0 and s > 0 be two integers, and let ∆ Z[X] be an unramified polynomial that is a product of distinct irreducible, symmetric∈ polynomials of Z[X]. Let τ Mil (∆). The following are equivalent ∈ r,s (a) There exists a knot with Alexander polynomial ∆ and Milnor index τ. (b) There exists an even, unimodular lattice L having an isometry t of characteristic polynomial ∆ such that the Milnor index of (L, t) is τ. In particular, there exists a knot with Alexander polynomial ∆ and index r s if and only if there exists an even, unimodular lattice of index r s having an− isometry with characteristic polynomial ∆. Using this result, we− can apply Theorem 27.6 to answer the questions of §28. 60 EVA BAYER-FLUCKIGER

~~We start by recalling some deﬁnitions from §25 and §27. Let ∆ Z[X] be an unramiﬁed polynomial as above, and set 2n = deg(∆). ∈~~

The conditions (C 1) and (C 2) Recall from §25 that the local conditions for the existence of an even, unimodular lattice of signature (r, s) and characteristic polynomial ∆ can be translated into two conditions (C 1) and (C 2). We now recall these conditions in our situation. Since ∆ is unramiﬁed, condition (C 1) becomes : ∆( 1)=( 1)n. • − − Recall that m(∆) is the number of roots z of ∆ with z > 1. | | Let (r, s) be a pair of integers, r, s > 0. Condition (C 2) holds if r+s =2n, r • s (mod 8), r > m(∆), s > m(∆), and m(∆) r s (mod 2). ≡ ≡ ≡ It follows from Lemma 25.3 that conditions (C 1) and (C 2) are necessary for the existence of a knot with Alexander polynomial ∆ and index r s. − Example 30.3. Assume moreover that ∆ is a product of cyclotomic polynomials φm with m 3. Then m(∆) = 0, hence if r + s = 2n, r s (mod 8), then condition (C≥ 2) holds. ≡

~~The obstruction group~~

Recall from §25 the deﬁnition of the “obstruction group" X∆. Let I be the set of irreducible factors of ∆. For all f,g I, let Vf,g be the set of prime numbers such that f and g have a common irreducible,∈ symmetric factor (mod p). Consider the equivalence relation on I generated by the elementary equivalence f g V = ∅, ∼e ⇐⇒ f,g 6 and let I be the set of equivalence classes; the group X∆ is the quotient of C(I) by the constant maps.

~~By Corollary 27.7, we have the following :~~

Corollary 30.4. Assume that conditions (C 1) and (C 2) hold. If X∆ = 0, then for all τ Milr,s(f) there exists a knot with Milnor index τ. In particular, there exists a∈ knot with index r s. − If X = 0, then we obtain a necessary and suﬃcient condition for τ ∆ 6 ∈ Milr,s(f) to be the Milnor index of a knot (cf. Theorem 27.6). The aim of the next section is to illustrate this by some examples.

~~31. Alexander polynomials of torus knots and indices~~

~~Let u,v > 1 be two odd integers, and assume that u and v are prime to each other. Set~~

~~(Xuv 1)(X 1) ∆ = − − . u,v (Xu 1)(Xv 1) − − ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 61~~

It is well-known that ∆u,v is the Alexander polynomial of the (u, v)-torus knot; the indices of torus knots have been studied in many papers (see for instance [Bo 11], [BO 10], [C 10], [GLM 81], [HM 68], [K 87] Chapter XII, [Ke 79], [KM 94], [Lith 79], [Liv 18], [Mat 77], [Mu 06]). The aim of this section is to determine which indices occur for knots with Alexander polynomial ∆u,v.

~~The polynomial ∆u,v is a product of cyclotomic polynomials~~

∆u,v = Y Φαβ where the product is over the set of all pairs (α, β) for which α is a factor of u, β is a factor of v, and both are greater than 1 (see for instance [Liv 18], Lemma 2.1). Set deg(∆u,v)=2n, and note that n is even, and that ∆u,v(1) = ∆ ( 1)=1; hence condition (C 1) holds. u,v − Let (r, s) be a pair of integers, r, s > 0, such that r + s =2n and r s (mod 8). ≡ By Example 30.3, condition (C 2) holds for ∆u,v and (r, s). In order to apply the Hasse principle results of §25 and §27, the next step is to determine the X obstruction group ∆u,v . X The group ∆u,v

If f and g are monic polynomials in Z[X], let Vf,g be the set of prime numbers p such that f (mod p) and g (mod p) have a common irreducible and symmetric factor in Fp[X]. Let I be the set of irreducible factors of ∆u,v, and X recall that the deﬁnition of the group ∆u,v involves the equivalence relation on I generated by the elementary equivalence f g V = ∅. ∼e ⇐⇒ f,g 6 X Therefore in order to determine the group ∆u,v , we need to decide when V = ∅ for two cyclotomic polynomials f and g. We start with a lemma f,g 6 Lemma 31.1. Let m and m′ be two odd integers with m > 3 and m′ > m. Let p be a prime number. The cyclotomic polynomials Φm and Φm′ have a common factor (mod p) if and only if m′ = mpe for some integer e > 1.

Proof. The resultant of the cyclotomic polynomials Φm and Φm′ is divisible by p if and only if m′ = mpe for some integer e > 1 (see for instance [Ap 70], Theorem 4). By a well-known property of the resultant, this is equivalent for Φm and Φm′ to have a common factor (mod p) . We need a criterion for the existence of symmetric irreducible factors (mod p); this will be done in the following proposition, relying on well-known properties of cyclotomic polynomials and cyclotomic ﬁelds. For all integers m > 2, let ζm be a primitive mth root of unity, and let Q(ζm) be the corresponding cyclotomic ﬁeld. 62 EVA BAYER-FLUCKIGER

~~Proposition 31.2. Let m > 3 be an odd integer, and let p be an odd prime number. The following properties are equivalent~~

(a) The polynomial Φm has a symmetric irreducible factor (mod p). −1 (b) The prime ideals above p in Q(ζm + ζm ) are inert in Q(ζm). (c) The subgroup of (Z/mZ)× generated by p contains 1. − Proof. The equivalence (a) (b) is well-known, see for instance [W 97], Proposition 2.14. Let us show⇐⇒ that (a) (c). Let A be the group × ⇐⇒ (Z/mZ) written additively, let mp : A A be the multiplication by p, and let ǫ : A A be the map sending a to →a. Both (a) and (c) are equivalent to → − (d) There exists an orbit of mp stable by ǫ. This concludes the proof of the proposition. Proposition 31.2 and Lemma 31.1 suffice to determine the obstruction group X of a product of cyclotomic polynomials, in particular the group ∆u,v . A full description would be rather heavy, so we only give some simple special cases and examples. The first remark is that if moreover m is a prime and m 3 (mod 4), property (c) of Proposition 31.2 takes a very simple form. ≡ Corollary 31.3. Let m be a prime number with m 3 (mod 4), and let p be an odd prime number. Then ≡ Φ has a symmetric irreducible factor (mod p) ( p )= 1. m ⇐⇒ m − Proof. Indeed, it is easy to see that subgroup of (Z/mZ)× generated by p p contains 1 if and only if p is not a square (mod m), in other words, ( m )= 1. Therefore− the corollary follows from Proposition 31.2. − Example 31.4. Let p and q be two distinct odd prime numbers, and assume that q 3 (mod 4). Let e > 1 be an integer, and set ∆ = ∆ e . Then ≡ p ,q X =0 if ( p )= 1, and X (Z/2Z)e−1 if ( p )=1. ∆ q − ∆ ≃ q Indeed, let I be the set of irreducible factors of ∆; the set I consists of the p cyclotomic polynomials Φ k for 1 6 k 6 e. If ( )= 1, then by Corollary 31.3 p q q − and Lemma 31.1 all these polynomials have common symmetric, irreducible factors (mod p), hence V = p for all f,g I. Therefore all the polynomials f,g { } ∈ are equivalent, and the set I of equivalence classes has one element; C(I) modulo the constant maps is trivial, hence X∆ =0. p ∅ On the other hand, if ( q )=1, then by the above results Vf,g = for all f,g I. All the polynomials are in different equivalence classes, hence I has e elements,∈ C(I) (Z/2Z)e, and X (Z/2Z)e−1. ≃ ∆ ≃ Example 31.5. Let p, p and p be distinct prime numbers with p p 1 2 ≡ 1 ≡ p2 3 (mod 4), and set ∆ = ∆p,p1p2 . Since p1 and p2 play symmetric roles and≡( p2 )= ( p1 ), we may assume that ( p1 )=1. We have p1 − p2 p2 p X (Z/2Z)2 ( 2 )=1, ∆ ≃ ⇐⇒ p ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 63 and p X Z/2Z) ( 2 )= 1. ∆ ≃ ⇐⇒ p − In particular, X∆ cannot be trivial. Indeed, let I be the set of irreducible factors of ∆; the set I consists of the cyclotomic polynomials Φpp1 , Φpp2 and Φpp1p2 . The first two are not equivalent (cf. Lemma 31.1). Note that since ( p1 )=1, the polynomials p2

Φpp2 and Φpp1p2 are not equivalent; this follows from Proposition 31.2. Hence I has at least two elements, and therefore X∆ =0. On the other hand, since p2 6 ( ) = 1, Proposition 31.2 shows that Φpp1 and Φpp1p2 are equivalent if and p1 − only if ( p2 )= 1. p − X We already know that if ∆u,v =0, then all signatures (r, s) as above (hence all indices r s) are possible, as well as all Milnor indices (see Corollary 30.4). X− If however ∆u,v = 0, then we need further information, in particular the homomorphism ǫ. 6 The homomorphism ǫ : X Z/2Z ∆u,v → Recall that V ′ is the set of finite places of Q; that is, the set of prime X numbers, and that ǫ : ∆u,v Z/2Z is defined in terms of the local data ′ → associated to V . Since ∆u,v is a product of cyclotomic polynomials, ǫ can be described explicitly, as follows. As above, we denote by I the set of irreducible factors of ∆ . If f I with u,v ∈ f = Φm and if p is a prime number, set δp = 1 if p divides m, p 3 (mod 4), and the polynomial Φ has a f ≡ m symmetric irreducible factor (mod p); p δf =0 otherwise. For all prime numbers p, let ap : I Z/2Z be defined by ap(f)= δp. → f Proposition 31.6. The homomorphism ǫ : X Z/2Z is given by ∆u,v → p ǫ(c)= X Xc(f)a (f). p∈V ′ f∈I

Proof. For all f I, set Ef = Q[X]/(f) and let σf : Ef Ef be the involution induced∈ by X X−1; note that E is a cyclotomic→ field, and 7→ f σf is the complex conjugation. Let Ff be the fixed field of σf . Let df be ep(f) the discriminant of Ef , and let p be the power of p dividing df . Then e (f) δp (mod 2) (see for instance [W 97], Propositions 2.1 and 2.7). p ≡ f Since f = Φm for some integer m that is not a prime power, no finite places of Ff ramify in Ef (see for instance [W 97], Proposition 2.15 (b)). Moreover, the prime ideals of Ff above p are inert in Ef if and only if Φm has a symmetric irreducible factor (mod p); cf. Proposition 31.2. Hence Corollary p p 6.2 and Proposition 6.4 of [BT 20] imply that we can take a (f) = δf . The 64 EVA BAYER-FLUCKIGER

X proposition now follows from the definition of ǫ : ∆u,v Z/2Z in §23, where it is also shown that the homomorphism is independent→ of the choice of local data. Milnor indices and the homomorphism ǫ : X Z/2Z τ ∆u,v → X Let τ Milr,s(∆u,v); the homomorphism ǫτ : ∆u,v Z/2Z is as follows. For all f∈ I, let n(f) be the number of Irr(R)→dividing f such that ∈ P ∈ τ( ) = 2. Let aτ : I Z/2Z be defined by aτ (f) = n(f) (mod 2). Then ǫ P: X − Z/2Z is by→ definition τ ∆u,v →

~~ǫτ (c)= Xc(f) aτ (f). f∈I~~

A necessary and sufficient criterion Applying Theorem 27.6, we get the following result Theorem 31.7. Let τ Mil (∆ ). There exists a knot with Alexander ∈ r,s u,v polynomial ∆u,v and Milnor index τ if and only if ǫ + ǫτ =0. Proof. This is an immediate consequence of Theorem 27.6, noting that the local conditions always hold. We illustrate this result by the following example : Example 31.8. We keep the notation of Example 31.4; in particular, p and q are two distinct odd prime numbers with q 3 (mod 4), e > 1 is an integer, ≡ and ∆ = ∆pe,q. If ( p ) = 1, then X = 0. This implies that all τ Mil (∆) occur as • q − ∆ ∈ r,s Milnor indices of knots. An integer ι is the index of a knot with Alexander polynomial ∆ if and only if ι 0 (mod 8), and ι 6 2n (see Example 31.4 and Corollary 30.4). ≡ | | If ( p )=1, then X (Z/2Z)e−1 (cf Example 31.4). Let τ Mil (∆). • q ∆ ≃ ∈ r,s In order to decide whether τ occurs as the Milnor index of a knot, we determine the homomorphisms ǫ and ǫτ . Recall that I is the set of irreductible factors of ∆, and that I consists of the cyclotomic polynomials Φpkq for 1 6 k 6 e. p Still assuming ( q )=1, the result depends on the congruence class of p (mod 4) : Assume first that p 3 (mod 4), and note that ( q )= ( p )= 1. • ≡ p − q − If f I, we have δq =1 and δℓ =0 for all prime numbers ℓ = q. ∈ f f 6 For all prime numbers ℓ, let aℓ : I Z/2Z be defined by aℓ(f) = δℓ , → f hence aq(f)=1 and aℓ(f)=0 if ℓ = q. The associated homomorphism ǫ : X Z/2Z is given by 6 ∆ → ℓ ǫ(c)= X Xc(f)a (f)= Xc(f). ℓ∈V ′ f∈I f∈I ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 65

~~On the other hand, we have~~

ǫτ (c)= Xc(f) aτ (f). f∈I Therefore ǫ + ǫ =0 a (f)=1 for all f I. τ ⇐⇒ τ ∈ By deﬁnition, this means that n(f) is odd for all f I, in other words, that each f I is divisible by an odd number of Irr(∈R) with τ( ) = 2. In summary,∈ we have : P ∈ P −

An element τ Milr,s(∆) occurs as the Milnor index of a knot if and only if for all f I, the∈ number of Irr(R) dividing f such that τ( ) = 2 is odd. ∈ P ∈ P − In particular, an integer ι is the index of a knot with Alexander polynomial ∆ if and only if ι 0 (mod 8), and ι 6 2n 4(e 1). ≡ | | − − Assume now that p 1 (mod 4), and note that ( q )=( p )=1. In this • ≡ p q case, δℓ = 0 for all prime numbers ℓ and for all f I. This implies that f ∈ ǫ(c)=0 for all c X . Recall that ǫ : X Z/2Z is given by ∈ ∆ τ ∆ → ǫτ (c)= Xc(f) aτ (f). f∈I Therefore ǫ + ǫ =0 a (f)=0 for all f I. τ ⇐⇒ τ ∈ This means that n(f) is even for all f I, in other words, that each f I is divisible by an even number of Irr(∈R) with τ( ) = 2. This imposes∈ a condition on the possible MilnorP indices. ∈ However,P this do−es not gives rise to additional conditions on the index; an integer ι is the index of a knot with Alexander polynomial ∆ if and only if ι 0 (mod 8), and ι 6 2n. ≡ | |

References [Ap 70] T. Apostol, Resultants of cyclotomic polynomials, Proc. Amer. Math. Soc. 24 (1970), 457-462. [Ar 75] J. Arason, Cohomologische Invarianten quadratischer Formen, J. Algebra 36 (1975), 448-491. [AEJ 84] J. Arason, R. Elman, W. Jacob, The graded Witt ring and Galois cohomology. I, Quadratic and Hermitian forms (Hamilton, Ont., 1983), 17-50, CMS Conf. Proc., 4, Amer. Math. Soc., Providence, RI, 1984. [B 84] E. Bayer-Fluckiger, Deﬁnite unimodular lattices having an automorphism of given characteristic polynomial, Comment. Math. Helv. 59 (1984), 509-538. [B 15] E. Bayer-Fluckiger, Isometries of quadratic spaces, J. Eur. Math. Soc. 17 (2015), 1629-1656. [BT 20] E. Bayer-Fluckiger, L. Taelman, Automorphisms of even unimodular lattices and equivariant Witt groups, J. Eur. Math. Soc. 22 (2020), 3467-3490. [Bo 11] M. Borodzik, Abelian ρ-invariants of iterated torus knots, Low-dimensional and symplectic topology, Proc. Sympos. Pure Math. 82, Amer. Math. Soc. Providence, RI (2011), 29-38. 66 EVA BAYER-FLUCKIGER

[BO 10] M. Borodzik, K. Oleszkiewicz, On the signatures of torus knots, Pol. Acad. Sci Math. 58 (2010), 167-177. [C 10] J. Collins, The L2 signature of torus knots, arXiv:1001.1329v3. [C 19] A. Conway, The Levine-Tristan signature : a survey, arXiv:1903.04477. [GR 16] E. Ghys, A. Ranicki, Signatures in algebra, topology and dynamics. Six papers on signatures, braids and Seifert surfaces, Ensaios Mat., 30 (2016), Soc. Brasil. Mat., Rio de Janeiro, 1-173. [GLM 81] C. McA. Gordon, R. A. Litherland, K. Murasugi, Signatures of covering links, Canad. J. Math. 33 (1981), 425-434. [GM 02] B. Gross, C. McMullen, Automorphisms of even, unimodular lattices and unramified Salem numbers, J. Algebra 257 (2002), 265–290. [HM 68] F. Hirzebruch, K.H. Mayer, O(n)-Mannigfaltigkeiten, exotische Sphären und Sin- gularitäten (German) Lecture Notes in Mathematics, 58 Springer-Verlag, Berlin, New York, 1968. [K 87] L. H. Kauffman, On knots, Annals of Math. Studies 115, Princeton University Press (1987). [Ke 79] C. Kearton, Signatures of knots and the free differential calculus, Quart. J. Math. Oxford 30 (1979), 157-182. [KM 94] R. Kirby, Melvin, Dedekind sums, µ-invariants and the signature cocycle, Math. Ann. 299 (1994), 231-267. [K 19] M. Kirschmer, Automorphisms of even unimodular lattices over number fields, J. Number Theory 197 (2019), 121-134. [L 05] T.Y. Lam, Introduction to quadratic forms over fields, Graduate Studies in Mathe- matics 67, Amer. Math. Soc., Providence, RI, 2005. [Le 69] J. Levine, Invariants of knot cobordism, Invent. Math. 8 (1969), 98-110. [Lick 97] W.B.R. Lickorish, An introduction to knot theory, Graduate Texts in Mathematics 175, Springer-Verlag, New York, 1997. [Lith 79] R.A. Litherland, Signatures of iterated torus knots, Topology of low-dimensional manifolds (Proc. Second Sussex Conf., Chelwood Gate, 1977), 71-84, Lecture Notes in Math. 722, Springer, Berlin (1979). [Liv 93] C. Livingston, Knot theory, Carus Mathematical Monographs 24, Mathematical Association of America, Washington, DC (1993). [Liv 18] C. Livingston, Concordances from connected sums of torus knots to L-space knots, New York J. Math. 24 (2018), 233-239. [Mat 77] T. Matumoto, On the signature invariants of a non-singular complex sesquilinear form, J. Math. Soc. Japan 29 (1977), 67-71. [McM 02] C. McMullen, Dynamics on K3 surfaces: Salem numbers and Siegel disks, J. Reine Angew. Math. 545 (2002), 201-233. [McM 11] C. McMullen, K3 surfaces, entropy and glue, J. Reine Angew. Math. 658 (2011), 1-25. [McM 16] C. McMullen, Automorphisms of projective K3 surfaces with minimum entropy, Invent. Math. 203 (2016), 179-215. [M 68] J. Milnor, Infinite cyclic coverings, Topology of Manifolds (J. Hocking, ed.), Prindle, Weber and Schmidt, Boston (1968), 115–133. [M 69] J. Milnor, Isometries of inner product spaces, Invent. Math. 8 (1969), 83–97. [Mu 65] K. Murasugi, On a certain numerical invariant of link types, Trans. Amer. Math. Soc. 117 (1965), 387-422. [Mu 06] K. Murasugi, Classical knot invariants and elementary number theory, Contemp. Math. 416, Amer. Math. Soc. (2006), 167-196. [O’M 73] O.T. O’Meara, Introduction to quadratic forms, reprint of the 1973 edition. Clas- sics in Mathematics. Springer-Verlag, Berlin, 2000. [Sch 85] W. Scharlau, Quadratic and hermitian forms, Grundlehren der Mathematischen Wissenschaften 270, Springer-Verlag, Berlin, 1985. [Se 34] H. Seifert, Über das Geschlecht von Knoten, Math. Ann. 110 (1934), 571-92. ISOMETRIES OF LATTICES AND HASSE PRINCIPLES 67

[S 77] J-P. Serre, Cours d’arithmétique, Presses Universitaires de France, 1977. [S 18] J-P. Serre, On the mod p reduction of orthogonal representations, Lie groups, geometry and representation theory, Progr. Math. 326, Birkhäuser/Springer (2018), 527-540. [T 62] H.F. Trotter, Homology of group systems with applications to knot theory, Ann. of Math 76 (1962), 464-498. [W 97] L. Washington, Introduction to cyclotomic ﬁelds, Second edition, Graduate Texts in Mathematics 83, Springer Verlag, New York, 1997.

~~Eva Bayer–Fluckiger EPFL-FSB-MATH Station 8 1015 Lausanne, Switzerland eva.bayer@epﬂ.ch~~