Restricted Projections to Hyperplanes in mathbb{R}^n

Jiayin Liu

Authors on Pith no claims yet

Pith reviewed 2026-05-10 08:50 UTC · model grok-4.3

classification 🧮 math.CA

keywords sigmamathbbcurvaturedimensionalequationhyperplanesmathcalsubset

0 comments

The pith

For analytic Z in R^n with dim Z ≤ n-2 and curved Σ with positive sectional or geodesic curvature, the projection π to T_x S^{n-1} satisfies dim π(Z) = dim Z for H^{n-2}-almost every x in Σ.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors consider families of hyperplanes whose normals trace out a curved manifold Σ on the unit sphere. They require that Σ has non-vanishing curvature, either geodesic curvature when n=3 or sectional curvature greater than 1 when n is larger. For any analytic set Z whose dimension is at most n-2, they show that the directions on Σ where the orthogonal projection of Z drops below a given dimension s form a set of dimension at most s. Consequently, almost every projection in the family keeps the dimension of Z intact. A separate argument handles the case when dim Z exceeds n-2, again under a mild extra assumption on one projection. The n=3 low-dimension case improves a quantitative bound from earlier work by Gan, Guo, Guth, Harris, Maldague and Wang.

Core claim

dim {x ∈ Σ : dim π_{T_x S^{n-1}}(Z) < s} ≤ s whenever 0 < s < dim Z, for analytic Z with dim Z ≤ n-2 and Σ satisfying the stated curvature conditions.

Load-bearing premise

Z is analytic (rather than merely Borel or measurable) and Σ is C^2 with non-vanishing geodesic/sectional curvature; the proof may fail without analyticity or the curvature lower bound.

read the original abstract

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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Circularity Check

0 steps flagged

No circularity in theorem statement or visible derivation

full rationale

The provided abstract and theorem statement contain no derivations, equations, fitted parameters, or self-citations that reduce the claimed result to its inputs by construction. The dimension bound is presented as a conclusion under stated analyticity and curvature assumptions, relying on external GMT machinery rather than any internal self-referential step. No load-bearing reductions of the enumerated kinds are identifiable from the given text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard facts about Hausdorff dimension, orthogonal projections, and properties of analytic sets; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Hausdorff dimension is preserved or drops in a controlled way under Lipschitz maps
Invoked implicitly when relating dim π(Z) to dim Z
domain assumption Analytic sets admit good dimension estimates and rectifiability properties
Used to obtain the sharp bound dim {bad x} ≤ s

pith-pipeline@v0.9.0 · 5635 in / 1355 out tokens · 58315 ms · 2026-05-10T08:50:34.396826+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references

[1]

Restricted families of projections and random subspaces.Real Analysis Exchange, 43(2):347–358, 2018

Changhao Chen. Restricted families of projections and random subspaces.Real Analysis Exchange, 43(2):347–358, 2018

2018
[2]

Hilbert transforms along curves

Michael Christ. Hilbert transforms along curves. I. Nilpotent groups.Annals of Mathematics. Second Series, 122(3):575–596, 1985

1985
[3]

On restricted families of projections inR 3.Proc

Katrin Fässler and Tuomas Orponen. On restricted families of projections inR 3.Proc. Lond. Math. Soc. (3), 109(2):353–381, 2014

2014
[4]

Shengwen Gan, Shaoming Guo, Larry Guth, Terence L. J. Harris, Dominique Maldague, and Hong Wang. On restricted projections to planes inR 3, 2024

2024
[5]

A restricted projection problem for fractal sets inR n

Shengwen Gan, Shaoming Guo, and Hong Wang. A restricted projection problem for fractal sets inR n. Cambridge Journal of Mathematics, to appear, 2025+

2025
[6]

Terence L. J. Harris. Improved bounds for restricted projection families via weighted fourier restriction. Analysis & PDE, 15(7):1655–1701, 2022

2022
[7]

Terence L. J. Harris. Restricted families of projections onto planes: the general case of nonvanishing geodesic curvature.Revista Matemática Iberoamericana, 39(5):1863–1894, 2023

2023
[8]

Orthogonal projections of discretized sets.J

Weikun He. Orthogonal projections of discretized sets.J. Fractal Geom., 7(3):271–317, 2020

2020
[9]

Järvenpää, M

E. Järvenpää, M. Järvenpää, and T. Keleti. Hausdorff dimension and non-degenerate families of projec- tions.The Journal of Geometric Analysis, 24(4):2020–2034, 2014

2020
[10]

Järvenpää, M

E. Järvenpää, M. Järvenpää, F. Ledrappier, and M. Leikas. One-dimensional families of projections. Nonlinearity, 21(3):453–463, 2008

2008
[11]

On Hausdorff dimension of projections.Mathematika, 15(2):153–155, 1968

Robert Kaufman. On Hausdorff dimension of projections.Mathematika, 15(2):153–155, 1968

1968
[12]

A marstrand-type restricted projection theorem inR 3.Amer

Antti Käenmäki, Tuomas Orponen, and Laura Venieri. A marstrand-type restricted projection theorem inR 3.Amer. J. Math., 147(1):81–123, February 2025

2025
[13]

Restricted projections to lines inR n`1.Mathematical Proceedings of the Cambridge Philosophical Society, 179(1):105–143, 2025

Jiayin Liu. Restricted projections to lines inR n`1.Mathematical Proceedings of the Cambridge Philosophical Society, 179(1):105–143, 2025

2025
[14]

J. M. Marstrand. Some fundamental geometrical properties of plane sets of fractional dimensions.Proc. London Math. Soc. (3), 4:257–302, 1954

1954
[15]

Hausdorff dimension, orthogonal projections and intersections with planes.Ann

Pertti Mattila. Hausdorff dimension, orthogonal projections and intersections with planes.Ann. Acad. Sci. Fenn. Ser. A I Math., 1(2):227–244, 1975

1975
[16]

On the hausdorff dimension of furstenberg sets and orthogonal projections in the plane.Duke Mathematical Journal, 172(18):3559–3632, 2023

Tuomas Orponen and Pablo Shmerkin. On the hausdorff dimension of furstenberg sets and orthogonal projections in the plane.Duke Mathematical Journal, 172(18):3559–3632, 2023

2023
[17]

Improved bounds for restricted families of projections to planes inR 3.International Mathematics Research Notices, 2020(19):5797–5813, 2020

Tuomas Orponen and Linnea Venieri. Improved bounds for restricted families of projections to planes inR 3.International Mathematics Research Notices, 2020(19):5797–5813, 2020

2020
[18]

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem inR 3.Amer

Malabika Pramanik, Tongou Yang, and Joshua Zahl. A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem inR 3.Amer. J. Math., to appear, 2025+. MATHEMATICSAREA, SISSA, TRIESTE, ITALY Email address:jliu@sissa.it

2025