INSTITUTE OF PHYSICS PUBLISHING CLASSICAL AND QUANTUM GRAVITY Class. Quantum Grav. 21 (2004) 5915–5947 PII: S0264-9381(04)82165-8 Exact Bianchi identity in Regge gravity Herbert W Hamber and Geoff Kagel Department of Physics and Astronomy, University of California, Irvine, CA 92697-4575, USA E-mail:
[email protected] and
[email protected] Received 10 June 2004, in final form 18 October 2004 Published 29 November 2004 Online at stacks.iop.org/CQG/21/5915 doi:10.1088/0264-9381/21/24/013 Abstract In the continuum the Bianchi identity implies a relationship between different components of the curvature tensor, thus ensuring the internal consistency of the gravitational field equations. In this paper the exact form for the Bianchi identity in Regge’s discrete formulation of gravity is derived, by considering appropriate products of rotation matrices constructed around null-homotopic paths. The discrete Bianchi identity implies an algebraic relationship between deficit angles belonging to neighbouring hinges. As in the continuum, the derived identity is valid for arbitrarily curved manifolds without a restriction to the weak field small curvature limit, but is in general not linear in the curvatures. PACS numbers: 04.20.−q, 04.60.−m, 04.60.Nc, 04.60.Gw 1. Introduction In this paper we investigate the form of the Bianchi identities in Regge’s [1] lattice formulation of gravity [2–10]. The Bianchi identities play an important role in the continuum formulation of gravity, both classical and quantum-mechanical, giving rise to a differential relationship between different components of the curvature tensor. It is known that these simply follow from the definition of the Riemann tensor in terms of the affine connection and the metric components, and help ensure the consistency of the gravitational field equations in the presence of matter.