In Theory of p-adic Galois Representations by Fontaine and Yi Ouyang, there is a proof of Grothendieck l-adic monodromy theorem for general local fields:

enter image description here

Here a local field is a complete discrete valuation field with perfect residue field. But I could not understand why $k_1$ is finite type over the prime field. Is it trivially true? What is the original proof?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.