Links between associated additive Galois modules and computation of H^1 for local formal group modules.
Let \(k\) be a complete discrete valuation field with residue field of characteristic \(p\), \(F\) an \(m\)-dimensional formal group defined over \(k\), and \(K\) a finite Galois extension of \(k\) with Galois group \(G\). Let \(F(K)\) be the group of \(K\)-points of \(F\) (the author also considers more general modules), and \(Z^1(F(K))\), \(B^1(F(K))\) the modules of 1-cocycles and 1-coboundaries for the \(G\)-module \(F(K)\). The author's main theorem is a valuation criterion for a cocycle to be a coboundary, a criterion that is independent of the formal group \(F\). This theorem yields a Hilbert's Theorem 90 for deeply ramified extensions, generalizing to noncommutative formal groups a result of \textit{J. Coates} and \textit{R. Greenberg} [Invent. Math. 124, 129--174 (1996; Zbl 0858.11032)] concerning the Weil-Chatelet group. The author's main theorem is also used to solve Kummer equations in the following sense: \(T\) is a finite subgroup of \(F(k)\), \(A\) is a homomorphism from \(G = \text{Gal} (K/k)\) to \(T\) (hence \(A\) is a cocycle). Then \(x\) in \(F(K)\) is called a solution of the Kummer equation \(F, T, A\) if for all \(\sigma \in G\), the relation \(A(\sigma ) = x -_F \sigma (x)\) holds -- that is, \(A\) is the coboundary defined by \(x\). The author obtains a criterion for a Kummer equation to be solvable. The criterion is particularly nice when the extension \(K/k\) is semi-stable (which implies that \(K\) contains an ideal free over its associated order). The author's methods are based on those of his previous papers [Doc. Math., J. DMV 5, 657--693 (2000; Zbl 0964.11053); and Contemp. Math. 300, 27--57 (2002; Zbl 1026.11088)].
- Cohomology of formal group moduli and deeply ramified extensions
- Formal groups and the Galois module structure of local rings of integers.
- Galois structure of ideals in wildly ramified abelian \(p\)-extensions of a \(p\)-adic field, and some applications
- scientific article; zbMATH DE number 4059536 (Why is no real title available?)
- scientific article; zbMATH DE number 3710313 (Why is no real title available?)
- Kummer theory for abelian varieties over local fields
- Leopoldt's problem for Abelian totally ramified extensions of complete discrete valuation fields
- Local Leopoldt's problem for rings of integers in Abelian \(p\)-extensions of complete discrete valuation fields
- Monogenic Hopf orders and associated orders of valuation rings.
- On Deeply Ramified Extensions
- Nonabelian associated orders of wildly ramified extensions
- New ramification breaks and additive Galois structure
- scientific article; zbMATH DE number 1560273 (Why is no real title available?)
- On formal groups and Tate cohomology in local fields
- Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree p^2
This page was built for publication: Links between associated additive Galois modules and computation of \(H^{1}\) for local formal group modules.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1399672)
