eldorado.tu-dortmund.de/server/api/core/bitstreams/ddbf2c3d-9de1-407e-8b2d-53cec9e91242/content
. , tn, (−1) n+2 2 t1 ⋅ . . . ⋅ tn⟩ ∈ I2F , we have
GP2(ψ) = n
2 .
Now, for the form ϕ ∶= ⟨⟨tn+1⟩⟩⊗ ψ ∈ I3F , which is of dimension
2(n + 2) ≤ 2( d
2 − 2 + 2) = d,
we have
GP3(ϕ) = n
2 = ⌊
d
4 ⌋ − 1.
by [...] t1)) as the F2-linear map Φ ∶ F ∗/F ∗2 → E∗/E∗2 defined by
aF ∗2 ↦ aE∗2 for all a ∈K∗;
t1F ∗2 ↦ t1E
∗2;
t2F ∗2 ↦ t2E
∗2
is a group isomorphism with
Φ(−1) = −1 and Φ(DF (⟨x1, . . . , xn⟩)) =DE(⟨Φ(x1), [...] ⊥ tϕ2
and ϕ1 ≠ 0 ≠ ϕ2, where ϕ1, ϕ2 are the residue forms. Since we have ϕ1, ϕ2 ∈ In−1K by Lemma 3.4.1, the Holes Theorem implies
dimϕ1,dimϕ2 ∈ {2n−1,2n−1 + 2n−2,2n}.
If one of the dimensions is 2n−1, …