Geometry of Holomorphic One-forms on Smooth Projective Varieties

技術要約：滑らかな射影多様体上の正則1形式の幾何学

問題提起
本論文は、正則1形式の観点から、不規則な多様体の幾何学およびトポロジーを調査している。具体的には、零点を持たない正則1形式の存在と、滑らかな射影多様体からアーベル多様体への射の滑らかさとの関係を扱っている。さらに、零点を持つ正則1形式の空間の構造を特徴付けようと試みている。特に、それらの「下位レベル集合」（零点の余次元が $i$ 以下である形式の集合）が、線形構造（ベクトル部分空間の和集合）を示すのか、あるいはより複雑な代数幾学的性質を反映して非線形になり得るのかという中心的な問いに取り組んでいる。

手法
著者らは、微分幾何学的技法、代数的トポロジー、および双有理幾何学を組み合わせて用いている：

1. 極限相対法線ベクトル： $f: X \to A$（$A$ はアーベル多様体）という射の特異性を分析するために、著者らは相対法線空間 $T^*_f X$ の概念を利用する。著者らは、「余次元0におけるブローアップなし」と呼ばれる条件を導入しており、これは相対法線空間から標的への自然な写像の等次元性によって定義される。
2. トポロジー的制約： 証明は、$R^i f_* \mathbb{Z}$ が $\mathbb{Z}$-局所層である（$\mathbb{Z}$-ホモロジーファイバー束を定義する）という条件を利用している。著者らは、このトポロジー的条件が、射を「余次元0におけるブローアップなし」に強制し、特定の条件下では滑らかにすることを証明している。
3. コホモロジー・ジャンプ・ロカイと定式性： コホモロジー・ジャンプ・ロカイに由来する形式（線形集合 $V^i(X)$ を形成する）と、そうでない形式（「非定式」な形式）を区別することで、零点集合の空間の線形性の研究を行う。
4. 具体的な構成： 線形性の限界を示すために、著者らはアーベル多様体における部分多様体のブローアップ、および楕円曲線とアーベル多様体の積のハイパープレーン切断を含む具体的な例を構成している。

主要な貢献と結果

• 滑らかな射の特性付け（定理 1.1 / 2.5）：
  本論文は、滑らかな射影多様体 $X$ から単純なアーベル多様体 $A$ への射 $f: X \to A$ が滑らかであるための必要十分条件を確立している。射が滑らかであるための条件は、$A$ 上の正則1形式 $\omega$ が存在し、そのプルバック $f^*\omega$ が零点を持たないことである。この結果は、第2著者による予想 [13] を確認し、低次元の場合に関する Church [5] の先行研究を拡張するものである。$A$ の単純性は、楕円曲線の積のブローアップを用いた反例を通じて、必要条件であることが示されている。

• $\mathbb{Z}$-ホモロジーファイバー束と平坦性（定理 1.2 / 2.2）：
  重要な中間結果として、$f: X \to Y$ が滑らかな多様体と正規多様体の間の固有射であり、$R^i f_* \mathbb{Z}$ が局所層である場合、$Y$ は滑らかであり $f$ は「余次元0におけるブローアップなし」であることを証明している。この結果は、このような射の滑らかさに関する de Bobadilla-Kollár 予想に基づいている。

• 零点を持つ空間の線形性（定理 1.3 / 3.2, 3.3, 3.7）：
  著者らは、次元 $n$ の滑らかな射影多様体 $X$ 上の、零点を持つ正則1形式の空間 $W^n(X)$ を調査している。以下のケースにおいて、$W^n(X)$ は有限個のベクトル部分空間の和集合（「線形集合」）であることを証明している：

  1. $X$ が良質な極小モデルである場合。
  2. $X$ が単純なアルバネーゼ多様体を持つ場合。
  3. $\dim(X) \leq 3$ である場合。
     これらのケースでは、その構造は $X$ の双有理幾何学、またはアルバネーゼ写像の単純性によって制御されている。

• 非線形な下位レベル集合（定理 1.4 / 4.1）：
  アーベル多様体の部分多様体における下位レベル集合 $W^i(X)$ は常に線形であるという予想に反して、著者らは反例を構成している。著者らは、滑らかな射影4種多様体 $X$（アーベル6種多様体の部分多様体）において、第3下位レベル集合 $W^3(X)$ が線形ではないことを示している。これは [9] で提起された問いに答えるものであり、零点を持つ形式の空間が、コホモロジー・ジャンプ・ロカイでは捉えきれない繊細で非線形な代数構造を符号化し得ることを示している。

• 非定式な1形式（セクション 4.2）：
  本論文では、「非定式」な1形式を、コホモロジー・ジャンプ・ロカイから生じない零点を持つ形式として定義している。著者らは、コシュル複体の完全性に関連するコホモロジー的判定基準を提供している。また、そのような形式を持つ曲面について研究し、アルバネーゼ次元が1である曲面において、非定式性はアルバネーゼ写像のファイバーにおける非簡約成分の存在に関連していることを示している。さらに、そのような曲面は、高次数の曲線の積によって支配されないことを証明している。

意義
本論文は、正則1形式の空間の「詳細な研究」を提供すると主張しており、トポロジー的不変量（局所層）と幾何学的性質（射の滑らかさ）の間の溝を埋めている。存在しないプルバック形式の存在と、単純なアーベル多様体への射の滑らかさとの間の同値性を証明することで、著者らはこの分野における特定の予想を解決している。

さらに、アーベル多様体の部分多様体における非線形な下位レベル集合の発見は、これらの空間がコホモロジー・ジャンプ・ロカイに由来する線形構造のみによって支配されているという従来の直感に疑問を投げかけるものである。著者らは、非定式な1形式が、特に双有理的な修正や極小モデルの構造に関する、多様体の「深い代数幾何学的性質」を反映していることを示唆している。本研究は、アルバネーゼ写像の特異性が正則1形式の零点をどのように制御するかについての理解を洗練させ、射を分析するための新しいツール（極限相対法線ベクトル）を提供している。