Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In his paper, Duke paper, Serre consider continuous, odd Galois representation $\rho: G_{\mathbb{Q}}\longrightarrow GL_{n}(\overline{\mathbb{F}}_{p})$ where $p$ is a rational prime. Roughly, (I don't understand much French except for the help from Google translation) Serre claims (section 1.3) that

$\det(\rho(Frob_{l})) = \epsilon(Frob_{l})\omega^{k}(Frob_{l})$ for all prime $l\nmid pN$ where $N$ is defined as the level of the representation (with an explicit formula given in the paper) and $\epsilon$ is a Dirichlet character and $k$ is some positive integer.

This seems to be standard since other papers cited it without reproving and I could not find any reference for the proof. In particular, my questions are:

1) Where can I find a proof for this.

2) What exactly is $\epsilon$, in some paper, there is the claim that $\epsilon$ is the unique quadratic character mod $p$ ramified only at $p$, and I do not understand where this comes from?

3) How can one finds $k$.

For motivation, I think $\det(\rho(Frob_{l}))$ is an important invariant to compute since, for example, it appears in the attachment equation that associates these representations with modular forms.

Thanks in advance for any insight.

share|improve this question

1 Answer 1

up vote 5 down vote accepted

$\det (\rho)$ is a one dimensional rep of the absolute Galois group of the rationals, i.e., it is a character. All such characters can be described by class field theory or, more simply, by the Kronecker-Weber theorem. So is a Dirichlet character and, by the hypotheses, its conductor divides $pN$. Factor it as a character of conductor $p$ (that will be $\epsilon$) times a character of conductor $N$. The latter is a power of the cyclotomic character and $k$ is defined to be that power. The bit about quadratic character must be under additional hypotheses.

Edit: I got $p$ and $N$ switched above. The character of conductor $N$ is $\epsilon$. The character of conductor $p$ is a power of the cyclotomic character because $(\mathbb{Z}/p)^*$ is cyclic.

share|improve this answer
    
Thank you very much for the answer. Could you be more specific on why "The latter is a power of the cyclotomic character" and what (normally seen) additional hypothesis required to have $\epsilon$ as a quadratic character? Can you give a reference for what source (book?) using class field theory to describe those characters? Thanks. –  T.B. Jan 20 '11 at 0:30

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.