One dimensional (phi,Gamma)-modules in char p

Question

I would like to better understand the simplest case of the correspondence between Galois representations and (phi,Gamma)-modules. Namely, consider 1-dimensional Galois representations of $G_{Q_p}$ over $F_p$ which are in correspondence with 1-dimensional etale (phi,Gamma)-modules over $F_p((T))$.

There are finitely many such Galois representations. Moreover, their associated (phi,Gamma)-modules are very simple -- the action of phi and Gamma can be described (on some basis element) as scaling by an element of $F_p$ (as opposed to $F_p((T))$).

My question: can one see this directly on the (phi,Gamma)-module side? That is, given a 1-dimensional etale (phi,Gamma)-module $D$ over $F_p((T))$, find a $D'$ isomorphic $D$ such that $D'$ has a basis in which the matrices for phi and elements of Gamma are in $F_p^\times$.

Answer 1

OK...I think I see how to do this now. In the end, I am seeing $(p-1)^2$ distinct $(\phi,\Gamma)$-modules which matches well with the Galois side.

To do this, let $D$ be any 1-dimensional etale $(\phi,\Gamma)$-module. Let $e$ be a basis, and set $\phi(e)=h(T)e$ with $h(T) \in F_p((T))^\times$. Write $h(T) = h_0 T^a f(T)$ with $h_0 \in F_p^\times$ and $f(T) \in F_p[[T]]$ with $f(0)=1$.

Changing basis from $e$ to $u(T)e$ with $u(T) \in F_p((T))^\times$ gives $$ \phi(u(T)e) = u(T^p)h(T)e = \frac{u(T^p)}{u(T)} h(T) (u(T)e). $$ I claim one can find $u(T)$ such that $u(T)/u(T^p)$ equals any element of $1+TF_p[[T]]$. Indeed, for such an element $g(T)$, the infinite product $\prod_{j=1}^\infty \phi^j(g(T))$ (which hopefully converges since $g(0)=1$) works.

Thus, we can change basis so that $\phi$ has the form $\phi(e) = h_0 T^a e$ -- i.e. we can kill off the $f(T)$ term. Further, by making a change of basis of the form $e$ goes to $T^b e$, we may assume that $0 \leq a < p-1$.

Now, we use the fact that the $\phi$ and $\Gamma$ actions commute (which is a strong condition even in dimension 1). Namely, let $\gamma$ be a generator of $\Gamma$, and set $\gamma e = g(T) e$. Then $\gamma \phi e = \phi \gamma e$ implies $$ ((1+T)^{\chi(\gamma)}-1)^a g(T) = g(T^p) T^a. $$ Comparing leading coefficients, we see this is only possible if $a=0$ and $g(T)$ is a constant.

Thus, $D$ has a basis $e$ so that $\phi(e) = h_0 e$ and $\gamma(e) = g_0 e$ with $h_0,g_0 \in F_p^\times$ as desired.

Does this look okay? Any takers for the 2-dimensional case?

Answer 2

The correspondence requires the $(\phi,\Gamma)$-module to have the \'etale property for its underlying $\phi$-module, and this plays an essential role in the proof of the correspondence (see Fontaine's original articles, or the CMI summer school lecture notes on $p$-adic Hodge theory, for example). So I assume you mean to impose the \'etale property. But even for the trivial representation (of dimension 1) the actions of $\phi$ and $\Gamma$ are more complicated than $\mathbf{F}_p^{\times}$-scalings relative to a suitable basis. Do you mean to ask why in a suitable basis the $(\phi,\Gamma)$-modules associated to powers of the mod $p$ cyclotomic character are related to the case of the trivial character by a "Tate twist" on the $(\phi, \Gamma)$-module side? If so, see Example 13.6.6 in the CMI summer school lecture notes (which handles $\mathbf{Z} _p(r)$ more generally, for any $p$-adic field $K$, and can pass to mod $p$ version there in the same way to get to the case you ask about).

Looking back at the current draft of the notes, I now see a typo in the notes there (I think $\chi^t$ at the end should be $\chi^r$). I'd better fix it for the final draft, so thanks for asking the question, Rob!

Answer 3

Hey Rob! You may want to take a look at Colmez's "Représentations triangulines de dimension 2" (here). He's working with (φ, Γ)-modules over Q_p (by which I mean the Robba ring of Q_p) not F_p((T)) though. But he shows that every one-dimensional (φ, Γ)-module over Q_p is given by a p-adic character δ of $\mathbf{Q}_p^\times$ with the action of φ on a basis vector given by δ(p) and the action of $\gamma\in\Gamma$ given by $\delta(\chi(\gamma))$ (with $\chi$ the $p$-adic cyclotomic character). See section 2 and proposition 3.1 in particular of Colmez's paper (in which he also describes the $H^1$'s of these one-dimensional $(\phi,\Gamma)$-modules).

EDIT: looking at Colmez's paper, it looks like the way that he knows that this is all one-dimensional $(\phi,\Gamma)$-modules is by using the equivalence of catgeories with Galois representations, so I guess this doesn't really answer your question as it doesn't address the $(\phi,\Gamma)$-modules intrinsically.