[论文解读] Fundamental Groups of Galois Closures of Generic Projections

Christian Liedtke|arXiv (Cornell University)|May 19, 2005

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

一句话总结

本文提出一个群论框架，用于计算从曲面出发的通用投影的伽罗瓦闭包的基本群，表明其由原曲面的基本群和投影的次数决定。关键成果是给出了 π₁(X₉ₐₗ)/Cᵖʳᵒⱼ 的显式同构，解释了在已知例子中 π₁(X₉ₐₗ) 出人意料的简单结构，并简化了 Moishezon、Teicher 等人先前的计算。

ABSTRACT

For the Galois closure $\Xgal$ of a generic projection from a surface $X$, it is believed that $π_1(\Xgal)$ gives rise to new invariants of $X$. However, in all examples this group is surprisingly simple. In this article, we offer an explanation for this phenomenon: We compute a quotient of $π_1(\Xgal)$ that depends on $π_1(X)$ and data from the generic projection only. In all known examples except one, this quotient is in fact isomorphic to $π_1(\Xgal)$. As a byproduct, we simplify part of the computations of Moishezon, Teicher and others.

研究动机与目标

• 解释已知的曲面通用投影伽罗瓦闭包中 π₁(X₉ₐₗ) 的出人意料的简单结构。
• 提供一种系统方法，仅基于 π₁(X) 和通用投影的数据，计算 π₁(X₉ₐₗ)/Cᵖʳᵒⱼ。
• 简化并推广 Moishezon、Teicher 等人先前的计算，特别是针对有理曲面和椭圆纤维化的情形。
• 证明在已知情形下 Cᵖʳᵒⱼ 为平凡，意味着在这些情形中 π₁(X₉ₐₗ) ≅ π₁(X₉ₐₗ)/CᵖʳᵒⱫ。
• 为 Teicher 关于虚拟可解性的猜想作出贡献，表明若 π₁(X) 不是虚拟可解，则 π₁(𝔸²−D) 也不是虚拟可解。

提出的方法

• 引入一个由 π₁(X₉ₐₗ) 中换位子群与三重换位子群关系生成的商群 Cᵖʳᵒⱼ，以捕捉基本群的核心结构。
• 定义一个群论构造 𝒦(π₁(Xᵃᶠᶠ), n)，用于建模商群 π₁(X₉ₐₗᵃᶠᶠ)/Cᵃᶠᶠ，其依赖于 π₁(Xᵃᶠᶠ) 和投影次数 n。
• 利用仿射覆盖的图表，将 π₁(X₉ₐₗᵃᶠᶠ) 与 π₁(Xᵃᶠᶠ) 关联起来，然后通过循环商群提升至 π₁(X₉ₐₗ)。
• 应用群上同调与同调代数，计算 H₂(π₁(Xᵃᶠᶠ), ℤ)，该量出现在商群的结构中。
• 建立 π₁(X₉ₐₗ)/Cᵖʳᵒⱼ 的同构关系，其表达式基于 π₁(X) 和线丛 L = f*𝒪(1) 的可除性指标 d。
• 利用阿贝尔化与扩张理论，计算第一上同调群 H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱼ，从而明确得出秩与挠子群的结构。

实验结果

研究问题

• RQ1 为何伽罗瓦闭包的通用曲面投影的基本群 π₁(X₉ₐₗ) 在已知例子中始终表现出简单结构，例如为有限交换群或接近自由交换群？
• RQ2 能否仅从 π₁(X) 和投影次数直接计算 π₁(X₉ₐₗ) 的结构，而无需完整的 braid monodromy 分解？
• RQ3 在已知例子如 ℙ¹×ℙ¹ 或 E×ℙ¹ 上的投影中，捕捉高阶关系的子群 Cᵖʳᵒⱼ 是否为平凡？
• RQ4 在何种条件下 π₁(𝔸²−D) 不是虚拟可解，且这与 π₁(X) 有何关联？
• RQ5 H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱼ 的精确结构如何用 X 的拓扑不变量和投影数据表示？

主要发现

• 对于一个基本群平凡的曲面 X 及其可除性指标为 d 的线丛 L，存在同构 π₁(X₉ₐₗ)/Cᵖʳᵒⱼ ≅ (ℤ/dℤ)ⁿ⁻²，解释了有理曲面情形下有限交换群结构的成因。
• 作为阿贝尔群，H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱼ 的秩为 H₁(X, ℤ) 秩的 (n−1) 倍，表明其与原曲面同调的线性依赖关系。
• 当 X = C×ℙ¹ 且 C 的亏格为 g、L 的次数为 k 时，阿贝尔化 H₁(X₉ₐₗ, ℤ)/C̄ᵖʳᵒⱫ 同构于 (ℤ/gcd(d,k)ℤ)²ᵈᵏ⁻² ⊕ ℤ²ᵍ⁽²ᵈᵏ⁻¹⁾，明确计算出挠子群与自由部分。
• 在 E×ℙ¹ 上的通用投影情形中，当 d=1 且 g=1 时，本文确认 Cᵖʳᵒⱼ 为平凡，故 π₁(X₉ₐₗ) ≅ ℤ⁴ᵏ⁻²，与 Amram、Goldberg、Teicher 和 Vishne 的计算一致。
• 构造 𝒦(π₁(Xᵃᶠᶠ), n) 提供了 π₁(X₉ₐₗᵃᶠᶠ)/Cᵃᶠᶠ 的纯群论模型，将复杂的几何计算简化为代数群扩张。
• 本文证明：若 π₁(X) 不是虚拟可解，则 π₁(𝔸²−D) 也不是虚拟可解，从而提供了一类新的非虚拟可解基本群。