[論文レビュー] A counterexample to the Hodge conjecture for Kaehler varieties

Claire Voisin|arXiv (Cornell University)|Dec 21, 2001

Geometry and complex manifolds参考文献 10被引用数 18

ひとこと要約

この論文は、ケーラー多様体に対する一般化されたホッジ予想に対する反例を構成する4次元複素トーラスを構築する。これは、すべての有理ホッジ類が解析的な整合的層のチャーン類から生じるわけではないことを示しており、特に $ H^4(X, \mathbf{Q}) $ に非自明なホッジ類が存在し、$[\rho]^{n-2}$ と直交し、すべての整合的層 $\mathcal{F}$ に対して $ c_2(\mathcal{F}) = 0 $ を満たすことを示している。この結果により、ケーラー設定下で整合的層のチャーン類がすべての有理ホッジ類を生成できないことが証明される。

ABSTRACT

Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic subsets, or equivalently by Chern classes of coherent sheaves. On a compact Kaehler manifold, Hodge conjecture is known to be false if algebraic subsets are replaced with analytic subsets. Here we show that it is even false that for a Kaehler manifold, Hodge classes are generated by Chern classes of coherent sheaves. We also show that finite free resolution do not in general exist for coherent sheaves on compact Kaehler manifolds.

研究の動機と目的

• コンパクトケーラー多様体上の有理ホッジ類が、解析的整合的層のチャーン類によって $ \mathbf{Q} $ 上で生成可能かどうかを調査すること。
• ホッジ予想を射影多様体の範囲を超えて、より広いケーラー多様体のクラスに拡張すること。
• 有理ホッジ類が存在するが、整合的層のチャーン類によっては捉えきれない反例を構成すること。
• 特定のケーラー多様体上での整合的層に対する有限局所自由分解の失敗を示すこと。
• ケーラー設定下で、整合的層のチャーン類の集合が有理ホッジ類の集合よりも厳密に小さいことを示すこと。

提案手法

• 3つの主要な仮定を満たす4次元複素トーラス $ X $ を構成する：$ NS(X) = 0 $、正次元の解析的部分多様体が存在しないこと、およびあるケーラー類 $[\rho]$ に対して $ Hdg^4(X, \mathbf{Q}) \bot [\rho]^{n-2} $ であること。
• 整合的層のランクに関する帰納法を用いて、$ X $ 上のすべての解析的整合的層 $\mathcal{F}$ に対して $ c_2(\mathcal{F}) = 0 $ を示す。この際、ねじれ層の $ c_1 $ および $ c_2 $ の消滅に依存する。
• バンドー＝スイの定理を適用し、$ c_1 = 0 $ かつ $ \text{ch}_2 \bot [\rho]^{n-2} $ を満たす反射層が、すべてのチャーン類が自明な平坦バンドルであることを示す。
• $ \text{Ext}^1 $ における拡張理論を用いて、有理チャーン類が消えるベクトルバンドルを通じて層を押し上げる。この際、余次元 $ \to 3 $ のねじれ部分のサポートに対してセール双対性を活用する。
• 任意のねじれのない整合的層は、すべての有理チャーン類 $ c_i(E) = 0 $（$ i > 0 $）を満たす正則ベクトルバンドル $ E $ に埋め込めることが示される。
• すべての $ \mathcal{F} $ に対して $ c_2(\mathcal{F}) = 0 $ であることを示し、4次元で非自明なホッジ類が存在することから、整合的層のチャーン類が有理ホッジ類群全体を生成できないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトケーラー多様体上の有理ホッジ類は、解析的整合的層のチャーン類によって $ \mathbf{Q} $ 上で生成可能か？
• RQ2 ホロモーフィックなベクトルバンドルまたは整合的層のチャーン類は、ケーラー設定下ですべての有理ホッジ類を生成するのに十分か？
• RQ3 4次元の非自明なホッジ類が存在するが、代数的でもなく、かつ整合的層のチャーン類として実現できないコンパクトケーラー多様体が存在するか？
• RQ4 一般のケーラー多様体上での整合的層は、有限局所自由分解を有しないことがあるか？
• RQ5 バンドー＝スイの定理が、第一および第二チャーン類が消える反射層に対して平坦接続の存在を保証する幾何的意味は何か？

主な発見

• $ NS(X) = 0 $、正次元の解析的部分多様体が存在せず、$ H^4(X, \mathbf{Q}) $ に非自明な有理ホッジ類が存在する4次元複素トーラス $ X $ が存在する。
• この $ X $ に対して、すべての解析的整合的層 $\mathcal{F}$ は $ c_2(\mathcal{F}) = 0 $ を満たすが、4次元で非自明なホッジ類が存在する。
• $ H^4(X, \mathbf{Q}) $ のホッジ類は、あるケーラー類 $[\rho]$ に対して $[\rho]^{n-2}$ と直交しており、基準における重要な直交性条件を満たしている。
• 任意のねじれのない整合的層は、すべての有理チャーン類 $ c_i(E) = 0 $（$ i > 0 $）を満たす正則ベクトルバンドル $ E $ に埋め込める。
• 点 $ Z \to X $ のイデアル層 $\mathcal{I}_Z$ は、有限局所自由分解を有さない。このような分解が存在すれば、非自明なチャーン類を要請するからである。
• 解析的整合的層のチャーン類の集合は、有理ホッジ類の群よりも厳密に小さい。これは、ケーラー多様体に対する一般化されたホッジ予想の反例を提供する。