Let $L$ and $K$ be two complete discrete valuation fields of equal characteristic $0$. Assume that an embedding $K\subset L$ is fixed and let $F$ be the algebraic closure of $K$ inside $L$. Can you provide a proof or at least an hint for the following proposition?

Proposition: $F$ is a finite extension of $K$ and $L\cong F((t))$.

In particular this means that $F$ is actually the residue field of $L$. why is this true?

Edit: On $L$ we have an additional hypothesis. We know that its residue field $\overline L$ is again a complete discrete valuation field (of characteristic $0$). In other words $L$ has "dimension $2$''. For example $L=\mathbb Q_p((t))$.

Thank you in advance

  • 1
    $\begingroup$ Are you sure this is true as stated? What if $K=L$? $\endgroup$ – Torsten Schoeneberg Jul 20 '18 at 23:32
  • $\begingroup$ Seconding Torsten's concern. Consider the case of $K=\Bbb{Q}_p$ and $L$ any finite extension. Then $L$ is complete as a finite dimensional vector space over a complete field, and $F=L$. $\endgroup$ – Jyrki Lahtonen Jul 21 '18 at 10:19
  • 1
    $\begingroup$ The statement is taken from the paper "Kato's residue homomorphism and reciprocity laws on arithmetic surfaces - Dongwen Liu". First 3 lines of page 6. I'm puzzled now $\endgroup$ – manifold Jul 21 '18 at 12:34
  • 1
    $\begingroup$ I forgot to add that $L$ is supposed to be two dimensional. It means that the residue field $\overline L$ is again a complete discrete valuation field. For example $L=\mathbb Q_p((t))$ $\endgroup$ – manifold Jul 21 '18 at 12:51
  • 1
    $\begingroup$ I think there are several more conditions given in the paper you cite (I found the statement in the middle of p.7 of the current arxiv version arxiv.org/pdf/1203.6712.pdf). E.g. what you call $K$ (called $k$ in loc.cit.) is a local field of char. 0 with finite residue field, i.e. some finite extension of some $\Bbb Q_p$. $\endgroup$ – Torsten Schoeneberg Jul 21 '18 at 20:17

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.