[论文解读] Conjugate varieties with distinct real cohomology algebras

François Charles|ArXiv.org|Jun 25, 2007

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文在数域上构造了光滑射影概形，其复共轭（由数域到 ℂ 的不同嵌入诱导）具有非同构的实上同调代数。利用 Voisin 对具有复乘法的阿贝尔簇上同调环的研究方法，作者证明了实上同调代数能够检测到自同态环结构，而该结构在复共轭下会变化，从而回答了格罗滕迪克关于共轭概形是否具有不同实上同调代数的问题。

ABSTRACT

Using constructions of Voisin, we exhibit a smooth projective variety defined over a number field k and two complex embeddings of k, such that the two complex manifolds induced by these embeddings have non isomorphic cohomology algebras with real coefficients. This contrasts with the fact that the cohomology algebras with l-adic coefficients are canonically isomorphic for any prime number l, and answers a question of Grothendieck.

研究动机与目标

• 回答格罗滕迪克提出的问题：共轭代数概形是否可能具有非同构的实上同调代数。
• 证明复概形的实上同调代数在复共轭下并非不变，尽管其在 l 进上同调和具有 ℚ_l 系数的贝蒂数上同调下是不变的。
• 显式构造在数域上定义的光滑射影概形，其在 ℂ 中的不同共轭嵌入产生非同构的实上同调代数。
• 证明实上同调代数能够检测算术数据（如阿贝尔簇的自同态环），即使这些数据在有理上同调或 l 进上同调中不可见。
• 通过扩展先前关于非同胚共轭概形的结果，表明差异在实上同调代数层面依然存在，而不仅限于同伦或基本群层面。

提出的方法

• 将光滑射影概形 $X$ 构造为 $A \times A \times \bbP^N$ 沿五个不相交子概形 $Z_1, \bar{Z}_2, Z_3, Z_4, Z_5$ 的爆破，其中 $A = E \times E'$ 是具有复乘法的椭圆曲线的积。
• 利用 $A$ 的自同态环（由复乘法自同态 $f$ 和 $f'$ 生成）通过爆破过程将算术数据编码进 $X$ 的上同调代数中。
• 借助 Voisin 的技术，利用上同调代数重构阿贝尔簇的自同态环，特别是通过在 $H^1(X, \bbR)$ 中分离出对应于 $f$ 和 $f'$ 的类。
• 定义关键上同调类：$h$（从 $\bbP^N$ 拉回的超平面类），$[D_i]$（例外除子的类），并利用爆破公式将 $X$ 的上同调与环境空间的上同调关联起来。
• 应用一个关键引理：$(h + \theta [D_5])^{N+1} = 0$ 当且仅当 $\theta = 0$，该引理允许在共轭下区分上同调类。
• 利用 $\text{Aut}(\bbC)$ 对概形及其上同调的共轭作用，证明当 $\tau$ 交换与 CM 椭圆曲线相关的虚二次域时，$X^\tau$ 的实上同调代数与 $X$ 的不同。

实验结果

研究问题

• RQ1 两个在数域上定义的共轭光滑射影概形是否可能具有非同构的实上同调代数？
• RQ2 复概形的实上同调代数是否能检测算术不变量（如阿贝尔簇的自同态环）？
• RQ3 实上同调代数在复共轭下是否不变，尽管其在 l 进上同调和具有 ℚ_l 系数的贝蒂数上同调下是不变的？
• RQ4 爆破的上同调代数是否能检测复乘法自同态在阿贝尔簇上同调上的作用？
• RQ5 具有同构 l 进上同调代数的共轭概形是否必然具有同构的实上同调代数？

主要发现

• 本文构造了一个在数域上定义的光滑射影概形 $X$，使得其在基域的不同复嵌入下的共轭概形 $X^\tau$ 具有非同构的实上同调代数。
• 实上同调代数 $H^*(X, \bbR)$ 编码了阿贝尔簇 $A = E \times E'$ 的自同态环，包括复乘法自同态 $f$ 和 $f'$ 的作用，而这些作用在复共轭下不被保持。
• 其关键区分特征是 $H^2(X, \bbR)$ 中由 $[D_5]$ 张成的一条直线，其与超平面类 $h$ 的相互作用导致非平凡关系 $(h + \theta [D_5])^{N+1} = 0$ 仅当 $\theta = 0$ 时成立，而该关系在共轭下不成立。
• 证明表明，$X^\tau$ 的实上同调代数与 $X$ 的不同，因为共轭 $\tau$ 交换了与 CM 椭圆曲线相关的虚二次域 $k$ 和 $k'$，从而改变了自同态 $f$ 和 $f'$ 的特征值，而这些特征值被编码在上同调中。
• 该构造为格罗滕迪克的问题提供了肯定答案：存在具有不同实上同调代数的共轭概形，尽管它们的 l 进上同调代数是典范同构的。
• 该结果表明，实上同调代数在复共轭下不是函子性不变量，与 l 进上同调不同，因此其携带的算术信息比以往认为的更为精细。