We approach the physics of \emph{minimal coupling} in general relativity, demonstrating that in certain circumstances this leads to violations of the \emph{strong equivalence principle}, which states that, in general relativity, the dynamical laws of special relativity can be recovered at a point. We then assess the consequences of this result for the \emph{dynamical perspective on relativity}, finding that potential difficulties presented by such apparent violations of the strong equivalence principle can be overcome. Next, we draw upon our discussion of the (...) dynamical perspective in order to make explicit two `miracles' in the foundations of relativity theory. We close by arguing that the above results afford us insights into the nature of special relativity, and its relation to general relativity. (shrink)

An energy condition, in the context of a wide class of spacetime theories, is, crudely speaking, a relation one demands the stress-energy tensor of matter satisfy in order to try to capture the idea that "energy should be positive". The remarkable fact I will discuss in this paper is that such simple, general, almost trivial seeming propositions have profound and far-reaching import for our understanding of the structure of relativistic spacetimes. It is therefore especially surprising when one also learns that (...) we have no clear understanding of the nature of these conditions, what theoretical status they have with respect to fundamental physics, what epistemic status they may have, when we should and should not expect them to be satisfied, and even in many cases how they and their consequences should be interpreted physically. Or so I shall argue, by a detailed analysis of the technical and conceptual character of all the standard conditions used in physics today, including examination of their consequences and the circumstances in which they are believed to be violated. (shrink)

I discuss the debate between dynamical versus geometrical approaches to spacetime theories, in the context of both special and general relativity, arguing that the debate takes a substantially different form in the two cases; different versions of the geometrical approach—only some of which are viable—should be distinguished; in general relativity, there is no difference between the most viable version of the geometrical approach and the dynamical approach. In addition, I demonstrate that what have previously been dubbed two ‘miracles’ of general (...) relativity admit of no resolution from within general relativity, on either the dynamical or ‘qualified’ geometrical approaches, modulo some possible hints that the second ‘miracle’ may be resolved by appeal to recent results regarding the ‘geodesic principle’ in GR. (shrink)

By mass-energy equivalence, the gravitational field has a relativistic mass density proportional to its energy density. I seek to better understand this mass of the gravitational field by asking whether it plays three traditional roles of mass: the role in conservation of mass, the inertial role, and the role as source for gravitation. The difficult case of general relativity is compared to the more straightforward cases of Newtonian gravity and electromagnetism by way of gravitoelectromagnetism, an intermediate theory of gravity that (...) resembles electromagnetism. (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.

I examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the hole argument does not bear on the debate, because it provides no clear criterion to distinguish the positions. I propose two such precise criteria and construct separate arguments based on each to yield contrary conclusions, one supportive of something like relationalism and the other of something like substantivalism. The lesson is that one must fix an (...) investigative context in order to make such criteria precise, but different investigative contexts yield inconsistent results. I examine questions of existence about spacetime structures other than the spacetime manifold itself to argue that it is more fruitful to focus on pragmatic issues of physicality, a notion that lends itself to several different explications, all of philosophical interest, none privileged a priori over any of the others. I conclude by suggesting an extension of the lessons of my arguments to the broader debate between realists and instrumentalists. 1 Introduction2 The Hole Argument3 Limits of Spacetimes4 Pointless Constructions5 The Debate between Substantivalists and Relationalists6 Existence and Physicality: An Embarassment of Spacetime Structures7 Valedictory Remarks on Realism and Instrumentalism, and the Structure of Our Knowledge of Physics. (shrink)

The present paper revisits the debate between realists about gravitational energy in GR and anti-realists/eliminativists. I re-assess the arguments underpinning Hoefer’s seminal eliminativist stance, and those of their realist detractors’ responses. A more circumspect reading of the former is proffered that discloses where the so far not fully appreciated, real challenges lie for realism about gravitational energy. I subsequently turn to Lam and Read’s recent proposals for such a realism. Their arguments are critically examined. Special attention is devoted to the (...) adequacy of Read’s appeals to functionalism, imported from the philosophy of mind. (shrink)

The questions of what represents space-time in GR, the status of gravitational energy, the substantivalist-relationalist issue, and the exceptional status of gravity are interrelated. If space-time has energy-momentum, then space-time is substantival. Two extant ways to avoid the substantivalist conclusion deny that the energy-bearing metric is part of space-time or deny that gravitational energy exists. Feynman linked doubts about gravitational energy to GR-exceptionalism, as do Curiel and Duerr; particle physics egalitarianism encourages realism about gravitational energy. In that spirit, this essay (...) proposes a third possible view about space-time, one involving a particle physics-inspired non-perturbative split that characterizes space-time with a constant background _matrix_, a sort of vacuum value, thus avoiding the inference from gravitational _energy to substantivalism. On this proposal, space-time is, where eta=diag is a spatio-temporally constant numerical signature matrix, a matrix already used in GR with spinors. The gravitational potential, to which any gravitational energy can be ascribed, is g_{\mu\nu}- eta, an _affine_ geometric object with a tensorial Lie derivative and a vanishing covariant derivative. This non-perturbative split permits strong fields, arbitrary coordinates, and arbitrary topology, and hence is pure GR by almost any standard. This razor-thin background, unlike more familiar backgrounds, involves no extra gauge freedom and so lacks their obscurities and carpet lump-moving. After a discussion of Curiel's GR exceptionalist denial of the localizability of gravitational energy and his rejection of energy conservation, the two traditional objections to pseudotensors, coordinate dependence and nonuniqueness, are explored. Both objections are inconclusive and getting weaker. A literal interpretation involving infinitely many energies corresponding by Noether's first theorem to the infinite symmetries of the _action_ largely answers Schroedinger's false-negative coordinate dependence problem. Bauer's false-positive objection has multiple answers. Non-uniqueness might be handled by Nester et al.'s finding physical meaning in multiplicity in relation to boundary conditions, by an optimal candidate, or by Bergmann's identifying the non-uniqueness and coordinate dependence ambiguities as one. (shrink)

A central issue in the philosophical debates over general relativity concerns the status of the metric field: should it be regarded as part of the background arena in which physical fields evolve, or as a physical field itself? In this paper, we approach this debate through its relationship to the so-called "Problem of Space": the problem of determining which abstract, mathematical geometries are candidate descriptions of physical space. In particular, we explore the way that Hermann Weyl tackled the Problem of (...) Space in the wake of general relativity, and argue that Weyl’s proposed solution reveals a “middle way” between bare-manifold and manifold-plus-metric accounts of spacetime. (shrink)

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

The standard argument for the uniqueness of the Einstein field equation is based on Lovelock's Theorem, the relevant statement of which is restricted to four dimensions. I prove a theorem similar to Lovelock's, with a physically modified assumption: that the geometric object representing curvature in the Einstein field equation ought to have the physical dimension of stress-energy. The theorem is stronger than Lovelock's in two ways: it holds in all dimensions, and so supports a generalized argument for uniqueness; it does (...) not assume that the desired tensor depends on the metric only up second-order partial-derivatives, that condition being a consequence of the proof. This has consequences for understanding the nature of the cosmological constant and theories of higher-dimensional gravity. Another consequence of the theorem is that it makes precise the sense in which there can be no gravitational stress-energy tensor in general relativity. Along the way, I prove a result of some interest about the second jet-bundle of the bundle of metrics over a manifold. (shrink)