On Hausdorff dimension in inhomogeneous Diophantine approximation over global function fields (Q6156549)

One can begin with authors' abstract: ``In this paper, we study inhomogeneous Diophantine approximation over the completion \(K_v\) of a global function field \(K\) (over a finite field) for a discrete valuation \(v\), with affine algebra \(R_v\). We obtain an effective upper bound for the Hausdorff dimension of the set \[ \mathbf{Bad}_A(\varepsilon)=\left\{\boldsymbol{\theta}\in K_v^{\,m} : \liminf_{(\mathbf{p},\mathbf{q})\in R_v^{\,m} \times R_v^{\,n}, \|\mathbf{q}\|\to \infty} \|\mathbf{q}\|^n \|A\mathbf{q}-\boldsymbol{\theta}-\mathbf{p}\|^m \geq \varepsilon \right\}, \] of \(\varepsilon\)-badly approximable targets \(\boldsymbol{\theta}\in K_v^{\,m}\) for a fixed matrix \(A\in\mathcal M_{m,n}(K_v)\), using an effective version of entropy rigidity in homogeneous dynamics for an appropriate diagonal action on the space of \(R_v\)-grids. We characterize matrices \(A\) for which \(\mathbf{Bad}_A(\varepsilon)\) has full Hausdorff dimension for some \(\varepsilon>0\) by a Diophantine condition of singularity on average. Our methods work for the approximation using weighted ultrametric distances.'' The special attention is given to explanations of techniques which are used in proofs. Theoretical backgrounds, that are related to the function field, the geometry of numbers, and Dirichlet's theorem, as well as to transference theorems with weights, are given. Several auxiliary statements are proven.