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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references