Let $n\geq 2$ and let $q$ be an odd prime power. The first aim of this paper is to prove that, for every $E\subset \mathbb{H}_n(\mathbb{F}_q)$ and every $\lambda>0$, the following sharp rich-direction estimate holds \[ \left| \left\{ \vartheta\in D_n: M^{\mathrm{rd}}_{\mathbb{H}_n}\mathbf{1}_E(\vartheta)\geq\lambda \right\} \right| \lesssim_n q^{2n-1}|E|\lambda^{-2n}. \] The second aim is to determine, for every $1\leq u,v\leq\infty$, the sharp exponent of $q$ in the corresponding $\ell^u\to\ell^v$ estimate. More precisely, we prove that \[ A_n^{\mathrm{rd}}(u,v) = \max\left\{ \frac{2n-1}{v},\ 1-\frac1u,\ \frac{2n}{v}-\frac1u,\ 1+\frac{2n}{v}-\frac{2n+1}{u} \right\}. \] The proof combines the polynomial method with multiplicities and a probabilistic covering argument based on the action of the affine symplectic group.
Thang Pham, A. Pinamonti, Dung The Tran et al.· 0 citations
We develop a global differential calculus on the $L^2$-Wasserstein space over a closed Riemannian manifold, based on derivations of cylinder functions rather than on the standard pointwise approach. Within this framework we define some fundamental geometric tools. In particular, we show that the Levi-Civita connection on the base manifold lifts to the unique torsion-free connection compatible with the'extended'Otto metric. The corresponding Riemann tensor is exactly the lift of the base Riemann tensor, which shows that - in this framework - the correction terms of the classical gradient formalism are not intrinsic curvature terms, but arise from the projection onto the measure-dependent gradient distribution. This allows us to revisit with a global and purely differential approach the smooth computations by J. Lott, Comm. Math. Phys., 277(2):423-437, 2007, reaching partially different conclusions.