Prefactorization algebras for the conformal Laplacian: Central charge and Hilbert Fock space

This paper constructs a prefactorization algebra for the conformal Laplacian on oriented Riemannian manifolds, identifying its values with symmetric algebras of harmonic functions and demonstrating that while the construction is conformally natural for dimensions $d \geq 3$, the two-dimensional case exhibits a central charge governed by a harmonic cocycle that leads to a canonical embedding into the Hilbert Fock space, consistent with logarithmic conformal field theory.

The Gist

Imagine the universe as a giant, flexible sheet of fabric. In physics, we often try to understand how things move and interact on this sheet. This paper is about a specific mathematical tool called a Prefactorization Algebra, which acts like a "universal translator" for these interactions, specifically for a type of field called the Conformal Laplacian.

Here is the breakdown of what the author, Yuto Moriwaki, discovered, explained through simple analogies.

1. The Setup: The Shape-Shifting Sheet

Imagine you have a piece of rubber (a Riemannian manifold). You can stretch it, shrink it, or twist it, but you never tear it or glue pieces together. In math, this is called a conformal transformation.

• The Goal: The author wants to build a machine (a functor) that takes any shape of this rubber sheet and tells us what "quantum observables" (possible measurements) exist on it.
• The Tool: The machine uses a special operator called the Conformal Laplacian. Think of this as a "tension meter" that measures how the rubber sheet wants to settle down.

2. The Big Difference: Dimensions 3+ vs. Dimension 2

The paper reveals a fascinating split in behavior depending on how many dimensions the rubber sheet has.

Case A: The "Stable" World (Dimensions 3 and up)

Imagine a 3D balloon. If you stretch it, the physics of how it settles down remains perfectly consistent.

• The Magic: In 3D or higher, the "translator" works perfectly. No matter how you stretch the balloon, the mathematical rules stay the same. The author shows that the space of possible measurements on a flat disk in this world is exactly the same as the space of harmonic functions (functions that describe a perfectly balanced, smooth surface with no bumps).
• The Result: You can map these measurements directly into a Hilbert Fock Space. Think of this as a giant, infinite library where every book represents a possible state of the universe. In 3D, our "translator" fits perfectly into this library, and the books are organized neatly.

Case B: The "Wobbly" World (Dimension 2)

Now, imagine a 2D sheet of paper (like a flat disk). This is where things get weird.

• The Problem: In 2D, the "translator" breaks down when you stretch the paper. It's like trying to measure the tension on a piece of paper that keeps changing its own rules as you pull it.
• The Culprit: This breakdown is caused by a Central Charge. Think of this as a "glitch" or a "tax" that the universe charges you every time you change the shape of the paper.
• The Fix: To make the math work in 2D, the author introduces a Harmonic Cocycle. Imagine this as a "correction sticker" you have to paste onto your calculations every time you stretch the paper. Without this sticker, the numbers don't add up. With it, the system works again, but only if you ignore one specific "loud" measurement (the constant field), which corresponds to a known quirk in 2D physics called a Logarithmic CFT (a theory that isn't perfectly stable).

3. The "Fock Space" Library

The paper connects this abstract math to something called the Hilbert Fock Space.

• The Analogy: Imagine a library where every book is a combination of "particles" (like Lego bricks).
  • In 3D, the author proves that the "Lego instructions" (the algebra structure) derived from the rubber sheet fit perfectly into this library. The instructions are so precise that they can be treated as smooth, continuous operations.
  • In 2D, the instructions are a bit messy. They fit into the library, but you have to throw away one specific type of Lego brick (the constant one) to make the shelf stable.

4. Why Does This Matter?

This isn't just about rubber sheets. This is about Quantum Field Theory (QFT), the framework physicists use to describe the fundamental particles of the universe.

• The "Central Charge" Mystery: In physics, the "Central Charge" is a famous number that appears in theories about strings and black holes. Usually, it's calculated using very heavy, abstract machinery.
• The Paper's Contribution: Moriwaki shows that this mysterious number is actually just a boundary condition glitch. It's the cost of trying to define "tension" on a 2D sheet that changes shape. By viewing it through the lens of "Prefactorization Algebras," the author gives us a new, geometric way to understand why this number exists.

Summary in a Nutshell

• The Mission: Build a mathematical machine to translate shapes into quantum rules.
• The Discovery:
  • In 3D+, the machine works perfectly and maps neatly into a giant quantum library.
  • In 2D, the machine glitches because the shape-shifting rules are too flexible.
• The Solution: In 2D, you need a "correction sticker" (the Central Charge/Harmonic Cocycle) to fix the math. This explains why 2D physics (like the massless scalar field) is "logarithmic" and slightly unstable compared to higher dimensions.

The paper essentially bridges the gap between abstract geometry (how shapes change) and the hard numbers of quantum physics (correlation functions and central charges), showing that the "glitches" in 2D are actually a fundamental feature of how the universe handles shape and scale.

Technical Summary

1. Problem Statement

The paper addresses the formulation of quantum field theory (QFT) using factorization algebras, specifically focusing on the free scalar field governed by the conformal Laplacian (Yamabe operator) in $d$-dimensional Riemannian geometry.

The core problem is to construct a symmetric monoidal functor from the category of oriented Riemannian manifolds with conformal open embeddings to the category of real vector spaces. A critical challenge arises in understanding how the choice of boundary conditions (via Green's functions) behaves under conformal transformations. Specifically:

• In dimensions $d \geq 3$, the standard Green's function vanishing at infinity is conformally invariant.
• In dimension $d=2$, the standard Green's function (logarithmic) does not vanish at infinity, leading to a breakdown of conformal invariance. This breakdown is physically interpreted as the central charge (or Weyl anomaly) in Conformal Field Theory (CFT).
• The paper seeks to rigorously derive this central charge from the perspective of prefactorization algebras and describe the resulting algebraic structure on the space of observables, particularly its relationship to the Hilbert Fock space used in axiomatic QFT.

2. Methodology

The author employs a synthesis of geometric analysis, distribution theory, and operadic algebra:

• Categorical Framework: The study is set within the symmetric monoidal category $\mathbf{Mfld}^{CO}_{d,emb}$, consisting of $d$-dimensional oriented Riemannian manifolds and orientation-preserving conformal open embeddings. The subcategory generated by disjoint unions of disks is governed by the operad $\mathcal{CE}^{emb}_d$.
• Prefactorization Algebra Construction: Following the Costello-Gwilliam formalism, the author constructs the prefactorization algebra $F_{CL}$ associated with the conformal Laplacian $L_g$. This involves defining a chain complex (BV complex) on compactly supported smooth functions $C^\infty_c(M)$ and taking its homology (cokernel of the Laplacian).
• Green's Function Analysis: The vector space $F_{CL}(U)$ is identified via a linear isomorphism $\Psi_G$ with the symmetric algebra on the cokernel of the Laplacian. The behavior of this isomorphism under conformal maps $\phi$ is analyzed by examining the transformation properties of the Green's function $G(x,y)$.
• Harmonic Analysis: The cokernel of the Laplacian is explicitly characterized as the topological dual of the space of harmonic functions, $H'(U)$. The author utilizes expansions in harmonic polynomials and properties of distributions to describe the growth conditions of these dual spaces.
• Cocycle Correction: In $d=2$, the failure of naturality is corrected by introducing a harmonic cocycle $H_\phi$, which acts as a differential operator on the symmetric algebra.

3. Key Contributions and Results

A. Construction of the Symmetric Monoidal Functor

The paper proves that the prefactorization algebra associated with the conformal Laplacian defines a symmetric monoidal functor:
$$F_{CL}: \mathbf{Mfld}^{CO}_{d,emb} \to \mathbf{Vect}_{\mathbb{R}}$$
For Euclidean domains $U \subset \mathbb{R}^d$, the value $F_{CL}(U)$ is isomorphic to the symmetric algebra on the topological dual of harmonic functions, $\text{Sym}(H'(U))$.

B. Dimensional Dichotomy and the Central Charge

A major result is the distinction between dimensions $d \geq 3$ and $d=2$:

• Case $d \geq 3$: The isomorphism $\Psi_G$ is natural with respect to conformal open embeddings. The Green's function $G_d(x,y) \propto \|x-y\|^{-(d-2)}$ transforms covariantly, preserving the algebraic structure under the full conformal group.
• Case $d = 2$: The isomorphism is not natural. The transformation of the Green's function $G_2(x,y) \propto -\log|x-y|$ under a holomorphic map $\phi$ introduces an extra term governed by a harmonic cocycle:
  $$H_\phi(z, w) = \log|\phi(z) - \phi(w)| - \log|z - w| - \frac{1}{2}\log|\phi'(z)| - \frac{1}{2}\log|\phi'(w)|$$
  This cocycle satisfies the cocycle condition $H_{\phi \circ \psi} = H_\psi + H_\phi \circ (\psi \times \psi)$. The failure of naturality is precisely the central charge of the theory.
  • Correction: To restore naturality, one must restrict to the codimension-one subspace $C^\infty_c(D)_0$ (functions with zero integral) and modify the algebra structure by the operator $\exp(-(2\pi)^{-1}\partial_{H_\phi})$.

C. Algebraic Structure on the Disk

The paper explicitly describes the $\mathcal{CE}^{emb}_d$-algebra structure on $F_{CL}(D)$:

• The multiplication map involves "contractions" via the Green's function (analogous to Wick's theorem).
• In $d=2$, the multiplication includes a quantum correction term derived from the harmonic cocycle $H_\phi$.
• For the unit disk, the algebra structure is shown to be compatible with the action of the conformal group (specifically Möbius transformations in $d=2$).

D. Connection to Hilbert Fock Space

The paper establishes a deep link between the factorization algebra and axiomatic QFT:

• Embedding: For $d \geq 3$, the space of observables $\text{Sym}(H'(D))$ embeds densely into the Hilbert Fock space $\widehat{\text{Sym}}(H_{CFT})$.
• Representation: $H_{CFT}$ is the completion of harmonic polynomials and carries a unitary representation of the conformal group $SO^+(d, 1)$.
• Distributions: The point evaluation functionals $\{\delta_a\}_{a \in D}$ span a dense subspace of the Fock space. The algebraic operations on these functionals are explicitly calculated, showing how they map to the Fock space structure.
• Logarithmic CFT: In $d=2$, the embedding holds for a codimension-one subspace, reflecting the non-unitary, logarithmic nature of the massless free scalar field in two dimensions.

4. Significance

• Geometric Derivation of Central Charge: The paper provides a rigorous geometric derivation of the central charge (Weyl anomaly) purely from the perspective of factorization algebras and boundary condition choices, without relying on path integral heuristics.
• Unification of Frameworks: It bridges the gap between the Costello-Gwilliam factorization algebra approach (homological/operadic) and the Gårding-Wightman/Osterwalder-Schrader axiomatic approaches (Hilbert space/correlation functions). It demonstrates how the choice of boundary conditions in the factorization formalism corresponds to the selection of a specific Hilbert space representation.
• Operadic Structure: It clarifies the algebraic structure of observables on the disk, showing that they form an algebra over the conformal disk operad, with explicit formulas for the action of conformal maps.
• Foundation for Vertex Operator Algebras: The results provide a homological foundation for the relationship between vertex operator algebras (VOAs) and QFT, particularly in the context of the unit disk, which is central to the study of VOAs.

In summary, Moriwaki's work successfully constructs the prefactorization algebra for the conformal Laplacian, identifies the central charge as a harmonic cocycle arising from the failure of naturality in $d=2$, and demonstrates that the resulting algebra of observables naturally embeds into the Hilbert Fock space of axiomatic QFT.