[論文レビュー] A Marstrand-type restricted projection theorem in $\mathbb{R}^{3}$

Antti Käenmäki, Tuomas Orponen+1 more|arXiv (Cornell University)|Aug 16, 2017

Advanced Topology and Set Theory参考文献 13被引用数 10

ひとこと要約

本稿は、非部分空間の2次元平面に制限されたR³内の直線への射影について、Marstrand型の射影定理を確立する。解析的集合K ⊂ R³に対して、Kの射影πₑ(K)のハウスドルフ次元は、固定された2次元平面Vと単位球面の交わりにほぼすべての方向e ∈ S² ∩ Vに対してmin{dimₕK, 1}に等しいことを証明する。この結果は、古典的な射影定理を曲がった家族の方向に制限することで鋭くし、新しい測度論的接点数評価と、円および正弦波の曲率に基づく推移的評価を用いて、接点と射影の挙動を制御する。

ABSTRACT

Marstrand's projection theorem from $1954$ states that if $K \subset \mathbb{R}^{3}$ is an analytic set, then, for $\mathcal{H}^{2}$ almost every $e \in S^{2}$, the orthogonal projection $π_{e}(K)$ of $K$ to the line spanned by $e$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. This paper contains the following sharper version of Marstrand's theorem. Let $V \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. Then, for $\mathcal{H}^{1}$ almost every $e \in S^{2} \cap V$, the projection $π_{e}(K)$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. For $0 \leq t < \dim_{\mathrm{H}} K$, we also prove an upper bound for the Hausdorff dimension of those vectors $e \in S^{2} \cap V$ with $\dim_{\mathrm{H}} ρ_{e}(K) \leq t < \dim_{\mathrm{H}} K$.

研究の動機と目的

• 固定された2次元平面V ⊂ R³が部分空間でない場合に、射影方向の集合をその上に制限することで、Marstrandの古典的射影定理のより鋭い形を確立すること。
• 単位球面上の非退化的な円を描く曲線γ(θ) = (1/√2)(cos θ, sin θ, 1)に対して、Conjecture 1.1を解決すること。
• 射影次元がdimₕK未満となる方向e ∈ S² ∩ Vの例外的集合のハウスドルフ次元を評価し、その次元に関する定量的評価を提供すること。

提案手法

• 曲線（円または正弦波）が射影線にどれほど近接しているかを定量化する幾何的接点パラメータを導入し、射影挙動の制御を可能にする。
• Wolffの接点数評価とSchlagの補題の測度論的変種を、R²における円形および正弦波的配置に特化して開発する。
• 射影パラメータを dyadic 区間に分解し、被覆論法を適用して、射影次元が低下する例外的集合の大きさを推定する。
• 点w ∈ R²の周囲を通過する曲線の数を数える多重度関数mμ₅δ(w)を用い、射影における前像の測度と結びつける。
• 被覆評価に基づく背理法を用いる：低次元の射影が多すぎると仮定すると、δ-チューブ内での過剰数え上げが生じ、測度評価に反する。
• 特にWolffの1997年の結果を応用した円形Kakeya問題の技法を、曲率と接点制御を介して射影設定に適応する。

実験結果

リサーチクエスチョン

• RQ1 射影方向がS²全体ではなく、非部分空間の2次元平面V ⊂ R³に制限された場合、Marstrandの射影定理は成立するか？
• RQ2 解析的集合K ⊂ R³に対して、dimₕπₑ(K) < dimₕKを満たす方向e ∈ S² ∩ Vの集合のハウスドルフ次元は何か？
• RQ3 円および正弦波に対する曲率に基づく接点数評価を、射影定理における例外的集合の大きさを制御するために適応可能か？
• RQ4 Kの次元と、制限された家族における射影方向の例外的集合の次元との間に定量的関係は存在するか？
• RQ5 円形Kakeya問題を解くために用いられた手法を、R³における制限付き射影定理の証明に再利用可能か？

主な発見

• 任意の解析的集合K ⊂ R³に対して0 < dimₕK ≤ 1であり、任意の非部分空間2次元平面V ⊂ R³に対して、H¹-ほとんどすべてのe ∈ S² ∩ Vに対してdimₕπₑ(K) = min{dimₕK, 1}が成り立つ。
• dimₕπₑ(K) ≤ t < dimₕKを満たす方向e ∈ S² ∩ Vの例外的集合Eに対して、dimₕE ≤ (dimₕK + t)/(2 dimₕK) < 1が成り立つ。
• この結果は、特定の曲線(1.2)に限らず、V ∩ S² = ηが非退化な円である任意の場合にも成り立つ。これはスケーリングおよび次元を保つ線形変換による不変性のおかげである。
• 証明は、WolffのKakeya問題に関する研究から拡張された、新しい測度論的接点数評価に依存している。
• 例外的集合の大きさに対して定量的評価を確立し、dimₕK > 1であっても、その集合は全方向集合よりも厳密に小さいことを示している。
• 手法は半円に対しても適用可能であり、解析的家族の円の和集合の次元公式：dimₕ(∪S) = min{dimₕS + 1, 2}の新しい証明を提供する。