Maximal estimates for perturbations of the Schrödinger operator on $\mathbb{T}^d$

技術的要約：$\mathbb{T}^d$ 上のシュレディンガー作用素の摂動に関する極大推定

問題設定
本論文は、$C^2$ グラフ超曲面に付随する指数和に関する $L^p_x L^\infty_t$ 極大推定を調査するものである。これは、トーラス $\mathbb{T}^d$ 上のシュレディンガー方程式における点収束問題に端を発している。具体的には、著者らは放物面の $C^2$ 境界内での微小な摂動の下で、周期的なシュレディンガー方程式に対して予想されている極大推定が成立するかどうかを検討している。

対象となる指数和は以下の通りである：
$$u(x, t) = \sum_{q \in [Q]^d} b_q e\left(x \cdot \frac{q}{Q} + t\psi\left(\frac{q}{Q}\right)\right),$$
ここで $\psi \in C^2([0, 1]^d)$ である。$\psi(\xi) = |\xi|^2$ のとき、これは単位トーラス上のシュレディンガー方程式の放物線的に再スケールされた解に対応する。予想される極大推定（予想1）は、$2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$ に対して、極大関数の $L^p$ ノルムが $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$ で抑えられると仮定している。

先行研究である Fu, Ren, and Wang [FRW23] は、一様に凸な数列のクラスにおいて $d=1$ の場合にこの予想が成立しないことを示し、極大推定が予想される境界よりも著しく大きくなり得ることを示した。本論文で扱う未解決問題は、この失敗が $d \ge 2$ の高次元においても、また特定の構成された数列だけでなく、放物面の一般的な $C^2$ 摂動に対しても持続するかどうかである。

手法
本論文は、下界と上界の両方を確立するために、調和解析、数論、および斉次力学系の組み合わせを用いている。

1. 包含推定による下界：
   予想される極大推定を反証するために、著者らは大きな極大関数を生じさせる特定の摂動 $\psi$ と初期データ列 $(b_q)$ を構成する。この構成の核心は、$C^2$ 部分多様体と再スケールされた整数格子の交わりに関する Cairo and Zhang [CZ25] の結果に基づいている。

   • 著者らは、斉次力学系（具体的には、単模格子空間に対する $SL_n(\mathbb{R})$ の作用）を用いて証明された Cairo-Zhang 定理（定理 1.4）の変種を利用する。
   • 格子の空間に対する Siegel の平均値定理と二次モーメント法を適用することで、格子変換 $g$ と摂動された関数 $\psi$ が存在し、それによって $\psi$ のグラフが特定の分母を持つ有理点の多数を含むことを示す。
   • これらの「幸運な」点を用いることで、指数和が有意な測度を持つ集合上で建設的干渉（大きな値）を示すような数列 $(b_q)$ を構成できる。これにより、予想される上界が破られる。

2. デカップリングによる上界：
   上界については、Bourgain and Demeter [BD15] によって確立されたコンパクトな $C^2$ 超曲面に対する $\ell^2$ デカップリング理論を利用する。

   • 指数和に対して局所化されたグローバル・デカップリング不等式を適用する。
   • 極大関数のレベルセットを分析し、小さなキャップ内にフーリエ支持を持つ関数の局所定数性を利用することで、$L^p$ ノルムの上界を導出する。
   • このアプローチにより、摂動に対して予想される境界は成立しないものの、デカップリング指数 $p_{\text{crit}} = \frac{2(d+2)}{d}$ が、$Q^\epsilon$ の損失を除いて上界の有効な閾値として残ることが確認される。

主要な貢献と結果

• 高次元における予想の崩壊： 主要な結果（定理 1.1）は、すべての次元 $d \ge 1$ において、放物面の $C^2$ 微小摂動に対する予想される極大推定が成立しないことを確立している。具体的には、任意の $\epsilon > 0$ に対して、放物面に近い摂動 $\psi$ と数列 $(b_q)$ が存在し、極大推定は $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$ のようにスケールする。

  • 臨界指数 $p_{\text{crit}}$ において、下界は $Q^{d/2}$ であるのに対し、予想される境界は $Q^{d/2 + \epsilon}$ である。
  • 予想される終点 $p_{\text{conj}}$ において、下界は予想される境界を $Q^{\frac{d}{2(d+1)(d+2)}}$ という因子分だけ上回る。

• デカップリング境界の鋭さ： 定理 1.2 は、一様に凸な $C^2$ 超曲面に対する極大推定の上界を与える。著者らは、一般の次元において、これらの推定がデカップリングの終点 $p_{\text{crit}}$ において（$Q^\epsilon$ の差を除いて）本質的に鋭いことを示している。

• 斉次力学系による新しい証明： 本論文は、Cairo and Zhang [CZ25] によって元々証明された包含推定の代替証明を提供する。この証明（定理 1.4）は、格子空間に対する $SL_n(\mathbb{R})$ の作用を用いた力学系を用いており、元の研究の特定の幾何学的仮定を回避し、結果を任意の余次元へと拡張している。

• 指数の精緻化： 著者らは、予想される指数 $\alpha_{\text{conj}}(p)$、下界の指数 $\alpha_{\text{low}}(p)$、および上界の指数 $\alpha_{\text{upp}}(p)$ の間のギャップを定義し、分析している。彼らは、$d=1$ では境界が（$Q^\epsilon$ の範囲内で）鋭いが、$d \ge 2$ では $p_{\text{conj}}$ における予想される推定と実際の摂動の振る舞いの間にギャップが存在することを示している。

意義と主張
本論文は、シュレディンガーの極大推定に関するデカップリングに基づく予想が、$C^2$ 摂動に対して頑健であるかという問いを解決したと主張している。著者らは、この予想は頑健ではないことを示している。すなわち、放物面の数論的構造こそが、予想される境界が成立するための本質的な要素である。位相関数が $C^2$ クラス内で摂動されると、極大推定は劣化し、[FRW23] による $d=1$ のケースで見られた挙動と一致する。

さらに、本研究は、放物面とその微小な摂動を区別することにおけるデカップリング手法の限界を浮き彫りにしている。デカップリングは、一様に凸な曲面のクラスに対して正しい上界を提供するが、放物面特有の算術的性質に依存するより精密な予想の境界を回復することはできない。

結論として、一般的な $C^2$ 超曲面において、極大推定は（放物面の特定の算術ではなく）曲面の幾何学（デカップリング経由）によって支配されており、$d \ge 2$ においては予想される指数 $p_{\text{conj}}$ は一般的な $C^2$ クラスに対する正しい閾値ではない。これらの結果は、臨界指数 $p_{\text{crit}}$ において $Q^\epsilon$ の損失を除いて鋭いものとして提示されている。