[論文レビュー] Tilting Modules for the Symplectic Blob Algebra

Andrew Reeves|arXiv (Cornell University)|Nov 1, 2011

Algebraic structures and combinatorial models参考文献 11被引用数 7

ひとこと要約

この論文は、代数 $b'_{n}$ が準素的順序をもつ場合、シンプレクティック・ブロブ代数 $b'_{n}$ のテンソル空間モジュール $Π(n)$ がフル・ティルティングモジュールであることを、局所化ファンクターと随伴写像の単射性を用いて証明する。主な結果は、すべての $n \in \mathbb{N}$ に対して $Π(n)$ がフル・ティルティングであることであり、これはテムペリー＝リーブおよびブロブ代数の構成をシンプレクティック設定に一般化するものである。

ABSTRACT

Let $\Field$ be an algebraically closed field. For $n \in \mathbb{N}$ and $δ, δ_L, δ_R, κ_L, κ_R, κ\in \Field$, the symplectic blob algebra $\sba(δ, δ_L, δ_R, κ_L, κ_R, κ)$ is a finite dimensional non-commutative $\Field$-algebra that may be viewed as an extension of the Temperley-Lieb algebra. In a previous paper, we defined, for any $n \in \mathbb{N}$, a tensor space module $ ensor[_\sba]{\mathcal{V}(n)}{}$. In this paper we generalise an argument used by Martin and Ryom-Hansen in their study of the (ordinary) blob algebra to show that when $\sba$ is quasihereditary the module $ ensor[_\sba]{\mathcal{V}(n)}{}$ is full-tilting.

研究の動機と目的

• シンプレクティック・ブロブ代数 $b'_{n}$ のフル・ティルティングモジュールを構成すること。これは、テムペリー＝リーブおよびブロブ代数の準素的順序拡張である。
• マーチンとライオム＝ハンセンによる通常のブロブ代数に対する議論を、シンプレクティックの場合に一般化すること。
• 随伴写像 $\psi_n$ の単射性を証明することで、テンソル空間モジュール $\mathcal{V}(n)$ がフル・ティルティングであることを確立すること。
• $\mathcal{V}(n)$ が順列モジュール $M_n(r)$ に分解することを示し、この分解が局所化ファンクター $F_e$ および $F_f$ を尊重することを示すこと。
• $\mathcal{V}(n)$ がすべての非分解ティルティングモジュールを和成分として含むことを示し、これがフル・ティルティングであることを確認すること。

提案手法

• 生成子 $e$ および $f$ に関連する局所化ファンクター $F_e, F_f: b'_n\text{-mod} \to b'_{n-1}\text{-mod}$ を用いて、$\mathcal{V}(n)$ と $\mathcal{V}(n-1)$ の関係を確立する。
• 命題 4.15 を用いて、$F_e(\mathcal{V}(n)) \cong F_f(\mathcal{V}(n)) \cong \mathcal{V}(n-1)$ を証明する。
• 随伴写像 $\psi_n: (G_e \circ F_e)(\mathcal{V}(n)) \to \mathcal{V}(n)$ が単射であるならば、$\mathcal{V}(n)$ がティルティングであることが示され、命題 4.18 でそれを確認する。
• 組合せ的数列とチェビシェフ多項式を用いて、特に定義 5.2 で定義される数列 $v(r)$ を用いて、$\mathcal{V}(n)$ の構造を分析する。
• 分解 $\mathcal{V}(n) = \bigoplus_r M_n(r)$ を利用し、$M_n(2n) \cong T_n(-n)$ を示し、順列モジュールとティルティングモジュールを結びつける。
• 帰納法と標準的フィルトレーションの構造を用いて、すべての $T_n(\lambda)$ が和成分として現れることを示し、$\mathcal{V}(n)$ がフル・ティルティングであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 代数 $b'_n$ が準素的順序をもつとき、シンプレクティック・ブロブ代数 $b'_n$ のテンソル空間モジュール $\mathcal{V}(n)$ はフル・ティルティングモジュールをなすか？
• RQ2 随伴写像 $\psi_n$ の単射性を確立することで、$\mathcal{V}(n)$ がティルティングであることを確認できるか？
• RQ3 局所化ファンクター $F_e$ および $F_f$ は、$\mathcal{V}(n)$ の順列モジュール $M_n(r)$ への分解とどのように作用するか？
• RQ4 シンプレクティック・ブロブ代数における標準モジュールの重複度 $(M_n(r) : \Delta_n(\lambda))$ に対して、組合せ的記述が可能か？
• RQ5 端末代数 $\operatorname{End}_{b'_n}(\mathcal{V}(n))$ を用いて、$b'_n$ のリングエル双対が理解できるか？

主な発見

• すべての $n \in \mathbb{N}$ に対して、テンソル空間モジュール $\mathcal{V}(n)$ は $b'_n$-フル・ティルティングモジュールである。これは定理 5.11 で証明されている。
• すべての $n$ に対して、随伴写像 $\psi_n: (G_e \circ F_e)(\mathcal{V}(n)) \to \mathcal{V}(n)$ は単射である。これはティルティング性を示すための鍵となるステップである。
• 局所化ファンクターは $F_e(\mathcal{V}(n)) \cong F_f(\mathcal{V}(n)) \cong \mathcal{V}(n-1)$ を満たし、帰納的議論を可能にする。
• 順列モジュール $M_n(2n)$ はティルティングモジュール $T_n(-n)$ に同型である。これにより、$\mathcal{V}(n)$ の分解とティルティングモジュールが結びつく。
• 標準的フィルトレーション重複度 $(\mathcal{V}(n) : \Delta_n(\lambda))$ は、第二種チェビシェフ多項式に関連する数列 $v(r)$ で与えられる。
• $\mathcal{V}(n)$ はすべての非分解ティルティングモジュール $T_n(\lambda)$ を和成分として含む。これにより、$\mathcal{V}(n)$ がフル・ティルティングであることが確認される。