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

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.