[論文レビュー] Cyclotomic Birman--Wenzl--Murakami algebras, II: Admissibility Relations and Freeness

Frederick M. Goodman, Holly Hauschild Mosley|ArXiv.org|Dec 2, 2006

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

ひとこと要約

本稿では、適切な整域上での巡回的ビンマン＝ウェンツェル＝ムラカミ代数が、ランク $ r^n(2n-1)!! $ の自由加群であり、また巡回的カウフマンテンゲル代数と同型であることを確立する。主な結果は、適切さの条件、表現論、および再帰的トレース公式を用いて、自由性と同型性を示したものであり、${\mathbb{Z}}_r$-ブラウアー代数を組合せ的枠組みとして用いることで、次元およびトレースの非退化性を確立する。

ABSTRACT

The cyclotomic Birman-Wenzl-Murakami algebras are quotients of the affine BMW algebras in which the affine generator satisfies a polynomial relation. We study admissibility conditions on the ground ring for these algebras, and show that the algebras defined over an admissible integral ground ring $S$ are free $S$--modules and isomorphic to cyclotomic Kauffman tangle algebras. We also determine the representation theory in the generic semisimple case, obtain a recursive formula for the weights of the Markov trace, and give a sufficient condition for semisimplicity.

研究の動機と目的

• 基底環における適切さの条件を特定し、巡回的BMW代数が巡回的カウフマンテンゲル代数と同型であり、自由加群であることを保証すること。
• 一般的半単純の場合における巡回的BMW代数の表現論を確立すること。
• これらの代数におけるマーコフトレースの重みについての再帰的公式を導出すること。
• 巡回的BMW代数の半単純性の十分条件を提供すること。
• 巡回的BMW代数が適切な整域上での自由加群であり、サイズ $ r^n(2n-1)!! $ の組合せ的集合によって添え字づけられた基底を持つことの証明

提案手法

• 生成子 $ x_1 $ におけるモニック多項式関係によって、アフィンBMW代数の商として巡回的BMW代数を定義し、これはテンゲルモデルにおける巡回的スキーン関係に対応する。
• 多項式が分解可能であり、パラメータが必要な代数的制約を満たすことを保証する、適切な整域 $ S $ の概念を導入する。
• ${\mathbb{Z}}_r$-ブラウアー代数を組合せ的モデルとして用い、次元の計算および条件付き期待値を用いたトレースの分析を行う。
• ${\mathbb{Z}}_r$-ブラウアー代数にトレース $ \varepsilon $ を構成し、不定元 $ \vartheta_j $ の有理関数体上での非退化性を証明することで、半単純性の議論を可能にする。
• ヴェンツェルの方法を適用し、${\mathbb{Z}}_r$-ブラウアー代数の分岐図が巡回的BMW代数のそれと一致することを示し、これにより表現論の同型が導かれる。
• 普遍的適切環 $ \overline{R}_+ $ 上での普遍的巡回的カウフマンテンゲル代数の自由性を用いて、任意の適切な整域 $ S $ 上での自由性および基底の存在を導出する。

実験結果

リサーチクエスチョン

• RQ1 基底環 $ S $ に対して、巡回的BMW代数 $ W_{n,S,r} $ が自由 $ S $-加群であるための条件は何か？
• RQ2 一般的半単純の場合における巡回的BMW代数の表現論はどのように振る舞うか？
• RQ3 マーコフトレースの重みに関する再帰的公式は何か？また、代数の構造とどのように関係するか？
• RQ4 体 $ F $ 上での $ W_{n,F,r} $ の次元は何か？また、${\mathbb{Z}}_r$-ブラウアー代数を用いてどのように計算されるか？
• RQ5 自然な埋め込み写像 $ \iota: W_{n,S,r} \to W_{n+1,S,r} $ は単射か？また、トレースを保存する条件付き期待値は存在するか？

主な発見

• 適切な整域 $ S $ 上では、巡回的BMW代数 $ W_{n,S,r} $ はランク $ r^n(2n-1)!! $ の自由 $ S $-加群である。
• $ W_{n,S,r} $ は任意の適切な整域 $ S $ 上で、巡回的カウフマンテンゲル代数 $ KT_{n,S,r} $ と同型である。
• 体 $ F $ 上での $ W_{n,F,r} $ の次元は $ r^n(2n-1)!! $ であり、${\mathbb{Z}}_r$-ブラウアー代数の表現論を用いて計算される。
• マーコフトレースの重みに関する再帰的公式が導出され、${\mathbb{Z}}_r$-ブラウアー代数におけるトレースの構造に基づく。
• ${\mathbb{Z}}_r$-ブラウアー代数上のトレース $ \varepsilon $ は、$ \vartheta_j $ の有理関数体上ですべて非退化であり、一般的状況下での半単純性を示唆する。
• トレースを保存する条件付き期待値 $ \varepsilon_n: W_{n+1,S,r} \to W_{n,S,r} $ が存在し、埋め込み写像 $ \iota: W_{n,S,r} \to W_{n+1,S,r} $ は単射である。