Constraint Analysis and Quantization of Anomalous 2-D Thomas-Whitehead Gravity

Abstract: The two-dimensional effective Polyakov action is often realized as the anomalous contributions of string theories and fermions coupled to gravity in two-dimensions. However, as a result of the reparameterization invariance, one finds that the effective action produces vanishing Hamiltonians as constraints even in disparate gauges such as the dynamical light-cone and the ADM formalism of the metric. On the other hand, two-dimensional gravitational theories naturally arise as geometric actions on the coadjoint orbits of the Virasoro algebra. The Thomas-Whitehead gravity formalism extends the effective Polyakov action in such a way that the defining coadjoint element for the orbit becomes a dynamical field, viz the diffeomorphism field. In this work, we examine the constraint analysis and quantization of the Hamiltonian in the context of Thomas-Whitehead gravity using both the dynamical light-cone and the ADM formalisms of the metric. Constraint analysis is then repeated in a Minkowski background and with a dynamical action for the diffeomorphisms field arising from the Thomas-Whitehead action. Adding dynamics to the diffeomorphism field subsequently removes the vanishing Hamiltonians.

• The paper applies Dirac constraint analysis and canonical quantization to show that a background diffeomorphism field preserves the vanishing Hamiltonian and Weyl anomaly while determining the metric’s quantum state.
• The ADM treatment finds modified lapse–shift Dirac brackets and second-class constraints, yet consistency still enforces a vanishing Hamiltonian and shows that the field can fix the conformal factor without changing curvature.
• Making the diffeomorphism field dynamical removes the vanishing-Hamiltonian structure, introduces gauge freedom in its temporal component, and produces luminal or dispersive traveling-wave solutions, while the fully dynamical metric–field theory remains unresolved.

Overview and motivation

The effective Polyakov action (EPA) encodes the Weyl and diffeomorphism anomaly of two-dimensional quantum gravity, reproducing the anomalous trace $h^{ab}\langle T_{ab}\rangle = \tfrac{d}{24\pi}R$ (2603.06995). A well-known structural feature of the EPA, in both the dynamical light-cone gauge and the ADM formalism, is that reparameterization invariance renders the canonical Hamiltonian a constraint that vanishes on the constraint surface. This paper by Quaid, Biedke, and Rodgers extends the EPA by promoting the coadjoint element of the Virasoro orbit — the "diffeomorphism field" $\mathcal{D}_{ab}$, which in the Thomas–Whitehead (TW) construction arises as part of a projective connection — from a fixed background to a dynamical field governed by a projective Gauss–Bonnet (PGB) action. The central result is a full Dirac constraint analysis and canonical quantization showing that a background diffeomorphism field leaves the vanishing-Hamiltonian constraint structure intact (while fully determining the quantum state of the metric), whereas a dynamical diffeomorphism field removes the vanishing Hamiltonians and admits genuine propagating wave solutions.

Geometric origin of the extended action

The construction rests on the Alekseev–Shatashvili/Rai–Rodgers geometric action on coadjoint orbits of the Virasoro algebra. The EPA written in Polyakov's dynamical light-cone gauge is recovered from this orbit construction, but the orbit formalism naturally introduces a term $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$ in which $\mathcal{D}$ is a quadratic differential in the coadjoint representation. In the TW formalism, $\mathcal{D}_{ab}$ is the trace-relevant piece of the projective connection $\Pi^{a}_{\;bc}$ built from the trace-reversed connection $\alpha_a$, and it acquires dynamics through the projective Gauss–Bonnet Lagrangian built from the $\mathcal{K}$-curvatures. A key consistency check is the trace identity

$$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$

which vanishes in exactly two dimensions: the diffeomorphism field's contribution to the EPA does not modify the trace anomaly. This is a strong structural claim — the extension is compatible with the anomaly equation $h^{ab}\delta F/\delta h^{ab} = \tfrac{d}{24\pi}R$ as long as $\mathcal{D}_{ab}$0 remains a background field; once it is made dynamical, the anomaly equation itself is modified. The authors are explicit that the fully dynamical theory (dynamical metric plus dynamical $\mathcal{D}_{ab}$1) is deferred to future work, so the anomaly structure of the complete theory remains an open question.

Constraint analysis with a background diffeomorphism field

Dynamical light-cone gauge

In the light-cone gauge, with metric component $\mathcal{D}_{ab}$2 and a $\mathcal{D}_{ab}$3 scaling symmetry in $\mathcal{D}_{ab}$4, the canonical momentum $\mathcal{D}_{ab}$5 is independent of $\mathcal{D}_{ab}$6, yielding the primary constraint $\mathcal{D}_{ab}$7 and a Hamiltonian density $\mathcal{D}_{ab}$8 with $\mathcal{D}_{ab}$9 identified with $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$0. The single constraint is first class; the Dirac brackets coincide with Poisson brackets, and the secondary "constraint" $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$1 is a functional of the Lagrange multiplier and is demoted to a consistency condition. Canonical quantization produces an Einstein–Schrödinger-type equation,

$$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$2

with a generic phase solution $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$3 where $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$4.

The substantive new result comes from solving the constraint for $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$5 and inserting Fourier mode expansions of $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$6 and $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$7 satisfying $$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$8. The EPA contributions cancel in this expansion, leaving

$$\int \mathcal{D}\,\partial_\tau f/\partial_\sigma f\, d^2\sigma$$9

i.e., a $\mathcal{D}$0-weighted number operator plus an operator-ordering constant $\mathcal{D}$1. Using the dispersion-relation or speed-of-light cutoffs $\mathcal{D}$2 supplied by the dynamical diffeomorphism theory of the later section, the expectation value is

$\mathcal{D}$3

for both propagation solutions. Two implications follow: all transition amplitudes $\mathcal{D}$4 vanish, so the background diffeomorphism field's expectation value defines the quantum state of the metric; and the integration bounds are not fixed internally — the paper must borrow cutoffs from the separate dynamical-$\mathcal{D}$5 theory, an assumption the authors state plainly.

ADM formalism

In ADM variables, the background $\mathcal{D}$6 mixes lapse and shift, producing two second-class secondary constraints $\mathcal{D}$7 and $\mathcal{D}$8 alongside the primary lapse/shift constraints, with a nontrivial constraint matrix involving $\mathcal{D}$9. The constrained Hamiltonian density is

$\mathcal{D}_{ab}$0

which vanishes as $\mathcal{D}_{ab}$1, recovering the original EPA constraint structure. Crucially, $\mathcal{D}_{ab}$2 and $\mathcal{D}_{ab}$3 can no longer be identified purely as Lagrange multipliers, and the Dirac bracket $\mathcal{D}_{ab}$4 is nonvanishing and proportional to $\mathcal{D}_{ab}$5 over $\mathcal{D}_{ab}$6 — a genuinely modified canonical structure. The authors caution that minisuperspace reductions are delicate in this gauge, and that the ADM assumption of asymptotic flatness conflicts with two-dimensional FRW cosmologies (which reduce to $\mathcal{D}_{ab}$7), leaving cosmological applications open. Enforcing the equations of motion for $\mathcal{D}_{ab}$8 and $\mathcal{D}_{ab}$9 imposes constancy conditions on the diffeomorphism field, and further consistency conditions drive $\Pi^{a}_{\;bc}$0, so the vanishing Hamiltonian survives in the ADM setting as well.

In the proper-time gauge ($\Pi^{a}_{\;bc}$1, $\Pi^{a}_{\;bc}$2), the system reduces to three equations in $\Pi^{a}_{\;bc}$3, $\Pi^{a}_{\;bc}$4, and $\Pi^{a}_{\;bc}$5, solvable in closed form: the momentum is a $\Pi^{a}_{\;bc}$6-profile solution $\Pi^{a}_{\;bc}$7, with $\Pi^{a}_{\;bc}$8 and $\Pi^{a}_{\;bc}$9 fixed by $\alpha_a$0 and $\alpha_a$1. A notable and somewhat counterintuitive result: the diffeomorphism field determines the conformal factor but only two of its four constants, while the Ricci scalar $\alpha_a$2 depends only on the other two — the diffeomorphism field has no effect on the overall curvature in this gauge.

Dynamical diffeomorphism field in a Minkowski background

With a flat background metric, both the EPA and Einstein–Hilbert actions are trivial in two dimensions, so the theory is entirely the projective Gauss–Bonnet action plus the trace coupling $\alpha_a$3. The Dirac analysis finds a primary constraint $\alpha_a$4 and one secondary constraint $\alpha_a$5, both second class. The secondary constraint eliminates $\alpha_a$6 from the Hamiltonian, revealing a gauge freedom in the $\alpha_a$7 component of the diffeomorphism field. The equations of motion admit traveling-wave solutions for $\alpha_a$8, $\alpha_a$9, and their momenta, subject to either the speed-of-light condition $\mathcal{K}$0 or the dispersion relation

$\mathcal{K}$1

with four undetermined scaling constants. This is the central claim of the paper: the dynamical diffeomorphism field removes the vanishing-Hamiltonian structure that plagued the background-field EPA and supports propagating modes.

The decomposition $\mathcal{K}$2 into traceless and trace parts yields two second-class constraints, including $\mathcal{K}$3. The authors find that imposing $\mathcal{K}$4 on shell forces the full diffeomorphism field to vanish — a result that contradicts the treatment of earlier work [(2603.06995) references], where a Lagrange multiplier was added by hand to avoid this. They therefore retain the full $\mathcal{K}$5 throughout, and recover the same gravitational dispersion relation for the decomposed system. A caveat the paper itself flags: the decomposition is only well-defined because the diffeomorphism field is a piece of a connection and not a tensor; the construction of the tensorial object $\mathcal{K}$6 works for the Minkowski metric where $\mathcal{K}$7, but the general projectively covariant treatment is deferred.

Limitations and open questions

Several limitations are acknowledged or evident. First, the two regimes analyzed — background $\mathcal{K}$8 with dynamical metric, and dynamical $\mathcal{K}$9 with background metric — are never combined; the fully dynamical theory is explicitly left for future work, so the fate of the Weyl anomaly when $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$0 is dynamical remains undetermined. Second, the light-cone quantization relies on cutoffs imported from a different sector of the theory (the Minkowski dispersion relation), and the ordering constant $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$1 in the number-operator expression for $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$2 is undetermined. Third, the ADM analysis assumes asymptotic flatness, precluding a direct two-dimensional cosmological (FRW) reduction. Fourth, the dynamical light-cone metric generates third-order time derivatives in the PGB action, which is why it is abandoned for the dynamical analysis — but this means the light-cone quantization and the dynamical-$$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$3 analysis are not performed in the same gauge. Fifth, the wave solutions contain undetermined scaling constants and an arbitrary $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$4-dependent function $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$5, and the coupling $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$6 has not yet been identified with Newton's constant. Finally, the physical content of the Lagrange multiplier $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$7 in the light-cone gauge is explicitly not investigated.

Conclusion

The paper establishes, via a systematic Dirac analysis in three settings, that the diffeomorphism field of Thomas–Whitehead gravity is a nontrivial modification of the canonical structure of the two-dimensional effective Polyakov action. As a background field it preserves the trace anomaly and the vanishing-Hamiltonian constraints but fully fixes the quantum state of the metric through a $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$8-weighted number operator; in ADM it spoils the pure Lagrange-multiplier role of lapse and shift and produces nontrivial Dirac brackets, though consistency conditions still force the Hamiltonian to vanish on the constraint surface. Promoting $$h^{ab}\frac{\delta F_2}{\delta h^{ab}} = \frac{d-2}{2}\sqrt{h}\,\mathcal{D},$$9 to a dynamical field through the projective Gauss–Bonnet action removes the vanishing Hamiltonian entirely, exposes a gauge freedom in $h^{ab}\delta F/\delta h^{ab} = \tfrac{d}{24\pi}R$0, and yields propagating wave solutions obeying either luminal or dispersive dispersion relations. The principal open problem left by the work is the constraint analysis and quantization of the theory in which both the metric and the diffeomorphism field are dynamical.