[論文レビュー] Hodge structures of CM-type

Salman Abdulali|ArXiv.org|Jan 3, 2006

Algebraic Geometry and Number Theory参考文献 14被引用数 4

ひとこと要約

本稿は、任意の有効なCM型Hodge構造が、複素数体上のCMアーベル多様体のコホロジーに、Tate-twistを伴わず実現可能であることを証明しており、直接的な幾何的実現を与える。その結果、通常のHodge予想がCMアーベル多様体に対して成り立つならば、同様のクラスに対する一般Hodge予想も成り立つことを単純な証明が与えられ、Hazamaによる別法で得られた結果を確認する。

ABSTRACT

We show that any effective Hodge structure of CM-type occurs (without having to take a Tate twist) in the cohomology of some CM abelian variety over C. As a consequence we get a simple proof of the theorem (due to Hazama) that the usual Hodge conjecture for the class of all CM abelian varieties implies the general Hodge conjecture for the same class.

研究の動機と目的

• すべての有効なCM型Hodge構造が幾何的である、すなわち複素数体上のCMアーベル多様体のコホロジーに同型に実現可能であることを確立すること。
• このようなHodge構造がTate-twistを必要とせず実現可能であることを示し、CM Hodge理論の文脈における長年の問いを解決すること。
• 通常のHodge予想がCMアーベル多様体に対して成り立つならば、同様のクラスに対する一般Hodge予想が成り立つことを、新たな初等的証明により与えること。
• 先行研究における誤りを是正し、通常のHodge予想からCM設定における一般Hodge予想への含意関係の正当性を再確立すること。

提案手法

• Hodge群と自己準同型代数の構造を用いて、既約なCM型Hodge構造を解析し、それがCM体E上で1次元的であることを示す。
• Weil作用素と極化を適用して、自己準同型代数EがCM体であることを証明し、実数体上でのHodge群のコンパクト性を保証する。
• 既約なCM Hodge構造が型Eに属することを活用し、Eℂ上のトレース写像を用いてHodge型を分析する。
• 任意の重量nの既約なCM Hodge構造が、既約成分のテンソル積を用いて、CMアーベル多様体のコホロジーの直和成分に同型に実現可能であることを証明する。
• 一般Hodge予想への含意の証明は、もし特定のアーベル多様体のクラスに対して通常のHodge予想が成り立つならば、それらの積やべき乗に対しても一般Hodge予想が成り立つという事実に基づく。
• Hodge構造が積に関して支配的であること、および積のHodge群がHodge群の積に一致することを用いて、予想をすべてのべき乗へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 任意の有効なCM型Hodge構造は、Tate-twistを伴わず、CMアーベル多様体のコホロジーに幾何的に実現可能か？
• RQ2 CMアーベル多様体に対して通常のHodge予想が成り立つならば、同様のクラスに対して一般Hodge予想も成り立つか？
• RQ3 CMアーベル多様体が非退化であるための条件は何であり、それはHodge環が除数によって生成されることとどのように関係するか？
• RQ4 CM型におけるGalois作用は、CMアーベル多様体の同種類とHodge構造にどのように影響を与えるか？
• RQ5 どのような条件下で、単純なCMアーベル多様体は、自身のべき乗や同種類の積によって支配可能か？

主な発見

• すべての有効なCM型Hodge構造は幾何的であり、Tate-twistを伴わず、複素数体上のCMアーベル多様体のコホロジーに実現可能である。
• CMアーベル多様体のHodge群はアーベル群であり、このような多様体はそのCM体とCM型によって分類される。
• 非退化なCMアーベル多様体に対しては、すべてのべき乗のHodge環が除数によって生成されるため、通常のHodge予想がすべてのべき乗に対して成り立つ。
• CM体のGalois閉包のGalois群がCM型に推移的に作用するならば、同種の意味で、そのCM型を持つ一意なアーベル多様体が存在する。
• 任意のCM型のアーベル曲面のすべてのべき乗に対して、一般Hodge予想が成り立つ。CM体がℚ上Galoisでなくてもよい。
• CM体Eが虚二次体を部分体として持たず、[Ē:Ḟ] = 2^d であるとき、対応する単純なアーベル多様体のすべてのべき乗に対して、一般Hodge予想が成り立つ。