[論文レビュー] The blocks of the Brauer algebra in characteristic zero

Anton Cox, Maud De Visscher+1 more|ArXiv.org|Jan 16, 2006

Algebraic structures and combinatorial models参考文献 20被引用数 6

ひとこと要約

この論文は、特性が0の体上のブレイアー代数のブロック構造を決定し、単純加群 $L(\lambda)$ と $L(\mu)$ が同じブロックにあるための必要十分条件として、それらの対称差が、和が0となる相反する電荷を持つボックスのペアに分割可能であり、さらに $1/(-1)$-ペアに関しては偶数性の追加条件を満たすことが示された。この結果は、セル代数の技法と代数的構造に関する帰納法を用いて、$\delta$ が0を含むすべての整数値に拡張可能である。

ABSTRACT

We determine the blocks of the Brauer algebra in characteristic zero. We also give information on the submodule structure of standard modules for this algebra.

研究の動機と目的

• 整数 $\delta$ に対して、特性0の体上のブレイアー代数 $B_n(\delta)$ のブロックを分類すること。
• 標準的加群の部分加群構造、特にその合成因子と拡張を理解すること。
• 準ヒーゲルドリックでないが、セル構造を保つ $\delta = 0$ の場合に、ブロック分類の結果を拡張すること。
• ヤング図への電荷と内容の割り当てを用いて、ブロックの幾何的連結性原理を提供すること。
• 代数的構造に関する帰納的および局所化的議論を通じて、ブロック構造が $n$ に依存しないことを確認すること。

提案手法

• 各ボックス $\epsilon$ に対して、$c(\epsilon) = j - i$ を内容として、$\operatorname{ch}(\epsilon) = \delta - 1 + 2c(\epsilon)$ を電荷として割り当てる。
• 対称差 $\lambda \triangle \mu = (\lambda \setminus \mu) \cup (\mu \setminus \lambda)$ を定義し、そのボックスが電荷の和が0となる相反ペアに分割可能かどうかを分析する。
• 対称差のサイズが $|\lambda \triangle \tau| = 2t$ であるペアに対して、バイアス $b(\lambda, \tau) = \left(\sum_{d \in \lambda \triangle \tau} c(d)\right) - t(1 - \delta)$ を定義し、バイアスが0であるペアをバランスの取れたペアと呼ぶ。
• $n$ に関する帰納法と制限函手 $\operatorname{res}_n$ を用いて、標準的加群 $\Delta_n(\mu)$ の構造を分析し、$\tau \lhd \mu$ または $\tau \rhd \mu$ である $\Delta_{n-1}(\tau)$ を含む短完全系列を活用する。
• セル代数理論の結果と [DWH99] で知られている分解行列を適用し、特に $\delta = 0$ の場合に準ヒーゲルドリック性が成立しないが、[GL96, CMPX] の結果によりセル加群がブロックの決定に有効であることを示す。
• 追加可能な/取り除けるノードに関する帰納的議論と電荷に基づく制約を用いて、各合成因子が余礎にちょうど一度ずつ現れることを示し、標準的加群間の準同型が1次元であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 整数 $\delta$ に対して、特性0の体上のブレイアー代数 $B_n(\delta)$ のブロック構造は、何によって決定されるか？
• RQ2 ヤング図のボックスに割り当てられた電荷は、単純加群のブロックへの連結性にどのように影響するか？
• RQ3 準ヒーゲルドリック構造が崩れる $\delta = 0$ の場合、ブロック構造はどのように変化するか？
• RQ4 標準的加群 $\Delta_n(\mu)$ の部分加群構造は、合成因子と拡張の観点から完全に記述可能か？
• RQ5 電荷割り当ての対称性と $1/(-1)$-ペアのパリティが、ブロック分解にどのように影響するか？

主な発見

• 単純加群 $L(\lambda)$ と $L(\mu)$ が同じブロックにあるための必要十分条件は、$\lambda \setminus \mu$ と $\mu \setminus \lambda$ のボックスが、電荷の和が0となるペアに分割可能であることである。
• 追加の条件として、$\lambda \setminus \mu$ に右に $1$ がない $1/(-1)$-ペアが存在する場合、そのようなペアの数は偶数でなければならない。
• ブロック構造は $n$ に依存せず、ヤング図の組合せ論的性質とその電荷割り当てにのみ依存する。
• $\delta = 0$ の場合、準ヒーゲルドリック性が失われるが、セル構造と [DWH99]、[GL96] の結果により、ブロックの結果は依然として成り立つ。
• 標準的加群 $\Delta_n(\mu)$ が一意の合成因子 $L_n(\lambda)$ を持つための必要十分条件は、ペア $(\lambda, \mu)$ がバランスされており、バイアスが0であることであり、各因子は余礎にちょうど一度ずつ現れる。
• 電荷ペアリング条件によってリンクされる $\lambda$ と $\mu$ に対して、$\operatorname{Hom}(\Delta_n(\lambda), \Delta_n(\mu))$ の次元は1であり、準同型の一意性が確認された。