## Mod l local Galois representations (l different from p)

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

My question is referred to the statement and proof of Prop. 2.4 of Diamond's article "An extension of Wiles' Results", in Modular Forms and Fermat Last Theorem, page 479.

More precisely: fix $l$ and $p$ two distinct primes, with $l$ odd. Let $\sigma$ be an irreducible, continuous, degree 2 representation of the absolute Galois group $G_{p}$ of $Q_{p}$, with coefficients in $k$, an algebraic closure of the finite field with $l$ elements. Proposition 2.4 states that if the restriction of $\sigma$ to the inertia subgroup of $G_{p}$ is irreducible and $p$ is odd, then $\sigma$ is isomorphic to the representation induced from a character of the Galois group of a quadratic ramified extension $M$ of $Q_{p}$. The proof given works if the restriction of $\sigma$ to the wild inertia of $G_{p}$ is reducible (I think there's a typo in the first line of the proof). What if $\sigma$ is irreducible on wild inertia (and $p$ is always odd)? It seems to me that this case is not covered in the proof of the Proposition, but maybe I'm not seeing something obvious.. If such a representation exists, it cannot be induced from a quadratic extension $M$ as above, so how does it fit in the description given by the Proposition? Can one say something about such a representation (for example something about its projective image?).

Thanks

-

## 1 Answer

The image of wild inertia is a finite $p$-group, and if $d$ is the degree of an irreducible representation of a $p$-group over an algebraically closed field of characteristic $\ne p$, then $d$ is a power of $p$. So for $p$ odd the image of wild inertia is always reducible.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9306147694587708, "perplexity_flag": "head"}