Green functions on stationary varifolds

1. 問題設定と背景

• 対象: $\mathbb{R}^{n+k}$ 内の定常積分 $n$-バリーフォールド（Stationary Integral Varifold）$V$。これらは、面積最小化曲面や極小曲面の一般化であり、特異点（singular set）を持つ可能性があります。
• 目的: 完全非コンパクト多様体、特に非負リッチ曲率を持つ多様体におけるグリーン関数の研究は長く行われてきましたが、本論文は**特異点を持つ極小部分多様体（バリーフォールド）**におけるグリーン関数を対象としています。
• 課題: 従来のグリーン関数の理論（ボホナー公式、最大値原理、リッチ曲率の下限など）は、バリーフォールドの文脈では直接適用できません。特に、特異点の存在や、バリーフォールドが「分解可能（decomposable）」である場合の挙動が複雑になります。
• 焦点:
  1. グリーン関数の存在と構成。
  2. 多重度 1 で収束するバリーフォールド列におけるグリーン関数の収束性。
  3. 極（pole）の近傍および無限遠での漸近挙動。
  4. グリーン関数の大域的な上下界の評価。
  5. 「分解可能（indecomposable）」な点と「分解可能（decomposable）」な点における挙動の違い。

2. 手法と主要なツール

本論文の核心は、「分解不可能性（Indecomposability）」の概念と、それに基づく局所ハルナック不等式の確立にあります。

• 分解不可能性（Indecomposability）の定義:
  バリーフォールド $V$ が、$V = V_1 + V_2$ かつ $\delta V_1 = \delta V_2 = 0$ となる場合、$V_1=0$ または $V_2=0$ であるとき、$V$ は分解不可能であると言います。また、点 $x$ における接錐（tangent cone）がすべて分解不可能であるとき、$x$ は分解不可能点（$x \in \text{Indec } V$）と呼ばれます。

  • 意義: 分解可能な場合（例：2 つの平面が交差する場合）、調和関数は各成分で独立に振る舞うため、ハルナック不等式が成り立ちません。分解不可能性は、特異点近傍での連結性と多重度 1 を保証し、解析的な制御を可能にします。

• 局所ハルナック不等式の確立:
  Grüter と Widman [13] の手法を拡張し、分解不可能点 $x$ の近傍において、その点に近くて定常な任意のバリーフォールド $V'$ に対して、相対的等周不等式（relative isoperimetric inequality）と局所ハルナック不等式を証明しました。

  • この不等式は、$V$ に近いバリーフォールド列に対しても一様に成立するため、変分問題や極限操作において強力な道具となります。

• グリーン関数の構成:
  Grüter-Widman の手法（ソボレフ不等式、平均値不等式、近似グリーン関数の極限）を、定常バリーフォールド上のソボレフ空間と PDE の理論（Caccioppoli 不等式、ソボレフ埋め込みなど）に適用して、極が $spt V$ 上の任意の点（正則点・特異点問わず）であるグリーン関数を構成しました。

• 収束性の証明:
  多重度 1 で収束するバリーフォールド列 $V_i \to V$ に対して、対応するグリーン関数 $G_i$ が $G$ に収束することを示しました。この際、分解不可能点における局所ハルナック不等式と、関数の $L^p$ 収束・一様収束の理論（Rellich 型コンパクト性定理の拡張）を組み合わせました。

3. 主要な結果（定理と結論）

A. グリーン関数の存在と基本性質（Theorem 1.5, 5.2）

• ユークリッド体積成長を持つ定常バリーフォールド上で、極 $x \in spt V$ に対してグリーン関数 $G(x, y)$ が存在します。
• $G(x, \cdot)$ は $W^{1,2}_{loc}$ 空間に属し、無限遠で 0 に収束します。
• 対称性 $G(x, y) = G(y, x)$ は、$\|V\|$-ほとんど至る所、あるいは $x, y$ が正則点または分解不可能点である場合に成立します（特異点では一般に成立しない可能性があります）。

B. 収束定理（Theorem 1.7, 6.1）

• 多重度 1 で収束するバリーフォールド列 $V_i \to V$（$V$ は特異集合の次元条件を満たす）において、極 $x_i \to x_0$ （$x_0$ が正則点または分解不可能点）であれば、グリーン関数 $G_i(x_i, \cdot)$ はコンパクト集合上で $L^q$ 収束し、分解不可能点の近傍や小さな環状領域で一様収束します。
• 特に、$V$ が錐（cone）で極が頂点の場合、環状領域全体で一様収束します。

C. 漸近挙動と評価（Theorem 1.8, 1.10, 7.1, 7.4, 7.5）

• 極近傍および無限遠での漸近挙動:
  極 $x$ が分解不可能点（または正則点）であり、接錐が適切な条件を満たす場合、
  $$\lim_{y \to x} G(x, y)|y-x|^{n-2} = \frac{1}{n(n-2)\omega_n \Theta(V, x)}$$
  が成立します。同様に、無限遠での挙動も接錐の密度 $\Theta(V, \infty)$ によって記述されます。
• 大域的な上界（Sharp Upper Bound）:
  $$G(x, y) \leq \frac{1}{n(n-2)\omega_n \Theta(V, x)} |x-y|^{2-n}$$
  が成り立ちます。等号成立の場合、$V$ はある定常錐と他の定常バリーフォールドの和に分解されるという剛性（rigidity）結果を示しました。
• 大域的な下界:
  $spt V$のすべての点および無限遠が分解不可能である場合、定数$c > 0$に対して$G(x, y) \geq c|x-y|^{2-n}$ という大域的下界が成立します。

D. 分解可能な場合の挙動（Section 8）

• 分解可能な特異点:
  2 つの平面が codimension 2 以下で交差する場合、グリーン関数は各成分で独立に振る舞い、交差点で不連続になったり、対称性が崩れたりします。
• codimension 1 の特異点:
  2 つの平面が codimension 1 で交差する場合（例：3 平面の接合など）、グリーン関数は一方の成分から他方へ「伝播（propagate）」します。この場合、グリーン関数は連続ですが、係数が変化します（例：$2/3$ や $1/2$ 倍など）。
• 例外ケース:
  無限遠での接錐が分解可能であっても、特定の対称性を持つ滑らかな極小曲面（例：カタノイドや Lawlor's neck）では、無限遠での漸近挙動が分解可能錐の期待値とは異なる（より良い）値を持つことが示されました。

E. 応用（Corollary 1.11, 7.7）

• 最小曲面方程式の全解 $u: \mathbb{R}^n \to \mathbb{R}$ に対する勾配評価を導出しました。
  $$|\nabla u(x)| \leq C|x|^{n-2} \left( 1 + \frac{|u(x)-u(0)|}{|x|} \right)^{n-2}$$
  これは、特異点を持つバリーフォールド理論を用いた新しい評価です。

4. 意義と貢献

1. 特異点を含む幾何空間への理論の拡張:
   従来の滑らかな多様体や Ricci 極限空間におけるグリーン関数の理論を、より一般的な「特異点を持つ定常バリーフォールド」へと拡張しました。特に、分解不可能性という幾何学的条件が解析的な不等式（ハルナック不等式）を支配することを明確にしました。
2. 収束性の確立:
   バリーフォールドの収束とグリーン関数の収束の関係を厳密に証明し、特異点近傍での挙動を制御する強力なツールを提供しました。これは、極小曲面の構造解析や特異点の分類において重要な役割を果たします。
3. 分解可能性の役割の解明:
   グリーン関数の対称性、連続性、および上下界が、バリーフォールドが「分解可能か否か」にどのように依存するかを、具体的な例（2 平面の交差、3 平面の接合など）を通じて詳細に分析しました。
4. 応用への道筋:
   最小曲面方程式の解の成長制御など、非線形 PDE の解の性質を、幾何測度論の結果を用いて評価する新しいアプローチを示しました。

5. 結論

Yifan Guo のこの論文は、特異点を持つ極小対象におけるグリーン関数の理論を飛躍的に進展させたものです。局所ハルナック不等式の確立と、分解不可能性の概念を中核に据えることで、特異点近傍および無限遠での詳細な解析を可能にし、その後の幾何学的 PDE の研究に重要な基礎を提供しています。特に、分解可能な場合の「伝播」現象や、剛性定理の証明は、特異点の構造理解において画期的な結果と言えます。