Annihilators of differential forms over fields of characteristic \(p\) (Q2136910)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Annihilators of differential forms over fields of characteristic \(p\) |
scientific article |
Statements
Annihilators of differential forms over fields of characteristic \(p\) (English)
0 references
16 May 2022
0 references
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 \}. \]
0 references
purely inseparable extensions
0 references
differential forms
0 references
Artin-Schreier-map
0 references
annihilator
0 references
0 references