[论文解读] Weak Hopf algebra symmetries of C^*-algebra inclusions

Kornél Szlachányi|ArXiv.org|Dec 31, 2000

Advanced Operator Algebra Research参考文献 7被引用 3

一句话总结

本文引入C*-弱霍普夫代数作为半单霍普夫代数的推广，以解决二维共形场论和一维量子格点系统中任意子统计子代数融合规则的非整数维数问题。证明了一个重构定理，表明任意有限指标、深度为2的C*-代数包含关系N ⊂ M均可由C*-弱霍普夫代数的正规作用实现，其中不变子代数即为该作用下的固定点代数。

ABSTRACT

After a summary on module algebra actions of C^*-weak Hopf algebras we outline the proof of a reconstruction theorem stating that every finite index depth 2 inclusion N < M of unital C^*-algebras with finite dimensional centers is isomorphic to the invariant subalgebra inclusion M^A < M with respect to a regular weak Hopf algebra action. The proof uses the language of C^*-2-categories.

研究动机与目标

• 解决半单霍普夫代数无法在二维共形场论和一维量子系统中任意子统计子代数的融合规则中实现非整数重数的问题。
• 克服维度方程∑Npq^r dr = dp dq在融合系数Npq^r为非负整数时无整数解的障碍。
• 提出C*-弱霍普夫代数——其复合映射满足共结合性但不保持单位元——作为框架，使得dim(D⊗D′) ≤ dim D · dim D′，从而为这类融合规则提供一致的表示理论。
• 建立重构定理：任意具有有限维中心的有限指标、深度为2的C*-代数包含关系N ⊂ M，均源于C*-弱霍普夫代数A的正规作用，且满足N = M^A。
• 刻画C*-弱霍普夫代数及其对偶的结构，表明其推广了早期构造，并为霍普夫胚丛的有限维版本。

提出的方法

• 在域K上定义弱双代数和弱霍普夫代数，其公理包括共结合的复合映射Δ、余单位ε，以及代数与余代数结构之间的相容性。
• 通过增加C*-范数、对合*和哈尔积分，引入C*-弱霍普夫代数，以确保正性和与复合映射及反向算子的相容性。
• 定义源映射s: B^op → A和目标映射t: B → A，由此导出子代数A^L和A^R作为像，这些并非初始数据，而是由Δ自然导出。
• 利用深度-2条件：若ι×ῑ×ι是ι的有限倍的直和项，则存在一个拟基{v_i}，使得∑(v_i × ι)∘U_{23}∘(v_i^* × ι) = ι×ῑ×ι。
• 通过与对偶代数B的配对，在A上构造复合映射Δ_A，使用一个满足对所有ι中的扇区a有tr_a(z^{-2}) = d_a的埃尔米特可逆元素z ∈ End(ι)。
• 证明Δ_A的乘法性等价于叉形规则(3.27)，也等价于拟基条件∑_i u_i^* z_1^{-2} U_{23} u_i = 1，其中{u_i}是迹tr_M∘Ψ_12下的标准正交基。

实验结果

研究问题

• RQ1 当半单霍普夫代数因维数不匹配而失效时，是否可在范畴框架中实现具有非整数维数的融合规则？
• RQ2 何种代数结构可推广半单霍普夫代数，使得dim(D⊗D′) < dim D · dim D′，从而为这类融合规则提供一致的表示理论？
• RQ3 每个具有有限维中心的有限指标、深度为2的C*-代数包含关系N ⊂ M是否都同构于某个C*-弱霍普夫代数A的正规作用，且满足N = M^A？
• RQ4 配对元素z的何种条件可确保复合映射Δ_A的乘法性？其与拟基条件有何关联？
• RQ5 为何S²|_{A^L}（即S²在A^L上的非平凡性）在深度为2的包含关系的物理应用中未出现？其数学意义为何？

主要发现

• C*-弱霍普夫代数通过允许dim(D⊗D′) ≤ dim D · dim D′，解决了实现非整数维数融合规则的障碍，从而实现了表示理论的一致性。
• 重构定理建立了具有有限维中心的有限指标、深度为2的C*-代数包含关系N ⊂ M与C*-弱霍普夫代数A的正规作用之间的一一对应，且满足N = M^A。
• 复合映射Δ_A是乘法的，当且仅当在End(ι×ῑ×ι)中满足拟基条件∑_i u_i^* z_1^{-2} U_{23} u_i = 1，从而将代数结构与范畴的深度-2性质联系起来。
• 元素z ∈ End(ι)必须满足对所有ι中的扇区a有tr_a(z^{-2}) = d_a；若z在符号意义下为中央元，则可保证一致性；非中心z无法通过刚性数据使其变为中央。
• 所得到的弱霍普夫代数的典范群状元素g′_L满足z² = g′_L，将配对元素与弱霍普夫代数的代数结构联系起来。
• S²|_{A^L}的自由度（即S²在A^L上的非平凡性）在物理深度-2包含关系中未被实现，表明仅当S²|_{A^L} = id时，C*-弱霍普夫代数才具有物理相关性。