[论文解读] Discrete complex reflection groups

Vladimir L. Popov|arXiv (Cornell University)|Apr 18, 2023

Advanced Algebra and Geometry参考文献 8被引用 5

一句话总结

本文对酉仿射空间中的离散复反射群进行了分类，通过上同调方法和根格不变量，给出了无限复不可约非晶格型与晶格型 r-群的完整分类。主要贡献在于证明了任一 r-群的平移群必为根格，并通过满足特定整性条件的 1-上链构造此类群。

ABSTRACT

Here are reproduced slightly edited notes of my lectures on the classification of discrete groups generated by complex reflections of Hermitian affine spaces delivered in October of 1980 at the University of Utrecht.

研究动机与目标

• 对酉仿射空间中所有无限复不可约离散反射群（r-群）进行分类。
• 确定此类群的线性部分与平移部分的结构，尤其关注非晶格型与晶格型情形。
• 建立任一 r-群的平移群必为根格的证明，并通过 1-上链刻画此类群出现的条件。
• 提供无限复不可约晶格型 r-群的完整列表，并证明其等价性与扩张结构。
• 通过证明即使在先前怀疑存在异常情形的案例中，此类 r-群亦无遗漏，从而填补长期存在的分类空白。

提出的方法

• 使用上同调技术描述线性部分 $ K = \text{Lin}\thinspace W $ 对平移群 $ \text{Tran}\thinspace W $ 的扩张，以取值于 $ V/\text{Tran}\thinspace W $ 的 1-上链 $ c $ 为模型。
• 应用前期工作中引入的算子 $ S $，分析根格的结构及其在线性群 $ K $ 作用下的不变性。
• 通过满足 $ c(r_j^l) \bot H_{R_j} $ 的 1-上链 $ c $ 构造 r-群，以确保反射的共轭仍为反射。
• 通过验证给定上链 $ c $ 是否满足 $ c(F) \neq 0 $ 仅当 $ c(F) \notin \text{Tran}\thinspace W $，并确保 $ \text{Tran}\thinspace W $ 满足整性条件，来确认其定义了一个有效的 r-群。
• 利用 $ \text{Tran}\thinspace W = \text{Tran}\thinspace W' $ 及 $ \text{Tran}\thinspace W $ 必为满秩 $ K $-不变格的性质，限制可能的群结构。
• 应用定理 5.1.2 推导出参数 $ \theta $ 的整性约束，如 $ \theta = \frac{1+i}{2} $，其必须满足 $ \theta(\text{id} - R_{n+1}PR_{n+1}^{-1})e_{n+1} \notin \text{Tran}\thinspace W $。

实验结果

研究问题

• RQ1 酉仿射空间中所有可能的无限复不可约离散反射群有哪些？
• RQ2 在何种条件下，1-上链 $ c $ 能定义一个具有给定线性部分 $ K $ 与平移群 $ \text{Tran}\thinspace W $ 的离散 r-群？
• RQ3 为何任一 r-群的平移群必为根格？该结论如何通过上同调与格论方法证明？
• RQ4 能否从非上边缘的上链构造群？若可，这对其群结构意味着什么？
• RQ5 是否存在分类中遗漏的 r-群？此类群的存在性能否被排除？

主要发现

• 任一 r-群 $ W $ 的平移群 $ \text{Tran}\thinspace W $ 必为根格，此结论由定理 5.2.1 证明。
• 对每个满足 $ s = n+1 $ 的 $ K $，存在具有线性部分 $ K $ 与平移群 $ \text{Tran}\thinspace W $ 的 r-群，当且仅当 1-上链 $ c $ 满足对所有 $ K $ 的定义关系 $ F $，均有 $ c(F) \notin \text{Tran}\thinspace W $。
• 参数 $ \theta = \frac{1+i}{2} $ 对 $ K = K_{31} $ 给出一个有效的非平凡 1-上链，且由此构造的群并非半直积，因为 $ c $ 不是上边缘。
• 分类是完整的：无任何 r-群被遗漏，此结论通过验证 $ c(F) \notin \text{Tran}\thinspace W $ 对所有关系 $ F $ 成立，且 $ \text{Tran}\thinspace W $ 恒为根格而得到确认。
• 环 $ \textbf{Z}[\text{Tr}\thinspace K] $ 是 $ K $ 的定义环中最小者，此结论通过参考 [9] 及群表结构得以确立。
• 由 $ c $ 定义的群 $ W $ 同构于 $ W' $ 当且仅当 $ \text{Tran}\thinspace W = \text{Tran}\thinspace W' $，且此关系成立当且仅当 $ c $ 是满足正交性与整性条件的 1-上链。