[论文解读] Higher Rank TQFT Representations of SL(2,Z) are Reducible

Qi Chen, Thomas Kerler|ArXiv.org|Jun 26, 2007

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

该论文表明，从 N > 2 的量子 PSU(N) 导出的 SL(2,ℤ) 的高秩 TQFT 表示在一般情况下是可约的，通过一个交换表示标签与其共轭的 ℤ/2 对称性实现显式分解。对于在 r ≡ 2 mod 3 的素数阶下的量子 PSU(3)，论文识别出一个与 PSU(2) 表示同构的不可约分量，证明了在初始的奇偶性分裂之后仍存在可约性。

ABSTRACT

In this article we give examples which show that the TQFT representations of the mapping class groups derived from quantum SU(N) for N>2 are generically decomposable. One general decomposition of the representations is induced by the symmetry which exchanges SU(N) representation labels by their conjugates. The respective summands of a given parity are typically still reducible into many further components. Specifically, we give an explicit basis for an irreducible direct summand in the SL(2,Z) representation obtained from quantum PSU(3) when the order of the root of unity is a prime r=2 mod 3. We show that this summand is isomorphic to the respective PSU(2) representation.

研究动机与目标

• 研究从 sl₂ 扩展到更高秩李代数时，映射类群 TQFT 表示的分解结构。
• 确定从 N > 2 的量子 PSU(N) 导出的 TQFT 表示是否保持不可约，如同 sl₂ 情况一样。
• 在 r ≡ 2 mod 3 时，显式识别出来自量子 PSU(3) 的 SL(2,ℤ) 表示中的分量。
• 证明来自 PSU(2) 的不可约分量可作为子表示嵌入到特定单位根阶的 PSU(3) TQFT 中。
• 确立初始的 ℤ/2-分次仅为更深层次可约性结构的第一步。

提出的方法

• 利用在量子群的 Weyl 仿射空间中对表示标签进行共轭所诱导的 ℤ/2-作用。
• 应用来自量子群 U_ζ(𝔰𝔩_N)′ 的 TQFT 构造，通过 Y 子范畴限制到 PSU(N) 表示。
• 采用 skein 理论技术与模 S 矩阵，比较来自 PSU(3) 和 PSU(2) 的 SL(2,ℤ) 表示。
• 利用有限域上的特征和与高斯和，证明 PSU(3) 与 PSU(2) 表示之间 S 矩阵的成比例性。
• 分析 SL(2,ℤ) 的生成元 S 和 T 在 Weyl 仿射空间中由权标记的向量空间上的作用。
• 应用涉及勒让德符号与二次高斯和的数论恒等式，以验证矩阵元素的正交性与成比例性。

实验结果

研究问题

• RQ1 从 N > 2 的量子 PSU(N) 导出的 SL(2,ℤ) TQFT 表示是否如 sl₂ 情况一样不可约？
• RQ2 对表示标签施加共轭对称性所诱导的 ℤ/2-分次是否导致 SL(2,ℤ) 表示的非平凡分解？
• RQ3 在 r ≡ 2 mod 3 的素数阶下，不可约的 PSU(2) 表示是否可作为子表示嵌入到 PSU(3) TQFT 中？
• RQ4 当 r ≡ 2 mod 3 时，量子 PSU(3) TQFT 中 SL(2,ℤ) 表示的分解结构具体为何？
• RQ5 在亏格 1 观察到的可约性在多大程度上可推广到更高亏格的映射类群表示？

主要发现

• 当 N > 2 且 ζ 的阶 k > 2N 满足 gcd(k, N) = 1 时，量子 PSU(N) TQFT 通过表示标签上的共轭对称性实现 ℤ/2-分次。
• 在素数阶 r ≡ 2 mod 3 时，来自量子 PSU(3) 的 SL(2,ℤ) 表示包含一个与量子 PSU(2) 表示同构的不可约分量。
• PSU(3) 与 PSU(2) 表示的 S 矩阵成比例，确认了 PSU(2) 表示是子表示。
• 当 r 为奇素数时，对应于 PSU(2) 表示的分量是不可约的，其证明方法与 sl₂ 情况相同。
• 分解不仅限于 ℤ/2-分次；每个分次分量内部仍存在进一步的可约性。
• 当 r ≡ 1 mod 3 时，如 r = 7，PSU(3) 表示分解为维度 1 和 4 的分量，而维度为 3 的 PSU(2) 表示并非子表示，表明 r ≡ 2 mod 3 条件是必要的。