Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In this video, one asserts, in the beginning, that, for $\tau\in \mathbb V_0$ such that $\tau$ generates $V_0/V_1$ in the quotient group, and $\sigma\in \mathbb Z$ which is a Frobenius in $\mathbb Z/\mathbb T$, if $\tau\sigma=\sigma\tau$, then $\tau^{q-1}=\iota$ where $q$ is the order of the finite residue field $\kappa$. I have no idea how to show this. Any hints are mostly appreciated, thanks in advance.
P.S. $\mathbb V_i$ are ramifications groups of a number field $\mathbb k$ with some prime, and $\mathbb Z$ the decomposition group of that prime in $\mathbb k$, with $\mathbb T=\mathbb V_0$. And notice that $q$ is the order of the residue field $\kappa=\mathbb k/\mathfrak p$, not of the finite field extension $\mathbb K^0=\mathbb K/\mathfrak P$.
This video is some kind of blurred and, for the dearth of time, cannot give a complete proof of the theorem. Though I can understand the proof by CFT, I found it quite difficult to understand those lemmas. And any reference to the paper the lecturer uses is rather appreciated. Thanks.
Another Edit:
I think that, if we view $\tau$ as a representation, then the commuting condition becomes sort of saying that the representation is one-dimensional, so that it is contained in the ground field, fromp which follows the order-statement. Are there any errors? Thanks again.

share|cite|improve this question
Usually $\mathbb Z$, $\mathbb T$ denote respectively the relative integers and the torus $\mathbb R/\mathbb Z$. – user18119 Feb 26 '13 at 21:57
Sorry, but I thought it would be better to follow the notations in the video. – awllower Feb 27 '13 at 3:16

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.