[論文レビュー] Low degree Hodge theory for klt varieties

Martin Schwald|arXiv (Cornell University)|Dec 6, 2016

Algebraic Geometry and Number Theory参考文献 9被引用数 3

ひとこと要約

この論文は、klt特異点をもつ複素射影的多様体に対して、1番目および2番目の特異ホッジコホモロジー群が、反射的微分形式の空間に同型なホッジ成分をもつ純粋ホッジ構造をもつことを確立する。klt多様体に対して、Lefschetz (1,1) 定理および弱ホッジ＝リーマン双一次関係を証明し、反射的形式と解消技術を用いて、古典的ホッジ理論を特異的状況へ拡張する。

ABSTRACT

If X is a complex projective variety with klt singularities, then the mixed Hodge structures on the first two singular cohomology groups are pure. We describe the pieces of the Hodge decomposition in terms of reflexive differential forms. Applications include a Lefschetz (1,1) Theorem and a weak analogue of the Hodge-Riemann bilinear relations for klt varieties.

研究の動機と目的

• klt特異点をもつ特異的複素射影的多様体へ古典的ホッジ理論を拡張すること。
• $\mathrm{H}^1(X,\mathbb{C})$ および $\mathrm{H}^2(X,\mathbb{C})$ のホッジ分解を反射的微分形式 $\Omega^{[p]}_X$ を用いて記述すること。
• klt多様体に対してLefschetz (1,1) 定理を確立し、$\mathrm{H}^{1,1}(X)$ 内の整数類をラインバンドルの1番目のチャーン類に同定すること。
• klt多様体に対して、ホッジ＝リーマン双一次関係の弱い類似を証明し、1次および2次形式に制限すること。

提案手法

• klt多様体上の反射的微分形式の拡張定理を用いて、滑らかでない部分から全体の多様体への正則形式を持ち上げること。
• 特異点の解消と引き戻しファンクターを適用し、$X$ 上のコホモロジー類と解消 $\widetilde{X}$ 上のそれらを関係づけること。
• 滑らかな多様体上の局所ホッジ＝リーマン双一次関係を用いて、引き戻しを介して特異多様体上でのグローバル不等式を導出すること。
• カップ積と豊富なクラス $a$ および体積形式を用いて、コホモロジー上にセスキリニア形式 $\psi_{X,a}$ を定義すること。
• 解消に引き戻したときに、$\mathrm{H}^{p,q}(X)$ の原始部においてホッジ＝リーマン形式の正定値性が成り立つことを証明すること。
• ホッジ成分と反射的形式を関係づけるために、$\kappa_{p0}: \mathrm{H}^{p,0}(X) \to \mathrm{H}^0(X, \Omega^{[p]}_X)$ および $\kappa_{0p}: \mathrm{H}^{0,p}(X) \to \mathrm{H}^p(X, \mathcal{O}_X)$ の標準的同型を用いること。

実験結果

リサーチクエスチョン

• RQ1 klt多様体 $X$ に対して、$\mathrm{H}^1(X,\mathbb{C})$ および $\mathrm{H}^2(X,\mathbb{C})$ のホッジ構造はどのように分解されるか？
• RQ2 Lefschetz (1,1) 定理はklt特異点へ拡張可能か？
• RQ3 特異的klt設定において、ホッジ＝リーマン双一次関係の意味のある類似は存在するか？
• RQ4 反射的微分形式 $\Omega^{[p]}_X$ は、klt多様体上のコホモロジー群のホッジ分解とどのように関係するか？

主な発見

• klt特異点をもつ多様体 $X$ に対して、$p=1,2$ のとき $\mathrm{H}^p(X,\mathbb{C})$ のホッジ構造は重み $p$ の純粋ホッジ構造である。
• $p=1,2$ に対して、$\kappa_{p0}: \mathrm{H}^{p,0}(X) \to \mathrm{H}^0(X, \Omega^{[p]}_X)$ および $\kappa_{0p}: \mathrm{H}^{0,p}(X) \to \mathrm{H}^p(X, \mathcal{O}_X)$ の標準的同型が存在する。
• klt多様体に対してLefschetz (1,1) 定理が成り立つ：$\mathrm{H}^{1,1}(X) \cap H^2(X,\mathbb{Z})$ は、$X$ 上のラインバンドルの1番目のチャーン類の集合に正確に一致する。
• klt多様体に対して弱ホッジ＝リーマン双一次関係が成り立つ：$\mathrm{H}^k(X,\mathbb{C})$ の原始部に属する非ゼロの $\alpha$ に対して、$i^{p-q} \cdot \psi_{X,a}(\alpha,\alpha) > 0$ が成り立つ。ただし、$\alpha$ は $\mathrm{H}^1(X,\mathbb{C})$ および $\mathrm{H}^2(X,\mathbb{C})$ のクラスのカップ積である。
• この結果により、非自明な非特異的シンプレクティック多様体 $X$ の任意のファイブレーションは、$\dim B = \frac{1}{2}\dim X$ かつ $\rho(B) = 1$ を満たすラグランジュ・ファイブレーションであることが示される。