[论文解读] Hodge structures of CM-type

Salman Abdulali|ArXiv.org|Jan 3, 2006

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

一句话总结

本文证明了每个有效CM型霍奇结构在不经过Tate扭转的情况下，均可在复数域上CM阿贝尔簇的上同调中实现，从而提供了直接的几何实现。作为推论，它给出了一个简洁的证明，表明CM阿贝尔簇的通常霍奇猜想蕴含该类的普遍霍奇猜想，确认了此前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型霍奇结构是几何的，即同构地实现在复数域上CM阿贝尔簇的上同调中。
• 表明此类霍奇结构无需Tate扭转即可出现，解决了CM霍奇理论中长期存在的问题。
• 为通常霍奇猜想对CM阿贝尔簇成立蕴含同一类的普遍霍odge猜想成立，提供一种新的、初等的证明。
• 纠正先前工作的错误，并重新确立通常霍奇猜想向CM情形下普遍霍奇猜想的蕴含关系的有效性。

提出的方法

• 本文利用霍奇群和自同态代数的结构分析不可约CM型霍奇结构，证明其在CM域E上为1维。
• 通过韦伊算子和极化工序证明自同态代数E为CM域，从而保证其在ℝ上的紧致性。
• 该构造利用了不可约CM霍奇结构为E型的事实，并通过Eℂ上的迹映射分析霍奇类型。
• 证明任意不可约CM霍奇结构在权重n时，同构于CM阿贝尔簇上同调的直和项，通过不可约分量的张量积实现。
• 普遍霍奇猜想蕴含关系的证明依赖于：若通常霍奇猜想对某一类阿贝尔簇成立，则其乘积与幂也满足普遍霍奇猜想。
• 利用乘积下霍奇结构的主导性，以及乘积的霍奇群为各霍奇群的乘积这一事实，将猜想推广至所有幂。

实验结果

研究问题

• RQ1 每个有效CM型霍奇结构是否都能在不经过Tate扭转的情况下，几何地实现在CM阿贝尔簇的上同调中？
• RQ2 CM阿贝尔簇的通常霍奇猜想是否蕴含同一类的普遍霍奇猜想？
• RQ3 何种条件可确保CM阿贝尔簇是非退化的，这与霍奇环由除子生成有何关联？
• RQ4 CM型上的伽罗瓦作用如何影响CM阿贝尔簇的同源类与霍奇结构？
• RQ5 在何种条件下，一个简单CM阿贝尔簇可被其自身幂或同源类的乘积所主导？

主要发现

• 每个有效CM型霍奇结构都是几何的，并且在不经过Tate扭转的情况下，可实现在复数域上CM阿贝尔簇的上同调中。
• CM阿贝尔簇的霍奇群是阿贝尔群，且此类簇由其CM域和CM型分类。
• 对于非退化的CM阿贝尔簇，其所有幂的霍奇环由除子生成，因此通常霍奇猜想对所有幂均成立。
• 若CM域的伽罗瓦闭包的伽罗瓦群在CM型上作用传递，则在同源意义下，具有该CM型的阿贝尔簇唯一。
• 无论CM域是否在ℚ上为伽罗瓦扩张，所有CM型阿贝尔曲面的幂均满足普遍霍奇猜想。
• 当CM域E不包含虚二次子域且[Ē:Ḟ] = 2^d时，对应简单阿贝尔簇的所有幂均满足普遍霍奇猜想。