arXiv:1512.02079v5 [math.AC] 18 Oct 2016

THE BEHAVIOR OF DIFFERENTIAL, QUADRATIC AND
BILINEAR FORMS UNDER PURELY INSEPARABLE FIELD
EXTENSIONS
MARCO SOBIECH
Abstract. Let F be a field of characteristic p and let E/F be a purely inseparable field extension. We study the group Hpn+1 (F ) := coker(℘ : Ωn
F →
n−1
) of classes of differential forms under the extension E/F and give
Ωn
F / dΩF
a system of generators of Hpn+1 (E/F ). In the case p = 2, we use this to determine the kernel Wq (E/F ) of the restriction map Wq (F ) → Wq (E) between the
groups of nonsingular quadratic forms over F and over E. We also deduce the
corresponding result for the bilinear Witt kernel W (E ′ /F ) of the restriction
map W (F ) → W (E ′ ), where E ′ /F denotes a modular purely inseparable field
extension.

1. Introduction
One important aspect in the theory of quadratic and bilinear forms is to determine the behavior under field extensions, i.e. we want to determine which nonsingular quadratic form becomes hyperbolic and which symmetric bilinear form becomes
metabolic under a given field extension. The main goal of this work is to classify these forms for purely inseparable extensions by using differential forms. For
n−1
n−1
) and νn (F ) = ker(℘ : ΩnF → ΩnF / dΩF
),
Hpn+1 (F ) = coker(℘ : ΩnF → ΩnF / dΩF
n+1
n
′
we will determine generating systems for Hp (E/F ), Ω (E /F ) and νn (E ′ /F ),
where E/F resp. E ′ /F denotes a purely inseparable extension resp. a modular
purely inseparable extension. These results are given in Theorem 3.13 and Theorem 4.1. The kernels will be translated to quadratic and bilinear forms in characteristic 2 by the famous isomorphisms H2n+1 (F ) ∼
= I n Wq (F )/I n+1 Wq (F ) and
n
n+1
(F ) due to Kato. With this, we will determine the quadratic
νn (F ) ∼
= I (F )/I
resp. bilinear Witt kernel for the given extension, which are stated in Theorem 5.3
and Theorem 5.8.
There has already been some progress in determining bilinear and quadratic Witt
kernels for some given field extensions in characteristic 2. A nice short overview
of some of the known Witt kernels in characteristic 2 can for example be found in
[Dolphin and Hoffmann, 2015].
We note that in the case p = 2, the same result as our main Theorem 3.13
was computed by Laghribi, Aravire and O’Ryan using somewhat different methods
independently of this work.
Date: October 19, 2016.
2010 Mathematics Subject Classification. Primary 11E04, 11E39, 11E81, 12F15, 12H05, 14F99.
Key words and phrases. quadratic form; bilinear form; differential form; Witt group; Kato’s
cohomology; inseparable field extensions.
1

2

MARCO SOBIECH

2. A short introduction to differential forms
We refer to [Arason et al., 2007], [Cartier, 1958] or [Aravire and Baeza, 2003a](for
p = 2) for any undefined terminology or any basic facts about differential forms
that we do not mention explicitly. We will assume 0 ∈ N.
Let us now start by recalling some basic facts about differential forms. Let F
always be a field of characteristic p > 0, if not stated otherwise. Further, let Ω1F
be the F -vector space of absolute differential 1-forms, i.e. Ω1F is the F -vector space
generated by the symbols da with a ∈ F , together with the relations d(a + b) =
da + db and d(ab) = a db + b da for all a, b ∈ F . Since d(F p ) = 0 we readily see that
the map d : F → Ω1F , a 7→ da is a F p -derivation.
Vn 1
ΩF , which means ΩnF is a F -vector
By ΩnF we denote the n-exterior power
space generated by the symbols da1 ∧ . . . ∧ dan with a1 , . . . , an ∈ F . With this, the
n−1
map d can be extended to a F p -linear map d : ΩF
→ ΩnF , a da1 ∧ . . . ∧ dan−1 7→
n−1
da ∧ da1 ∧ . . . ∧ dan−1 . The image dΩF
of this map is called the set of exact
forms and is additively generated by forms of the type da1 ∧ . . . ∧ dan . We further
set Ω0F := F and ΩnF := 0 for n < 0.
Let us now fix a p-basis B = {bi | i ∈ I} of F over F p , i.e. we have F p (B) = F
and for every finite subset {bi1 , . . . , bik } ⊂ B, we have [F p (bi1 , . . . , bik ) : F p ] = pk ,
where the second condition is called the p-independence of B. For further details
on p-bases see [Cartier, 1958]. We may assume that the index set I is well-ordered
and transfer this ordering to B by setting bi < bj iff i < j. We further define
the set Σn := {σ : {1, . . . , n} → I | σ(i) < σ(j) for i < j} and equip it with the
lexicographic ordering, i.e. we set σ ≤ δ iff σ(j) ≤ δ(j) and σ(i) = δ(i) for some
j ∈ {1, . . . , n} and all i < j. Then it is well known that the logarithmic differential
dbσ(n)
dbσ(1)
dbσ
n
σ
forms { db
bσ | σ ∈ Σn } form a F -basis of ΩF , where we set bσ := bσ(1) ∧ . . . ∧ bσ(n) .
p
We further define Fj resp. F<j to be the subfield of F generated over F by the
elements bi with i ≤ j resp. i < j. We also set ΩnF,α resp. ΩnF,<α to be the subspace
σ
of ΩnF generated by the elements db
bσ with σ ≤ α resp. σ < α. This gives rise to a
n
filtration of the space ΩF .
After fixing a p-basis of F , we can define the additive homomorphism
sp :

ΩnF

→

ΩnF

,

X
σ

dbσ
7→
aσ
bσ

X
σ

dbσ
aσ
bσ

![p]

:=

X

apσ

σ

dbσ
.
bσ

Using this, we can extend the usual Artin-Schreier map ℘ : F → F to ℘ := sp − id :
ΩnF → ΩnF . Both maps sp and ℘ are obviously basis dependent, but a change of
basis changes the image of sp and ℘ by an exact form, which means that
n−1
n−1
sp : ΩnF → ΩnF / dΩF
and ℘ : ΩnF → ΩnF / dΩF

are well defined. With this we set

n−1
Hpn+1 (F ) := ΩnF / ℘ΩnF + dΩF
= coker ℘
νn (F ) := ker ℘

A differential form ω viewed in Hpn+1 (F ) will be denoted by ω. Note that for n = 0,
we have Hp1 (F ) = F/℘(F ).

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

3

For an arbitrary field extension L/F , we define
Hpn+1 (L/F ) := ker(Hpn+1 (F ) → Hpn+1 (L))
Ωn (L/F ) := ker(ΩnF → ΩnL )

νn (L/F ) := ker(νn (F ) → νn (L)) = Ωn (L/F ) ∩ νn (F )

We will often freely use the following well known result and will prove it for the
reader’s convenience.
Lemma 2.1 In Hpn+1 (F ) we have v = v [pi ] for all v ∈ ΩnF and all i ∈ N.
Proof: For a v ∈ ΩnF , the following equation holds
i

i

i−1

v [p ] ≡ v [p ] +℘(−v [p

]

i

i

i−1

) ≡ v [p ] +(−1)p v [p ] +v [p

]

i−1

≡ v [p

]

n−1
mod (℘ΩnF +dΩF
).

An induction on i ∈ N finishes the proof.



Since we will start by studying the behavior of differential forms under purely
inseparable field extensions, we will close this section with a well known fact for
these kinds of field extensions. For this, let us recall that a field extension L/F is
k
called purely inseparable if, for all ℓ ∈ L, there exists a k ≥ 0 with ℓp ∈ F . Using
this definition together with Hp1 (F ) = F/℘(F ), the following lemma can be viewed
as a corollary of Lemma 2.1.
Lemma 2.2 Let L/F be a purely inseparable field extension and x ∈ F . If x ∈ ℘(L),
then x ∈ ℘(F ). In particular, we have Hp1 (L/F ) = {0}.
3. The kernel Hpn+1 (E/F ) for purely inseparable field extensions
In this section, our main goal is to compute the kernel Hpn+1 (E/F ) where E is a
finite purely inseparable field extension of F . For that let us recall
that each
purely
m√
m√
r
inseparable field extension of F can be realized as E = F ( p 1 b1 , . . . , p br ) with
integers m1 , . . . , mr ∈ N>0 and b1 , . . . , br ∈ F . The exponent the the extension
k
E/F is defined as e := exp(E/F ) := min{k ∈ N | xp ∈ F for all x ∈ E}. Note
that for b1 , . . . , br ∈ F \ F p , we have e = max{m1 , . . . , mr }. To find generators of
Hpn+1 (E/F ), we will need the following two cases as intermediate steps
• r = 1 and exp(E/F ) = 1,
• r arbitrary and exp(E/F ) = 1,

which will be discussed in 3.6 and 3.7. These results are known for p = 2 and
were proven in [Aravire and Baeza, 2003a] and [Aravire and Laghribi, 2013]. For
the generalization of the known results to an arbitrary prime p, we will use the
following lemmas.
Lemma 3.1 ([Arason
Lemma 3.1) Let B = {bi | i ∈ I} be a p-basis of
Pet al., 2007],
n−1
σ
the field F . Assume σ≤α cσ db
∈
dΩ
, with cα 6= 0. Then there exist elements
F
bσ
Mij ∈ F<α(i) with 1 ≤ i ≤ n , 1 ≤ j ≤ p − 1, so that
cα =

n p−1
X
X
i=1 j=1

Mij bjα(i) .

4

MARCO SOBIECH

The next lemma is a weaker version of the famous lemma of Kato. The original
Kato’s lemma [Kato, 1982, Lemma 2] can only be used for fields which are p − 1
closed, i.e. F p−1 = F . The following weaker version does not need this assumption
and will suffice for all the upcoming computations in this section.
Lemma 3.2 ([Arason et al., 2007], Lemma 3.2) Let B = {bi | i ∈ I} be a p-basis
of the field F , α ∈ Σn and u ∈ F such that
℘(u)
Then we have
u

dbα
=
bα

dbα
n−1
∈ dΩF
+ ΩnF,<α .
bα
X

(i1 ,...,in )

dai1
dain
∧...∧
+ v,
ai1
ain

with suitable aij ∈ F for 1 ≤ j ≤ n and v ∈ ΩnF,<α .
With Lemma 3.2, it is easy to show that νn (F ) is additively generated by the
dan
1
logarithmic differential forms da
a1 ∧ . . . ∧ an with a1 , . . . , an ∈ F . Since we will
need the original version of Kato’s Lemma in the last section, we will state it here
for easy reference.
Lemma 3.3 ([Kato, 1982], Lemma 2) Let B = {bi | i ∈ I} be a p-basis of the field
F with F p−1 = F , α ∈ Σn and u ∈ F such that
℘(u)
Then we have

dbα
n−1
∈ dΩF
+ ΩnF,<α .
bα

dbα
da1
dan
=
∧...∧
+ v,
bα
a1
an
for 1 ≤ i ≤ n and v ∈ ΩnF,<α .
u

∗
with suitable ai ∈ Fα(i)

Note that the condition F p−1 = F is obviously true for all fields of characteristic
2.
Remark 3.4 In most of the upcoming proofs and computations, we will have one
single element ω ∈ Hpn+1 (L/F ) for some finitely generated algebraic field extension
L = F (β1 , . . . , βr )/F . Since the minimal polynomial over F of each βi , the form
n−1
ω and the relation ωL = ℘(u) + dv for some u ∈ ΩnL and v ∈ ΩL
only need a
finite number of coefficients of F to be described, we may assume that ω is defined
over a field F ′ , which is generated by finitely many elements over Fp . By setting
L′ = F ′ (β1 , . . . , βr ) we get that ω L′ = 0, which means ω ∈ Hpn+1 (L′ /F ′ ). Following
these ideas, we may always assume that ω is defined over a field with a finite p-basis.
Note that the polynomials of the βi over F ′ are the same as over the field F .
Remark 3.5 (i) Let B = {ci | i ∈ I} be a p-basis of F with well-ordered indexset I.
For a fixed s ∈ N, let i1 , . . . , is ∈ I be the smallest elements in I with i1 < . . . < is .
By this we have Σn = Σn,>s ∪˙ Σn≤s with
Σn,>s := {π ∈ Σn | Im(π) ∩ {i1 , . . . , is } = ∅}

Σn,≤s := {π ∈ Σn | Im(π) ∩ {i1 , . . . , is } 6= ∅}

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

5

Thus, for every ω ∈ ΩnF , we can find unique forms ω>s , ω≤s ∈ ΩnF with ω =
ω>s + ω≤s where in the basis expansion of ω>s none of the summands is divided by
any of dci1 , . . . , dcis and in the basis expansion of ω≤s every summand is divided by
at least one of the forms dci1 , . . . , dcis . If there is no confusion about the number
n, we omit it as an index.
(ii) Let b1 , . . . , br ∈ F be p-independent and B a p-basis of F containing b1 , . . . , br .
An easy computation
shows
field extension
 that a p-basis of the purely inseparable
m√
m√
m√
m√
r
r
E = F p 1 b1 , . . . , p br , is given by BE = (B\{b1 , . . . , br })∪{ p 1 b1 , . . . , p br }.
√
√
p m1
p mr
Thus if we set U := {
b1 , . . . ,
br }, we get
M

n−ℓ
E da1 ∧ . . . ∧ daℓ ∧ ΩF
.
ΩnE = E (ΩnF )E ⊕
E
∅6={a1 ,...,aℓ }⊆U
1≤ℓ≤r

m√
m√
r
If the p 1 b1 , . . . , p br are the first r elements of BE , this decomposition coincides
with the one given above.

In [Dolphin and Hoffmann,
√ 2015, Lemma 7.1] Hoffmann and Dolphin showed
m
that for the extension F ( p b)/F with b ∈ F \ F p , we have
√
pm
n−1
(1)
Ωn (F (
b)/F ) = db ∧ ΩF
.
This will be used to prove the following
Proposition 3.6 For b ∈ F and E := F

√ 
p
b , we have


n−1
n−1
Hpn+1 (E/F ) = db ∧ ΩF
= b d ΩF
.

n−1
. So we
Proof: For b ∈ F p , we have E = F , thus Hpn+1 (E/F ) = {0} = db ∧ ΩF
p
can assume b ∈ F \ F .
n−1
First we have to check that each form of the type db ∧ y with y ∈ ΩF
is an
n+1
p
element of Hp (E/F ). But this is obviously true, since we have b ∈ E .
√
p
Let us now prove the reverse inclusion. Set β := b. Since b ∈ F \ F p , we may
choose b to be the first element of a p-basis B = {bi | i ∈ I} of F . With this, we get
a p-basis of E by BE := (B \ {b}) ∪ {β}. Without loss of generality, we can choose
β to be the last element of BE , i.e. b′ < β for all b′ ∈ B \ {b}.
Now choose an element ω ∈ Hpn+1 (E/F ). Since ωE = 0 ∈ Hpn+1 (E), we can find
n−1
u ∈ ΩnE and v ∈ ΩE
with ωE = ℘(u) + dv. Using the basis described above, let γ
P
σ
be the maximal multiindex in the basis expansion of ω, i.e. ω = σ≤γ ωσ db
bσ . Since
we already know that db = 0 in E, by Remark 3.5 we may assume that the basis
expansion of ω is free of forms containing db, which means we have σ ∈ Σn,>1 for
all the multiindices σ used to describe ω. With this assumption, this representation
of ω is also the unique representation of ωE using the p-basis BE overPthe field E.
σ
Let δ be the maximal multiindex in the basis expansion of u, i.e. u = σ≤δ uσ db
bσ .
Using Remark 3.4, we may assume that there are only finitely many multiindices
lower than γ resp. δ.
Assume δ > γ. Then we have

0 ≡ ℘(uδ )

dbδ
+ dv
bδ

mod ΩnE,<δ .

6

MARCO SOBIECH

We can now apply Lemma 3.2 to get
X dai
dain
dbδ
1
=
∧...∧
+ u<δ
uδ
bδ
ai1
ain
(i1 ,...,in )

δ
with some suitable aij ∈ E and u<δ ∈ ΩnE,<δ . Since u can be written as u = uδ db
bδ +
P
da
da
u′<δ with u′<δ ∈ ΩnE,<δ , we get that u = (i1 ,...,in ) aii1 ∧ . . . ∧ aiin + u′<δ + u<δ .

da

1

da

n

Since all the forms aii1 ∧ . . . ∧ aiin are elements of νn (E), we see that ℘(u) =
n
1
℘(u′′<δ ), with u′′<δ := u′<δ +u<δ ∈ ΩnE,<δ . Thus we can lower the maximal multiindex
of u and because of Remark 3.4, after a finite number of repetitions, we get δ ≤ γ.
So let us now assume δ ≤ γ. With this we have
ωγ

dbγ
dbγ
≡ ℘(uγ )
+ dv
bγ
bγ

mod ΩnE,<γ ,

which means
(ωγ − ℘(uγ ))

dbγ
≡ dv
bγ

mod ΩnE,<γ .


Applying Lemma 3.1, we find Mij ∈ E<γ(i) = E p b′ ∈ BE | b′ < bγ(i) with
(2)

(ωγ − ℘(uγ )) =

p−1
n X
X

Mij bjγ(i) .

i=1 j=1

Since by assumption both ω and ωE have the same basis representation, we have
bγ(1) , . . . , bγ(n) ∈ F and since E p ⊂ F , we also have Mij ∈ F for all suitable i, j,
Pn Pp−1
j
hence
i=1
j=1 Mij bγ(i) ∈ F . Since uγ ∈ E, we find u0 , . . . , up−1 ∈ F with
Pp−1 ℓ
uγ = ℓ=0 β uℓ . By Equation (2), we have ℘(uγ ) ∈ F , so by using Lemma 2.2, we
may assume uγ = u0 ∈ F . With this, we get
n p−1

(ωγ − ℘(u0 ))
=

n p−1
X
X

XX
dbγ(1)
dbγ(n)
dbγ
Mij bjγ(i)
=
∧...∧
bγ
bγ(1)
bγ(n)
i=1 j=1



dbγ(i−1) dbγ(i+1)
dbγ(n)
Mij j dbγ(1)
d (−1)i+1
bγ(i)
∧...∧
∧
∧...∧
j
bγ(1)
bγ(i−1)
bγ(i+1)
bγ(n)
i=1 j=1
!
dbγ(i−1) dMij dbγ(i+1)
dbγ(n)
Mij j dbγ(1)
∧
b
∧...∧
∧
∧...∧
−
j γ(i) bγ(1)
bγ(i−1)
Mij
bγ(i+1)
bγ(n)

≡ dt

mod ΩnF,<γ

where

n p−1
X
X
dbγ(1)
dbγ(i−1) dbγ(i+1)
dbγ(n)
i+1 Mij j
(−1)
,
b
∧...∧
∧
∧...∧
t :=
j γ(i) bγ(1)
bγ(i−1)
bγ(i+1)
bγ(n)
i=1 j=1
n−1
with t ∈ ΩF
and because Mij ∈ E<γ(i) . So now we have

(3)

ω ′ := (ωγ − ℘(u0 ))

dbγ
− dt ∈ ΩnF,<γ
bγ

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

By inserting Equation (3) in the decomposition ω = ωγ
we get
ω = ωγ

dbγ
bγ

7

+ω<γ with ω<γ ∈ ΩnF,<γ ,

dbγ
dbγ
dbγ
+ ω<γ = ℘(u0 )
+ dt + ω ′ + ω<γ = ℘(u0 )
+ dt + ω ′′
bγ
bγ
bγ

with ω ′′ = ω ′ + ω<γ ∈ ΩnF,<γ . This shows ω = ω ′′ , thus we can also lower the maximal multiindex of the form ω over E without changing its class in Hpn+1 (E). Repeating this together with lowering the maximal multiindex of u whenever possible
and by using 3.4, after a finite number of reductions we may assume ωE = 0 ∈ ΩnE .
Under the assumption we made on ω and by using Equation (1), we obtain ω = 0.
n−1
.
With this we readily get Hpn+1 (E/F ) ⊂ db ∧ ΩF
The second description of the kernel can be easily seen by db ∧ u = b d(−u) for
n−1
all b ∈ F and u ∈ ΩF
.

Since we now have found the kernel for purely inseparable field extensions of
degree
 step is to generalize this result to field extensions of type
√ next
√ p, our
F p b1 , . . . , p br /F with b1 , . . . , br ∈ F .
√ 
√
Theorem 3.7 For b1 , . . . , br ∈ F and E := F p b1 , . . . , p br , we have
Hpn+1 (E/F ) =

r
X
i=1

n−1
dbi ∧ ΩF
=

r
X

n−1
bi dΩF
.

i=1

Pr

n−1
⊂ Hpn+1 (E/F ). To
Proof: Since b1 , . . . , br ⊂ E p we obviously get i=1 dbi ∧ ΩF
check the reverse inclusion, we use induction on r. The case r = 1 is covered by
Proposition 3.6, so let us assume r > 1. First assume
[E : F ] = pr , i.e. the elements
√
p
b1 , . . . , br are p-independent and set M := F ( b1 ) . Hence we can choose a p-basis
BF = {ci | i ∈ I} of F with ci1 = b1 , . . . , cir = br where i1 , . . . , ir denote the first r
elements in I with i1 < . . . < ir . By Remark 3.4, we may assume |I| < ∞. Similar
√
to the proof of √
3.6, we then obtain a p-basis of M by BM := (BF \ {b1 }) ∪ { p b1 }.
Further we set p b1 > ci for all i ∈ I \ {i1 }.
Now choose an element ω ∈ Hpn+1 (E/F ). Then we have ωM ∈ Hpn+1 (E/M ) and
√
√ 
since E = M p b2 , . . . , p br , we get by the induction hypothesis

(4)

ωM = ℘(u) + dv +

r
X
i=2

dbi ∧ xi

n−1
for suitable u ∈ ΩnM and v, xi ∈ ΩM
. Let δ be the maximal multiindex in Equation
(4) using the basis BM and assume δ(1) > ir . Then we have

ωδ

dcδ
dcδ
dcδ
dcδ
≡ ℘(uδ )
+ dv ≡ ℘(uδ )
+t
cδ
cδ
cδ
cδ

mod ΩnM,<δ .

′
n
δ
.
with dv − t dc
cδ = v ∈ ΩM,<δ
√
First suppose cδ(n) = p b1 := β. Then obviously ωδ = 0, since ω is defined over
F . Hence we have

℘(uδ )

dcδ
n−1
≡ d(−v) + v ′ ∈ dΩM
+ ΩnM,<δ .
cδ

8

MARCO SOBIECH

Using Lemma 3.2, we get
uδ

dcδ
=
cδ

X

(j1 ,...,jn )

daj1
dajn
∧...∧
+ u′ ,
aj1
ajn

′′
′′
n
δ
with aj1 , . . . , ajn ∈ M and u′ ∈ ΩnM,<δ . By writing u = uδ dc
cδ +u with u ∈ ΩM,<δ ,
′
′′
we get ℘(u) = ℘(u + u ), thus we can lower the maximal multiindex of u. Iterating
this process whenever possible, we may assume that the Equation (4) does not
contain a slot dβ, i.e. cδ(n) < β.
n−1
As a next step, we will show that we may assume v ∈ ΩF
. Say

v=

p−1
X

p−1
X

β i vi +

i=0

i=0

β i vi′ ∧ dβ ,

n−1
n−2
with vi ∈ ΩF
and vi′ ∈ ΩF
.

With this we get
dv =

p−1
X

β i dvi +

p−1
X
i=1

i=0

i(−1)n−1 β i−1 vi ∧ dβ +

p−1
X
i=0

β i dvi′ ∧ dβ.

Since Equation (4) does not contain a slot dβ and β is part of the p-basis of M , we
get
0=

=

p−1
X

i(−1)n−1 β i−1 vi +

i=1
p−1
X

p−1
X

β i dvi′

i=0

′
β i−1 (−1)n−1 ivi + dvi−1

i=1



′
,
+ β p−1 dvp−1



n
n−2
′
′
= 0 and vi = d (−1)
hence dvp−1
for i = 1, . . . , p − 1. With this,
v
i−1 ∈ dΩF
i
we have
dv = dv0 +

p−1
X

β i dvi = dv0 +

p−1
X

′
β i d d (−1)n i−1 vi−1

i=1

i=1



= dv0 .

n−1
′
n
δ
So we may assume v ∈ ΩF
and t dc
cδ , v ∈ ΩF as well.
Now with ωδ , t ∈ F , we get ℘(uδ ) ∈ F , thus uδ ∈ F by Lemma 2.2. Substituting
n−1
dcδ
′
′
δ
ωδ dc
cδ in ω = ωδ cδ + ω with ω ∈ ΩF,<δ , we get

dcδ
+ ω′
cδ
dcδ
dcδ
= ℘(uδ )
+t
+ ω′
cδ
cδ
dcδ
= ℘(uδ )
+ dv − v ′ + ω ′
cδ
n−1
≡ ω ′ − v ′ mod (℘ΩnF + dΩF
)

ω = ωδ

n−1
with ω ′ − v ′ ∈ ΩF,<δ
. Iterating this process, after a finite number of steps, we find
′′
n
ω ∈ ΩF with ω = ω ′′ ∈ Hpn+1 (F ), so that the maximal multiindex of ω ′′ is given
Pr
n−1
, thus we can find forms
by ε with ε(1) ≤ ir . This means ω ′′ ∈ i=2 dbi ∧ ΩF

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

9

n−1
y 2 , . . . , y r ∈ ΩF
, such that over the field M we have

ω−

r
X
i=2

dbi ∧ yi = 0 ∈ Hpn+1 (M ).

n−1
Using 3.6 and by choosing a suitable y1 ∈ ΩF
, we get

ω−

r
X
i=2

dbi ∧ yi = db1 ∧ y1 ,

from which we finally obtain
ω=

r
X
i=1

dbi ∧ yi ∈ Hpn+1 (F ).

Note that we have ω = ω ′′ , if δ(1) ≤ ir in Equation (4).
√
√ 
If the elements b1 , . . . , br are p-dependent, i.e. [F p b1 , . . . , p br : F ] = ps < pr ,
p 
p

√
√
we can find {ℓ1 , . . . , ℓs } ⊂ {1, . . . , r} with F p b1 , . . . , p br = F p bℓ1 , . . . , p bℓs
and the elements bℓ1 , . . . , bℓs are p-independent. Applying the first part of the proof,
we get
Hpn+1 (F

r
s
p
X
p  X
p
n−1 (1)
n−1
b1 , . . . , p br =
dbℓk ∧ ΩF
=
dbi ∧ ΩF
i=1

k=1

where step (1) is possible because of db1 , . . . , dbr ∈ hdbℓ1 , . . . , dbℓs i due to b1 . . . , br ∈
F p (bℓ1 , . . . , bℓs ).

To generalize 3.7 to a purely inseparable extension of arbitrary exponent, we will
need a few more results and notations.
n−1
Lemma 3.8 For v ∈ ΩF
, b1 , . . . , br ∈ F and k1 , . . . , kr ≥ 1 the following equation
n+1
holds in Hp (F )

bk11 . . . bkr r dv ≡

r
X
j=1



kj−1 kj −1 kj+1
bj d kj bk11 . . . bj−1
bj
bj+1 . . . bkr r v .

Proof: For r = 1, we will prove the lemma by induction on k1 . For k1 = 1 there
is nothing to prove, so assume k1 ≥ 2 and set b1 = b and k1 = k. Then we have


n−1
0 ≡ d bk v ≡ bk dv + kbk−1 db ∧ v mod ℘ΩnF + dΩF
,
and we also have

0 ≡ k d b bk−1 v




≡ kb d bk−1 v + k db ∧(bk−1 v)

from which we easily get bk dv ≡ b d kbk−1 v
k ∈ Fp ⊂ F p .



n−1
mod ℘ΩnF + dΩF




n−1
mod ℘ΩnF + dΩF
, since we have

10

MARCO SOBIECH

Now assume r > 1. With this, we have


bk11 . . . bkr r dv ≡ − d bk11 . . . bkr r ∧ v


 
≡ −bk11 d bk22 . . . bkr r ∧ v − bk22 . . . bkr r d bk11 ∧ v

 

  

≡ − d bk22 . . . bkr r ∧ bk11 v − d bk11 ∧ bk22 . . . bkr r v





n−1
≡ bk22 . . . bkr r d bk11 v + bk11 d bk22 . . . bkr r v
mod ℘ΩnF + dΩF
.

Using the induction hypothesis on these terms finishes the proof.



n−1
Lemma 3.9 For v ∈ ΩF
, b1 , . . . , br ∈ F and t, k1 , . . . , kr ∈ N t ≥ 1, we can find
n−1
forms ω, ω1 , . . . , ωr ∈ ΩF and q1 , . . . , qr ∈ N with 0 ≤ q1 , . . . , qr < pt and ki ≡ qi
mod pt , so that the following equation holds
t

t

bk11 . . . bkr r (dv)[p ] ≡ bq11 . . . bqrr (dω)[p ] +

r
X

bi dωi

n−1
mod (℘ΩnF + dΩF
)

i=1

Proof: We may assume b1 , . . . , br ∈ F ∗ and for at least one j ∈ {1, . . . , r} we have
kj ≥ pt , otherwise there is nothing to prove. So assume k1 ≥ pt . Note once more
that a change of basis changes the image of sp by an exact form. Using this and
computing in Hpn+1 (F ) we get
t

bk11 . . . bkr r (dv)[p

]

t

t

≡ b1k1 −p bk21 . . . bkr r (b1 dv)[p

]
[pt ]

t

≡ b1k1 −p bk21 . . . bkr r (d(b1 v) ± v ∧ db1 )


t
t
t
t
≡ b1k1 −p bk21 . . . bkr r d(b1 v)[p ] ± b1p −1 v [p ] ∧ db1 + dx


t
t
t
[pt ]
≡ b1k1 −p bk21 . . . bkr r d(b1 v) ± b1k1 −1 bk21 . . . bkr r v [p ] ∧ db1 + b1k1 −p bk21 . . . bkr r dx


t
t
t
[pt ]
≡ b1k1 −p bk21 . . . bkr r d(b1 v) + b1 d ±b1k1 −1 bk21 . . . bkr r v [p ] + b1k1 −p bk21 . . . bkr r dx
n−1
mod (℘ΩnF + dΩF
)

n−1
for some x ∈ ΩF
. This computation can be repeated until the exponent of b1 is
t
smaller than p and the last summand can be rewritten using Lemma 3.8. When
this is done, we can make the same steps to lower the exponents of b2 , . . . br if
necessary, to finish the proof.


Definition 3.10 Let b1 , . . . , br ∈ F and m1 , . . . , mr ≥ 1 be integers with m :=
max{m1 , . . . , mr }. We define the set KF ((b1 , m1 ), . . . , (br , mr )) to be the subgroup
of Hpn+1 (F ) which is additively generated by the forms
n−1
, i = 1, . . . , r
(i) bi dz, with z ∈ ΩF
k(t,1)

k(t,r)

[pt ]

n−1
(ii) b1
· . . . · br
(dv) , with v ∈ ΩF
, t = 1, . . . , m − 1 and
0 ≤ k(t, i) < pt with max{1, pt−mi +1 } k(t, i) for i = 1, . . . , r.

Note that for n = 0, we have KF ((b1 , m1 ), . . . , (br , mr )) = {0}, since dΩ−1
F = {0}.

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

11

In the upcoming results,√we will show
that the group KF ((b1 , m1 ), . . . , (br , mr ))
m√
m
r
is the same as Hpn+1 (F ( p 1 b1 , . . . , p br )/F ). For this reason, we will need some
properties of these groups.
Lemma 3.11 Let (b1 , m1 ), . . . , (br , mr ) ∈ F ∗ × N>0 . The following assertions hold

(i) KF ((b1 , m1 ), . . . , (br , mr )) = KF ((bσ(1) , mσ(1) ), . . . , (bσ(r) , mσ(r) )) for all σ ∈
Sr .
(ii) KF ((b1 , m1 ), . . . , (bpi , mi + 1), . . . , (br , mr )) = KF ((b1 , m1 ), . . . , (br , mr )) for
all i ∈ {1, . . . , r}.

Proof: Part (i) easily follows from the definition of KF ((b1 , m1 ), . . . , (br , mr )).
Because of (i), for (ii) it is enough to prove
K1 := KF ((bp1 , m1 + 1), (b2 , mr ), . . . , (br , mr )) = KF ((b1 , m1 ), . . . , (br , mr )) =: K2 .
n−1
Set m := max{m1 , . . . , mr }, m′ = max{m1 + 1, m2 , . . . , mr } and let v ∈ ΩF
be an arbitrary form throughout the whole proof. Let us start with K1 ⊂ K2 for
which we will show, that each generator of K1 can be found in K2 . Let us start
with the generators of type (i). For i = 2, . . . , r the forms bi dv lie in K2 . Further
d(bp v) = bp1 dv = 0 ∈ K2 obviously holds as well.
So now let us start with a generator of type (ii) in K1 given by
k(t,1)

(bp1 )

k(t,r)

· . . . · br

(dv)

[pt ]

with 1 ≤ t ≤ m′ − 1 and 0 ≤ k(t, i) ≤ pt − 1 with max{1, pt−mi +1 } k(t, i) for
i = 2, . . . , r and max{1, pt−m1 } k(t, 1).
Case 1: t = m (i.e. m = m1 and max{m1 + 1, m2 , . . . , mr } = m + 1)
Since pm is not allowed as exponent of dv for generators of K2 , we will lower
the exponent as follows. Since max{1, pm−mi +1 } k(m, i) for all i = 2, . . . , r and
mi ≤ m holds, we get p k(m, i) and we may write k(m, i) = pℓ(m, i) for suitable
ℓ(m, i). Using Lemma 2.1 we get
(5)

k(m,1)

(bp1 )

k(m,r)

. . . br

(dv)

[pm ]

k(m,1) ℓ(m,2)
ℓ(m,r)
[pm−1 ]
b2
. . . br
(dv)
.

= b1

n−1
Now we can apply Lemma 3.9 on equation (5) to find forms ω, ωi ∈ ΩF
and
m−1
m−1
s1 ∈ N with 0 ≤ k(m, 1) − s1 p
<p
such that
k(m,1) ℓ(m,2)
ℓ(m,r)
[pm−1 ]
(dv)
b2
. . . br

b1

k(m,1)−s1 pm−1 ℓ(m,2)
ℓ(m,r)
[pm−1 ]
b2
. . . br
(dω)

= b1

+

r
X

bi dωi .

i=1

Note that for k(m, 1) < pm−1 we have s1 = 0, ω = v and ωi = 0, since we do
not need to lower the exponent of b1 . We will now show that the first term of the
right hand side of the new equation is a generator of K2 . For m = 1 the term
can be readily rewritten using Lemma 3.8. So let us assume m > 1. We will
check that the exponent of b1 satisfies the necessary conditions for generators in
K1 . Obviously we have 0 ≤ k(m, 1) − s1 pm−1 < pm−1 by construction and since
m1 = m we have max{1, pm−1−m+1 } = 1 k(m, 1) − s1 pm−1 . Now we check that
for i = 2, . . . , r the exponents of the bi satisfy the necessary conditions as well.
Because of 0 ≤ k(m, i) = pℓ(m, i) < pm , we readily get 0 ≤ ℓ(m, i) < pm−1 and

12

MARCO SOBIECH

the condition max{1, pm−1−mi+1 } = max{1, pm−mi } ℓ(m, i) holds since we have
max{1, pm−mi +1 } pℓ(m, i) by assumption.
Case 2: t < m
Now we have a generator of K1 given by
(bp1 )

k(t,1)

k(t,r)

· . . . · br

[pt ]

(dv)

pk(t,1)

= b1

k(t,r)

· . . . · br

(dv)

[pt ]

with 1 ≤ t ≤ m − 1 and 0 ≤ k(t, i) ≤ pt − 1 with max{1, pt−mi +1 } k(t, i) for
i = 2, . . . , r and max{1, pt−m1 } k(t, 1). Applying Lemma 3.9 on this generator, we
n−1
find forms ω, ωi ∈ ΩF
and s1 ∈ N with 0 ≤ pk(t, 1) − s1 pt−1 < pt−1 such that
pk(t,1)

b1

k(t,r)

· . . . · br

[pt ]

(dv)

pk(t,1)−s1 pt k(t,2)
b2

k(t,r)

= b1

. . . br

[pt ]

(dω)

+

r
X

bi dωi .

i=1

Note once more, that for pk(t, 1) < pt , we do not need to lower the exponent of b1
and may choose s1 = 0, ω = v and ωi = 0. We will now check once again, that the
first term of the right hand side of this equation is a generator of K2 . Like above,
for t = 1 we use Lemma 3.8 to rewrite this term only using generators of type (i).
So now assume t > 1. First we have 1 ≤ t ≤ m − 1. For the i = 2, . . . , r the
conditions 0 ≤ k(t, i) ≤ pt − 1 and max{1, pt−mi+1 } k(t, i) are obviously true by
the choice of the k(t, i). Last we have to check that max{1, pt−m1 +1 } pk(t, 1) − s1 pt
holds. This is clearly true for m1 ≥ t. For m1 < t, by the choice of k(t, 1) we
have max{1, pt−m1 } k(t, 1), thus we can find ℓ(t, 1) with pk(t, 1) = p · pt−m1 ℓ(t, 1).
With this pt−m1 +1 = max{1, pt−m1 +1 } pk(t, 1) − s1 pt = pt−m1 +1 (ℓ(t, 1) − s1 pm1 −1 )
obviously holds. So now we have K1 ⊂ K2 .
Let us now prove that K2 ⊂ K1 is also true. For that we will check once again that
each generator of K2 can be found in K1 . Let us start with the generators of type
(i). For i = 2, . . . , r bi dv ∈ K1 is clearly true. Since max{m1 + 1, m2 , . . . , mr } ≥ 2,
we have bp1 (dv)[p] = b1 dv ∈ K1 .
So now choose a generator of type (ii) of K2 given by
k(t,1)

b1

(6)

k(t,r)

. . . br

[pt ]

(dv)

with 1 ≤ t ≤ m − 1 and 0 ≤ k(t, i) ≤ pt − 1 with max{1, pt−mi +1 } k(t, i) for
i = 1, . . . , r.
Case 1: p k(t, 1)
In this case we can find ℓ(t, 1) ∈ N with k(t, 1) = pℓ(t, 1). Thus we can rewrite (6)
as
(bp1 )

ℓ(t,1) k(t,2)
b2

k(t,r)

. . . br

[pt ]

(dv)

and we will now prove that this is a generator of K1 . First we have 1 ≤ t ≤ m − 1 ≤
m′ − 1. For i = 2, . . . , r we have 0 ≤ k(t, i) ≤ pt − 1 and max{1, pt−mi +1 } k(t, i) by
the choice of the k(t, i). Fir i = 1 it suffices to check that max{1, pt−(m1 +1)+1 } ℓ(t, 1)
is true, since 0 ≤ ℓ(t, 1) ≤ pt − 1 clearly holds. This condition is true for m1 ≥ t,
and for m1 < t, we get k(t, 1) = pt−m1 +1 q(t, 1) for some q(t, 1) ∈ N, thus ℓ(t, 1) =
pt−m1 q(t, 1) which is clearly divisible by pt−m1 = max{1, pt−m1 }.
Case 2: p 6 k(t, 1)
Applying Lemma 2.1 to equation (6), we get
(7)

k(t,1)

b1

k(t,r)

. . . br

[pt ]

(dv)

k(t,1) pk(t,2)
b2

= (bp1 )

pk(t,r)

. . . br

[pt+1 ]

(dv)

.

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

13

Will will now check, that the right hand side (7) is a generator of K1 . Note that
since p 6 k(t, 1), we have t < m1 . If m1 is the maximum of {m1 , . . . , mr }, we
have m′ = m + 1, thus 1 ≤ t + 1 ≤ m′ − 1 holds. If m1 < m (i.e. max{m1 +
1, m2 , . . . , mr } = m′ = m), we get 1 ≤ t + 1 ≤ m1 ≤ m − 1. So in both cases
the exponent pt+1 of dv meets the necessary conditions. By the choice of k(t, i)
for i = 2, . . . , r, we have max{1, pt−mi +1 } k(t, i), thus max{1, p(t+1)−mi +1 } pk(t, i)
and 0 ≤ pk(t, i) ≤ pt+1 − 1 is true. Finally for the exponent of bp1 , the conditions
max{1, p(t+1)−(m1 +1)+1 } = max{1, pt−m1 +1 } k(t, 1) and 0 ≤ k(t, 1) ≤ pt+1 − 1 also
hold by the choice of k(t, 1). This finishes the proof of (ii).

Before checking that
the group√KF ((b1 , m1 ), . . . , (br , mr )) is actually the kernel
m√
mr
of the extension F ( p 1 b1 , . . . , p br )/F , we need to check this claim for the cases
discussed in 3.6 and 3.7. This will be done in the following Lemma.
Lemma 3.12 Let (b1 , m1 ), . . . , (br , mr ) ∈ F ∗ × N>0 with m := max{m1 , . . . , mr }.
m√
m√
r
(i) For [F ( p 1 b1 , . . . , p br ) : F ] = p, there exist j ∈ {1, . . . , r} and cj ∈
mj −1

F \ F p such that bj = cpj

n−1
.
and KF ((b1 , m1 ), . . . , (br , mr )) = cj dΩF
Pr
n−1
(ii) For m = 1 we have KF ((b1 , m1 ), . . . , (br , mr )) = i=1 bi dΩF .
m√
m√
r
Proof: (i) Set E := F ( p 1 b1 , . . . , p br ). Because of [E : F ] 6= 1, there must be a
m −ℓ
pmj
j ∈ {1, . . . , r} with bj 6∈ F
. If there √
would be a k ∈ {1, . . . , r} with bk 6∈ F p k
p mk
with ℓ ≥ 2, then we would have [F (
bk ) : F ] ≥ p2 which leads to [E : F ] ≥ p2 .
pmi −1
Hence we have bi ∈ F
for all i = 1, . . . , r and there is a j ∈ {1, . . . , r} with bj ∈
mj −1
mj
m −1
m
Fp
\ F p . Assume there is another j 6= k ∈ {1, . . . r} with bk ∈ F p k \ F p k .
mj −1

mk −1

and bk = cpk
with cj , ck ∈ F \ F p . If cj , ck would be pThen write bj = cpj
mp
m√
√ √
independent, then E would contain the subfield F ( p j bj , p k bk ) = F ( p cj , p ck ),
which has degree p2 over F , which again leads to [E : F ] ≥ p2 .
Using Lemma 3.11, without loss of generality we may assume j = 1 and write
m1 −1
with c1 ∈ F \ F p . For all i 6= 1, one of the following cases hold
b1 = c1p
mi

mi

(a) bi ∈ F p , i.e. bi = cpi for ci ∈ F .
mi −1
mi −1
mi
(b) bi ∈ F p
\ F p with bi = cpi
and ci ∈ F p (c1 ).

By using Lemma 3.11 once more, we may rearrange the bi so that we can find s,
2 ≤ s ≤ r, such that b2 , . . . , bs meet condition (b) and bs+1 , . . . , br meet condition
(a). All that is now left to prove is
n−1
K := KF ((b1 , m1 ), . . . , (br , mr )) = c1 dΩF
.
n−1
n−1
The inclusion c1 dΩF
⊂ K is trivial, since for v ∈ ΩF
we have b1 (dv)[p 1 ] =
c1 dv ∈ K by Lemma 2.1. To prove the reversed inclusion, we will once again show
n−1
and we will start with generators
that each generator of K is contained in c1 dΩF
n−1
of type (i). For the rest of the proof fix v ∈ ΩF
. We have
(
c1 dv , m1 = 1
pm1 −1
b1 dv = c1
dv =
0
, m1 > 1
m −1

14

MARCO SOBIECH

Pp−1 p k
For i = 2, . . . , s write ci =
k=0 xik c1 for some xik ∈ F . For mi > 1, we get
bi dv = 0 and for mi = 1 we get
!
p−1
p−1
p−1
X
X
X

Lemma
3.8
bi dv =
ck1 d(xpik v)
=
c1 d kc1k−1 xpik v = c1 d
kc1k−1 xpik v .
k=1

k=1

k=1

Lastly, if i = s + 1, . . . , r we get bi dv = 0 because of bi ∈ F
Now choose a generator of type (ii) given by
k(t,1)

b1

k(t,r)

· . . . · br

(dv)

pmi

⊂ F p.

[pt ]

with 1 ≤ t ≤ m − 1, 0 ≤ k(t, i) ≤ pt − 1 and max{1, pt−mi +1 } k(t, i) for i = 1, . . . , r.
If mi = 1 for some i ∈ {1, . . . , r}, we would get k(t, i) = 0, so without loss of
generality mi ≥ 2 for i = 1, . . . , r. Computing in Hpn+1 (F ), we get
k(t,1)

b1

t

· . . . · bk(t,r)
(dv)[p
r

pm1 −1 k(t,1) pm2 −1 k(t,2)
c2

≡ c1

]
ms −1

. . . cps

m
k(t,s) p s+1 k(t,s+1)
cs+1

mr

. . . crp

k(t,r)

t

(dv)[p

]

  ms+1 −t
[pt ]
mr −t
p
k(t,s+1)
k(t,r)
v
d cs+1
. . . cpr

 ms+1 −t
mr −t
ms −1−t
Lem 2.1 pm1 −1−t k(t,1) pm2 −1−t k(t,2)
p
k(t,s+1)
k(t,r)
k(t,s)
. . . cpr
v
. . . cps
d cs+1
c2
≡ c1
(1)

pm1 −1 k(t,1) pm2 −1 k(t,2)
c2

≡ c1

ms −1

. . . csp

k(t,s)

n−1
mod (℘ΩnF + dΩF
),

where step (1) holds because pmi k(t, i) is divisible by pt+1 due to the definition of
pms+1 −t k(t,s+1)

k(t, i). Set ω := cs+1
write

pmr −t k(t,r)

. . . cr

pm1 −1−t k(t,1) pm2 −1−t k(t,2)
c2

c1

v. Since c1 , . . . cs ∈ F p (c1 ), we can

ms −1−t

. . . cps

k(t,s)

=

p−1
X

ykp ck1

k=0

for some yk ∈ F . Using this, we finally see
pm1 −1−t k(t,1) pm2 −1−t k(t,2)
c2

c1
≡

p−1
X

k=1

ykp ck1

!

dω

Lemma

≡

3.8

ms −1−t

. . . cps

c1 d

p−1
X

k=0

k(t,s)

 ms+1 −t

mr −t
p
k(t,s+1)
k(t,r)
d cs+1
. . . cpr
v
!

kc1k−1 ykp ω

n−1
mod (℘ΩnF + dΩF
),

which finishes the proof of (i). The assertions (ii) is an easy consequence of the
definition of KF ((b1 , m1 ), . . . , (br , mr )), since no generators of type (ii) appear.

Using the notions
from the
proof above, we just showed that for [E : F ] =
m√
m√
√
r
p, we have F ( p 1 b1 , . . . , p br ) = F ( p cj ), thus KF ((b1 , m1 ), . . . , (br , mr )) =
n+1
Hp (E/F ). And if max{m1 , . . . , mr } = 1, obviously KF ((b1 , m1 ), . . . , (br , mr )) =
Hpn+1 (E/F ). With these two cases covered, we can now prove the following result.
m√
m√
r
Theorem 3.13 Let E = F ( p 1 b1 , . . . , p br )/F be a purely inseparable extension
∗
with b1 , . . . , br ∈ F and integers m1 , . . . , mr ≥ 1. Then we have

Hpn+1 (E/F ) = KF ((b1 , m1 ), . . . , (br , mr )).

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

15

Proof: Set m := max{m1 , . . . , mr } and K := KF ((b1 , m1 ), . . . , (br , mr )). We will
start by showing that each generator of K is actually an element of Hpn+1 (E/F ).
This is clear for forms of the type (i) since bj ∈ E p for all j = 1, . . . , r. Let us
now take a look at forms of the type (ii). For this we choose t ∈ {1, . . . , m −
n−1
1} , v ∈ ΩF
and for j = 1, . . . , r weptake k(t, j) with 0 ≤ k(t, j) ≤ pt − 1 and
m
t−mj +1
max{1, p
} k(t, j). Set βj := p j bj . Over E, we have
k(t,1)

b1

(pm1 )k(t,1)

t

mr

t

. . . bk(t,r)
(dv)[p ] ≡ β1
. . . βr(p )k(t,r) (dv)[p ]
r
 m −t
[pt ]
(1)
(p 1 )k(t,1)
(pmr −t )k(t,r)
≡ β1
dv
. . . βr
2.1 (pm1 −t )k(t,1)
(pmr −t )k(t,r)
dv
. . . βr
β1

 m −t
m
−t
(2)
(p r )k(t,r)
(p 1 )k(t,1)
v
. . . βr
≡ d β1

Lemma

≡

≡0

n−1
mod (℘ΩnE + dΩE
).

Step (1) holds, because for all j = 1, . . . , r, the exponent pmj k(t, j) is divisible by
pt . This is clear for mj ≥ t + 1 and also for mj ≤ t since, by definition of k(t, j), we
find ℓ(t, j) with k(t, j) = ℓ(t, j)pt−mj +1 , hence pmj k(t, j) = pt+1 ℓ(t, j). Finally step
(2) holds, because all the exponents (pm1 −t )k(t, 1), . . . , (pmr −t )k(t, r) are divisible
by p by the just given argument.
Let us now prove the reverse inclusion. First assume there is a j ∈ {1, . . . , r}
with bj ∈ F p . Then we can find cj ∈ F with bj = cpj and we get
p
p
mr
m1
√
m −1
br ).
E = F ( p b 1 , . . . , p j cj , . . . , p

So changing (bj , mj ) ∈ F ∗ × N>0 to (cj , mj − 1) has no influence on the field
extension E, hence it does not change the kernel Hpn+1 (E/F ). By Lemma 3.11, the
group KF ((b1 , m1 ), . . . , (br , mr )) is also fixed under the change (bj , mj ) 7→ (cj , mj −
1). Using this, without loss of generality we may assume b1 , . . . , br ∈ F \ F p and
we further assume m = m1 ≥ . . . ≥ mr .
Say [E : F ] = ph for some h ∈ N. We will prove the theorem by induction on h.
The case h =√
1 is covered
√ by Lemma 3.12, so assume h > 1. For m = m1 = 1,
we have E = F ( p b1 , . . . , p br ) and this case was also dealt with in 3.12.
Now say m = m1 ≥ 2. To simplify the following computations, let us fix some
notations. Set B := b2 ·. . .·br and for all ν = (ν2 , . . . , νr ) ∈ Nr−1 set B ν = bν22 ·. . .·bνrr .
On the set Nr−1 , we will use the usual scalar multiplication
and addition, which
√ 
are both defined component-wise. Define M := F p b1 ⊂ E. With this we get
 mp
p 
mr
1
br .
E = M p b1 , . . . , p
Note that some of the bj might be pth powers over M . Also note that [E : M ] =
ph−1 . For t = 1, . . . , m − 1 set
Qt := {(k2 , . . . , kr ) ∈ Nr−1 | 0 ≤ kj ≤ pt − 1 and max{1, pt−mj +1 } kj
for j = 2, . . . , r}

The sets Qt contain all the possible exponents of the elements b2 , . . . , br for generators of type (ii) as defined in K for a fixed t.

16

MARCO SOBIECH

Now choose ω ∈ Hpn+1 (E/F ). Thus we have ωM ∈ Hpn+1 (E/M ) and because of
[E : M ] = ph−1 , we have

(8)

ωM = ℘(u) + dv +

r
X

bj dxj +

m−1
X

t

−1
X pX

t

bk1 B ε (dztεk )[p

]

t=1 ε∈Qt k=0

j=1

n−1
with u ∈ ΩnM and v, xj , ztεk ∈ ΩM
for all suitable j, t, ε, k.
p
Since b1 ∈ F \ F , we may choose a p-basis
√ BF of F containing b1 and obtain
a p-basis of M by BM = (BF \ {b1 }) ∪ { p b1 }. Thus, using the decomposition
of ΩnM described in Remark 3.5(ii), for every i = 0, . . √
. , p − 1 we can find unique
n−1
n−1
′
n
′
, v ′ , x′j , ztεk
∈
forms ui ∈ ΩF , vi , xji , ztεki ∈ ΩF and u ∈ M d p b1 ∧ ΩF

√
n−2
p
M d b1 ∧ ΩF with

u=

xj =

p−1
X

i=0
p−1
X
i=0

p−1
i
i
X p
p
p
p
b1 u i + u ′ , v =
b1 vi + v ′ ,
i=0

p−1
i
i
X p
p
p
p
′
,
b1 xji + x′j , ztεk =
b1 ztεki + ztεk
i=0

Applying the additive maps ℘, d and (sp )t , we obtain

℘(u) =

dxj =

p−1
X

[p]

bi1 ui −

i=0
p−1
X
i=0

p−1 
 p i
i
X
p
p
p
b1 ui + u′′ , dv =
b1 dvi + v ′′
i=0

p−1
i
X
p
t−1
t
t
p
′′
(dztεki )[p ] + ztεk
bip
b1 dxji + x′′j , (dztεk )[p ] =
1
i=0

√ 
√ 
n−1
n−2
′′
and v ′′ , x′′j , ztεk
∈ M d p b 1 ∧ ΩF
.
with some suitable u′′ ∈ M d p b1 ∧ ΩF
Inserting this in Equation (8), we get
ωM =

p−1
X
i=0

+

[p]

bi1 ui −

r p−1
X
X
j=1 i=0

+

m−1
X

 p−1

 p i
i
X  p
p
p
b1 ui + u′′ +
b1 dvi + v ′′
i=0


 p i
bj p b1 dxji + bj x′′j
t

−1 X
p−1 
X pX

t−1

bk+ip
1

t=1 ε∈Qt k=0 i=0

t

′′
B ε (dztεki )[p ] + bk1 B ε ztεk



By Remark 3.5, we have
ΩnM =

p−1 
p−1 
i
i  p 
M
M
p
p

p
p
n−1
b1 (ΩnF )M ⊕
b 1 d p b 1 ∧ ΩF
.
M
i=0

i=0

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

17

Using this decomposition on the equation above, we get 2p
equation, but

√ different
we are only interested in those not containing the slot d p b1 . Thus we get
(9)

ωM = ℘(u0 ) + dv0 +

p−1
X

r
X

[p]

bi1 ui +

+

m−1
X

t

bj dxj0

j=1

i=1

−1 p−1
X pX
X

t−1

bk+ip
1

t

B ε (dztεki )[p

t=1 ε∈Qt k=0 i=0

and for i = 1, . . . , p − 1

0 = −ui + dvi +
So for i = 1, . . . , p − 1 we have
[p]

ui = (dvi )[p] +

r
X

]



bj dxji .

j=1

r
X

bpj (dxji )[p] .

j=1

n−1
Inserting these in Equation (9) and reducing it mod (℘ΩnF + dΩF
) we get

ωM ≡

p−1
X

bi1 (dvi )[p] +

m−1
X

bj dxj0 +

X

t
pX
−1 p−1
X

p−1
r
XX

bi1 bpj (dxji )[p]

i=1 j=1

j=1

i=1

+

r
X

t−1

bk+ip
1

t

B ε (dztεki )[p

]

n−1
mod (℘ΩnF + dΩF
).

t=1 ε∈Qt k=0 i=0

Even though only containing forms defined over F , this equation is still defined
over the field M . By reducing it to the field F , we have to add some element of
n−1
n−1
Hpn+1 (M/F ) = b1 dΩF
. Thus we can find a form y ∈ ΩF
with
ω≡

p−1
X

bi1 (dvi )[p] + b1 dy +

j=1

i=1

+

m−1
X

r
X

X

t
p−1
pX
−1 X

t−1

bk+ip
1

bj dxj0 +

p−1
r
XX

bi1 bpj (dxji )[p]

i=1 j=1
t

B ε (dztεki )[p

]

n−1
)
mod (℘ΩnF + dΩF

t=1 ε∈Qt k=0 i=0

Using Lemma 3.9 on the last two sums to lower the exponents whenever needed (i.e.
whenever an exponent is larger than p resp. pt ), we see that ω can be expressed as
a sum of generators of K.

m√
m√
r
Remark 3.14 Choose E = F ( p 1 b1 , . . . , p br ) like in Theorem 3.13.
n+1
(i) Note that this generating system of Hp (E/F ) is independent of a possible pdependence of the elements b1 , . . . , br . But the number of generators can be reduced
in the case of a non modular extension. For example assume that bi1 , . . . , biq is a
maximal p-independent subset of b1 , . . . , br (i.e. [F p (b1 , . . . , br ) : F p ] = pq and
F p (b1 , . . . , br ) = F p (bi1 , . . . , biq )). The forms of type (i) can then be replaced by
the forms
n−1
, j = 1, . . . , q
(i′ ) bij dz with z ∈ ΩF

18

MARCO SOBIECH

(ii) Now assume b1 , . . . , br ∈ F \ F p (which can be assumed with every purely
inseparable extension). The exponent exp(E/F ) is then given by max{m1 , . . . , mr },
which shows that the exponent of E/F has direct influence on the generators given
in Theorem 3.13. Further choose s ∈ {1, . . . , e} and set si = min{s, mi } for i =
k
s√
s√
r
1 . . . , r. It is easy to see that F ( p 1 b1 , . . . , p br ) = {x ∈ E | xp ∈ F for a k ≤ s}.
With this we obviously have
p
p
s1
sr
KF ((b1 , s1 ), . . . , (br , sr )) = Hpn+1 (F ( p b1 , . . . , p br )/F )
and

KF ((b1 , s1 ), . . . , (br , sr )) ⊂ KF ((b1 , m1 ), . . . , (br , mr )).

(iii) One should also note that not all possible combinations of the t and k(t, j)
in Theorem 3.13 produce different forms. For example assume t ≥ 1 and all the
k(t, j) are divisible by p, let us say k(t, j) = pℓ(t, j). Then we readily get for each
n−1
v ∈ ΩF
[p]

ℓ(t,1)
ℓ(t,r)
pℓ(t,1)
pℓ(t,r)
. . . br
(dv)[pt−1 ]
b1
. . . br
(dv)[pt ] = b1
Lemma

=

2.1

ℓ(t,1)

b1

ℓ(t,r)

. . . br

(dv)[pt−1 ] .

(iv) In the case p = 2 Theorem 3.13 was obtained independently by Aravire,
Laghribi and O’Ryan using somewhat different methods.
Remark 3.14(iii) actually showed the following

 √
e
Corollary 3.15 Let b ∈ F \ F p and E = F p b be a simple purely inseparable
field extension of F of exponent e. Then
Hpn+1 (E/F ) =

e−1
X
t=0

X

1≤j≤pt
j,p coprime

n−1
bj dΩF

[pt ]

.

Our result on kernels Hpn+1 (E/F ) for finite purely inseparable extensions can be
readily extended to possibly infinite purely inseparable extension. For that recall
that every purely inseparable extension can be written as E = F (βi | i ∈ I) with a
suitable indexset I and elements βi ∈ E. Further we define the exponent of x ∈ E
k
by exp(x/F ) := min{k ∈ N | xp ∈ F }. With this we can easily generalize Theorem
3.13 to the following.
Theorem 3.16 Let E/F be a purely inseparable extension with E = F (βi | i ∈ I).
ei
Set ei := exp(βi /F ) and bi := βip for i ∈ I. For a finite subset J ⊂ I, we set
e(J) := exp(F (βj | j ∈ J)/F ) = max{ej | j ∈ J}. The kernel Hpn+1 (E/F ) is
additively generated by the forms
n−1
, i∈I
(i) bi dz with z ∈ ΩF

Q
k(t,j)
[pt ]
n−1
(ii)
(dv)
with v ∈ ΩF
, a finite subset J ⊂ I, t = 1, . . . , e(J)−
j∈J bj
1 and 0 ≤ k(t, j) ≤ pt − 1 with max{1, pt−ej +1 } k(t, j) for j ∈ J.

Proof: Choose ω ∈ Hpn+1 (E/F ). Since the relation ωE = 0 only uses a finite
number of elements of E, it is clear that there exists already a finite indexset J ⊂ I,

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

19

with ω ∈ Hpn+1 (F (βj | j ∈ J)/F ). Applying Theorem 3.13 on the finite extension
F (βj | j ∈ J)/F finishes the proof.

Using the notations from Theorem 3.16, note that for a finite J ⊂ I with e(J) ≤ 1,
there are no generators of type (ii).
We want to finish this chapter by finding a different representation for the generators of the kernel Hpn+1 (E/F ), so they can be used more easily in the later
sections.
For that, let us call a generator of Hpn+1 (E/F ) of type (ii) of degree t, when it is
k(t,1)

k(t,r)

given by b1
. . . br
(dv)[pt ] for suitable t and k(t, j), j = 1, . . . , r and cannot be
written with a smaller exponent of dv (i.e. not all the exponents k(t, 1), . . . , k(t, r)
are divisible by p). By using this notation and combining Theorem 3.13 with
Remark 3.14(ii), we get the following useful result.
m√
m√
r
Corollary 3.17 Let E = F ( p 1 b1 , . . . , p br )/F be a purely inseparable field
extension of exponent e over F with b1 , . . . , br ∈ F \F p and integers m1 , . . . , mr ≥ 1.

For every 1 ≤ t ≤ e−1 and k1 , . . . , kr ∈ N with max{1, pt−mj +1 } kj for j = 1, . . . , r,
[pt ]

the form bk11 · . . . · bkr r (dv)
lies in Hpn+1 (E/F ) and can be written as a sum of
n+1
generators of Hp (E/F ) of degree ℓ with ℓ ≤ t.
With this corollary we can rewrite the generators of Hpn+1 (E/F ) with E =
m√
m√
r
F ( p 1 b1 , . . . , p br )/F for some b1 , . . . , br ∈ F \ F p . Let us start with a generator
k(t,1)

k(t,r)

[pt ]

· . . . · br
(dv)
for suitable t and k(t, j).
of type (ii), which is given by b1
n−1
Since the group dΩF
is additively generated by forms of the type da1 ∧ . . . ∧ dan
with a1 . . . , an ∈ F and both sp and d are additive maps, it suffice to use a form
da1 ∧ . . . ∧ dan instead of dv. Note once again that the map sp is basis-dependent,
but a change of basis only changes the image by an exact form. Knowing this, in
ΩnF we have
[pt ]

(da1 ∧ . . . ∧ dan )
[pt ]

dan
da1
∧...∧
= a 1 . . . an
a1
an
[pt−1 ]

dan
da1
∧...∧
+ dxt−1
= (a1 . . . an )p
a1
an

[pt−1 ]
da1
dan
[pt−1 ]
= (a1 . . . an )p
∧...∧
+ (dxt−1 )
a1
an
..
.

 X
t−1
dan
[ph ]
pt da1
= (a1 . . . an )
∧...∧
+
(dxh )
a1
an
h=0
 X

t−1
h
dan
da2
(3)
pt d(a1 . . . an )
+
(dxh )[p ]
∧...∧
∧
= (a1 . . . an )
(a1 . . . an )
a2
an
h=0

20

MARCO SOBIECH

n−1
for some suitable x0 . . . , xt−1 ∈ ΩF
. Step (3) in the above computation was made
d(xy)
dy
dx
by using the equality x ∧ y = xy ∧ dy
y repeatedly. Multiplying the equation
k(t,1)

above by b1

k(t,r)

· . . . · br

k(t,1)
b1

(da1 ∧ . . . ∧ dan )


t d(a1 . . . an )
dan
da2
k(t,1)
≡ b1
· . . . · brk(t,r) (a1 . . . an )p
∧...∧
∧
(a1 . . . an )
a2
an
+

t−1
X

·... ·

, we get

brk(t,r)

k(t,1)

b1

h=0

[ph ]

· . . . · bk(t,r)
(dxh )
r

n−1
mod (℘ΩnF + dΩF
).
h

· . . . · br
(dxh )[p ] for
Because of Corollary 3.17, we can rewrite each form b1
h = 0, . . . , t − 1 as sum of generators of degree equal to h and below. So using
induction on t and replacing a1 . . . an =: s, we just showed that the generators of
type (ii) can be replaced by the forms
k(t,1)

k(t,1)

b1

k(t,r) pt
s

· . . . · br

k(t,r)

dan
ds da2
∧...∧
∧
s
a2
an

with s, a2 , . . . , an ∈ F , t = 1, . . . , e−1 and for j = 1, . . . , r , 1 ≤ k(t, j) ≤ pt −1 with
max{1, pt−mj +1 } k(t, j). A similar computation can be done with the generators

of type (i), which leads to the following result.
m√
m√
r
Corollary 3.18 Let E = F ( p 1 b1 , . . . , p br )/F be a purely inseparable extenp
sion of exponent e with b1 , . . . , br ∈ F \ F and integers m1 , . . . , mr ≥ 1. For n ≥ 1,
the kernel Hpn+1 (E/F ) is additively generated by the forms
da2
dan
with j = 1, . . . , r and s, a2 , . . . , an ∈ F
(i) bj s ds
s ∧ a2 ∧ . . . an
k(t,1)

(ii) b1

k(t,r) pt ds
s s

· . . . · br

dan
2
∧ da
a2 . . . ∧ an with s, a2 , . . . , an ∈ F , t = 1, . . . , e−1

and for j = 1, . . . , r , 0 ≤ k(t, j) ≤ pt − 1 with max{1, pt−mj +1 } k(t, j).
For n = 0, we have Hp1 (E/F ) = {0}.
Since this computation was independent of n, we also get
√

m1

Corollary 3.19 For the purely inseparable extension E = F ( p
with b1 , . . . , br ∈ F \ F p and integers m1 , . . . , mr ≥ 1, we have

b1 , . . . ,

√
br )/F

p mr

Hpn+1 (E/F ) = Hp2 (E/F ) ∧ νn−1 (F )

4. The kernels Ωn (E/F ) and νn (K/F ) for a modular purely
inseparable field extensions
Since we just have studied the behavior of the group Hpn+1 (F ) under purely
inseparable field extension, we will now continue by studying ΩnF under some special
cases of these kind of extensions. For that recall that we have a decomposition given
by
Σn = Σn,>s ∪˙ Σn,≤s
described in Remark 3.5(i). We will omit the index n in the sequel, since it will be
fixed during all our computations.

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

21


m√
m√
r
Theorem 4.1 Let E = F p 1 b1 , . . . , p br /F be a purely inseparable field
extension of F with p-independent b1 , . . . , br ∈ F and integers m1 , . . . , mr ≥ 1.
Then
r
X
n−1
n
dbi ∧ ΩF
.
Ω (E/F ) =
i=1

In particular, we have

νn (E/F ) = {ω1 ∧

db1
dbr
n−1
+ . . . + ωr ∧
∈ νn (F ) | ω1 , . . . , ωr ∈ ΩF
}.
b1
br

Proof: Because of bj ∈ E p for all j = 1, . . . , r, we have (dbj )E = 0 which readily shows the first inclusion. So let us now prove the reverse inclusion. Since
b1 , . . . , br are p-independent, we may choose a p-basis BF = {ci | i ∈ I} of
F with ci1 = b1 , . . . , cir = br where i1 , . . . ir ∈ I are the first r elements in
I with i1 < . . . < i√
we get a p-basis of E by BE = {ci | i ∈
r . With this,
m√
m
r
I \ {i1 , . . . , ir }} ∪ { p 1 b1 , . . . , p br }.
Choose ω ∈ ΩnF . Thus we can find xε , yτ ∈ F with
X
X
dcτ
dcε
+
yτ
xε
(10)
ω=
cε
cτ
τ ∈Σ≤r

ε∈Σ>r

τ
Since each form dc
cτ with τ ∈ Σ≤r contains at least one of the forms db1 , . . . , dbs ,
which all become zero in E, we readily get


X
dcε
.
ωE = 0 =
xε
cε E
ε∈Σ>r
 
ε
are part of a basis of ΩnE , we get xε = 0 for
Using the fact that the forms dc
cε

E

all ε ∈ Σ>r . Inserting this in Equation (10), we see
r

ω=

X

τ ∈Σ≤r

yτ

dcτ X
dbj ∧ ΩnF
∈
cτ
j=1


The fact that this kernel is independent of the m1 , . . . , mr is not surprising at all,
since in [Hoffmann, 2006, Theorem 5.2] Hoffmann showed a similar result for the
isotropy behavior of bilinear forms, which is in some way similar to the behavior of
differential forms. (see the next section)

m√
m√
r
In the last section we saw that for E = F p 1 b1 , . . . , p br a possible pdependence of the elements b1 , . . . , br has no major influence on the generators of
the kernel Hpn+1 (E/F ). For Ωn (E/F ) however this is not the case, which can be
seen by the following example.
Example 4.2 Choose p = 2, set F := F2 (X, Y, Z) with some
X, Y, Z
 √variables

√
4
4
2
and define the field extension E/F of exponent 2 as E = F
Z, X Z + Y 2 .
Note that this is a non modular extension. It is commonly known that eight is the
smallest possible degree of a purely inseparable field extension in characteristic 2,
such that there exists a non modular extension. Set n = 2 and assume

Ω2 (E/F ) = dZ ∧ Ω1F + d X 2 Z + Y 2 ∧ Ω1F = dZ ∧ Ω1F .

22

MARCO SOBIECH

√
√
Since X Z + Y and Z are squares in E, we have
 √
 √
0 = d X Z + Y = Z dX + dY,

√
which leads to (dX ∧ dY )E = Z dX ∧ dX = 0, thus dX ∧ dY ∈ Ω2 (E/F ). But
since X, Y, Z are 2-independent over F , we obviously have dX ∧ dY 6∈ dZ ∧ Ω1F .
5. Quadratic and bilinear forms in characteristic 2
In this last section, we will translate the kernels we computed to quadratic and
bilinear forms in characteristic two. To do so, we will start by recapping some
basic facts about these forms. We refer to [Elman et al., 2008] for any undefined
terminology or any other facts that we do not mention explicitly.
In this section, F will always denote a field of characteristic 2, if not stated
otherwise. By W (F ) resp. Wq (F ), we denote the Witt ring of non degenerated
symmetric bilinear forms over F resp. the Witt group of nonsingular quadratic
forms over F . The group Wq (F ) is endowed with a W (F )-modul structure by
the following multiplication: For a symmetric bilinear form (b, V ) ∈ W (F ) and a
nonsingular quadratic form (ϕ, W ) ∈ Wq (F ), we set b ⊗ ϕ to be the quadratic form
on V ⊗ W , defined on generators by b ⊗ ϕ(v ⊗ w) := b(v, v) ϕ(w) for v ∈ V, w ∈ W
with polar form bb ⊗ ϕ = b ⊗ bϕ .
Let I(F ) denote the fundamental ideal of even dimensional bilinear forms of
n
W (F ). For an integer n ≥ 1, set I n (F ) := (I(F )) and let I n Wq (F ) denote the
group I n (F ) ⊗ Wq (F ). It is well known that I n (F ) resp. I n Wq (F ) is generated
by n-fold bilinear Pfister forms hh a1 , . . . , an iib := h1, −a1 ib ⊗ . . . ⊗ h1, −an ib resp.
by the (n + 1)-fold quadratic Pfister forms hh a1 , . . . , an , b ]] := hh a1 ,P
. . . , an iib ⊗[1, b],
n
where hc1 , . . . , cn ib denotes the symmetric diagonal bilinear form i=1 ci Xi Yi and
[e, f ] denotes the quadratic form eX 2 + XY + f Y 2 . By Hb resp. Ma we denote the
bilinear hyperbolic plane resp. the bilinear metabolic plane which represents aF 2 ,
and by H we denote the quadratic hyperbolic plane.
A given field extension L/F induces natural homomorphisms ιL : W (F ) → W (L)
resp. ιL : Wq (F ) → Wq (L), whose kernel W (L/F ) is called the bilinear Witt kernel
of the extension L/F resp. whose kernel Wq (L/F ) is called the quadratic Witt
kernel of the extension L/F .
To transport the results from the previous section to bilinear and quadratic
forms, we will use the following famous result due to Kazuya Kato in 1982.
Theorem 5.1 ([Kato, 1982], p. 494) Let F be a field of characteristic 2. For every
n ∈ N there exists isomorphisms
en : I n (F )/I n+1 (F ) → νn (F )
hh a1 , . . . , an iib mod I n+1 (F ) 7→

dan
da1
∧...∧
a1
an

and
fn : I n Wq (F )/I n+1 Wq (F ) → H2n+1 (F )
hh a1 , . . . , an , b ]] mod I n+1 Wq (F ) 7→ b

dan
da1
∧...∧
a1
an

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

23

Note that f0 can be chosen as the Arf-Invariant, since we have Wq (F )/I 1 Wq (F ) ∼
=
F/℘(F ) = H21 (F ). To simplify notations, for every field extension L/F we define
the following

• I n (F ) := I n (F )/I n+1 (F ) and I n (L/F ) := ker I n (F ) → I n (L)

• Iqn (F ) := I n Wq (F )/I n+1 Wq (F ) and Iqn (L/F ) := ker Iqn (F ) → Iqn (L)

We will start by transferring the kernel H2n+1 (E/F ) for a finite purely inseparable
field extension. Since we already found a suitable representation of the generators
of this kernel ans since we know how fn acts on generators, Theorem 5.1 readily
leads to the following result.
m√
m√
r
Corollary 5.2 Let E = F ( 2 1 b1 , . . . , 2 br )/F be a purely inseparable field extension of exponent e with b1 , . . . , br ∈ F \ F 2 and integers m1 , . . . , mr ≥ 1. For
n ≥ 1 the kernel Iqn (E/F ) is additively generated by the forms
(i) hh a1 , . . . , an−1 ii ⊗ hh s, sbj ]] with a1 , . . . , an−1 , s ∈ F and j ∈ {1, . . . , r}
k(t,1)

(ii) hh a1 , . . . , an−1 ii ⊗ hh s, s2t b1

k(t,r)

. . . br

]] with a1 , . . . , an−1 , s ∈ F , 1 ≤ t ≤

e − 1 , and for j = 1, . . . , r 0 ≤ k(t, j) ≤ 2t − 1 and max{1, 2t−mj +1 } k(t, j)

For n = 0, this kernel is trivial.

Proof: This proof is done using Corollary 3.18 together with the commutativity
of the diagram
Iqn (F )
↓
H2n+1 (F )

Iqn (E)
↓
−→ H2n+1 (E)

−→



We are now able to compute the Witt-kernel for the discussed field extension by
following the same steps as Laghribi did in [Laghribi, 2006, p.4]. For the sake of
completeness, we will follow these ideas once again.
m√
m√
r
Theorem 5.3 Let E = F ( 2 1 b1 , . . . , 2 br )/F be a purely inseparable field extension of exponent e with b1 , . . . , br ∈ F \ F 2 and integers m1 , . . . , mr ≥ 1. The
quadratic Witt-kernel Wq (E/F ) is then generated (as a W (F )-module) by the forms
(i) hh s, sbj ]] with s ∈ F and j ∈ {1, . . . , r},
t k(t,1)
k(t,r)
]] with s ∈ F , 1 ≤ t ≤ e − 1 and for j = 1, . . . , r
(ii) hh s, s2 b1
. . . br
0 ≤ k(t, j) ≤ 2t − 1 and max{1, 2t−mj +1 } k(t, j).
In particular, for all n ≥ 1 we have
ker (I n Wq (F ) → I n Wq (E)) = I n−1 (F ) ⊗ Q = I n−1 (F ) ⊗ Wq (E/F )

where Q is additively generated by the forms of type (i) and (ii).
Proof: Let G be the set generators described in the theorem and [G]F the set
of forms, generated by forms of G over the field F in Wq (F ) as a W (F ) module.
First we have to show that each form in G is actually an element of Wq (E/F ).
Let us start with forms of the type (ii). For this we set B := b1 . . . br and
m√
m√
r
Θ := 2 1 b1 . . . 2 br . For α = (ℓ1 , . . . , ℓr ) ∈ Nr , we define B α := bℓ11 . . . bℓrr
ℓ1
ℓr
√
m
m√
r
resp. Θα := 2 1 b1 . . . 2 br . For s ∈ F , t ∈ {1, . . . , e − 1} and

24

MARCO SOBIECH

δ := (k(t, 1), . . . , k(t, r)) ∈ Nr as described in the theorem, we have to prove that
the form
t
hh s, s2 B δ ]]

becomes hyperbolic over the field E. Due to the assumption, the r-tupel γ :=
(2m1 k(t, 1), . . . , 2mr k(t, r)) can be written as γ = 2t+1 ε with ε ∈ Nr . Using this
u
together with the fact that the forms [1, x] and [1, x2 ] are isometric for all u ∈ N
by comparing the Arf-Invariant (see [Elman et al., 2008]), over the field E we get
t

t

t+1

hh s, s2 B δ ]] = hh s, s2 Θ2

ε

t

t

]] = [1, (sΘ2ε )2 ] ⊥ s[1, (sΘ2ε )2 ]

= [1, sΘ2ε ] ⊥ s[1, sΘ2ε ] = [Θ2ε , s] ⊥ [s, Θ2ε ] = H ⊥ H .

t

Hence hh s, s2 B δ ]]E is hyperbolic. To see that forms of type (i) also become hyperbolic over E can be proven in a similar way.
Now let ϕ be an arbitrary element of Wq (E/F ). Without loss of generality, we
may choose ϕ to be anisotropic. Using analogous arguments as in the case of the
determination of the kernels Hpn+1 (E/F ), we may assume that F has a finite 2-basis
B with |B| = N < ∞ (see Remark 3.4).
Using the basis of ΩnF introduced on page 2, it is easy to see that we have ΩiF = 0
for i > N , thus H2i+1 (F ) = {0} for i > N . Using the isomorphism of Kato, we then
have I i Wq (F ) = I i+1 Wq (F ) for all i > N and by the Arason-Pfister-Hauptsatz
[Baeza, 7374, 4.2], it follows that I i Wq (F ) = 0 for i > N . Now choose a k ≥ 1
with ϕ ∈ I k Wq (F ). This is possible, because of ϕE = 0, the form ϕE has a trivial
Arf-Invariant over E. From Lemma 2.2 we see that ϕ has a trivial Arf-Invariant
over F as well, hence ϕ ∈ IWq (F ). So we may assume ϕ ∈ I k Wq (E/F ), which
leads to ϕ ∈ Iqk (E/F ). Using Corollary 5.2 and setting G = {gi | i ∈ I}, we can
find a finite subset I0 ⊂ I and bilinear forms b0i0 ∈ I k−1 (F ) for i0 ∈ I0 with
X
ϕ+
b0i0 ⊗gi0 ∈ I k+1 Wq (F ).
i0 ∈I0

0
i0 ∈I0 bi0

P

⊗gi0 is obviously hyperbolic over the field E, since both
The form ϕ +
ϕ and the gi0 are hyperbolic over E. If it also hyperbolic over the field F , we are
finished. If not, we can repeat this step to find another finite subset I1 ⊂ I and
forms b1i1 ∈ I k (F ) for i1 ∈ I1 with
X 1
X 0
bi1 ⊗gi1 ∈ I k+2 Wq (F ).
bi0 ⊗gi0 +
ϕ+
i1 ∈I1

i0 ∈I0

We can repeat this step until we find finite subsets If ⊂ I and forms bfif ∈ I k−1+f (F )
with if ∈ If for f = 0, . . . , N − k with
ϕ+

N
−k
X

X

f =0 if ∈If

bfif ⊗gif ∈ I N +1 Wq (F ) = {0}.

Hence we have
ϕ=

N
−k
X

X

f =0 if ∈If

bfif ⊗gif ∈ [G]F .

The second statement can easily be seen by slightly changing the above proof.


WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

25

Following the same ideas as in the proof of Theorem 3.16, we easily generalize
Theorem 5.3 to possibly infinite purely inseparable field extensions.
Theorem 5.4 Let E/F be a purely inseparable extension with E = F (βi | i ∈ I).
ei
Set ei := exp(βi /F ) and bi := βi2 for i ∈ I. For a finite subset J ⊂ I, we set
e(J) := exp(F (βj | j ∈ J)/F ) = max{ej | j ∈ J}. The quadratic Witt kernel
Wq (E/F ) is then generated (as a W (F )-module) by the forms
(i) hh s, sbi ]] with s ∈ F and i ∈ I,
t Q
k(t,j)
]] with s ∈ F ,a finite subset J ⊂ I, 1 ≤ t ≤ e(J) − 1
(ii) hh s, s2 j∈J bj
and for j ∈ J, 0 ≤ k(t, j) ≤ 2t − 1 with max{1, 2t−ej +1 }

k(t, j).

In particular, for all n ≥ 1 we have

ker (I n Wq (F ) → I n Wq (E)) = I n−1 (F ) ⊗ Q′ = I n−1 (F ) ⊗ Wq (E/F )

where Q′ is additively generated by the forms of type (i) and (ii).
Remark 5.5 (i) For possibly infinite purely inseparable extensions of exponent 1,
the quadratic Witt-kernel described in Theorem 5.4 was computed by Hoffmann in
[Hoffmann, 2015] only using the theory of bilinear and quadratic forms.
(ii) In [Hoffmann and Sobiech, 2015] Hoffmann and Sobiech
√ described the generators of the quadratic Witt kernel of the field extension F ( 4 b)/F to be
(a) hh b, c]] with c ∈ F ∗ ,
(b) hh e3 , eb2 ]] with e ∈ F ∗ .

Setting f := e−1 , one readily sees that the generators of type (b) can be rewritten
as hh f −3 , bf 2 ]] ∼
= hh f, bf 2 ]] with f ∈ F , which matches with the generators form
Theorem 5.3. A generator of type (i) is by Theorem 5.3 given by hh s, bs ]] for some
s ∈ F . Since we have
hh s, sb ]] = [1, sb] ⊥ s[1, sb] = [1, sb] ⊥ [s, b] = [1, sb] ⊥ b[1, sb] = hh b, sb ]],
we see that these generators are the same as the ones of type (a) by setting c := sb.
We now want use the kernel νn (E/F ) for a modular purely inseparable extension
E/F in a similar way to get the kernel for bilinear forms. To do so, we first have
to rewrite the generators of νn (E/F ) in a way that fits the map en described in
Theorem 5.1. This is done by the following result.
Lemma 5.6 Let b1 , . . . , br ∈ F be 2-independent. Then we have
!


r
X
dx
n−1
∩ νn (F ) =
dbi ∧ ΩF
| x ∈ F 2 (b1 , . . . , br )∗ ∧ νn−1 (F )
x
i=1
Proof: The set on the right hand side is obviously additively generated by the
dy2
dyn
∗
2
∗
logarithmic forms dx
x ∧ y2 ∧ . . . ∧ yn with y2 , . . . , yn ∈ F and x ∈ F (b1 , . . . , br ) .
Now choose one of these generators. Then we can find λ1 , . . . , λr ∈ F with dx =
λ1 db1 + . . . + λr dbr . With this we readily get


r
X
dx dy2
dyn
dyn
−1 dy2
dbi ∧ λi x
.
∧...∧
=
∧...∧
∧
x
y2
yn
y2
yn
i=1

26

MARCO SOBIECH


Pr
n−1
Let us now check the reverse inclusion. Choose ω ∈
∩ νn (F ).
i=1 dbi ∧ ΩF
Since b1 , . . . , br are 2-independent, we can extent these elements to a 2-basis of F
given by B = {ci | i ∈ I}. We further assume that the elements b1 , . . . , br are the
first r elements of B with ordering b1 < . . . < br . Note that by Remark 3.4, we
may assume this 2-basis to be finite. Using the F -basis of ΩnF corresponding to this
2-basis, we have
(11)

ω=

X
ε≤δ

aε

dcδ X dcε
dcδ
dcε
= aδ
+
= aδ
+ ω<δ ,
aε
cε
cδ
cε
cδ
ε<δ

with ω<δ ∈ ΩnF,<δ and each dcε contains at least one of the forms db1 , . . . , dbr by
n−1
assumption. Since ω ∈ νn (F ), we have ℘(ω) ∈ dΩF
and because ℘ maintains the
filtration of ω, we get
dcδ
n−1
) ∈ dΩF
+ ΩnF,<δ .
℘(aδ
cδ
Applying Kato’s Lemma 3.3 (note that F p−1 = F for p = 2), we get
aδ

dcδ
dx1
dxn
=
∧...∧
+ v<δ
cδ
x1
xn
∗

∗
with v<δ ∈ ΩnF,<δ and xi ∈ Fδ(i)
= F 2 (cj | j ≤ δ(i)) . Since b1 , . . . , br are the first r
∗
elements of B, we have cδ(1) ∈ {b1 , . . . , br }. Thus we get x1 ∈ Fδ(i)
⊂ F 2 (b1 , . . . , br )∗ .
Inserting this result in Equation (11), we get

dx1
dxn
dcδ
+ ω<δ =
∧...∧
+ v<δ + ω<δ .
cδ
x1
xn

Pr
n−1
1
n
Since we already know that ω, dx
∧ . . . ∧ dx
∈
∩ νn (F ) holds,
i=1 dbi ∧ ΩF
x
x
1
n

Pr
n−1
we get v<δ +ω<δ ∈
db
∧
Ω
∩ν
(F
)
as
well.
Using
induction
on v<δ +ω<δ
i
n
F
i=1
finishes the proof.

ω = aδ

With this lemma, we easily get
m√
m√
r
Theorem 5.7 Let E = F ( 2 1 b1 , . . . , 2 br )/F be a purely inseparable field extension with 2-independent b1 , . . . , br ∈ F and integers m1 , . . . , mr ≥ 1. Then we
have

 

dx
dx
ν1 (E/F ) =
| x ∈ F 2 (b1 , . . . , br )∗ =
| x ∈ F 2 (b1 , . . . , br )∗
x
x
and
νn (E/F ) = ν1 (E/F ) ∧ νn−1 (F ).
If we now use Kato’s isomorphism 5.1 on νn (E/F ) with its new system of generators and follow steps similar to those that were made in the proof of Theorem
5.3, we get our final result.
m√
m√
r
Theorem 5.8 Let E = F ( 2 1 b1 , . . . , 2 br )/F be a purely inseparable field extension with 2-independent b1 , . . . , br ∈ F and integers m1 , . . . , mr ≥ 1.

WITT AND COHOMOLOGY KERNELS FOR PURELY INSEPARABLE EXTENSIONS

27

(i) I n (E/F ) = I n−1 (F ) ⊗ I 1 (E/F ), and generated as an additive subgroup of
I 1 (F ) we have
E
D
I 1 (E/F ) = hh x iib | x ∈ F 2 (b1 , . . . , br )∗

(ii) For the bilinear Witt-kernel W (E/F ), generated as an ideal of W (F ), we
have
E
D
X
W (F ) ⊗ hh x iib
W (K/F ) = h1, xib | x ∈ F 2 (b1 , . . . , br )∗ =
x∈F 2 (b1 ,...,br )∗

(iii) For each n ∈ N we have

ker (I n (F ) → I n (E)) = I n−1 (F ) ⊗ hh x iib | x ∈ F 2 (b1 , . . . , br )∗
= I n−1 (F ) ⊗ W (E/F )

We omit the proof, since it is similar to the one from 5.3.
Remark 5.9 (i) Theorem 5.8 can be easily generalized to infinite purely inseparable
extension E/F , where E is generated over F by roots of 2-independent elements.
This is left to the reader.
(ii) The kernel given in Theorem 5.8(ii) was also computed by Hoffmann in
[Hoffmann, 2006], only using the theory of bilinear forms.
(iii) As a final application we want to note that, using the
 same notations as
in 5.8, we have ν1 (E/F ) ∼
= I 1 (E/F ) ∼
= ker F/F 2 → E/E 2 , where the second
isomorphism is done using the determinant. So for every f ∈ F \ F 2 , we have
f ∈ E 2 if and only if f ∈ F 2 (b1 , . . . , br ).
Acknowledgments and Notes
The results contained in this paper are part of the PhD-Thesis of the author. I
thank D. Hoffmann for supervising this work and giving some very useful hints and
corrections in the process.
I also thank R. Aravire for some interesting discussions on this topic during
his stay at the TU Dortmund in 2014 and for sketching a proof of Theorem
3.6 for the case p = 2. We also thank him for some very helpful remarks on
[Aravire and Baeza, 2003b]. R. Aravire’s stay was supported by DFG Projekt HO
4784/1-1 Annnihilators and kernels in Kato’s cohomology in positive characteristic
and in Witt groups in characteristic 2.
References
[Arason et al., 2007] Arason, J. K., Aravire, R., and Baeza, R. (2007). On some invariants of fields
of characteristic p > 0. J. Algebra, 311(2):714–735.
[Aravire and Baeza, 2003a] Aravire, R. and Baeza, R. (2003a). The behavior of quadratic and
differential forms under function field extensions in characteristic two. J. Algebra, 259(2):361–
414.
[Aravire and Baeza, 2003b] Aravire, R. and Baeza, R. (2003b). Linkage of fields in characteristic
2. Comm. Algebra, 31(1):463–473.
[Aravire and Laghribi, 2013] Aravire, R. and Laghribi, A. (2013). Results on Witt kernels of quadratic forms for multi-quadratic extensions. Proc. Amer. Math. Soc., 141(12):4191–4197.
[Baeza, 7374] Baeza, R. (1973/74). Ein Teilformensatz für quadratische Formen in Charakteristik
2. Math. Z., 135:175–184.

28

MARCO SOBIECH

[Cartier, 1958] Cartier, P. (1958). Questions de rationalité des diviseurs en géométrie algébrique.
Bull. Soc. Math. France, 86:177–251.
[Dolphin and Hoffmann, 2015] Dolphin, A. and Hoffmann, D. W. (2015). Differential forms and
bilinear forms under field extensions. J. Algebra, 441:398–425.
[Elman et al., 2008] Elman, R., Karpenko, N., and Merkurjev, A. (2008). The algebraic and geometric theory of quadratic forms, volume 56 of American Mathematical Society Colloquium
Publications. American Mathematical Society, Providence, RI.
[Hoffmann, 2006] Hoffmann, D. W. (2006). Witt kernels of bilinear forms for algebraic extensions
in characteristic 2. Proc. Amer. Math. Soc., 134(3):645–652 (electronic).
[Hoffmann, 2015] Hoffmann, D. W. (2015). Witt kernels of quadratic forms for multiquadratic
extensions in characteristic 2. Proc. Amer. Math. Soc., 143(12):5073–5082.
[Hoffmann and Sobiech, 2015] Hoffmann, D. W. and Sobiech, M. (2015). Witt kernels and Brauer
kernels for quartic extensions in characteristic two. J. Pure Appl. Algebra, 219(10):4619–4634.
[Kato, 1982] Kato, K. (1982). Symmetric bilinear forms, quadratic forms and Milnor K-theory in
characteristic two. Invent. Math., 66(3):493–510.
[Laghribi, 2006] Laghribi, A. (2006). Witt kernels of quadratic forms for purely inseparable multiquadratic extensions in characteristic 2. Proc. Amer. Math. Soc., 134(9):2481–2486 (electronic).
Fakultät für Mathematik, Technische Universität Dortmund, D-44221 Dortmund,
Germany
E-mail address: marco.sobiech@tu-dortmund.de

