Edge modes of gravity. Part III. Corner simplicity constraints
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
A bstract In the tetrad formulation of gravity, the so-called simplicity constraints play a central role. They appear in the Hamiltonian analysis of the theory, and in the Lagrangian path integral when constructing the gravity partition function from topological BF theory. We develop here a systematic analysis of the corner symplectic structure encoding the symmetry algebra of gravity, and perform a thorough analysis of the simplicity constraints. Starting from a precursor phase space with Poincaré and Heisenberg symmetry, we obtain the corner phase space of BF theory by imposing kinematical constraints . This amounts to fixing the Heisenberg frame with a choice of position and spin operators. The simplicity constraints then further reduce the Poincaré symmetry of the BF phase space to a Lorentz subalgebra. This picture provides a particle-like description of (quantum) geometry: the internal normal plays the role of the four-momentum, the Barbero-Immirzi parameter that of the mass, the flux that of a relativistic position, and the frame that of a spin harmonic oscillator. Moreover, we show that the corner area element corresponds to the Poincaré spin Casimir. We achieve this central result by properly splitting, in the continuum, the corner simplicity constraints into first and second class parts. We construct the complete set of Dirac observables, which includes the generators of the local $$ \mathfrak{sl}\left(2,\mathrm{\mathbb{C}}\right) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>sl</mml:mi> <mml:mfenced> <mml:mn>2</mml:mn> <mml:mi>ℂ</mml:mi> </mml:mfenced> </mml:math> subalgebra of Poincaré, and the components of the tangential corner metric satisfying an $$ \mathfrak{sl}\left(2,\mathrm{\mathbb{R}}\right) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>sl</mml:mi> <mml:mfenced> <mml:mn>2</mml:mn> <mml:mi>ℝ</mml:mi> </mml:mfenced> </mml:math> algebra. We then present a preliminary analysis of the covariant and continuous irreducible representations of the infinite-dimensional corner algebra. Moreover, as an alternative path to quantization, we also introduce a regularization of the corner algebra and interpret this discrete setting in terms of an extended notion of twisted geometries.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.001 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it