Welcome to MathOverflow

Question

5

3

Let $\rho_p : \mbox{Gal}(\overline{\mathbb{Q}}_p / {\mathbb{Q}_p}) \to \mbox{GL}_n(\mathbb{Q}_p)$ be a de Rham $p$-adic representation. Can one find a representation $\rho : \mbox{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \mbox{GL}_n(\mathbb{Q}_p)$ such that $\rho$ is geometric (in the sense of Fontaine-Mazur) and such that the restriction of $\rho$ to $\mbox{Gal}(\overline{\mathbb{Q}}_p / {\mathbb{Q}_p})$ is $\rho_p$ ?

edited Oct 12 2010 at 20:07

asked Oct 12 2010 at 20:02

A M
305●2●8

Lavender Honey · Accepted Answer · 2010-10-12 20:18:20Z UTC

5

No. There are uncountably many unramified representations from the local Galois group to $\mathbb{Q}^{\times}_p$, since Frobenius can be sent to anything in $\mathbb{Z}^{\times}_p$. However, there are only countably many global representations of this form, since, by class field theory, they all factor through the Galois group of a (finite) cyclotomic field.

The general picture is pretty much the same --- the local Galois representations form large $p$-adic analytic families, yet, assuming the Fontaine-Mazur conjecture, there are only countably many geometric representations.

answered Oct 12 2010 at 20:18

Lavender Honey
6,024●30●69

2

We can also see this in another way, bypassing cardinality arguments, as follows. For a number field $K$ and a (continuous) character $G_K \rightarrow \overline{\mathbf{Q}}_p^{\times}$ ramified at only finitely many places, the image on inertia at the places away from $p$ is finite. So if unramified at all places dividing $p$ then must have finite image (since inertia subgroups of $G_K^{\rm{ab}}$ at the non-archimedean places topologically generate a finite-index subgroup, due to finiteness of class groups). So that gives a "concrete" obstruction to globalizing. – BCnrd Oct 12 2010 at 20:35

1

Six of one, half a dozen of the other. Your argument, however, seems more complicated in the general case --- it says that if $\rho$ is crystalline, the one can recover the char poly of crystalline Frobenius, and its roots should be Weil numbers (by Fontaine-Mazur + purity). I guess that does give a "concrete" obstruction as well, assuming "motivic" rather than "geometric". – Lavender Honey Oct 12 2010 at 21:10

1

Dear Boris the Orange: Sure, I agree it's pretty much the same argument. I was mainly just commenting that we can relax the coefficients to be $\overline{\mathbf{Q}}_p$ and use any number field without harming the argument. I don't know what AM's background is, so it seemed worthwhile to point that out. – BCnrd Oct 12 2010 at 22:34

2

Dear Boris the Orange, The "Weil number argument", although only a pseudo-argument (in that it requires motivic rather than just geometric), is still interesting, I think, since it shows that the local analogue of Fontaine--Mazur is false (and so adds to the mystery of the --- presumably correct global (i.e. actual) FM conjecture). On the other hand, your cardinality argument also sheds important light on the situation. (And, since A M presumably knows the characterization of e.g. crystalline representations in terms of weakly admissible filtered $\varphi$-modules, it's easy for them to ... – Emerton Oct 13 2010 at 0:48

... see analytic families of local crystalline Galois reps. just by varying the data on the filtered $\varphi$-module side.) (Easier than by deformation theory, I mean.) – Emerton Oct 13 2010 at 0:49

local to global Galois representation

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.