[論文レビュー] Morita base change in quantum groupoids

Peter Schauenburg|ArXiv.org|Apr 29, 2002

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

ひとこと要約

本稿は、$×_R$-bialgebra（量子群わい）に対して、ベース代数 $R$ を任意のモリタ同値または $√{\text{Morita}}$ 同値な代数 $S$ に置き換えるためのモリタベース変換手順を導入する。これにより、$S$ をベース代数とする新たな $×_S$-bialgebra を得られ、その表現のモノイダル圏は元のものと同値になる。主な結果は、この構成が表現圏のモノイダル構造を保つことであり、ベース代数の変更においても量子群わい理論が同値に保たれることを示している。

ABSTRACT

Let $L$ be a quantum semigroupoid, more precisely a $ imes_R$-bialgebra in the sense of Takeuchi. We describe a procedure replacing the algebra $R$ by any Morita equivalent, or in fact more generally any $\sqrt{ ext{Morita}}$ equivalent (in the sense of Takeuchi) algebra $S$ to obtain a $ imes_S$-bialgebra $\widetilde H$ with the same monoidal representation category.

研究の動機と目的

• $×_R$-bialgebra $L$ のベース代数 $R$ を、モリタ同値または $√{\text{Morita}}$ 同値な代数 $S$ に置き換える一般的手順を構築すること。
• 得られる $×_S$-bialgebra $\widetilde{H}$ が、$L$ と同値なモノイダル表現圏を持つことの保証。
• この構成が双対性を尊重することを示し、より一般的な $√{\text{Morita}}$ ベース変換とは区別すること。
• ベース代数の変更による量子群わいの分類を簡略化し、重複する例を最小限に抑えること。
• 弱双代数やフェイス代数などの具体例にこの構成を適用し、それらがベース変換によって同値な形に変換可能であることを示すこと。

提案手法

• テークウチの $√{\text{Morita}}$ 同値性の概念を用いる。これは、$R$-双加群と $S$-双加群の圏の間の $k$-線形モノイダル同値性として定義される。
• $L$ から $R$ を $S$ に置き換えることで、新たな $×_S$-bialgebra $\widetilde{H}$ を構成し、表現のモノイダル構造を保つ。
• $×_R$-bialgebra が ${{}_{R}\mathcal{M}_{R}}$ をベースとするそのモノイダル表現圏によって特徴づけられることを活用する。
• 具体的な例（弱双代数やフェイス代数）にこの構成を適用し、ブレッティリ図を用いて加群分解を追跡する。
• ハヤシの標準的タンカダ双対性を用い、元の弱ホップ代数 $H$ とフェイス代数 $F$ を関係づけ、モリタベース変換によりフェイスイデムポテンの数が減少することを示す。
• ブレッティリ図を用いて次元保存と加群ランクの変化を検証し、例として $\dim \widetilde{H} = 24$ が $\dim H = 122$ から得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 弱双代数 $×_R$-bialgebra のベース代数 $R$ をモリタ同値な代数 $S$ に置き換えても、表現のモノイダル圏が保たれるか。
• RQ2 モリタベース変換は、量子群わいの表現圏における双対性を保つか。
• RQ3 $√{\text{Morita}}$ ベース変換は、本質的に異なる量子群わいの例の数をどの程度削減できるか。
• RQ4 タンカダ双対性を経由して弱双代数から得られるフェイス代数の構造に、モリタベース変換がどのように影響するか。
• RQ5 フェイス代数のフェイスイデムポテンの数は、ベース変換によって減少可能か。もしそうなら、どのような条件下で可能か。

主な発見

• モリタベース変換は、表現圏のモノイダル構造を保つため、$\widetilde{H}$ と $L$ は同値な表現圏を持つ。
• この構成は双対性を尊重しており、より一般的な $√{\text{Morita}}$ ベース変換とは区別される。
• モリタベース変換後、新たな $×_S$-bialgebra $\widetilde{H}$ の次元は $\dim \widetilde{H} = 24$ に減少し、元の $\dim H = 122$ に比べて著しく小さくなる。
• 包含関係 $\widetilde{H}_t \otimes \widetilde{H}_s \subset \widetilde{H}$ のブレッティリ図は、$H_t \otimes H_s \subset H$ のそれと構造的に同一であるが、すべての下層ランクが 1 に置き換えられている。
• $n$ が奇数である弱ホップ代数 $A_{1,2n-1}$ にモリタベース変換を適用すると、既約加群類の数より 1 つ少ないフェイスを持つフェイス代数が得られる。
• 弱ホップ代数 $H$ からハヤシのタンカダ双対性を経由して得られるフェイス代数は、ベース変換によりフェイスイデムポテンの数を減らす同値な形に変換可能であり、構造の複雑さが軽減される。