#### Vol. 306, No. 2, 2020

 Recent Issues Vol. 313: 1 Vol. 312: 1  2 Vol. 311: 1  2 Vol. 310: 1  2 Vol. 309: 1  2 Vol. 308: 1  2 Vol. 307: 1  2 Vol. 306: 1  2 Online Archive Volume: Issue:
 The Journal Subscriptions Editorial Board Officers Contacts Submission Guidelines Submission Form Policies for Authors ISSN: 1945-5844 (e-only) ISSN: 0030-8730 (print) Special Issues Author Index To Appear Other MSP Journals
Cohomological kernels of purely inseparable field extensions

### Roberto Aravire, Bill Jacob and Manuel O’Ryan

Vol. 306 (2020), No. 2, 385–419
##### Abstract

Let $F$ be a field of characteristic $p$ and $L$ a finite purely inseparable extension. The kernel ${H}_{p}^{n+1}\left(L∕F\right)=ker\left({H}_{p}^{n+1}F\to {H}_{p}^{n+1}L\right)$ has been described by Sobiech, and independently when $p=2$ by Aravire, Laghribi, and O’Ryan. When $L$ has exponent $1$, the kernel is the sum of the kernels of the simple subextensions, but when $L$ has larger exponent it is significantly more complex. This paper determines ${H}_{{p}^{m}}^{n+1}\left(L∕F\right)$ for $L=F\left(\sqrt[{p}^{e}]{x}\right)$ and all $m,n,e\ge 1$. Whereas the results when $m=1$ used the theory of differential forms, the results for $m>1$ require the de Rham Witt complex. The $m>1$ case clarifies why the “messy” generators in the $m=1$ case arose, as they emerge from relations in the de Rham Witt complex. As a corollary, when $L$ is modular over $F$ and $m$ exceeds the exponent of $L$, the kernel ${H}_{{p}^{m}}^{2}\left(L∕F\right)$ is the sum of the kernels of the simple subextensions.

##### Keywords
field theory, inseparable extensions, cohomological kernels
##### Mathematical Subject Classification 2010
Primary: 12F15, 12G05
Secondary: 16K50