On the \(\pi\)-adic theory -- Galois cohomology
type: Item
instance of: scholarly article
title: On the \(\pi\)-adic theory -- Galois cohomology
zbMATH Open document ID: 0776.12001
author: Yuichiro Taguchi
published in: Proceedings of the Japan Academy. Series A
publication date: 1993-06-29T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.pja/1195511711
review text: Let \(\pi\) be an irreducible element in the ring \(F[t]\) of polynomials over a finite field \(F\), let \(A\) be the ring of integers of the \(\pi\)- adic completion of the field \(F(t)\), and let \(q\) be the number of elements of the residue field of \(A\). Let \(K\) be a complete discrete valuation field which is an extension of \(F(t)\) and for which the residue field is perfect, let \(\overline{K}\) be the separable algebraic closure of \(K\) to which the valuation of \(K\) is extended, let \(M\) be the maximal ideal of the ring of integers of \(\overline{K}\), and let \(G\) be the Galois group of \(\overline{K}\) over \(K\). The ring \(A\) is isomorphic to the ring of formal power series in \(\pi\) over a field of \(q\) elements, and \(M\) becomes a module over \(A\) by setting \([\pi]m=\pi m+m^ q\) for \(m\) in \(M\). The Lubin-Tate module over \(A\) is the torsion submodule of \(M\); and the action of \(G\) on this submodule is given by \(\sigma(m)=[\chi(\sigma)]m\), where \(\chi\) is a homomorphism of \(G\) into the multiplicative group of units of \(R\). The group \(G\) acts continuously on the completion \(C\) of \(\overline{K}\); and for each integer \(r\), denote by \(C(r)\) the \(G\)-module obtained by setting \(\sigma\cdot y=\chi(\sigma)^ r \sigma(y)\) for \(y\) in \(C\). The author constructs an element \(c\) of \(C\) such that \(\sigma(c)=\chi(c)c\), and multiplication by \(c^ r\) is an isomorphism of \(C(r)\) onto \(C\). Then for Galois cohomology, \(H^ 0(G,C(r))=c^{-r}H^ 0 (G,C)\) and \(H^ k(G,C(r))=H^ k(G,C)\) for \(k\geq 1\). \textit{J. Ax} [J. Algebra 15, 417-428 (1971; Zbl 0216.047)] proved that \(H^ 0(G,C)\) is the completion of the purely inseparable closure of \(K\), and the author proves that \(H^ 1(G,C)=0\).
Mathematics Subject Classification ID: 12G05
Mathematics Subject Classification ID: 12J25
zbMATH DE Number: 221218
zbMATH Keywords: \(\pi\)-adic theory in positive characteristic
zbMATH Keywords: Carlitz module
zbMATH Keywords: Tate twist
zbMATH Keywords: Carlitz character
zbMATH Keywords: complete discrete valuation field
zbMATH Keywords: Galois cohomology
reviewed by: H. F. Kreimer
MaRDI profile type: Publication
OpenAlex ID: W2043629776
cites work: Zeros of polynomials over local fields. The Galois action
cites work: Q5509718
cites work: Q5539560
cites work: Le corps des normes de certaines extensions infinies de corps locaux; applications
DOI: 10.3792/PJAA.68.214
description: scientific article; zbMATH DE number 221218