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

Let $K$, $L$ be finite extensions of the $p$-adic numbers. Suppose $\chi:G_K\rightarrow L^{\times}$ is crystalline. It is my understanding that if either $K$ or $L=\mathbb{Q}_p$, then $\chi$ must be a Tate twist of an unramified character. Is there a classification of crystalline characters in general?

share|improve this question

3 Answers 3

up vote 12 down vote accepted

Hi Kevin,

  1. Go to http://math.stanford.edu/~conrad/
  2. Download "Grunwald--Wang for global character groups"
  3. Read appendix A, especially prop A.3

The answer (note that $K$ and $L$ are switched in Brian's paper) is that once you've identified your character as a character of $K^\times$ via local class field theory, it should be "algebraic" on $O_K^\times$.

share|improve this answer
    
Aha, so the situation is completely analogous to the Hodge-Tate case. Thank you for the reference! –  Kevin Ventullo Apr 17 '11 at 19:21
2  
Update: The relevant statements are now in Appendix B of "Lifting global representations with local properties." –  Kevin Ventullo May 13 '11 at 6:09

[EDIT: I misunderstood the question -- I thought the poster wanted to know why all crystalline characters are unramified twists of powers of cyclotomic when $L$ or $K$ is $\mathbb{Q}_p$, and wrote out a detailed proof. I realise now that the poster already knew this but wanted to understand the classification in the general case. I thought I'd leave this post here anyway in case anyone finds it useful.]

Step 1: Consider the space $\mathbb{D}_{\mathrm{dR}}(\chi)$. This is a free rank 1 module over $K \otimes_{\mathbb{Q}_p} L$, and the steps in the Hodge filtration are $K \otimes_{\mathbb{Q}_p} L$-submodules. By assumption, $K \otimes_{\mathbb{Q}_p} L$ is a field, there is only one Hodge-Tate weight. By twisting by a power of the cyclotomic character, we can assume without loss of generality that the Hodge-Tate weight is 0.

Step 2: Now consider the space $\mathbb{D}_{\mathrm{cris}}(\chi)$. This is a free rank 1 module over $L K_0$, with a Frobenius that is L-linear and $K_0$-semilinear. (Here $K_0$ is the maximal unramified subfield of $K$). If $[K_0 : K] = d$, then $\varphi^d$ is linear, so acts as multiplication by a scalar $\mu \in L$.

Step 3: Consider the unramified character $G_{K_0} \to L$ mapping geometric Frobenius to $\mu^{-1}$. Tensoring with this character, we may assume that $\mu = 1$.

Step 4: Now choose a basis of $\mathbb{D}_{\mathrm{cris}}(\chi)$ over $LK_0$, and suppose that (with respect to this basis) $\varphi$ acts as multiplication by $\alpha$. The condition that $\varphi^d = 1$ translates to $\alpha \varphi(\alpha) \dots \varphi^{d-1}(\alpha) = 1$. If $K = \mathbb{Q}_p$, then this is just $\alpha = 1$. If $K \ne \mathbb{Q}_p$, then $L = \mathbb{Q}_p$, and $\alpha \in K_0^\times$ satisfies $N_{K_0 / \mathbb{Q}_p} \alpha = 1$. Hence $\alpha = \varphi(x) / x$ for some $x \in K_0^\times$, by Hilbert 90; and after changing basis by $x$ we again have $\alpha = 1$.

So we've shown that $\mathbb{D}_{\mathrm{cris}}(\chi)$ is isomorphic (as a filtered $\varphi$-module) to $\mathbb{D}_{\mathrm{cris}}$ of the trivial character, i.e. $\chi$ is trivial (and hence crystalline!). QED.

share|improve this answer

By definition, any homomorphism from $G_K$ to an abelian group factorizes through $Gal(K^{ab}/K)$; by the local class field theory the latter group is the completion of $K^\times$. Hence it suffices to calculate $Hom (\overline{K^\times},L^\times)$. Lastly, one can note that up to torsion $K^\times\cong \mathbb{Z}_p^{[K:\mathbb{Q}_p]+1}$ and $L^\times\cong \mathbb{Z}_p^{[L:\mathbb{Q}_p]}\bigoplus \mathbb{Z}$ (via the corresponding logarithms).

share|improve this answer
    
It's not quite obvious (to me) from what you've written how this answers the question: which elements of this hom space correspond to crystalline characters? –  David Loeffler Apr 17 '11 at 8:33
    
(Also, I think you mean $\overline{K^\times} = \mathbb{Z}_p^{[K : \mathbb{Q}_p]} \oplus \overline{\mathbb{Z}}$, where the bar denotes profinite completion.) –  David Loeffler Apr 17 '11 at 9:43
    
Yes, you are right. –  Mikhail Bondarko Apr 17 '11 at 13:51

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.