Mass That ClicksFinale / Technical Appendix 14 / Area Is a Boost (The SL(2,R) of the Horizon Corner)

The journey's deepest junction — 8, 9, 10, 13 bundle into a single algebra

Area Is a Boost
The SL(2,R) of the Horizon Corner Area is the boost generator = Casimir of the $SL(2,\mathbb R)$ of the horizon corner (Wieland). Its discrete-series representation yields a discrete area from the boundary.
This $SL(2,\mathbb R)$ bundles modular flow (8, 10), the self-dual 1/4 (10), and the Λ-finitized type I (9) into a single point.

Prerequisites: Appendices 8, 9, 10, 13 (type II, Λ, k↔c, convergence at the horizon) Where we arrive: finite resources = the Λ-truncated discrete-series representation of the corner SL(2,R) / the program is unfinished

We have reached the deepest single point of this long journey. Dig into Obstacle B (is entropy a gauge edge mode, or a diffeomorphism symmetry?) and — a symmetry algebra of the horizon corner containing both appears, and at its center lies one fact: area is the "boost generator" of the corner's $SL(2,\mathbb R)$ (Wieland). From this single point, all the threads of the series gather — modular flow and type II (8, 10), the tuning-free self-dual 1/4 (10), the Λ-finitized type I (9), and edge mode = puncture (13) become different faces of a single algebra. This is the place where your "universe = finite resources" is refined into a single sentence. As the rules demand, the program is unfinished — we do not claim it is solved.

01Area is the boundary boost generator (Wieland)

Write gravity's boundary symplectic structure on a horizon cross-section (a codimension-2 corner), and area and boost angle (rapidity) become a conjugate pair:

Area = boost generator (Wieland, null-surface variables)

$$\{\,A(S),\ \eta\,\}\ \propto\ 8\pi G\qquad\Longrightarrow\qquad \hat A\ \text{generates the boost of the normal plane}$$

The normal plane of a spacelike 2-corner is a (1,1) Lorentzian plane. Its symmetry is the boost $SO(1,1)$, and bundled up it is $SL(2,\mathbb R)\cong SU(1,1)$. Area is the generator of this corner's boost (= Frodden–Gupta–Rovelli's "local-horizon boost energy $=A/8\pi G$").

02Discreteness comes from the discrete-series representation

The boost $SL(2,\mathbb R)$ is non-compact (naively, a continuous spectrum). But requirements such as the positivity of area select the discrete-series (lowest-weight) representation of $SU(1,1)$ — and in the discrete series the generator's spectrum is discrete:

Area discreteness re-derived from the boundary

$$\hat A=(\text{generator of the discrete-series }SL(2,\mathbb R))\ \Longrightarrow\ \text{discrete spectrum}$$

This re-derives LQG's area discreteness from the boundary (corner) boost representation rather than from the bulk spin network. It shows that the bulk and boundary discreteness are the same thing.

Figure: (left) the corner's normal plane ((1,1) Lorentzian) — area $\hat A$ generates the boost (hyperbolic orbit) = modular flow $K$. (right) the discrete-series area ladder — Λ sets an upper bound $A_{\max}$, so the rungs up to it are finite in number = type I ($\dim\sim e^{A/4G}$). Turn the slider for Λ to move the number of rungs (= the number of states)

Λ (left = large, strong truncation / right = Λ→0, toward the continuous series)mid

Area = boost generator. The discrete series yields a discrete area, and Λ makes it finite-dimensional (type I).

boost = area generator = modular flow discrete-series area rungs Λ's upper bound A_max (type I)

03Three connections — 8, 10, 9 bundle together here

Connection	What the corner $SL(2,\mathbb R)$ bundles
(1) 8, 10	Area = boost = modular flow. The near-horizon modular flow = boost (Bisognano–Wichmann, $K=2\pi\times$boost). The boost that area generates is the $K$ of the CLPW crossed product. The corner $SL(2,\mathbb R)$ = the geometric home of the type-II modular structure.
(2) 10	A Lorentzian corner = self-dual. The normal plane is Lorentzian, with $SL(2,\mathbb R)/SU(1,1)$ — consistent with the self-dual route $\gamma\to i$ (complex $SL(2,\mathbb C)$). This is the stage for 10 §04's "self-dual yields 1/4 with no tuning" (the structure is consistent; whether it actually comes out is unproven).
(3) 9	Finite-dimensional = type I is a Λ truncation. $SL(2,\mathbb R)$ is non-compact → its representations are infinite-dimensional. Truncating with the quantum group $SU(1,1)_q$ (Λ-deformation) gives finite-dimensional = type I, $\dim\sim e^{A/4G}$.

04Loop gravity from corners — LQG as the quantization of corner symmetry

Freidel–Livine–Pranzetti ("quantum gravity at the corner"): LQG's spin-network states appear as representations of the corner-symmetry algebra. The area quantum = corner Casimir, the puncture = an excitation of corner charge. LQG is not an assumption but is derived as the quantization of the boundary corner symmetry:

The horizon corner algebra — a semidirect product of local and global

$$\text{horizon corner}=\underbrace{SL(2,\mathbb R)}_{\text{area = boost Casimir (local)}}\ \ltimes\ \underbrace{\mathrm{Diff}(S^2)}_{\text{Carlip Virasoro (global)}}$$

The two central charges of Obstacle B (gauge edge mode = diffeomorphism symmetry) are different faces of this single corner algebra. The "edge mode = puncture = horizon CS" of 13 gains the language of representations of the corner symmetry.

◇ ◇ ◇

05Refining it into one sentence — and the program that remains

The most precise form of "universe = finite resources"

= the Λ-truncated discrete-series representation of the horizon corner $SL(2,\mathbb R)$. It takes area as the boost Casimir, generates modular flow, and carries the 1/4 in the self-dual case. The whole series (7 through 13) converges onto this single algebraic structure.

THE HONEST LINE — THE PROGRAM THAT REMAINS

It bundles beautifully, but is still a research program (Freidel–Geiller–Pranzetti, Wieland, 2017–2024, active but unfinished): (1) Producing the exact $A/4G$ tuning-free from the discrete series of the $SU(1,1)_q$ truncation is uncomputed (consistency with self-duality is a hint, not a proof). (2) Integrating the local $SL(2,\mathbb R)$ (area) + the global $\mathrm{Diff}(S^2)$ (Carlip central charge) into a single quantum algebra and producing both at once is unfinished (= the body of Obstacles A and B). (3) That the dimension of the corner representation = the entanglement entropy that renormalizes $G$ (the 1/4 lock, Susskind–Uglum) is unproven.

This is not a defeat. The single conviction "universe = finite resources," the more we dug, was refined all the way to the sentence "the Λ-truncated discrete-series representation of the horizon corner $SL(2,\mathbb R)$, taking area as the Casimir" — and landed at the very same place humanity is actually digging on the frontier right now. We did not fill the hole; we honed its edge as sharply as it can be honed — the deepest point a conversation can reach.

QUESTIONS TO CHECK YOURSELF

Why can we say "area is the boost generator"?
One answer
The normal plane of the horizon corner (codimension 2) is a (1,1) Lorentzian plane, whose symmetry is the boost SO(1,1)→SL(2,R). In the boundary symplectic structure, area and the boost angle η are conjugate ({A,η}∝8πG), so area generates the boost (Wieland). This is the same as Frodden–Gupta–Rovelli's local-horizon boost energy = A/8πG. Since boost = modular flow, area is also the type-II modular generator.
How does this $SL(2,\mathbb R)$ bundle 8, 9, 10, 13?
One answer
Since area = boost = modular flow K, it is the geometric home of the type-II crossed product (8, 10). Since the normal plane is Lorentzian with SL(2,R)/SU(1,1), it is the stage for self-dual γ→i = tuning-free 1/4 (10). Being non-compact, truncating with Λ / the quantum group SU(1,1)_q gives finite-dimensional = type I, dim~e^{A/4G} (9). And LQG comes out as the quantization of the corner symmetry, with puncture = an excitation of corner charge = edge mode (13). All of it is different faces of a single corner algebra SL(2,R)⋉Diff(S²).

APPENDIX 14 SUMMARYArea is a boost — the journey's junction

Dig into Obstacle B, and a symmetry algebra of the horizon corner appears, with one fact at its center — area is the boost generator = Casimir of the corner's $SL(2,\mathbb R)$ (Wieland). Its discrete-series representation yields a discrete area from the boundary, matching LQG's bulk discreteness. This $SL(2,\mathbb R)$ is — the home of modular flow = type II (8, 10), the stage of Lorentzian = self-dual 1/4 (10), and, under Λ truncation, type I (9, $\dim\sim e^{A/4G}$). All of LQG comes out as the quantization of this corner symmetry (Freidel–Livine–Pranzetti).

Here your "universe = finite resources" becomes a single sentence — the Λ-truncated discrete-series representation of the horizon corner $SL(2,\mathbb R)$, taking area as the Casimir. But the exact $A/4G$, the integration of local and global, and the match with entanglement remain an active but unfinished program. We did not fill the hole; we honed its edge to its sharpest — this is the deepest junction of the series.

Mass That Clicks — the view from the junction The journey that began with "What is heaviness?" crossed the floor of mass and passed through S=A/4, type I, the stage of Λ, the horizon CFT, the price of finiteness, the remaining holes, and QG dynamics, until at last it reached a single junction — area is a boost. The $SL(2,\mathbb R)$ of the horizon corner. Entanglement, discreteness, entropy, modular flow, self-duality, and finite-dimensionality all become faces of a single algebra at this one point. Your intuition of "finite resources" led us straight to the very knot of the frontier of modern physics.
A theory of everything will not come out of a chat (if it does, doubt it — that's the rule). But — a single conviction has been honed into the sentence "the discrete-series representation of the horizon corner $SL(2,\mathbb R)$, finitized by Λ, taking area as the Casimir." Standing at this one point and being able to point precisely to the threads we managed to bundle and the program that remains is far more distant, and far more real, than a false completion. This is humanity's edge, right now. Well done, making it this far.

This document is the Finale / Technical Appendix 14 of the "Mass That Clicks" series. That in the boundary symplectic structure of the horizon (codimension-2 corner / null surface) area is conjugate to the boost angle and generates the boost (Wieland 2017–18; the local boost energy $=A/8\pi G$ is due to Frodden–Gupta–Rovelli et al.); that the area operator has a discrete spectrum in a discrete-series representation of $SU(1,1)\cong SL(2,\mathbb R)$, reproducing LQG's area discreteness from the boundary; that near the horizon the boost coincides with the modular flow (Bisognano–Wichmann); that the corner-symmetry algebra contains the local $SL(2,\mathbb R)/GL(2,\mathbb R)$ and the global $\mathrm{Diff}(S^2)$ (Freidel–Geiller–Pranzetti; Ciambelli–Leigh); and that LQG is obtained as the quantization of the corner symmetry with punctures as excitations of corner charge (Freidel–Livine–Pranzetti) — these are all established results or current research topics. On the other hand, deriving the exact $A/4G$ tuning-free from the discrete-series representation of the $SU(1,1)_q$ truncation, integrating the local $SL(2,\mathbb R)$ and the global $\mathrm{Diff}(S^2)$ into a single quantum corner algebra that yields the area Casimir and the Virasoro central charge simultaneously, and matching the corner-representation entropy to the entanglement entropy that renormalizes $G$ (Susskind–Uglum) are all unsolved research programs, and this article claims no particular completed theory. The figure is a schematic showing area = boost generator and the finite truncation of the discrete series, not a quantitative computation. $c\cdot t=\text{const}$ is a restatement in terms of coordinates and units; the local speed of light is invariant. — Printing / PDF: browser "Print" → "Save as PDF" (in the print version the slider and answers are static / hidden).

Print / save as PDF: Ctrl+P (⌘+P on Mac). On screen, turn the slider for Λ: the area = boost discrete-series ladder becomes finite rungs (type I) under Λ, and dim~e^{A/4G} moves. Click "One answer" to reveal the solution.