[论文解读] On finite index reflection subgroups of discrete reflection groups

Anna Felikson, Pavel Tumarkin|arXiv (Cornell University)|May 6, 2003

Geometric and Algebraic Topology参考文献 1被引用 4

一句话总结

本文证明，在双曲或欧氏空间中的离散反射群的任意有限指数反射子群，其基本域的面数不少于原群的基本域的面数。通过在考斯策尔多面体及其分解上运用几何与组合论证，作者证明了此类子群下基本域的面数不可能减少，从而解决了反射群理论中的一个关键结构性问题，并支持了关于最小反射生成元数量的猜想。

ABSTRACT

Let $G$ be a discrete group generated by reflections in hyperbolic or Euclidean space, and $H\subset G$ be a finite index subgroup generated by reflections. Suppose that the fundamental chamber of $G$ is a finite volume polytope with $k$ facets. In this paper, we prove that the fundamental chamber of $H$ has at least $k$ facets.

研究动机与目标

• 确定离散反射群的有限指数反射子群的基本域的最小面数。
• 研究反射子群的基本域的面数是否可能小于原群的面数。
• 建立有限指数反射子群的基本域面数的下界。
• 支持一个猜想：离散反射群的生成元数不能少于其基本域面数。

提出的方法

• 分析具有固定考斯策尔分解的双曲、欧氏或球面空间中的考斯策尔多面体。
• 应用安德烈夫定理于锐角多面体：不相交的面具有不相交的支撑超平面。
• 使用引理1证明：若一个超平面将一个多面体分割为两部分，且每部分均至少有k+1个面，则该超平面必须与原多面体的每个面的内部相交。
• 使用引理2证明：若一个超平面将一个考斯策尔多面体分割为两部分，且其中一部分本身是考斯策尔多面体，则该超平面不能包含原多面体的任何顶点。
• 应用引理3证明：若一个超平面避开顶点并把一个有限体积多面体分割为两部分，则这两部分均不能是锐角多面体。
• 通过面数的归纳法，假设结论对少于k个面的多面体成立，并在假设最小反例存在时导出矛盾。

实验结果

研究问题

• RQ1 在双曲或欧氏空间中，离散反射群的有限指数反射子群，其基本域的面数是否可能少于原群基本域的面数？
• RQ2 哪些几何与组合约束阻止了反射子群拥有更简单的基本域？
• RQ3 是否存在有限指数反射子群的基本域面数的下界？
• RQ4 离散反射群的基本域的面数是否对应于生成该群所需的最少反射数？
• RQ5 在何种条件下，考斯策尔分解能保持子群中的面数不变？

主要发现

• 在双曲或欧氏空间中，任意离散反射群G的有限指数反射子群H，其基本域的面数不少于G的基本域的面数。
• 若原群G的基本域有k个面，则H的基本域至少也有k个面。
• 证明依赖于反证法与归纳法，假设结论在k个面的最小反例下不成立。
• 作者证明：若一个超平面将一个多面体分割为两部分，且每部分均至少有k+1个面，则该超平面必须与原多面体的每个面的内部相交。
• 不可能存在一个超平面，将一个考斯策尔多面体分割为两部分，其中一部分是考斯策尔多面体，且该超平面包含原多面体的某个顶点。
• 该结论在球面空间中不成立，除非多面体不包含对径点，否则结构会变得平凡（例如单形）。