Optimisation du th\'eor\`eme d'Ax-Sen-Tate et application \`a un calcul de cohomologie galoisienne p-adique
Abstract
Let p a prime number, Qp the field of p-adic numbers, K a finite extension of Qp, K an algebraic closure, and Cp the completion of Qp, on which the valuation on Qp extends. In his proof of the Ax-Sen-Tate theorem, Ax shows that if x in Cp 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 pn-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 Cp 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 K.