MathLabs

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

ステップ 4/5: 構造定理:チューブは「粒」へと組織化される
ざっくり言うと

EE を粗く δ×δ×δ\delta\times\delta\times\delta の立方体で敷き詰める代わりに、ワンとザールは(カッツ・ワバ・タオの粘着性に基づく手法がここでは使えないため、ガスの多項式法的アプローチを粒状性に適用して)、太いチューブ TρT_\rho 内部のチューブが本質的に互いに素な「粒」——原理的には未知の中間的な寸法 δ×ρc×c\delta\times \rho c\times c をもち、できる限り大きく取られた平たい直方体——へと組織化されることを示す。ステップ2の無駄の多い太いチューブの多重度 μfat\mu_{\text{fat}} を、これらのよりぴったり合う粒の多重度 μcoarse\mu_{\text{coarse}} で置き換えると、厳密により良い多重度不等式 μ≲μcoarseμfine\mu\lesssim\mu_{\text{coarse}}\mu_{\text{fine}} が得られる:再スケーリング後、粒が通常の(あるいはより疎な)掛谷配置のように振る舞うならば、K(d)K(d) はすでに μcoarse≲ρ−d\mu_{\text{coarse}}\lesssim \rho^{-d} を与え、μfine\mu_{\text{fine}} に対する付随する評価が、粘着的な場合とまったく同様に帰納法をそのまま閉じる。

⋃T⊂TρT=⨆(grains of dimension δ×ρc×c),μ≲μcoarse⋅μfine,μcoarse≲ρ−d\bigcup_{T\subset T_\rho} T = \bigsqcup(\text{grains of dimension } \delta\times \rho c\times c),\qquad \mu \lesssim \mu_{\text{coarse}}\cdot\mu_{\text{fine}}, \quad \mu_{\text{coarse}} \lesssim \rho^{-d}
詳しい解説

このステップ(ワン・ザール2025年、第5節、ガスが多項式法を通じて導入した「粒状性」技術の応用)は、非粘着的な場合の技術的核心である。カッツ・ワバ・タオによる元々の粘着性に基づく粒状性への還元は、この一般性では利用できない「X線評価」を必要とするため、ワンとザールは代わりに多項式分割論法を実行し、各太いチューブ TρT_\rho の内部で、囲まれた細いチューブの平たい互いに素な角柱への最も粗い分解を見つける。これによって得られる多重度不等式 μ≲μcoarseμfine\mu\lesssim\mu_{\text{coarse}}\mu_{\text{fine}} は、粒が太いチューブ自体より真に小さい限り、ステップ2の素朴な μ≲μfatμfine\mu\lesssim\mu_{\text{fat}}\mu_{\text{fine}} より厳密に鋭い。なぜなら μcoarse\mu_{\text{coarse}} は、はるかに大きく無駄の多い太いチューブではなく、粒の重なりを測るからである。

よくある間違い. 粒の寸法 ρc,c\rho c,c はあらかじめ固定されておらず、原理的には退化しうる:ρ≈c≈1\rho\approx c\approx 1 ならば、粒は巨大な δ×1×1\delta\times 1\times 1 のスラブとなり、EE は平面状のシートの和集合のように見える——この場合は平面の場合(R2\mathbb{R}^2 の証明のステップ3)の古典的なコルドバの L2L^2 論法ですでに十分であり、扱いやすい。真に難しい状況は、再スケールされた粒がおよそ掛谷配置や劣掛谷配置のようにまったく振る舞わない場合であり、これが次のステップの構造定理を必要とさせる。