A quantitative Khintchine-Groshev type theorem over a field of formal series (Q2566733)

Let \(\mathbb F\) be the finite field with \(k\) elements. The field \(\mathcal L\) of Laurent series with coefficients from \(\mathbb F\) consists of expressions \(f(X)= \sum_{i=-n}^\infty a_{-i}X^{-i}\), where \(a_{-i}\in\mathbb F\) and \(a_n\neq0\) if \(f\neq0\). The non-Archimedean norm on \(\mathcal L\) is defined by \(\| f(X)\|= k^n\). The height \(\|\mathbf x\|_\infty\) of \(\mathbf x=(x_1,\dots,x_h)\in \mathcal L^h\) is \(\max\| x_i\|\). Let \(\psi:\mathbb R_+\rightarrow\mathbb R_+\) be decreasing. \textit{S. Kristensen} [Math. Proc. Camb. Philos. Soc. 135, No. 2, 255--268 (2003; Zbl 1088.11056)] proved the following theorem: For \(m\geq2\), the set of \(m\times n\) matrices \(A\) with entries from \(\mathcal L\) for which the inequality \[ \|\mathbf qA-\mathbf p\|_\infty<\psi(\|\mathbf q\|_\infty)\tag{\(*\)} \] has infinitely many solutions \(\mathbf p\in\mathbb F[X]^n\), \(\mathbf q\in \mathbb F[X]^m\setminus\{\mathbf 0\}\), is null or full (with respect to the Haar measure on \(\mathcal L^{mn}\)) according as \(\sum_{r=1}^\infty r^{m-1} \psi(r)^n\) converges or diverges. The case \(m=n=1\) had much earlier been dealt with by \textit{B. de Mathan} [Bull. Soc. Math. Fr., Suppl., Mém. 21 (1970; Zbl 0221.10037)]. The present authors give an asymptotic expression, valid for almost all \(A\), for the number of solutions to \((*)\) with \(\|\mathbf q\|_\infty\leq k^Q\). In this expression the error term is equal to the square root of the main term times a logarithmic factor.