Extendability of foliations

技術要約：葉層の延長可能性

問題設定
本論文は、正則な埋め込み（余次元1）として大きな多様体 $Y$ に埋め込まれた滑らかな多様体 $X$ 上の、正則特異葉層（holomorphic singular foliations）の延長問題を取り扱う。$X$ 上の葉層 $\mathcal{F}$ が与えられたとき、$\mathcal{F}$ を $X$ 上に制限するような $Y$ 上の葉層が存在するかどうかという問いが中心的な課題である。著者らは、解析的および代数的な設定の両方においてこの問題を調査しており、$Y$ は一般的な周囲空間、あるいは具体的には $X$ の変形（展開／unfoldings の理論）の全空間として想定されている。

手法
著者らは、形式的な幾何学的アプローチを用い、$X$ の $Y$ における無限小近傍 $X^{(n)}$ のレベルで葉層の延長問題を分析する。戦略は主に以下の2つの段階で進められる：

1. 無限小解析: 著者らは、$X^{(n-1)}$ から $X^{(n)}$ への葉層の延長に関する障害理論（obstruction theory）を構築する。分布（distribution）に沿った主部分の層（sheaf of principal parts） $P_{\mathcal{F}, L}$ を用いて、可能な延長の空間を記述する。

   • 著者らは、分布の延長の集合が $H^0(X, P_{\mathcal{F}, N_{X/Y}^{\otimes -n}})$ によって推移的に作用されることを確立している。
   • 可積分な（integrable）延長の空間を、定義される1形式の微分を含む核条件を通じて特定し、それにより層 $P^{\text{int}}_{\mathcal{F}, N_{X/Y}^{\otimes -n}}$ を導出する。
   • 決定的な点として、可積分な葉層を延長する際の障害を、持続的特異点（persistent singularities：展開に沿って平滑化できない特異点）のイデアル層 $\mathcal{I}_{\text{Per}}$ を用いたコホモロジー群 $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ に関連付けている。

2. 代数化: 形式的な延長（すなわち、形式的近傍 $\hat{X}_{/Y}$ への延長）が確立された後、著者らは有効レフシェッツ条件 $\text{Leff}(X, Y)$ を適用する。この条件は、形式的なベクトル束や切断が、$X$ の近傍における実際の代数的（または解析的）な対象へと代数化できることを保証するものである。

主要な貢献と結果

• 延長の存在（定理 1.1 および系 1.2, 1.3）:
  $X \subseteq Y$ が余次元1の正則埋め込みであり、$\mathcal{F}$ が「障害のない特異点（unobstructed singularities）」を持ち、かつ全ての $n \geq 1$ に対してコホモロジー群 $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ が消滅する場合、$\mathcal{F}$ は形式的な延長を持つことを証明している。もし有効レフシェッツ条件 $\text{Leff}(X, Y)$ が成立するならば（これは $X$ が滑らかな射影多様体 $Y$ のアンプルな因子である場合に成立する）、この形式的延長は $Y$ 上の大域的な葉層へと代数化される。

  • この結果は、特定のコホモロジー消滅条件の下で、アンプルな因子上の葉層が延長されることを示すために適用されている。
  • また、展開（unfolding）にも適用される：$H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}}) = 0$ であれば、障害のない特異点を持つ任意の葉層は、$X$ のあらゆる変形に沿って展開される。

• 正値性基準（定理 1.4）:
  著者らは、埋め込みの正値性と葉層の法束（normal bundle）の関係に基づく判定基準を提示している。$X$ が $Y$ のアンプルな因子であり、$\dim(X) \geq 3$ かつ、束 $N_{\mathcal{F}}^{\otimes 2} \otimes N_{X/Y}^{\otimes -1}$ が反アンプル（anti-ample）である場合、障害のない特異点を持つ任意の葉層は $Y$ へ一意に延長される。これは、射影空間内の超曲面上の葉層に関する既往の研究（例：[Fig23]）を回収し、一般化したものである。

• 一意性と葉層版 Zak-L'vovsky 問題（セクション 5）:
  本論文は、延長の一意性を調査している。著者らは、延長空間 $\text{Ex}_n(\mathcal{F}, N_{X/Y})$ が消滅することによって特徴付けられる「Camacho-Lins Neto 正則」な葉層を導入し、Zak-L'vovsky 問題（部分多様体の延長は錐（cone）になるかという問い）の葉層版を提示している。

  • 著者らは、これらの延長空間が消滅する場合、葉層の延長は一意であることを証明している。
  • 二分性が確立されている：$X$ がアンプルな因子であり、延長が一意である場合、延長が一意的であるか、あるいは $X$ がハイパープレーン（超平面）であり、その延長が錐であるかのいずれかである。

• 管状近傍と剛性（定理 1.5 および 1.6）:
  著者らは、管状近傍（tubular neighborhoods）の存在と葉層の延長可能性を結びつけている。

  • 定理 1.5: $X$ が（第1次展開空間が自明であるような）「剛直な特異点（rigid singularities）」を持つ葉層を持ち、それが $Y$ へと延長可能であり、かつ特定のコホモロジー群が消滅する場合、$X$ は管状近傍を持つ。$Y$ が射影的であり $X$ がアンプルであれば、上述の二分性が導かれる。
  • 定理 1.6（Gómez-Mont の一般化）: 著者らは、固有な（proper）滑らかな多様体 $X$ 上の葉層 $\mathcal{F}$ が剛直な特異点を持ち、$H^1(X, T_{\mathcal{F}}) = 0$ であるとき、$\mathcal{F}$ のあらゆる展開は解析的に自明であることを証明している。これは、曲面や $\mathbb{P}^m$ 上の特定のクラスの葉層に関する既往の結果を一般化するものである。

意義と範囲
本論文は、形式的な変形理論と大域的な正値性の条件を組み合わせることで、葉層の延長に関する統一的な枠組みを提供することを目的としている。その意義は以下の点にある：

1. 展開理論の一般化: 展開（unfolding）の理論（Suwa, Gómez-Montらによって以前研究されたもの）を、特定のケースに限らず、任意の変形および周囲空間へと拡張している。
2. 特異点と大域幾何学の結合: 特異点の局所的な性質（持続的 vs 剛直）を、層 $\mathcal{I}_{\text{Per}}$ を通じた大域的な障害へと明示的に結びつけている。
3. 一意性の結果: 葉層の延長の一意性に関する新たな十分条件を提示し、葉層のモジュライ理論に寄与している。

著者らは、自らの結果が特定のコホモロジー消滅条件および有効レフシェッツ条件に依存していることを認め、控えめなトーンを維持している。彼らはすべての葉層に対する延長問題を解決したと主張しているのではなく、正の埋め込み条件下における、「障害のない」および「剛直な」特異点を持つ広範なクラスに対して肯定的な回答を与えているのである。本研究は、葉層のモジュライ理論、および制限と延長の幾何学への理解を深めるための貢献として提示されている。