[论文解读] On the Saito's basis and the Tjurina Number for Plane Branches

Marcelo Escudeiro Hernandes, Yohann Genzmer|arXiv (Cornell University)|Apr 7, 2019

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

一句话总结

本文引入了平面曲线奇点的良Saito基的概念，并利用它推导出不可约平面分支拓扑类中最小Tjurina数的公式。通过将Tjurina数与Milnor数和重数序列等拓扑不变量联系起来，作者建立了Tjurina数关于Milnor数的下界，从而对Dimca与Greuel提出的不等式 $4\tau > 3\mu$ 给出了肯定回答。该方法依赖于对曲线在连续爆破过程中的严格变换进行分析，并通过Saito基的性质计算 $\mu - \tau$ 的差值。

ABSTRACT

We introduce the concept of good Saito's basis for a plane curve $S$ and we explore it to obtain a formula for the minimal Tjurina number in a topological class. In particular, we present a positive answer for a question of Dimca and Greuel relating the Tjurina number and the Milnor number for a singular irreducible plane curve.

研究动机与目标

• 定义并刻画不可约平面曲线奇点的良Saito基，以实现对各类不变量的系统化计算。
• 仅使用特征指数或重数序列等拓扑数据，推导出拓扑类中最小Tjurina数 $\tau_{\min}$ 的公式。
• 建立Tjurina数关于Milnor数的下界，从而解决Dimca与Greuel关于不等式 $4\tau > 3\mu$ 的提问。
• 通过沿标准解析过程的递推应用差值公式，提供一种计算 $\tau_{\min}$ 的算法与理论框架。

提出的方法

• 引入良Saito基的概念，即 $\Omega^1(S)$ 的一种特殊Saito基，可通过某些理想余维数控制Tjurina数。
• 利用Saito判别准则 $\omega_1 \wedge \omega_2 = u f \, dx \wedge dy$（其中 $u$ 为单位元）验证基的有效性，并将其与理想 $ (g_1, g_2) $ 联系起来，其中 $ \omega_i \wedge df = g_i f \, dx \wedge dy $。
• 基于标准解析中的重数序列 $\nu_{(i)}$，建立 $\mu(S) - \tau(S)$ 的递推公式，以严格变换 $\widetilde{S}$ 为基础。
• 沿解析过程递归应用该公式，累加每个例外除子的贡献，以计算 $\mu - \tau_{\min}$。
• 利用关系式 $\tau_{\min} = \mu - \sum_{i=1}^N \left( \left[\frac{\nu_{(i)}}{2}\right] \left( \left[\frac{\nu_{(i)}}{2}\right] - \nu_{(i)} - 1 \right) + \nu_{(i)} - 1 + p_1(S_{(i)}) \right)$，从拓扑数据计算 $\tau_{\min}$。
• 推导出 $\tau_{\min}$ 关于 $\mu$ 的下界，从而得到不等式 $\tau \geq \frac{3}{4}\mu + \frac{\sqrt{1+4\mu} - 1}{8}$，该不等式蕴含 $4\tau > 3\mu$。

实验结果

研究问题

• RQ1 能否仅从特征指数或重数序列等拓扑不变量计算不可约平面分支拓扑类中的最小Tjurina数？
• RQ2 不等式 $4\tau > 3\mu$ 是否对给定拓扑类中所有不可约平面曲线奇点成立？
• RQ3 对于拓扑类中的一般曲线，Milnor数 $\mu$ 与Tjurina数 $\tau$ 之间的确切关系为何？
• RQ4 如何利用 $\Omega^1(S)$ 的Saito基通过解析不变量计算 $\mu - \tau$？
• RQ5 标准解析过程中每一步对差值 $\mu - \tau$ 的贡献是什么？

主要发现

• 对于不可约平面分支的拓扑类，最小Tjurina数 $\tau_{\min}$ 通过基于重数序列 $\nu_{(1)}, \dots, \nu_{(N)}$ 的递推公式计算得出，结果为 $\tau_{\min} = \mu - \sum_{i=1}^N \left( \left[\frac{\nu_{(i)}}{2}\right] \left( \left[\frac{\nu_{(i)}}{2}\right] - \nu_{(i)} - 1 \right) + \nu_{(i)} - 1 + p_1(S_{(i)}) \right)$。
• 对于特征指数为 $(9,12,17)$ 的拓扑类，最小Tjurina数为 $\tau_{\min} = 80$，与Peraire在五次爆破后计算结果一致，累积贡献为 $15, 1, 1, 1, 0, 0$。
• 不等式 $4\tau > 3\mu$ 对所有不可约平面曲线奇点成立，由下界 $\tau_{\min} \geq \frac{3}{4}\mu + \frac{\sqrt{1+4\mu} - 1}{8}$ 得到证明。
• 对于拓扑类 $(141,142)$，Milnor数为 $\mu = 19740$，下界给出 $\tau_{\min} \geq 14840$，而实际 $\tau_{\min} = 14910$。
• 该 $\tau_{\min}$ 公式源自良Saito基与递推差值 $\mu(S) - \tau(S)$，后者依赖于每步解析中不变量 $\mathfrak{i}(S_{(i)}) = \left[\frac{\nu_{(i)}}{2}\right] + 1 - p_1(S_{(i)})$。
• 该结果对Dimca与Greuel的问题给出了肯定回答，且由Alberich-Carramiñana等人通过不同方法独立确认，其关键要素相同：即文献[5]中的通用模空间维数公式。