[论文解读] On the connection between affine and projective fundamental groups of line arrangements and curves

David Garber|ArXiv.org|Dec 31, 2002

Advanced Combinatorial Mathematics参考文献 7被引用 6

一句话总结

本文建立了实线排列及具有直线分支的某些可约曲线的仿射基本群的分解，其为射影基本群与一个 ℤ 的直和。通过辫子单值性与范坎彭定理，作者证明了对于实线排列，π₁(ℂ²−ℒ) ≌ π₁(ℂℙ²−ℒ) ⊕ ℤ，并将此结果推广至具有直线分支的曲线，通过将其简化为更易处理的射影情形，从而简化了仿射基本群的计算。

ABSTRACT

In this note we prove a decomposition related to the affine fundamental group and the projective fundamental group of a line arrangement and a reducible curve with a line component. We give some applications to this result.

研究动机与目标

• 建立线排列及具有直线分支的曲线的仿射基本群与射影基本群之间的结构联系。
• 确定中心扩张 1 → ℤ → π₁(ℂ²−C) → π₁(ℂℙ²−C) → 1 分裂的条件。
• 通过将其简化为更易处理的射影基本群，从而简化仿射基本群的计算。
• 探究关联格是否决定实线排列的基本群，利用分解结果进行研究。

提出的方法

• 利用辫子单值性技术与莫伊舍松-泰彻算法计算基本群。
• 应用范坎彭定理，为仿射与射影补集导出群表示。
• 通过利用横截线可经 Δ 作用移至无穷远而不改变基本群的事实，采用约化论证。
• 为交点构造李特尔伍德对，以推导基本群表示中的关系。
• 利用射影关系（即所有生成元的乘积为单位元）将仿射与射影群联系起来。
• 对具有直线分支的曲线应用广义范坎彭论证，证明当直线与其余部分横截相交时，该分解成立。

实验结果

研究问题

• RQ1 中心扩张 1 → ℤ → π₁(ℂ²−C) → π₁(ℂℙ²−C) → 1 在何种条件下分裂？
• RQ2 对于实线排列 ℒ，是否成立 π₁(ℂ²−ℒ) ≌ π₁(ℂℙ²−ℒ) ⊕ ℤ？
• RQ3 具有直线分支的曲线的仿射基本群是否可表示为射影基本群与 ℤ 的直和？
• RQ4 关联格在多大程度上决定实线排列的基本群？

主要发现

• 对于任意含 n 条直线的实线排列 ℒ，π₁(ℂ²−ℒ) ≌ π₁(ℂℙ²−ℒ) ⊕ ℤ 成立，且该结论可推广至任意线排列。
• 对于曲线 C = C′ ∪ L，其中直线 L 与 C′ 横截相交，则 π₁(ℂ²−C) ≌ π₁(ℂℙ²−C) ⊕ ℤ。
• 该分解使得仿射基本群可由射影基本群计算得出，后者因射影关系对生成元乘积的约束而更易处理。
• 在含至多 8 条直线的实线排列中，关联格决定了仿射与射影基本群，此结论通过分解结果得以验证。
• 对于仅含高阶奇点且构成森林的排列 Σ，有 π₁(ℂℙ²−Σ) ≌ ℤ^r ⊕ F^{m(a₁)−1} ⊕ ⋯ ⊕ F^{m(ak)−1}，而仿射群为 ℤ^{r+1} ⊕ F^{m(a₁)−1} ⊕ ⋯ ⊕ F^{m(ak)−1}。
• 该结果简化了实排列中基本群的比较，因为射影群在计算上比仿射群更易比较。