[論文レビュー] A sharp bound on the Hausdorff dimension of the singular set of an n-uniform measure

A. Dali Nimer|arXiv (Cornell University)|Oct 13, 2015

Mathematical Dynamics and Fractals参考文献 8被引用数 7

ひとこと要約

この論文は、$\mathbb{R}^d$ 内の $n$-一様測度の特異集合のハウスドルフ次元に対する鋭い上界を確立し、それが高々 $n-3$ であることを証明する。吹き上げ（blow-ups）と錐型測度の極座標分解を用いた次元削減の議論により、次元 $n-3$ を達成する Kowalski-Preiss 錐例は最適であり、幾何的測度論におけるこのような測度の特異集合の最大次元についての主要な未解決問題が解決される。

ABSTRACT

The study of the geometry of $n$-uniform measures in $\mathbb{R}^{d}$ has been an important question in many fields of analysis since Preiss' seminal proof of the rectifiability of measures with positive and finite density. The classification of uniform measures remains an open question to this day. In fact there is only one known example of a non-trivial uniform measure, namely $3$-Hausdorff measure restricted to the Kowalski-Preiss cone. Using this cone one can construct an $n$-uniform measure whose singular set has Hausdorff dimension $n-3$. In this paper, we prove that this is the largest the singular set can be. Namely, the Hausdorff dimension of the singular set of any $n$-uniform measure is at most $n-3$.

研究の動機と目的

• $\ mathbb{R}^d$ 内の $n$-一様測度の特異集合の最大可能ハウスドルフ次元を特定すること。
• 平坦な場合と Kowalski-Preiss 錐例を越えて $n$-一様測度を分類する未解決問題を解決すること。
• 任意の $n$-一様測度の特異集合の次元が $n-3$ を超えることはなく、等号は KP 錐構成によって達成されることを証明すること。
• 吹き上げ不変性と帰納法を用いて、基本ケース $n=3$ から一般の $n \geq 3$ への拡張を行うこと。

提案手法

• 証明は、拡大不変で、径方向成分と球面成分に極座標分解可能な錐型 $n$-一様測度に制限して始める。
• 重要なステップとして、測度が錐型で $n$-一様であれば、その台が直線と低次元集合の積であることを示す。これは特定の方向に沿った平行移動不変性を活用する。
• 特異集合が吹き上げ操作の下でどのように振る舞うかに依存するが、Federer の次元削減技法を一様測度に適応した議論を用いる。
• $n$ に関する帰納法を用い、$n=3$ を基本ケースとし、錐型 $3$-一様測度の特異集合は高々一点（原点）であることを示す。
• より高い $n$ に対しては、特異集合が低次元一様測度の特異集合との積構造を通じて関連づけられ、再帰的な次元評価が可能になる。
• 最終的な上限は、帰納法の仮定と、積集合のハウスドルフ次元が各因子の次元の和以下であるという事実を組み合わせることで得られる。

実験結果

リサーチクエスチョン

• RQ1 $\ mathbb{R}^d$ 内の $n$-一様測度の特異集合の最大ハウスドルフ次元は何か？
• RQ2 次元 $n-3$ を達成する Kowalski-Preiss 錐は、特異集合次元の観点で最悪ケースであると言えるか？
• RQ3 環境次元 $d$ に依存しない、$n$-一様測度の特異集合次元に対する普遍的な上界が存在し、それが鋭いか？
• RQ4 一様測度の文脈において、特異集合は吹き上げ操作でどのように振る舞うか？
• RQ5 Federer の可解性理論における次元削減技法を、一様測度に適応して特異集合次元を評価できるか？

主な発見

• $\ mathbb{R}^d$ 内の任意の $n$-一様測度の特異集合のハウスドルフ次元は高々 $n-3$ であり、この上限は鋭い。
• Kowalski-Preiss 錐は特異集合の次元が正確に $n-3$ である構成を提供し、上限が最適であることを証明する。
• $n=3$ の場合、錐型 $3$-一様測度の唯一の特異点は原点である。これは帰納法の基本ケースを確立する。
• $n$-一様測度の特異集合は、直線と $(n-1)$-一様測度の特異集合の積に含まれるため、帰納的次元評価が可能になる。
• 証明は、$n$-一様測度の吹き上げが一様性の性質を保つことに基づいており、接空間測度の再帰的解析を可能にする。
• 結果として、KP 錐例が特異集合次元の観点で極値的であることが確認され、幾何的測度論における長年の未解決問題が解決された。