Good functions, measures, and the Kleinbock-Tomanov conjecture (Q6629503)

In this paper, the authors prove Theorem 2.1, which is a \(\nu\)-adic analogue of a result of \textit{D. Kleinbock} et al. [Sel. Math., New Ser. 10, No. 4, 479--523 (2004; Zbl 1130.11039)] which states that pushforwards of decaying Federer measures on \(\mathbb{Q}_{\nu}^d\) by non-degenerate, non-singular maps are friendly. As a corollary, they obtain Theorem 2.2, which solves a conjecture by \textit{D. Kleinbock} and \textit{G. Tomanov} [Comment. Math. Helv. 82, No. 3, 519--581 (2007; Zbl 1135.11037)], which states that pushforwards of self similar measures on \(\mathbb{Q}_{\nu}^d\) by certain smooth maps are strongly extremal. Moreover, they prove theorem 2.3 about the diophantine exponents of affine subspaces in \(\mathbb{Q}_{\nu}^d\).\N\NThe authors then deduce Theorems 2.1 and 2.3 from Proposition 4.1, which claims that if \(\mathbf{f}=(f_1,\dots,f_n):\mathbb{Q}_{\nu}^d\rightarrow\mathbb{Q}_{\nu}^n\) is \(C^{\ell+1}\) and \(\ell\) non-degenerate at a point, then for any Borel measure \(\mu\), there exists a neighborhood, in which any \(g(\mathbf{x})=c_0+\sum_{i=1}^nc_if_i(\mathbf{x})\), for \(c_i\in \mathbb{Q}_{\nu}\) is \((C,\frac{\alpha}{2^{\ell+1}-2})\) good with respect to \(\mu\). One of the difficulties in the \(\nu\)-adic setting is the fact that there is no mean value theorem for smooth maps.