The limits of Kahler manifolds under holomorphic deformations

技術的概要：正則変形におけるケーラー多様体の限界

問題提起
本論文は、複素幾何学における長年の課題である、正則変形下でのケーラー性の安定性に関する問題を扱っている。具体的には、以下の予想 1.1を検証する：すべてのファイバー $X_t$ ($t \neq 0$) がケーラーであるような、滑らかなコンパクト複素多様体の族 $f: X \to \Delta$（ここで $\Delta$ は単位円板）が与えられたとき、中心ファイバー $X_0$ もまた必然的にケーラーか？

この予想は、分類理論と西の成果を通じて複素曲面（$\dim X_t = 2$）に対しては成立することが知られているが、次元 $\dim X_t \geq 3$ の場合は未だ largely 未解決である。広中による先行研究は、3 次元におけるケーラー多様体の極限が必ずしもケーラーではないことを示した。その後のポポビチ、バラレ、ラオ・ツァイによる結果は、ホッジ数や計量に関する特定の制約の下で、極限がモイシェゾンとなるか、あるいはケーラーのままとなる条件を確立した。しかし、射影性を仮定しない高次元におけるケーラー多様体の極限に関する一般的な結果は希少である。

手法
著者らは、コホモロジー不変性、正則カレントの構成、および特定の計量条件を組み合わせることで、中心ファイバー $X_0$ のケーラー性を確立する。手法は主に 3 つの段階で進行する。

1. コホモロジー解析と束の構成:
   著者らは、族内におけるボット・チェルンコホモロジー ($H^{p,q}_{BC}$) およびドルボーコホモロジー ($H^{p,q}_{\partial}$) の挙動を解析する。これら次元の上半連続性（命題 3.3）と、次元が一定である場合のコホモロジー束の滑らかさに関するコダイラとスペンサーの結果（命題 3.4）を利用する。
   重要なステップとして、中心ファイバーが等式 $h^2(X_0) = 2h^{0,2}_{\partial}(X_0) + h^{1,1}_{BC}(X_0)$ を満たす場合、$(1,1)$-類の束 $\cup H^{1,1}_{BC}(X_t, \mathbb{C})$ が第二コホモロジー束の滑らかな部分束を形成することを確立する。これにより、これらの部分束に制限されたガウス・マンニン接続の定義が可能となる。

2. 正カレントの構成（補題 3.11）:
   バラレのサイクル空間の固有性（命題 3.8, 3.9）と、平行移動下でのケーラー錐の不変性（定理 3.10、ドメイヤ・パウン）を利用し、著者らは中心ファイバー $X_0$ 上の閉じた正 $(1,1)$-カレント $T$ を構成する。
   前述のコホモロジー的等式を仮定することで、近傍のファイバー $X_t$ ($t \neq 0$) からのケーラー類を、ある経路に沿って $X_0$ へ平行移動する。対応する滑らかな形式の極限がカレント $T$ を生み出す。決定的な点は、このカレントの絶対連続部分 $T_{ac}$ が $\int_{X_0} T_{ac}^n > 0$ を満たすことを証明することである。

3. 計量基準の適用（定理 2.2）:
   本論文は、トサッティによる基準（定理 2.2, [23]）を採用する。この基準によれば、コンパクト複素多様体 $X$ が $\partial\bar{\partial}\omega = 0$ および $\partial\omega \wedge \bar{\partial}\omega = 0$ を満たす計量 $\omega$ を備え、かつ $\int_X T_{ac}^n > 0$ となる閉じた正カレント $T$ が存在すれば、$X$ はケーラーである。
   著者らは、$X_0$ がそのような計量を許容し、かつ関連するコホモロジー的次元が一定（具体的には $h^{0,2}_{\partial}(X_0) = h^{0,2}_{\partial}(X_t)$）であると仮定すれば、構成されたカレントが体積条件を満たすことを検証する。

主要な貢献と結果

• 定理 1.2: 主要な結果として、$t \neq 0$ でケーラーファイバーを持つコンパクト複素多様体の滑らかな族 $f: X \to \Delta$ において、中心ファイバー $X_0$ が以下の条件を満たすならば、$X_0$ はケーラー多様体であることを証明する。

  1. $X_0$ は $\partial\bar{\partial}\omega = 0$ および $\partial\omega \wedge \bar{\partial}\omega = 0$ を満たす計量 $\omega$ を許容する。
  2. $t \neq 0$ に対して $h^{0,2}_{\partial}(X_0) = h^{0,2}_{\partial}(X_t)$ である。
     論文は、(1) の微分条件を満たす計量は非自明であることを指摘している。多くの非ケーラー多様体がそのような計量を許容する（例えば、特定の幂零多様体）が、この定理は極限がケーラーとなるための十分条件を提供する。

• 系 1.3: 著者らは、ケーラー曲面の極限がケーラーであることを示す別の証明を提供する。曲面の分類に依存する従来の証明とは異なり、この証明は曲面におけるフロリッヒャースペクトル系列の $E_1$ における退化と、高次元向けに開発された一般的な機構を利用する。

• コホモロジー的不変性: 本論文は、一定の $h^{0,2}_{\partial}$ と $X_0$ 上の特殊な計量の存在を仮定すれば、等式 $h^2(X_0) = 2h^{0,2}_{\partial}(X_0) + h^{1,1}_{BC}(X_0)$ が成立することを確立する（命題 3.14）。この等式は、$(1,1)$-コホモロジー束の滑らかさを保証するために必要な条件であり、平行移動の議論を可能にする。

意義と主張
本論文は、$n \geq 3$ 次元における変形の特定のしかし重要なクラスに対して、ケーラー極限問題を解決すると主張している。著者らは、この研究以前には、射影性を仮定しない高次元におけるケーラー多様体の極限に関する結果は極めて限られていたと述べている。

その意義は以下の点にある。

1. 計量とトポロジーの架け橋: 中心ファイバー上の特定の「バランス型に似た」計量の存在と、コホモロジー次元のトポロジカルな安定性を結びつけることで、ケーラー性を保証する。
2. 分類からの独立性: 曲面の分類に依存しない系 1.3 の証明を提供することで、著者らはコホモロジーとカレントに基づくアプローチの堅牢性を示し、それが高次元の問題に対する viable な道筋であることを示唆している。
3. 予想の精緻化: 一般的な予想は未解決のままであるが、中心ファイバーが特定の微分性質を持つ計量を有し、ホッジ数 $h^{0,2}_{\partial}$ が変形全体で一定であれば、ケーラー性は保存されることを明確にする。

著者らは謙虚なトーンを維持し、計量とコホモロジーに関する条件は「穏やかな仮定」であると認めつつも、結果を確立するために必要であると述べている。また、これらの特定の制約なしにすべてのコンパクト複素多様体に対して予想を解決したわけではないと主張している。