Badly approximable points on manifolds and unipotent orbits in homogeneous spaces (Q2317437)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Badly approximable points on manifolds and unipotent orbits in homogeneous spaces
scientific article

    Statements

    Badly approximable points on manifolds and unipotent orbits in homogeneous spaces (English)
    0 references
    0 references
    9 August 2019
    0 references
    The paper under review is concerned with a substantial strengthening of \textit{V. Beresnevich}'s result [Invent. Math. 202, No. 3, 1199--1240 (2015; Zbl 1338.11060)] on badly approximable points on manifolds. Concretely, given a vector \(r=(r_1, r_2, \dots, r_n) \in\mathbb{R}^n\) with \(r_i \ge 0\) for all \(i\) and with \(r_1 + r_2 + \cdots + r_n = 1\), a point \(x =(x_1, x_2, \dots, x_n) \in\mathbb{R}^n\) is said to be \(r\)-weighted badly approximable if for some \(c>0\), \[ \max_{1 \le i \le n} \vert q \vert^{r_i} \vert qx_i + p_i \vert > c, \] for all \((p_1, p_2, \dots, p_n, q) \in\mathbb{Z}^{n+1}\) with \(q \neq 0\). The set of such points is denoted by \(\mathrm{Bad}(r)\), and is known to have Lebesgue measure zero and maximal Hausdorff dimension. It was shown by Beresnevich [loc. cit.] that if \(W\) is a countable family of weights with \(\inf_{r \in W} \min\{r_i : r_i > 0\} > 0\) and \(\mathcal{U} \subseteq\mathbb{R}^n\) is a nondegenerate and analytic manifold, then the intersection \(\bigcap_{r\in W}\mathrm{Bad}(r) \cap\mathcal{U}\) has maximal Hausdorff dimension. Here, nondegeneracy means that the partial derivatives at each point span all of \(\mathbb{R}^n\). In the present paper, the author applies methods from homogeneous dynamics to remove the condition on the family of weights, \(W\); and to replace the conditions of analyticity of \(\mathcal{U}\) with the condition that the manifold is \(C^n\). The full technical exposition is given in the case when \(\mathcal{U}\) is a curve, with a section at the end explaining how to extend this to the general case.
    0 references
    Diophantine approximation
    0 references
    badly approximable points
    0 references
    the linearization technique
    0 references
    unipotent orbits
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references