[论文解读] The 3-cuspidal quartic and braid monodromy of degree 4 coverings

Fabrizio Catanese, Bronisław Wajnryb|ArXiv.org|Nov 10, 2004

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

一句话总结

本文确定了从 $(\mathbb{Z}/2)^2$-Galois 覆盖 $\mathbb{P}^1 \times \mathbb{P}^1$ 变形而来的四次覆盖的局部辫子单值因子分解，表明变形后的分支曲线是一条具有三个尖点的四次曲线。利用此类曲线作为节点三次曲线的对偶曲线时的射影唯一性，作者通过一个具有三个实尖点和两条虚切线的实模型计算了辫子单值，从而将判别曲面识别为 $\mathbb{P}^3$ 中扭曲三次曲线的切线可展曲面。该曲面也被证明是扭曲三次曲线的对偶曲面，以及一般三次方程的判别曲面。

ABSTRACT

We study the discriminant of a degree 4 extension given by a deformed bidouble cover, i.e., by equations z^2= u + a w, w^2= v + bz. We first show that the discriminant surface is a quartic which is cuspidal on a twisted cubic, i.e.,is the discriminant of the general equation of degree 3. We then take a(u,v), b(u,v) and get a 3-cuspidal affine quartic curve whose braid monodromy we compute. This calculation of the local braid monodromy is a step towards the determination of global braid monodromies, e.g. for the (a,b,c) surfaces previously considered by the authors. In the revision we fill a gap (noticed by the referee) in the proof of the classical theorem that any quartic surface which has the twisted cubic as cuspidal curve is its tangential developable, and we changed a base point in order to make a picture correct.

研究动机与目标

• 确定从 $(\mathbb{Z}/2)^2$-Galois 覆盖 $\mathbb{P}^1 \times \mathbb{P}^1$ 变形而来的四次覆盖的局部辫子单值因子分解。
• 在代数曲面的辛几何与微分拓扑背景下，理解变形后分支曲线的几何结构。
• 解决此类变形所产生的判别曲面的拓扑结构，特别是其奇点与射影不变量。
• 确立具有三个尖点的四次曲线作为节点三次曲线的对偶曲线时的射影唯一性，从而实现有效的单值计算。

提出的方法

• 将具有三个实拐点的节点三次曲线的对偶曲线作为具有三个实尖点且无穷远线对应于节点的三尖四次曲线的实模型。
• 将问题转化为计算具有实点与虚点的曲线的辫子单值，从而简化拓扑分析。
• 应用经典事实：在代数闭域上，具有三个尖点的四次曲线是射影唯一的，即为一个节点平面三次曲线的对偶。
• 利用三尖四次曲线与一般三次方程判别式的等价性，识别全局判别曲面。
• 通过对偶性与二次型的秩条件，证明判别曲面是 $\mathbb{P}^3$ 中扭曲三次曲线的切线可展曲面。
• 利用四次曲面上的捏合点与对偶平面上相关圆锥与对偶直线相切之间的对应关系，证明该曲面的唯一性。

实验结果

研究问题

• RQ1 变形后的 $(\mathbb{Z}/2)^2$-Galois 覆盖 $\mathbb{P}^1 \times \mathbb{P}^1$ 的局部辫子单值因子分解是什么？
• RQ2 此类变形的分支曲线与经典燕尾曲线有何不同，其几何结构如何？
• RQ3 为何三尖四次曲线是射影唯一的，如何利用这一点来计算单值？
• RQ4 变形覆盖的全局判别曲面是什么，它与扭曲三次曲线等经典代数对象有何关联？
• RQ5 能否通过类似几何对象，以类似方式计算阿贝尔覆盖的辫子单值？

主要发现

• 通过具有三个实尖点和两条虚切线的三尖四次曲线的实模型，计算了变形四重覆盖的局部辫子单值因子分解。
• 变形后的分支曲线是一条三尖四次曲线，作为节点三次曲线的对偶曲线，其射影唯一性成立。
• 该变形的判别曲面被识别为 $\mathbb{P}^3$ 中扭曲三次曲线的切线可展曲面，该曲面同时也是扭曲三次曲线的对偶曲面。
• 该曲面是普通三次方程的判别曲面，且是唯一具有扭曲三次曲线作为其尖点曲线的四次曲面。
• 该曲面由其关联圆锥在对偶平面上通过五个固定点的条件所刻画，从而通过该圆锥与扭曲三次曲线的对偶重合而实现唯一性。
• 该构造证实该曲面是不可约的，并作为单个此类四次曲面的 $\mathbb{PGL}(2)$-轨道而出现，确立了其几何唯一性。