On Schneider's continued fraction map on a complete non-Archimedean field (Q2125409)

The present paper deals with Schneider's continued fraction map and its entropy. One can note the following description of this research: ``Let \({\mathcal{M}}\) denote the maximal ideal of the ring of integers of a non-Archimedean field \(K\) with residue class field \(k\) whose invertible elements, we denote \(k^{\times}\), and a uniformizer we denote \(\pi \). In this paper, we consider the map \(T_v: {\mathcal{M}} \rightarrow{\mathcal{M}}\) defined by \[ T_v(x) = \frac{\pi^{v(x)}}{x} - b(x), \] where \(b(x)\) denotes the equivalence class to which \(\frac{\pi^{v(x)}}{x}\) belongs in \(k^{\times}\). We show that \(T_v\) preserves Haar measure \(\mu\) on the compact abelian topological group \({\mathcal{M}} \). Let \({\mathcal{B}}\) denote the Haar \(\sigma \)-algebra on \({\mathcal{M}} \). We show the natural extension of the dynamical system \(({\mathcal{M}}, {\mathcal{B}}, \mu, T_v)\) is Bernoulli and has entropy \(\frac{\#( k)}{\#( k^{\times})}\log (\#( k))\). The first of these two properties is used to study the average behaviour of the convergents arising from \(T_v\). Here for a finite set \(A\) its cardinality has been denoted by \(\# (A)\). In the case \(K = {\mathbb{Q}}_p\), i.e. the field of \(p\)-adic numbers, the map \(T_v\) reduces to the well-studied continued fraction map due to \textit{Th. Schneider} [in: Sympos. Math., Roma 4, Teoria Numeri, Dic. 1968, e Algebra, Marzo 1969, 181--189 (1970; Zbl 0222.10035)].'' Special attention is given to topological fields. The notion of non-Archimedean fields is explained. The field of \(p\)-adic numbers and the field of formal Laurent series in finite characteristic are considered. It is noted that only two types of non-Archimedean local fields there are finite extensions of the field of \(p\)-adic numbers for some rational prime \(p\) and the field of formal Laurent series over a finite field. Auxiliary references are given. The notions of Schneider's continued fraction map and Schneider's continued fraction expansions are explained. The measure-theoretic entropy is considered. Some applications of Schneider's continued fractions are described.