[论文解读] Non-homeomorphic conjugate complex varieties

Ichiro Shimada|ArXiv.org|Jan 4, 2007

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

一句话总结

本文提出了一种利用格的型理论（特别是奇异K3曲面及其超越格）构造非同胚共轭复数曲面的新方法。关键贡献在于显式构造了具有简单奇点的最大化六次曲线的算术Zariski对，其中共轭曲线在伽罗瓦共轭下具有同构的拓扑不变量，但并非同胚。

ABSTRACT

We present a method to produce examples of non-homeomorphic conjugate complex varieties based on the genus theory of lattices. As an application, we give examples of arithmetic Zariski pairs.

研究动机与目标

• 开发一种系统化方法，用于构造非同胚共轭复数曲面。
• 解决共轭曲面非同胚的显式例子稀缺的问题。
• 应用K3曲面的算术几何与超越格理论，检测伽罗瓦共轭下的拓扑非等价性。
• 确立在具有简单奇点的最大化六次曲线中存在算术Zariski对。

提出的方法

• 为光滑射影曲面 $X$ 与余维数为 $n$ 的子簇并集 $Y$ 的补集 $U = X \setminus Y$ 定义拓扑不变量 $(B_U, \beta_U)$。
• 证明 $(B_U, \beta_U)$ 同构于 $H_{2n}(X)$ 中 $Y_i$ 的同调类的正交补的无 torsion 部分，记为 $\Lambda_{(X,Y)}$。
• 使用与关于六次曲线 $C$ 的双覆盖分支于 $Y_C$ 的奇异K3曲面 $Y_C$ 相关的超越格 $T[C]$。
• 将补集 $U_C = Y_C \setminus D_C$ 的拓扑不变量与 $T[C]$ 关联，使得 $T[C]$ 与 $T[C^\sigma]$ 不同构时，可推出 $U_C$ 与 $U_{C^\sigma}$ 不同胚。
• 应用二元二次型的型理论，检测伽罗瓦共轭下 $T[C]$ 与 $T[C^\sigma]$ 的非同构性。
• 通过Yang算法的计算机辅助计算，验证特定构型下 $T[C]$ 的型包含多于一个同构类，从而得到算术Zariski对。

实验结果

研究问题

• RQ1 我们能否利用算术格理论显式构造非同胚共轭复数曲面？
• RQ2 在何种条件下，复数曲面的伽罗瓦共轭不保持同胚性？
• RQ3 K3曲面上除子补集的拓扑不变量 $B_U$ 如何检测共轭下的非同胚性？
• RQ4 在具有简单奇点的最大化六次曲线中是否存在算术Zariski对？
• RQ5 格的型理论能否系统地生成此类非同胚共轭对？

主要发现

• 本文利用格的型理论显式构造了非同胚共轭复数曲面的例子。
• 对于34种Dynkin型 $R$ 的构型，本文展示了具有简单奇点的最大化六次曲线的算术Zariski对 $(C, C^\sigma)$。
• 通过型理论与计算机辅助计算验证，这些对的超越格 $T[C]$ 与 $T[C^\sigma]$ 不同构。
• 格 $T[C]$ 与 $T[C^\sigma]$ 以 $L[2a,b,2c]$ 形式表示，其不变量如 $L[6,2,8]$ 与 $L[2,0,22]$ 不同，确认了非同构性。
• 当 $T[C]$ 的型包含多于一个同构类时，此类对的存在性得以保证，此条件在表5.1列出的全部34种情况中均成立。
• 该方法表明，非同胚共轭曲面仅在超越格的型非平凡时出现，从而提供了一套分类机制。