Optimization of the Ax-Sen-Tate theorem applied to a computation in p-adic Galois cohomology
From MaRDI portal
Publication:983152
Abstract: Let p a prime number, Q_p the field of p-adic numbers, K a finite extension of Q_p, �ar{K} an algebraic closure, and C_p the completion of Q_p, on which the valuation on Q_p extends. In his proof of the Ax-Sen-Tate theorem, Ax shows that if x in C_p satisfies v(sx - x) > A for all s in the absolute Galois group of K G, then there is a y in K such that v(x-y) >= A - C, with the constant C = p/(p-1)^2. Ax questions the optimality of this constant, which we study here. Introducing the extension of K by p^n-th roots of the uniformizer and relying on Tate's and Colmez's works, we find the optimal constant and some more information about elements in C_p satisfying v(sx - x) >= A for all s in G, we compute the first cohomology group of G with coefficients in the ring of integers of �ar{K}.
Recommendations
- Computations in Galois cohomology
- A p-adic approach to the computation of Gröbner bases
- Sur la cohomologie galoisienne des corps $p$-adiques
- 𝑝-Adic Methods in Number Theory and Algebraic Geometry
- The \(p\)-adic Coates-Sinnott conjecture over maximal orders
- Exact algorithms for \(p\)-adic fields and epsilon constant conjectures
- Efficient computation of Rankin \(p\)-adic \(L\)-functions
- scientific article; zbMATH DE number 1765716
- scientific article; zbMATH DE number 3922795
- scientific article; zbMATH DE number 1789961
Cites work
- scientific article; zbMATH DE number 1309433 (Why is no real title available?)
- scientific article; zbMATH DE number 3252949 (Why is no real title available?)
- Le corps des normes de certaines extensions infinies de corps locaux; applications
- On automorphisms of local fields
- Power series and \(p\)-adic algebraic closures
- The algebraic closure of the power series field in positive characteristic
- Zeros of polynomials over local fields. The Galois action
Cited in
(4)
This page was built for publication: Optimization of the Ax-Sen-Tate theorem applied to a computation in \(p\)-adic Galois cohomology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q983152)