New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry

技術要約：新しいスペクトル・ビショップ–グロモフおよびボネ–マイヤーゼルの定理と等周不等式への応用

問題設定
本論文は、リーマン幾何学における古典的な比較定理（具体的にはビショップ–グロモフの体積比較定理およびボネ–マイヤーゼルの直径定理）を、スペクトル的な設定へと一般化することを扱う。古典的な定理は、点ごとのリッチ曲率の下界（$\text{Ric} \geq (n-1)\lambda$）に依存している。本研究では、曲率条件が演算子 $-\gamma\Delta + \text{Ric}$（ここで $\gamma \geq 0$）を用いたスペクトル条件に置き換えられた場合に、同様の体積および直径の境界が保持されるかどうかを調査する。

中心となる問題は、以下の事項を導くためのパラメータ $\gamma$ の鋭い（シャープな）範囲を決定することである：

1. 基本群 $\pi_1(M)$ の有限性。
2. 万能被覆 $\tilde{M}$ の直径の上界。
3. $M$（または $\tilde{M}$）の体積の上界。
4. 非負のリッチ曲率とスペクトル・バイ・リッチ（bi-Ricci）曲率条件を持つ完備多様体における、無限遠での鋭い等周制御。

手法
著者らは、幾何学的測度論、スペクトル解析、および変分法を組み合わせた手法を用いている。核となる技術的革新は以下の通りである：

1. 不等重み付き等周プロファイル：
   （次元3における先行研究などの）等重み付きプロファイルとは異なり、著者らは面積項と体積項に対して不等重みを持つプロファイルを導入している。スペクトル条件を満たす正の関数 $u$ に対して、以下のように定義する：
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   この特定の重み付けにより、等周プロファイルに関する鋭い微分不等式を導出することが可能となる：
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   この不等式は粘性解の意味で成立し、定曲率の場合に知られている鋭い不等式と一致するため、ODE比較による鋭い体積境界の導出を可能にしている。

2. 不等歪曲 $\mu$-バブル（$\mu$-bubbles）：
   直径の境界を確立するために、著者らは（グロモフによる）$\mu$-バブルの手法を利用している。不等歪曲ポテンシャルを持つ汎関数を以下のように定義する：
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   $\nabla h$、$u$、および $\gamma$ を含む特定の微分不等式を満たすように歪曲関数 $h$ を注意深く選択することで、直径が大きすぎる場合に矛盾が生じることを導き出す。このアプローチにより、スペクトル条件が意味を持つ全範囲の $\gamma$ に対して直径の境界を拡張できる。

3. 安定性と正則性：
   証明には、エネルギー汎関数の第2変分に関する解析が含まれる。重要な技術的障壁は、次元 $n \geq 8$ における極小超曲面の特異点の形成の可能性である。著者らは、特異集合から離れた場所での変分に対して安定不等式が成立することを示すために、既存の文献（特に [7, 11]）の議論を適応させ、これによりすべての次元 $n \geq 3$ に対して結果を拡張している。

主要な貢献および結果

1. スペクトル・ビショップ–グロモフおよびボネ–マイヤーゼルの定理（定理1および系1）
本論文は、古典的な定理の鋭い一般化を確立している。$(M, g)$ を次元 $n \geq 3$ の閉リーマン多様体とする。もし以下の条件を満たす正の滑らかな関数 $u$ が存在する場合：
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
ただし $0 \leq \gamma \leq \frac{n-1}{n-2}$ かつ $\lambda > 0$ である。このとき：

• 直径境界： 万能被覆 $\tilde{M}$ の直径は以下で抑えられる：
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  したがって、$\pi_1(M)$ は有限である。
• 体積境界： 万能被達 $\tilde{M}$ の体積は以下を満たす：
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• 剛性： 体積境界において等号が成立する場合、$u$ は定数であり、$\tilde{M}$ は半径 $\lambda^{-1/2}$ の球面に等長写像（アイソメトリック）である。

著者らは、$\gamma \leq \frac{n-1}{n-2}$ という範囲が鋭いことを証明している。$\gamma > \frac{n-1}{n-2}$ の場合、$S^1 \times S^{n-1}$ などの反例が存在し、そこではスペクトル条件は満たされるものの、体積および直径の境界が成立しない。

2. 安定ベルンシュタイン問題の解決（定理2）
直接的な応用として、著者らは $\mathbb{R}^6$ における安定ベルンシュタイン問題を解決している。彼らは、 $2 \leq n \leq 5$ における、浸漬された、完備な、連結な、二側的な安定極小超曲面 $M^n \hookrightarrow \mathbb{R}^{n+1}$ はユークリッド平面であることを証明した。この結果は、安定作用素から導かれるスペクトル条件と、定理1で確立された $\gamma$ の鋭い範囲に基づいている。$n=6$ のケースは未解決のままである。

3. 無限遠における等周性（定理3）
$3 \leq n \leq 5$ で、$\text{Ric} \geq 0$ かつ、コンパクト集合の外側でスペクトル・バイ・リッチ条件 $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ を満たす完備非コンパクト多様体について、本論文は以下を証明している：

• 線形体積成長： 当該多様体は線形な体積成長を持つ。
• 鋭い等周プロファイル： 等周プロファイル $I_M(v)$ は、すべての $v > 0$ に対して $I_M(v) \leq \text{vol}(S^{n-1})$ を満たす。
• 剛性： ある $v$ に対して等号が成立する場合、その多様体は有界集合の外側で円筒 $S^{n-1} \times [0, \infty)$ と等長写像である。

意義および主張
著者らは、主な新規性は不等重み付き等周プロファイルおよび不等歪曲 $\mu$-バブルの導入にあると主張している。これらのツールにより、鋭い定数を回収し、より厳しい $\gamma$ の制約（例：$\gamma < \frac{4}{n-1}$）を必要とした従来のメソッドの限界を克服し、スペクトル条件が有効な全範囲の $\gamma$ に対して結果を拡張することが可能となった。

また、$\pi_1(M)$ の有限性と体積境界にとって $\gamma \leq \frac{n-1}{n-2}$ という範囲が最適であることを、超臨界的な $\gamma$ に対する明示的な反例によって示しており、これが重要であると強調している。さらに、本研究は、安定ベルンシュタイン問題や非負のリッチ曲率を持つ多様体における等周構造に関する先行研究を統合・拡張し、これらの幾何学的問題に対する統一されたスペクトル的枠組みを提供している。結果は、特異なケース $n \geq 8$ の扱いを含め、すべての次元 $n \geq 3$ に適用可能である。