Higher-Spin Gravity in Two Dimensions with Vanishing Cosmological Constant

This paper presents a fully interacting higher-spin gravity theory in two dimensions with vanishing cosmological constant by utilizing a BF formulation of the Poincaré or Maxwell algebras and their infinite-dimensional extensions, which yields an infinite spectrum of scalar degrees of freedom and demonstrates a method for incorporating their backreaction on the gravity sector.

The Gist

The Big Picture: Building a Universe on a Flat Sheet

Imagine you are an architect trying to design a universe. Usually, when physicists build these universes, they use a curved canvas (like a saddle shape for Anti-de Sitter space or a sphere for de Sitter space). This curvature is caused by something called the Cosmological Constant (think of it as the "tension" or "pressure" of the fabric of space).

However, our real-world universe looks very flat on large scales. The authors of this paper asked: What happens if we try to build a universe with zero tension? What if the canvas is perfectly flat?

Even more challenging, they wanted to include Higher-Spin Gravity.

• Normal Gravity: Think of this as a rubber sheet that bends when you put a bowling ball on it. The "spin" of the field describing this is 2.
• Higher-Spin Gravity: Imagine the rubber sheet isn't just bending; it's also vibrating in infinitely complex, high-frequency patterns (spin 3, 4, 5, and so on). These are "higher-spin" fields.

The paper solves a major puzzle: How do you write the laws of physics for a flat universe filled with these infinitely complex vibrations, without the math breaking down?

---

The Problem: The "Broken Ruler"

In physics, to write down the rules (equations) for a theory, you usually need a "ruler" to measure things. In mathematical terms, this is called a bilinear form or an invariant metric. It allows you to take two different fields and combine them to get a number (like a dot product).

• The Curved Case (AdS): When the universe is curved, this ruler exists and works perfectly. You can measure everything.
• The Flat Case (Minkowski): When the universe is flat, the authors discovered that the standard ruler breaks. It becomes "degenerate." If you try to use it, you get zero for things that shouldn't be zero. It's like trying to measure the distance between two points on a piece of paper that has been squashed into a line; you lose information.

Because the ruler is broken, the standard way of writing the theory (called a BF theory) fails for flat space.

The Solution: The "Dual" Ruler

The authors found a clever workaround. Instead of trying to fix the broken ruler, they decided to use a different kind of measuring stick.

Imagine you have a map (the algebra of the universe). Usually, you measure points on the map directly. But if the map is squashed, you can't measure it well. So, the authors said: "Let's measure the shadows of the map instead."

In math, this is called using the Dual Space.

• The Old Way: Measure the field directly. (Fails in flat space).
• The New Way: Measure the field's "partner" or "shadow" (the dual).
• The Result: This "shadow ruler" never breaks, even when the universe is flat. It allows them to write down consistent laws of physics for a flat universe with higher-spin fields.

The Cast of Characters: The Infinite Tower

Once they fixed the ruler, they looked at what particles (or fields) exist in this flat universe.

1. The Gauge Fields (The Gravity): These are the "glue" holding the universe together. In this theory, there isn't just one glue (spin-2); there is an infinite tower of glues (spin-3, spin-4, etc.). In a flat universe, these act like "ghosts"—they don't carry local energy, they just enforce rules.
2. The Matter Fields (The Scalars): This is the exciting part. The authors found that to make the theory work, they must include an infinite collection of scalar particles (like Higgs bosons, but simpler).
   • The Mass Spectrum: In the curved universe, these particles have specific, distinct masses (like rungs on a ladder: 1kg, 2kg, 3kg).
   • The Flat Twist: In the flat universe, the "ladder" disappears. Instead of distinct rungs, the masses form a continuous stream. Imagine a slide instead of a ladder. You can have a particle with any mass, and there is an infinite number of them getting heavier and heavier.

The "Twist": How They Talk to Each Other

The paper introduces a concept called the "Twisted-Adjoint" representation.

• Normal Interaction: Imagine two people shaking hands normally.
• Twisted Interaction: Imagine one person shakes hands, but the other person has to twist their wrist first.
• Why it matters: This "twist" is the mathematical mechanism that allows the infinite tower of particles to have mass. Without the twist, they would all be massless. The twist is what gives them their "weight" in this flat universe.

The "Backreaction": The Heavy Hitters

Usually, in these theories, the matter (the particles) is just a passenger; it doesn't change the road (gravity). The authors took a step further. They showed how to deform the math so that the heavy particles push back on the road.

• Analogy: Imagine a trampoline. Usually, you just bounce on it. But if you make the trampoline out of a special material, your weight actually changes the shape of the trampoline while you are bouncing.
• This is a huge deal because it creates a fully interacting theory. It's not just a toy model; it's a system where gravity and matter talk to each other in a flat universe.

The Second Theory: The "Cangemi-Jackiw" Extension

The paper doesn't stop at one theory. It also looks at a different version of flat gravity (Cangemi-Jackiw).

• They realized that the Weyl Algebra (a mathematical structure used in quantum mechanics) is actually a "higher-spin" version of the Maxwell algebra (which describes electromagnetism and flat gravity).
• By using this algebra, they built a second, slightly different version of flat higher-spin gravity. It's like building a house with a different blueprint but the same foundation.

Summary: Why Should We Care?

1. Realism: Our universe is flat (or very close to it). Most theories of "Higher-Spin Gravity" only work in curved universes. This paper gives us a toolkit to study these exotic theories in a universe that looks like ours.
2. Simplicity: Two-dimensional universes are like "training wheels" for physics. They are simple enough to solve but complex enough to teach us about holography (the idea that a 3D universe is a projection of a 2D surface).
3. New Physics: They found that in a flat universe, the "mass ladder" turns into a "mass slide." This is a completely new discovery about how particles behave when space has no curvature.

In a nutshell: The authors fixed a broken mathematical tool (the ruler) by using a "shadow" version of it. This allowed them to build a consistent theory of gravity with infinite types of particles in a flat universe, discovering that these particles have a continuous range of masses and can interact with gravity in a fully dynamic way.

Technical Summary

1. Problem Statement

The paper addresses the construction of consistent, interacting higher-spin gravity theories in two dimensions ($d=2$) specifically in the limit of vanishing cosmological constant ($\Lambda = 0$).

• Context: While higher-spin gravity in $AdS_2$ ($\Lambda < 0$) and $d=3$ flat space is relatively well-explored (often via Chern-Simons or BF formulations), the $d=2$ flat case ($\Lambda = 0$) presents unique algebraic and structural challenges.
• The Core Obstacle: Standard BF formulations of gravity rely on a non-degenerate, adjoint-invariant bilinear form (like the Killing form) to define the action. However, for the Poincaré algebra $iso(1,1)$ (the isometry algebra of 2D flat space) and its higher-spin extensions, such a form does not exist because the algebra contains a non-trivial Abelian ideal (translations). Consequently, the standard trace operation in the BF action becomes degenerate or undefined.
• Goal: To formulate a higher-spin extension of Jackiw-Teitelboim (JT) gravity and Cangemi-Jackiw (CJ) gravity in 2D flat space that includes a propagating matter sector (scalar fields) and allows for interactions (backreaction).

2. Methodology

The authors employ a generalized BF formulation of gravity, utilizing the duality between the Lie algebra and its dual space to bypass the lack of an invariant bilinear form.

• Dual Pairing Formulation: Instead of using a trace $\text{tr}(B \cdot F)$, the action is written as a pairing $S = \int \langle B^*, F \rangle$, where:
  • $A$ is a connection one-form taking values in the Lie algebra $\mathfrak{g}$.
  • $B^*$ is a zero-form (dilaton/matter field) taking values in the dual space $\mathfrak{g}^*$.
  • The equation of motion for $A$ involves the coadjoint action ($ad^*$) rather than the adjoint action.
• Higher-Spin Algebra Construction:
  • They construct infinite-dimensional higher-spin algebras, denoted $ihs[M]$, as quotients of the universal enveloping algebra of $iso(1,1)$, analogous to the $hs[\lambda]$ algebras in $AdS_2$.
  • They introduce an extended algebra $ihs[M] \rtimes \mathbb{Z}_2$ using an involutive automorphism $\tau$ (twist). This allows for the definition of a twisted-adjoint action, which is crucial for describing matter fields.
• Basis Decomposition:
  • The authors explicitly construct Adjoint and Twisted-Adjoint bases for the algebra.
  • They analyze the module structure of the algebra under the action of the Lorentz subalgebra $so(1,1)$.
  • Crucially, they distinguish between polynomial solutions (finite-dimensional modules) and non-polynomial (exponential/series) solutions (infinite-dimensional modules).
• Unfolded Formalism: The matter sector is described using unfolded equations of the form $dC + ad^\tau_A(C) = 0$, which encodes the dynamics of infinite towers of scalar fields.

3. Key Contributions

A. Resolution of the Degeneracy Problem

The paper demonstrates that by shifting from the adjoint representation to the coadjoint representation (via the pairing between $\mathfrak{g}$ and $\mathfrak{g}^*$), one can define a non-degenerate BF action for $iso(1,1)$ and its higher-spin extensions. This circumvents the no-go theorem regarding invariant bilinear forms on non-semisimple algebras.

B. Mass Spectrum in Flat Space

A major result is the derivation of the mass spectrum for the scalar fields in the twisted-adjoint representation.

• Discrete vs. Continuous: Unlike the $AdS_2$ case where the mass spectrum is discrete ($M^2 \propto (k-\lambda)(k-\lambda+1)$), the flat-space limit yields a continuous spectrum of masses.
• Spectrum Formula: Using an exponential basis $W^k_0(J) = e^{-kJ}$, the mass squared is found to be:
  $$M^2(k) = M^2 \cosh^2\left(\frac{k}{2}\right)$$
  where $k \in [0, \infty)$. This represents an infinite, continuous tower of scalar fields with increasing mass.
• Physical Interpretation: These fields correspond to unitary irreducible representations (UIRs) of the Poincaré algebra $iso(1,1)$.

C. Interacting Theory with Backreaction

The authors propose a mechanism for backreaction (interaction between gauge and matter sectors) by deforming the extended higher-spin algebra.

• They introduce a deformation parameter $\nu$ in the commutation relations of the algebra (specifically $[P_+, P_-] = \nu \tau J$).
• This deformation leads to formally consistent non-linear equations of motion, providing the first example of a fully interacting higher-spin gravity theory in 2D with $\Lambda = 0$.

D. Cangemi-Jackiw (CJ) Extension

The paper extends the analysis to Cangemi-Jackiw gravity, which is based on the Maxwell algebra (a central extension of $iso(1,1)$).

• They identify the Weyl algebra (algebra of polynomial differential operators) as the natural infinite-dimensional higher-spin extension of the Maxwell algebra.
• They construct a BF action for the Weyl algebra using a supertrace and a twist automorphism, leading to a higher-spin extension of the $\tilde{CGHS}$ model.

4. Results

1. Formulation of Flat-Space HS Gravity: Successfully formulated a BF-type action for 2D higher-spin gravity with $\Lambda=0$ using the dual pairing $\langle B^*, F \rangle$.
2. Spectrum Analysis:
   • The gauge sector (adjoint representation) contains topological fields.
   • The matter sector (twisted-adjoint representation) contains an infinite continuous tower of massive scalars.
   • The mass spectrum is continuous, contrasting with the discrete spectrum in $AdS_2$.
3. Algebraic Structure:
   • Identified that the flat-space higher-spin algebra $ihs[M]$ does not reduce to finite-dimensional algebras (like $sl(N)$) for integer parameters, unlike its $AdS_2$ counterpart $hs[\lambda]$.
   • Showed that the algebra requires a specific completion (involving exponential functions or distributions) to support the twisted-adjoint basis.
4. Interaction: Provided a formal framework for interacting theories via algebra deformation, allowing matter fields to backreact on the geometry.

5. Significance

• Holography and SYK Models: The work provides a concrete bulk dual for potential 1D conformal field theories (or SYK-like models) exhibiting higher-spin symmetry in a flat background. Since real-world spacetime is approximately flat, these models are physically more relevant than $AdS$-based holography for certain applications.
• Theoretical Consistency: It resolves the long-standing issue of defining BF actions for non-semisimple algebras in 2D, proving that a consistent variational principle exists even without a Killing form.
• New Class of Theories: It establishes a new class of solvable, interacting higher-spin theories in two dimensions. The continuous mass spectrum offers a distinct phenomenological signature compared to $AdS$ higher-spin theories.
• Bridge to 3D Flat Space: The methods (Inönü-Wigner contractions, dual pairings) provide a template for understanding higher-spin gravity in 3D flat space, where similar algebraic obstructions exist.

In summary, Bekaert and Pannier successfully construct a fully interacting, higher-spin gravity theory in 2D flat space, overcoming algebraic obstructions via dual pairings and revealing a novel continuous mass spectrum for the matter sector.