Cohomological kernels of purely inseparable field extensions (Q785732): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.2140/pjm.2020.306.385 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2140/pjm.2020.306.385 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3042927014 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5777227 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Division algebras of degree 4 and 8 with involution / rank
 
Normal rank
Property / cites work
 
Property / cites work: On some invariants of fields of characteristic \(p > 0\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The behavior of quadratic and differential forms under function field extensions in characteristic two. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Results on Witt kernels of quadratic forms for multi-quadratic extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The de Rham Witt complex, cohomological kernels and \(p^{m}\)-extensions in characteristic \(p\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The behavior of differential forms under purely inseparable extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexe de de\thinspace Rham-Witt et cohomologie cristalline / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4000244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Indecomposible division algebras of prime exponent. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite-Dimensional Division Algebras over Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The behavior of differential, quadratic and bilinear forms under purely inseparable field extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Indecomposable algebras of prime exponent. / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.2140/PJM.2020.306.385 / rank
 
Normal rank

Latest revision as of 03:33, 10 December 2024

scientific article
Language Label Description Also known as
English
Cohomological kernels of purely inseparable field extensions
scientific article

    Statements

    Cohomological kernels of purely inseparable field extensions (English)
    0 references
    0 references
    0 references
    0 references
    10 August 2020
    0 references
    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 the sum of the kernels of the simple subextensions of \(F\) in \(L\).
    0 references
    field theory
    0 references
    inseparable extensions
    0 references
    modular extensions
    0 references
    differential forms
    0 references
    differential modules de Rham Witt modules
    0 references
    cohomological kernels
    0 references

    Identifiers