[论文解读] Morita base change in quantum groupoids

Peter Schauenburg|ArXiv.org|Apr 29, 2002

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

一句话总结

本文提出了一种针对 $×_R$-双代数（量子群胚）的莫里塔基变换方法，允许将基代数 $R$ 替换为任意莫里塔等价或 $√{\text{Morita}}$ 等价的代数 $S$，从而得到一个新的 $×_S$-双代数，其表示的张量范畴与原代数等价。关键结果是该构造保持了表示范畴的张量结构，使得在基代数变换下，量子群胚理论保持等价。

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$-双代数 $L$ 中的基代数 $R$ 替换为任意莫里塔等价或 $√{\text{Morita}}$ 等价的代数 $S$。
• 确保由此得到的 $×_S$-双代数 $\widetilde{H}$ 的表示范畴与 $L$ 的表示范畴等价。
• 证明该构造尊重对偶性，从而将其与更一般的 $√{\text{Morita}}$ 基变换区分开来。
• 通过识别在基变换下等价的量子群胚，实现对量子群胚的分类，从而减少冗余示例。
• 将该构造应用于弱双代数和面代数等具体例子，表明它们可通过基变换转化为等价形式。

提出的方法

• 采用竹内（Takeuchi）定义的 $√{\text{Morita}}$ 等价概念，即 $R$-双模范畴与 $S$-双模范畴之间的 $k$-线性张量等价。
• 通过将 $L$ 中的 $R$ 替换为 $S$，构造一个新的 $×_S$-双代数 $\widetilde{H}$，同时保持表示的张量结构。
• 利用 $×_R$-双代数由基于 ${{}_{R}\mathcal{M}_{R}}$ 的张量表示范畴所刻画的特性。
• 将该构造应用于具体例子，包括弱双代数和面代数，使用布拉泰利图（Bratteli diagrams）追踪模的分解结构。
• 利用长井（Hayashi）的典范塔南卡对偶性，将原始的弱霍普夫代数 $H$ 与一个面代数 $F$ 关联起来，并证明莫里塔基变换可减少面幂等元的数量。
• 通过布拉泰利图验证维数保持性与模秩的变化，例如表明在基代数变换后 $\dim \widetilde{H} = 24$，而原始 $\dim H = 122$。

实验结果

研究问题

• RQ1 能否在 $×_R$-双代数中将基代数 $R$ 替换为莫里塔等价的代数 $S$，同时保持表示范畴的张量结构？
• RQ2 莫里塔基变换是否在量子群胚的表示范畴中保持对偶性？
• RQ3 在多大程度上，$√{\text{Morita}}$ 基变换能减少本质上不同的量子群胚示例的数量？
• RQ4 莫里塔基变换如何影响通过塔南卡对偶性从弱双代数导出的面代数的结构？
• RQ5 能否通过基变换减少面代数中面幂等元的数量？若能，其条件是什么？

主要发现

• 莫里塔基变换保持了表示范畴的张量结构，确保 $\widetilde{H}$ 与 $L$ 的表示范畴等价。
• 该构造尊重对偶性，从而将莫里塔基变换与更一般的 $√{\text{Morita}}$ 基变换区分开来。
• 经莫里塔基变换后，新 $×_S$-双代数 $\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}$ 应用莫里塔基变换，可得到一个面代数，其面数比不可约模类的数量少一个。
• 通过长井塔南卡对偶性从弱霍普夫代数 $H$ 构造的面代数，可通过基变换转化为具有更少面幂等元的等价形式，从而降低结构复杂度。