Annihilators of differential forms over fields of characteristic \(p\) (Q2136910)

The author considers differential forms in positive characteristic \(p\). The main theorem (Theorem 4.4) gives an explicit description of the kernel \(\Omega^n(E/F)\) of the restriction map \(\Omega^n(F)\to \Omega^n(E)\) for a purely inseparable field extension \(E/F\) of the form \(E=F(\sqrt[p^{m_1}]{b_1},\ldots,\sqrt[p^{m_r}]{b_r},\sqrt[p^{m}]{b})\) where \(b_1,\ldots, b_r,b\in F\), \(m_1\ldots, m_r,m\geq 1\), \(m\leq \min\{ m_i \mid i=1,\ldots, r\}\) and the \(b_1,\ldots, b_r\) are \(p\)-independent. He also describes its subspace \(\nu_n(E/F)\) of those differential forms in \(\Omega^n(E/F)\) which are killed under the Artin-Schreier map. The main part of the paper is about annihilators of differential forms, and the explicit description in the main theorem is given via these annihilators. Here, for a field \(F\) of positive characteristic \(p\) and a subset \(\emptyset \ne U\subset \Omega^r(F)\) of the differential \(r\)-forms of \(F\), the \(n\)-form annihilators of \(U\) are -- in the notation of the paper -- \[ \operatorname{Ann} \Omega_F^n(U)= \{ \omega \in \Omega^n(F) \mid \omega \wedge u=0\in \Omega^{n+r}(F) \,\forall\, u\in U \}. \]