Cohomological kernels of purely inseparable field extensions
type: Item
instance of: scholarly article
title: Cohomological kernels of purely inseparable field extensions
zbMATH Open document ID: 1469.12005
author: Roberto Aravire
author: Bill Jacob
author: Manuel O'Ryan
published in: Pacific Journal of Mathematics
publication date: 2020-08-10T00:00:00Z
review text: Let \(F\) be a field of characteristic \(p > 0\) and \(F^p = \{\lambda^p\colon \lambda \in F\}\) the subfield of \(F\) consisting of the \(p\)-th powers of its elements. We consider finite extensions \(L\) of \(F\) that are purely inseparable and modular; this means that \(L\) is a tensor product over \(F\) of simple purely inseparable extensions, that is, for some \(x_1, \ldots , x_s \in F\) which are \(p\)-independent over \(F^p\) (i.e. \([F^p(x_1, \ldots , x_s)\colon F^p] = p^s\)), \(L = F(\alpha_1, \ldots , \alpha_s)\), where \(\alpha_i^{p^{r_i}}\), for \(r_i \in \mathbb{N}\). The exponent of \(L/F\) is defined to be the maximal \(r_i\). The paper under review is devoted to the study of the kernel \(H_{p^m}^{n+1}(L/F)\) of the homorphism \(H_{p^m}^{n+1}(F) \to H_{p^m}^{n+1}(L)\) of the Kato-Milne cohomology groups, for \(m, n, s \ge 1\). When \(m = 1\), this has been done by Sobiech, and independently, in case \(p = 2\), by Laghribi and the first and third-named authors (see [\textit{M. Sobiech}, J. Algebra 499, 151--182 (2018; Zbl 1390.11077); \textit{R. Aravire} et al., J. Pure Appl. Algebra 223, No. 1, 439--457 (2019; Zbl 1454.12002)]. When \(L\) has exponent \(1\), i.e. \(L^p \subseteq F\), the kernel is the sum of the kernels of the simple subextensions, but when \(L\) has larger exponent it is significantly more complex. The paper under review determines \(H_{p^m}^{n+1}(L/F)\), for \(L = F(\alpha )\), \(\alpha^{p^e} = x\) and all \(m, n, e \ge 1\). Whereas the results in case \(m = 1\) have been obtained upon the basis of the theory of differential forms (for a reference to this background, see Chapter 9 of the book [\textit{P. Gille} and \textit{T. Szamuely}, Central simple algebras and Galois cohomology. Cambridge: Cambridge University Press (2006; Zbl 1137.12001)], the results for \(m > 1\) also require the de Rham-Witt complex. As a corollary, when \(L/F\) is modular and \(m\) exceeds the exponent of \(L/F\), it is proved that \(H_{p^m}^2(L/F)\) equals…
reviewed by: Ivan D. Chipchakov
Mathematics Subject Classification ID: 12F15
Mathematics Subject Classification ID: 12G05
Mathematics Subject Classification ID: 16K50
zbMATH DE Number: 7229703
zbMATH Keywords: field theory
zbMATH Keywords: inseparable extensions
zbMATH Keywords: modular extensions
zbMATH Keywords: differential forms
zbMATH Keywords: differential modules de Rham Witt modules
zbMATH Keywords: cohomological kernels
MaRDI profile type: Publication
full work available at URL: pjm.2020.306.385
OpenAlex ID: W3042927014
cites work: Q5777227
cites work: Division algebras of degree 4 and 8 with involution
cites work: On some invariants of fields of characteristic \(p > 0\)
cites work: The behavior of quadratic and differential forms under function field extensions in characteristic two.
cites work: Results on Witt kernels of quadratic forms for multi-quadratic extensions
cites work: The de Rham Witt complex, cohomological kernels and \(p^{m}\)-extensions in characteristic \(p\)
cites work: The behavior of differential forms under purely inseparable extensions
cites work: Complexe de de\thinspace Rham-Witt et cohomologie cristalline
cites work: Q4000244
cites work: Indecomposible division algebras of prime exponent.
cites work: Finite-Dimensional Division Algebras over Fields
cites work: The behavior of differential, quadratic and bilinear forms under purely inseparable field extensions
cites work: Indecomposable algebras of prime exponent.
DOI: 10.2140/PJM.2020.306.385
Recommended article: Types of linkage of quadratic Pfister forms
Recommended article: Q4524703
Recommended article: Cohomological kernels of non-normal extensions in characteristic two and indecomposable division algebras of index eight
Recommended article: Cohomological kernels of mixed extensions in characteristic 2
Recommended article: Transfer for Kato-Milne cohomology over purely inseparable extensions (with an appendix by Diksha Mukhija)
Recommended article: Q4880455
Recommended article: Cohomological Invariants in Positive Characteristic
Recommended article: Partial Fractions and Milnor K-Theory
Recommended article: Generalization of the Artin-Hasse logarithm for the Milnor -groups of -rings
Recommended article: Hilbert 90 for Galois Cohomology
description: scientific article; zbMATH DE number 7229703