[论文解读] Affine Artin groups and the fundamental groups of some moduli spaces

Eduard Looijenga|ArXiv.org|Jan 26, 1998

Advanced Numerical Analysis Techniques参考文献 6被引用 11

一句话总结

本文引入了一类与仿射考斯策尔图相关的仿射Artin群的因子群，并证明其中某些群实现了重要模空间的轨道基本群，例如非奇异三次曲面的模空间以及通用的非超椭圆亏格三曲线模空间。核心贡献在于给出了一个亏格三曲面边界映射类群的简洁表示，从而实现了对Wajnryb高亏格表示的代数几何重解释。

ABSTRACT

We define for every affine Coxeter graph a certain factor group of the associated Artin group and prove that some of these groups appear as orbifold fundamental groups of moduli spaces. Examples are the moduli space of nonsingular cubic algebraic surfaces and the universal nonhyperelliptic smooth genus three curve. We use this to obtain a simple presentation of the mapping class group of a compact genus three topological surface with connected boundary. This leads to a modification of Wajnryb's presentation of the mapping class groups in the higher genus case that can be understood in algebro-geometric terms.

研究动机与目标

• 定义并研究与仿射Coxeter图相关的仿射Artin群的因子群。
• 确定这些群在代数几何中何时作为特定模空间的轨道基本群出现。
• 推导出具有连通边界之亏格三曲面的映射类群的简洁表示。
• 以代数几何语言重新表述Wajnryb关于高亏格映射类群的表示。
• 在省略超椭圆情形以节省篇幅的前提下，简化证明并改进表述。

提出的方法

• 该构造通过从仿射Coxeter群的结构导出的特定正规子群，对仿射Artin群取商群实现。
• 作者运用几何与拓扑方法，将这些群的商群与模空间的轨道基本群联系起来。
• 分析依赖于模空间的几何性质，特别是参数化非奇异三次曲面和非超椭圆亏格三曲线的模空间。
• 通过将模空间的基本群与轨道基本群相等化，推导出映射类群的表示。
• 结合代数几何与群论技术，建立所构造群与已知基本群之间的同构关系。
• 修订版本简化了证明并提升了清晰度，聚焦于核心的非超椭圆情形。

实验结果

研究问题

• RQ1 哪些仿射Artin群的商群作为代数簇模空间的基本群出现？
• RQ2 如何以简洁且具有几何意义的方式表示具有边界的亏格三曲面的映射类群？
• RQ3 仿射Artin群的商群与曲线与曲面模空间的轨道基本群之间存在何种关系？
• RQ4 Wajnryb关于高亏格映射类群的表示能否通过代数几何结构重新解释？
• RQ5 仿射Coxeter图的几何与群论性质如何影响这些基本群的结构？

主要发现

• 本文构造了一类仿射Artin群的因子群，其可实现为特定模空间的轨道基本群。
• 非奇异代数三次曲面的模空间的基本群同构于所定义的商群之一。
• 通用的非超椭圆光滑亏格三曲线的模空间的轨道基本群同构于另一类此类商群。
• 获得了具有连通边界的亏格三曲面映射类群的简洁且显式的表示。
• 该结果导出了Wajnryb关于高亏格映射类群表示的修订版，具有代数几何可解释性。
• 修订版本简化了证明并改进了表述，尽管为篇幅限制省略了超椭圆情形。