Inhomogeneous Diophantine approximation over the field of formal Laurent series (Q2426463)

The field of formal power series offers a natural setting for analogues of other areas of mathematics, such as the real numbers and number theory. In particular, analogues of results in the metrical theory of Diophantine approximation have been proved in this setting. \textit{B. de Mathan} obtained results for uniform distribution, continued fractions and Khintchine's theorem [``Approximations diophantiennes dans un corps local'', Bull. Soc. Math. Fr. Suppl. Mém. 21 (1970; Zbl 0221.10037)], while the Jarník-Besicovitch theorem was proved by \textit{S. Kristensen} for the more general systems of linear forms [Math. Proc. Camb. Philos. Soc. 135, No. 2, 255--268 (2003; Zbl 1088.11056)]. These results are homogeneous. The authors consider formal power series analogues of the `doubly' metric inhomogeneous versions of Khintchine's theorem and the Jarník-Besicovitch theorem. Ubiquitous systems are used and the methods have been adapted from Simon Kristensen's paper cited above. It should be possible to obtain a quantitative version of the formal power series analogue of the inhomogeneous form Khintchine's theorem, on the lines of [\textit{M.~M.~Dodson, S.~Kristensen} and \textit{J.~Levesley}, Indag. Math., New Ser. 16, No. 2, 171--177 (2005; Zbl 1089.11039)]. The `singly' metric case would be harder but the more general `singly' metric classical result holds [\textit{J.~Levesley}, J. Number Theory 71, No. 1, 65--80 (1998; Zbl 0917.11036)]. Some important recent advances in metrical Diophantine approximation are relevant. First, it has been shown under mild restrictions satisfied in this context, that ubiquity implies Khintchine's theorem and Jarník's theorem, the Hausdorff measure extension of the Jarník-Besicovich theorem [\textit{V. Beresnevich, D. Dickinson} and \textit{S. Velani}, ``Measure theoretic laws for limsup sets'', Mem. Am. Math. Soc. 846 (2006; Zbl 1129.11031)]. Further, the remarkable paper [\textit{V. Beresnevich} and \textit{S. Velani}, Ann. Math. (2) 164, No. 3, 971--992 (2006; Zbl 1148.11033)], establishes a mass transference principle that implies the equivalence of Lebesgue and Hausdorff measure of a wide class of limsup sets. These results allow significant simplifications and generalisations of the authors' paper. In particular the formal power series analogue of the inhomogeneous form of Jarník's theorem could be obtained.