arxiv: 2604.16990 · v1 · submitted 2026-04-18 · 🌀 gr-qc

Recognition: unknown

A note on complete gauge-fixing and the constraint algebra

Ganga Singh Manchanda

Authors on Pith no claims yet

Pith reviewed 2026-05-10 06:38 UTC · model grok-4.3

classification 🌀 gr-qc

keywords gauge-fixingconstraint algebraSchur complementfirst-class constraintssecond-class constraintsadmissibilitygeneral relativitymodified gravity

0 comments

The pith

The determinant of the combined constraint matrix factorizes as det M ≈ ±(det Δ)^2 det C, decoupling the gauge-fixing sector from second-class constraints.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the admissibility of a gauge-fixing condition is governed solely by the invertibility of the matrix Δ formed from its brackets with the first-class constraints. This separation occurs because the determinant of the full matrix of all Poisson brackets among constraints and gauge conditions factors cleanly into the square of det Δ times the determinant of the second-class block. A reader would care because the result shows that second-class constraints, which are already fixed by the theory, never interfere with the choice of gauge. The factorization also equates a Hamiltonian criterion for admissibility with a Lagrangian completeness criterion and confirms that the separation holds when second-class constraints arise from modifications to gravity.

Core claim

We prove, via the Schur complement, that the determinant of the combined constraint matrix M built from all constraints and gauge-fixing conditions factorises as det M ≈ ±(det Δ)^2 det C, where C is the second-class constraint matrix. Since det C ≠ 0 by definition, the second-class sector decouples entirely from the gauge-fixing sector. In the algebraic case, this factorisation identifies the Hamiltonian admissibility criterion of Henneaux and Teitelboim with the Lagrangian completeness criterion of Motohashi, Suyama, and Takahashi. We identify a metric ansatz as gauge-fixing at the action level and analyse completeness in the context of spherically symmetric spacetime. The factorisation 4.5

What carries the argument

The Schur complement of the block matrix M formed by Poisson brackets among first-class constraints, second-class constraints, and gauge-fixing conditions.

If this is right

Admissibility of any gauge-fixing reduces exactly to the condition that det Δ is nonzero.
The Hamiltonian admissibility criterion is identical to the Lagrangian completeness criterion.
Gauge-fixing completeness remains valid when second-class constraints appear in modified gravity theories.
A metric ansatz used as gauge-fixing in spherically symmetric spacetime satisfies the completeness condition by the factorization.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The separation allows one to select and verify gauge conditions without recomputing the entire constraint algebra each time second-class terms are modified.
The same block decomposition and Schur argument could be applied to check completeness in other symmetric spacetimes or in theories with additional constraints.
Explicit numerical checks of the factorization in a scalar-tensor or f(R) model would confirm that the decoupling persists beyond the algebraic case treated here.

Load-bearing premise

The combined constraint matrix admits a block structure that lets the Schur complement be applied directly, with second-class constraints independent of the chosen gauge-fixing conditions.

What would settle it

Perform an explicit computation of det M in a modified gravity theory that introduces second-class constraints, apply a concrete gauge-fixing, and check whether the determinant equals ±(det Δ)^2 det C; any failure of this equality would falsify the claimed factorization.

read the original abstract

The admissibility of a gauge-fixing is governed by the invertibility of $\Delta=\{\sigma^a,\gamma_b\}$ where $\sigma^a$ are gauge-fixing conditions and $\gamma_b$ are independent first-class constraints. We prove, via the Schur complement, that the determinant of the combined constraint matrix $\mathcal{M}=\{\Phi_A, \Phi_B\}$ built from all constraints and gauge-fixing conditions factorises as $\det\mathcal{M}\approx\pm(\det\Delta)^2\det C$, where $C$ is the second-class constraint matrix, providing an alternative criterion for admissibility. Since $\det C\neq0$ by definition, the second-class sector decouples entirely from the gauge-fixing sector. In the algebraic case, this factorisation identifies the Hamiltonian admissibility criterion of Henneaux and Teitelboim with the Lagrangian completeness criterion of Motohashi, Suyama, and Takahashi. We identify a metric ansatz as gauge-fixing at the action level and analyse completeness in the context of spherically symmetric spacetime. The factorisation ensures that completeness is robust to the second-class sector that arises in modified theories of gravity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The Schur complement gives a clean factorization showing second-class constraints drop out of gauge-fixing admissibility and equates two existing criteria, but the block structure needs explicit checks.

read the letter

The main point is that the determinant of the full constraint matrix factors as det M ≈ ±(det Δ)^2 det C via the Schur complement. Because det C is nonzero by definition, the second-class sector decouples from whether a gauge fixing is admissible. The same factorization also shows that the Henneaux-Teitelboim Hamiltonian criterion matches the Motohashi-Suyama-Takahashi Lagrangian one when the constraints are algebraic. The paper then treats a metric ansatz as a gauge fixing and applies the test to spherically symmetric modified gravity models. This is a straightforward technical observation that uses only the standard definition of first- and second-class constraints and the usual block-matrix identity. It supplies a direct reason why completeness checks remain robust even when modified theories introduce extra second-class constraints. The algebra itself is not complicated once the blocks are written down. The soft spot is the assumption that the combined matrix really has the required block form with no interfering cross brackets between the second-class constraints and the chosen gauge fixings. The abstract states the result for general modified gravity but does not display the explicit matrix entries or verify that the metric ansatz leaves the second-class Poisson brackets untouched. If those brackets produce extra terms, the clean factorization would need correction factors. A single worked example with the full matrix would remove the doubt. This note is for people already working with constrained Hamiltonian systems in gravity. A reader who has to verify gauge-fixing admissibility in a new model could use the factorization as a shortcut instead of recomputing the full determinant each time. It is not a large result, but the unification of the two criteria is useful for that audience. I would send it to peer review. The central claim is modest and the method is standard, yet the decoupling statement and the link between the two criteria are worth a careful check by referees who know the literature.

Referee Report

1 major / 1 minor

Summary. The manuscript claims that the determinant of the combined constraint matrix M={Φ_A, Φ_B} factorizes via the Schur complement as det M ≈ ±(det Δ)^2 det C, where Δ={σ^a, γ_b} governs gauge-fixing admissibility and C is the second-class constraint matrix. This factorization is said to imply complete decoupling of the second-class sector, provide an alternative admissibility criterion, equate the Henneaux-Teitelboim Hamiltonian criterion with the Motohashi-Suyama-Takahashi Lagrangian completeness criterion in the algebraic case, and ensure robustness of completeness under a metric ansatz identified as gauge-fixing in spherically symmetric modified gravity.

Significance. If the factorization is valid, the result supplies a clean algebraic tool for verifying gauge-fixing admissibility that is insensitive to second-class constraints, which frequently appear in modified gravity. The explicit link between Hamiltonian and Lagrangian completeness criteria is a useful clarification for constrained systems, and the decoupling statement could simplify consistency checks when second-class sectors arise from the theory's structure.

major comments (1)

[Abstract] Abstract: The Schur-complement factorization requires that M admits a block partitioning in which the second-class submatrix C is independent of the gauge-fixing conditions (i.e., the Poisson brackets {second-class constraints, σ^a} and {second-class, first-class} produce no residual cross terms that would spoil the clean (det Δ)^2 factor). The manuscript does not display the explicit block form of M nor verify that this independence holds for the chosen ordering of Φ_A, Φ_B, especially under the metric ansatz in spherical symmetry.

minor comments (1)

The symbol ≈ in the factorization statement should be replaced by an explicit equality or accompanied by a precise statement of the conditions (e.g., on-shell or up to terms that vanish on the constraint surface) under which it holds.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comment. We address the point directly below and have revised the manuscript to improve clarity on the block structure and its verification.

read point-by-point responses

Referee: [Abstract] Abstract: The Schur-complement factorization requires that M admits a block partitioning in which the second-class submatrix C is independent of the gauge-fixing conditions (i.e., the Poisson brackets {second-class constraints, σ^a} and {second-class, first-class} produce no residual cross terms that would spoil the clean (det Δ)^2 factor). The manuscript does not display the explicit block form of M nor verify that this independence holds for the chosen ordering of Φ_A, Φ_B, especially under the metric ansatz in spherical symmetry.

Authors: We thank the referee for this observation. We agree that an explicit display of the block partitioning of the combined constraint matrix M would strengthen the presentation. In the revised manuscript we now include the explicit block form, with constraints ordered so that the second-class sector occupies the C block and the first-class plus gauge-fixing sector occupies the Δ block. With this ordering the cross brackets {second-class constraints, σ^a} and {second-class, first-class} are either zero or enter only through the Schur complement taken with respect to C; they therefore do not spoil the factorization det M ≈ ±(det Δ)^2 det C. We have added a short verification subsection for the spherically symmetric metric ansatz, confirming that the same block independence holds and that the second-class sector arising in the modified-gravity model remains decoupled from the gauge-fixing admissibility condition. These changes make the algebraic steps fully transparent while leaving the original claims unchanged. revision: yes

Circularity Check

0 steps flagged

No circularity; standard Schur complement identity applied to constraint matrix

full rationale

The derivation applies the Schur complement theorem to the Poisson-bracket matrix M = {Φ_A, Φ_B} under an explicit block partitioning into first-class, second-class, and gauge-fixing sectors. The claimed factorization det M ≈ ±(det Δ)^2 det C is the direct algebraic consequence of that partitioning together with the definition that the second-class submatrix C is invertible; no parameter is fitted, no input is redefined as output, and no load-bearing step reduces to a self-citation or ansatz smuggled from prior work by the same authors. The equivalence between Hamiltonian and Lagrangian admissibility criteria is obtained by matching the resulting invertibility condition on Δ, which is independent of the present paper's construction. The argument is therefore self-contained against the standard definitions of constraint classes and the linear-algebra identity invoked.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard properties of Poisson brackets and linear algebra without introducing new free parameters or postulated entities.

axioms (2)

standard math The Schur complement formula for the determinant of a block matrix applies to the combined constraint matrix M.
Central step in deriving the factorization det M ≈ ±(det Δ)^2 det C.
domain assumption Constraints are classified as first-class or second-class according to the standard Dirac procedure, with det C ≠ 0 for the second-class sector.
Invoked to conclude that the second-class sector decouples from gauge-fixing admissibility.

pith-pipeline@v0.9.0 · 5497 in / 1428 out tokens · 48847 ms · 2026-05-10T06:38:21.525264+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 2 canonical work pages

[1]

Henneaux and C

M. Henneaux and C. Teitelboim,Quantization of Gauge Systems(Princeton University Press, Princeton, 1992)

1992
[2]

Motohashi, T

H. Motohashi, T. Suyama, and K. Takahashi, “Fundamen- tal theorem on gauge fixing at the action level”,Phys. Rev. D94, 124021 (2016), [arXiv:1608.00071 [gr-qc]]

work page arXiv 2016
[3]

P. A. M. Dirac,Lectures on Quantum Mechanics(Yeshiva University, New York, 1964)

1964
[4]

Quantization of non-Abelian gauge theo- ries

V. N. Gribov, “Quantization of non-Abelian gauge theo- ries”,Nucl. Phys. B139, 1–19 (1978)

1978
[5]

An identity for the Schur complement of a matrix

D. E. Crabtree and E. V. Haynsworth, “An identity for the Schur complement of a matrix”,Proc. Amer. Math. Soc.22, 364–366 (1969)

1969
[6]

The principle of symmetric criticality

R. S. Palais, “The principle of symmetric criticality”, Commun. Math. Phys.69, 19 (1979)

1979
[7]

Second-order scalar-tensor field equa- tions in a four-dimensional space

G. W. Horndeski, “Second-order scalar-tensor field equa- tions in a four-dimensional space”,Int. J. Theor. Phys. 10, 363–384 (1974)

1974
[8]

de Rham, G

C. de Rham, G. Gabadadze, and A. J. Tolley, “Resum- mation of Massive Gravity”,Phys. Rev. Lett.106, 231101 (2011), [arXiv:1011.1232 [hep-th]]

work page arXiv 2011
[9]

On the validity of Dirac’s conjecture regard- ing first-class secondary constraints

M. J. Gotay, “On the validity of Dirac’s conjecture regard- ing first-class secondary constraints”,J. Phys. A: Math. Gen.16, L141 (1983)

1983