[论文解读] Fundamental Groups of Spaces of Smooth Projective Hypersurfaces

Michael Lönne|arXiv (Cornell University)|Aug 14, 2006

Algebraic Geometry and Number Theory参考文献 21被引用 10

一句话总结

本文为在 $\mathbf{P}^n$ 中次数为 $d$ 的光滑射影超曲面空间的基本群提供了一个有限群表示，推广了 Zariski 对平面曲线（$n=1$）的 braid 群表示。通过判别式几何分析及与 Brieskorn-Pham 奇点的联系，构造了一个基于图 $\Gamma_{n,d}$ 的表示，其中生成元由顶点索引，关系编码了交换、 braid 及高阶关系，恢复了已知情形并将其推广至高维。

ABSTRACT

We investigate the complement of the discriminant in the projective space PSym^d C^{n+1} of polynomials defining hypersurfaces of degree d in P^n. Following the ideas of Zariski we are able to give a presentation for the fundamental group of the discriminant complement which generalises the well-known presentation in case n=1, i.e. of the spherical braid group on d strands. In particular our argument proceeds by a geometric analysis of the discriminant polynomial as proposed by Bessis and draws on results and methods from previous work of the author addressing a comparable problem for any versal unfolding of Brieskorn Pham singularities.

研究动机与目标

• 将 Zariski 对光滑平面曲线的基本群表示推广至高维光滑射影超曲面。
• 为 $\pi_1(\mathcal{U}_{n,d})$（即 $\mathbf{P}^n$ 中次数为 $d$ 的超曲面空间中判别式补集的基本群）提供一个几何上自然的有限表示。
• 通过统一的图论框架，建立判别式补集的拓扑结构与 Brieskorn-Pham 奇点单值性之间的联系。
• 将已知情形（如 $n=1$ 时的球面 braid 群，$n=2$ 时的三次曲面）作为一般表示的特例恢复。

提出的方法

• 将普遍超曲面 $\mathcal{H}_{n,d}$ 构造为 $\mathbf{P}^n \times \mathbf{P}^{N-1}$ 的子簇，其中 $N = \binom{n+d}{d}$，用于参数化次数为 $d$ 的超曲面。
• 将判别式 $\mathcal{D}_{n,d}$ 定义为奇异超曲面的集合，并定义 $\mathcal{U}_{n,d} = \mathbf{P}^{N-1} \setminus \mathcal{D}_{n,d}$ 为光滑超曲面的空间。
• 引入一个图 $\Gamma_{n,d}$，其顶点集 $V_{n,d}$ 的大小为 $(d-1)^n$，用于索引 $\pi_1(\mathcal{U}_{n,d})$ 的生成元 $\sigma_{\mathbf{i}}$。
• 基于边结构推导关系：非相邻顶点间为交换关系，相邻顶点对间为 braid 关系，图中三角形对应三重关系。
• 引入两条全局关系：一条类似挠率的关系，涉及所有生成元乘积的幂次；另一条为所有生成元的全积等于单位元。
• 利用几何单值性和形变论证，特别是分析一般平面截面中尖点和节点的光滑化，推导出基本群中的关系。

实验结果

研究问题

• RQ1 如何为任意 $n$ 和 $d$ 的光滑射影超曲面空间的基本群提供一种几何上自然的表示？
• RQ2 判别式补集 $\mathcal{U}_{n,d}$ 的拓扑结构是什么？它如何推广 $n=1$ 时的 braid 群结构？
• RQ3 基本群中的关系如何从奇点（特别是 Brieskorn-Pham 奇点）的几何中产生？
• RQ4 图 $\Gamma_{n,d}$ 及其对称性在编码单值性和 braid 类似关系中起什么作用？
• RQ5 判别式截面的部分光滑化（如尖点或节点的消除）如何影响基本群？这对群表示意味着什么？

主要发现

• 基本群 $\pi_1(\mathcal{U}_{n,d})$ 允许一个有限表示，其生成元 $\sigma_{\mathbf{i}}$ 由大小为 $(d-1)^n$ 的图 $\Gamma_{n,d}$ 的顶点索引，关系由图的边和三角形结构决定。
• 该表示包含：(i) 非相邻顶点的交换关系，(ii) 相邻顶点对的 braid 关系，(iii) 三角形的三重 braid 关系，(iv) 涉及所有生成元乘积的类似挠率关系，(v) 全积等于单位元的关系。
• 当 $n=1$ 时，图 $\Gamma_{1,d}$ 为 $A_{d-1}$ Dynkin 图，该表示恢复了 $d$ 根绳索的球面 braid 群。
• 当 $n=2$，$d=3$ 时，该表示给出一个同构于 $\mathrm{SL}_2(\mathbb{Z})$ 的群，其为 braid 群 $\mathrm{Br}_3$ 关于其中心元素平方的商群。
• 在 $\mathcal{D}_{n,d}$ 的一般平面截面中发生尖点或节点光滑化时，基本群分别变为循环群或平凡群，这是由于全局关系使所有生成元坍缩所致。
• 该方法成功推广了 Zariski 的结果，并提供了一个统一框架，既恢复又扩展了关于三次曲线和曲面的已知表示。