Let $\mathcal{R}$ be the Robba ring and $\mathcal{E}^{\dagger}$ the elements of $\mathcal{R}$ that are bounded at 0 (so the coefficients of the powerseries are bounded. Is it true that $x, y\in \mathcal{R}$, $z\in (\mathcal{E}^\dagger)^*$ with $x\cdot y= z$ implies $x,y\in (\mathcal{E}^\dagger)^*$?

If not, is it then true that $x\in \mathcal{R}$, $ y, z\in (\mathcal{E}^\dagger)^*$ with $x\cdot y= z$ implies $x\in (\mathcal{E}^\dagger)^*$?

This kind of seems to be implied in some of the papers of Colmez about $(\varphi, \Gamma)$-modules, for example here https://webusers.imj-prg.fr/~pierre.colmez/triangulines in Proposition 4.2, but I might be mistaken and some other argument is implicitly used.

  • $\begingroup$ I think it is you who have written a thesis about the robba ring over a $p$-adic field. I have read it and I have learned many things from it. $\endgroup$ – Ang Nov 18 '19 at 16:04
  • $\begingroup$ Thanks, that is nice to hear. I am glad you found it helpful :-) $\endgroup$ – Quentchen Nov 20 '19 at 10:11
  • $\begingroup$ Have you known how to prove your lemma 5.26? In your remark, you said that Colmez gave an alternative proof with the use of an equivance of categories, but when I see Colmez's paper which you refered to, I find it is short and not detailed... $\endgroup$ – Ang Nov 20 '19 at 10:16

Yes, both statements are true. Note also that $\mathcal{E}^\dagger$ is a field. The simplest way to see this would be to use the fact that if you work over a fixed annulus $A = \{ z, r \leq |z| < 1\}$, then an analytic function on $A$ is bounded if and only if it has finitely many zeroes. You can prove this using the theory of Newton polygons. This now implies your first claim, as well as the fact that $\mathcal{E}^\dagger$ is a field.

| cite | improve this answer | |
  • $\begingroup$ Thank you, I will have a look into the theory of Newton polygons. $\endgroup$ – Quentchen Nov 7 '17 at 10:13
  • $\begingroup$ How to use the boundedness of the analytic function $f$ if we consider the Newton polygons associated to $f$? Thanks! $\endgroup$ – Ang Nov 21 '19 at 13:29
  • $\begingroup$ I happened to find this in your course notes IHP which is exactly corollory 3.3 just now... $\endgroup$ – Ang Nov 21 '19 at 14:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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