[论文解读] Chart description for hyperelliptic Lefschetz fibrations and their stabilization

Hisaaki Endo, Seiichi Kamada|arXiv (Cornell University)|Jun 12, 2013

Geometric and Algebraic Topology参考文献 8被引用 3

一句话总结

本文提出了一类双椭圆Lefschetz纤维丛的图示描述，提供了一种图形化表示其单值性变换的方法。证明了任一此类纤维丛均可通过与特定基本纤维丛进行纤维和的方式实现稳定化，从而通过图示变换与Hurwitz系统变换实现完全分类。

ABSTRACT

Chart descriptions are a graphic method to describe monodromy representations of various topological objects. Here we introduce a chart description for hyperelliptic Lefschetz fibrations, and show that any hyperelliptic Lefschetz fibration can be stabilized by fiber-sum with certain basic Lefschetz fibrations.

研究动机与目标

• 开发双椭圆Lefschetz纤维丛的图示描述方法，扩展先前关于单值性表示的研究。
• 通过引入系统化的稳定化程序，解决双椭圆Lefschetz纤维丛的分类问题。
• 证明任一双椭圆Lefschetz纤维丛在与基本纤维丛稳定化后，均等价于一种标准形式。
• 通过局部变换（C2、C3、C4）建立Hurwitz系统与图示图之间的对应关系，这些变换镜像单值性变换。
• 基于奇异纤维类型计数差值导出的不变量，提供一种构造性稳定化判据。

提出的方法

• 使用曲面$C_i$和$S_h$上的德恩旋转变换定义图示描述，其中$\zeta_i$表示正向德恩旋转变换。
• 定义五种基本Lefschetz纤维丛（$f_0, f_1, f_{2,h}, f'_1, f'_{2,h}$），其Hurwitz系统基于德恩旋转变换序列明确给出。
• 利用对应于Hurwitz变换（H1、H2、H3）的局部图示变换（C2、C3、C4），在保持单值性等价性的同时变换图示图。
• 应用双椭圆映射类群的定义关系，包括辫子关系与双椭圆对合$\iota$，以操作Hurwitz系统。
• 将稳定化不变量$\mathcal{E}(f)$定义为奇异纤维计数的线性组合：$n_0^+ - n_0^- - 4\sum_h (n_h^+ - n_h^-)(2h(g-h)+2g+1)$。
• 证明当$g$为偶数时，$\mathcal{E}(f)$必须被$2(2g+1)$整除，当$g$为奇数时，必须被$4(2g+1)$整除，从而可通过与基本纤维丛进行纤维和实现稳定化。

实验结果

研究问题

• RQ1 能否为双椭圆Lefschetz纤维丛有效定义图示描述，以表示其单值性数据？
• RQ2 什么条件决定了双椭圆Lefschetz纤维丛可通过纤维和运算实现稳定化？
• RQ3 局部图示变换（C2、C3、C4）如何对应于Hurwitz变换（H1、H2、H3），以实现单值性表示的变换？
• RQ4 哪些不变量控制稳定化过程，以及如何利用它们对双椭圆纤维丛进行分类？
• RQ5 是否存在一组通用的基本纤维丛，使得任一双椭圆纤维丛在稳定化后均等价于这些基本纤维丛的纤维和？

主要发现

• 任一双椭圆Lefschetz纤维丛均可通过与有限个基本纤维丛$f_0, f_1, f_{2,h}, f'_1, f'_{2,h}$进行纤维和实现稳定化，结果得到一个具有标准Hurwitz系统的纤维丛。
• 稳定化过程由一个拓扑不变量$\mathcal{E}(f)$控制，该不变量在$g$为偶数时必须被$2(2g+1)$整除，在$g$为奇数时必须被$4(2g+1)$整除。
• 在稳定化纤维丛$f \# m f_0$中，类型${\rm I}^+$的奇异纤维数量为$n_0^+(f) + 4(2g+1)m$，显示出对纤维计数的明确控制。
• 图示描述的存在使得可利用局部变换（C2、C3、C4）将任一Hurwitz系统变换为等价形式，从而证明在保持单值性条件下的等价性。
• 纤维和$(a+m)f_0 \# b f_1 \# \sum c_h f_{2,h} \# d f'_1 \# \sum e_h f'_{2,h}$实现了稳定化纤维丛，其系数由不变量$n_0^+, n_0^-, n_h^+, n_h^-$确定。
• 关系$(g+1)f_0 \cong 2f_1$成立，允许简化稳定化参数，并使构造中可选择$b = 0$或$1$。