[論文レビュー] A cellular algebra with certain idempotent decomposition

Kentaro Wada|ArXiv.org|May 8, 2008

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

ひとこと要約

本稿は、単位元をセルラー基底と適合する直交冪等元に分解することにより、セルラー代数の一般化された枠組みを導入する。これにより、レヴィ型およびパラボリック型部分代数の構成が可能となり、元の代数と商代数の分解数の同型が確立され、ブロックの精密なブロック分解を用いた分類がなされ、既存のクーロミック q-シュール代数に関する結果が一般セルラー代数へと拡張される。

ABSTRACT

For a cellular algebra $\A$ with a cellular basis $\ZC$, we consider a decomposition of the unit element $1_\A$ into orthogonal idempotents (not necessary primitive) satisfying some conditions. By using this decomposition, the cellular basis $\ZC$ can be partitioned into some pieces with good properties. Then by using a certain map $\a$, we give a coarse partition of $\ZC$ whose refinement is the original partition. We construct a Levi type subalgebra $\aA$ of $\A$ and its quotient algebra $\oA$, and also construct a parabolic type subalgebra $ A$ of $\A$, which contains $\aA$ with respect to the map $\a$. Then, we study the relation of standard modules, simple modules and decomposition numbers among these algebras. Finally, we study the relationship of blocks among these algebras.

研究の動機と目的

• クーロミック q-シュール代数における分解数の積分公式を、適合する冪等元分解を有する任意のセルラー代数へ一般化すること。
• 写像 α を用いて、与えられたセルラー代数からレヴィ型部分代数とパラボリック型部分代数を構成すること。
• 元の代数とその商部分代数間で、標準的モジュール、単純モジュール、および分解数の関係を特定すること。
• 写像 α を通じて誘導されるブロック分解を用いて、元の代数およびその部分代数のブロックを分類すること。
• 非セルラーなパラボリック型部分代数を組み込むことで、セルラー代数の表現論的枠組みを拡張すること。

提案手法

• セルラー代数の単位元を、セルラー基底と適合する直交冪等元に分解する。
• 写像 α を用いてセルラー基底の粗い分割を誘導し、冪等元分解から得られる元の分割を精緻化する。
• セルラー基底と写像 α から導かれる、レヴィ型部分代数 𝔸^α と、それを含むパラボリック型部分代数 ~𝔸^α を構成する。
• ~𝔸^α の商代数 𝔸̅^α を定義し、クーロミック q-シュール代数における商と類似した簡素な構造を継承する。
• 𝔸 と 𝔸̅^α の分解数の間の同型を確立し、元の代数の特定の分解数が商代数のそれと一致することを示す。
• 写像 α を通じて誘導されるブロック分解と、順序集合 Λ⁺ 上の同値関係 ∼ を用いて、𝔸、~𝔸^α、𝔸^α、𝔸̅^α のブロックを分類する。

実験結果

リサーチクエスチョン

• RQ1 一般セルラー代数の分解数は、冪等元分解と写像 α を用いて構成された簡素な商代数のそれとどのように関係するか？
• RQ2 元のセルラー代数、そのレヴィ型部分代数、パラボリック型部分代数、および商代数の間の構造的関係は何か？
• RQ3 写像 α を通じて、部分代数および商代数のブロック構造から、セルラー代数のブロック構造を回復できるか？
• RQ4 商代数 𝔸̅^α は、元の代数のブロックに基づくブロック分解を許容するセルラー構造を継承するか？
• RQ5 写像 α が、代数的階層全体にわたる標準的モジュールおよび単純モジュールの適合する分解を誘導する条件は何か？

主な発見

• 元の代数 𝔸 における標準的モジュール W^λ の分解数は、特定の λ および μ に対して、商代数 𝔸̅^α における対応する分解数と一致する。
• 商代数 𝔸̅^α は、より小さなセルラー代数のテンソル積の直和と同型であり、クーロミック q-シュール代数で観察された構造を一般化する。
• 𝔸̅^α のブロック分解は ⨁_{Γ∈Λ⁺/~} ⨁_{η∈X⁺} 𝔹̅^α_{Γ_η} で与えられ、ここで Γ_η は α(λ) = η を満たす λ ∈ Γ の集合である。
• 𝔸̅^α のブロック 𝔹̅^α_Γ は η ∈ X⁺ における直和として分解され、写像 α によって誘導される精緻なブロック構造を示している。
• パラボリック型部分代数 ~𝔸^α はセルラーではないが、標準的基底を持つ。そのブロック構造は、写像 α を通じて 𝔸 のそれと関連している。
• レヴィ型部分代数 𝔸^α と商代数 𝔸̅^α は両方ともセルラーであり、それらのモジュール圏は写像 α を通じて元の代数のそれと関連している。