Central extensions for loop groups of area-preserving diffeomorphisms and their fuzzy sphere limits

This paper classifies central extensions for the loop group of area-preserving diffeomorphisms of the 2-sphere and demonstrates that their associated Lie algebra cocycles emerge as fuzzy sphere limits of Kac-Moody cocycles for large $k$ in (twisted) loop algebras of $L\mathfrak{su}(k+1)$, provided a specific rescaling by $6/k^3$.

The Gist

Imagine you are trying to build a new kind of universe, a mathematical model of reality that works in 2+1 dimensions (two spatial dimensions plus time). Physicists have been very successful building models for our 3D world and for 1+1 dimensional worlds (like strings), but the 2+1 dimensional world is a bit of a mystery.

To build these models, mathematicians need "symmetry groups." Think of a symmetry group as a set of rules for how you can twist, turn, or stretch a shape without changing its essential nature. In the 1+1 dimensional world, the most important symmetry comes from stretching a circle ($S^1$).

This paper asks a big question: What is the "circle" equivalent for a 2+1 dimensional world?

The authors, Bas Janssens and Zhenghan Wang, propose that instead of a simple circle, the key player is a loop of spheres. Imagine taking a rubber band (a circle) and at every point on that rubber band, attaching a tiny, perfect sphere. You can stretch and squish that sphere, but you must keep its total surface area exactly the same. This collection of moving spheres is called the Loop Group of Area-Preserving Diffeomorphisms of the 2-sphere ($LSDiff(S^2)$).

Here is the breakdown of their discovery, using simple analogies:

1. The Problem: Finding the "Hidden Glue"

In physics, when you try to make a quantum theory work, you often need to add a little bit of "extra glue" to your symmetry rules. In math, this is called a Central Extension.

• The Analogy: Imagine a dance troupe. The dancers (the symmetry group) move in perfect circles. But to make the dance work in a quantum world, the choreographer needs to add a specific "twist" to the music (the central extension) so the dancers don't trip over each other.
• The Goal: The authors wanted to find exactly what this "twist" looks like for their sphere-loop group. They needed to classify all possible ways to add this glue.

The Result: They found there is essentially only one unique way to add this glue (mathematically, the space of these extensions is 1-dimensional). They wrote down a precise formula for it.

2. The "Fuzzy Sphere" Connection

This is the most magical part of the paper. The authors realized that this complex, infinite-dimensional sphere-loop group is actually the limit of something much simpler and more familiar: Matrix Groups.

• The Analogy: Think of a high-resolution digital photo.
  • At low resolution (small $k$), the image is made of big, blocky pixels (matrices). It looks "fuzzy" or "pixelated."
  • As you zoom out and increase the resolution (letting $k \to \infty$), the pixels become so small and numerous that the image looks like a smooth, continuous sphere.
• The Math: The authors showed that if you take a specific type of matrix group (related to $SU(k+1)$), calculate its "twist" (cocycle), and then zoom out to the limit where the matrices become infinite in number, you get exactly the "twist" for the sphere-loop group.
• The Catch: You have to adjust the volume knob. As the matrices get bigger, the "twist" gets huge. You have to turn the volume down by a factor of $6/k^3$ to hear the right note.

This is why they call it the "Fuzzy Sphere Limit." The smooth, continuous world of the sphere is just the "high-resolution limit" of a world made of fuzzy, pixelated matrices.

3. The "Twisted" Version

The paper also looks at a "twisted" version of this setup.

• The Analogy: Imagine your rubber band of spheres is a Möbius strip. If you walk all the way around the loop, the sphere you started with has been flipped upside down (inverted).
• The Result: They showed that even with this twist, the same "fuzzy sphere" logic holds. The limit of the twisted matrices still gives you the twisted sphere group.

4. Why Does This Matter? (The "So What?")

Why should a general audience care about fuzzy spheres and matrix limits?

1. Building New Physics: The authors hope this work will help construct a rigorous mathematical model for a 3D Conformal Field Theory (CFT). This is a type of physics theory that describes how things behave at critical points (like water turning to steam, but in 3D).
2. The 3D Ising Model: They specifically mention the 3D Ising model, which is a famous problem in physics describing magnetism. Solving it mathematically is a "Holy Grail" challenge.
3. The Bridge: By showing that the complex sphere-group is just the limit of simple matrix groups, they are building a bridge. They can use the well-understood math of matrices (which physicists love) to try to solve the hard problems of the 3D sphere world.

Summary in a Nutshell

The authors discovered that the complex symmetry group of a loop of spheres (which might be the key to understanding 3D quantum physics) is mathematically identical to the limit of a sequence of matrix groups as the matrices get infinitely large.

They proved that the "rules of the game" (the central extensions) for the sphere are just the "high-resolution version" of the rules for the matrices. This suggests that if we can understand the "fuzzy" pixelated world of matrices, we might finally be able to understand the smooth, continuous world of 3D quantum fields.

Technical Summary

Here is a detailed technical summary of the paper "Central extensions for loop groups of area-preserving diffeomorphisms and their fuzzy sphere limits" by Bas Janssens and Zhenghan Wang.

1. Problem Statement and Motivation

The paper addresses the challenge of constructing mathematically rigorous, non-trivial Quantum Field Theories (QFTs) in 2+1 dimensions.

• Context: In 1+1 dimensions, Rational Conformal Field Theories (RCFTs) rely heavily on the central extension of the loop group of diffeomorphisms, $LS^1$, specifically the Virasoro algebra. The authors aim to find an analogous structure for 2+1 dimensions.
• Target Symmetry: The proposed symmetry group for 2+1 dimensional QFTs on the conformal compactification of Minkowski space ($S^1 \times S^2$) is the loop group of area-preserving diffeomorphisms of the 2-sphere, denoted as $L\text{SDiff}(S^2)$.
• Core Questions:
  1. What are the central extensions of the Lie algebra $L\mathfrak{c}^\infty_0(S^2)$ (the loop algebra of smooth functions on $S^1 \times S^2$ integrating to zero on each $S^2$ fiber)?
  2. Do these extensions integrate to the group level?
  3. Can these extensions be understood as limits of well-understood finite-dimensional structures, specifically Kac-Moody algebras associated with $\mathfrak{su}(k+1)$ as $k \to \infty$? This limit is referred to as the "fuzzy sphere limit."

2. Methodology

The authors employ a combination of infinite-dimensional Lie algebra cohomology, geometric quantization, and representation theory.

• Lie Algebra Cohomology: They classify continuous 2-cocycles on the loop algebra $L\mathfrak{c}^\infty_0(S^2)$ using the framework of current algebras ($A \otimes \mathfrak{k}$). They utilize results from [NW08] regarding the classification of cocycles on current algebras, which depend on invariant bilinear forms on the underlying Lie algebra $\mathfrak{k}$ and the Koszul map.
• Invariant Bilinear Forms: A crucial step involves classifying continuous invariant symmetric bilinear forms on the Poisson algebra $C^\infty_0(S^2)$. They prove that, up to scaling, the $L^2$ inner product is the unique such form.
• Geometric Quantization: To establish the connection with Kac-Moody algebras, they use the geometric quantization of the 2-sphere (identified with $\mathbb{CP}^1$). They utilize the Berezin-Toeplitz quantization map, which relates functions on $S^2$ to operators on the Hilbert space of holomorphic sections of line bundles $L^{\otimes k}$.
• Twisted Loop Groups: They extend the analysis to the "twisted" case, relevant for the conformal compactification of Minkowski space $(S^1 \times S^2)/\mathbb{Z}_2$. This involves an orientation-reversing involution (inversion of the sphere) and requires analyzing twisted loop algebras.

3. Key Contributions and Results

A. Classification of Central Extensions (Theorem A)

The authors classify the central extensions of the Lie algebra $L\mathfrak{c}^\infty_0(S^2)$.

• Cohomology: The second continuous cohomology group $H^2(L\mathfrak{c}^\infty_0(S^2), \mathbb{R})$ is 1-dimensional.
• The Cocycle: Every continuous 2-cocycle $\psi$ is cohomologous to a scalar multiple of a specific cocycle $\psi_\infty$:
  $$\psi_\infty(F, G) = \frac{1}{2\pi \text{Vol}_\mu(S^2)^3} \int_{S^1} \left( \int_{S^2} F \partial_t G \, \mu \right) dt$$
• Integrability: The corresponding Lie algebra extension integrates to a central $U(1)$-extension of the simply connected cover of the loop group $L\text{SDiff}(S^2)$ if and only if the scaling constant $c_\infty$ is an integer.

B. Fuzzy Sphere Limits (Theorem B)

The paper establishes a rigorous link between the infinite-dimensional loop algebra of $S^2$ and finite-dimensional affine Kac-Moody algebras $\widehat{L\mathfrak{su}(k+1)}$.

• The Limit: As $k \to \infty$, the Kac-Moody cocycles $\psi_k$ on $L\mathfrak{su}(k+1)$, when rescaled by a factor of $6/k^3$, converge pointwise to the cocycle$\psi_\infty$on$L\mathfrak{c}^\infty_0(S^2)$.
• Compatibility Diagram: The authors construct a commutative diagram (asymptotically) relating the cocycles on $L\mathfrak{su}(2)$, $L\mathfrak{su}(k+1)$, and $L\mathfrak{c}^\infty_0(S^2)$.
  • The pullback of the $S^2$ cocycle to $L\mathfrak{su}(2)$ yields a specific integer relation.
  • The pullback of the $L\mathfrak{su}(k+1)$ cocycle to $L\mathfrak{su}(2)$ involves a factor of $k(k+1)(k+2)/6$.
  • Crucial Scaling: To obtain the limit, the central charge $c_k$ of the Kac-Moody algebra must scale as $c_k \approx -c_\infty \frac{6}{k(k+1)(k+2)}$.
• Significance: This implies that the centrally extended Lie algebra $\widehat{L\mathfrak{c}^\infty_0(S^2)}$ can be approximated by affine Kac-Moody algebras in the large-$k$ limit.

C. Twisted Case (Theorem 13 & 21)

The authors extend these results to the twisted loop group $L_\Phi \text{SDiff}(S^2)$, where $\Phi$ is an orientation-reversing diffeomorphism (specifically the inversion $P(x)=-x$).

• They classify the 2-cocycles for the twisted algebra, showing it is also 1-dimensional.
• They demonstrate that the "fuzzy sphere limit" holds in the twisted setting as well, preserving equivariance under the orientation-reversing map.

4. Significance and Implications

1. Foundation for 2+1 Dimensional QFT: The paper provides a concrete mathematical candidate for the symmetry algebra of a 2+1 dimensional conformal field theory. The existence of a non-trivial, integrable central extension is a prerequisite for constructing positive-energy representations, which are essential for physical QFTs.
2. Locality: The derived cocycle is local in the sense that functions with support in disjoint open sets commute in the extended algebra. This is a critical axiom (Haag-Kastler) for Algebraic Quantum Field Theory (AQFT).
3. Connection to the 3D Ising Model: The authors suggest a potential connection to the 3D Ising model. Since the 3D Ising model is a candidate for a non-trivial 3D CFT, and $SU(k+1)$ theories are related to lattice models, the "fuzzy sphere limit" suggests a pathway to construct the 3D Ising model (or similar theories) as a limit of matrix models or finite-dimensional gauge theories.
4. Generalization: While focused on $S^2$, the authors conjecture that these results generalize to other compact symplectic manifolds, potentially opening a new avenue for studying higher-dimensional conformal symmetries via geometric quantization limits.

5. Conclusion

Janssens and Wang successfully classify the central extensions of the loop group of area-preserving diffeomorphisms of the 2-sphere. They prove that these extensions are integrable (yielding unitary representations) and, most significantly, that they arise as the $k \to \infty$ limit of Kac-Moody algebras with specific scaling. This "fuzzy sphere limit" provides a rigorous bridge between finite-dimensional matrix models and infinite-dimensional field theories in 2+1 dimensions, offering a promising framework for constructing mathematically rigorous QFTs in higher dimensions.