[论文解读] On the limiting procedure by which $SDiff(T^2)$ and $SU(\infty)$ are associated

J.D. Swain|ArXiv.org|May 1, 2004

Geometric and Algebraic Topology被引用 3

一句话总结

本文研究了在2-环面上的面积保持微分同胚群 $SDiff(T^2)$ 与无限维酉群 $SU(\infty)$ 之间的极限关系，表明 $SU(N)$ 的标准大-$N$ 极限不会收敛到 $SDiff(T^2)$，原因在于对易关系中的高阶校正项发散。关键结果是 $SU(\infty)$ 在本质上比 $SDiff(T^2)$ 更大，挑战了物理学文献中对这两个群的传统等同识别。

ABSTRACT

There have been various attempts to identify groups of area-preserving diffeomorphisms of 2-dimensional manifolds with limits of SU(N) as $N o\infty$. We discuss the particularly simple case where the manifold concerned is the two-dimensional torus $T^2$ and argue that the limit, even in the basis commonly used, is ill-behaved and that the large-N limit of SU(N) is much larger than $SDiff(T^2)$.

研究动机与目标

• 通过 $SU(N)$ 的大-$N$ 极限澄清 $SDiff(T^2)$ 与 $SU(\infty)$ 之间的数学关系。
• 评估 $SU(N)$ 的李代数是否在 $N \to \infty$ 时收敛到 $SDiff(T^2)$ 的李代数。
• 识别物理文献中标准极限程序失效的根源。
• 证明由于非零的高阶校正项，$SU(\infty)$ 严格大于 $SDiff(T^2)$。

提出的方法

• 使用向量场 $L_{mn} = i e^{i(mx+ny)} (n\partial_x - m\partial_y)$ 构造 $SDiff(T^2)$ 的李代数，其对易关系为 $[L_{mn}, L_{m'n'}] = (mn' - m'n) L_{m+m',n+n'}$。
• 定义 $SU(N)$ 李代数生成元 $J'_{m,n} = iN/(2k\pi) \omega^{mn/2} g^m h^n$，其中 $g$ 和 $h$ 满足 $hg = \omega gh$ 且 $\omega^N = 1$。
• 推导 $SU(N)$ 的对易关系：$[J'_{m,n}, J'_{m',n'}] = \frac{N}{k\pi} \sin\left(\frac{k\pi}{N}(mn' - m'n)\right) J'_{m+m',n+n'}$。
• 通过展开正弦函数分析 $N \to \infty$ 极限，识别 $1/N^2$ 阶的主导项与下一项。
• 选取特定类别的生成元，其量子数为 $(m,n) = (N/a, 0)$ 与 $(m',n') = (0, N/b)$，以探测 $1/N^2$ 校正项的行为。
• 表明 $1/N^2$ 校正项的尺度为 $N^4$，当 $N \to \infty$ 时发散，从而否定了朴素极限的有效性。

实验结果

研究问题

• RQ1 在 $N \to \infty$ 极限下，$SU(N)$ 的李代数是否收敛到 $SDiff(T^2)$ 的李代数？
• RQ2 在 $SU(N)$ 的大-$N$ 极限中，对易子结构常数的行为如何？
• RQ3 为何在2-环面情况下，$SU(\infty)$ 与 $SDiff(T^2)$ 的标准识别会失败？
• RQ4 是否存在某些 $SU(N)$ 生成元在大-$N$ 极限下无法映射到 $SDiff(T^2)$？
• RQ5 在 $SU(N) \to SDiff(T^2)$ 对应关系的背景下，$1/N^2$ 校正项具有何种意义？

主要发现

• 在某些生成元对下，$SU(N)$ 对易关系中的 $1/N^2$ 校正项在大-$N$ 极限下不趋于零。
• 对于量子数为 $(m,n) = (N/a, 0)$ 与 $(m',n') = (0, N/b)$ 的生成元，$1/N^2$ 校正项的尺度为 $N^4$，当 $N \to \infty$ 时发散。
• 该发散表明，$SU(N)$ 的大-$N$ 极限在标准基下不收敛到 $SDiff(T^2)$。
• 与 $SDiff(T^2)$ 的李代数相比，$SU(\infty)$ 的李代数严格更大，表明两组之间存在根本性不匹配。
• 该结果支持 $SU(\infty)$ 可能描述更一般的理论（可能包括拓扑变化）而非仅面积保持微分同胚的观点。
• 朴素大-$N$ 极限的失效凸显了在将有限-$N$ 规范群与微分同胚群关联时，需要更精细的极限程序。