[论文解读] Subfactors and Connes fusion for twisted loop groups

Antony Wassermann|arXiv (Cornell University)|Mar 11, 2010

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

一句话总结

本文通过康nes融合，具体实现了扭结环群子因子及其融合规则，表明$ L^\tau SU(2N) $的正能表示构成$ LSU(2N) $的韦尔林德代数上的模，其融合规则源自$ Sp(N) $与$ SU(N) $表示的截断经典张量积。关键结果是利用特征标与量子维数，对融合范畴给出了完整的代数与解析描述，并通过模不变性与韦尔林德型公式加以验证。

ABSTRACT

In this announcement we explain how to extend the von Neumann algebra definition of fusion to the case of twisted loop groups. This project completes research started by my student Robert Verrill in his 2001 Cambridge Ph.D. thesis.

研究动机与目标

• 通过康nes融合，构建并分析$ L^\tau SU(2N) $正能表示的融合范畴。
• 在$ L^\tau SU(2N) $扭表示的格罗滕迪克群上，建立其与$ R_\ell(SU(2N)) $韦尔林德代数的模结构。
• 通过$ Sp(N) $与基本$ SU(N) $表示的截断经典张量积规则，显式计算融合规则。
• 通过量子维数恒等式与特征标和的模不变性，验证融合规则的一致性。

提出的方法

• 使用康nes融合定义$ L^\tau SU(2N) $正能表示的融合，将其与冯诺依曼代数上的双模联系起来。
• 通过包含$ \zeta_i = \exp(2\pi i(g_i + N + 1/2 - i)/(2N + \ell)) $的行列式公式表示$ Sp(N) $的特征标，其中$ g_i $ 属于有限集$ S $。
• 定义映射$ \theta: R(Sp(N)) \to \mathbb{C}^\mathcal{T} $，其中$ \mathcal{T} $为对角矩阵$ D(g) $的集合，并证明$ \theta(R(Sp(N))) = \mathbb{C}^\mathcal{T} $。
• 证明对允许的$ h $，$ \theta_h $ 构成像代数的$ \mathbb{Z} $-基，其核由满足$ h_1 + h_2 = \ell + 1 $的$ \theta_h $ 生成。
• 利用量子维数与佩龙-弗罗贝尼乌斯理论，推导出融合分解不等式中的等式，确立$ d(\mathcal{K}_h) = C \psi_h(D(0)) $。
• 通过恒等式$ \sum_f d(\mathcal{H}_f)^2 = \sum_h d(\mathcal{K}_h)^2 $计算归一化常数$ C $，并利用Kac与Petersen的模变换规则。

实验结果

研究问题

• RQ1 如何通过康nes融合显式计算$ L^\tau SU(2N) $正能表示的融合规则？
• RQ2 扭表示格罗滕迪克群的代数结构是什么？其与$ LSU(2N) $的韦尔林德代数有何关系？
• RQ3 $ L^\tau SU(2N) $的融合规则如何与$ Sp(N) $与$ SU(N) $表示的经典张量积规则相关联？
• RQ4 量子维数公式$ d(\mathcal{K}_h) = C \psi_h(D(0)) $中的精确归一化常数$ C $是什么？
• RQ5 特征标和的模不变性如何确认融合范畴的一致性？

主要发现

• 在$ L^\tau SU(2N) $中，融合规则由$ Sp(N) $与基本$ SU(N) $表示的经典张量积规则的截断形式给出。
• $ L^\tau SU(2N) $正能表示的格罗滕迪克群构成$ R_\ell(SU(2N)) $韦尔林德代数上的模。
• 当$ h_1 + h_2 = \ell + 1 $时，特征标$ \psi_h(D(g)) $为零，这定义了评估映射$ \theta $的核。
• $ R(Sp(N)) $在$ \theta $下的像是完整的代数$ \mathbb{C}^\mathcal{T} $，且对允许的$ h $，$ \theta_h $ 构成该像的$ \mathbb{Z} $-基。
• 归一化常数$ C $由量子维数平方和的比值确定，并通过Kac与Petersen的模变换规则导出显式公式。
• 维度不等式$ d(\mathcal{H}_k)d(\mathcal{K}_h) \leq \sum \psi_g(D(0)) $中的等式成立，确认了融合范畴的一致性。