Hasse principle for -quadratic forms

  • Eva Bayer-Fluckiger

  • Nivedita Bhaskhar

Hasse principle for $G$-quadratic forms cover
Download PDF

This article is published open access.

Abstract

Introduction. Let k be a global field of characteristic = 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether this is true for G-quadratic forms, where G is a finite group. In the case of number fields the Hasse principle for G-quadratic forms does not hold in general, as shown by J. Morales [M 86]. The aim of the present paper is to study this question when k is a global field of positive characteristic. We give a sufficient criterion for the Hasse principle to hold (see th. 2.1.), and also give counter-examples. These counter-examples are of a different nature than those for number fields : indeed, if k is a global field of positive characteristic, then the Hasse principle does hold for G-quadratic forms on projective k[G]- modules (see cor. 2.3), and in particular if k[G] is semi-simple, then the Hasse principle is true for G-quadratic forms, contrarily to what happens in the case of number fields. On the other hand, there are counter-examples in the non semi-simple case, as shown in §3. Note that the Hasse principle holds in all generality for G-trace forms (cf. [BPS 13]).The third named author is partially supported by National Science Foundation grant DMS-1001872. §1. Definitions, notation and basic facts Let k be a field of characteristic = 2. All modules are supposed to be left modules. Documenta Mathematica 18 (2013) 383-392 E. Bayer-Fluckiger, N. Bhaskhar, and R. Parimala G-quadratic spaces Let G be a finite group, and let k[G] be the associated group ring. A G- quadratic space is a pair (V, q), where V is a k[G]-module that is a finite dimensional k-vector space, and q : V is a non-degenerate symmetric bilinear form such that for all x, y and all g . Two G-quadratic spaces (V, q) and (V , q) are isomorphic if there exists an isomorphism of k[G]-modules f : V such that q(f (x), f (y)) = for all x, y . If this is the case, we write (V, q) (V , q), or simply q q.Hermitian forms Let R be a ring endowed with an involution r . For any R-module M , we denote by M * its dual . Then M * has an R-module structure given by (rf ) (x)r for all r , x and f * . If M and N are two R-modules and if f : M is a homomorphism of R-modules, then f induces a homomorphism f * : by f * (g) = gf for all g * , called the adjoint of f . A hermitian form is a pair (M, h) where M is an R-module and h : M is biadditive, satisfying the following two conditions: (1.1) s and for all x, y and all r, s . (1.2) The homomorphism h : M by y is an isomorphism. Note that the existence of h implies that M is self-dual, i.e. isomorphic to its dual. If G is a finite group, then the group algebra R = k[G] has a natural k-linear involution, characterized by the formula g = g - 1 for every g . We have the following dictionary (see for instance [BPS 13, 2.1, Example] a) R-module M ?? k-module M with a k-linear action of G; b) R-dual M * ?? k-dual of M , with the contragredient (i.e. dual) action of G. c) hermitian space (M, h) ?? symmetric bilinear form on M , which is G- invariant and defines an isomorphism of M onto its k-dual. Therefore a hermitian space over k[G] corresponds to a G-quadratic space, as defined above. Hermitian elements Let E be a ring with an involution : E and put E0 = z .Documenta Mathematica 18 (2013) 383-392 If z , the map hz : E defined by .z. is a hermitian space over E; conversely, every hermitian space over E with underlying module E is isomorphic to hz for some z . Define an equivalence relation on E0 by setting z z if there exists e with zze; this is equivalent to (E, hz) (E, hz). Let be the quotient of E0 by this equivalence relation. If z , we denote by [z] its class in . Classifying hermitian spaces via hermitian elements Let (M, h0) be a hermitian space over R. Set . Let : EM EM be the involution of EM induced by h0, i.e. e* h0, for e EM , where e* is the adjoint of e. If (M, h) is a hermitian space (with the same underlying module M ), we have (h - 1 0 h) = h - 1 0 (h - 1 0 h)* h0 = h - 1 0 h* (h - 1 0 )* h0 = h - 1 0 h. Hence h - 1 0 h is a hermitian element of ; let [h - 1 0 h] be its class in . Lemma 1.1. (see for instance [BPS 13, lemma 3.8.1]) Sending a hermitian space (M, h) to the element [h - 1 0 h] of H induces a bijection between the set of isomorphism classes of hermitian spaces (M, h) and the set . Components of algebras with involution Let A be a finite dimensional k-algebra, and let : A be a k-linear involution. Let RA be the radical of A. Then A/RA is a semi-simple k- algebra, hence we have a decomposition A/RA = M (D i=1,,r ni i), where D1, . . . , Dr are division algebras. Let us denote by Ki the center of Di, and let Dop be the opposite algebra of D i i. Note that , hence induces an involution : A/RA A/RA. Therefore A/RA decomposes into a product of involution invariant factors. These can be of two types : either an involution invariant matrix algebra Mn (D (D (Dop), with M (D (Dop) i i), or a product Mni i) Mni i ni i) and Mni i exchanged by the involution. We say that a factor is unitary if the restriction of the involution to its center is not the identity : in other words, either an involution invariant Mn (D (D i i) with |Ki not the identity, or a product Mni i)Mn (Dop) . Otherwise, the factor is said to be of the first kind. In this case, i i the component is of the form Mn (D i i) and the restriction of to Ki is the identity. We say that the component is orthogonal if after base change to a separable closure is given by the transposition, and symplectic otherwise. A component Mn (D i i) is said to be split if Di is a commutative field.Completions Documenta Mathematica 18 (2013) 383-392 E. Bayer-Fluckiger, N. Bhaskhar, and R. Parimala If k is a global field and if v is a place of k, we denote by kv the completion of k at v. For any k-algebra E, set Ev = E kv. If K/k is a field extension of finite degree and if w is a place of K above v, then we use the notation w|v. §2. Hasse principle In this section, k will be a global field of characteristic = 2. Let us denote by the set of all places of k. The aim of this section is to give a sufficient criterion for the Hasse principle for G-quadratic forms to hold. All modules are left modules, and finite dimensional k-vector spaces. Theorem 2.1. Let V be a k[G]-module , and let . Let RE be the radical of E, and set E = E/RE. Suppose that all the orthogonal components of E are split, and let (V, q), (V, q) be two G-forms. Then q q over k if and only if q q over all the completions of k. This is announced in [BP 13], and replaces th. 3.5 of [BP 11]. The proof of th. 2.1 relies on the following proposition Proposition 2.2. Let E be a finite dimensional k-algebra endowed with a k- linear involution : E . Let RE be the radical of E, and set E = E/RE. Suppose that all the orthogonal components of E are split. Then the canonical map is injective. k Proof. The case of a simple algebra. Suppose first that E is a simple k- algebra. Let K be the center of E, and let F be the fixed field of in K. Let denote the set of all places of F . For all v , set Ev = E kv, and note that Ev = E H(E . k w By definition, is the set of isomorphism classes of one dimensional hermitian forms over E. Moreover, if is orthogonal, then the hypothesis implies that E is split, in other words we have E . Therefore the conditions of [R 11, th. 3.3.1] are fulfilled, hence the Hasse principle holds for hermitian forms over E with respect to . This implies that the canonical map is injective. k The case of a semi-simple algebra. Suppose now that E is semi-simple. Then E Er Aop, where E1, . . . , Er are simple algebras which are stable under the involution , and where the restriction of to A Aop exchanges the two factors. Applying [BPS 13, lemmas 3.7.1 and 3.7.2] we are reduced to the case where E is a simple algebra, and we already know that the result is true in this case. Documenta Mathematica 18 (2013) 383-392 General case. We have E = E/RE. Then E is semi-simple, and induces a k-linear involution : E . We have the following commutative diagram f k , k where the vertical maps are induced by the projection E . By [BPS 13, lemma 3.7.3], these maps are bijective. As E is semi-simple, the map f is injective, hence f is also injective. This concludes the proof. Proof of th. 2.1. It is clear that if q q over k, then q q over all the completions of k. Let us prove the converse. Let (V, h) be the k[G]-hermitian space corresponding to (V, q), and let : E be the involution induced by (V, h) as in §1. Let (V, h) be the k[G]-hermitian space corresponding to (V, q), and set u = h - 1h. Then u , and by lemma 1.1. the element [u] determines the isomorphism class of (V, q); in other words, we have q q if and only if [u] = [1] in . Hence the theorem is a consequence of proposition 2.2.Corollary 2.3 Suppose that p > 0, and let V be a projective k[G]- module.. Let (V, q), (V, q) be two G-forms. Then q q over k if and only if q q over all the completions of k. Proof. Since V is projective, there exists a k[G]-module W and n such that V k[G]n. The endomorphism ring of k[G]n is , and as p > 0, we have k[G] = Fp[G] k. Hence M p is isomorphic to k. Let , let R p E be the radical of E, and let E = E/RE. Let us show that all the components of E are split. Let e be the idempotent endomorphism of V which is the identity of V . Set and let Rbe the radical of . Then e and eR. Set , and and let e be the image of e in . Set k[G] = k[G]/. Then we have E e e. This implies that E is a component of the semi-simple algebra . Let us show that all the components of are split. As Fp is a finite field, Fp[G]/ is a product of matrix algebras over finite fields. Moreover, for any finite field F of characteristic p, the tensor product F k is a product of fields. This p shows that (Fp[G]/ k is a product of matrix algebras over finite p extensions of k; in particular, it is semi-simple. The natural isomorphism Fp[G] k k[G] induces an isomorphism [F k p[G]/Fp k[G]/.k[G]). Therefore is the radical of k[G], and we have an isomorphism [Fp[G]/ k k[G]/. Hence p all the components of k[G]/ are split. This implies that all the components of E are split as well. Therefore the corollary follows from th. 2.1. The following corollary is well-known (see for instance [R 11, 3.3.1 (b)]). Documenta Mathematica 18 (2013) 383-392 E. Bayer-Fluckiger, N. Bhaskhar, and R. Parimala Corollary 2.4 Suppose that p > 0, and that the order of G is prime to p. Then two G-quadratic forms are isomorphic over k if and only if they become isomorphic over all the completions of k. Proof. This follows immediately from cor. 2.3. §3. Counter-examples to the Hasse principle Let k be a field of characteristic p > 0, let Cp be the cyclic group of order p, and let G = Cp Cp Cp. In this section we give counter-examples to the Hasse principle for GG-quadratic forms over k in the case where k is a global field. We start with some constructions that are valid for any field of positive characteristic. 3.1 A construction Let D be a division algebra over k. It is well-known that there exist indecomposable k[G]-modules such that their endomorphism ring modulo the radical is isomorphic to D. We recall here such a constuction, brought to our attention by R. Guralnick, in order to use it in 3.2 in the case of quaternion algebras. The algebra D can be generated by two elements (see for instance [J 64, Chapter VII, §12, th. 3, p. 182]). Let us choose i, j be two such elements.Let us denote by Dop the opposite algebra of D, and let d be the degree of D. Then we have D Dop . Let us choose an isomorphism f : D Dop , and set a1 = f () = 1, a2 = f (i ) and a3 = f (j ).Let g1, g2, g3 be three elements of order p such that the set generates G.and let us define a representation G by sending gm to the matrix I am 0 I for all m = 1, 2, 3. Note that this is well-defined because . This endowes k2d2 with a structure of k[G]-module. Let us denote by N this k[G]- module, and let EN be its endomorphism ring. Then x y EN = | x Dop x d2 (k), y Md2 (k) , and its radical is 0 y RN = | y 0 d2 (k) , hence EN /RN Dop. Documenta Mathematica 18 (2013) 383-392 3.2. The case of a quaternion algebra Let H be a quaternion algebra over k. Then by 3.1, we get a k[G]-module N = NH with endomorphism ring EN such that EN /RN Hop, where RN is the radical of EN . We now construct a G-quadratic form q over N in such a way that the involution it induces on EN /RN Hop is the canonical involution. Let i, j such that i2, j2 and that ij = - ji. Let : H be the orthogonal involution of H obtained by composing the canonical involution of H with . Let : Hop Hop be the canonical involution of Hop. Let us consider the tensor product of algebras with involution . Then is a symplectic involution of satisfying for all m = 1, 2, 3, since = (ij)( - i) = (ij)( - j). Let be a skew-symmetric matrix such that for all x , we have , where xT denotes the transpose of x. Set A = . - Then AT = A. Let q : N be the symmetric bilinear form defined by A : Aw for all v, w . Let be the involution adjoint to q, that is A for all X , i.e. w) for all f and all v, w . The involution restricts to an involution of EN , as for all x, y , we have x y = .0 x It also sends RN to itself, and induces an involution on Hop EN /RN that coincides with the canonical involution of Hop. We claim that q : N is a G-quadratic form. To check this, it suffices to show that for all v, w and for all m = 1, 2, 3. Since for all m = 1, 2, 3, we have - 1 I a I a I 0 I and hence gmw) = for all m = 1, 2, 3 and all v, w . Thus q is a G-quadratic form, and by construction, the involution of EN induced by q is the restriction of to EN . Documenta Mathematica 18 (2013) 383-392 E. Bayer-Fluckiger, N. Bhaskhar, and R. Parimala 3.3. Two quaternion algebras Let H1 and H2 be two quaternion algebras over k. By the construction of 3.2, we obtain two indecomposable k[G]-modules N1 and N2. Set E1 = EN and

Cite this article

Eva Bayer-Fluckiger, Nivedita Bhaskhar, Hasse principle for -quadratic forms. Doc. Math. 18 (2013), pp. 383–392

DOI 10.4171/DM/402