[论文解读] Tannaka-Krein duality for compact quantum homogeneous spaces. I. General theory

Kenny De Commer, Makoto Yamashita|arXiv (Cornell University)|Nov 28, 2012

Advanced Algebra and Geometry被引用 15

一句话总结

本文通过在C*-范畴与双分次希尔伯特空间之间的张量函子框架下应用Tannaka-Kreĭn对偶性，建立了在等变Morita等价意义下，紧致量子齐性空间与有限维表示范畴Rep(𝐺)上的不可约模C*-范畴之间的一一对应关系。该研究提供了一个全局的、范畴化的框架，推广并改进了早期基于拟张量函子的方法，为遍历作用建立了稳健的对偶理论。

ABSTRACT

An ergodic action of a compact quantum group G on an operator algebra A can be interpreted as a quantum homogeneous space for G. Such an action gives rise to the category of finite equivariant Hilbert modules over A, which has a module structure over the tensor category Rep(G) of finite dimensional representations of G. We show that there is a one-to-one correspondence between the quantum G-homogeneous spaces up to equivariant Morita equivalence, and indecomposable module C*-categories over Rep(G) up to natural equivalence. This gives a global approach to the duality theory for ergodic actions as developed by C. Pinzari and J. Roberts.

研究动机与目标

• 开发紧致量子群遍历作用的全局范畴对偶理论。
• 利用表示范畴Rep(𝐺)上的模C*-范畴表征紧致量子齐性空间。
• 以基于张量函子到双分次希尔伯特空间的更结构化框架，取代早期的拟张量函子方法。
• 在等变Morita等价意义下，建立量子齐性空间与不可约模C*-范畴之间的等价关系。
• 将经典的Tannaka-Kreĭn对偶性推广至紧致量子群及其齐性空间的非交换设定。

提出的方法

• 利用C*-代数A上带有G作用的有限等变希尔伯特模范畴，构造Rep(𝐺)上的模C*-范畴。
• 在模C*-范畴与从Rep(𝐺)到End(𝒟)𝑓（有限自同态的范畴）的强张量C*-函子之间建立对应关系。
• 通过映射到以对(r,s)为指标的希尔伯特空间范畴的双分次张量函子，表征模C*-范畴，编码𝐺在𝐴上的作用。
• 应用融合范畴与C*-范畴中对偶性的理论，证明不可约模C*-范畴在等变Morita等价意义下分类量子齐性空间。
• 利用R-矩阵的迹性质与有界性，证明态射空间维数的有限性条件，确保范畴的良态性。
• 通过End(𝒟)𝑓与ℰ𝑓𝐽之间的张量等价性（其中𝒟是半单的且由集合𝐽索引），将结构简化为具体形式。

实验结果

研究问题

• RQ1 如何在推广经典Tannaka-Kreĭn对偶性的意义上，对紧致量子齐性空间进行分类？
• RQ2 紧致量子群在C*-代数上的遍历作用对应何种范畴结构？
• RQ3 能否纯粹通过表示范畴Rep(𝐺)上的模范畴表征量子齐性空间的概念？
• RQ4 模C*-范畴理论与经典纤维函子及拟张量函子方法在对偶理论中如何关联？
• RQ5 在等变Morita等价下，量子齐性空间与不可约模C*-范畴之间的确切对应关系是什么？

主要发现

• 在等变Morita等价意义下，紧致量子齐性空间与Rep(𝐺)上的不可约模C*-范畴之间存在一一对应关系。
• 在量子齐性空间上，有限等变希尔伯特模范畴自然构成Rep(𝐺)上的不可约模C*-范畴。
• 此类模C*-范畴的结构等价于从Rep(𝐺)到ℰ𝑓𝐽（在𝐽索引的半单C*-范畴上的有限自同态范畴）的强张量C*-函子。
• 该对应关系是函子性的，并保持张量结构，推广了基于拟张量函子的早期结果。
• R-矩阵的有限性条件确保了态射空间维数之和有界，从而防止范畴中出现病态行为。
• 该理论通过双分次希尔伯特空间给出了模C*-范畴的显式实现，将其与弱霍普夫代数及霍普夫-伽罗瓦理论在更广泛的代数框架中联系起来。