[論文レビュー] Normalisateurs et groupes d'Artin-Tits de type sphérique

Eddy Godelle|arXiv (Cornell University)|Feb 18, 2002

Geometric and Algebraic Topology参考文献 9被引用数 3

ひとこと要約

この論文は、球面型アーティン・ティッツ群において、任意の標準的パラボリック部分群 $A_X$ の正規化群と可換化群が一致しており、$A_X$ と $A_S$ 内の $A_X$ の準中心化群の積に同型であることを確立する。主な結果は、パリスの先行研究を一般化し、商群の間の自然な同型を通じて、アーティン・ティッツ群における正規化群の構造が、関連するコクセター群におけるそれと一致することを証明する。

ABSTRACT

Let $(A_S,S)$ be an Artin-Tits and $X$ a subset of $S$ ; denote by $A_X$ the subgroup of $A_S$ generated by $X$. When $A_S$ is of spherical type, we prove that the normalizer and the commensurator of $A_X$ in $A_S$ are equal and are the product of $A_X$ by the quasi-centralizer of $A_X$ in $A_S$. Looking to the associated monoids $A_S^+$ and $A_X^+$, we describe the quasi-centralizer of $A_X^+$ in $A_S^+$ thanks to results in Coxeter groups. These two results generalize earlier results of Paris. Finaly, we compare, in the spherical case, the normalizer of a parabolic subgroup in the Artin-Tits group and in the Coxeter group.

研究の動機と目的

• 生成集合 $X$ の非分解性という仮定を除いて、アーティン・ティッツ群における正規化群に関するパリスの結果を一般化すること。
• 球面型アーティン・ティッツ群 $A_S$ における標準的パラボリック部分群 $A_X$ の正規化群と可換化群を特徴づけること。
• コクセター群の結果を用いて、正単モノイド $A_S^+$ 内の $A_X^+$ の準中心化群を記述すること。
• アーティン・ティッツ群におけるパラボリック部分群の正規化群と、それに対応するコクセター群におけるその像との関係を比較すること。
• アーティン・ティッツ群 $A_S$ 内の正規化群の商と、コクセター群 $W_S$ 内の対応する商との間に構造的同型を確立すること。

提案手法

• 正単モノイド $A_S^+$ 内の共役元を分析するために、$X$-削減可能要素と $X$-ルバンの概念を用いる。
• アーティン・ティッツ群の要素とそのコクセター群への像を結びつけるために、自然な射影 $p: A_S \to W_S$ を適用する。
• 球面的成分の基本的要素 $\Delta_{X(t)}$ を用いて定義される、基本的正の $Y$-ルバン-$X$ 要素の概念を用いる。
• 集合 $Conj^+(S;X,Y)$ の要素が、ちょうど基本的正の $X_i$-ルバン-$X_{i-1}$ 要素の有限積として正確に表されることを確立する。
• 基本的な構造的同一式 $N_{A_S}(A_X) = A_X \cdot QZ_{A_S}(A_X)$ を用いる。
• 射影 $p$ によって誘導される全単射な準同型写像を介して、同型 $N_{A_S}(A_X)/(Z_{A_S}(A_X) \cdot A_X) \simeq N_{W_S}(W_X)/(Z_{W_S}(W_X) \cdot W_X)$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 球面型アーティン・ティッツ群における標準的パラボリック部分群 $A_X$ の正規化群と可換化群が一致する条件は何か？
• RQ2 コクセター群の結果を用いて、正単モノイド $A_S^+$ 内の $A_X^+$ の準中心化群はどのように記述できるか？
• RQ3 アーティン・ティッツ群におけるパラボリック部分群の正規化群と、それに対応するコクセター群におけるその像との関係は何か？
• RQ4 アーティン・ティッツ群 $A_S$ 内の正規化群の構造は、$A_X$ とその準中心化群の積として分解可能か？
• RQ5 アーティン・ティッツ群 $A_S$ とコクセター群 $W_S$ の商正規化群の間の同型は、自然で完全に特徴づけられるか？

主な発見

• 球面型であるとき、$A_S$ 内の $A_X$ の正規化群と可換化群は一致し、$A_X \cdot QZ_{A_S}(A_X)$ に同型である。
• 準中心化群 $QZ_{A_S}(A_X)$ は、$\Delta_X^\epsilon$ と $X$-削減可能要素を含む積構造によって特徴づけられる。
• 正共役集合 $Conj^+(S;X,Y)$ の要素は、ちょうど基本的正の $X_i$-ルバン-$X_{i-1}$ 要素の積として正確に表される。
• 正規化群の商 $N_{A_S}(A_X)/(Z_{A_S}(A_X) \cdot A_X)$ は、自然射影 $p$ を通じて $N_{W_S}(W_X)/(Z_{W_S}(W_X) \cdot W_X)$ に同型である。
• 射 $p: H_X \to G_X$ は全射であり、商正規化群の間の同型を誘導する。
• 誘導された準同型写像 $\widetilde{p}$ の核は自明であり、単射性が証明され、結果として商群の完全な同型が得られる。