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

From MaRDI portal
Publication:2566733



Abstract: An asymptotic formula which holds almost everywhere is obtained for the number of solutions to the Diophantine inequalities |qA-p|<psi(|q|), where A is an n by m matrix (m>1) over the field of formal Laurent series with coefficients from a finite field, and p and q are vectors of polynomials over the same finite field.


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.











This page was built for publication: A quantitative Khintchine-Groshev type theorem over a field of formal series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2566733)