[論文レビュー] Projective reflection groups of finite covolume

Balthazar Fléchelles, Seunghoon Hwang|arXiv (Cornell University)|Jan 29, 2026

Geometric and Algebraic Topology被引用数 0

ひとこと要約

本論文はVinberg反射群がVinbergドメイン上で体積有限になる条件を、負型の準超多胞体（quasiperfect Coxeter polytope）に限定して厳密に同値にすることを証明し、Vinbergドメインが唯一の不変な適切凸ドメインとなる状況を導出する。

ABSTRACT

We show that the Coxeter polytopes that have finite volume in their Vinberg domains are exactly the quasiperfect Coxeter polytopes of negative type, i.e. the Coxeter polytopes that are contained in their properly convex Vinberg domain, at the exception of some vertices that are C^1 points of the boundary. As a corollary, we show that for reflection groups à la Vinberg, the Vinberg domain is the only invariant properly convex domain if and only if the action is of finite covolume on the Vinberg domain and the dimension is at least 2.

研究の動機と目的

• 凸共形射影 orbifoldと離散群作用をHilbert幾何で動機づける。
• Vinbergドメインの体積が有限となる負型Coxeter多胞体を特徴付ける。
• 反射群が射影空間で唯一の適切凸ドメインを不変に保つ条件を決定する。
• 2-perfectなどの正則性仮定を緩和して結論を保持する等、既存結果を拡張する。

提案手法

• Coxeter多胞体、Cartan行列、反射群の関係をVinberg理論で関連づける。
• Vinberg表現と関連する基本錐Δを定義・解析する。
• Cartan行列A_Pの型によってΔが適切凸VinbergドメインΩPを生み出す条件を特徴付ける。
• ΩPの体積有限性とPの準完全性の間の同値性を証明する。
• 近端極限集合と不変ドメインの結果を活用して不変ドメインの唯一性を導く。

実験結果

リサーチクエスチョン

• RQ1 負型のCoxeter多胞体は Vinbergドメインでいつ体積有限になるか？
• RQ2 頂点の準完全条件と体積有限性の正確な関係はどうなるか？
• RQ3 反射群は射影空間でいつ唯一の適切凸ドメインを不変に保つのか？
• RQ4 近端極限集合はVinbergドメインの幾何や商写像オービフォールドの端部とどう関連するか？

主な発見

• 負型のCoxeter多胞体Pは、ΩPの体積が有限である場合に限りPは準完全である。
• 負型の準完全Pに対して商ΩP/ΓPは双曲的端を持ち、一般化 cuspは線形反射群からは生じない。
• 反射群ΓPが射影空間で唯一の適切凸ドメインを不変に保つのは、Pが準完全かつ次元P≥2の場合に限る。
• 2-perfect性の仮定を緩和しても体積有限性と準完全性の同値性を保つことでMarquisの知見を拡張する。
• 近端極限集合がVinbergドメインの境界を満たす／関係づける状況や、ΓPが非仮想可換である場合の含意に貢献する。