Badly approximable systems of affine forms (Q1961094): Difference between revisions

The main result in this important paper is an inhomogeneous version of a result of \textit{D. Y. Kleinbock} and \textit{G. A. Margulis} [Transl., Ser. 2, Am. Math. Soc. 171, 141-172 (1996; Zbl 0843.22027)]. A system of affine forms \(\langle A,{\mathbf b}\rangle\), \(A\in M_{m\times n}({\mathbb R})\), \({\mathbf b}\in{\mathbb R}^m\), is said to be badly approximable if \( \liminf_{{\mathbf p}\in{\mathbb Z}^m, {\mathbf q}\in{\mathbb Z}^n,{\mathbf q}\to\infty}\|A{\mathbf q}+{\mathbf b}+{\mathbf p}\|\cdot\|{\mathbf q}\|^m>0. \) The inhomogeneous form of the Khintchine-Groshev theorem shows that the set of badly approximable affine forms has Lebesgue measure zero in \(M_{m\times n}({\mathbb R})\times{\mathbb R}^m\); the main result here is that this set is nonetheless thick. The methods used come from the dynamics of mixing flows on homogeneous spaces of Lie groups.