English

Restricted Projections to Hyperplanes in $\mathbb{R}^n$

Classical Analysis and ODEs 2026-04-20 v2

Abstract

We study dimensions of sets projected to an (n2)(n-2)-dimensional family of hyperplanes in Rn\mathbb{R}^n under curvature conditions. Let n3n\ge 3 and ΣSn1\Sigma \subset S^{n-1} be an (n2)(n-2)-dimensional C2C^2 manifold such that Σ\Sigma has non-vanishing geodesic curvature (n=3n=3)/sectional curvature >1>1 (n4)n \ge 4). Let ZRnZ \subset \mathbb{R}^{n} be analytic with dimZn2\dim Z \le n-2 and 0<s<dimZ0 < s < \dim Z. Then \begin{equation*} \dim \{x \in \Sigma : \dim \pi_{T_xS^{n-1}}(Z) < s\} \le s \end{equation*} where πTxSn1\pi_{T_xS^{n-1}} is the orthogonal projection from Rn\mathbb{R}^n to the tangent space TxSn1T_xS^{n-1}. In particular, for Hn2\mathcal{H}^{n-2}-a.e. xΣx \in \Sigma, dimπTxSn1(Z)=dimZ\dim \pi_{T_xS^{n-1}}(Z) = \dim Z. When n=3n=3 and dimZ<1\dim Z < 1, the quantitative estimate improves the one obtained by Gan-Guo-Guth-Harris-Maldague-Wang. For the case dimZ>n2\dim Z > n-2, if in addition πTySn1(Z)n2\pi_{T_yS^{n-1}}(Z) \le n-2 for some ySn1y \in S^{n-1}, we show that dimπTxSn1(Z)=min{dimZ,n1}\dim \pi_{T_xS^{n-1}}(Z) = \min\{\dim Z, n-1\} for Hn2\mathcal{H}^{n-2}-a.e. xΣx \in \Sigma.

Keywords

Cite

@article{arxiv.2604.14662,
  title  = {Restricted Projections to Hyperplanes in $\mathbb{R}^n$},
  author = {Jiayin Liu},
  journal= {arXiv preprint arXiv:2604.14662},
  year   = {2026}
}

Comments

30 pages, 2 figures

R2 v1 2026-07-01T12:12:05.690Z