Linkage of Fields in Characteristic 2
Let \( F\) be a field of characteristic 2. Let \(\omega_{F}^{*}=\oplus_{F}^{n}\Omega_{F}^{n}\) be the \(F\)-algebra of differential forms over \(F\) and let \(d:\Omega_{F}^{n}\to \Omega_{F}^{n+1}\) (\(n\geq 0\)) be the differential operator. Kato defined a homomorphism \(\wp : \Omega_{F}^{n}\to \Omega_{F}^{n}/d\Omega_{F}^{n-1}\). The kernel \(\nu_{F}(n):=\ker \wp\) of this homomorphism is generated by pure logarithmic differentials \(\frac{dx_1}{x_1}\wedge \cdots \wedge \frac{dx_n}{x_n}\), \(x_I \in F^{*}\), and there exists a natural isomorphism \(\alpha:\nu_{F}(n)\cong \overline{I}_{F}^{n}=I_{F}^{n}/I_{F}^{n+1}\), where \(I_F\) denotes the ideal of even dimensional forms in the Witt ring \(W(F)\) of non-singular symmetric bilinear forms over \(F\). Let \(L/F\) be a field extension, \(\nu_{L/F}(n)\) denotes the kernel of the natural map \(\nu_{F}(n)\to \nu_{L}(n)\). Similarly \(\overline{I}_{L/F}^{n}\) denotes the kernel of the map \(\overline{I}_{F}^{n}\to \overline{I}_{L}^{n}\). The isomorphism \(\alpha\) induces an isomorphism \(\overline{I}_{L/F}^{n}\cong \nu_{L/F}(n)\). Let \(\varphi=\langle \langle a_1, \ldots , a_n\rangle\rangle\) (:=\(\langle 1, a_1\rangle \otimes \cdots \otimes \langle 1, a_n\rangle\)) be an \(n\)-fold Pfister form and \(F(\varphi)\) the function field of the quadric associated to \(\varphi\). In sections 1 and 2 of the paper \(\nu_{F(\varphi)/F}(n)\) and \(\overline{I}_{F(\varphi)/F}^{n}\) are computed. In section 3 the computations are extended to \(\nu_{F(\varphi)/F}(m)\) for \(m\geq 1\). In section 2 as a corollary of the result one obtains that \(F^{2}(a_1, \ldots , a_n)\) is \(n\)-linked relative to \(F(\varphi)\), more precisely it is shown that for all \(x_1, \ldots, x_n, y_1, \ldots , y_n\in F^2(a_1, \ldots , a_n)\) there exists \(z_1, \ldots, z_n\in F^2(a_1, \ldots, a_n)\) such that \[ \langle \langle x_1, \ldots , x_n\rangle\rangle + \langle \langle y_1, \ldots , y_n\rangle\rangle\equiv \langle \langle z_1, \ldots , z_n\rangle\rangle \bmod I_{F(\varphi)}^{n+1}. \]
- The behavior of differential, quadratic and bilinear forms under purely inseparable field extensions
- Types of linkage of quadratic Pfister forms
- The behavior of quadratic and differential forms under function field extensions in characteristic two.
- The $u^n$-invariant and the symbol length of $H_2^n(F)$
- Differential forms and bilinear forms under field extensions
- Some algebraic aspects of quadratic forms over fields of characteristic two
- Good bilinear and quadratic forms of height 2 in characteristic 2.
- Linkage of Pfister forms over semi-global fields
- Forms in I_q^3F and their symbol length in H₂^3(F)
- On the descent for quadratic and bilinear forms
- On bilinear forms of height 2 and degree 1 or 2 in characteristic 2
This page was built for publication: Linkage of Fields in Characteristic 2
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4803364)
