### References & Citations

# Mathematics > Number Theory

# Title: Inhomogeneous Diophantine approximation for generic homogeneous functions

(Submitted on 3 May 2022 (v1), last revised 29 Aug 2022 (this version, v2))

Abstract: The present paper is a sequel to [Monatsh.~Math.\ {\bf 194} (2021), 523--554] in which results of that paper are generalized so that they hold in the setting of inhomogeneous Diophantine approximation. Given any integers $n \geq 2$ and $\ell \geq 1$, any ${\pmb \xi} = \left(\xi_1, \dots , \xi_\ell \right) \in \mathbb{R}^\ell$, and any homogeneous function \linebreak $f = \left(f_1, \dots , f_\ell \right): \mathbb{R}^n \to \mathbb{R}^\ell$ that satisfies a certain nonsingularity assumption, we obtain a biconditional criterion on the approximating function $\psi = \left(\psi_1, \dots , \psi_\ell \right): \mathbb{R}_{\geq 0} \to \left(\mathbb{R}_{>0}\right)^\ell$ for a generic element $f \circ g$ in the $\operatorname{SL}_n(\mathbb{R})$-orbit of $f$ to be (respectively, not to be) $\psi$-approximable at ${\pmb \xi} = (\xi_1,\dots,\xi_n)$: that is, for there to exist infinitely many (respectively, only finitely many) $\mathbf{v} \in \mathbb{Z}^n$ such that $\left|\xi_j - \left( f_j \circ g\right)(\mathbf{v})\right| \leq \psi_j(\|\mathbf{v}\|)$ for each $j \in \left\lbrace 1, \dots, \ell \right\rbrace$. In this setting, we also obtain a sufficient condition for uniform approximation. We also consider some examples of $f$ that do not satisfy our nonsingularity assumptions and prove similar results for these examples. Moreover, one can replace $\operatorname{SL}_n(\mathbb{R})$ above by any closed subgroup of $\operatorname{ASL}_n(\mathbb{R})$ that satisfies certain integrability axioms (being of Siegel and Rogers type) introduced by the authors in the aforementioned previous paper.

## Submission history

From: Dmitry Kleinbock [view email]**[v1]**Tue, 3 May 2022 08:10:19 GMT (31kb)

**[v2]**Mon, 29 Aug 2022 04:00:30 GMT (32kb)

Link back to: arXiv, form interface, contact.