Prefactorization algebras for the conformal Laplacian: Central charge and Hilbert Fock space
Pith reviewed 2026-05-15 20:42 UTC · model grok-4.3
The pith
The prefactorization algebra of the conformal Laplacian assigns to each Euclidean domain the symmetric algebra on the dual of its harmonic functions, identified via the Green function and natural in dimensions three and higher.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The prefactorization algebra associated with the conformal Laplacian defines a symmetric monoidal functor from the category of oriented Riemannian d-manifolds with conformal open embeddings to real vector spaces. For Euclidean domains U subset R^d the value of this functor is identified, via the Green function, with the symmetric algebra on the topological dual of the space of harmonic functions. For d greater than or equal to three this identification is natural under all conformal transformations, while in dimension two its failure of naturality is governed by a harmonic cocycle which plays the role of a central charge. For the unit disk the resulting vector space carries an algebra over a
What carries the argument
The prefactorization algebra associated with the conformal Laplacian, which maps manifolds to vector spaces and is identified via the Green function with the symmetric algebra on the dual of harmonic functions.
If this is right
- For d greater than or equal to three the assignment is natural under the full group of conformal transformations.
- In two dimensions the obstruction to naturality is precisely measured by a harmonic cocycle.
- The unit disk carries a canonical dense embedding into the Hilbert Fock space after restriction to a codimension-one subspace.
- The algebra structure over the operad of conformal disk embeddings holds in all dimensions, with the two-dimensional case adjusted for logarithmic CFT.
Where Pith is reading between the lines
- The harmonic cocycle may supply a geometric source for the central charge that appears in two-dimensional conformal field theories.
- The same construction could be tested on non-flat Riemannian manifolds to see whether the identification with harmonic functions survives curvature.
- Explicit cocycle computations on standard domains such as annuli would give concrete numbers that could be matched against known central-charge values in logarithmic models.
Load-bearing premise
The prefactorization algebra associated with the conformal Laplacian defines a symmetric monoidal functor from the category of oriented Riemannian d-manifolds with conformal open embeddings to real vector spaces.
What would settle it
An explicit calculation of the functor applied to two overlapping disks in the plane that produces a mismatch with the harmonic cocycle predicted by the central charge would falsify the two-dimensional claim.
read the original abstract
Let $d \geq 2$. We consider the symmetric monoidal category of oriented Riemannian $d$-manifolds with conformal open embeddings. The prefactorization algebra associated with the conformal Laplacian defines a symmetric monoidal functor from this category to real vector spaces. For Euclidean domains $U\subset\mathbb{R}^d$, the value of this functor is identified, via the Green function, with the symmetric algebra on the topological dual of the space of harmonic functions. For $d \geq 3$ this identification is natural under all conformal transformations, while in dimension two, its failure of naturality is governed by a harmonic cocycle, which plays the role of a central charge. For the unit disk, the resulting vector space carries an algebra structure over the operad of conformal disk embeddings and admits a canonical dense embedding into the Hilbert Fock space. In dimension two, this statement holds after restricting to a codimension-one subspace, as suggested by logarithmic CFT.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines a prefactorization algebra for the conformal Laplacian as a symmetric monoidal functor from the category of oriented Riemannian d-manifolds (d≥2) equipped with conformal open embeddings to real vector spaces. For Euclidean domains U⊂R^d it identifies the value of this functor, via the Green function of the conformal Laplacian, with the symmetric algebra Sym((Harm(U))^*) on the topological dual of the space of harmonic functions. The identification is asserted to be natural under all conformal transformations when d≥3; in dimension two the failure of naturality is controlled by a harmonic cocycle that plays the role of a central charge. For the unit disk the resulting object, after restriction to a codimension-one subspace, carries an algebra structure over the operad of conformal disk embeddings and admits a canonical dense embedding into the Hilbert Fock space.
Significance. If the identification and the explicit cocycle are established, the work supplies a concrete geometric realization of prefactorization algebras tied to the conformal Laplacian, furnishing a direct link between harmonic analysis on domains and the algebraic structures appearing in two-dimensional conformal field theory. The dense embedding into the Hilbert Fock space for the unit disk would give a rigorous model for the free-field quantization in this setting.
major comments (1)
- [d=2 identification and cocycle construction] The central claim for d=2—that the Green-function transformation law under conformal maps induces an automorphism of Sym((Harm(U))^*) whose deviation from naturality is precisely a harmonic 2-cocycle—requires an explicit formula for the transformed Green function together with a direct verification that the resulting obstruction satisfies the cocycle condition with respect to the space of harmonic functions. No such derivation or computation is supplied, rendering the identification of the cocycle as the central charge unverifiable from the given argument.
minor comments (1)
- [unit-disk embedding] The restriction to a codimension-one subspace for the unit-disk case is motivated by reference to logarithmic CFT, but the precise definition of this subspace and the verification that the dense embedding into the Hilbert Fock space remains an algebra homomorphism over the operad of conformal disk embeddings would benefit from an expanded paragraph.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need for greater explicitness in the d=2 case. We address the single major comment below and will revise the manuscript to incorporate the requested details.
read point-by-point responses
-
Referee: [d=2 identification and cocycle construction] The central claim for d=2—that the Green-function transformation law under conformal maps induces an automorphism of Sym((Harm(U))^*) whose deviation from naturality is precisely a harmonic 2-cocycle—requires an explicit formula for the transformed Green function together with a direct verification that the resulting obstruction satisfies the cocycle condition with respect to the space of harmonic functions. No such derivation or computation is supplied, rendering the identification of the cocycle as the central charge unverifiable from the given argument.
Authors: We agree that an explicit derivation strengthens the argument. The Green function of the conformal Laplacian (which coincides with a multiple of the usual Laplacian in dimension 2) transforms under a conformal map φ: U → V by G_V(φ(x), φ(y)) = G_U(x, y) + (1/(2π)) log |φ'(x)| + (1/(2π)) log |φ'(y)| (up to the normalization convention for the Green function). This induces an automorphism of Sym((Harm(U))^*) by adding the linear functional corresponding to the harmonic function log |φ'|. The failure of naturality under composition is then measured by the difference of these shifts, which defines a harmonic 2-cocycle c(φ, ψ) valued in Harm(U)^*. The cocycle identity c(φ, ψ) + c(φ ∘ ψ, χ) = c(ψ, χ) + c(φ, ψ ∘ χ) follows by direct computation from the chain rule applied to the logarithmic derivatives together with the harmonicity of log |φ'|. We will add this derivation as a new lemma (with the explicit transformation formula and the verification) in the revised Section 3, together with a short appendix recording the normalization constants. revision: yes
Circularity Check
No significant circularity; identification via Green function is a direct construction from the prefactorization algebra
full rationale
The paper defines the prefactorization algebra associated to the conformal Laplacian as a symmetric monoidal functor on the category of oriented Riemannian d-manifolds with conformal embeddings. It then identifies the value on Euclidean domains U subset R^d with the symmetric algebra on the topological dual of harmonic functions via the Green function. This identification is stated as a consequence of the functor's definition and the properties of the Green function, without any reduction of the claimed naturality (d>=3) or harmonic cocycle (d=2) to a fitted parameter, self-citation chain, or ansatz smuggled from prior work by the same author. No equations in the abstract or described claims exhibit self-definitional equivalence or renaming of known results as new derivations. The construction is self-contained relative to the input category and operator.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The category of oriented Riemannian d-manifolds equipped with conformal open embeddings is symmetric monoidal.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.