Locally rigid implies globally rigid in Kahler geometry

ムーリン・リーによる論文「局所的に剛性であることはケーラー幾何において大域的に剛性であることを意味する」の詳細な技術的要約を以下に示す。

1. 問題提起と文脈

この論文は、変形 under におけるコンパクトなケーラー多様体の剛性に関する複素幾何学の根本的な問いに答えるものである。

• 定義:
  • 局所的に剛性: 多様体 $X$ が局所的に剛性であるとは、$X$ をファイバーとして含む任意の滑らかな族 $\pi: \mathcal{X} \to B$ が、そのファイバーの近傍で局所的に自明である（すなわち、すべての近傍のファイバーは $X$ と同型である）ことをいう。
  • 大域的に剛性: 多様体 $X$ が大域的に剛性であるとは、$X$ と変形同値である任意の多様体 $X'$ が実際には $X$ と同型であることをいう。
  • 変形同値: 2 つの多様体が変形同値であるとは、それらが有限個の直接変形（円板上の滑らかな族）の列によって接続可能であることをいう。
• 核心的な問い: コンパクトな非ユニールードなケーラー多様体において、局所的な剛性は大域的な剛性を意味するか？
  • 無限小剛性（$H^1(X, T_X)=0$）が局所的な剛性を意味することは既知である（高橋・スペンサー・クラニシ理論）。
  • 極小一般曲面については、局所的な剛性が大域的な剛性を意味することが証明されている（[1] の著者らによる）。
  • 問い 1.1: $X$ がコンパクトな非ユニールードなケーラー多様体であり、局所的に剛性である場合、それは大域的に剛性か？

2. 手法

著者は、局所的性質と大域的性質の間のギャップを埋めるために、ホッジ構造の変形 (VHS)、バラレのサイクル空間、およびモジュライ理論の組み合わせを用いる。

A. 偏極族の構成

中心的な技術的課題は、局所的な同型を全体の族に拡張することである。著者は、族を「偏極」させるための特定のコホモロジー類を構成する。

1. 局所的自明性: ファイバーがケーラーであり、$t_1$ の近傍で局所的に自明である族 $\pi: \mathcal{X} \to \Delta$ が与えられたとき、著者は微分同相写像 $T: \mathcal{X} \cong X_{t_1} \times \Delta$ を用いてコホモロジー類を輸送する。
2. ホッジ濾過: 族が $t_1$ の近傍で局所的に自明であるという事実を用いると、高橋・スペンサー写像は局所的に消滅する。周期写像（グラスマンニアンへの正則写像）の性質により、ホッジ濾過 $F^p$ が円板 $\Delta$ 全体で一定であることが示される。
3. 大域的類の構成（補題 3.1）: 著者は、その制限 $\alpha_t$ がすべての $t$ に対して $H^{1,1}(X_t, \mathbb{C})$ に属する大域的実コホモロジー類 $\alpha \in H^2(\mathcal{X}, \mathbb{R})$ を構成する。
4. ケーラー射の構成（補題 3.2 および 3.3）: デマイユ・パウンの定理と層コホモロジーの議論を用いて、著者は $\alpha$ を商層の切断 $\Theta$ に持ち上げ、相対的なケーラー形式の構成を可能にする。これにより、族が稠密な開集合上でケーラー射（具体的には、偏極されたケーラー多様体の族）であることが確立される。

B. モジュライ空間の議論

証明は、偏極された非ユニールードなケーラー多様体の粗モジュライ空間 $\mathcal{M}$ の性質に大きく依存している。

• ハウスドルフ性: 偏極された非ユニールードなケーラー多様体のモジュライ空間 $\mathcal{M}$ は、分離された（ハウスドルフな）複素空間であることが知られている。
• 解析接続: 族は、稠密な開集合 $W \subset \Delta$ から $\mathcal{M}$ への正則写像 $f: W \to \mathcal{M}$ を誘導する。
• 定数性: 族が $t_1$ の近傍で局所的に自明であるため、写像 $f$ はある近傍で定数である。$\mathcal{M}$ がハウスドルフであり、かつ写像が正則であるため、像が開集合上で一点であれば、写像は連結成分全体（あるいは領域が既約・連結であれば全体）で定数でなければならない。

C. 「非ユニールード」条件の扱い

ファイバー $X_{t_1}$ が非ユニールードであるという条件は決定的である。

• ユニールード多様体（有理曲線に覆われるもの）は、分離されていないモジュライ空間を持つことが多く、変形において「ジャンプ」現象を許容する。
• 非ユニールード多様体については、モジュライ空間は適切に振る舞う（分離されている）。著者は [8, 命題 11] を引用し、中心ファイバーが非ユニールードであれば、近傍のファイバーも非ユニールードのまま保たれることを保証し、これによりモジュライ空間への写像が大域的に well-defined であることを示している。

3. 主要な結果と定理

定理 1.3（主要定理）:
$\pi: \mathcal{X} \to \Delta$ をファイバーがケーラーである固有な滑らかな射とする。族が点 $t_1$ で局所的に自明（すなわち、$t_1$ 近傍の $t$ に対して $X_t \cong X_{t_1}$）であり、かつファイバー $X_{t_1}$ が非ユニールードなケーラー多様体であるならば、すべてのファイバーは同型である（すべての $t \in \Delta$ に対して $X_t \cong X_{t_1}$）。

系 1.4:
コンパクトな非ユニールードなケーラー多様体は、局所的に剛性であれば大域的に剛性である。

• 証明の論理: $X$ が局所的に剛性である場合、変形同値な任意の多様体 $X'$ は族の鎖を介して接続可能である。この鎖の各族に定理 1.3 を適用することで、すべての中間ファイバーが前のものと同型であることが証明され、したがって $X \cong X'$ となる。

系 1.5:
曲面に特化したもの：コンパクトな非ユニールードなケーラー曲面は、局所的に剛性であれば大域的に剛性である。

系 1.7（大域的非変形性）:
コンパクトなケーラー多様体の滑らかな族が、すべての $t \in \Delta^* = \Delta \setminus \{0\}$ に対してファイバー $X_t \cong S$ を持ち、かつ $S$ が非ユニールードなケーラー多様体であるならば、中心ファイバー $X_0$ も $S$ と双正則同型である。

• これは、ケーラー射の下での非ユニールード多様体に関する「大域的非変形性」の問題を解決するものである。

4. 意義と貢献

1. 予想の解決: この論文は問い 1.1 に肯定的に答えることで、非ユニールードなケーラー多様体という広範なクラスにおいて、局所的な剛性が大域的な剛性を保証するのに十分であることを確立した。これは、以前は極小一般曲面に対してのみ知られていた結果を拡張するものである。
2. モジュライ空間の応用: 偏極された非ユニールード多様体のモジュライ空間のハウスドルフ性の威力が、変形問題の解決において示されている。これは、モジュライ空間の分離性を実効的に利用して、族における同型類の「ジャンプ」を防ぐものである。
3. 技術的革新: 稠密な開集合上でケーラー類であり続ける大域的な類 $\alpha$ の構成（そして非ユニールード条件を通じて全体に拡張するもの）は、デマイユ・パウンの定理とバラレのサイクル空間の洗練された応用である。
4. 大域的非変形性への示唆: この結果は、非ユニールード多様体に対する大域的非変形性問題に対して強力な肯定的な答えを提供し、射影空間や有理同質空間（これらはしばしばユニールードであるか、特定の構造を持つ）に対する既存の結果を補完するものである。

要約

ムーリン・リーは、ケーラー幾何の領域において、コンパクトな非ユニールード多様体が局所的に変形不可能であれば、大域的にも全く変形不可能であることを証明した。この証明は、族に対する大域的な偏極を構成し、対応するモジュライ空間の分離性を利用して、局所的に定数である変形写像が大域的に定数でなければならないことを示すことに依存している。