Khintchine's theorem for affine hyperplanes in positive charateristic (Q2162777)

The author considers metric Diophantine approximation for a single linear form in for function fields in positive characteristic. Concretely, let \(\mathbb{F}_q\) denote the field with \(q\) elements, let \(\Lambda = \mathbb{F}_q[T]\), and let \(F =\mathbb{F}_q((T^{-1}))\). The latter is the completion of the field of rational functions over \(\mathbb{F}\) with respect to degree valuation. Let \(\vert \cdot \vert\) denote the norm induced by this valuation, and for \(n \in \mathbb{N}\) let \(\Vert \cdot \Vert\) denote the supremum norm on \(F^n\) induced by \(\vert \cdot \vert\). Finally, let \(a = \{\alpha_0, \alpha_1, \dots, \alpha_{n-1}\}\) and define the affine hyperplane \[ \mathcal{H} = \{(x, \tilde{x}\cdot a) : x \in F^{n-1}, \tilde{x} = (1,x)\}, \] and let \(\psi: \{q^r : r \in \mathbb{Z}_{\ge 0}\} \rightarrow \{q^r : r \in\mathbb{Z}\}\) be a non-increasing function. Consider the set \(\mathcal{W}(\psi, \mathcal{H})\) of points \(y \in \mathcal{H}\) for which there are infinitely many \((q,p) \in \Lambda^n \times \Lambda\) such that \[ \vert y\cdot q + p \vert < \psi(\Vert q \Vert). \] Suppose that for some \(\delta > 0\), for all but finitely many \(q' \in \Lambda\), \[ \max_{0 \le i \le n-1} \vert p_i + \alpha_i q'\vert > \frac{1}{\vert q' \vert^{n-\delta}}. \] Under this assumption, the author proves that the pushforward of the \((n-1)\)-dimensional Haar measure to \(\mathcal{H}\) of \(\mathcal{W}(\psi,\mathcal{H})\) is equal to zero, provided \(\sum_{q \in \Lambda^n} \psi(\Vert q \Vert) < \infty\). Subsequently, the author gives a lower bound on the Haar measure of the set of points \(x\) in an arbitrary ball \(U \in F^{n-1}\) for which \[ \vert (x, \tilde{x}\cdot a) \cdot q + p \vert \ge \kappa \psi(\Vert q \Vert), \] for all \(q \in \Lambda^n\setminus \{0\}\) and \(p \in \Lambda\) under the same assumptions, and the further assumption that \(\psi(q^r) \le q^{-rn}\). By the first result, the measure tends to the measure of \(U\) as \(\kappa\) tends to \(0\). The author obtains a lower bound depending explicitly on \(\kappa\).