[论文解读] Coxeter groups, Lorentzian lattices, and K3 surfaces

Richard E. Borcherds|ArXiv.org|Jun 25, 1998

Advanced Combinatorial Mathematics被引用 28

一句话总结

本文提出一个范畴框架，用于计算柯克斯eter群中抛物子群的法方子群，特别是与洛伦兹格和K3曲面相关的无穷柯克斯eter群。结果表明，控制某些格和K3曲面自同构的群 $Γ_{\Omega}$ 同构于有限范畴 $Q_4$ 的基本群，从而实现 $Γ_{\Omega}$ 的显式表示，并证明尽管其上同调维数有限，$Γ_{\Omega}$ 通常并非算术群。

ABSTRACT

The main result of this paper describes the normalizer of a finite parabolic subgroup of a (possibly infinite) Coxeter group. We use this to compute the automorphism groups of some Lorentzian lattices and K3 surfaces.

研究动机与目标

• 描述柯克斯eter群 $W_\Pi$ 中有限抛物子群 $W_J$ 的法方子群，特别是当 $W_\Pi$ 为无穷群时。
• 通过引入范畴 $Q_4$，推广Howlett对有限柯克斯eter群的结果，使得 $\Gamma_\Omega$（法方子群结构中的神秘商群）成为 $Q_4$ 的基本群。
• 将该框架应用于计算洛伦兹格与K3曲面的自同构群，通过在 $II_{1,25}$ 中的嵌入，利用李希格与尼梅尔格进行研究。
• 确定群 $\Gamma_\Omega$ 为算术群的条件，表明尽管其虚拟上同调维数有限，$\Gamma_\Omega$ 通常并非算术群。
• 利用根系的组合结构与图自同构，重新证明并推广关于K3曲面自同构群的结果，包括雅可比型Kummer曲面与‘大多数代数性’K3曲面。

提出的方法

• 从柯克斯eter图 $\Pi$ 与子集 $J$ 构造有限范畴 $Q_4$，使得 $Q_4$ 的基本群同构于 $\Gamma_\Omega$。
• 利用范畴 $Q_4$ 推导 $\Gamma_\Omega$ 的表示，通过显式例子表明当 $J = A_1$ 时 $Q_4$ 为一维，从而恢复Brink的结果。
• 将一般框架应用于反射群 $II_{1,25}$ 的柯克斯eter图，该图编码了偶性无模洛伦兹格。
• 利用图自同构 $\Gamma_\Pi$ 与子群 $R \triangleleft \Gamma_J$ 来调节群 $W_\Omega$，从而控制自同构群中包含的反射。
• 借助康威与斯洛恩关于 $II_{1,25}$ 的结果，以及本多关于K3曲面的工作，将Picard格嵌入为根格的正交补。
• 利用Margulis关于正规子群的定理与Borel–Serre关于虚拟上同调维数的公式，证明 $\Gamma_\Omega$ 在任意秩 $\geq 2$ 的李群中均非算术群。

实验结果

研究问题

• RQ1 当经典逐案分析失效时，如何描述无穷柯克斯eter群中抛物子群的法方子群？
• RQ2 $\Gamma_\Omega$（法方子群分解 $N_{W_\Pi}(W_J) = W_J \cdot W_\Omega \cdot \Gamma_\Omega$ 中的商群）的结构是什么？
• RQ3 能否通过 $II_{1,25}$ 中根系的组合结构与图自同构来计算K3曲面的自同构群？
• RQ4 在何种条件下 $\Gamma_\Omega$ 是算术群？在虚拟上同调维数有限时，其为何常非算术群？
• RQ5 如何利用范畴 $Q_4$ 与 $\Gamma_\Omega$ 的结构来描述雅可比型Kummer曲面的自同构群？

主要发现

• $\Gamma_\Omega$ 同构于有限范畴 $Q_4$ 的基本群，从而可显式计算 $\Gamma_\Omega$ 的表示。
• 当 $J = A_1$ 时，范畴 $Q_4$ 为一维，因此 $\Gamma_\Omega$ 为自由群，从而恢复Brink的结果。
• 对于一般亏格2曲线的雅可比型Kummer曲面，有 $\Gamma_\Omega \cong ((\mathbb{Z}/2\mathbb{Z})^5 \cdot S_6) \ast_{S_5} (S_5 \times \mathbb{Z}/2\mathbb{Z})$，其包含一个由192个 $\mathbb{Z}/2\mathbb{Z}$ 的自由积构成的正规子群。
• K3曲面自同构群的 $\Gamma_\Omega$ 在任意秩 $\geq 2$ 的李群 $G$ 中均非算术群，原因在于存在过大而无法在二维中实现忠实表示的有限子群。
• 当 $n \leq 19$ 时，$I_{1,n}$ 的反射群在 $\mathrm{O}^+(I_{1,n})$ 中具有有限指数，且 $\Gamma_\Omega$ 为有限群；当 $n = 20$ 时，由于例外的 $D_5$ 情况，该性质不成立。
• 当 $J = D_4$ 且 $R = \mathrm{Aut}(J) = S_3$ 时，$\Gamma_\Omega$ 为有限群，表明 $R$ 的选择显著影响 $\Gamma_\Omega$ 的结构。