[論文レビュー] Central extensions for loop groups of area-preserving diffeomorphisms and their fuzzy sphere limits

Bas Janssens, Zhenghan Wang|arXiv (Cornell University)|Mar 6, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

論文はループ群 LSDiff(S^2) とその捻れ版の中心拡張を分類し、これらの lie algebra 2-cocycle が Lsu(k+1) のアフィン Kac-Moody コサイクルの fuzzy-sphere 限界として、k → ∞ のときに 6/k^3 のスケーリングとともに現れることを示す。

ABSTRACT

We classify central extensions for the loop group LSDiff(S^2) of area-preserving diffeomorphisms of the 2-sphere, and of related twisted loop groups. We then show that the corresponding Lie algebra cocycles are `fuzzy sphere limits' of Kac-Moody cocycles for (twisted) loop algebras Lsu(k+1) for the limit of large k, provided that the cocycles are rescaled by 6/k^3.

研究の動機と目的

• LSDiff(S^2) の拡張対称性群のような非自明な 2+1 次元共形場理論の構成を動機づける。
• LC0∞(S^2) の中心拡張と捻れループ変種を分類し、群レベルの拡張の可積分性条件を特定する。
• 対応する Lie algebra コサイクルが特定のスケーリングの下でアフィン Kac-Moody コサイクルの極限であることを示し、fuzzy sphere 構成に結びつける。

提案手法

• H^2(LC0∞(S^2), R) を計算し、唯一の（スケーリングに関して）中心拡張コサイクル ψ∞ を同定する。
• 捻れループ群 LΦSDiff(S^2, μ) に対する分類を拡張し、コサイクルの局在性を示す。
• ψ∞ を 6/k^3 のスケーリングと幾何量子化写像によって Lsu(k+1) 上の ψk に関連づけ、LC0∞(S^2) と Lsu(k+1) を結ぶ可換図を形成する。
• Poisson アルgebra C∞(S^2)0 上の不変二次形式、Koszul 写像の単射性、NW08 および JV16 の結果を用いて 2-コサイクルを分類する。
• S^2 のカイラ構造を用いて fuzzy-sphere 限界を実現し、向き保持微分同相およびねじれとの適合性を分析する。

実験結果

リサーチクエスチョン

• RQ1 LC∞0(S^2) およびその捻れ版 LΦSDiff(S^2, μ) の中心拡張（2-コサイクル）は何か。
• RQ2 得られた Lie algebra コサイクルは群レベルの中心拡張へ積分可能か、整数性条件は何か。
• RQ3 LC∞0(S^2) のコサイクルは適切なスケーリング後に Lsu(k+1) のアフィン Kac-Moody コサイクルの極限として現れるか（fuzzy-sphere 限界）？
• RQ4 微分同相やねじれの下で関連構造を preserving する厳密で同変な極限手続きが存在するか。

主な発見

• H^2(LC∞0(S^2), R) は一次元であり、すべての連続 2-コサイクルは ψ∞ の定数倍と同値な共同事として表せる。
• 対応する群レベルの中心拡張は中心 Chargue が整数である場合にのみ存在する。
• 捻れループ群についても同様の可積分性結果が、適合する捻れ Φ を伴って成り立つ。
• Lsu(k+1) 上の ψk は c∞ = -c∞/(1/6)k(k+1)(k+2) の関係によるスケーリングで ψ∞ に収束し、fuzzy-sphere 限界を可能にする。
• ψ∞ コサイクルは局所的で、S^2 上のファイバー方向の 2-コサイクルであることが示され、AQFT の局所性の考慮と整合する。
• この構成は捻れ設定にも拡張され、S^2 のカイラ構造と量子化写像 Qk との整合性が示される。