Math Labs

解法: 3次元の場合:R3\mathbb{R}^3 のすべての掛谷集合は次元3をもつ(ワン・ザール、2025年)

ステップ 1/11: 予想を体積評価 K(d)K(d) として言い換える
前のステップ次のステップ
ざっくり言うと

離散化する:T\mathbb{T} を R3\mathbb{R}^3 における δ\delta-分離された方向を向く、大きさ δ×δ×1\delta\times\delta\times 1 の ≈δ−2\approx\delta^{-2} 本のチューブとする。それらの和集合が常に体積 ≳δ3−d\gtrsim \delta^{3-d} をもつという主張を K(d)K(d) と書く。

∣⋃T∈TT∣≳δ3−d(K(d))\Big|\bigcup_{T\in\mathbb{T}} T\Big| \gtrsim \delta^{3-d} \quad (K(d))
分離された方向を向く細い三次元円柱の族。
詳しい解説

スケール δ>0\delta>0 を固定し、T\mathbb{T} を R3\mathbb{R}^3 内の δ×δ×1\delta\times\delta\times1 管の族で、方向が S2S^2 上で δ\delta 分離しているものとする — 実質 N∼δ−2N\sim\delta^{-2} 本、方向ごとに1本。離散化 Kakeya 予想 K(d)K(d) は一様下界 ∣⋃T∈TT∣≳δ3−d\big|\bigcup_{T\in\mathbb{T}}T\big|\gtrsim\delta^{3-d} を主張する：管の合併は、各管がスケール δ\delta に肥厚した dd 次元集合の分け前を担うかのようにほぼ大きい。

真の Hausdorff 次元 dd の集合 EE では、δ\delta 近傍の体積は ∼δ3−d\sim\delta^{3-d} なので、すべての管族についての K(d)K(d) は「すべての Kakeya 集合で dim⁡E≥d\dim E\ge d」の管レベルの言い換え。管1本の体積は δ2\delta^2 で ∼δ−2\sim\delta^{-2} 本あるので、互いに素なら体積 ∼1\sim1；K(d)K(d) は幾何がどれほど重なりを強制しうるかを定量化する。

文に隠れた技術点：Wang–Zahl は単なる方向分離族だけでなく「Katz–Tao 凸 Wolff 公理」を満たす族で議論する — 任意の凸集合内の管の重複度が有界という非集中公理。この柔軟性が、スケール帰納法で K(d)K(d) を（もはや文字通り方向分離していない）リスケール部分族に適用することを可能にする。