Is there a "trianguline period ring", or is one expected? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T08:04:08Z http://mathoverflow.net/feeds/question/70262 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70262/is-there-a-trianguline-period-ring-or-is-one-expected Is there a "trianguline period ring", or is one expected? David Hansen 2011-07-13T21:08:25Z 2011-07-14T06:45:05Z <p>Consider a finite-dimensional <code>$\mathbf{Q}_p$</code>-vector space $V$ and a continuous representation $\rho : G_{\mathbf{Q}_p} \to \mathrm{GL}(V)$. Fontaine introduced various <code>$\mathbf{Q}_p$</code>-algebras with <code>$G_{\mathbf{Q}_p}$</code>-actions, notated <code>$B_{\bullet}$</code> where <code>$\bullet \in \left\{\mathrm{crys}, \mathrm{st}, \mathrm{dR}\dots \right\}$</code>, which "classify" interesting representations $V$; we say $V$ is $\bullet$ if equality holds in the relation <code>$\mathrm{dim}(B_{\bullet} \otimes V)^{G_{\mathbf{Q}_p}} \leq \dim{V}$</code>.</p> <p>Recently, the notion of a "trianguline" Galois representation has become increasingly important. Avoiding the precise definition, I will say rather perversely that the trianguline representations are roughly the closure of the crystalline locus in the set of all $\rho$'s as above (made precise, this is a theorem of Chenevier which is of course predicated on the actual definition of trianguline). So my question: <em>is there a ring of periods <code>$B_{\mathrm{tri}}$</code> which classifies trianguline representations in the above manner, and/or is such a ring expected to exist?</em> Is/should it be a suitable "completion" of <code>$B_{\mathrm{crys}}$</code>?</p> http://mathoverflow.net/questions/70262/is-there-a-trianguline-period-ring-or-is-one-expected/70299#70299 Answer by Laurent Berger for Is there a "trianguline period ring", or is one expected? Laurent Berger 2011-07-14T06:45:05Z 2011-07-14T06:45:05Z <p>The category of trianguline representation is stable under all the usual representation-theoretic operations (subs, quotients, $\oplus$, $\otimes$), so by some general tannakian formalism, there does exist a ring $B_{tri}$. The rough idea is to look at $Q_p^{alg} \otimes B_{st} \langle \langle \log(t) \rangle \rangle$ where "$\langle \langle \log(t) \rangle \rangle$" means "power series with some non zero radius of convergence" and $t$ is the usual $t$ in this business. It's interesting to note that I first heard about this ring from Fontaine (around 2003-04 maybe - I was still at Harvard) when trianguline representations had not yet been defined. Fontaine told me at the time that repns admissible for this ring should be interesting! A few comments are in order: </p> <ul> <li>$B_{st}$ does not have the structure of a Banach space, so you need to figure out what "radius of convergence" means</li> <li>$\exp(\log(t))=t$, so there are relations in the definition of your ring</li> <li>you need to decide if you want a ring for "trianguline" or "split-trianguline" repns</li> </ul> <p>I thought about this again a few weeks ago and, if I remember correctly, came to the conclusion that if you take $B = Q_p(\mu_p) \otimes \hat{Q}_p^{nr} \otimes B_e \otimes Q_p \langle \langle \log(t) \rangle \rangle \otimes Q_p[\log(\tilde{p})]$ (whew!), where $B_e=B_{cris}^{\phi=1}$, then $B$-adm reps of $G_{Q_p}$ are trianguline, and conversely split trianguline reps of $G_{Q_p}$ with integer slopes are $B$-adm. This hopefully gives an idea of the kind of ring which one should be looking for.</p>