[论文解读] On arithmetic Zariski pairs in degree 6

Ichiro Shimada|ArXiv.org|Nov 20, 2006

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

一句话总结

本文引入了一种针对偶数次平面曲线的新拓扑不变量 $N_C$，该不变量可检测 $\mathbb{P}^2$ 中曲线补集的细微同胚差异。通过将此不变量应用于最大化六次曲线（总 Milnor 数为 19 的六次曲线），作者构造了四个新的算术 Zariski 对——即共轭曲线对，尽管其基本群的 profinite 完备化同构，但拓扑上互不相同。

ABSTRACT

We define a topological invariant of complex projective plane curves. As an application, we present new examples of arithmetic Zariski pairs.

研究动机与目标

• 为复射影平面中偶数次曲线定义一个新的拓扑不变量 $N_C$，以捕捉超越基本群的同胚类型。
• 解决在基本群的 profinite 完备化同构时，区分非同胚的共轭平面曲线的挑战。
• 利用几何与算术不变量，构造显式的算术 Zariski 对——即非同胚的共轭曲线对。
• 扩展对 $ADE$-六次曲线（具有最大 Milnor 数 19）的模空间连通分支的分类。
• 通过其超越格子，将六次曲线的几何与 $K3$ 曲面的算术联系起来。

提出的方法

• 将 $N_C$ 定义为 $(\mathbb{P}^2, C)$ 的 $\Gamma$-等价类的不变量，以细化该对的同胚类型。
• 证明对于最大化六次曲线（Milnor 数为 19），$N_C$ 与从关于 $C$ 的双覆盖（分支于 $C$）得到的关联 $K3$ 曲面 $X_C$ 的超越格子一致。
• 利用 Degtyarev 对秩为 19 的 $R$ 的模空间 $\mathcal{M}(R)$ 的连通分支分类，分析 $\mathcal{M}(R)$ 的结构。
• 应用虚二次域的 Hilbert 类域理论结果，构造第四例算术 Zariski 对。
• 利用共轭曲线在数域上诱导同构的 $K3$ 曲面这一事实，并通过 Galois 下降关联不变量 $N_C$ 与 $N_{C'}$。
• 利用超越格子 $T(X_C) \not\cong T(X_{C'})$ 的非同构性，证明尽管 $C$ 与 $C'$ 共轭，但它们并非同胚。

实验结果

研究问题

• RQ1 当基本群不足以区分时，拓扑不变量 $N_C$ 是否能检测 $\mathbb{P}^2$ 中平面曲线的同胚非等价性？
• RQ2 在具有特定 Dynkin 型的 maximizing 六次曲线（六次曲线，总 Milnor 数为 19）中，是否存在算术 Zariski 对？
• RQ3 关联 $K3$ 曲面的超越格子是否可作为共轭曲线的区分不变量？
• RQ4 对于秩为 19 的 $R$，模空间 $\mathcal{M}(R)$ 有多少个连通分支，且它们如何与算术不变量关联？
• RQ5 Hilbert 类域理论是否可用于在六次曲线上构造新的算术 Zariski 对？

主要发现

• 不变量 $N_C$ 是 $(\mathbb{P}^2, C)$ 的 $\Gamma$-等价类的不变量，且当 $C$ 为最大化六次曲线时，与关联 $K3$ 曲面 $X_C$ 的超越格子一致。
• 对于 Dynkin 型 $A_{16}+A_2+A_1$、$A_{16}+A_3$ 和 $A_{18}+A_1$，模空间 $\mathcal{M}(R)$ 至少有两个由 $N_C$ 区分的连通分支，从而产生算术 Zariski 对。
• 对于 Dynkin 型 $A_{10}+A_9$，通过 Hilbert 类域理论构造了算术 Zariski 对，其中 $N_C \cong \Lambda[2,1,28]$ 且 $N_{C'} \cong \Lambda[8,3,8]$。
• 超越格子 $T(X_C) \not\cong T(X_{C'})$ 的非同构性意味着 $C$ 与 $C'$ 并非同胚，尽管它们是共轭的。
• $\mathcal{M}(A_{10}+A_9)$ 的连通分支数为四，且该对 $(C,C')$ 来自模空间中不同的 Galois 轨道。
• 该构造证实，$N_C$ 是在六次曲线上区分共轭曲线的强不变量，尤其在标准不变量（如基本群）因 profinite 完备化同构而失效时尤为有效。