The logarithmic growth of an element of the Robba ring which satisfies a Frobenius equation (Q372602)

The aim of this paper is to prove that, if a nonzero element of the Robba ring satisfies a Frobenius equation, then it has logarithmic growth of some order determined by the norm of the coefficients of the Frobenius equation. This generalizes the computation of \textit{B. Chiarellotto} and \textit{N. Tsuzuki} [J. Inst. Math. Jussieu 8, No. 3, 465--505 (2009; Zbl 1176.12006)] where the Frobenius equations are of rank 2. Let \(K\) be a complete discrete valuation field with mixed characteristic \((0,p)\). Let \(\mathcal R\) denote the ring consisting of formal Laurent series that converge on some open annulus with outer radius \(1\). Let \(\mathcal R_0\) denote the bounded Robba ring, that is the subring of formal Laurent series which take bounded values on the annulus. We use \(|\cdot|_r\) to denote the Gauss norm corresponding to the annulus of radius \(r\). Suppose that a nonzero function \(f \in \mathcal R\) satisfies a Frobenius equation \[ a_0f + a_1f^\phi + \cdots +a_nf^{\phi^n} = 0 \] with \(a_i \in \mathcal R_0\) and \(a_0\neq 0\). Here the superscript \(\phi\) means \(f^\phi(x) = f(x^p)\). Suppose that the elements \(a_i\) satisfy \(|a_1 / a_0|_1 > |a_2/a_1|_1> \cdots >|a_n/a_{n-1}|_1\). Then the author proves that \(f\) has log-growth of some exact order \(\alpha\), in the sense that \[ |f|_r = O(\log^{-\alpha}(r^{-1})) \] for \(r\) sufficiently close to \(1^-\). Moreover, the author shows that \(\alpha\) equals to \(\log_p|a_{i+1}/a_i|_1\) for some \(i\). The proof is based on a carefully study of the Newton polygon as well as the \(|\cdot|_r\)-norm of \(f^{\phi^k}\)'s.