How can we extend Galois representations ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T14:34:37Z http://mathoverflow.net/feeds/question/65411 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/65411/how-can-we-extend-galois-representations How can we extend Galois representations ? Auguste Hoang Duc 2011-05-19T09:17:55Z 2011-05-19T10:38:55Z <p>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)$ ?</p> <p>A necessary condition is that $\rho_E$ is invariant under $Gal(E/F)$. This paper (last line of page 1)</p> <p><a href="http://www.institut.math.jussieu.fr/projets/fa/bpFiles/GaloisPatching_Harris.pdf" rel="nofollow">http://www.institut.math.jussieu.fr/projets/fa/bpFiles/GaloisPatching_Harris.pdf</a></p> <p>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. </p> http://mathoverflow.net/questions/65411/how-can-we-extend-galois-representations/65416#65416 Answer by Homology for How can we extend Galois representations ? Homology 2011-05-19T10:38:55Z 2011-05-19T10:38:55Z <p>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$.</p>