[論文レビュー] 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を用いて、ある超平面が多面体を2つの部分に分け、それぞれが ≥k+1 個の面を持つ場合、その超平面は元の多面体のすべての面の内部と交わらなければならないことを示す。
• 補題2を用いて、ある超平面がコクセター多面体を2つの部分に分け、そのうちの1つの部分がコクセター多面体である場合、その超平面は元の多面体の任意の頂点を含んではならないことを証明する。
• 補題3を用いて、ある超平面が頂点を避けて有限体積多面体を2つの部分に分け、そのどちらの部分も鋭角的でないことを示す。
• 面の数に関する帰納法を用い、k個未満の面を持つ多面体について結果が成り立つと仮定し、最小の反例が存在する場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 双曲的またはユークリッド空間内の離散的反射群の有限指数の反射部分群は、元の群の基本領域と比較して、その基本領域の面の数が少ない可能性があるか？
• RQ2 反射部分群がより単純な基本領域を持つのを防ぐ幾何学的および組合的制約は何か？
• RQ3 有限指数の反射部分群の基本領域の面の数に対する下界は存在するか？
• RQ4 離散的反射群の基本領域の面の数は、その群を生成する最小の反射数に対応するか？
• RQ5 コクセター分解が部分群において面の数を保存する条件は何か？

主な発見

• 双曲的またはユークリッド空間内の離散的反射群 G の任意の有限指数の反射部分群 H の基本領域は、G の基本領域と比較して、少なくとも同じ数の面を持つ。
• 元の群 G が k 個の面を持つ基本領域を持つ場合、H は少なくとも k 個の面を持つ基本領域を持つ必要がある。
• 証明は、k 個の面を持つ最小の反例が存在すると仮定して背理法を用いる帰納法に依存する。
• 著者たちは、ある超平面が多面体を2つの部分に分け、それぞれが ≥k+1 個の面を持つ場合、その超平面は元の多面体のすべての面の内部と交わらなければならないことを示した。
• コクセター多面体を2つの部分に分け、そのうちの1つがコクセター多面体であるような超平面が、元の多面体の頂点を含むことは不可能である。
• 球面空間では、多面体が反対点を含まない限り、この結果は成り立たない。そうでない場合、構造が自明（例えば単体）になるためである。