The Kakeya maximal conjecture in three dimensions

1. 全時間plankの集中を方向分離で抑える

有界line chartで $M_i(t)=b_i+tu_i$ を用いる。indexは正の重み $\omega_i$ とmarked time bins $S_i$ を持ち、同じ直線でも異なるindex・shadingを同一視しない。総重み $n=\sum_i\omega_i$、incidence $I=\sum_i\omega_i|S_i|$、平均marked数 $k=I/n$、占有cell集合 $E$ の平均多重度 $m=I/\#E$ を区別する。幅 $a,b$ のplankは全時間のtraceを含むindexの重み $n_B$ を数える。marked点がplankに一度入るだけでは所属にならない。

最大作用素への適用時には単位重み、$c/N$ 分離した傾きに戻る。plankの両端でtraceを比較すると傾きは $O(a/N)\times O(b/N)$ の長方形に入り、$n_B\lesssim ab$。従って $\Delta_0=\sup_B n_B/(ab)\lesssim1$ はすべての部分族にも保たれる。

Definition 2.3; (2.1)–(2.8) · pp. 6–8 Proposition 10.2; (10.19)–(10.23) · pp. 91–92

2. 密度に一様な離散評価と指示関数評価

$h(p,0)=0$ とする。各直線が $\gtrsim\max\{1,\lambda N\}$ 個のmarked binsを持つなら、任意の $\xi>0$ に対し

一様定数の不存在を仮定した反例列をregularizeすると、$\theta=\max\{N^{-1},\lambda\}=N^{-\alpha+o(1)}$ と $F(1)=\alpha$ が得られる。$q=0$ では時間costが正確に $p\alpha$ なので、反例の多重度 $N^{p\alpha+\xi-o(1)}$ は臨界評価 $N^{p\alpha+o(1)}$ に反する。ここが漸近記法から有限配置すべてに一様な定数を取り出す接続である。

長さ4、半径 $4/N$ の補助作用素 $K_N$ について、方向chartと中心の単位cubeへの分割から

$\lambda\geq N^{-1}$ では $\lambda^3\sigma\{K_N1_E>\lambda\}\lesssim N^{p-2+\xi}|E|$。小密度範囲は球面の有限測度と非空の格子集合の $|E|\geq N^{-3}$ で別に処理する。分布関数を積分して $\|K_N1_E\|_3^3\lesssim N^{p-2+\xi}(1+\log N)|E|$ を得る。

Proposition 10.2; (10.19)–(10.23) · pp. 91–92

3. Cell平均、level分解、任意の尺度損失

$\|f\|_3=1$ と正規化し、$N^{-1}\leq\delta<2N^{-1}$ を選ぶ。各 $N^{-1}$-cubeでの $|f|$ の平均 $F_N$ は $0\leq F_N\leq N$、$\|F_N\|_3\leq1$ を満たし、tubeの固定拡大により $K_\delta f\leq64K_NF_N$。$F_N<N^{-1}$ は直接抑え、残る値を $O(\log N)$ 個のdyadic levelsに分ける。指示関数評価と有限和のHölderから

となる。$\varepsilon$ を固定して $(p-2)/3<\varepsilon/2$ となる $h(p,0)=0$ の $p$ を一度選び、$\kappa=\varepsilon/2$ とする。斉次性を戻せば主張全体が得られる。原典はtube積分のパラメータ連続性から中心の上限を可算稠密集合に制限し、可測性も確認する。

最終定理を指示関数に適用すれば、$\delta$ 分離方向のshadingに対する $|\bigcup_TY(T)|\gtrsim_\varepsilon\delta^\varepsilon\lambda^3\sum_T|T|$ が全 $0<\lambda\leq1$ で得られる。この最終的な立方密度冪と、証明途中の $p+1>3$ を区別する。

Proposition 10.2; (10.24)–(10.25) · p. 93 Proof of Theorem 1.1 · p. 94

1. 重みを保つ集合入力と局所平面性

集合入力は凸体 $K$ ごとの集中 $\sum_{T\subset K}|T|\leq\delta^{-\eta_{\mathrm{in}}}|K|$ と平均密度 $\lambda\geq\delta^{\eta_{\mathrm{in}}}$ を要求する。任意密度の評価として使わない。Lemma 3.2 は重みに比例したsampling、有限個のbox tests、重複tubeからの代表選択でこれを反復index付きの重み評価へ移す。Lemma 3.3 は全時間plank条件を凸集中へ変換し、marked binsに置く互いに離れた小球でcell数とshading体積を比較する。

局所質量が上界を超えるpacketはrescaling後に臨界性へ反する。さらに、多重線形入力の $\theta^{-1/2}$ 損失と方向cap数を小さいblock尺度の冪として計上し、正のslackで吸収する。これにより三方向が横断的なblockを捨て、各短いblock内で、残るreference indexのretained marked timesに共通の方向平面を選ぶ。平面Furstenberg入力は元のshadingのFrostman条件を保持してplate内を充填する。

[GWZ26, Theorem 1.1, p. 2] Theorem 3.1; Lemmas 3.2–3.3 · pp. 18–21 [Gut10, Theorem 1.3, 誌面 p. 264 / PDF p. 2] Proposition 4.1; Lemma 4.3 · pp. 24–28 [RW25, Theorem 4.1, p. 9] Theorem 3.4; Corollary 3.5 · pp. 21–22

2. 時間プロファイルと尺度間で両立するpacket

時間欠損を総密度だけに置き換えると、時間blockを切り取った後のcostを追えない。原稿は $F$ を保持し、plateの充填から初期のflat intervalを得て、外側のscale cutとplateを整列させた内側のcutを比較する。最小delayの選択により

という正準形と、各尺度で所属indexの重みを保つstationary packetsを得る。最後の $\beta<1$ は角度非集中を調べる Lemma 6.2 まで含めた結論である。ここでstationaryとは、cutの反復後に同じ正規化プロファイルとpacket形状が現れるという意味である。

eventの法線パラメータ $\vartheta$ に対し $X=M_i(t)_1+\vartheta M_i(t)_2$、$Y=M_i(t)_2$、$U=u_{i,1}+\vartheta u_{i,2}$、$V=u_{i,2}$ と取る。四つの座標の尺度速度は $(0,\tau,\ell,1)$。packet質量の下界をconditional entropyの需要へ変換する。

Propositions 5.4, 5.6 · pp. 44–48 Lemma 6.2 · pp. 51–54 Proposition 7.4; Lemmas 7.5–7.6 · pp. 65–68

3. 同じindexの二eventを独立と扱わない

二event間の変換は

時間差と法線差が二次元のscalar projectionを作る。中間速度が一致する $\tau=\ell=1/2$ では $Y,U$ のjoint rateを保持し、両座標を固定した後の $X'$ に残る $\Delta t\Delta\vartheta\,V$ のproduct slopeをpinningで扱う。

同じindexから選ぶ二eventは一般に従属する。原稿はその実際のjoint lawと、条件付きmatrix・label周辺分布の積を比較する。射影の必要指数を下回るsupportなら、積法則のhit確率は $D^{-c}$ だが、実際のlawでは同じmatrixから来るためhit確率は1。相対entropyのdata processingが $\gtrsim\log D$ の相互情報を要求し、Lemma 8.5 のshort-gap評価 $o(\log D)$ と矛盾する。pinningによるlawの偏りも両周辺の支配定数で計上する。

Proposition 8.1 · pp. 68–69 Lemmas 8.4–8.7; (8.27) · pp. 73–78 Sections 9.1–9.2 · pp. 79–85

4. 損失と極限の順序を保って矛盾を閉じる

異なる速度の場合の条件付きrate $a_1,y_1,u_1,v_1$ には、例えば $a_1\geq y_1$、$u_1\geq v_1$、$a_1<1\Rightarrow u_1\leq(a_1-s_0)_+$、$s_0=1-\beta>0$ が課される。原稿は速度の一致とparameterの位置を五つに分け、packetの需要とこれらの制約の間に正のgapを得る。$v_1>0$ の集合への局所化には弱収束だけでは足りず、Lemma 7.5 の強い $L^1$ trace／部分列compactnessを使う。

尺度ごとの制限で失うincidenceは $N^{-o(1)}$ とし、固定された有限テスト・尺度・正のgapを先に選んでから解像度を上げる。smoothing幅 $\eta$ は初めに $p_{\min}-2$ に従って固定する。最後の矛盾のために $h,\tau,\beta$ を見てから $\eta$ を小さくする循環は用いない。この順序の下で正の臨界指数を排除し、前節の解析的帰着に渡す。

Proposition 10.1 · pp. 86–90

1. 全補間範囲をそろえてEuclideanへ移す

単位線分の $\delta$ 近傍を用い $\delta^{-2}$ で正規化する外部文献の作用素 $\widetilde K_\delta$ は、三つの原稿の円柱で覆えて $\widetilde K_\delta f\leq3\pi K_\delta f$。他方、$\|\widetilde K_\delta f\|_\infty\leq\delta^{-2}\|f\|_1$。補間parameter $\theta$ に対して $1/p=1-2\theta/3$、$1/q=\theta/3$ なので $q=2p'$、尺度冪は $1-3/p-\eta\theta$ となる。主定理の $\eta>0$ は任意に選べ、両端点を含む $K(3)$ が得られる。GLX25のProposition 2.3によりEuclidean Nikodymの全範囲へ移送する。

Corollary 11.1 · pp. 94–95 [GLX25, Proposition 2.3; (6)–(9), pp. 13–14]

2. 定曲率多様体では局所幾何を固定する

同じ命題の測地線を直線化する局所微分同相を、固定compact chart上で使う。bi-Lipschitz定数と体積比較定数が有界なので $U\Subset V$ 上のtube平均を比較でき、原典の $\delta_0$ の選び方により入力は $V$ 内に収まる。移送の任意小損失は開始時の損失を小さくして吸収する。$p=q=3$ を代入すれば局所端点が得られる。

[GLX25, Proposition 2.3; (6)–(9), pp. 13–14] Corollary 11.1 · pp. 94–95

1. 直線化の仮定と作用素の正規化を保つ

GLX25のTheorem 1.12は局所微分同相で位相を $x\cdot y+t h(y)+q(y)+f(t)$ に移し、$\nabla_y^2h$ を非退化にする。$y$ のみに依存する項はgradientの差で消え、$(x,t)$ のみの項は $\nabla_y$ に寄与しない。対応する曲線は $x=\omega-t\nabla h(y)$ という直線になる。Proposition 4.1はこの局所比較で通常の $K(3)$ と曲線版を同値にするので、同じ $p,q$、同じ $\delta^{1-3/p-\varepsilon}$ の範囲を得る。空間座標と方向parameterの比較定数を位相・chartに依存させ、$\delta_{\mathrm{curv}}$ をその固定幾何から選ぶ。$p=q=3$ の結論もこれに含まれる。

[GLX25, Definitions 1.7, 1.10–1.11; Theorem 1.12, pp. 3–5] [GLX25, Proposition 4.1; Definition 4.5, p. 19] Corollary 11.2 · pp. 95–96