10
$\begingroup$

This question is about p-adic representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_p / \mathbb{Q}_p)$ and $(\varphi, \Gamma)$-modules. By theorems of Fontaine, Cherbonnier-Colmez and Kedlaya, the category of p-adic representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_p / \mathbb{Q}_p)$ is equivalent to each of the following three categories:

  • etale $(\varphi, \Gamma)$-modules over Fontaine's ring $\mathbb{B}_{\mathbb{Q}_p}$
  • etale $(\varphi, \Gamma)$-modules over the subring $\mathbb{B}^{\dagger}_{\mathbb{Q}_p}$
  • slope zero $(\varphi, \Gamma)$-modules over the Robba ring $\mathcal{R}$ (also known as $\mathbb{B}^{\dagger}_{\mathrm{rig}, \mathbb{Q}_p}$).

It's well known that slope 0 $(\varphi, \Gamma)$-modules over the Robba ring can sometimes be written as extensions of other Robba-ring $(\varphi, \Gamma)$-modules which are not themselves of slope 0. (Indeed there is the whole rich theory of trianguline representations, whose Robba-ring $(\varphi, \Gamma)$-modules are built up entirely from rank 1 pieces.)

My question: does this happen for either of the other two categories of $(\varphi, \Gamma)$-modules? Can one have a short exact sequence of $(\varphi, \Gamma)$-modules over $\mathbb{B}_{\mathbb{Q}_p}$ or $\mathbb{B}^{\dagger}_{\mathbb{Q}_p}$ where the middle term is etale but the two end terms are not?

$\endgroup$
4
  • $\begingroup$ The last category is closed under extensions. What you mean is something different, isn't it? $\endgroup$ Oct 24, 2010 at 11:14
  • $\begingroup$ Sorry, I phrased that badly -- I will correct it. $\endgroup$ Oct 24, 2010 at 11:24
  • $\begingroup$ Sorry if this is a naive question: when you say "p-adic representation" do you mean continuous with no other conditions? $\endgroup$
    – S. Carnahan
    Oct 24, 2010 at 11:38
  • 2
    $\begingroup$ @Scott: I'm pretty sure he does (phi-gammas see everything: see Fontaine's paper in the Grothendieck Festschrift). $\endgroup$ Oct 24, 2010 at 11:39

1 Answer 1

9
$\begingroup$

In the first two cases, the slopes of $\varphi$-modules are given by the "standard" Dieudonné-Manin decomposition. In particular, subobjects of étale objects are étale.

For more info, see (for example) chapter 4.5 of Kedlaya's "Slope Filtrations Revisited".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.