Strong exceptional parameters for the dimension of nonlinear slices
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908589104300032 |
|---|---|
| author | Bushling, Ryan E. G. |
| author_facet | Bushling, Ryan E. G. |
| contents | Let $1 \leq m < s \leq n$ and let $A \subseteq \mathbb{R}^n$ be a Borel set of with $s$-dimensional Hausdorff measure $\mathcal{H}^s(A) > 0$. The classical Marstrand slicing theorem states that, for almost every $m$-dimensional subspace $V \subset \mathbb{R}^n$, there is a positive-measure set of $x \in V$ such that $x + V^\perp$ intersects $A$ in a set of Hausdorff dimension $s-m$. We prove a strong and quantitative version of Marstrand's slicing theorem in the Peres-Schlag framework. In particular, if $(Π_λ: Ω\to \mathbb{R}^m)_{λ\in U}$ is a family of generalized projections that satisfies the transversality and strong regularity conditions of degree $0$, then for every $A \subseteq Ω$ with $\mathcal{H}^s(A) > 0$, the set of $λ$ in the parameter space $U \subseteq \mathbb{R}^N$ such that $\dim\!\big(A \cap Π_λ^{-1}(x)\big) < s-m$ for a.e. $x \in \mathbb{R}^m$ has Hausdorff dimension at most $N + m - s$. If moreover $\mathcal{H}^s(A) < \infty$, then this exceptional set is universal for the subsets of $A$ with positive $s$-dimensional Hausdorff measure in the sense that this same collection of parameters contains the corresponding exceptional sets of all those subsets of $A$. When $(Π_λ)_{λ\in U}$ is only transversal and strongly regular of some sufficiently small order $β> 0$, a similar conclusion holds modulo an error term of order $β^{1/3}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_10844 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Strong exceptional parameters for the dimension of nonlinear slices Bushling, Ryan E. G. Classical Analysis and ODEs 28A75, 28A78 (Primary) 42B10, 42B25 (Secondary) Let $1 \leq m < s \leq n$ and let $A \subseteq \mathbb{R}^n$ be a Borel set of with $s$-dimensional Hausdorff measure $\mathcal{H}^s(A) > 0$. The classical Marstrand slicing theorem states that, for almost every $m$-dimensional subspace $V \subset \mathbb{R}^n$, there is a positive-measure set of $x \in V$ such that $x + V^\perp$ intersects $A$ in a set of Hausdorff dimension $s-m$. We prove a strong and quantitative version of Marstrand's slicing theorem in the Peres-Schlag framework. In particular, if $(Π_λ: Ω\to \mathbb{R}^m)_{λ\in U}$ is a family of generalized projections that satisfies the transversality and strong regularity conditions of degree $0$, then for every $A \subseteq Ω$ with $\mathcal{H}^s(A) > 0$, the set of $λ$ in the parameter space $U \subseteq \mathbb{R}^N$ such that $\dim\!\big(A \cap Π_λ^{-1}(x)\big) < s-m$ for a.e. $x \in \mathbb{R}^m$ has Hausdorff dimension at most $N + m - s$. If moreover $\mathcal{H}^s(A) < \infty$, then this exceptional set is universal for the subsets of $A$ with positive $s$-dimensional Hausdorff measure in the sense that this same collection of parameters contains the corresponding exceptional sets of all those subsets of $A$. When $(Π_λ)_{λ\in U}$ is only transversal and strongly regular of some sufficiently small order $β> 0$, a similar conclusion holds modulo an error term of order $β^{1/3}$. |
| title | Strong exceptional parameters for the dimension of nonlinear slices |
| topic | Classical Analysis and ODEs 28A75, 28A78 (Primary) 42B10, 42B25 (Secondary) |
| url | https://arxiv.org/abs/2510.10844 |