semisimplicity of p-adic Galois representations - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T16:59:58Z http://mathoverflow.net/feeds/question/64833 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/64833/semisimplicity-of-p-adic-galois-representations semisimplicity of p-adic Galois representations A. Pacetti 2011-05-12T20:17:08Z 2011-05-13T16:03:56Z <p>Is it true that all continuous finite dimensional $p$-adic representations of $Gal(\bar{K}/K)$ are semisimple, where $K$ is a number field, i.e. if $\rho:Gal(\bar{K}/K) \mapsto GL_n(\bar{\mathbb{Q}}_p)$ is a continuous representation, where $K$ is a number field (even $\mathbb{Q}$ if you want), is it semisimple?</p> <p>Replacing $\mathbb{Q}_p$ with $\mathbb{C}$, the result is indeed true, using the existence of an invariant Haar measure over the complex numbers. So the natural question (related) is if it exists a $\mathbb{Q}_p$-valued Haar measure in a compact group? Of course some conditions must be removed from the classical formulation (for example it does not make sence to ask that if $f$ is a positive continuous function, then its integral is positive), but the existence of a non-trivial invariant measure such that the volume of the group is 1 should be enough. Any reference is welcome as well</p> http://mathoverflow.net/questions/64833/semisimplicity-of-p-adic-galois-representations/64840#64840 Answer by David Loeffler for semisimplicity of p-adic Galois representations David Loeffler 2011-05-12T21:30:53Z 2011-05-13T11:12:01Z <p>This can't possibly work. Many p-adic Galois representations are not semisimple. For instance, $\mathbb{Z}_p$ occurs as a quotient of the Galois group of $\mathbb{Q}$ (as the Galois group of the cyclotomic $\mathbb{Z}_p$-extension) and there are non-semisimple $\mathbb{Q}_p$-representations of $\mathbb{Z}_p$, e.g. the map sending $x \in \mathbb{Z}_p$ to <code>$\begin{pmatrix} 1 &amp; x \\ 0 &amp; 1\end{pmatrix}$</code>. (This is pretty fortunate, since otherwise all Galois cohomology groups would be forced to be trivial.)</p> <p>As for Haar measure: what would be a $\mathbb{Q}_p$-valued Haar measure on $\mathbb{Z}_p$? It would have to give $p^n \mathbb{Z}_p$ measure $1/p^n$, but these are getting large rather than small p-adically; so you couldn't sensibly integrate continuous $\mathbb{Q}_p$-valued functions against such a measure - the "Riemann sums" would not converge. The lack of anything resembling Haar measure is one of the reasons why p-adic analysis has a very different flavour from real analysis.</p> <p>EDIT: As some other posters have pointed out, it's possible to define a nice $\mathbb{Q}_p$-valued, and even $\mathbb{Q}$-valued, measure on a suitably nice class of sets of $\mathbb{Z}_p$; e.g. you can clearly do this for open compact subsets. This then gives you a linear functional on locally constant functions (analogous to the step functions used in measure theory over $\mathbb{R}$). But this won't extend to a linear functional on continuous $\mathbb{Q}_p$-valued functions, for the reasons I sketched above, and so it doesn't imply anything about semisimplicity of continuous representations.</p> http://mathoverflow.net/questions/64833/semisimplicity-of-p-adic-galois-representations/64842#64842 Answer by Ramsey for semisimplicity of p-adic Galois representations Ramsey 2011-05-12T21:40:21Z 2011-05-12T21:40:21Z <p>Regarding the natural related question: looking for a $p$-adic valued Haar measure on $p$-adic stuff is generally doomed to failure. The problem is that small sets tend to have large $p$-power index and hence large $p$-adic measure. To see this explicitly in the simplest case, look at the description of the ring of distributions on $\mathbb{Z}_p$ given by Amice in terms of power series. Using this description, it's easy to verify that there is no nontrivial translation-invariant $p$-adic valued distribution on $\mathbb{Z}_p$. </p> http://mathoverflow.net/questions/64833/semisimplicity-of-p-adic-galois-representations/64861#64861 Answer by Emerton for semisimplicity of p-adic Galois representations Emerton 2011-05-13T03:04:57Z 2011-05-13T03:10:52Z <p>A remark on the (lack of) $p$-adic valued Haar measure: there can exist topologically irreducible continuous representations of pro-$p$ groups (e.g. $GL_n(\mathbb Z_p)$ on infinite-dimensional $p$-adic Banach spaces. This is pretty strong evidence that there is no simple analogue of Haar measure in the $p$-adic situation. (Remember that the existence of Haar measure means that this is impossible for representations of compact groups on real or complex spaces: topologically irreducible representations are necessarily finite-dimensional.)</p> <p>Another remark, on semi-simplicity: It is conjectured that the representations of the absolute Galois group $G_K$ of $K$ occuring on the $p$-adic etale cohomology of a smooth proper variety over a number field $K$ is semi-simple. (This is a part of the so-called Tate conjecture.) As far as I know, this is very wide open other than in the abelian variety case (and hence in the case of $H^1$ in general, since $H^1$ can always be thought of as the $H^1$ of the Albanese). As far as I know, there is no general representation-theoretic argument of the type you envisage which would prove it; it is something deep and special about the particular representations appearing in etale cohomology.</p> http://mathoverflow.net/questions/64833/semisimplicity-of-p-adic-galois-representations/64869#64869 Answer by JGordon for semisimplicity of p-adic Galois representations JGordon 2011-05-13T04:51:30Z 2011-05-13T16:03:56Z <p>Well, actually, the "motivic Haar measure" LSpice refers to is an analogue of Haar measure that lives on ${\operatorname{GL}}_n({\mathbb C}((t)))$, not on ${\operatorname{GL}}_n({\mathbb Q}_p)$, and takes values in the Grothendieck ring of varieties, so I think it's not quite relevant here. What is closer to this discussion though is the fact that the usual Haar mesaure on ${\operatorname{GL}}_n({\mathbb Q}_p)$ if it's reasonably normalized (e.g. so that the volume of ${\operatorname{GL}}_n({\mathbb Z}_p)$<br> is $1$), actually takes values in $\mathbb Q$ on all reasonable sets that you ever want to consider. More precisely, one can define a sigma-algebra of the so-called "definable sets", and the volumes of definable sets just are in $\mathbb Q$. In this sense they are in $\mathbb Q_p$ already, so the trick is that for these sets you do not need any completion of $\mathbb Q$ in order to define their volumes, and so you do not need to worry about using the $p$-adic metric... Most sets one works with turn out to be automatically definable, so this fact may be handy in some other situation. </p> <p>Added some hours later: It was my first post on mathoverflow, and I am still not allowed to add comments to others' posts :) -- so this should be a comment to the comment by LSpice that appears in Emerton's post. Talking about measure on $\operatorname{GL}_n(\overline{{\mathbb Q}_p})$, there is a paper by E.Hrushovski and D. Kazhdan <a href="http://arxiv.org/abs/math/0510133" rel="nofollow">http://arxiv.org/abs/math/0510133</a> that talks about integration in algebraically closed valued fields (using logic). As a first approximation, as far as I understand, the values of this measure are something like equivalence classes of definable sets over the residue field (I am certainly being imprecise here). There are several papers by Yimu Yin (the ones to start with are <a href="http://arxiv.org/abs/0809.0473" rel="nofollow">http://arxiv.org/abs/0809.0473</a>, and <a href="http://arxiv.org/abs/1006.2467" rel="nofollow">http://arxiv.org/abs/1006.2467</a>) aimed at clarifying this fundamental work of Hrushovski and Kazhdan in a slightly simplified setting. Unfortunately, I do not know of any non-technical introductory paper about this. There is a short note by Moshe Kamenski <a href="http://www.nd.edu/~mkamensk/lectures/motivic.pdf" rel="nofollow">http://www.nd.edu/~mkamensk/lectures/motivic.pdf</a> -- maybe this is the best place to start. Also, I hope someone corrects me here if I made any errors in this description. </p>