[論文レビュー] An Inductive Approach to Coxeter Arrangements and Solomon's Descent Algebra

J. Matthew Douglass, Götz Pfeiffer+1 more|arXiv (Cornell University)|Jan 1, 2011

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

ひとこと要約

本稿は、有限コックスター群の群代数とオリック＝ソロモン代数が、共役類の中心化部分群からの誘導された一様次元表現に分解されることを主張する予想Aに対する帰納的アプローチを提示する。パラボリック部分群に対する予想の相対的バージョンを用いることで、すべてのランク≤2のコックスター群に対して予想が成り立つことを証明し、反射群論における広範な検証の基礎的事例を確立する。

ABSTRACT

In a recent paper we claimed that both the group algebra of a finite Coxeter group $W$ as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of centralizers, one for each conjugacy class of elements of $W$, and gave a uniform proof of this claim for symmetric groups. In this note we outline an inductive approach to our conjecture. As an application of this method, we prove the inductive version of the conjecture for finite Coxeter groups of rank up to 2.

研究の動機と目的

• 有限コックスター群の群代数およびオリック＝ソロモン代数が、共役類の中心化部分群からの誘導された一様次元表現に分解されることを主張する予想Aを証明するための帰納的枠組みを構築すること。
• Wのパラボリック部分群WLであるような対(W, WL)に対して、相対的予想を形式化し、帰納的還元を可能にする。
• すべてのランク≤2のパラボリック部分群に対して相対的予想（予想C）を検証することで、予想Aの基本ケースを確立すること。
• 誘導キャラクターと降下代数の構造を用いて、対称群に限らない一般の有限コックスター群へのキャラクター論的技法の適用を拡張すること。

提案手法

• Wのパラボリック部分群WLであるような対(W, WL)に対して、WLの元の中心化部分群からの誘導キャラクターを含む相対的予想（予想C）を形式化する。
• Wの降下代数とその準等長的イデムポテンの分解を用いて、群代数の構造を分析する。
• オリック＝ソロモン代数A(W)を、複素化された反射配置の補集合のコホモロジー環として取り扱い、その加群構造を誘導キャラクターと関連付ける。
• 符号キャラクターǫとwの1固有空間上の行列式αwを含むキャラクター公式を用い、ωWとρWを誘導表現に関連付ける。
• 正規化部分群NW(WL) = WL ⋊ NLおよびNLがWLに作用する構造を活用し、CWL(st)からCW(st)へのキャラクターのコセット代表元による拡張を実行する。
• WLが型A1×A1および型I2(m)（mが奇数）である場合に分けて、idempotent基底とキャラクター拡張を用いて、ランク2のパラボリック部分群に対して予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限コックスター群の群代数およびオリック＝ソロモン代数が、中心化部分群からの誘導された一様次元表現に分解されることを、パラボリック部分群を用いた帰納的証明で示せるか？
• RQ2 WLがランク≤2のパラボリック部分群であるようなすべての対(W, WL)に対して、相対的予想（予想C）は成り立つか？
• RQ3 中心化部分群上のキャラクターϕwとψwは、誘導表現の文脈で符号キャラクターǫと行列式αwとどのように関係するか？
• RQ4 正規化部分群NW(WL)とNLの作用が、降下代数およびオリック＝ソロモン代数において帰納的証明を可能にする役割を果たすか？
• RQ5 ランク2のパラボリック部分群に属する要素wに対して、オリック＝ソロモン代数A(WL)の構造を用いて、キャラクター恒等式ψw = ϕwǫαwを検証できるか？

主な発見

• 任意の有限コックスター群Wのランク2パラボリック部分群WLすべてに対して、予想Cが、WLの型によるケース別分析により証明された。
• WLが型A1×A1の場合は、中心的かつカスピッドルな元stのおかげで自明に成立し、ϕw = ǫLおよびψw = 1Lとなる。
• WLが型I2(m)（mが奇数）の場合は、CWL(st)からCW(st)へのキャラクターϕ(st)jの拡張と、恒等式eψL = eϕLǫSαLの検証により、予想が成立する。
• 証明は、群代数およびオリック＝ソロモン代数の上位成分が正規化部分群NLの作用に対して安定であることに依拠しており、一貫性のあるキャラクター拡張を可能にする。
• C⟨st⟩のイデムポテン基底{fj}およびwLとn∈NLがaL = asatに作用する様子は、オリック＝ソロモン代数のキャラクター恒等式の検証において核心的な役割を果たす。
• 本結果により、すべてのランク≤2の有限コックスター群に対して予想Aが正当化され、一般予想の基礎的事例が確認された。