論文「ホロモルフィック葉付き構造の特異点集合の連結性に関する考察」の技術的サマリー

本論文は、射影多様体上の特異ホロモルフィック葉付き構造（singular holomorphic foliations）における、特異点集合の幾何学的・位相的な性質に関する研究です。著者らは、ノーマル束の行列式が ample（十分大）であるという条件の下で、特異点集合の特定の次元を持つ成分が連結であることを証明し、これが積分可能性に対する位相的障害（obstruction）となることを示しました。

以下に、問題設定、手法、主要な結果、および意義について詳細をまとめます。

1. 問題設定と背景

• 対象: $n$ 次元射影多様体 $X$ 上の、次元 $k > 1$ の特異ホロモルフィック葉付き構造 $\mathcal{F}$。
• 定義: $\mathcal{F}$ は、接束 $TX$の部分層としての積分可能なコヒーレント層$\mathcal{F}$ として定義され、以下の完全列で記述されます。
  $$0 \to \mathcal{F} \to TX \to N\mathcal{F} \to 0$$
  ここで、$N\mathcal{F}$ はノーマル束（階数 $n-k$）です。
• 特異点集合: 特異点集合 $\text{Sing}(\mathcal{F})$ は、ノーマル束が局所自由でない点の集合であり、その余次元は 2 以上です。
• 研究動機:
  • 1960 年代の Raoul Bott の定理は、積分可能な葉付き構造が存在するためには、ノーマル束のチャーン類に関する多項式が特定の次数で消滅しなければならない（Bott の消滅定理）という位相的制約を示しました。
  • 一方、特異点を持つ分布（integrable ではないものも含む）において、$k-1$ 次元の連結成分が複数存在する例が知られています。
  • D. Cerveau の問い: 特に $\mathbb{P}^3$ 上の余次元 1 の葉付き構造において、特異点集合の 1 次元成分が連結であるかどうか、あるいはどのような条件で連結性が保証されるかという問題が提起されていました。

2. 主要な定理と結果

定理 1（主定理）

$X$ を $n$ 次元射影多様体、$\mathcal{F}$ を次元 $k > 1$ の特異ホロモルフィック葉付き構造とする。ノーマル束の行列式 $\det(N\mathcal{F})$ がample（十分大）であると仮定する。
特異点集合 $\text{Sing}(\mathcal{F})$ を、次元 $k-1$ の成分 $Z$ と、それより次元の低い成分 $Z^-$ の和 $Z \cup Z^-$ と分解する。
このとき、$Z$ は連結集合である。

• 鋭さ（Sharpness）: この結果は鋭い（sharp）ものであり、すべての仮定（$k>1$、$\det(N\mathcal{F})$ の ample 性、射影多様体であること）が不可欠です。
• $\mathbb{P}^3$ への応用: 射影空間上のホロモルフィック葉付き構造のノーマル束の行列式は常に ample であるため、この定理は D. Cerveau の問いに対して肯定的な回答を与えます（$\mathbb{P}^3$ 上の次元 2 の葉付き構造において、特異点の 1 次元成分は連結）。

コロラリー 1（積分可能性の障害）

$X$ を $h^1(\mathcal{O}_X)=0$ を満たす滑らかな射影 3 次元多様体とし、$\mathcal{F}$ を余次元 1 の葉付き構造とする。特異点の 1 次元成分の和集合を $C$ とし、$C$ が既約（reduced）かつ $\det(N\mathcal{F})$ が ample であると仮定する。
さらに $h^1(T_X \otimes \det(N\mathcal{F})^*) = h^2(T_X \otimes \det(N\mathcal{F})^*) = 0$ が成り立つとき、以下の等式が成立します。
$$h^2(\mathcal{F} \otimes \det(N\mathcal{F})^*) = c_3(\mathcal{F}) \cap [X]$$
右辺は、$\mathcal{F}$ の孤立特異点の重み付き個数に相当します。
特に $X=\mathbb{P}^3$ の場合、この条件は満たされ、局所自由な接束を持つ葉付き構造が存在するためには、孤立特異点の数が特定の値でなければならないという制約が生じます。これは、局所自由な層が葉付き構造の接束となることに対する位相的・代数幾何的な障害となります。

コロラリー 2（$\mathbb{P}^3$ 上の局所自由な接束を持つ葉付き構造）

$\mathbb{P}^3$ 上の余次元 1 の葉付き構造 $\mathcal{F}$ について、その接束が局所自由であると仮定する。
このとき、以下のいずれかが成り立たなければならない。

1. $\mathcal{F}$ が平面のペンシル（pencil of planes）である（この場合、特異点は直線）。
2. 特異点集合 $\text{Sing}(\mathcal{F})$ が特異曲線（singular curve）である。
   つまり、滑らかで連結な特異点集合を持つ、非自明な（平面のペンシルでない）積分可能な葉付き構造は存在しません。

3. 証明の手法と論理構成

証明の核心は、**Baum-Bott 残留数（residues）**の理論にあります。

1. Baum-Bott 残留数の定式化:

   • 特異点集合の $k-1$ 次元の連結成分 $Z_1, \dots, Z_s$ に対して、残留数 $\text{Res}(\mathcal{F}, Z_i)$ が定義されます。これらは $H^{2k-2}(Z_i)$ の元です。
   • ポアンカレ双対性を用いて、これらを $H^{2(n-k+1)}(X)$ の元 $\widehat{\text{Res}}(\mathcal{F}, Z_i)$ として扱うことができます。
   • Baum-Bott の公式により、ノーマル束のチャーン類 $c_1(N\mathcal{F})^{n-k+1}$ は、これらの残留数の和として表されます。
     $$c_1(N\mathcal{F})^{n-k+1} = \sum_{i=1}^s \widehat{\text{Res}}(\mathcal{F}, Z_i)$$

2. Ample 性の利用:

   • $\det(N\mathcal{F})$ が ample であるという仮定から、$c_1(N\mathcal{F})^{n-k+1}$ は非ゼロであり、かつその値は各成分 $Z_i$ に対して「同じ非ゼロの値」に等しくなることが示されます。
   • 具体的には、各成分 $Z_i$ における残留数を評価し、それを $X$ 全体で積分（カップ積と積分）することで、各成分が寄与する値が等しいことが導かれます。

3. 連結性の導出:

   • 上記の計算により、各連結成分 $Z_i$ が寄与する値はすべて等しく、かつ全体積分値は非ゼロです。
   • したがって、もし連結成分が $s$ 個存在すれば、全体積分値は $s$ 倍の値になります。しかし、計算結果は「1 倍の値」に一致するため、$s=1$ でなければ矛盾が生じます。
   • これにより、$k-1$ 次元の成分は連結である（$s=1$）ことが証明されます。

4. 例と仮定の必要性（第 4 章）

著者らは、定理の仮定がなぜ必要かを示す例を提供しています。

• 非射影多様体（例 4.1）: Hopf 多様体上の葉付き構造では、特異点集合が複数の連結成分（楕円曲線）を持つことがあり、定理が成り立ちません。これは $X$ が射影的でない場合の反例です。
• 積多様体（例 4.2）: 積多様体上の葉付き構造では、ノーマル束の行列式が ample でない場合、特異点集合が非連結になることがあります。
• 次元の制約（Remark 4.4）: $n \le 2k-2$ の場合、射影空間内の任意の $k-1$ 次元部分多様体は必ず交わるため、連結性は自明に成り立ちます。定理の非自明な領域は $n > 2k-2$ です。
• $k=1$ の場合（Remark 4.5）: 曲線による葉付き構造（$k=1$）では、特異点が 0 次元の複数の点になることがあり、定理は $k>1$ に限定されています。

5. 意義と結論

• Bott 現象の拡張: Bott の消滅定理が「積分可能な構造におけるチャーン類の消滅」を述べていたのに対し、本論文は「特異分布における特異点集合の連結性」という新しい位相的障害を確立しました。
• Cerveau の問いへの回答: $\mathbb{P}^3$ 上の余次元 1 の葉付き構造において、特異点の 1 次元成分が連結であることが保証され、かつ局所自由な接束を持つ非自明な積分可能構造は存在しないことが示されました。
• 積分可能性の判定: 特異点のトポロジー（連結性や特異点の個数）を調べることで、与えられた分布が積分可能かどうかを判定する強力なツールを提供しています。

総じて、本論文は複素幾何学と位相幾何学の交差点において、特異点集合の構造が積分可能性にどのような制約を課すかを明確にした重要な成果です。