[论文解读] Kitaev's Lattice Model and Turaev-Viro TQFTs

Benjamin Balsam, Alexander Kirillov|arXiv (Cornell University)|Jun 11, 2012

Algebraic structures and combinatorial models参考文献 22被引用 25

一句话总结

本文建立了有限维半单霍普夫代数的基塔耶夫晶格模型与图雷夫-维罗拓扑量子场论（TQFT）之间的精确数学等价性。证明了在闭曲面上，基塔耶夫模型的基态空间微分同构于图雷夫-维罗不变量空间，并进一步表明该模型的激发态对应于带有边界的曲面上的图雷夫-维罗理论，任意子激发作为霍普夫代数的戴克林双代数的不可约表示实现。

ABSTRACT

In this paper, we examine Kitaev's lattice model for an arbitrary complex, semisimple Hopf algebra. We prove that this model gives the same topological invariants as Turaev-Viro theory. Using the description of Turaev-Viro theory as an extended TQFT, we prove that the excited states of the Kitaev model correspond to Turaev-Viro theory on a surface with boundary.

研究动机与目标

• 使用半单霍普夫代数，以数学上严格且易于理解的方式表述基塔耶夫的晶格模型。
• 建立在闭曲面上基塔耶夫模型的基态空间与图雷夫-维罗不变量空间之间的微分同构关系。
• 证明基塔耶夫模型的激发态对应于带有边界的曲面上的图雷夫-维罗理论。
• 阐明基塔耶夫模型中任意子的物理与拓扑解释，即作为霍普夫代数戴克林双代数的不可约表示。

提出的方法

• 从有限维半单霍普夫代数 R 构造基塔耶夫晶格模型的希尔伯特空间与哈密顿量，利用其余乘法与对偶结构。
• 使用斯威德勒记法及 R 中的哈尔积分 h ∈ R，定义在 R-模张量积中投影到不变子空间的算子。
• 应用戴克林双代数 D(R) 将局域任意子激发分类为 D(R) 的不可约表示。
• 通过曲面的三角剖分，建立基塔耶夫模型的希尔伯特空间与自旋网模型之间的微分同构。
• 将基塔耶夫模型的 Bp 算符与自旋网模型的 Bps 算符对应起来，证明哈密顿量的等价性。
• 通过将激发态与穿孔或边界的存在下的图雷夫-维罗不变量对应，将该对应关系推广至带有边界的曲面。

实验结果

研究问题

• RQ1 基塔耶夫对半单霍普夫代数的晶格模型与图雷夫-维罗TQFT之间有何关系？
• RQ2 基塔耶夫模型的基态与图雷夫-维罗不变量空间之间的精确对应关系是什么？
• RQ3 基塔耶夫模型的激发态如何在图雷夫-维罗理论的框架下实现任意统计性质？
• RQ4 基塔耶夫模型能否被解释为带有边界的曲面上的扩展TQFT？如果是，其机制如何？
• RQ5 戴克林双代数 D(R) 在基塔耶夫模型中分类任意子激发时起到什么作用？

主要发现

• 在闭曲面上，基塔耶夫晶格模型的基态空间与由同一半单霍普夫代数构造的图雷夫-维罗不变量空间微分同构。
• 基塔耶夫模型的激发态可分解为一个拓扑子空间（在局域幺正变换下不变）与对应于戴克林双代数 D(R) 不可约表示的局域激发子空间。
• 在希尔伯特空间的微分同构下，基塔耶夫模型的哈密顿量算符 Bp 与自旋网模型的 Bps 算符等价。
• 该对应关系可推广至带有边界的曲面：基塔耶夫模型的激发态与带穿孔或边界的图雷夫-维罗理论微分同构。
• 哈尔积分 h ∈ R 在任意 R-模张量积中作为投影算符作用于不变子空间，其迭代余乘法 Δ(n−1)(h) 保持循环不变性。
• 该模型通过戴克林双代数 D(R) 的不可约表示实现任意子激发，从而确认了模型中准粒子的任意子性质。