[論文レビュー] Discrete complex reflection groups

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

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

ひとこと要約

この論文は、ヘルミートアフィン空間内の離散的複素反射群を分類し、コhomology的手法と根格子不変量を用いて、無限大の複素非単純で非晶質的および晶質的 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 $ の拡張を記述するためのコhomology的技法を用い、$ V/\text{Tran}\thinspace W $ に値をとる 1-コサイクル $ c $ をモデル化する。
• 以前の研究で導入された作用素 $ S $ を用いて、根格子の構造と線形群 $ K $ の作用における不変性を分析する。
• 反射の共役が反射のままであることを保証するため、$ c(r_j^l) \bot H_{R_j} $ を満たす 1-コサイクル $ c $ を用いて r-群を構成する。
• 与えられたコサイクル $ c $ が有効な r-群を定義するかを確認するため、$ c(F) \neq 0 $ であるのは $ c(F) \notin \text{Tran}\thinspace W $ の場合に限ることを検証し、$ \text{Tran}\thinspace W $ の整性条件を保証する。
• $ \text{Tran}\thinspace W = \text{Tran}\thinspace W' $ および $ \text{Tran}\thinspace W $ がフルランクの $ K $-不変格子でなければならないという事実を用いて、可能な群を制限する。
• 定理 5.1.2 を適用し、パrameter $ \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-群の平行移動部が必ず根格子であるのか、そしてコhomology的および格子論的手法を用いてどのように証明できるのか？
• RQ4 コサイクルがコバウンダリーでない場合に、そのような群を構成できるか。その場合、群の構造にどのような意味があるのか？
• RQ5 分類に欠落した r-群が存在するのか。そのような群の存在は排除できるのか？

主な発見

• 任意の r-群 $ W $ の平行移動群 $ \text{Tran}\thinspace W $ は、定理 5.2.1 で証明されたように根格子である。
• $ K $ に対して $ s = n+1 $ のとき、線形部 $ K $ および平行移動群 $ \text{Tran}\thinspace W $ を持つ r-群の存在は、$ K $ の定義関係 $ F $ 全体に対して $ c(F) \notin \text{Tran}\thinspace W $ を満たすか否かに依存する。
• $ K = K_{31} $ に対してパラメータ $ \theta = \frac{1+i}{2} $ は、非自明な 1-コサイクルを生成し、$ c $ がコバウンダリーでないため、得られる群は半直積ではない。
• 分類は完全である：すべての関係 $ F $ に対して $ c(F) \notin \text{Tran}\thinspace W $ であることの確認および $ \text{Tran}\thinspace W $ が常に根格子であることから、r-群が欠落していないことが確認された。
• 文献 [9] および群の表の構造を根拠として、$ \textbf{Z}[\text{Tr}\thinspace K] $ は $ K $ の定義環の中で最小である。
• $ c $ が直交性および整性条件を満たす 1-コサイクルであるとき、$ W $ と $ W' $ が同型であるための必要十分条件は $ \text{Tran}\thinspace W = \text{Tran}\thinspace W' $ である。