A metric theorem for restricted Diophantine approximation in positive characteristic

Simon Kristensen
2005-10-10
Abstract: We calculate the measure and Hausdorff dimension of sets of matrices over fields of formal power series with good approximation properties for a restricted set of denominators.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is, in the positive - characteristic field \(F((X^{-1}))\), for a given function \(\psi\), to study the Hausdorff dimension of the matrix set \(W_S(m,n;\psi)\) and, in some cases, its Haar measure. Specifically, the paper focuses on inequalities of the following form: \[ \|qA\| < \psi(|q|) \] where \(A\in \text{Mat}_{m\times n}(F((X^{-1})))\), \(q\in S\subseteq F[X]^m\), and \(\|\cdot\|\) represents the distance to the nearest polynomial. Here \(F((X^{-1}))\) is the field of formal Laurent series with a non - Archimedean absolute value. The author determines the Hausdorff dimension of these sets by introducing appropriate convergence indices \(v(S)\) and the infinite order \(\lambda(\psi)\) of the error function \(\psi\), and combining existing results and methods, such as Rynne's work. The main conclusions are as follows: 1. If \(n\lambda(\psi)<v(S)\), then the Haar measure of \(W_S(m,n;\psi)\) on \(\text{Mat}_{m\times n}(F((X^{-1})))\) is full. 2. If \(n\lambda(\psi)\geq v(S)\), then \[ \dim_H(W_S(m,n;\psi)) = n(m - 1)+\frac{n + v(S)}{1+\lambda(\psi)} \] In addition, the paper also generalizes Rynne's results, considers more general \(\psi\), and proves similar results. In summary, the main purpose of this paper is to determine the Hausdorff dimension of sets in a specific type of Diophantine approximation problem in the positive - characteristic field and, in some cases, to determine their Haar measure.