Farey maps, Diophantine approximation and Bruhat-Tits tree (Q405952)

The authors of this paper study some relations in the theory the of Gauss map, i.e., the map that gives the continued fraction expansion of a given real number in \((0,1)\) to itself by \(x\mapsto \{1/x\}\), where \(\{1/x\}\) is the fractional part of \(1/x\). Let \(\mathbb{F}_{q}(t)\) be the quotient field of polynomials over the finite field \(\mathbb{F}_{q}\) of \(q\) elements, where \(q\) is a power of a prime; let \(K=\mathbb{F}_{q}((t^{-1}))\) be the completion of \(\mathbb{F}_{q}(t)\) with valuation \(\nu_{\infty}(P/Q)=-\deg P+\deg Q\) with corresponding discrete valuation ring \(\mathcal{O}\), and \(\mathbb L :=\{f \in K : |f| <1\}\). The authors prove four theorems and first of them is: Theorem 1. Let \(\mu\) be the Haar measure of \(\mathbb{F}_{q}((t^{-1}))\) normalized as \(\mu(\mathcal{O})=1\) and let \(\mu_{G}\) be the measure on \(\mathbb{L}\times \mathbb{Z}\) defined for each measurable set \(\mathbf{E}\subset\mathbb{L}\) as: \[ \mu_{G}(\mathbf{E}\times\{n\})=\begin{cases} \frac{q-1}{2q^{n}}\mu(\mathbf{E}), &\text{for }n\geq0\\ \frac{q-1}{2q^{-n-1}}\mu(\mathbf{E}),&\text{for }n<0.\end{cases} \] Then \(\mu_{G}\) is an ergodic invariant measure for the geometric Farey map \[ F=F(f,n)=\begin{cases} (tf-[tf],n+1),&\text{if }\deg(f)<-1\text{ or }n<0,\\ (\frac{1}{tf}-[\frac{1}{tf}],-(n+1)), &\text{if }\deg(f)=-1\text{ and }n\geq0. \end{cases} \] Theorem 4. For \(B\in\mathbb{F}_{q}[t]\) with \(0<|B|<|A_{k+1}|\), we have \[ |f-\frac{P_{k+1}-BP_{k}}{Q_{k+1}-BQ_{k}}|=\frac{|B|}{|Q_{k+1}|^{2}}. \] If \(U/V\in\mathbb{F}_{q}[t]\) with \(\deg(V)=\deg(Q_{k+1})\) satisfies \(|f-\frac{U}{V}|<\frac{1}{|Q_{k+1}|.|Q_{k}|}\), then \(\frac{U}{V}=\frac{P_{k+1}-BP_{k}}{Q_{k+1}-BQ_{k}}\) for some \(B\in\mathbb{F}_{q}[t]\) with \(|B|<|A_{k+1}|\).