[论文解读] Asymptotic properties of the quantum representations of the modular group

Laurent Charles|arXiv (Cornell University)|May 19, 2010

Geometric and Algebraic Topology参考文献 43被引用 6

一句话总结

该论文证明了在大水平极限下，模群 SL(2,Z) 的量子表示作为傅里叶积分算子作用，将环面上的经典与量子 Chern-Simons 理论联系起来。关键结果是这些表示特征标的渐近展开，恢复了 Jeffrey 对具有双曲单值变换的环面丛的 Witten-Reshetikhin-Turaev 不变量的渐近公式。

ABSTRACT

We study the asymptotic behaviour of the quantum representations of the modular group in the large level limit. We prove that each element of the modular group acts as a Fourier integral operator. This provides a link between the classical and quantum Chern-Simons theories for the torus. From this result we deduce the known asymptotic expansion of the Witten-Reshetikhin-Turaev invariants of the torus bundles with hyperbolic monodromy.

研究动机与目标

• 理解模群 SL(2,Z) 的量子表示在大水平极限下的渐近行为。
• 通过几何量子化，建立环面上经典与量子 Chern-Simons 理论之间的精确联系。
• 推导 SL(2,Z) 中双曲元素的量子表示特征标的渐近展开。
• 将 Jeffrey 对具有双曲单值变换的环面丛的 Witten-Reshetikhin-Turaev 不变量的渐近公式推广至任意紧致、单连通、单李群 G。

提出的方法

• 将几何量子化应用于环面上平 G-丛的模空间，其被识别为 T²/W，其中 G 是紧致、单连通、单李群。
• 在相空间上构造一个预量子线丛，其 k 次张量幂的全纯截面构成量子希尔伯特空间。
• 模群通过规范理论自同构作用于预量子丛，通过 theta 函数与复结构分析其在量子态上的诱导作用。
• 利用微局部分析与傅里叶积分算子理论，研究量子表示迹的渐近行为。
• 应用泊松求和公式，计算模群生成元 S 和 T 对 theta 函数基的作用。
• 在横截性假设下推导迹渐近公式，将 Lefschetz 不动点公式推广至傅里叶积分算子。

实验结果

研究问题

• RQ1 当水平 k 趋于无穷时，SL(2,Z) 的量子表示如何渐近行为？
• RQ2 在大 k 极限下，模群每个元素在量子希尔伯特空间上的作用是否可描述为傅里叶积分算子？
• RQ3 SL(2,Z) 中双曲元素的量子表示特征标的渐近展开是什么？
• RQ4 几何量子化框架如何通过环面将经典 Chern-Simons 理论与 3-流形的量子不变量联系起来？
• RQ5 能否使用分析方法恢复并推广 Witten-Reshetikhin-Turaev 不变量在环面丛上的渐近公式？

主要发现

• SL(2,Z) 的每个元素在大水平极限下作为傅里叶积分算子作用于量子希尔伯特空间，建立了经典与量子 Chern-Simons 理论之间的直接联系。
• 双曲元素的量子表示迹具有渐近展开，其首项涉及 Chern-Simons 不变量与环面丛上平丛的解析 torsion。
• 具有双曲单值变换的环面丛的 Witten-Reshetikhin-Turaev 不变量的渐近公式被恢复并推广至任意紧致、单连通、单李群 G。
• S 和 T 生成元对 theta 函数基的作用被显式计算，其中 S 通过泊松求和公式作用，产生对偶基变换。
• 量子表示被证明是射影的，可提升为 SL(2,Z) 的中心扩张的真正表示，几何与代数构造中产生不同的扩张。
• 通过高斯积分计算 theta 函数的范数，得到因子 (i/(k(τ−τ̄)))^{n/2}，确认了量子希尔伯特空间的正确归一化。