arXiv:2012.09644v1 [math.RA] 15 Dec 2020 oitv -iesoa rs.nnsoitv -iesoa)comp form 8-dimensional) norm nonassociative associated whose (resp. 4-dimensional sociative F iff lers hste lost rae h otx osuyteisot the study to context the the in broaden forms to arbitrary Pfister allows of 3-fold 2 then by by and This given ex algebras are algebras. quaternion that be of forms can case norm algebras the associated such in the of of property anisotropy division the the of that fact the using counterexamples. various mesinto embeds te utrin(ep coin ler,then algebra, ) (resp. quaternion other fsursadKt’ ooooyi oiiecharacteristi positive in cohomology Kato’s and squares of extension. inseparable purely form; norm algebra; 17A75. 17A35 16K20 hrceitc2ta pisoe oeprl neaal leri e algebraic inseparable purely some over splits that 2 characteristic 2. hyakdtefloig ie notno iiinalgebra division Ric M¨uhlherr octonion und Bernhard an by Given me following: to in the posed this asked context for They this point in starting be question The distingush a to complicated. extensions. has and quadratic one intricate inseparable algebras more such and subtletie also of additional subfields but to conisdering characterist richer literat when rise of sense of gives fields some amount in base 2, vast theory only not a consider characteristic is we to There note, compared this isometric). In are forms algebras. norm the (i.e., ttu htthen that true it UEYISPRBEETNIN NCAATRSI 2 CHARACTERISTIC IN EXTENSIONS INSEPARABLE PURELY vco space -vector ealta utrin(ep coin algebra octonion) (resp. quaternion a that Recall 2010 u prahwl et osdrti usini h otx fquad of context the in question this consider to be will approach Our h uhri upre npr yDGgatH 4784/2-1 HO grant DFG by part in supported is author The phrases. and words Key n A PITN FQAENOSADOTNOSOVER AND QUATERNIONS OF SPLITTING saiorpc Furthermore, anisotropic. is xoet r ntecs fotnos vraysml subextens simple any over octonions, of case the in or, exponent, fdegree of n ihr es.W td hsqeto ntrso h stoybe isotropy the of terms in forms. question norm this associated study the We Weiss. Richard and E field a Abstract. ahmtc ujc Classification. Subject hs egtangtv nwrt usinpsdb enadM Bernhard by posed question a to answer negative a get we Thus, . n O F fl fitrfrsoe ueyisprbeetnini character in extension inseparable purely over forms Pfister -fold ewl hwta h nwri eaiei eea yconstructing by general in negative is answer the that show will We ? fcaatrsi htsltoe ueyisprbeextension inseparable purely a over split that 2 characteristic of ≥ A E u htd o pi vraysbxeso of subextension any over split not do that but 4 hsnr omhstepoet that property the has form norm This . egv xmlso utrinadotno iiinagba over algebras division octonion and quaternion of examples give We otisasubfield a contains udai om fitrfr;iorp;qaeno ler;oct algebra; quaternion isotropy; form; Pfister form; quadratic n ELVW HOFFMANN W. DETLEV A 1. sanneeeaeqartcfr endo the on defined form quadratic nondegenerate a is Introduction n A K rmr:1E4 eodr 18 21 16H05 12F15 11E81 Secondary 11E04; Primary: determines hti udai xeso of extension quadratic a is that 1 A c . = ∼ A A ntesneta if that sense the in A udai om,qarc,sums quadrics, forms, Quadratic ′ as vrafield a over F F A agba iff -algebras inside sadvso algebra division a is o of ion O fl fitrforms Pfister -fold c2 aethat, case a 2, ic vrafield a over xtension rse nterms in pressed htmk the make that s E aeo octonion of case we separable tween aiu of haviour etgto was vestigation oybehaviour ropy sto algebra osition F flower of F ¨uhlherr E o example, For inside r nsuch on ure adWeiss. hard F ai forms ratic saa as- an a is of n A F n that and A E/F ′ ∼ = san- is onion F istic n is , A of ′ 2 DETLEV W. HOFFMANN

In the next section, we will collect those facts about the theory of bilinear and quadratic forms in characteristic 2 that we will need in our constructions. In § 3, we will study the isotropy behaviour of bilinear Pfister forms under purely inseparable extension and construct various examples that we will built upon in § 4, where we investigate the isotropy behaviour of quadratic Pfister forms under purely insepara- ble extensions. In that section, we will construct our main examples. Namely, given any integers m 2, n 3 (resp. n 2) and ℓ with 1 ℓ max 1, m 2 (resp. 2 ℓ m), we≥ will construct≥ a field≥F with an anisotropic≤ ≤n-fold{ quadratic− } Pfister form≤ π≤and a purely inseparable extension M/F such that M has exponent ℓ over F and [M : F ]=2m and such that π will become isotropic over M but π will stay anisotropic over any simple (resp. exponent ℓ 1) extension of F contained in M. In § 5, we will rephrase these constructions≤ in the− original context of quaternion and octonion algebras.

2. Quadratic and bilinear forms in characteristic 2 From now on, all fields that we will consider will be of characteristic 2, all bilinear forms will be symmetric, nondegenerate and finite-dimensional, and all quadratic forms will be finite-dimensional (but not necessarily nondegenerate). We refer to [3] for any terminology or any facts that we state without further reference. As usual, we use the symbols ∼=, to denote isometry and orthogonal sum, and for the tensor product of two bilinear⊥ forms or of a bilinear with a .⊗ Let q (resp. b) be a quadratic (resp. bilinear form) on an F -vector space V . The value set is defined to be DF (q) = q(x) x V F ∗ (resp. DF (b) = b(x, x)) x V F ∗), and q (resp. b) is said{ to be| isotropic∈ } ∩ if there exists some x{ V 0| with∈ q}( ∩x) = 0 (resp. ∈ \{ } b(x, x)=0). If (q′,V ′) is another quadratic form, then we say that q represents q′ if there is a injective F -linear map σ : V ′ V such that q(σ(x)) = q′(x) for all → x V ′, and we write q′ q. Similarly, one defines b′ b for another bilinear form ∈ ≺ ≺ (b′,V ′). Every quadratic form q decomposes as

q = [a , b ] ... [ar, br] c ,...,cs , ai, bi,ci F, ∼ 1 1 ⊥ ⊥ ⊥h 1 i ∈ 2 2 where [a, b] stands for the quadratic form ax +xy +by and c1,...,cs corresponds h 2 i 2 to the restriction of q to its radical and stands for the form c1x1 + ... + csxs. In particular, the values s,r in such a decomposition are uniquely determined and q is nondegenerate (i.e., q has trivial radical) iff s = 0. If r = 0, we say that the above q is totally singular. In this case, DF (q) 0 = s 2 ∪{ } i=1 F ci is a finitely generated subvector space of F (considered as vector space P 2 over F ). In fact, if q = c ,...,cs and q′ = d ,...,dt are both totally singular, ∼ h 1 i ∼ h 1 i then q = q′ iff s = t and DF (q) 0 = DF (q′) 0 iff s = t and span 2 (c ,...,cs)= ∼ ∪{ } ∪{ } F 1 spanF 2 (d1,...,dr). We refer the reader to [8] concerning further properties of totally singular quadratic forms. H = [0, 0] is called a quadratic hyperbolic plane, and q is said to be hyperbolic iff q is isometric to an orthogonal sum of hyperbolic planes. If q′ is nondegenerate, then q′ q iff there exists a quadratic form q′′ with q ∼= q′ q′′. Also, it is not difficult≺ to show that if q is a nondegenerate quadratic form⊥ (or a quadratic form with anisotropic radical), then q is isotropic iff H q. A 2-dimensional isotropic bilinear form is called≺ a metabolic plane. For a suitable basis, the Gram matrix will be of shape ( 0 1 ) for some a F , and this metabolic 1 a ∈ SPLITTINGOFQUATERNIONSANDOCTONIONS 3 form will be denoted by Ma, and M0 = Hb will be called a bilinear hyperbolic plane. A bilinear form b is called metabolic (hyperbolic) iff it is isomteric to an orthogonal sum of metabolic (bilinear hyperbolic) planes. A bilinear form is diagonalizable iff it is not hyperbolic, in which case we use the notation a ,...,an when e ,...,en h 1 ib { 1 } is an orthogonal basis of (b, V ) with b(ei, ej)= δijai F . An n-fold bilinear Pfister form (n 1) is a bilinear∈ form that is isometric to ≥ 1, a1 b ... 1, an b for suitable ai F ∗, in which case we write a1,...,an b for hshort.i ⊗1 is⊗h consideredi to be the unique∈ 0-fold bilinear Pfister form.hh Theii set of h ib forms isometric to n-fold bilinear Pfister forms over F will be denoted by BPnF . An n-fold quadratic Pfister form (n 1) is a (nondegenerate) quadratic form ≥ that is isometric to β [1, a] for some a F and some β BPn 1F . If β = ⊗ ∈ ∈ − ∼ a1,...,an 1 b, this quadratic Pfister form will be written a1,...,an 1, a]] for hh − ii hh − short, and PnF will denote the set of forms isometric to n-fold quadratic Pfister forms over F . We also consider totally singular quadratic forms that are so-called quasi-Pfister forms of type a1,...,an ∼= 1, a1 ... 1, an , ai F (here, we allow ai = 0). The set of quadratichh formsii isometrich i ⊗ to n⊗h-fold quasi-Pfisteri ∈ forms will be denoted 2 2 by QPnF . Note that DF (q) 0 = F (a ,...,an) is just the field extension of F ∪{ } 1 inside F generated by the ai, and that two forms in QPnF are isometric iff these associated fields are the same. If b BPnF , then the quadratic form qb given by qb(x) = b(x, x) is a form in ∈ QPnF . It should be noted that in this way, nonisometric forms in BPnF may yet give rise to isometric forms in QPnF . Pfister forms play a central role in the theory of bilinear/quadratic forms and they are characterized by many nice properties. For example, a bilinear (resp. quadratic) n-fold Pfister form (n 1) is metabolic (resp. hyperbolic) iff it is isotropic. In particular, if ϕ is a bilinear≥ (quadratic) n-fold Pfister form for some n 1, and if ≥ ψ is any other bilinear (quadratic) form with ψ aϕ for some a F ∗ and if in 1 ≺ ∈ addition dim ψ> 2 dim ϕ (in which case ψ is called a Pfister neighbor of ϕ), then ψ is isotropic iff ϕ is isotropic iff ϕ is metabolic (hyperbolic). Also a quadratic (resp. bilinear, resp. quasi) Pfister form π has the property that π = aπ for some a F ∗ ∼ ∈ iff a DF (π), a property that is often referred to as roundness. We∈ are interested in the isotropy behaviour under purely inseparable algebraic extensions (p.i. extensions for short). We will recall a few facts regarding these extensions in the next section.

3. Bilinear forms over purely inseparable extensions

Recall that if F is a field of characteristic 2, then elements a1,...,an F are called 2 2 n ∈ 2-independent if [F (a1,...,an): F ]=2 , and a subset S F is 2-independent if any finite subset of S is 2-independent. A 2-basis of F is a⊂ 2-independent subset S with F 2(S)= F (such a 2-basis always exists). Let E/F be a p.i. extension. This means that to each a E there exists some n integer n 0 such that a2 F . The smallest such n will be called∈ the exponent of a, ≥ ∈ exp2(a)= n, and we define the exponent of E to be exp2(E/F ) = sup exp2(a) a E . A p.i. extension E/F will be of exponent 1 iff there exists a{ nonempty| 2-∈ independent} subset S F such that E = F (√s s S). A finite p.i. extension E/F is called modular⊂ iff it is isomorphic to a tensor| ∈ product of simple extensions 4 DETLEV W. HOFFMANN

over F iff there exists a 2-independent subset s ,...,sr (r 0) and integers { 1 } ≥ n ,...,nr 1 such that 1 ≥ 2n1 2nr (3.1) E = F √s1,..., √sr. It is an easy exercise to show that if [E : F ]=2m with m 2 then E/F is modular. But there are already examples of nonmodular extensions≤ with [E : F ] = 8 (we will encounter such an extension in Example 3.3). Proposition 3.1. Let α ∼= a1,...,an b BPnF and put A = a1,...,an F ∗. Let β be a bilinear form overhhF . Let E/Fii be∈ a modular finite p.i. extension{ as} in⊂ Eq. (3.1) for some 2-independent subset S = s1,...,sr = . Let L = F (√s1,..., √sr) { } 6 ∅ and σ = s ,...,sr . ∼ hh 1 iib (i) α is anisotropic iff A is 2-independent. (ii) The following statements are equivalent: (a) βE is isotropic; (b) βL is isotropic; (c) σ β is isotropic. ⊗ (iii) αE is anisotropic iff A S is 2-independent. ∪ Proof. (i) See [5, Lem. 8.1]. (ii) See [6, Th. 5.2]. (iii) follows from (ii)(c) applied to α instead of β, together with (i) applied to the bilinear Pfister form σ α = s ,...,sr, a ,...,an .  ⊗ ∼ hh 1 1 iib 2 α = a b is clearly anisotropic iff a F F . In this case, if E/F is any field ∼ hh ii 2∈ \ extension, then αE is isotropic iff a E iff F (√a) E, so α becomes isotropic over a quadratic extension of F contained∈ in E. This⊂ will generally no longer be true once we consider anisotropic bilinear Pfister forms of fold n +2 2 as the following example shows. ≥ Example 3.2. Let F be a field (of characteristic 2 as always) with a 2-independent set x,y,z,c ,...,cn . For example, we may take F (x,y,z,c ,...,cn), the rational { 1 } 2 1 function field in n + 3 variables over F2 = Z/2Z. Let E = F (√z, √xz + y) and π = x,y,c1,...,cn b BPn+2F . Clearly, z, xz+y,x,y,c1,...,cn is 2-dependent. By Propositionhh 3.1,iiπ ∈is anisotropic over F{ and isotropic over E.} Of course, the latter can also be checked directly by noting that π = 1,x,y,xy ... and ∼ h ib ⊥h ib 2 1 √xz + y2 + x √z + y 12 =0. · · · We show that for any quadratic subextension F K E, we have that πK is anisotropic. Such a quadratic subextension is of shape⊂ K⊂= F (a) with

a = u√z + v√xz + y + wpz2x + yz for some u,v,w F , not all equal to 0. ∈ 2 By Proposition 3.1, πK is isotropic iff a ,x,y,c ,...,cn is isotropic over F . We hh 1 iib know that z,x,y,c1,...,cn b is anisotropic over F . Now the (an)isotropy of these bilinear Pfisterhh forms is equivalentii to the (an)isotropy of the associated quasi-Pfister forms. We show that for these quasi-Pfister forms, we will have 2 a ,x,y,c ,...,cn = z,x,y,c ,...,cn , hh 1 ii ∼ hh 1 ii over F , which in turn implies that πK is anisotropic. SPLITTINGOFQUATERNIONSANDOCTONIONS 5

It cleary suffices to show that a2,x,y = z,x,y , which just means that hh ii ∼ hh ii 2 2 2 2 DF ( a ,x,y ) 0 = F (a ,x,y)= F (z,x,y)= DF ( z,x,y ) 0 . hh ii ∪{ } hh ii ∪{ } It then suffices to show that z F 2(a2,x,y) and a2 F 2(z,x,y). Now ∈ ∈ a2 =(wz)2x + v2y + u2z + v2xz + w2yz F 2(z,x,y). ∈ Conversely, note that we do not have u = v = w = 0, and since x, y are 2- independent, we thus have 0 = s = u2 + v2x + w2y F 2(a2,x,y). We put 6 ∈ r = a2 +(wz)2x + v2y = z(u2 + v2x + w2y)= zs F 2(a2,x,y) ∈ 1 2 2 and get that z = rs− F (a ,x,y).  ∈ In the next example, we will exhibit an anisotropic n-fold bilinear Pfister form (n 2) that will become isotropic over a nonmodular p.i. extension but which will≥ not become isotropic over any proper subfield. Now p.i. extensions E/F with [E : F ] 4 are easily seen to be modular (quadratic, biquadratic, or gotten through adjoining≤ a 4th root of some nonsquare). The smallest possible degree for a non- modular extension will thus be 8, and we will use such an example that can be traced back to Sweedler [13, Example 1.1].

4 Example 3.3. Let F be as in Example 3.2. Let E = F (√z, px√z + y). Clearly, exp2(E/F ) = 2 and an easy check shows that [E : F ] = 8. Comparing degree and exponent shows that E/F is not simple. If E/F were modular, then it would contain a biquadratic subextension, i.e. an extension of degree 4 and exponent 1. However, the only exponent 1 subextension is F (√z). We show this for the reader’s convenience. Let ζ = √4 z, χ = x√z + y and let t E with t2 F . Then there p ∈ ∈ are ai, bi F , 0 i 3, such that ∈ ≤ ≤ 3 3 i i t = X aiζ + χ X biζ , i=0 i=0 and we get t2 = a2 +a2z +(b z)2x+b2xz +b2y+b2yz +(a2 +a2z +b2x+b2xz +b2y+b2yz)√z F, 0 2 3 1 0 2 1 3 0 2 1 3 ∈ so we get 2 2 2 2 2 2 a1 + a3z + b0x + b2xz + b1y + b3yz =0 which, by 2-independence, implies a1 = a3 = b0 = b1 = b2 = b3 = 0 and thus, t = a + a √z F (√z). 0 2 ∈ Now let π = x,y,c ,...,cn be as in Example 3.2. Note that by general ∼ hh 1 iib theory, the 2-independence of z,x,y,c ,...,cn over F implies the 2-independence { 1 } of √z,x,y,c ,...,cn over L = F (√z). Hence πL is anisotropic. Since E = { 1 } L(p√z, px√z + y), we see that we are in the same situation as in Example 3.2 but with F replaced by L and z replaced by √z. This shows on the one hand that πE is isotropic, and on the other hand that if K is any quadratic extension of L contained in E, then πK is anisotropic. We have that π is isotropic over E but anisotropic over any extension of F properly contained in E. Indeed, if K is any extension of F properly contained in E, then K = F , or [K : F ] = 2 in which case K = L, or [K : F ] = 4 in which case K will contain a quadratic extension of F which must be L and K/L will thus be a quadratic extension. By the above, πK is anisotropic in all these cases.  6 DETLEV W. HOFFMANN

4. Quadratic forms over purely inseparable field extensions The isotropy behaviour of quadratic forms over exponent 1 extensions has been studied in [7], including a determination of the Witt kernel for such extensions, i.e., the classifiction of quadratic forms that become hyperbolic over such extensions. Complete results for quartic extensions can be found in [10], and the determination of Witt kernels for arbitrary purely inseparable extensions can be found in [11], [2]. We will not need the full thrust of these results but instead we will focus primarily on quadratic Pfister forms and some explicit examples that have not been exhibited before in the literature in the way we require. Let us remark at this point that 1-fold quadratic Pfister forms are of little interest in our context. Indeed, if π = a]] = [1, a] P1F is anisotropic and E/F is any ∼ hh ∼ ∈ 2 field extension, then πE is isotropic iff a ℘(E)= e + e e E iff the separable 1 ∈ { | 1∈ } quadratic extension F (℘− (a)) is contained in E (where ℘− (a) denotes a root of the separable irreducible polynomial X2 + X + a F [X]). In particular, π will not become isotropic over any purely inseparable extension.∈ The isotropy behaviour of quadratic forms over quadratic p.i. extensions is quite well understood. Lemma 4.1. Let q be an anisotropic quadratic form over F and let K = F (√a), 2 a F F , be a quadratic p.i. extension. Then qK is isotropic iff c 1, a q for ∈ \ h i ≺ some c F ∗. In this case, a q is isotropic. ∈ hh iib ⊗ Proof. The equivalence is well known (see, e.g., the proof of [9, Lemma 5.4]). Fur- thermore, if c 1, a q then c 1, a ∼= c 1, 1, a, a a b q, and 1, 1, a, a is obviously isotropic.h i ≺ hh ii h i ≺ hh ii ⊗ h i  Proposition 4.2. Let E/F be an exponent 1 p.i. extension and let π P F be ∈ 2 anisotropic. If πE is isotropic (and hence hyperbolic), there exist a, c F ∗ such that ∈ √a E and π ∼= a, c]]. In particular, π becomes isotropic over a quadratic p.i. extension∈ of F containedhh in E. Proof. The proof can be extracted from the proof of [7, Th. 3.4], but in our special situation, the argument can be condensed considerably and we include it for the 2 reader’s convenience. Note that by assumption, E F . Let π ∼= u, v]] P2F be anisotropic but hyperbolic over E. Then any Pfister⊆ neighbor of hhπ over ∈F will also become isotropic over E. Now [1,u] v π ∼= [1,u] v[1,u], so there exist x, y, z E, not all equal to 0, with ⊥h i ≺ ⊥ ∈ 0= x2 + xy + uy2 + vz2. Then at least two of the x, y, z must be nonzero. If, say, x = 0, we may divide by x2 und thus, we may assume without loss of generality that6 we have an equation 1+ y + uy2 + vz2 =0, y,z F. ∈ But y2, z2 F and thus also y F . But then, the anisotropy over F implies that z E F .∈ With z2 = a F it follows∈ that π becomes hyperbolic over F (√a) from ∈ \ ∈ which we can conclude that π ∼= a, c]] for some c F (see, e.g., [1, Cor. 2.8]). The case y = 0 is similar. hh ∈  6 We will see later on that this result does not generalize to n-fold quadratic Pfister forms for n 3. In the case of n-fold quadratic Pfister forms (n 2), the result ≥ ≥ SPLITTINGOFQUATERNIONSANDOCTONIONS 7 will also not generalize to p.i. extensions of higher exponent, not even to simple such extensions (in stark contrast to the case of bilinear Pfister forms!) as the next examples will show. In the construction of our examples, we will often use generic methods. In partic- ular, we will work over the field of Laurent series F ((t)). Now theories of quadratic forms over valued fields in charactersitic 2 can be found in the literature, but we will not need a full fledged such theory but rather only define some concepts and use some facts that will be needed in our constructions to keep the paper as self-contained as possible. We call a F ((t)) a unit if a F [[t]]∗ = F ∗ + tF [[t]]. For our purposes, we call a quadratic form∈ q over F ((t)) quasi-unimodular∈ if ϕ has a representation

ϕ = [a , b ] ... [ar, br] c ,...,cs , ai, bi,cj F [[t]]∗ 0 ∼ 1 1 ⊥ ⊥ ⊥h 1 i ∈ ∪{ } (we include 0 to make sure that the hyperbolic plane [0, 0] will be quasi-unimodular). Then ai αi + tF [[t]] with some uniquely determined αi F (and similarly, bi ∈ ∈ ∈ βi + tF [[t]], cj γj + tF [[t]] with βi,γj F ). Then we get a quadratic form over F defined by ∈ ∈ ϕ = [α , β ] ... [αr, βr] γ ,...,γs 1 1 ⊥ ⊥ ⊥h 1 i that we call the residue form for this representation. The following result is fairly straightforward. Lemma 4.3. Let ϕ be a quasi-unimodular quadratic form over F and let ϕ be the residue form of some quasi-unimodular representation of ϕ. If ϕ is anisotropic then ϕ is anisotropic. In this situation, if ϕ′ is the residue form of any other quasi- unimodular representation of ϕ, then ϕ ∼= ϕ′ over F . Proposition 4.4. Let ρ, σ, α, β be quasi-unimodular quadratic forms over F ((t)). Assume that α, β are totally singular of the same dimension n having quasi-uni- modular representations α = a ,...,an , β = b ,...,bn . Let ∼ h 1 i ∼ h 1 i ψ ∼= ρ α, τ = σ ⊥ β, ∼ ⊥ 1 1 1 ϕ = ρ t− σ [a , t− b ] ... [an, t− bn]. ∼ ⊥ ⊥ 1 1 ⊥ If ψ and τ are anisotropic over F then ϕ is anisotropic over F ((t)). Proof. The proof uses a fairly standard constant coefficient argument which we will only sketch. Suppose ϕ is isotropic. Let dim ρ = r, dim σ = s. By multiplying by a suitable power of t, one may assume that there are ei, fj,gk, hk F [[t]] (1 i r, 1 j s, 1 k n), not all divisible by t, such that ∈ ≤ ≤ ≤ ≤ ≤ ≤ n 1 2 1 2 0= ρ(e1,...,er)+ t− σ(f1,...,fs)+ Xakgk + gkhk + t− bkhk. k=1 By considering the constant terms of the involved power series and by computing 0 1 the coefficient of t resp. t− in the above equation, one readily gets that we find an equation

ρ(ǫ ,...,ǫr)+ α(δ ,...,δn) = 0 with ǫi, δk F , not all equal to zero, 1 1 ∈ or

σ(γ ,...,γs)+ β(µ ,...,µn) = 0 with γj,µk F , not all equal to zero, 1 1 ∈ 8 DETLEV W. HOFFMANN

showing that ψ or τ is isotropic over F .  Corollary 4.5. Let a, a1,...,an F [[t]]∗ such that b ∼= a1,...,an b is an anisotropic bilinear form over F ((t)) and with∈ associated totally singularh quasi-unimodulari qua- 1 dratic form qb ∼= a1,...,an . If qb is anisotropic over F then b [1, at− ] is anisotropic over F ((ht)). i ⊗

Proof. Note that b is anisotropic iff the associated quadratic form qb is anisotropic. Also, n n 1 ⊥ 1 ⊥ 1 1 b [1, at− ] = ai[1, at− ] = [ai, aai− t− ], ⊗ ∼ i=1 ∼ i=1 and we can apply Proposition 4.4 to ψ ∼= α and 1 1 τ = β = a a− ,...,a− = a a ,...,an = α. ∼ ∼ h 1 n i ∼ h 1 i ∼ 

In the next example, we extend Example 3.2 by showing that to each n 0, there are examples of fields over which there exist anisotropic (n+3)-fold quadratic≥ Pfister forms that become isotropic over a biquadratic p.i. extension but stay anisotropic over any quadratic subextension. Example 4.6. Let F , E, π be as in Example 3.2, put L = F ((t)), M = L(√z, √xz + y)= F (√z, √xz + y)((t)) = E((t)) 1 and q = π [1, t− ] Pn+3L. Obviously, z,x,y,c1,...,cn is quasi-unimodular with anisotropic⊗ residue∈ form (which essentiallyhh is the formii with the same coeffi- cients), and by Corollary 4.5, it follows that z q is anisotropic and thus also q. hh iib ⊗ But as in Example 3.2, πE and hence πM and qM are isotropic. Let K be any quadratic extension of L contained in M. As in Example 3.2, we may write K = L(a) where

a = u√z + v√xz + y + wpz2x + yz with u,v,w L, not all equal to 0. Multiplying by a suitable power of t, we may ∈ furthermore assume that u = u + u′, v = v + v′, w = w + w′ with u , v ,w F , 0 0 0 0 0 0 ∈ not all equal to 0, and u′, v′,w′ tF [[t]]. Let ∈ 2 a = u0√z + v0√xz + y + w0pz x + yz. Then a2 a2 + tF [[t]]. Using the 2-independence of x, y, z, and the fact that we do ∈ 2 2 not have u0 = v0 = w0 = 0, we have a = 0 and thus a F [[t]]∗. As in Example 3.2, we get (over F !) 6 ∈ 2 a ,x,y,c ,...,cn = z,x,y,c ,...,cn hh 1 ii ∼ hh 1 ii which is anisotropic over F . 2 By the above, a ,x,y,c1,...,cn is quasi-unimodular with anisotropic residue 2 hh ii form a ,x,y,c ,...,cn . By Corollary 4.5, it follows that hh 1 ii 2 1 2 a ,x,y,c ,...,cn [1, t− ] = a q hh 1 iib ⊗ ∼ hh iib ⊗ is anisotropic over L. Therefore, with L(a)= K and by Lemma 4.1, qK is anisotropic.  SPLITTINGOFQUATERNIONSANDOCTONIONS 9

Example 4.7. In the previous example, we have constructed fields L over which there exist an anisotropic (n+3)-fold Pfister form π (n 0) over L and a p.i. extension M ≥ of L of degree 4 such that exp2(M/L) = 1 and π becomes isotropic over M but stays anisotropic over any simple extension K/L contained in E (since in that example, M/L is p.i. biquadratic, any such simple subextensions will be p.i. quadratic). One can easily generalize this as follows: For any integers n 0, m 2 and ℓ with 1 ℓ max 1, m 2 there exist a field L, an anisotropic (n≥+3)-fold≥ Pfister form π≤over≤L and{ a p.i.− extension} M of L of m degree 2 and exponent exp2(M/L) = ℓ such that π becomes isotropic over M but π stays anisotropic over any simple extension K of L contained in M.

Indeed, choose integers r 0 and 1 m ,...,mr ℓ such that ≥ ≤ 1 ≤ m =2+ m + ... + mr and m = ℓ if m 3 1 1 ≥ (this is always possible under the assumptions). Assume furthermore that L = F ((t)) where this time F has a 2-independent set

z,x,y,c ,...,cn, b ,...,br . { 1 1 } 1 Again, we choose π = x,y,c,...,cn, t− ]] over L This time, we define ∼ hh 2m1 2mr F ′ = F √b1,..., √br L′ = F ′((t)) 2m1 2mr M = L√z, √xz + y, √b1,..., √br Note that

M = L′(√z, √xz + y)= F ′(√z, √xz + y)((t)). By 2-independence, one easily checks that the p.i. extension M/L satisfies the re- quired properties regarding degree and exponent. Furthermore, by the general the- ory of 2-independence,

2m1 2mr z,x,y,c1,...,cn, pb1,..., pbr is a 2-independent set over F ′ (and over L′), thus, we can now proceed exactly as in Example 4.6 and conclude that πL′ is anisotropic, πM is isotropic, and πK′ is anisotropic over any simple extension K′ of L′ contained in M. Now let K = L(w) be any simple extension of L contained in M. Then obviously K′ := KL′ = L′(w) is a simple extension of L′ contained in M, hence πK′ is anisotropic and thus also πK since K K′.  ⊆ Example 4.8. Let F , E, π be as in Example 3.3, put L = F ((t)),

4 4 M = L(√z, px√z + y)= F (√z, px√z + y)((t)) = E((t)) 1 and q = π [1, t− ] Pn+3L. As in Example 4.8, M/L is nonmodular of degree 8, and the only quadratic⊗ ∈ extension of L inside M is L(√z)= F (√z)((t)). As in Example 4.6, the 2-independence of √z,x,y,c ...,cn over L(√z) implies the anisotropy { 1 } of qL(√z), and M/L(√z) is a biquadratic extension. Combining the arguments in Example 4.6 with those in Example 3.3 shows that if K is any extension of L properly contained in M then qK is anisotropic. We leave the details to the reader.  10 DETLEV W. HOFFMANN

We now want to construct examples of anisotropic (n + 2)-fold Pfister forms over a field F that become isotropic over a simple p.i. extension E/F of exponent m 2 but which stay anisotropic over any subextension of exponent m 1. For this,≥ we collect two lemmas that we will need in our construction. ≤ − The first lemma is well known (and easy to prove). We assume as usual that we have characteristic 2, but of course it holds more generally in any positive charac- teristic p. Lemma 4.9. Let F be a field and m 1 be an integer. Let x F F 2 and 2m m ≥ ∈ \ E = F √x. Then [E : F ]=2 and all the intermediate fields are given in the following filtration of successive quadratic p.i. extensions: m−1 m F F √x F √4 x ... F 2 √x F 2√x = E. ⊂  ⊂  ⊂ ⊂  ⊂  The next lemma provides some relations for quadratic forms over fields of char- acteristic 2.

Lemma 4.10. Let u, v F ∗ and m 1 be an integer. ∈ ≥ (i) u,uv]] = v,uv]]. In particular, u,uv]] will be isotropic over F (√v). hh 2m ∼ hh hh (ii) [1,u ] ∼= [1,u]. Proof. (i) We have u,uv]] = [1, uv] u[1, uv] = [1, uv] [u, v] = [1, uv] v[1, uv] = v,uv]]. hh ∼ ⊥ ∼ ⊥ ∼ ⊥ ∼ hh Therefore, 1, v u,uv]] will be isotropic over F (√v). m (ii) Thish followsi ≺ since hh u2 u mod ℘(F ) (essentially, this is a comparison of the so-called Arf-invariants of the≡ two forms). 

Example 4.11. Let F be a field (of characteristic 2 as usual) with elements a1,...,an, x, y F ∗ (n 0), let m 2 be an integer and let ∈ ≥ ≥ 2m−1 2m ξ = √x, E′ = F (ξ) and E = E′(pξ)= F √x. We define the Pfister form 2m−1 π = a ,...,an,y,y x]]. ∼ hh 1 Note that π will be isotropic over E since over E′, we have by Lemma 4.10(ii) that 2m−1 2m−1 y,y x]] ′ = y, (yξ) ]] ′ = y,yξ]] ′ hh E ∼ hh E ∼ hh E which is isotropic over E = E′(√ξ) by Lemma 4.10(i). m If we now can find a field F with elements ai,x,y as above such that [E : F ]=2 2 (or, equivalently, x F F ) and πE′ anisotropic, then we have our example: π will be an anisotropic∈ (n\+ 2)-fold Pfister form over F that will become isotropic over a simple p.i. extension E with exp2(E/F )= m, but, by Lemma 4.9, π will stay anisotropic over any extension of F of exponent m 1 that is contained in E. ≤ − For this, let F be a field with 2-independent elements a ,...,an,y F ∗ and put 0 1 ∈ 0 2m E = F0((t)) and F = F0((t )) . m 2 2m 2 Furthermore, put x = t− . Clearly, E = F ( √x). We put τ = t so that the above 2 1 ξ will become ξ = t− = τ − . We thus get the filtration 2m 2m−1 F = F ((t )) F ((t )) ... F ((τ)) = E′ F ((t)) = E′( ξ)= E 0 ⊂ 0 ⊂ ⊂ 0 ⊂ 0 p of all intermediate fields between F and E (cf. Lemma 4.9). SPLITTINGOFQUATERNIONSANDOCTONIONS 11

Since a ,...,an,y F ∗ are 2-independent, the form a ,...,an,y is anisotropic 1 ∈ 0 hh 1 iib over F0. Also, over E′ = F0((τ)) and by Lemma 4.10(ii), we have

2m−1 1 2m−1 1 1,y x ∼= 1, (yτ − )  ∼= 1, yτ − , we can apply Corollary 4.5 to conclude that

2m−1 1 πE′ = a ,...,an,y 1,y x = a ,...,an,y 1, yτ − ∼ hh 1 iib ⊗   ∼ hh 1 iib ⊗   is anisotropic over E′ 

Example 4.12. In the previous example, we have constructed a field F with an anisotropic (n + 2)-fold Pfister form, n 0, and a simple p.i. extension E/F with m ≥ [E : F ]=2 and exp2(E/F )= m 2 such that π becomes isotropic over E but π will stay anisotropic over any extension≥ K/F of exponent m 1 contained in E. Again, this can be generalized as follows: ≤ −

Given any integers n 0, m ℓ 2, there exists a field F with an anisotropic (n + 2)-fold Pfister form≥ π over≥F ≥and with a p.i. extension M/F with [M : F ] = m 2 and exp2(M/F ) = ℓ such that πM is isotropic, but πK is anisotropic for any extension K of F contained in M with exp (K/F ) ℓ 1. 2 ≤ −

Indeed, let r 0 and 1 m ,...,mr ℓ be integers with ≥ ≤ 1 ≤

m = ℓ + m1 + ... + mr

(this is always possible under the assumptions). Let us proceed as in Example 4.11 by choosing a field F0 but this time with a 2-independent set

y, a ,...,an, b ,...,br , { 1 1 } 2ℓ 2ℓ 2ℓ−1 we put F = F ((t )) and x = t− and π = a ,...,an,y,y x]]. Let 0 ∼ hh 1 2m1 2mr F0′ = F0 √b1,..., √br 2ℓ F ′ = F0′((t )) m m 2ℓ 2 1 2 r M = F √x, √b1,..., √br

2ℓ Note that M = F ′ √x. Using 2-independence, one readily checks that the p.i. m extension M/F satisfies [M : F ]=2 and exp2(M/F )= ℓ. Since

2m1 2mr y, a1,...,an, √b1,..., √br

is a 2-independent set over F0′ (cf. Example 4.7), we conclude as in Example 4.11 that πM will be isotropic, but πK′ will be anisotropic over any extension K′ of F ′ contained in M with exp2(K′/F ′) ℓ 1 (note that in Example 4.11 we are in the case m = ℓ and r = 0). ≤ − Now let K be any extension of F contained in M with exp (K/F ) ℓ 1. Then 2 ≤ − clearly exp2(KF ′/F ′) ℓ 1, so by the above, π stays anisotropic over KF ′ and thus over K. ≤ −  12 DETLEV W. HOFFMANN

5. Applications to quaternions and octonions We refer to [12] concerning basic properties of quaternions and octonions that we will state in the sequel. Let a, b F ∗, c F . Recall that a ∈ ∈ Q = (b, c]F over such a field F of characteristic 2 is a 4-dimensional central simple (associative) algebra generated by two elements i, j subject to the relations i2 + i = c, j2 = b, ji =(i + 1)j. Q carries an F -linear involution σ given by σ(i) = i + 1, σ(j) = j. An octonion algebra O =(a, b, c]F over F is an 8-dimensional nonassociative that can be gotten from a quaternion algebra Q as above through the Cayley-Dickson construction by defining O = Q Qℓ where the product is given by ⊕ (x yℓ)(z wℓ)=(xz + aσ(w)y) (wx + yσ(z))ℓ, x,y,z,w Q. ⊕ ⊕ ⊕ ∈ O carries an involution τ given by τ(x yℓ)= σ(x) yℓ. ⊕ ⊕ On Q (resp. O) one has a norm given by NQ(x) = xσ(x) (resp. NO(x) = xτ(x)) which defines a quadratic Pfister form on Q (resp. O) given by ηQ = b, c]] (resp. ∼ hh ηO ∼= a, b, c]]). It ishh well known that the isometry class of the norm form determines the isomor- phism class of the quaternion (resp. octonipn algebra). That means, if Ai, i =1, 2, are quaternion (resp. octonion) algebras with respective norm forms ηi = ηAi , then A1 ∼= A2 as algebras iff η1 ∼= η2 as quadratic forms. Furthermore, Ai is division iff ηi is anisotropic. Using this correspondence between the division property of quaternion/octonion algebras and the anisotropy of their associated norm forms and by invoking our Examples 4.7 and 4.12, we now give our version of the negative answer to the question posed by M¨uhlherr and Weiss from the introduction. Corollary 5.1. To any integers m 2 and ℓ with 1 ℓ max 1, m 2 (resp. 2 ℓ m), there exists a field F of≥ characteristic 2 together≤ ≤ with{ a p.i.− extension} M/F≤ of≤ degree 2m and exponent ℓ, and with an octonion O (resp. a quaternion division algebra Q and an octonion division algebra O) over F such that OM is split (resp. QM and OM are split), but O (resp. Q and O) will stay division over any simple (resp. exponent ℓ 1) extension K of F contained in M. ≤ − References [1] Ahmad, H.; On quadratic forms over inseparable quadratic extensions, Arch. Math. (Basel) 63 (1994), no. 1, 23–29. [2] Aravire, R.; Laghribi, A.; O’Ryan, M.; The behavior of differential forms under purely insep- arable extensions, J. Pure Appl. Algebra 223 (2019), no. 1, 439–457. [3] Elman, R., Karpenko, N., Merkurjev, A., The algebraic and geometric theory of quadratic forms, AMS Colloquium Publications, 56. American Mathematical Society, Providence, RI, 2008. [4] Hoffmann, D.W.; Garibaldi, S.; Totaro’s question on zero-cycles on G2, F4 and E6 torsors,J. London Math. Soc. (2) 73 (2006), no. 2, 325–338. [5] Hoffmann, D.W.; Diagonal forms of degree p in characteristic p; Algebraic and arithmetic theory of quadratic forms, 135–183, Contemp. Math., 344, Amer. Math. Soc., Providence, RI, 2004. SPLITTINGOFQUATERNIONSANDOCTONIONS 13

[6] Hoffmann, D.W.; Witt kernels of bilinear forms for algebraic extensions in characteristic 2, Proc. Amer. Math. Soc. 134 (2006), no. 3, 645–652. [7] Hoffmann, D.W.; Witt kernels of quadratic forms for multiquadratic extensions in character- istic 2, Proc. Amer. Math. Soc. 143 (2015), no. 12, 5073–5082. [8] Hoffmann, D.W.; Laghribi, A.; Quadratic forms and Pfister neighbors in characteristic 2, Trans. Amer. Math. Soc. 356 (2004), no. 10, 4019–4053. [9] Hoffmann, D.W.; Laghribi, A.; Isotropy of quadratic forms over the function field of a quadric in characteristic 2, J. Algebra 295 (2006), no. 2, 362–386. [10] Hoffmann, D.W.; Sobiech, M.; Witt kernels and Brauer kernels for quartic extensions in characteristic two, J. Pure Appl. Algebra 219 (2015), no. 10, 4619–4634. [11] Sobiech, M.; The behavior of differential, quadratic and bilinear forms under purely inseparable field extensions, J. Algebra 499 (2018), 151–182. [12] Springer T.A.; Veldkamp F.D.; Composition Algebras, in: Octonions, Jordan Algebras and Exceptional Groups, pp. 1–23. Springer Monographs in Mathematics. Springer, Berlin, Hei- delberg, 2000. [13] Sweedler, M.E.; Structure of inseparable extensions, Ann. of Math. (2) 87 (1968), 401–410.

Fakultat¨ fur¨ Mathematik, Technische Universitat¨ Dortmund, D-44221 Dortmund, Germany Email address: [email protected]