[論文レビュー] On involutions in Weyl groups

Jun Hu, Jing Zhang|arXiv (Cornell University)|Sep 27, 2016

Advanced Combinatorial Mathematics参考文献 15被引用数 11

ひとこと要約

この論文は、Weyl群の型 $B_n$ および $D_n$ の対合におけるすべての簡約的 $I_{\bullet}$-表現を結ぶ有限個の基本的 braid $I_{\bullet}$-変換を確立する。これは、ねじれ対合におけるマツムトの定理を一般化したものである。これらの変換は標準的 braid 関係に加え、自然な「右端変換」と、型 $B_n$ および $D_n$ のみに特有の新しい関係を含み、与えられた対合の任意の二つの簡約的表現が、これらの移動によって接続可能であることを証明する。

ABSTRACT

Let $(W,S)$ be a Coxeter system and $\ast$ be an automorphism of $W$ with order $\leq 2$ such that $s^{\ast}\in S$ for any $s\in S$. Let $I_{\ast}$ be the set of twisted involutions relative to $\ast$ in $W$. In this paper we consider the case when $\ast= ext{id}$ and study the braid $I_\ast$-transformations between the reduced $I_\ast$-expressions of involutions. If $W$ is the Weyl group of type $B_n$ or $D_n$, we explicitly describe a finite set of basic braid $I_\ast$-transformations for all $n$ simultaneously, and show that any two reduced $I_\ast$-expressions for a given involution can be transformed into each other through a series of basic braid $I_\ast$-transformations. In both cases, these basic braid $I_\ast$-transformations consist of the usual basic braid transformations plus some natural "right end transformations" and plus exactly one extra transformation. The main result generalizes our previous work for the Weyl group of type $A_{n}$.

研究の動機と目的

• Weyl群における対合の簡約的表現間の braid 関係に関するマツムトの定理を、一般化して、対合の文脈に適用する。
• 型 $B_n$ および $D_n$ の対合における簡約的 $I_{\bullet}$-表現の集合を保ちつつ、その集合を張る有限で一様な基本的変換の集合を特定する。
• 型 $A_n$ とは異なり、非標準的な関係が存在しないことにより、変換系の非自明性を解明する。この関係は、型 $B_n$ および $D_n$ における接続性を保証するために不可欠である。
• カーン、ジョイス、ワイザーらが型 $A_n$ で得た対合語に関する組合せ論的結果を、型 $B_n$ および $D_n$ に拡張する基盤を提供する。

提案手法

• 恒等自己同型の下で $w = w^{-1}$ を満たす対合条件を尊重する非結合的演算 $\ltimes$ を用いて $I_{\bullet}$-表現を定義する。
• 標準的 braid 関係を一般化した、簡約的 $I_{\bullet}$-表現間の移動として $I_{\bullet}$-変換の概念を導入する。
• 型 $B_n$ および $D_n$ における基本的 $I_{\bullet}$-変換の集合を明示的に構成する。これには標準的 braid 移動、'右端変換'、および一つの追加的で特異な関係が含まれる。
• 同じ対合の任意の二つの簡約的 $I_{\bullet}$-表現が、これらの基本的変換の列によって接続可能であることを、帰納法とコセット解析を用いて証明する。
• ヘッケ代数およびルシュチグ予想の結果を活用し、モジュール準同型および標準基底元の文脈で変換系の妥当性を検証する。
• $D_4$ における明示的計算により、新しい変換が存在しない場合に表現グラフが非連結になることを示し、その必要性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Weyl群における対合の簡約的 $I_{\bullet}$-表現の集合は、有限で一様な変換の集合によって接続可能か？
• RQ2 標準的 braid 関係および右端変換を越えて、型 $B_n$ および $D_n$ におけるすべての簡約的 $I_{\bullet}$-表現を接続するために必要な追加の関係は何か？
• RQ3 型 $A_n$ と型 $B_n$、$D_n$ の間には、非標準的関係の存在によって生じる構造的差異があるか？
• RQ4 型 $B_n$ および $D_n$ における新しい変換は、ヘッケ代数の表現理論およびルシュチグ予想とどのように関係しているか？
• RQ5 この変換系は、すべての有限コクセター群および位数 ≤2 の自己同型に対して一様な記述で拡張可能か？

主な発見

• 型 $B_n$ および $D_n$ のWeyl群において、与えられた対合のすべての簡約的 $I_{\bullet}$-表現は、有限個の基本的 braid $I_{\bullet}$-変換によって接続可能である。
• 基本的変換は標準的 braid 関係、自然な「右端変換」と、他のものから導出できない唯一の追加関係から構成され、接続性を保証するために不可欠である。
• この追加関係は $B_n$ および $D_n$ の型に特有であり、$A_n$ の場合には存在しない。これは、先行研究をはるかに超えた非自明な一般化を示している。
• この変換系は最小である。すなわち、追加関係を除くと、簡約的表現のグラフが非連結になる。
• この結果は、すべての有限コクセター群および位数 ≤2 の自己同型に対して、このような有限で一様な変換系が存在するという予想を裏付けている。
• $D_4$ における明示的検証により、新しい変換が、ヘッケ代数モジュール計算を通じて、接続性のギャップを閉じるために必要かつ十分であることが確認された。