[论文解读] Braid Monodromy of Hypersurface Singularities

Michael Lönne|ArXiv.org|Feb 17, 2006

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

一句话总结

本文为高维超曲面奇点发展了辫子单值理论，通过普遍展开和判别纤维丛，将经典平面曲线方法推广至高维奇点。研究证明，判别集补集的基本群由辫子单值不变量所刻画，通过Hefez-Lazzeri路径系与单值诱导，将Artin-Brieskorn群结构推广至非简并奇点。

ABSTRACT

We introduce braid monodromy for the discriminant hypersurface in versal unfoldings of hypersurface singularities. Our objective is then to compute this invariant for singularities of Brieskorn Pham type: First we consider the unfolding by linear monomials in some detail and relate it to the versal unfolding. Next we present the A_n case in our framework. The two main chapters then provide the result in case of two variables and the inductive step to all higher dimensions. We finish with a presentation of the fundamental group of the discriminant complement.

研究动机与目标

• 将辫子单值理论从平面代数曲线推广至高维超曲面奇点。
• 构造普遍展开的判别集补集上的纤维丛，证明其为具有穿孔圆盘纤维的纤维丛。
• 将判别集补集基本群的计算从简单奇点（ADE型）推广至任意奇点。
• 基于单值性，利用Hefez-Lazzeri路径系与辫子等价关系，建立基本群的表示。
• 提出一种通过低维模型归纳计算高维判别集与分歧集补集基本群的框架。

提出的方法

• 利用全纯函数芽的普遍展开，在展开参数的基空间上构造判别纤维丛。
• 应用多项式覆盖与Br_n-丛的概念，建模判别纤维丛纤维上的单值作用。
• 引入“l-伴随模型”与“l-伴随单值性”的概念，实现从低维到高维的辫子单值数据递推提升。
• 采用Hefez-Lazzeri路径系定义判别集补集中环路的典范基，从而实现辫子单值性的显式计算。
• 应用Zariski与van Kampen定理，通过辫子单值生成元表示判别集补集的基本群。
• 利用辫子生成元之间的共轭不变性与对称关系，证明不同单值表示之间的等价性。

实验结果

研究问题

• RQ1 如何将辫子单值性从平面曲线推广至高维超曲面奇点？
• RQ2 非简并奇点的判别集补集基本群具有何种结构？
• RQ3 能否通过普遍展开与参数空间上的纤维丛计算超曲面奇点的辫子单值性？
• RQ4 Hefez-Lazzeri路径系与缆绳扭转变换在高维情形下如何与单值生成元关联？
• RQ5 在何种条件下，两种不同的辫子单值表示定义同构的基本群？

主要发现

• 投影到判别集的限制是一个纤维丛，其纤维微分同胚于μ个穿孔的圆盘，且其同构类型仅依赖于奇点的右等价类。
• 对于A_n型奇点，利用对称关系与共轭不变性显式计算了辫子单值性，得到基本群的表示。
• 判别集补集的基本群同构于由特定扭转变换与子缆绳辫子生成的辫子单值群。
• 本文证明，涉及σ与δ生成元的某些辫子字在特定σ²乘积下共轭，从而在单值变换下保持不变。
• 建立了过滤的辫子群元素集合中生成元变换的准则，使不同单值表示之间可实现等价。
• 通过l-伴随模型实现辫子单值性归纳的方法，可将单值数据从低维传递至高维，推广了已知的简并奇点结果。