Showing 1–29 of 29 results for author: Salisbury, D

An Intrinsic Coordinate Reference Frame Procedure I: Tensorial Canonical Weyl Scalars

Authors: Cooper Watson, William Julius, Patrick Brown, Donald Salisbury, Gerald Cleaver

Abstract: Canonical quantization of gravity in general relativity is greatly simplified by the artificial decomposition of space and time into a 3+1 formalism. Such a simplification may appear to come at the cost of general covariance. This requires tangential and perpendicular infinitesimal diffeomorphisms generated by the symmetry group under the Legendre transformation of the given action. This gauge gen… ▽ More Canonical quantization of gravity in general relativity is greatly simplified by the artificial decomposition of space and time into a 3+1 formalism. Such a simplification may appear to come at the cost of general covariance. This requires tangential and perpendicular infinitesimal diffeomorphisms generated by the symmetry group under the Legendre transformation of the given action. This gauge generator, along with the fact that Weyl curvature scalars may act as ``intrinsic coordinates" (or a dynamical reference frame) which depend only on the spatial metric $g_{ab}$ and the conjugate momenta $p^{cd}$, allow for an alternative approach to canonical quantization of gravity. In this paper we present the tensorial solution of the set of Weyl scalars in terms of canonical phase-space variables. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Diffeomorphism covariance of the canonical Barbero-Immirzi-Holst triad theory

Authors: Donald Salisbury

Abstract: The vanishing phase space generator of the full four-dimensional diffeomorphism-related symmetry group in the context of the Barbero-Immirzi-Holst Lagrangian is derived directly for the first time from Noether's second theorem. Its applicability in the construction of classical diffeomorphism invariants is reviewed. The vanishing phase space generator of the full four-dimensional diffeomorphism-related symmetry group in the context of the Barbero-Immirzi-Holst Lagrangian is derived directly for the first time from Noether's second theorem. Its applicability in the construction of classical diffeomorphism invariants is reviewed. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: 11 pages, invited contribution to "Recent Advances in Gravity: A Themed Issue in Honor of Prof. Jorge Pullin on His 60th Anniversary"

A new approach to classical Einstein-Yang-Mills Theory

Authors: Donald Salisbury

Abstract: The conventional Rosenfeld-Bergmann-Dirac constrained Hamiltonian algorithm applied to Einstein-Yang-Mills theory is shown to be equivalent to a local gauge theoretic extension of Cartan's invariant integral approach to classical mechanics. In addition, the Hamiltonian generators of Legendre-projectable spacetime diffeomorphism and gauge symmetries are derived directly as vanishing Noether charges… ▽ More The conventional Rosenfeld-Bergmann-Dirac constrained Hamiltonian algorithm applied to Einstein-Yang-Mills theory is shown to be equivalent to a local gauge theoretic extension of Cartan's invariant integral approach to classical mechanics. In addition, the Hamiltonian generators of Legendre-projectable spacetime diffeomorphism and gauge symmetries are derived directly as vanishing Noether charges. This leads directly to their interpretation as delivering the correct symmetry variations of both configuration and momentum feld variables. △ Less

Submitted 23 October, 2022; originally announced October 2022.

Comments: To be published in Particles, Fields and Topology: Celebrating A.P. Balachandran, a Festschrift volume for A.P. Balachandran

Observables and Hamilton-Jacobi approaches to general relativity. I. The Earlier History

Authors: Donald Salisbury

Abstract: The main focus is on the Hamilton-Jacobi techniques in classical general relativity that were pursued by Peter Bergmann and Arthur Komar in the 1960's and 1970's. They placed special emphasis on the ability to construct the factor group of canonical transformations, where the four-dimensional diffeomorphism phase space transformations were factored out. Equivalence classes were identified by a set… ▽ More The main focus is on the Hamilton-Jacobi techniques in classical general relativity that were pursued by Peter Bergmann and Arthur Komar in the 1960's and 1970's. They placed special emphasis on the ability to construct the factor group of canonical transformations, where the four-dimensional diffeomorphism phase space transformations were factored out. Equivalence classes were identified by a set of phase space functions that were invariant under the action of the four-dimensional diffeomorphism group. This is contrasted and compared with approaches of Paul Weiss, Julian Schwinger, Richard Arnowitt, Stanley Deser, Charles Misner, Karel Kuchar - and especially the geometrodynamical program of John Wheeler and Bryce DeWitt where diffeomorphism symmetry is replaced by a notion of multifingered time. The origins of all of these approaches are traced to Elie Cartan's invariant integral formulation of classical dynamics. A related correspondence concerning the thin sandwich dispute is also documented. △ Less

Submitted 22 June, 2021; originally announced June 2021.

Comments: 53 pages

In Memoriam: Joshua N. Goldberg

Authors: Donald Salisbury

Abstract: This is a short memoriam celebrating the life and work of the general relativist Joshua N. Goldberg, who passed away in October, 2020. This is a short memoriam celebrating the life and work of the general relativist Joshua N. Goldberg, who passed away in October, 2020. △ Less

Submitted 20 June, 2021; originally announced June 2021.

Comments: 5 pages, to appear in the Spring 2021 Newsletter of the APS Forum on the History and Philosophy of Physics

A contextual analysis of the early work of Andrzej Trautman and Ivor Robinson on equations of motion and gravitational radiation

Authors: Donald Salisbury

Abstract: In a series of papers published in the course of his dissertation work in the mid 1950's, Andrzej Trautman drew upon the slow motion approximation developed by his advisor Infeld, the general covariance based strong conservation laws enunciated by Bergmann and Goldberg, the Riemann tensor attributes explored by Goldberg and related geodesic deviation exploited by Pirani, the permissible metric dis… ▽ More In a series of papers published in the course of his dissertation work in the mid 1950's, Andrzej Trautman drew upon the slow motion approximation developed by his advisor Infeld, the general covariance based strong conservation laws enunciated by Bergmann and Goldberg, the Riemann tensor attributes explored by Goldberg and related geodesic deviation exploited by Pirani, the permissible metric discontinuities identified by Lichnerowicz, O'Brien and Synge, and finally Petrov's classification of vacuum spacetimes. With several significant additions he produced a comprehensive overview of the state of research in equations of motion and gravitational waves that was presented in a widely cited series of lectures at King's College, London, in 1958. Fundamental new contributions were the formulation of boundary conditions representing outgoing gravitational radiation the deduction of its Petrov type, a covariant expression for null wave fronts, and a derivation of the correct mass loss formula due to radiation emission. Ivor Robinson had already in 1956 developed a bi-vector based technique that had resulted in his rediscovery of exact plane gravitational wave solutions of Einstein's equations. He was the first to characterize shear-free null geodesic congruences. He and Trautman met in London in 1958, and there resulted a long-term collaboration whose initial fruits were the Robinson-Trautman metric, examples of which were exact spherical gravitational waves. △ Less

Submitted 8 October, 2019; originally announced October 2019.

Comments: 45 pages

Memories of my early career in relativity physics

Authors: Andrzej Trautman, Donald Salisbury

Abstract: The text presented here and revised by the authors is based on the original oral history interview by Donald Salisbury with Andrzej Trautman recorded in Warsaw on June 24 and June 28, 2016. The text presented here and revised by the authors is based on the original oral history interview by Donald Salisbury with Andrzej Trautman recorded in Warsaw on June 24 and June 28, 2016. △ Less

Submitted 26 September, 2019; originally announced September 2019.

Comments: 25 pages, 5 figures, to appear in European Physical Journal H

Toward a quantum theory of gravity: Syracuse 1949-1962

Authors: Donald Salisbury

Abstract: Peter Bergmann and his students embarked in 1949 on a mainly canonical quantization program whose aim was to take into account the underlying four-dimensional diffeomorphism symmetry in the transition from a Lagrangian to a Hamiltonian formulation of Einstein's theory. They argued that even though one seemed to destroy the full covariance through the focus on a temporal foliation of spacetime, thi… ▽ More Peter Bergmann and his students embarked in 1949 on a mainly canonical quantization program whose aim was to take into account the underlying four-dimensional diffeomorphism symmetry in the transition from a Lagrangian to a Hamiltonian formulation of Einstein's theory. They argued that even though one seemed to destroy the full covariance through the focus on a temporal foliation of spacetime, this loss was illusory. Early on they convinced themselves that only the construction of classical invariants could adequately reflect the fully relativistic absence of physical meaning of spacetime coordinates. Efforts were made by Bergmann students Newman and Janis to construct these classical invariants. Then in the late 1950's Bergmann and Komar proposed a comprehensive program in which classical invariants could be constructed using the spacetime geometry itself to fix intrinsic spacetime landmarks. At roughly the same time Dirac formulated a new criterion for identifying initial phase space variables, one of whose consequences was that Bergmann himself abandoned the gravitational lapse and shift as canonical variables. Furthermore, Bergmann in 1962 interpreted the Dirac formalism as altering the very nature of diffeomorphism symmetry. One class of infinitesimal diffeomorphism was to be understood as depending on the perpendicular to the given temporal foliation. Thus even within the Bergmann school program the preservation of the full four-dimensional symmetry in the Hamiltonian program became problematic. Indeed, the ADM and associated Wheeler-DeWitt program that gained and has retained prominence since this time abandoned the full symmetry. There do remain dissenters - raising the question whether the field of quantum gravity has witnessed a Renaissance in the ensuing decades - or might the full four-dimensional symmetry yet be reborn? △ Less

Submitted 23 December, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: 34 pages, minor typos corrected. Version appearing in 2020 Einstein Studies volume entitled The Renaissance of General Relativity edited by Alexander Blum, Roberto Lalli, and Jürgen Renn, pp. 221 - 255, ISSN 978-3-030-50754-1

Léon Rosenfeld's general theory of constrained Hamiltonian dynamics

Authors: Donald Salisbury, Kurt Sundermeyer

Abstract: This commentary reflects on the 1930 discoveries of Léon Rosenfeld in the domain of phase-space constraints. We start with a short biography of Rosenfeld and his motivation for this article in the context of ideas pursued by W. Pauli, F. Klein, E. Noether. We then comment on Rosenfeld's General Theory dealing with symmetries and constraints, symmetry generators, conservation laws and the construct… ▽ More This commentary reflects on the 1930 discoveries of Léon Rosenfeld in the domain of phase-space constraints. We start with a short biography of Rosenfeld and his motivation for this article in the context of ideas pursued by W. Pauli, F. Klein, E. Noether. We then comment on Rosenfeld's General Theory dealing with symmetries and constraints, symmetry generators, conservation laws and the construction of a Hamiltonian in the case of phase-space constraints. It is remarkable that he was able to derive expressions for all phase space symmetry generators without making explicit reference to the generator of time evolution. In his Applications, Rosenfeld treated the general relativistic example of Einstein-Maxwell-Dirac theory. We show, that although Rosenfeld refrained from fully applying his general findings to this example, he could have obtained the Hamiltonian. Many of Rosenfeld's discoveries were re-developed or re-discovered by others two decades later, yet as we show there remain additional firsts that are still not recognized in the community. △ Less

Submitted 10 December, 2016; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 61 pages. Commentary on Rosenfeld's "Zur Quantelung der Wellenfelder", Ann. Phys. 5, 113 (1930). A translation into English by us will appear in European Physical Journal H. This commentary will also appear in EPJH. Revision contains more elementary examples, an appendix with an overview of constrained Hamiltonian dynamics, additional references, and corrections of typos

Restoration of four-dimensional diffeomorphism covariance in canonical general relativity: An intrinsic Hamilton-Jacobi approach

Authors: Donald Salisbury, Jürgen Renn, Kurt Sundermeyer

Abstract: Classical background independence is reflected in Lagrangian general relativity through covariance under the full diffeomorphism group. We show how this independence can be maintained in a Hamilton-Jacobi approach that does not accord special privilege to any geometric structure. Intrinsic spacetime curvature based coordinates grant equal status to all geometric backgrounds. They play an essential… ▽ More Classical background independence is reflected in Lagrangian general relativity through covariance under the full diffeomorphism group. We show how this independence can be maintained in a Hamilton-Jacobi approach that does not accord special privilege to any geometric structure. Intrinsic spacetime curvature based coordinates grant equal status to all geometric backgrounds. They play an essential role as a starting point for inequivalent semi-classical quantizations. The scheme calls into question Wheeler's geometrodynamical approach and the associated Wheeler-DeWitt equation in which three-metrics are featured geometrical objects. The formalism deals with variables that are manifestly invariant under the full diffeomorphism group. Yet, perhaps paradoxically, the liberty in selecting intrinsic coordinates is precisely as broad as is the original diffeomorphism freedom. We show how various ideas from the past five decades concerning the true degrees of freedom of general relativity can be interpreted in light of this new constrained Hamiltonian description. In particular, we show how the Kuchař multi-fingered time approach can be understood as a means of introducing full four-dimensional diffeomorphism invariants. Every choice of new phase space variables yields new Einstein-Hamilton-Jacobi constraining relations, and corresponding intrinsic Schrödinger equations. We show how to implement this freedom by canonical transformation of the intrinsic Hamiltonian. We also reinterpret and rectify significant work by B. Dittrich on the construction of `Dirac observables'. △ Less

Submitted 20 June, 2021; v1 submitted 6 August, 2015; originally announced August 2015.

Comments: 28 pages, some errors in the published version corrected

Journal ref: International Journal of Modern Physics A, Vol. 31, Issue 6, p. 1650014-1 (2016)

Observables in classical canonical gravity: folklore demystified

Authors: J. M. Pons, D. C. Salisbury, K. A. Sundermeyer

Abstract: We give an overview of some conceptual difficulties, sometimes called paradoxes, that have puzzled for years the physical interpetation of classical canonical gravity and, by extension, the canonical formulation of generally covariant theories. We identify these difficulties as stemming form some terminological misunderstandings as to what is meant by "gauge invariance", or what is understood cl… ▽ More We give an overview of some conceptual difficulties, sometimes called paradoxes, that have puzzled for years the physical interpetation of classical canonical gravity and, by extension, the canonical formulation of generally covariant theories. We identify these difficulties as stemming form some terminological misunderstandings as to what is meant by "gauge invariance", or what is understood classically by a "physical state". We make a thorough analysis of the issue and show that all purported paradoxes disappear when the right terminology is in place. Since this issue is connected with the search of observables - gauge invariant quantities - for these theories, we formally show that time evolving observables can be constructed for every observer. This construction relies on the fixation of the gauge freedom of diffeomorphism invariance by means of a scalar coordinatization. We stress the condition that the coordinatization must be made with scalars. As an example of our method for obtaining observables we discuss the case of the massive particle in AdS spacetime. △ Less

Submitted 12 May, 2010; v1 submitted 15 January, 2010; originally announced January 2010.

Comments: 15 pages, To appear in Proceedings of 1st Mediterranean Conference on Classical and Quantum Gravity. Corrected minor typos

Revisiting observables in generally covariant theories in the light of gauge fixing methods

Authors: J. M. Pons, D. C. Salisbury, K. A. Sundermeyer

Abstract: We derive for generally covariant theories the generic dependency of observables on the original fields, corresponding to coordinate-dependent gauge fixings. This gauge choice is equivalent to a choice of intrinsically defined coordinates accomplished with the aid of spacetime scalar fields. With our approach we make full contact with, and give a new perspective to, the "evolving constants of mo… ▽ More We derive for generally covariant theories the generic dependency of observables on the original fields, corresponding to coordinate-dependent gauge fixings. This gauge choice is equivalent to a choice of intrinsically defined coordinates accomplished with the aid of spacetime scalar fields. With our approach we make full contact with, and give a new perspective to, the "evolving constants of motion" program. We are able to directly derive generic properties of observables, especially their dynamics and their Poisson algebra in terms of Dirac brackets, extending earlier results in the literature. We also give a new interpretation of the observables as limits of canonical maps. △ Less

Submitted 11 October, 2009; v1 submitted 28 May, 2009; originally announced May 2009.

Comments: 24 pages. New paragraph in conclusions and references added. To appear in Physical Review D

Journal ref: Phys.Rev.D80:084015,2009

Leon Rosenfeld and the challenge of the vanishing momentum in quantum electrodynamics

Authors: Donald Salisbury

Abstract: Leon Rosenfeld published in 1930 the first systematic Hamiltonian approach to Lagrangian models that possess a local gauge symmetry. The application of this formalism to theories with local internal symmetries, such as electromagnetism in interaction with charged matter fields, is valid and complete, and predates by two decades the work by Dirac and Bergmann. Although he provided a group-theoret… ▽ More Leon Rosenfeld published in 1930 the first systematic Hamiltonian approach to Lagrangian models that possess a local gauge symmetry. The application of this formalism to theories with local internal symmetries, such as electromagnetism in interaction with charged matter fields, is valid and complete, and predates by two decades the work by Dirac and Bergmann. Although he provided a group-theoretical justification for gauge fixing procedures that had just been implemented in the first expositions of quantum electrodynamics by Heisenberg and Pauli, and also by Fermi, his contribution went largely unnoticed. This lack of impact seems to be related to a generalized disenchantment with second quantization in the 1930's and 1940's. △ Less

Submitted 25 April, 2009; originally announced April 2009.

Comments: 32 pages, submitted to Proceedings of the HQ2 Conference on the History of Quantum Physics, Utrecht, 14-17 July, 2008

Journal ref: Stud.Hist.Philos.Mod.Phys.40:363-373,2009

Gravitational observables, intrinsic coordinates, and canonical maps

Authors: J. M. Pons, D. C. Salisbury, K. A. Sundermeyer

Abstract: It is well known that in a generally covariant gravitational theory the choice of spacetime scalars as coordinates yields phase-space observables (or "invariants"). However their relation to the symmetry group of diffeomorphism transformations has remained obscure. In a symmetry-inspired approach we construct invariants out of canonically induced active gauge transformations. These invariants ma… ▽ More It is well known that in a generally covariant gravitational theory the choice of spacetime scalars as coordinates yields phase-space observables (or "invariants"). However their relation to the symmetry group of diffeomorphism transformations has remained obscure. In a symmetry-inspired approach we construct invariants out of canonically induced active gauge transformations. These invariants may be intepreted as the full set of dynamical variables evaluated in the intrinsic coordinate system. The functional invariants can explicitly be written as a Taylor expansion in the coordinates of any observer, and the coefficients have a physical and geometrical interpretation. Surprisingly, all invariants can be obtained as limits of a family of canonical transformations. This permits a short (again geometric) proof that all invariants, including the lapse and shift, satisfy Poisson brackets that are equal to the invariants of their corresponding Dirac brackets. △ Less

Submitted 2 February, 2009; originally announced February 2009.

Comments: 4 pages, to appear in Modern Physics Letters A

Journal ref: Mod.Phys.Lett.A24:725-732,2009

Book Review: The Genesis of General Relativity

Authors: Donald Salisbury

Abstract: This is a review of the four-volume set entitled The Genesis of General Relativity edited by Juergen Renn, Springer, Dordrecht (2007) This is a review of the four-volume set entitled The Genesis of General Relativity edited by Juergen Renn, Springer, Dordrecht (2007) △ Less

Submitted 23 July, 2008; originally announced July 2008.

Comments: 11 pages, to appear in General Relativity and Gravitation

A generalized Schroedinger equation for loop quantum cosmology

Authors: D. C. Salisbury, A. Schmitz

Abstract: A temporally discrete Schroedinger time evolution equation is proposed for isotropic quantum cosmology coupled to a massless scalar source. The approach employs dynamically determined intrinsic time and produces the correct semiclassical limit. A temporally discrete Schroedinger time evolution equation is proposed for isotropic quantum cosmology coupled to a massless scalar source. The approach employs dynamically determined intrinsic time and produces the correct semiclassical limit. △ Less

Submitted 24 February, 2007; originally announced February 2007.

Comments: 5 pages, to appear in the Proceedings of the Eleventh Marcel Grossmann Meeting

Rosenfeld, Bergmann, Dirac and the Invention of Constrained Hamiltonian Dynamics

Authors: D. C. Salisbury

Abstract: In a paper appearing in Annalen der Physik in 1930 Leon Rosenfeld invented the first procedure for producing Hamiltonian constraints. He displayed and correctly distinguished the vanishing Hamiltonian generator of time evolution, and the vanishing generator of gauge transformations for general relativity with Dirac electron and electrodynamic field sources. Though he did not do so, had he chosen… ▽ More In a paper appearing in Annalen der Physik in 1930 Leon Rosenfeld invented the first procedure for producing Hamiltonian constraints. He displayed and correctly distinguished the vanishing Hamiltonian generator of time evolution, and the vanishing generator of gauge transformations for general relativity with Dirac electron and electrodynamic field sources. Though he did not do so, had he chosen one of his tetrad fields to be normal to his spacetime foliation, he would have anticipated by almost thirty years the general relativisitic Hamiltonian first published by Paul Dirac. △ Less

Submitted 25 January, 2007; originally announced January 2007.

Comments: 5 pages, to appear in the Proceedings of the Eleventh Marcel Grossmann Meeting

Peter Bergmann and the invention of constrained Hamiltonian dynamics

Authors: D. C. Salisbury

Abstract: Peter Bergmann was a co-inventor of the algorithm for converting singular Lagrangian models into a constrained Hamiltonian dynamical formalism. This talk focuses on the work of Bergmann and his collaborators in the period from 1949 to 1951. Peter Bergmann was a co-inventor of the algorithm for converting singular Lagrangian models into a constrained Hamiltonian dynamical formalism. This talk focuses on the work of Bergmann and his collaborators in the period from 1949 to 1951. △ Less

Submitted 7 August, 2006; originally announced August 2006.

Comments: 13 pages, contribution to proceedings of the Seventh International Conference on the History of General Relativity, March 10 - 14, 2005, Tenerife, Spain

Reparameterization invariants for anisotropic Bianchi I cosmology with a massless scalar source

Authors: D. C. Salisbury, J. Helpert, A Schmitz

Abstract: Intrinsic time-dependent invariants are constructed for classical, flat, homogeneous, anisotropic cosmology with a massless scalar material source. Invariance under the time reparameterization-induced canonical symmetry group is displayed explicitly. Intrinsic time-dependent invariants are constructed for classical, flat, homogeneous, anisotropic cosmology with a massless scalar material source. Invariance under the time reparameterization-induced canonical symmetry group is displayed explicitly. △ Less

Submitted 3 November, 2007; v1 submitted 3 March, 2005; originally announced March 2005.

Comments: 28 pages, to appear in General Relativity and Gravitation. Substantial revisions: added foundational overview section 2, chose new intrinsic time variable, worked with dimensionless variables, added appendix with comparison and criticism of other approaches

Journal ref: Gen.Rel.Grav.40:1475-1498,2008

The issue of time in generally covariant theories and the Komar-Bergmann approach to observables in general relativity

Authors: J. M. Pons, D. C. Salisbury

Abstract: Diffeomorphism-induced symmetry transformations and time evolution are distinct operations in generally covariant theories formulated in phase space. Time is not frozen. Diffeomorphism invariants are consequently not necessarily constants of the motion. Time-dependent invariants arise through the choice of an intrinsic time, or equivalently through the imposition of time-dependent gauge fixation… ▽ More Diffeomorphism-induced symmetry transformations and time evolution are distinct operations in generally covariant theories formulated in phase space. Time is not frozen. Diffeomorphism invariants are consequently not necessarily constants of the motion. Time-dependent invariants arise through the choice of an intrinsic time, or equivalently through the imposition of time-dependent gauge fixation conditions. One example of such a time-dependent gauge fixing is the Komar-Bergmann use of Weyl curvature scalars in general relativity. An analogous gauge fixing is also imposed for the relativistic free particle and the resulting complete set time-dependent invariants for this exactly solvable model are displayed. In contrast with the free particle case, we show that gauge invariants that are simultaneously constants of motion cannot exist in general relativity. They vary with intrinsic time. △ Less

Submitted 3 March, 2005; originally announced March 2005.

Journal ref: Phys.Rev. D71 (2005) 124012

Gauge Fixing and Observables in General Relativity

Authors: D. C. Salisbury

Abstract: The conventional group of four-dimensional diffeomorphisms is not realizeable as a canonical transformation group in phase space. Yet there is a larger field-dependent symmetry transformation group which does faithfully reproduce 4-D diffeomorphism symmetries. Some properties of this group were first explored by Bergmann and Komar. More recently the group has been analyzed from the perspective o… ▽ More The conventional group of four-dimensional diffeomorphisms is not realizeable as a canonical transformation group in phase space. Yet there is a larger field-dependent symmetry transformation group which does faithfully reproduce 4-D diffeomorphism symmetries. Some properties of this group were first explored by Bergmann and Komar. More recently the group has been analyzed from the perspective of projectability under the Legendre map. Time translation is not a realizeable symmetry, and is therefore distinct from diffeomorphism-induced symmetries. This issue is explored further in this paper. It is shown that time is not "frozen". Indeed, time-like diffeomorphism invariants must be time-dependent. Intrinsic coordinates of the type proposed by Bergmann and Komar are used to construct invariants. Lapse and shift variables are retained as canonical variables in this approach, and therefore will be subject to quantum fluctuations in an eventual quantum theory. Concepts and constructions are illustrated using the relativistic classical and quantum free particle. In this example concrete time-dependent invariants are displayed and fluctuation in proper time is manifest. △ Less

Submitted 19 October, 2003; originally announced October 2003.

Comments: Contribution to the Proceedings of Spacetime and Fundamental Interactions: Quantum Aspects, May, 2003, honoring the 65'th birthday of A. P. Balachandran

Journal ref: Mod.Phys.Lett. A18 (2003) 2475-2482

Quantum general invariance and loop gravity

Authors: Donald C. Salisbury

Abstract: A quantum physical projector is proposed for generally covariant theories which are derivable from a Lagrangian. The projector is the quantum analogue of the integral over the generators of finite one-parameter subgroups of the gauge symmetry transformations which are connected to the identity. Gauge variables are retained in this formalism, thus permitting the construction of spacetime area and… ▽ More A quantum physical projector is proposed for generally covariant theories which are derivable from a Lagrangian. The projector is the quantum analogue of the integral over the generators of finite one-parameter subgroups of the gauge symmetry transformations which are connected to the identity. Gauge variables are retained in this formalism, thus permitting the construction of spacetime area and volume operators in a tentative spacetime loop formulation of quantum general relativity. △ Less

Submitted 27 May, 2001; originally announced May 2001.

Comments: To appear in Foundations of Physics

Journal ref: Found.Phys. 31 (2001) 1105-1118

Gauge symmetries in Ashtekar's formulation of general relativity

Authors: D. C. Salisbury, J. M. Pons, L. C. Shepley

Abstract: It might seem that a choice of a time coordinate in Hamiltonian formulations of general relativity breaks the full four-dimensional diffeomorphism covariance of the theory. This is not the case. We construct explicitly the complete set of gauge generators for Ashtekar's formulation of canonical gravity. The requirement of projectability of the Legendre map from configuration-velocity space to ph… ▽ More It might seem that a choice of a time coordinate in Hamiltonian formulations of general relativity breaks the full four-dimensional diffeomorphism covariance of the theory. This is not the case. We construct explicitly the complete set of gauge generators for Ashtekar's formulation of canonical gravity. The requirement of projectability of the Legendre map from configuration-velocity space to phase space renders the symmetry group a gauge transformation group on configuration-velocity variables. Yet there is a sense in which the full four-dimensional diffeomorphism group survives. Symmetry generators serve as Hamiltonians on members of equivalence classes of solutions of Einstein's equations and are thus intimately related to the so-called "problem of time" in an eventual quantum theory of gravity. △ Less

Submitted 4 April, 2000; originally announced April 2000.

Comments: Talk given at Third Conference on Constrained Dynamics and Quantum Gravity, September, 1999. To appear in Nuclear Physics B (Proceedings Supplement)

Journal ref: Nucl.Phys.Proc.Suppl. 88 (2000) 314-317

The gauge group in the real triad formulation of general relativity

Authors: J. M. Pons, D. C. Salisbury, L. C. Shepley

Abstract: We construct explicitly generators of projectable four-dimensional diffeomorphisms and triad rotation gauge symmetries in a model of vacuum gravity where the fundamental dynamical variables in a Palatini formulation are taken to be a lapse, shift, densitized triad, extrinsic curvature, and the time-like components of the Ricci rotation coefficient. Time-foliation-altering diffeomorphisms are not… ▽ More We construct explicitly generators of projectable four-dimensional diffeomorphisms and triad rotation gauge symmetries in a model of vacuum gravity where the fundamental dynamical variables in a Palatini formulation are taken to be a lapse, shift, densitized triad, extrinsic curvature, and the time-like components of the Ricci rotation coefficient. Time-foliation-altering diffeomorphisms are not by themselves projectable under the Legendre transformations. They must be accompanied by a metric- and triad-dependent triad rotation. The phase space on which these generators act includes all of the gauge variables of the model. △ Less

Submitted 20 December, 1999; originally announced December 1999.

Comments: Submitted to Gen. Rel. Grav. - 8 pages

Journal ref: Gen.Rel.Grav. 32 (2000) 1727-1744

Gauge Transformations in Einstein-Yang-Mills Theories

Authors: J. M. Pons, D. C. Salisbury, L. C. Shepley

Abstract: We discuss the relation between spacetime diffeomorphisms and gauge transformations in theories of the Yang-Mills type coupled with Einstein's General Relativity. We show that local symmetries of the Hamiltonian and Lagrangian formalisms of these generally covariant gauge systems are equivalent when gauge transformations are required to induce transformations which are projectable under the Lege… ▽ More We discuss the relation between spacetime diffeomorphisms and gauge transformations in theories of the Yang-Mills type coupled with Einstein's General Relativity. We show that local symmetries of the Hamiltonian and Lagrangian formalisms of these generally covariant gauge systems are equivalent when gauge transformations are required to induce transformations which are projectable under the Legendre map. Although pure Yang-Mills gauge transformations are projectable by themselves, diffeomorphisms are not. Instead the projectable symmetry group arises from infinitesimal diffeomorphism-inducing transformations which must depend on the lapse function and shift vector of the spacetime metric plus associated gauge transformations. Our results are generalizations of earlier results by ourselves and by Salisbury and Sundermeyer. △ Less

Submitted 20 December, 1999; originally announced December 1999.

Comments: Submitted to J. Math. Phys. - 9 pages

Journal ref: J.Math.Phys. 41 (2000) 5557-5571

Gauge group and reality conditions in Ashtekar's complex formulation of canonical gravity

Authors: J. M. Pons, D. C. Salisbury, L. C. Shepley

Abstract: We discuss reality conditions and the relation between spacetime diffeomorphisms and gauge transformations in Ashtekar's complex formulation of general relativity. We produce a general theoretical framework for the stabilization algorithm for the reality conditions, which is different from Dirac's method of stabilization of constraints. We solve the problem of the projectability of the diffeomor… ▽ More We discuss reality conditions and the relation between spacetime diffeomorphisms and gauge transformations in Ashtekar's complex formulation of general relativity. We produce a general theoretical framework for the stabilization algorithm for the reality conditions, which is different from Dirac's method of stabilization of constraints. We solve the problem of the projectability of the diffeomorphism transformations from configuration-velocity space to phase space, linking them to the reality conditions. We construct the complete set of canonical generators of the gauge group in the phase space which includes all the gauge variables. This result proves that the canonical formalism has all the gauge structure of the Lagrangian theory, including the time diffeomorphisms. △ Less

Submitted 20 December, 1999; originally announced December 1999.

Comments: Submitted to Phys. Rev. D15. - 17 pages

Journal ref: Phys.Rev. D62 (2000) 064026

Reduced phase space: quotienting procedure for gauge theories

Authors: J M Pons, D C Salisbury, L C Shepley

Abstract: We present a reduction procedure for gauge theories based on quotienting out the kernel of the presymplectic form in configuration-velocity space. Local expressions for a basis of this kernel are obtained using phase space procedures; the obstructions to the formulation of the dynamics in the reduced phase space are identified and circumvented. We show that this reduction procedure is equivalent… ▽ More We present a reduction procedure for gauge theories based on quotienting out the kernel of the presymplectic form in configuration-velocity space. Local expressions for a basis of this kernel are obtained using phase space procedures; the obstructions to the formulation of the dynamics in the reduced phase space are identified and circumvented. We show that this reduction procedure is equivalent to the standard Dirac method as long as the Dirac conjecture holds: that the Dirac Hamiltonian, containing the primary first class constraints, with their Lagrange multipliers, can be enlarged to an extended Dirac Hamiltonian which includes all first class constraints without any change of the dynamics. The quotienting procedure is always equivalent to the extended Dirac theory, even when it differs from the standard Dirac theory. The differences occur when there are ineffective constraints, and in these situations we conclude that the standard Dirac method is preferable --- at least for classical theories. An example is given to illustrate these features, as well as the possibility of having phase space formulations with an odd number of physical degrees of freedom. △ Less

Submitted 29 November, 1998; originally announced November 1998.

Comments: 14 pages; LaTeX2e; uses Institute of Physics packages To appear in J. Phys. A: Math. Gen. Vol 32 (1999)

Journal ref: J.Phys.A32:419-430,1999

Gauge transformations in the Lagrangian and Hamiltonian formalisms of generally covariant theories

Authors: J. M. Pons, D. C. Salisbury, L. C. Shepley

Abstract: We study spacetime diffeomorphisms in Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map. The gauge group is found to be much larger than the original group of spacetime diffeomorphisms, since its generators must depend on the lapse function and shi… ▽ More We study spacetime diffeomorphisms in Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map. The gauge group is found to be much larger than the original group of spacetime diffeomorphisms, since its generators must depend on the lapse function and shift vector of the spacetime metric in a given coordinate patch. Our results are generalizations of earlier results by Salisbury and Sundermeyer. They arise in a natural way from using the requirement of equivalence between Lagrangian and Hamiltonian formulations of the system, and they are new in that the symmetries are realized on the full set of phase space variables. The generators are displayed explicitly and are applied to the relativistic string and to general relativity. △ Less

Submitted 15 December, 1996; originally announced December 1996.

Comments: 12 pages, no figures; REVTeX; uses multicol,fancyheadings,eqsecnum; to appear in Phys. Rev. D

A Connection Approach to Numerical Relativity

Authors: D. C. Salisbury, L. C. Shepley

Abstract: We discuss a general formalism for numerically evolving initial data in general relativity in which the (complex) Ashtekar connection and the Newman-Penrose scalars are taken as the dynamical variables. In the generic case three gauge constraints and twelve reality conditions must be solved. The analysis is applied to a Petrov type \{1111\} planar spacetime where we find a spatially constant vol… ▽ More We discuss a general formalism for numerically evolving initial data in general relativity in which the (complex) Ashtekar connection and the Newman-Penrose scalars are taken as the dynamical variables. In the generic case three gauge constraints and twelve reality conditions must be solved. The analysis is applied to a Petrov type \{1111\} planar spacetime where we find a spatially constant volume element to be an appropriate coordinate gauge choice. △ Less

Submitted 18 March, 1994; originally announced March 1994.

Comments: 17 pages, LaTex

Journal ref: Class.Quant.Grav.11:2789-2806,1994