Deformation rigidity for projective manifolds and isotriviality of smooth families

技術的概要：射影多様体の変形剛性と滑らかな族の等型性

問題提起
本論文は、滑らかな族 $\pi: X \to B$ の文脈において、コンパクト複素多様体の変形剛性の問題を取り扱っている。中心的な問い（問い 1.1）は以下の通りである：基底 $B$（具体的には多円板 $\Delta^m$）上のコンパクト複素多様体の滑らかな族において、真の解析的部分集合の補集合にあるすべての $t$ に対して、ファイバー $X_t$ が固定された多様体 $S$ と正則同型である場合、どのような条件下で中心ファイバー $X_0$ もまた $S$ と正則同型となるか？

変形剛性は、負のコードaira 次元を持つ多様体（例えば、ヒルツェブルフ曲面は剛性ではない）および $b_2=1$ を持つ有理同質空間（ケーラー仮定の下で）についてはよく理解されているが、本論文はより高いコードaira 次元を持つ射影多様体に関する知識のギャップに焦点を当てている。具体的には、著者らは固定された多様体 $S$ が半 ample 標準直線束（$\omega_S$）を持つ場合を調査する。

手法
著者らは、主要な結果を証明するために、複素解析幾何学、ホッジ理論、およびモジュライ空間理論の組み合わせを採用している。中心となる定理（定理 1.2）の証明戦略は、以下の 2 つの主要な技術的革新を含む：

1. ホッジ理論による $\pi$-ample 直線束の構成：
   直線束の標準的な延長手続きでは著者らの必要を満たすのに不十分である。彼らはホッジ構造の変形に基づいた新しい延長法を導入する。射の滑らかさによって保証される微分同相写像 $T: X \to X_0 \times \Delta$ を利用し、$H^2(X_t, \mathbb{C})$ 上のホッジ濾過を解析することで、ホッジ濾過が基底上で一定であることを示す。この一定性により、中心ファイバー $X_0$ からの直線束 $L_0$ を、$c_1(L|_{X_0}) = c_1(L_0)$ となるような $X$ 上の大域的直線束 $L$ に延長できる。重要なのは、$L_0$ が ample である場合、延長された束 $L$ が $\pi$-ample となることが示される点である。この構成は、穴あき円板上のファイバーが固定された射影多様体と正則同型であるという事実に依存しており、これによりコダラ・スペンサー写像がゼロとなり、ホッジ濾過が一定となる。

2. 中心ファイバーの半 ample 性の確立：
   大きな障壁は、$t \neq 0$ に対して $\omega_{X_t}$ が半 ample であるとき、$\omega_{X_0}$ が半 ample であることを証明することである。著者らは、この正性が任意の直線束に対して成り立つとは仮定しない。代わりに、以下の手順を踏む：

   • まず、$\omega_{X_0}$ がnefであることを証明する。これは、$\pi$-very ample 直線束 $L$ を構成し、随伴束 $\omega_{X_0}^{\otimes m} \otimes L_0$ の正性を解析することによって達成される。複素構造の変形を通じて $X_0$ 上で 2 形式を構成し、nef 性の計量による特徴付けをチェックする解析的アプローチを用いる。
   • 次に、多重次数の不変性およびコードaira 次元 $\kappa$ と数値的コードaira 次元 $\nu$ の関係を利用する。$t \neq 0$ に対して $\omega_{X_t}$ が半 ample であるため、$\kappa(X_t) = \nu(X_t)$ となる。$\nu(X_0) = \kappa(X_0)$ を示すことで、既知の基準（[20] から）を通じて $\omega_{X_0}$ が半 ample であると結論付ける。

3. モジュライ空間の分離性：
   $\pi$-ample 直線束 $L$ の存在と $\omega_{X_0}$ の半 ample 性により、族 $(X, L)$ は半 ample 標準直線束を持つ偏光多様体の粗分離モジュライ空間 $\mathcal{P}_h$ への射を定義する。穴あき円板上のファイバーは（同型であるため）モジュライ空間内の同じ点に写り、モジュライ空間が分離されているため、この射は定数でなければならない。これにより、中心ファイバーは一般ファイバーと同型となることが強制される。

主要な貢献と結果

• 定理 1.2（主要結果）：$\pi: X \to \Delta^m$ を固有な滑らかなケーラー射とする。真の解析的部分集合の補集合上のファイバーが固定された射影多様体 $S$ と正則同型であり、かつ標準直線束 $\omega_S$ が半 ample であるならば、$\pi$ のすべてのファイバーは $S$ と正則同型である。

  • 意義：これは、偏光多様体（ample 束を持つもの）を必要とした松坂・ Mumford の結果を一般化し、中心ファイバーが事前に偏光射影である必要なく、半 ample 標準直線束を持つ多様体というより広いクラスへ変形剛性を拡張するものである。

• 系 1.4：豊かさ予想（次元 $\leq 3$ および一般型多様体に対して成り立つ）を仮定すると、$S$ がこれらのカテゴリーにおける最小多様体である場合、変形剛性が成り立つ。

• 定理 1.6（等型性基準）：一般ファイバーが良い最小多様体（半 ample 標準直線束を持つ最小多様体）である滑らかな射影族 $f: X \to B$ に対して、双有理等型性は等型性を意味する。

  • 文脈：これは、ファイバーの双有理同値が滑らかな族において実際の同型を意味するかどうかという自然な問いを解決するものである。

• 定理 1.8（パルシン・アラケロフ型基準）：本論文は、古典的なパルシン・アラケロフ定理を一般化する新しい等型性基準を確立する。一般ファイバー $F$ が最小かつ一般型（または $\dim F \leq 3$）であり、相対標準束の押し出しの行列式的次数がゼロである（$\deg(\det f_* \omega_{X/B}^{\otimes k}) = 0$）場合、その族は等型である。

意義と主張
著者らは、この仕事を偏光多様体の代数幾何学とケーラー射の複素幾何学の間の架け橋として位置づけている。

• 一般化：この結果は、正性の条件を ample から半 ample に緩和し、中心ファイバーが偏光されているという要件を除去することで、松坂・Mumford の定理を強化する。
• モジュライ理論：証明は、半 ample 標準直線束を持つ偏光多様体のモジュライ空間の分離性の有用性を浮き彫りにしている。この性質は、双有理多様体が分離されていない点を定義するハイパーケーラー多様体では成り立たない。論文は、ケーラー射の仮定の必要性を強調するために、ハイパーケーラーモジュライの非分離性との対比を明示的に行っている。
• 等型性：本論文は、一般ファイバーが最小性と半 ample 性の条件を満たす場合、曲線に基づく古典的結果をより高次元の族へ拡張する「新しいパルシン・アラケロフ型等型性基準」を提供すると主張している。

論文は、豊かさ予想が低次元および一般型に対しては知られているが、次元 $\geq 4$ の最小多様体に対する変形剛性は未解決の予想（予想 1.5）であり、現在の結果が高次元における豊かさ予想の有効性に条件付きであることを付記して締めくくっている。