Welcome to MathOverflow

Question

2

Let $F$ be a number field and $E/F$ a Galois extension. Suppose we have a representation $\rho_E : Gal(\overline{F}/E) \rightarrow GL_n(\overline{Q}_p)$. My question is : what are sufficiant conditions so that $\rho_E$ can be extended to a representation $ Gal(\overline{F}/F) \rightarrow GL_n(\overline{Q}_p)$ ?

A necessary condition is that $\rho_E$ is invariant under $Gal(E/F)$. This paper (last line of page 1)

http://www.institut.math.jussieu.fr/projets/fa/bpFiles/GaloisPatching_Harris.pdf

claims that such an extension exists if moreover $\rho_E$ is irreducible and $E/F$ is cyclic of prime ordre, but I don't know why it is true.

flag	asked May 19 2011 at 9:17 Auguste Hoang Duc 238●1●1●8

What do you mean by "$\rho_E$ is invariant under $Gal(E/F)$" ? – A M May 19 2011 at 10:16

It means that : for all $\sigma \in G(\overline{{F})/F$, the representation $\rho_E^\sigma := \rho_E(\sigma \cdot \sigma^{-1})$ is isomorphic to $\rho_E$. Note that the isomorphic class of $\rho_E^\sigma$ does not depend on $\sigma \in G(E/F)$. – Auguste Hoang Duc May 19 2011 at 10:23

1

If $n=1$, this follows from the "Inflation-Restriction" sequence (see en.wikipedia.org/wiki/…) applied to $A=\overline{Q}_p^*$. For $n \geq 2$, the argument is quite likely of the same nature. – Laurent Berger May 19 2011 at 15:08

Homology · Accepted Answer · 2011-05-19 10:38:55Z UTC

Pick a $\sigma \in \Gamma_F$ such that $\sigma |_E$ generates $\mathrm{Gal}(E/F)$. There is an $A \in \mathrm{GL}_n$ such that for all $x \in \Gamma_E$, $\rho(\sigma x \sigma^{-1}) = A \rho(x) A^{-1}$, and if $q$ denotes the order of $\mathrm{Gal}(E/F)$, we get that $\rho(\sigma^q x \sigma^{-q}) = A^q \rho(x) A^{-q}$, which by irreducibility and Schur's lemma implies that $\rho(\sigma^q) A^{-q} = \lambda \mathrm{Id}$. Choose any $\mu$ such that $\mu^q = \lambda$. Then setting $\rho(\sigma)=\mu A$ is one of the $q$ ways to extend $\rho$.

How can we extend Galois representations ?

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.