English

Metrical theorems on systems of affine forms

Number Theory 2020-06-03 v3

Abstract

In this paper we discuss metric theory associated with the affine (inhomogeneous) linear forms in the so called doubly metric settings within the classical and the mixed setups. We consider the system of affine forms given by \qq\qqX+\bfalpha\qq\mapsto \qq X+\bfalpha, where \qqZm\qq\in\Z^m (viewed as a row vector), XX is an m×nm\times n real matrix and \bfalphaRn\bfalpha\in \R^n. The classical setting refers to the dist(\qqX+\bfalpha,Zm){\rm dist}(\qq X+\bfalpha, \Z^m) to measure the closeness of the integer values of the system (X,\bfalpha)(X, \bfalpha) to integers. The absolute value setting is obtained by replacing dist(\qqX+\bfalpha,Zm){\rm dist}(\qq X+\bfalpha, \Z^m) with dist(\qqX+\bfalpha,\0){\rm dist}(\qq X+\bfalpha, \0); and the more general mixed settings are obtained by replacing dist(\qqX+\bfalpha,Zm){\rm dist}(\qq X+\bfalpha, \Z^m) with dist(\qqX+\bfalpha,Λ){\rm dist}(\qq X+\bfalpha, \Lambda), where Λ\Lambda is a subgroup of Zm\Z^m. We prove the Khintchine--Groshev and Jarn\'ik type theorems for the mixed affine forms and Jarn\'ik type theorem for the classical affine forms. We further prove that the sets of badly approximable affine forms, in both the classical and mixed settings, are hyperplane winning. The latter result, for the classical setting, answers a question raised by Kleinbock (1999).

Keywords

Cite

@article{arxiv.1406.3930,
  title  = {Metrical theorems on systems of affine forms},
  author = {Mumtaz Hussain and Simon Kristensen and David Simmons},
  journal= {arXiv preprint arXiv:1406.3930},
  year   = {2020}
}

Comments

Several changes have been made to the previous version including shortening and refining proofs of main results. The badly approximable affine forms in both the classical and the absolute value settings have been proven to be hyperplane winning which are stronger results than proving them to have full Hausdorff dimension (the case in the older version)

R2 v1 2026-06-22T04:39:05.989Z