John Earman's recent proposal that a substantive version of general covariance consists in the requirement that diffeomorphism invariance be a gauge symmetry is critically assessed. I argue that such a principle does not serve to differentiate general relativity from pre-relativistic theories. A model-theoretic characterization of two formulations of specially-relativistic theories is suggested. Diffeomorphisms are symmetries of only one such style of formulation and, I argue, Earman's proposal does not provide a reason to deny diffeomorphisms the status of (...) gauge transformations relative to this formulation. Carlo Rovelli's distinction between "passive" and "active" diffeomorphism invariance is also clarified. (shrink)

The paper considers the "GR-desideratum", that is, the way general relativity implements general covariance, diffeomorphism invariance, and background independence. Two cases are discussed where 5-dimensional generalizations of general relativity run into interpretational troubles when the GR-desideratum is forced upon them. It is shown how the conceptual problems dissolve when such a desideratum is relaxed. In the end, it is suggested that a similar strategy might mitigate some major issues such as the problem of time or the (...) embedding of quantum non-locality into relativistic spacetimes. (shrink)

Analysis of Emmy Noether’s 1918 theorems provides an illuminating method for testing the consequences of “coordinate generality”, and for exploring what else must be added to this requirement in order to give general covariance its far-reaching physical significance. The discussion takes us through Noether’s first and second theorems, and then a third related theorem due originally to F. Klein. Contact will also be made with the contributions of, principally, J.L. Anderson, A. Trautman, P.A.M. Dirac, R. Torretti and the (...) father of the whole business, A. Einstein (an apparent shift in Einstein’s thinking on the significance of general covariance between 1916 and 1918 is highlighted). (shrink)

Analysis of Emmy Noether's 1918 theorems provides an illuminating method for testing the consequences of coordinate generality, and for exploring what else must be added to this requirement in order to give general covariance its far-reaching physical significance. The discussion takes us through Noether's first and second theorems, and then a third related theorem due originally to F. Klein. Contact will also be made with the contributions of, principally, J.L. Anderson, A. Trautman, P.A.M. Dirac, R. Torretti and the (...) father of the whole business, A. Einstein. (shrink)

How can we reconcile two claims that are now both widely accepted: Kretschmann's claim that a requirement of general covariance is physically vacuous and the standard view that the general covariance of general relativity expresses the physically important diffeomorphism gauge freedom of general relativity? I urge that both claims can be held without contradiction if we attend to the context in which each is made.

What is the meaning of general covariance? We learn something about it from the hole argument, due originally to Einstein. In his search for a theory of gravity, he noted that if the equations of motion are covariant under arbitrary coordinate transformations, then particle coordinates at a given time can be varied arbitrarily - they are underdetermined - even if their values at all earlier times are held fixed. It is the same for the values of fields. The (...) argument can also be made out in terms of transformations acting on the points of the manifold, rather than on the coordinates assigned to the points. So the equations of motion do not fix the particle positions, or the values of fields at manifold points, or particle coordinates, or fields as functions of the coordinates, even when they are specified at all earlier times. It is surely the business of physics to predict these sorts of quantities, given their values at earlier times. The principle of general covariance therefore seems untenable. (shrink)

iinstein oered the prin™iple of gener—l ™ov—ri—n™e —s the fund—ment—l physi™—l prin™iple of his gener—l theory of rel—tivityD —nd —s responsi˜le for extending the prin™iple of rel—tivity to —™™eler—ted motionF „his view w—s disputed —lmost immedi—tely with the ™ounterE™l—im th—t the prin™iple w—s no rel—tivity prin™iple —nd w—s physi™—lly v—™uousF „he dis—greeE ment persists tod—yF „his —rti™le reviews the development of iinstein9s thought on gener—l ™ov—ri—n™eD its rel—tion to the found—tions of gener—l rel—tivity —nd the evolution of the ™ontinuing de˜—te (...) over his viewpointF.. (shrink)

The extension of the principle of relativity to general coordinate systems is based on the hypothesis that an accelerated observer is locally equivalent to a hypothetical inertial observer with the same velocity as the noninertial observer. This hypothesis of locality is expected to be valid for classical particle phenomena as well as for classical wave phenomena but only in the short-wavelength approximation. The generally covariant theory is therefore expected to be in conflict with the quantum theory which is based (...) on wave-particle duality. This is explicitly demonstrated for the frequency of electromagnetic radiation measured by a uniformly rotating observer. The standard Doppler formula is shown to be valid only in the geometric optics approximation. A new definition for the frequency is proposed, and the resulting formula for the frequency measured by the rotating observer is shown to be consistent with expectations based on the classical theory of electrons. A tentative quantum theory is developed on the basis of the generalization of the Bohr frequency condition to include accelerated observers. The description of the causal sequence of events is assumed to be independent of the motion of the observer. Furthermore, the quantum hypothesis is supposed to be valid for all observers. The implications of this theory are critically examined. The new formula for frequency, which is still based on the hypothesis of locality, leads to the observation of negative energy quanta by the rotating observer and is therefore in conflict with the quantum theory. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and (...) Polubarinov constructed spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

The objection that Einstein's principle of general covariance is not a relativity principle and has no physical content is reviewed. The principal escapes offered for Einstein's viewpoint are evaluated.

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and (...) Polubarinov constructed spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

"The last remnant of physical objectivity of space-time" is disclosed, beyond the Leibniz equivalence, in the case of a continuous family of spatially non-compact models of general relativity. The physical individuation of point-events is furnished by the intrinsic degrees of freedom of the gravitational field, (viz, the "Dirac observables") that represent - as it were - the "ontic" part of the metric field. The physical role of the "epistemic" part (viz. the "gauge" variables) is likewise clarified. At the end, (...) a peculiar four-dimensional "holistic and structuralist" view of space-time emerges which includes elements common to the tradition of both substantivalism and relationism. The observables of our models undergo real "temporal change" and thereby provide a counter-example to the thesis of the "frozen-time" picture of evolution. (shrink)

This paper deals with a number of technical achievements that are instrumental for a dis-solution of the so-called "Hole Argument" in general relativity. Such achievements include: 1) the analysis of the "Hole" phenomenology in strict connection with the Hamiltonian treatment of the initial value problem. The work is carried through in metric gravity for the class of Christoudoulou-Klainermann space-times, in which the temporal evolution is ruled by the "weak" ADM energy; 2) a re-interpretation of "active" diffeomorphisms as "passive and (...) metric-dependent" dynamical symmetries of Einstein's equations, a re-interpretation which enables to disclose their (up to now unknown) connection to gauge transformations on-shell; understanding such connection also enlightens the real content of the Hole Argument or, better, dis-solves it together with its alleged "indeterminism"; 3) the utilization of the Bergmann-Komar "intrinsic pseudo-coordinates", defined as suitable functionals of the Weyl curvature scalars, as tools for a peculiar gauge-fixing to the super-hamiltonian and super-momentum constraints; 4) the consequent construction of a "physical atlas" of 4-coordinate systems for the 4-dimensional "mathematical" manifold, in terms of the highly non-local degrees of freedom of the gravitational field (its four independent "Dirac observables"). Such construction embodies the "physical individuation" of the points of space-time as "point-events", independently of the presence of matter, and associates a "non-commutative structure" to each gauge fixing or four-dimensional coordinate system; 5) a clarification of the multiple definition given by Peter Bergmann of the concept of "(Bergmann) observable" in general relativity. This clarification leads to the proposal of a "main conjecture" asserting the existence of i) special Dirac's observables which are also Bergmann's observables, ii) gauge variables that are coordinate independent (namely they behave like the tetradic scalar fields of the Newman-Penrose formalism). A by-product of this achievements is the falsification of a recently advanced argument asserting the absence of (any kind of) "change" in the observable quantities of general relativity. 6) a clarification of the physical role of Dirac and gauge variables as their being related to "tidal-like" and "inertial-like" effects, respectively. This clarification is mainly due to the fact that, unlike the standard formulations of the equivalence principle, the Hamiltonian formalism allows to define notion of "force" in general relativity in a natural way; 7) a proposal showing how the physical individuation of point-events could in principle be implemented as an experimental setup and protocol leading to a "standard of space-time" more or less like atomic clocks define standards of time. We conclude that, besides being operationally essential for building measuring apparatuses for the gravitational field, the role of matter in the non-vacuum gravitational case is also that of "participating directly" in the individuation process, being involved in the determination of the Dirac observables. This circumstance leads naturally to a peculiar new kind of "structuralist" view of the general-relativistic concept of space-time, a view that embodies some elements of both the traditional "absolutist" and "relational" conceptions. In the end, space-time point-events maintain a "peculiar sort of objectivity". Some hints following from our approach for the quantum gravity programme are also given. (shrink)

In his general theory of relativity Einstein sought to generalize the special-relativistic equivalence of inertial frames to a principle according to which all frames of reference are equivalent. He claimed to have achieved this aim through the general covariance of the equations of GR. There is broad consensus among philosophers of relativity that Einstein was mistaken in this. That equations can be made to look the same in different frames certainly does not imply in general that (...) such frames are physically equivalent. We shall argue, however, that Einstein's position is tenable. The equivalence of arbitrary frames in GR should not be equated with relativity of arbitrary motion, though. There certainly are observable differences between reference frames in GR. The core of our defense of Einstein's position will be to argue that such differences should be seen as fact-like rather than law-like in GR. By contrast, in classical mechanics and in special relativity the differences between inertial systems and accelerated systems have a law-like status. The fact-like character of the differences between frames in GR justifies regarding them as equivalent in the same sense as inertial frames in SR. (shrink)

In his general theory of relativity (GR) Einstein sought to generalize the special-relativistic equivalence of inertial frames to a principle according to which all frames of reference are equivalent. He claimed to have achieved this aim through the general covariance of the equations of GR. There is broad consensus among philosophers of relativity that Einstein was mistaken in this. That equations can be made to look the same in different frames certainly does not imply in general (...) that such frames are physically equivalent. We shall argue, however, that Einstein's position is tenable. The equivalence of arbitrary frames in GR should not be equated with relativity of arbitrary motion, though. There certainly are observable differences between reference frames in GR (differences in the way particles move and fields evolve). The core of our defense of Einstein's position will be to argue that such differences should be seen as fact-like rather than law-like in GR. By contrast, in classical mechanics and in special relativity (SR) the differences between inertial systems and accelerated systems have a law-like status. The fact-like character of the differences between frames in GR justifies regarding them as equivalent in the same sense as inertial frames in SR. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and (...) Polubarinov constructed spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

It generally agreed that the requirement of formal general covariance is a condition of the well-formedness of a spacetime theory and not a restriction on its content. Physicists commonly take the substantive requirement of general covariance to mean that the laws exhibit diffeomorphism invariance and that this invariance is a gauge symmetry. This latter requirement does place restrictions on the content of a spacetime theory. The present paper explores the implications of these restrictions for interpreting the (...) ideology and ontology of classical general relativity theory and loop quantum gravity. (shrink)

The ArgumentRecent archival research has brought about a new understanding of the import of Einstein's puzzling remarks (1916) attributing a physical meaning to general covariance. Debates over the scope and meaning of general covariance still persist, even within physics. But already in 1921 Cassirer identified the significance of general covariance as a novel stage in the development of the criterion of objectivity within physics; an account of this development, and its implications, is the primary (...) task undertaken in his monograph of “epistemological considerations” on the theory of relativity. Cassirer's assessment is correct: general covariance, understood as an injunction against dynamical theories with background elements, is a “limiting heuristic principle” guiding Einstein's fundamental conception of a “complete field theory”; as such, it underlies a “separation principle” built into the conceptual framework of the EPR criticism of quantum mechanics. In conclusion, a further parallel is noted: mutual recognition that the principle of general covariance is but a form of “anthropomorphism.”. (shrink)

Einstein and Hilbert both struggled to reconcile general covariance and causality in their early work on general relativity. In Einstein’s case, this first led to his infamous “hole argument”, a stumbling block that persuaded him early on that generally covariant field equations for gravitation could never be found. After his breakthrough to general covariance in the fall of 1915, the resolution came in form of the “point-coincidence argument.” Hilbert from the beginning took a different view (...) of the “causality problem,” though he shifted his position somewhat in the light of Einstein’s breakthrough in November 1915. Nevertheless, his aim was to establish initial conditions that would lead to a well-defined Cauchy problem in general relativity. Hilbert consistently advocated the use of coordinate conditions in order to obtain solutions of the field equations that would maintain the causal ordering of events. Einstein’s “causality problem” thus differs from that of Hilbert, and the latter was never a victim of Einstein’s “hole argument.”. (shrink)

The various physical aspects of the general relativistic principles of covariance and strong equivalence are discussed, and their mathematical formulations are analyzed. All these aspects are shown to be present in classical general relativity, although no contemporary formulation of canonical or covariant quantum gravity has succeeded to incorporate them all. This has, in part, motivated the recent introduction of a geometro-stochastic framework for quantum general relativity, in which the classical frame bundles that underlie the formulation of (...) parallel transport in classical general relativity are replaced by quantum frame bundles. It is shown that quantum frames can take over the role played by complete sets of observables in conventional quantum theory, so that they can mediate the natural transference of the general covariance and the strong equivalence principles from the classical to the quantum general relativistic regime. This results in a geometrostochastic mode of quantum propagation in general relativistic quantum bundles, which is mathematically implemented by path integration methods based on parallel transport along horizontal lifts of geodesics for the vacuum expectation values of a quantum gravitational field in a quantum spacetime supermanifold. The covariance features of this field are embedded in a quantum gravitational supergroup, which incorporates Poincaré as well as diffeomorphism invariance, and resolves the issue of time in quantum gravity. (shrink)

It is a commonplace in the foundations of physics, attributed to Kretschmann, that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics and mathematics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, (...) Ogievetsky and Polubarinov constructed spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, OP spinors resemble the orthonormal basis or tetrad formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is thus de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. As developed nonperturbatively by Bilyalov, OP spinors admit any coordinates at a point, but `time' must be listed first; `time' is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object. Important results on Lie and covariant differentiation are recalled and applied. The rather mild consequences of the coordinate order restriction are explored in two examples: the question of the conventionality of simultaneity in Special Relativity, and the Schwarzschild solution in General Relativity. (shrink)

The Anderson-Friedman absolute objects program has been a favorite analysis of the substantive general covariance that supposedly characterizes Einstein's General Theory of Relativity (GTR). Absolute objects are the same locally in all models (modulo gauge freedom). Substantive general covariance is the lack of absolute objects. Several counterexamples have been proposed, however, including the Jones-Geroch dust and Torretti constant curvature spaces counterexamples. The Jones-Geroch dust case, ostensibly a false positive, is resolved by noting that holes in (...) the dust in some models ensure that no physically relevant nonvanishing timelike vector field exists there, so no absolute object exists. The Torretti constant curvature spaces case, allegedly a false negative, is resolved by testing an irreducible piece of the metric, the conformal metric density of weight -2/3, for absoluteness; this geometric object is absolute. A new counterexample is proposed involving the orthonormal tetrad said to be necessary to couple spinors to a curved metric. The threat of finding an absolute object in GTR + spinors is overcome by the use of an alternative spinor formalism that takes a symmetric square root of the metric (with the help of the matrix diag(-1,1,1,1)), eliminating 6 of the 16 tetrad components as irrelevant. The importance of eliminating irrelevant structures, as Anderson emphasized, is clear. The importance of the choice of physical fields is also evident. A new counterexample due to Robert Geroch and Domenico Giulini, however, finds an absolute object in vacuum GTR itself, namely the scalar density $g$ given by the metric components' determinant. Thus either the definition of absoluteness or its use to analyze GTR's substantive general covariance is flawed. Anderson's belief that all absolute objects are nonvariational (that is, not varied in a suitable action principle) and vice versa is also falsified by the Geroch-Giulini counterexample. However, it remains plausible that all nonvariational fields are absolute, so adding nonvariationality as a necessary condition for absoluteness, as Hiskes once suggested, would likely leave no useful work to the Anderson-Friedman condition of sameness in all models. Simply having only variational fields in an action principle (suitably free of irrelevant fields) might be a satisfactory analysis of substantive general covariance, if one exists. This proposal also resembles the suggestion that GTR is "already parameterized," if one decides to parameterize theories by defining the nonvariational fields in terms of preferred coordinates called clock fields. More questions need to be addressed. Which fields should be tested for absoluteness: only primitive fields (which ones?), or all or some (which?) of their concomitants also? Geroch observes that some kinds of geometric objects, such as tangent vectors, scalar densities, and tangent vector densities of non-unit weight, satisfy the condition of sameness in all models if they merely fail to vanish. If these "susceptible" geometric objects can hardly help being absolute, to what degree are they, or the theories harboring them, responsible for this absoluteness? The answer to this question helps to determine the significance of the Geroch-Giulini counterexample. (shrink)

By extending geometrodynamical phase space by embeddings and their conjugate momenta, one can homomorphically map the Lie algebra of space-time diffeomorphisms into the Poisson algebra of dynamical variables on the extended phase space.

It is generally acknowledged that the requirement that the laws of a spacetime theory be covariant under a general coordinate transformation is a restriction on the form but not the content of the theory. The prevalent view in the physics community holds that the substantive version of general covariance – exhibited, for example, by Einstein’s general theory of relativity – consists in the requirement that diffeomorphism invariance is a gauge symmetry of the theory. This conception of (...) general covariance is explained and confronted by two challenges. One challenge claims, in effect, that substantive general covariance is not deserving of the name since, just as it is possible to rewrite any spacetime so that it satisfies formal general covariance, so it is also possible to rewrite the theory so that it satisfies the proffered version of substantive general covariance. The other challenge claims that the proffered version of substantive general covariance is not strong enough to guarantee the intended meaning of general covariance. Both challenges are discussed in terms of concrete examples. It is argued that both challenges fail but, at the same time, that they help to clarify what is at stake on the seemingly never ending dispute over the nature and status of general covariance. (shrink)

The objection that Einstein's principle of general covariance is not a relativity principle and has no physical content is reviewed. The principal escapes offered for Einstein's viewpoint are evaluated.

The philosophy of physics literature contains conflicting claims on the heuristic significance of general covariance. Some authors maintain that Einstein's general relativity distinguishes itself from other theories in that it must be generally covariant, for example, while others argue that general covariance is a physically vacuous and trivial requirement applicable to virtually any theory. Moreover, when general covariance is invested with heuristic significance, that significance as a rule is assigned to so-called “active” (...) class='Hi'>general covariance, underwritten by the principle of background independence, rather than to general covriance as Einstein understood it. While agreeing with the latter group of commentators that general covariance indeed carries heuristic significance, I argue that a background independent theory need not be generally covariant and that instead the Principle of Equivalence as Einstein understood it provides the key to understanding the heuristic power of general covariance as a “mathematical sieve” for determining the gravitational field law. However, heuristic significance accrues to general covariance only indirectly, by its encompassing the relativity of frames underwritten by Einstein's principle of equivalence. (shrink)

This is an essay about general covariance, and what it says about spacetime structure. After outlining a version of the dynamical approach to spacetime theories, and how it struggles to deal with generally covariant theories, I argue that we should think about the symmetry structure of spacetime rather differently in generally-covariant theories compared to non-generally-covariant theories: namely, as a form of internal rather than external symmetry structure.

We consider the relativistic statistical mechanics of an ensemble of N events with motion in space-time parametrized by an invariant “historical time” τ. We generalize the approach of Yang and Yao, based on the Wigner distribution functions and the Bogoliubov hypotheses to find approximate dynamical equations for the kinetic state of any nonequilibrium system, to the relativistic case, and obtain a manifestly covariant Boltzmann- type equation which is a relativistic generalization of the Boltzmann-Uehling-Uhlenbeck (BUU) equation for indistinguishable particles. This equation (...) is then used to prove the H-theorem for evolution in τ. In the equilibrium limit, the covariant forms of the standard statistical mechanical distributions are obtained. We introduce two-body interactions by means of the direct action potential V(q), where q is an invariant distance in the Minkowski space-time. The two- body correlations are taken to have the support in a relative O(2, 1)-invariant subregion of the full spacelike region. The expressions for the energy density and pressure are obtained and shown to have the same forms (in terms of an invariant distance parameter) as those of the nonrelativistic theory and to provide the correct nonrelativistic limit. (shrink)

The general relativistic and covariant differential form of Helmholtz's first vorticity theorem is presented. We prove in relation with it an invariant kinematic identity which is the generalisation of the Helmholtz theorem for general continua.

The covariant and relativistic generalization of the Helmholtz integral vorticity theorems and Thomson's circulation theorem are derived.

The Gompertz distribution is commonly used in biology for modeling fatigue and mortality. This paper studies a class of models proposed by Adham and Walker, featuring a Gompertz type distribution where the dependence structure is modeled by a lognormal distribution, and develops a new multivariate formulation that facilitates several numerical and computational aspects. This paper also implements the FBST, the Full Bayesian Significance Test for pertinent sharp (precise) hypotheses on the lognormal covariance structure. The FBST’s e-value, ev(H), gives the (...) epistemic value of hypothesis, H, or the value of evidence in the observed in support of H. (shrink)

Theoretical analyses of person–environment interaction describe complex models, addressing different levels of social systems, while models of the sense of community provide a base for transferring views of this interaction to the national level. This paper presents two studies that explored the structure of the sense of country and its relation to emigration plans and social identification. Study 1 involved 1,005 adults from Latvia. The Sense of Country Inventory included influence, perceived opportunities, belonging, and spatiotemporal commitment as the components of (...) this sense. The bifactor model demonstrated the best fit and confirmed the general factor, integrating components of the sense of country, and specific factors, emphasizing its complexity. The validation demonstrated that the general sense of country is the main negative predictor of emigration plans. Study 2 included 247 participants who completed the SOCI and Identification With All Humanity Scale. Correlating with national identification, the sense of country negatively predicted emigration plans that reflected the social identity continuity pathway. In turn, a negative relationship between the sense of country and global identification, which positively predicted emigration plans, revealed a social identity gain pathway. Together, the studies present the integrative nature of the sense of country and its links to emigration plans and national and global social identification. (shrink)

The oft-neglected issue of the causal structure in the flat spacetime approach to Einstein's theory of gravity is considered. Consistency requires that the flat metric's null cone be respected, but this does not automatically happen. After reviewing the history of this problem, we introduce a generalized eigenvector formalism to give a kinematic description of the relation between the two null cones, based on the Segre' classification of symmetric rank 2 tensors with respect to a Lorentzian metric. Then we propose a (...) method to enforce special relativistic causality by using the gauge freedom to restrict the configuration space suitably. A set of new variables just covers this smaller configuration space and respects the flat metric's null cone automatically. Respecting the flat metric's null cone ensures that the spacetime is globally hyperbolic, indicating that the Hawking black hole information loss paradox does not arise in the special relativistic approach to Einstein's theory. (shrink)

In this paper, we review a general technique for converting the standard Lagrangian description of a classical system into a formulation that puts time on an equal footing with the system's degrees of freedom. We show how the resulting framework anticipates key features of special relativity, including the signature of the Minkowski metric tensor and the special role played by theories that are invariant under a generalized notion of Lorentz transformations. We then use this technique to revisit a classification (...) of classical particle-types that mirrors Wigner's classification of quantum particle-types in terms of irreducible representations of the Poincaré group, including the cases of massive particles, massless particles, and tachyons. Along the way, we see gauge invariance naturally emerge in the context of classical massless particles with nonzero spin, as well as study the massless limit of a massive particle and derive a classical-particle version of the Higgs mechanism. (shrink)

This paper represents an attempt to clarify a number of long-standing issues concerning the nature and status of the special and general principles of relativity in particular and symmetry or invariance principles in general. An analysis of the active and passive interpretations of symmetry operations is offered. This analysis yields an evaluation of the old covariance-invariance issue. It also demonstrates that the passive interpretation, insofar as it is not trivial, is parasitic on the active picture. Finally, the (...) analysis shows that grave difficulties lie in the way of any attempt to generalize the special principle of relativity in a manner like the one Einstein originally proposed. (shrink)

The structure of covariant observables—normalized positive operator measures (POMs)—is studied in the case of a type I symmetry group. Such measures are completely determined by kernels which are measurable fields of positive semidefinite sesquilinear forms. We produce the minimal Kolmogorov decompositions for the kernels and determine those which correspond to the extreme covariant observables. Illustrative examples of the extremals in the case of the Abelian symmetry group are given.

We present a simple first step toward a relativistically covariant generalization of the Bohm-Bub hidden-variable theory. The model is applicable to spin measurement on a single Dirac particle and describes the collapse of the state vector to a spin-up or spin-down state. The essential postulate is that the hidden-variable vector transforms in the same way as the state vector under a Lorentz transformation. This yields a covariant collapse equation, which reduces to the ordinary Bohm-Bub equation for an observer stationary with (...) respect to the particle and shows a time dilated collapse for a moving observer. The model yields the correct quantum transition probabilities for all observers. (shrink)

The general context of this paper is the locality problem in quantum theory. In a recent issue of this journal, Redei (1991) offered a proof of the proposition that algebraic Lorentz-covariant quantum field theory is past stochastic Einstein local. We show that Redei's proof is either spurious or circular, and that it contains two deductive fallacies. Furthermore, we prove that the mentioned theory meets the stronger condition of stochastic Haag locality.

In this paper the quantum covariant relativistic dynamics of many bodies is reconsidered. It is emphasized that this is an event dynamics. The events are quantum statistically correlated by the global parameter τ. The derivation of an event Boltzmann equation emphasizes this. It is shown that this Boltzmann equation may be viewed as exact in a dilute event limit ignoring three event correlations. A quantum entropy principle is obtained for the marginal Wigner distribution function. By means of event linking (concatenations) (...) particle properties such as the equation of state may be obtained. We further reconsider the generalized quantum equilibrium ensemble theory and the free event case of the Fermi-Dirac and Bose-Einstein distributions, and some consequences. The ultra-relativistic limit differs from the non-covariant theory and is a test of this point of view. (shrink)

The nonadditive properties of mass make it desirable to abandon mass as a basis unit in physics and to replace it by a unit of the dimension of the quantum of action [h]. The ensuing four-unit system of action, charge, length, and time [h, q, l, t] interacts in a much more elucidating fashion with experiment and with the fundamental structure of physics. All space-time differential forms expressing fundamental laws of physics are forms of physical dimensions, h, h/q, or q. (...) Their occurrence as periods (residues) of period integrals of forms makes h and q topological invariants in space-time and stresses in general the global nature of quantization. The coordinate dimensions [l] and [t] only come into play for the form-coefficients, the metric tensor, and their tensorial relatives. One thus obtains a very natural guidance for implementing the principle of general covariance, when coordinate-based descriptions are necessary. The consequences for the general theory of relativity are discussed. (shrink)

This paper outlines a critique of the use of the genetic variance–covariance matrix (G), one of the central concepts in the modern study of natural selection and evolution. Specifically, I argue that for both conceptual and empirical reasons, studies of G cannot be used to elucidate so-called constraints on natural selection, nor can they be employed to detect or to measure past selection in natural populations – contrary to what assumed by most practicing biologists. I suggest that the search (...) for a general solution to the difficult problem of identifying causal structures given observed correlation’s has led evolutionary quantitative geneticists to substitute statistical modeling for the more difficult, but much more valuable, job of teasing apart the many possible causes underlying the action of natural selection. Hence, the entire evolutionary quantitative genetics research program may be in need of a fundamental reconsideration of its goals and how they correspond to the array of mathematical and experimental techniques normally employed by its practitioners. (shrink)

Understanding individual differences in cognitive performance is an important part of understanding how variations in underlying cognitive processes can result in variations in task performance. However, the exploration of individual differences in the components of the decision process—such as cognitive processing speed, response caution, and motor execution speed—in previous research has been limited. Here, we assess the heritability of the components of the decision process, with heritability having been a common aspect of individual differences research within other areas of cognition. (...) Importantly, a limitation of previous work on cognitive heritability is the underlying assumption that variability in response times solely reflects variability in the speed of cognitive processing. This assumption has been problematic in other domains, due to the confounding effects of caution and motor execution speed on observed response times. We extend a cognitive model of decision‐making to account for relatedness structure in a twin study paradigm. This approach can separately quantify different contributions to the heritability of response time. Using data from the Human Connectome Project, we find strong evidence for the heritability of response caution, and more ambiguous evidence for the heritability of cognitive processing speed and motor execution speed. Our study suggests that the assumption made in previous studies—that the heritability of cognitive ability is based on cognitive processing speed—may be incorrect. More generally, our methodology provides a useful avenue for future research in complex data that aims to analyze cognitive traits across different sources of related data, whether the relation is between people, tasks, experimental phases, or methods of measurement. (shrink)