Pith. Sign in

REVIEW

The Link between General Relativity and Shape Dynamics

General Relativity and Quantum Cosmology · Submitted 31 Jan 2011 · 21 references

Pith's verdict: The linking-theory framework is the real contribution; the asymptotically flat extension leans on an existence argument the authors flag but do not finish.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 10, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID1101.5974 (version 3)
Pith IDBRZWMST7, Pith's permanent record of this paper and its review
CitationHenrique Gomes, Tim Koslowski. "The Link between General Relativity and Shape Dynamics." arXiv:1101.5974 (2011). https://pith.science/paper/BRZWMST7
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

General Relativity and Shape Dynamics are argued to be two gauge fixings of one linking theory, and the argument is extended to asymptotically flat space.

The reading

General Relativity makes the split of spacetime into space and time arbitrary, and that arbitrariness is a gauge symmetry: the equations hold whatever slicing you choose. Shape Dynamics is a candidate reformulation that does the opposite, fixing the slicing once and for all while declaring the spatial metric meaningful only up to local stretching, so its gauge symmetry is local conformal invariance. This paper argues that the two are not competing theories but two partial gauge fixings of a single larger 'linking' theory, built on an extended phase space that adds a conformal field $[the conformal factor]$ and its conjugate momentum to the usual gravitational variables. Fixing the conformal field to zero returns ordinary ADM gravity; fixing its momentum to zero returns Shape Dynamics with a global Hamiltonian and the constraint $4$ times the trace of the momentum vanishing. The authors first give a general recipe for building such linking theories, then carry it through for gravity on asymptotically flat space, extending earlier work that covered only closed compact space, and close with a Lagrangian version of the construction.

What carries the argument

The engine is 'canonical best matching', a phase-space version of Kretschmannization: extend the phase space by an auxiliary field, apply the point transformation generated by $F = int d^3x (g_{ab} e^{4phi} Pi^{ab} + phi Pi_phi)$, and then note that the previously trivial constraint $pi_phi = 0$ becomes the nontrivial charge $Q = pi_phi - 4pi$. The decisive step is solving the transformed scalar constraint $T_phi S$ for $phi$ at the surface $pi_phi = 0$. The functional derivative of $T_phi S$ with respect to $phi$ is the operator $Delta = nabla^2 - R$, and the paper's argument that $Delta$ is invertible under the stated fall-off conditions is what produces a unique $phi_0$ and hence a well-defined reduced theory. A one-dimensional kernel remains, spanned by a lapse $N_0$ normalized by a limiting volume average, and this kernel is exactly what survives as the global Hamiltonian of Shape Dynamics. The paper is explicit that this is not a generic procedure: a linking theory exists only when the best-matching constraints are first class among themselves and second class with respect to precisely the constraint one wants to trade.

Extended reading notes

Core claim

The central claim is that General Relativity and Shape Dynamics are equivalent gauge theories, in the precise sense that each arises from the same linking theory by a partial gauge fixing, so their initial value problems and gauge-fixed trajectories coincide. The linking theory lives on the ADM phase space extended by a conformal pair $(g_{ab}, 4$ times the trace of the momentum$)$ and carries three sets of first-class constraints: the conformally transformed scalar constraint $T_phi S$, the transformed diffeomorphism constraint $T_phi H_a$, and the charge $Q = pi_phi - 4 pi$ that ties the extension to the original variables. The authors show that the gauge fixing $phi = 0$ reduces the theory to ADM gravity, while the gauge fixing $pi_phi = 0$ leaves a purely second-class combination of the scalar constraint, which can be solved for the conformal factor as a functional $phi_0[g, pi]$, and leaves the first-class set consisting of the global Hamiltonian $langle T_{phi_0} N_0 H rangle$, the constraint $4 pi = 0$, and the diffeomorphism constraint. In the authors' words, one trades the freedom to choose the lapse for the freedom to choose the conformal Lagrange multiplier, and General Relativity in constant-mean-curvature gauge becomes the dictionary in which trajectories of the two theories can be matched one to one.

Load-bearing premise

The whole equivalence rests on the operator $Delta = nabla^2 - R$ being invertible on asymptotically flat space with the stated fall-off conditions, so that the transformed scalar constraint can be solved uniquely for the conformal factor; the authors call this the York miracle, prove it through the Fredholm alternative, and themselves note that the Fredholm alternative has subtleties on non-compact manifolds where Christodoulou's method of continuity should be used instead, a step they do not carry out.

Editorial extensions

If this is right

  • Every General Relativity solution admitting a constant-mean-curvature foliation corresponds to a Shape Dynamics solution, and vice versa, so the two formulations can be used interchangeably on that overlap.
  • The equivalence extends beyond closed compact Cauchy surfaces to asymptotically flat ones, with the volume-preserving restriction of the compact case replaced by fall-off conditions on the conformal factor and a normalized lapse.
  • Because equivalence is established through the linking theory rather than through the dictionary, Shape Dynamics may admit trajectories that cannot be translated into constant-mean-curvature-foliable General Relativity, a possibility the authors flag as open.
  • Shape Dynamics can be treated as a theory in its own right, dropping the requirement that its lapse be positive, since forward evolution is governed instead by the positivity of the multiplier of the global Hamiltonian.
  • The Lagrangian form of the linking theory shows there is no dynamical relation between the lapse and the conformal multiplier: once $pi_phi = 0$ is imposed, the conformal factor is frozen to $phi_0$ and the two are related only through that fixed functional.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The construction is a template rather than a one-off: any system with a constraint that can be uniquely solved for an auxiliary field after a best-matching transformation should admit a dual description, which suggests the same trading of refoliation for conformal symmetry might be reproducible in matter-coupled or lower-dimensional models.
  • The authors' remark that Shape Dynamics may contain trajectories with no constant-mean-curvature General Relativity counterpart is the most concrete place to look for a discriminating test, since it predicts a class of Shape Dynamics evolutions that a General Relativity evolution cannot reproduce.
  • The note that metric Shape Dynamics can be Dirac quantized on the 2+1 dimensional torus while the metric Wheeler-DeWitt equation is not well defined suggests that the practical payoff of the equivalence may lie in quantization rather than in classical solution spaces.
Original abstract

We show that one can construct two equivalent gauge theories from a linking theory and give a general construction principle for linking theories which we use to construct a linking theory that proves the equivalence of General Relativity and Shape Dynamics, a theory with fixed foliation but spatial conformal invariance. This streamlines the rather complicated construction of this equivalence performed previously. We use this streamlined argument to extend the result to General Relativity with asymptotically flat boundary conditions. The improved understanding of linking theories naturally leads to the Lagrangian formulation of Shape Dynamics, which allows us to partially relate the degrees of freedom.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,608 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.44 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.91 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

We show that one can construct two equivalent gauge theories from a linking theory and give a general construction principle for linking theories which we use to construct a linking theory that proves the equivalence of General Relativity and Shape Dynamics, a theory with fixed foliation but spatial conformal invariance. This streamlines the rather complicated construction of this equivalence performed previously. We use this streamlined argument to extend the result to General Relativity with asymptotically flat boundary conditions. The improved understanding of linking theories naturally leads to the Lagrangian formulation of Shape Dynamics, which allows us to partially relate the degrees of freedom.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We show that one can construct two equivalent gauge theories from a linking theory and give a general construction principle for linking theories which we use to construct a linking theory that proves the equivalence of General Relativity and Shape Dynamics, a theory with fixed foliation but spatial conformal invariance. contribution 0.82 0.96 0.91 asserted 1.00
s1 This streamlines the rather complicated construction of this equivalence performed previously. contribution 0.46 0.49 0.05 asserted 1.00
s2 We use this streamlined argument to extend the result to General Relativity with asymptotically flat boundary conditions. contribution 0.58 0.94 0.12 asserted 1.00
s3 The improved understanding of linking theories naturally leads to the Lagrangian formulation of Shape Dynamics, which allows us to partially relate the degrees of freedom. contribution 0.55 0.92 0.09 asserted 0.85

What kind of paper the classifier reports this is: theoretical result 0.96 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

45 later papers cite it

Evidence: some. 25 of the citing papers share no author with it, and 3 of those carry a confident label from Pith's citation classifier.

Pith read 22 of the 103 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 1 of 3 papers with this label · 1 by the same authors

By the same authors

  • Reviewed and at the same time extended the results on the construction of equivalence of gauge theories obtained in this paper.

    Symmetry Doubling: Doubly General Relativity (2012) (same authors) · 0.99 · paraphrased: the licence does not allow quoting

Uses its method or tool 2 of 3 papers with this label · 2 by the same authors

By the same authors

  • Following this paper, constructed the generating function, found the canonical transformation, and used the transformed variables to construct three sets of constraints.

    Coupling Shape Dynamics to Matter Gives Spacetime (2011) (same authors) · 0.87 · paraphrased: the licence does not allow quoting

  • Used a linking theory from this paper as the most straightforward way of performing this construction.

    Time asymmetric extensions of general relativity (2015) (same authors) · 0.98 · paraphrased: the licence does not allow quoting

How the literature uses it

43 arXiv papers cite this in 98 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 63 sentences without a confident label

Builds on it 3 papers
Uses its method or tool 3 papers
  • Following [ref] , we construct the generating function [equation] we find the canonical transformation: [equation] and subsequently use these transformed variables to construct three sets of constraints: the transformed scalar- and diffeomorphism-constraint of GR as well as the transform of $π_ϕ$, [equation]

    Coupling Shape Dynamics to Matter Gives Spacetime · Warm-Up: Free Scalar Field · 0.87

  • The most straighforward way of performing this construction is through the use of a “linking theory" [ref] .

    Time asymmetric extensions of general relativity · Physical Degrees of Freedom · 0.98

  • Because this procedure involved solving $Ω$ for the variable canonically conjugate to $D - D e$, it is easiest in practice to first extend the phase space by introducing a parameter (called $ϕ$ in [ref] ) that parametrizes the flow of the constraint $D - D e =0$.

    2+1 gravity on the conformal sphere · The Shape Dynamics Hamiltonian · 0.91

Compares with it 1 paper
  • The two main differences are the following: First, in the York procedure the constant mean curvature condition is treated as a convenient gauge for decoupling the diffeomorphism from the scalar constraint, but the fact that it defines a first class constraint surface and gauge-fixing properties that enables one to construct a theory[This construction is only possible if one extends phase space first, and then apply phase space reduction [ref] .] with local conformal symmetry does not appear in any way in the York procedure[In fact, the York procedure is only designed as a mathematical device to find valid initial data for GR, in contrast to our approach which deals with the dynamical implementation of conformal symmetry.].

    Coupling Shape Dynamics to Matter Gives Spacetime · Introduction · 0.85

Cites it as support 1 paper
  • Despite this difference in the constraint algebra, it is possible under certain conditions,[The solutions must admit at least one foliation where the spatial Cauchy hypersurfaces have constant mean (extrinsic) curvature – i.e. be `CMC foliable.' One may argue that all physically reasonable solutions will satisfy this condition which, in any case, is not dramatically stronger than the global hyperbolicity assumption that is fundamental to ADM GR.] to prove that the dynamical solutions of SD are gauge equivalent to those of GR [ref] .

    The role of time in relational quantum theories · Relational quantization of Shape Dynamics · 0.96

Cites it as background 18 papers
  • Shape Dynamics (SD) [ref] is a classical theory equivalent to pure gravity in which the spacetime picture that underlies GR is replaced by an intrinsically spatial picture.

    Coupling Shape Dynamics to Matter Gives Spacetime · Introduction · 0.92

  • Shape Dynamics [ref] is a theory of gravity based on spatial conformal symmetry rather than spacetime covariance that turns out to be dynamically equivalent to General Relativity, which means that the physical trajectories of Shape Dynamics and General Relativity coincide.

    Observable Equivalence between General Relativity and Shape Dynamics · Introduction · 0.99

  • Shape Dynamics (SD) [ref] is a classical theory equivalent to pure gravity in which the spacetime picture that underlies GR is replaced by an intrinsically spatial picture.

    The Coupling of Shape Dynamics to Matter · Introduction · 0.98

What it cites · 5 sentences without a confident label

Builds on 3 papers
  • This paper is intended to make the rather involved construction presented in [ref] , which established the equivalence between General Relativity and Shape dynamics in the compact without boundary case, more transparent and at the same time to extend the equivalence of General Relativity and Shape Dynamics to the asymptotically flat case as an example for the general applicability of this procedure.

    Einstein gravity as a 3D conformally invariant theory · Conclusion · 1.00

  • We thus see our work as an extension of references [ref] by giving a clean Hamiltonian description and identifying the underlying reason for the surprising results of the previous papers as the symmetry trading between refoliation- and local spatial conformal symmetry.

    The physical gravitational degrees of freedom · Connection with previous work · 0.99

  • We thus see our work as an extension of references [ref] by giving a clean Hamiltonian description and identifying the underlying reason for the surprising results of the previous papers as the symmetry trading between refoliation- and local spatial conformal symmetry.

    Conformal Superspace: the configuration space of general relativity · Connection with previous work · 0.99

Uses the method or tool of 3 papers
  • In [ref] we took inspiration from [ref] and used the Stückelberg mechanism [ref] and methods from [ref] to construct equivalent gauge theories that have different sets of first class constraints, which turn out to generate different gauge symmetries.

    Conformal Superspace: the configuration space of general relativity · Introduction · 0.81

  • In [ref] we took inspiration from [ref] and used the Stückelberg mechanism [ref] and methods from [ref] to construct equivalent gauge theories that have different sets of first class constraints, which turn out to generate different gauge symmetries.

    Einstein gravity as a 3D conformally invariant theory · Introduction · 0.81

  • In [ref] we took inspiration from [ref] and used the Stückelberg mechanism [ref] and methods from [ref] to construct equivalent gauge theories that have different sets of first class constraints, which turn out to generate different gauge symmetries.

    The physical gravitational degrees of freedom · Introduction · 0.81

Compares with 2 papers
  • This unexpected result relies on the observation that in some cases one is able to find gauges for both systems such that the initial value problems and the equations of motion of both systems coincide, so the two systems do indeed have equivalent trajectories, despite their different gauge symmetries[A similar phenomenon occurs in the AdS/CFT correspondence [ref] , particularly as explored in [ref] .].

    Reconstructing AdS/CFT · Introduction · 0.85

  • This unexpected result relies on the observation that in some cases one is able to find gauges for both systems such that the initial value problems and the equations of motion of both systems coincide, so the two systems do indeed have equivalent trajectories, despite their different gauge symmetries[A similar phenomenon occurs in the AdS/CFT correspondence [ref] , particularly as explored in [ref] .].

    The Large N Limit of Superconformal Field Theories and Supergravity · Introduction · 0.85

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.