[論文レビュー] Centralizers of reflections and reflection-independence of Coxeter groups

Koji Nuida|ArXiv.org|Feb 8, 2006

Advanced Combinatorial Mathematics参考文献 20被引用数 5

ひとこと要約

本稿は、与えられた生成元と可換な反転によって生成される部分群の有限非可約成分を分析することにより、コクセター群における反射独立性の新しい十分条件を導入する。主な結果として、無限大で非可約かつ2-球面的コクセター群（無限大のランクを含む）が反射独立であることが示され、従来の有限または球面的ケースにとどまらない拡張が、中心化部分群の構造的解析を用いてなされる。

ABSTRACT

A Coxeter group W is called reflection independent if its reflections are uniquely determined by W only, independently on the choice of the generating set. We give a new sufficient condition for the reflection independence, and examine this condition for Coxeter groups in certain classes, possibly of infinite ranks. We also determine the finite irreducible components of another Coxeter group, that is a subgroup of W generated by the reflections centralizing a given generator of W. Determining such a subgroup makes our criterion efficient.

研究の動機と目的

• 生成元集合の選択に依存しないコクセター群における反射独立性の新しい十分条件を確立すること。
• 固定された生成元と可換な反転によって生成される部分群の構造を分析すること、特にその有限非可約成分に注目すること。
• 従来の手法が失敗する無限ランクおよび非球面的コクセター群に対しても、反射独立性の結果を拡張すること。
• 最大有限部分群を持たないコクセター群を含む、任意のコクセター群に適用可能な一般枠組みを提供すること。

提案手法

• 反射 $ x \in S $ と可換で、$ x $ と異なる $ W $ の反転によって生成される部分群 $ W^{\bot x} $ を定義し、その有限非可約成分 $ (W^{\bot x})_{\text{fin}} $ を分析する。
• DeodharおよびDyerの結果を用いて $ W^{\bot x} $ がコクセター群であることを示し、構造的分解を可能にする。
• 奇数のコクセター図形と関係性に基づくケース解析により、$ (W^{\bot x})_{\text{fin}} $ を6つの特別なケースと1つの一般ケースに完全に分類する。
• すべての $ x \in S $ に対して $ (W^{\bot x})_{\text{fin}} $ が十分に小さいならば、$ W $ は反射独立であるという基準を適用する。
• 奇数接続および2-球面的ケースにおける有限パラボリック部分群の共役性と極大性を活用し、基準の検証を行う。
• 図形的道具（奇数のコクセター図形、非循環性、連結性）を用いて関係性を分析し、有限性条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 コクセター群における反転の集合が生成元集合の選択に依存しない条件は何か？
• RQ2 中心化部分群の構造をどのように用いることで、無限ランクコクセター群における反射独立性を決定できるか？
• RQ3 $ W^{\bot x} $ の有限非可約成分が反射独立性を保証するために果たす役割は何か？
• RQ4 無限大で非可約かつ2-球面的コクセター群（たとえ無限大ランクであっても）において、反射独立性を確立できるか？
• RQ5 奇数接続性および非循環性を持つ奇数のコクセター図形が、反射独立性基準に与える影響は何か？

主な発見

• 本稿は、任意の無限大で非可約かつ2-球面的コクセター群（ランクにかかわらず）が反射独立であることを証明している。
• 有限非可約成分 $ (W^{\bot x})_{\text{fin}} $ は、6つの特別なケースと1つの一般ケースに完全に分類されており、基準の適用が可能である。
• 奇数接続コクセター群において、$ (W^{\bot x})_{\text{fin}} $ が自明でもなく、1つの反転によって生成されない限り、主定理の仮定が満たされる。
• 奇数接続ケースでは、最大有限パラボリック部分群 $ W_K $ と $ W_I $ を用いて、同型写像下でも反転の共役類が保存されることを示している。
• 証明は、このような最大有限部分群の共通部分集合が、同型写像下で反転に写される生成元を含むことを示すことに依存している。
• 最大有限部分群が存在しない状況においても基準が有効であるため、従来の手法が失敗する無限ランク群に対しても適用可能である。