pith. sign in

arxiv: 2512.22400 · v2 · submitted 2025-12-26 · 🌀 gr-qc

Canonical description of Pontryagin and Euler classes with a Barbero-Immirzi parameter

Pith reviewed 2026-05-16 18:49 UTC · model grok-4.3

classification 🌀 gr-qc
keywords Pontryagin classEuler classBarbero-Immirzi parametercanonical analysisconstraintsself-dual representationHolst action
0
0 comments X

The pith

Pontryagin and Euler classes with a Barbero-Immirzi parameter admit a full canonical description through Holst-like variables.

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

The paper carries out a canonical analysis of the Pontryagin and Euler topological invariants after they are rewritten to include a Barbero-Immirzi parameter. It determines the complete set of constraints, their algebra, the associated symmetries, the number of physical degrees of freedom, and any reducibility relations among the constraints. The analysis shows that the self-dual representation is recovered when the parameter equals plus or minus the imaginary unit. The invariants are also coupled to the Holst action and the resulting constraint structure is examined.

Core claim

Rewriting the Pontryagin and Euler classes with a set of Holst-like variables that incorporate the Barbero-Immirzi parameter yields a closed constraint algebra whose first-class and second-class constraints, together with identified reducibility conditions, produce a definite count of physical degrees of freedom; the structure reduces exactly to the self-dual representation when the parameter takes the values plus or minus i.

What carries the argument

The rewriting of the topological invariants as Holst-like variables that introduce the Barbero-Immirzi parameter.

If this is right

  • The identified reducibility conditions reduce the effective number of independent constraints.
  • The constraint structure remains consistent when the invariants are added to the Holst action.
  • The self-dual limit emerges automatically for imaginary values of the Barbero-Immirzi parameter.
  • The full set of symmetries can be used to construct gauge-invariant observables.

Where Pith is reading between the lines

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

  • The same rewriting technique could be applied to other topological terms that appear in modified gravity actions.
  • The constraint counting provides a template for checking consistency in related first-order formulations of gravity.
  • Simple lattice or numerical discretizations of the theory could test whether the reported reducibility holds beyond the continuum.

Load-bearing premise

The rewriting of the invariants via Holst-like variables is assumed to preserve every essential feature of the original Pontryagin and Euler classes without adding or removing information.

What would settle it

An explicit computation of the Poisson brackets among the constraints that fails to close according to the reported algebra, or a direct count of degrees of freedom that differs from the value obtained after accounting for reducibility.

read the original abstract

A detailed canonical analysis for Pontryagin and Euler classes with a Barbero-Immirzi [BI] parameter is developed. We rewrite the topological invariants by introducing a set of Holst-like variables, and then study the set of all constraints. We report the complete canonical structure and the symmetries of the theory; we count the physical degrees of freedom and identify reducibility conditions among the constraints. In addition, in our results, if we consider the $BI$ parameter takes the value of $\gamma = \pm i $, then the self-dual representation of these invariants is reproduced. Finally, we couple the invariants to the Holst action and explore the canonical analysis.

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.

Referee Report

2 major / 1 minor

Summary. The manuscript develops a canonical analysis of the Pontryagin and Euler topological invariants in the presence of the Barbero-Immirzi parameter γ. The authors rewrite these invariants using a set of Holst-like variables, perform a complete constraint analysis, determine the symmetries of the theory, count the physical degrees of freedom, and identify reducibility conditions. They recover the self-dual representation for γ = ±i and extend the analysis by coupling the invariants to the Holst action.

Significance. If the central claims hold, the work supplies a unified canonical treatment of topological terms with the BI parameter, which is relevant to loop quantum gravity and other approaches where γ appears in the symplectic structure. The recovery of the self-dual case provides a useful consistency check, and the coupling to the Holst action opens the door to broader applications in modified gravity. The significance hinges on whether the rewritten constraints truly reproduce the original first-class algebra and reducibility relations.

major comments (2)
  1. [Constraint analysis and canonical structure] The load-bearing step is the claim that the Holst-like rewriting preserves the symplectic structure and constraint algebra of the original Pontryagin/Euler densities. The manuscript must supply the explicit Poisson brackets among the new curvature and connection variables (including the BI term) to confirm that no additional second-class constraints appear and that the algebra closes identically to the known topological case. Without this verification the reported DOF count and reducibility conditions cannot be accepted as intrinsic to the invariants.
  2. [Coupling to the Holst action] In the section on coupling to the Holst action, the interaction between the topological constraints and the additional Holst constraints must be shown to preserve the first-class nature of the full set; any new reducibility relations or changes in the constraint surface induced by the BI parameter need explicit computation.
minor comments (1)
  1. [Abstract] The abstract states that the self-dual representation is reproduced for γ = ±i but does not indicate whether this limit is taken before or after the constraint analysis; a brief clarifying sentence would help readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and insightful comments on our manuscript. We address each major comment below and outline the revisions we plan to make to strengthen the presentation of our results.

read point-by-point responses
  1. Referee: The load-bearing step is the claim that the Holst-like rewriting preserves the symplectic structure and constraint algebra of the original Pontryagin/Euler densities. The manuscript must supply the explicit Poisson brackets among the new curvature and connection variables (including the BI term) to confirm that no additional second-class constraints appear and that the algebra closes identically to the known topological case. Without this verification the reported DOF count and reducibility conditions cannot be accepted as intrinsic to the invariants.

    Authors: We agree with the referee that an explicit verification of the Poisson brackets is essential to rigorously establish the preservation of the canonical structure. While our analysis in the manuscript is based on the Holst-like variables and we have determined the constraints and their algebra, we acknowledge that the explicit Poisson bracket computations were not presented in sufficient detail. In the revised manuscript, we will include these calculations, showing that the brackets among the new variables reproduce the expected structure without introducing additional second-class constraints, and that the algebra closes in the same manner as the standard case. This will substantiate the degrees of freedom count and the identified reducibility conditions. revision: yes

  2. Referee: In the section on coupling to the Holst action, the interaction between the topological constraints and the additional Holst constraints must be shown to preserve the first-class nature of the full set; any new reducibility relations or changes in the constraint surface induced by the BI parameter need explicit computation.

    Authors: We concur that demonstrating the first-class nature of the combined constraint set is critical. In the original manuscript, we performed the canonical analysis for the coupled system, but we will enhance this section by providing the explicit Poisson brackets between the topological constraints and the Holst constraints. This will explicitly show that the full set remains first-class, with no new second-class constraints arising, and we will detail any reducibility relations, including those influenced by the Barbero-Immirzi parameter. These additions will clarify the structure of the constraint surface. revision: yes

Circularity Check

0 steps flagged

Minor self-citation present; central derivation remains independent of inputs

full rationale

The paper rewrites Pontryagin and Euler classes using Holst-like variables incorporating the BI parameter, then applies standard canonical analysis to obtain the constraint structure, symmetries, degrees of freedom, and reducibility conditions. These steps follow directly from the definitions of the invariants and the Poisson bracket algebra on the new variables. No step reduces a prediction or final count to a fitted parameter or self-referential definition by construction. Any self-citations (e.g., on Holst variables or prior canonical methods) are not load-bearing for the reported results, which are derived explicitly in the present work. The analysis is self-contained against the original topological densities.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The work rests on the standard Hamiltonian formulation of general relativity, the definition of the Holst action, and the topological character of the Pontryagin and Euler densities; no new free parameters are fitted and no new entities are postulated.

free parameters (1)
  • Barbero-Immirzi parameter γ
    Treated as an input parameter whose specific values (including imaginary) are explored; not determined by fitting within the paper.
axioms (2)
  • domain assumption The Holst-like variables can be introduced without altering the topological content of the invariants
    Invoked when rewriting the Pontryagin and Euler classes at the start of the canonical analysis.
  • standard math Standard Poisson-bracket algebra and constraint classification apply to the extended system
    Used throughout the counting of degrees of freedom and identification of reducibility conditions.

pith-pipeline@v0.9.0 · 5439 in / 1419 out tokens · 56730 ms · 2026-05-16T18:49:48.216392+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · 1 internal anchor

  1. [1]

    Thiemann, Modern Canonical Quantum General Relativity, Cambridge University Press, Cambridge, 2007

    Rovelli, Quantum Gravity, Cambridge University Press, Cambridge, 2004; T. Thiemann, Modern Canonical Quantum General Relativity, Cambridge University Press, Cambridge, 2007

  2. [2]

    Jimenez, and A

    D. Jimenez, and A. Perez, Phys. Rev. D 79, 064026, (2009)

  3. [3]

    Comp´ ean, O

    H.G. Comp´ ean, O. Obreg´ on, C. Ram´ ırez, M. Sabido, J. Phys. Conf. Ser. 24 (2005) 203–212

  4. [4]

    Witten, Comm

    E. Witten, Comm. Math. Phys. 121 (3) (1989) 351–399; E. Witten, Comm. Math. Phys. 117 (1988) 353–386; E. Witten, Comm. Math. Phys. 118 (1988) 411-449

  5. [5]

    Ashtekar, A.: Phys. Rev. Lett. 77, 3288 (1986)

  6. [6]

    Ashtekar, A.: Phys. Rev. D 36, 1587 (1987)

  7. [7]

    World Scientific, Singapore (1991)

    Ashtekar, A.: Lectures on Non-Perturbative Canonical Gravity. World Scientific, Singapore (1991)

  8. [8]

    Samuel, J.: Pramana J. Phys. 28, L429 (1987)

  9. [9]

    Quantum Gravity 5, 583 (1988)

    Jacobson, T., Smolin, L.: Class. Quantum Gravity 5, 583 (1988)

  10. [10]

    Quantum Gravity 8, 41 (1991)

    Capovilla, R., Dell, J., Jacobson, T., Manson, L.: Class. Quantum Gravity 8, 41 (1991)

  11. [11]

    Ashtekar, A., Romano, J.D., Tale, R.S.: Phys. Rev. D 40, 2572 (1989)

  12. [12]

    Quantum Gravity 13, 2933–2940 (1996)

    Morales-Tecotl, H.A., Urrutia, L.F., Vergara, J.D.: Class. Quantum Gravity 13, 2933–2940 (1996)

  13. [13]

    Montesinos, Class.Quant.Grav

    M. Montesinos, Class.Quant.Grav. 18 (2001) 1847-1852

  14. [14]

    Immirzi, Nucl.Phys.Proc.Suppl

    G. Immirzi, Nucl.Phys.Proc.Suppl. 57 (1997) 65-72

  15. [15]

    Holst, S.: Phys. Rev. D 53, 5966 (1996). 10

  16. [16]

    Fernando Barbero, Phys

    J. Fernando Barbero, Phys. Rev. D 51, 5507

  17. [17]

    Ashtekar, J

    A. Ashtekar, J. Baez A. Corichi, and K. Krasnov, Phys. Rev. Lett. 80, 904

  18. [18]

    Chand´ ıa, J

    O. Chand´ ıa, J. Zanelli, AIP Conf. Proc. 419 (1998) 251. http://dx.doi.org/10.1063/1.54694

  19. [19]

    A Relation Between Topological Quantum Field Theory and the Kodama State

    A. Escalante, Phys. Lett. B 676 (2009) 105–111; I. Oda, arXiv:hep-th/0311149

  20. [20]

    Escalante, L

    A. Escalante, L. Carbajal, Ann. Physics 326 (2011) 323–339

  21. [21]

    Escalante and C

    A. Escalante and C. Medel-Portugal, Annals Phys. 391 (2018) 27–46

  22. [22]

    Escalante and E

    A. Escalante and E. Su´ arez-Polo,The characteristic equations of Pontryagin and Euler invariants with an arbitrary Barbero-Immirzi parameter, in progress, (2026)