Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is ``already parametrized'' suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar ``clock fields,'' much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to (...) Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry. (shrink)

James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I (...) generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to (1,0,0,0) is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object (as Robert Geroch has observed recently): a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

The Anderson-Friedman absolute objects project is reviewed. The Jones-Geroch dust 4-velocity counterexample is resolved by eliminating irrelevant structure. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields and using a modified spinor formalism. However, given Anderson's definition, GTR itself has an absolute object (as Robert Geroch has observed recently): a (...) change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

James L. Anderson analyzed the conceptual novelty of Einstein's theory of gravity as its lack of ``absolute objects.'' Michael Friedman's related concept of absolute objects has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using Nathan Rosen's action principle, I complete Anna Maidens's argument that the Jones-Geroch problem is not solved by requiring that absolute objects not be varied. Recalling Anderson's proscription of (globally) (...) ``irrelevant'' variables that do no work (anywhere in any model), I generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free, and there is no good reason to have a timelike dust 4-velocity vector there. Eliminating the irrelevant timelike vctors keeps the dust 4-velocity from counting as absolute by spoiling its neighborhood-by-neighborhood diffeomorphic equivalence to (1,0,0,0). A more fundamental Gerochian timelike vector field presents itself in gravity with spinors in the standard orthonormal tetrad formalism, though eliminating irrelevant fields might solve this problem as well. (shrink)

This survey article is divided into two parts. In the first (section 2), I give a brief account of the structure of classical relativity theory. In the second (section 3), I discuss three special topics: (i) the status of the relative simultaneity relation in the context of Minkowski spacetime; (ii) the ``geometrized" version of Newtonian gravitation theory (also known as Newton-Cartan theory); and (iii) the possibility of recovering the global geometric structure of spacetime from its ``causal structure".

We consider various curious features of general relativity, and relativistic field theory, in two spacetime dimensions. In particular, we discuss: the vanishing of the Einstein tensor; the failure of an initial-value formulation for vacuum spacetimes; the status of singularity theorems; the non-existence of a Newtonian limit; the status of the cosmological constant; and the character of matter fields, including perfect fluids and electromagnetic fields. We conclude with a discussion of what constrains our understanding of physics in different dimensions.

Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the ``observables'') of background-independent theories and those of background-dependent (non-diffeomorphism-invariant) theories are essentially different in nature. I argue against both claims. Background-dependent theories can be formulated in a diffeomorphism-invariant manner. This suggests that the nature of the physical magnitudes of relevantly analogous theories (one background free, the other background dependent) is essentially the same. The temptation (...) to think otherwise stems from a misunderstanding of the meaning of spacetime coordinates in background-dependent theories. (shrink)

Given its importance in modern physics, philosophers of science have paid surprisingly little attention to the subject of symmetries and invariances, and they have largely neglected the subtopic of symmetry breaking. I illustrate how the topic of laws and symmetries brings into fruitful interaction technical issues in physics and mathematics with both methodological issues in philosophy of science, such as the status of laws of physics, and metaphysical issues, such as the nature of objectivity.

This paper is part II of a trilogy on the transition from classical particle mechanics to relativistic continuum mechanics that one of the authors is working on. The first part, on the Trouton experiment, was published in the Stachel festschrift (Janssen 2003). This paper focuses on the Lorentz-Poincaré electron, and, in particular, on the "Poincaré pressure" or "Poincaré stresses" introduced to stabilize the electron. It covers both the original argument by Poincaré (1906) and a modern relativistic argument for adding a (...) negative pressure term to the system's energy-momentum tensor inspired by the work of Laue (1911a, b). It highlights the importance of a paper by Lorentz (1899) in this context and of the "electromagnetic mechanics" of Abraham (1903). (shrink)

In this paper I wish to make some headway on understanding what \emph{kind} of problem the ``problem of time'' is, and offer a possible resolution---or, rather, a new way of understanding an old resolution. The response I give is a variation on a theme of Rovelli's \emph{evolving constants of motion} strategy. I argue that by giving correlation strategies a \emph{structuralist} basis, a number of objections to the standard account can be blunted. Moreover, I show that the account I offer provides (...) a suitable ontology for time in both classical and quantum canonical general relativity. (shrink)

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)

As Harvey Brown emphasizes in his book Physical Relativity, inertial motion in general relativity is best understood as a theorem, and not a postulate. Here I discuss the status of the "conservation condition", which states that the energy-momentum tensor associated with non-interacting matter is covariantly divergence-free, in connection with such theorems. I argue that the conservation condition is best understood as a consequence of the differential equations governing the evolution of matter in general relativity and many other theories. I conclude (...) by discussing what it means to posit a certain spacetime geometry and the relationship between that geometry and the dynamical properties of matter. (shrink)

In this paper I show how certain requirements must be set on any tenable account of scientific representation, such as the requirement allowing for misrepresentation. I then continue to argue that two leading accounts of scientific representation— the inferential account and the interpretational account—are flawed for they do not satisfy such requirements. Through such criticism, and drawing on an analogy from non-scientific representation, I also sketch the outline of a superior account. In particular, I propose to take epistemic representations to (...) be intentional objects that come with reference, semantic contents and a representational code, and I identify faithful representations as representations that act as guides to ontology. (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)