[论文解读] On Zariski's pairs of m-th canonical discriminant curves

Вик. С. Куликов|ArXiv.org|Jul 27, 1998

Algebraic Geometry and Number Theory参考文献 5被引用 3

一句话总结

本文为 m ≥ 5 构造了 m 次 canonical 判别曲线的 Zariski 对，证明了两个同胚的一般型曲面可通过由 m 次 canonical 系定义的态射产生不同的平面尖点曲线。其关键贡献在于，尽管曲面同胚，但判别曲线在拓扑上不同，凸显了代数曲面及其 canonical 映射中微妙的不变量。

ABSTRACT

In this note we give examples of Zariski's pairs $B_{1,m}, B_{2,m}$ ($m \in N$ and $m \geq 5$) of plane cuspidal curves such that (i) $B_{i,m}$ is the discriminant curve of a generic morphism $f_{i,m}:S_i o P^2$, $i=1, 2$, (ii) $S_1$ and $S_2$ are homeomorphic surfaces of general type, (iii) $f_{i,m}$ is given by linear three-dimensional subsystem of the mth canonical class of $S_i$.

研究动机与目标

• 研究 m ≥ 5 时 m 次 canonical 判别曲线中 Zariski 对的存在性。
• 探讨由一般型曲面的 canonical 态射产生的判别曲线的拓扑与几何不变量。
• 确定同胚的一般型曲面在 canonical 映射下是否必然诱导同胚的判别曲线。
• 分析 m 次 canonical 系的结构及其在生成具有不同拓扑的平面尖点曲线中的作用。

提出的方法

• 通过一般型曲面的通用态射构造平面尖点曲线作为判别曲线的显式例子。
• 使用 m 次 canonical 线性系统定义态射 f_{i,m}: S_i → ℙ²，其中 i = 1, 2。
• 确保源曲面 S₁ 和 S₂ 同胚但不同胚，同时保持一般型结构。
• 分析判别曲线 B_{1,m} 和 B_{2,m} 的拓扑，以验证其构成 Zariski 对。
• 运用代数曲面几何与 canonical 映射奇点理论的技术。
• 验证态射 f_{i,m} 由 m 次 canonical 系的三维子系统给出。

实验结果

研究问题

• RQ1 能否为 m ≥ 5 的 m 次 canonical 判别曲线构造 Zariski 对？
• RQ2 同胚的一般型曲面在 canonical 映射下是否必然产生同胚的判别曲线？
• RQ3 当曲面同胚时，此类对中判别曲线的哪些拓扑不变量使其相区别的？
• RQ4 m 次 canonical 系如何影响所生成平面曲线的奇点与拓扑？
• RQ5 是否存在 canonical 映射的不变量，可在源曲面同胚时仍能检测到非同胚的判别曲线？

主要发现

• 本文为所有整数 m ≥ 5 显式构造了平面尖点曲线 B_{1,m}, B_{2,m} 的 Zariski 对。
• 判别曲线 B_{1,m} 和 B_{2,m} 拓扑不同，构成一个 Zariski 对。
• 曲面 S₁ 和 S₂ 同胚且为一般型，但其 canonical 态射产生不同的判别曲线。
• 态射 f_{i,m}: S_i → ℙ² 由 m 次 canonical 系的三维子系统定义。
• 曲线 B_{i,m} 是这些态射的判别轨迹，即参数化非最大秩点的集合。
• 该构造表明，即使态射源自 canonical 系，判别曲线的拓扑也并非仅由曲面的同胚类型决定。