I argue that the hole argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the hole argument is blocked. _1._ Introduction _2._ A Warmup Exercise _3._ The Hole Argument _4._ An Argument from Classical Spacetime Theory _5._ The Hole Argument Revisited.

The philosophical literature on time and change is fixated on the issue of whether the B-series account of change is adequate or whether real change requires Becoming of either the property-based variety of McTaggart's A-series or the non-property-based form embodied in C. D. Broad's idea of the piling up of successive layers of existence. For present purposes it is assumed that the B-series suffices to ground real change. But then it is noted that modern science in the guise of Einstein's (...) general theory poses a threat to real change by implying that none of the genuine physical magnitudes countenanced by the theory changes its value with time. The aims of this paper are to explain how this seemingly paradoxical conclusion arises and to assess the merits and demerits of possible reactions to it. (shrink)

I argue that the Hole Argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the Hole Argument is blocked.

The history of the theory of general relativity presents unique features. After its discovery, the theory was immediately confirmed and rapidly changed established notions of space and time. The further implications of general relativity, however, remained largely unexplored until the mid 1950s, when it came into focus as a physical theory and gradually returned to the mainstream of physics. This essay presents a historiographical framework for assessing the history of general relativity by taking into account in an integrated narrative intellectual (...) developments, epistemological problems, and technological advances; the characteristics of post–World War II and Cold War science; and newly emerging institutional settings. It argues that such a framework can help us understand this renaissance of general relativity as a result of two main factors: the recognition of the untapped potential of general relativity and an explicit effort at community building, which allowed this formerly disparate and dispersed field to benefit from the postwar changes in the scientific landscape. (shrink)

In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. By direct calculation it is found that each first-class constraint in Maxwell's theory generates a change in the electric field E by an arbitrary gradient, spoiling Gauss's law. The secondary first-class constraint p^i,_i=0 still holds, but being a function of derivatives of momenta, it is not directly about E. Only a special combination of the two first-class constraints, the Anderson-Bergmann -Castellani gauge generator G, leaves E (...) unchanged. This problem is avoided if one uses a first-class constraint as the generator of a _canonical transformation_; but that partly strips the canonical coordinates of physical meaning as electromagnetic potentials and makes the electric field depend on the smearing function, bad behavior illustrating the wisdom of the Anderson-Bergmann Lagrangian orientation of interesting canonical transformations. The need to keep gauge-invariant the relation dot{q}- dH/dp= -E_i -p^i=0 supports using the primary Hamiltonian rather than the extended Hamiltonian. The results extend the Lagrangian-oriented reforms of Castellani, Sugano, Pons, Salisbury, Shepley, _etc._ by showing the inequivalence of the extended Hamiltonian to the primary Hamiltonian even for _observables_, properly construed in the sense implying empirical equivalence. Dirac and others have noticed the arbitrary velocities multiplying the primary constraints outside the canonical Hamiltonian while apparently overlooking the corresponding arbitrary coordinates multiplying the secondary constraints _inside_ the canonical Hamiltonian, and so wrongly ascribed the gauge quality to the primaries alone, not the primary-secondary team G. Hence the Dirac conjecture about secondary first-class constraints rests upon a false presupposition. The usual concept of Dirac observables should also be modified to employ the gauge generator G, not the first-class constraints separately, so that the Hamiltonian observables become equivalent to the Lagrangian ones such as the electromagnetic field F. (shrink)

Dirac's approach to gauge symmetries is discussed. We follow closely the steps that led him from his conjecture concerning the generators of gauge transformations {\it at a given time} ---to be contrasted with the common view of gauge transformations as maps from solutions of the equations of motion into other solutions--- to his decision to artificially modify the dynamics, substituting the extended Hamiltonian for the total Hamiltonian. We show in detail that Dirac's analysis was incomplete and, in completing it, we (...) prove that the fulfilment of Dirac's conjecture ---in the ``non-pathological" cases--- does not imply any need to modify the dynamics. We give a couple of simple but significant examples. (shrink)

Change and local spatial variation are missing in Hamiltonian general relativity according to the most common definition of observables as having 0 Poisson bracket with all first-class constraints. But other definitions of observables have been proposed. In pursuit of Hamiltonian–Lagrangian equivalence, Pons, Salisbury and Sundermeyer use the Anderson–Bergmann–Castellani gauge generator G, a tuned sum of first-class constraints. Kuchař waived the 0 Poisson bracket condition for the Hamiltonian constraint to achieve changing observables. A systematic combination of the two reforms might use (...) the gauge generator but permit non-zero Lie derivative Poisson brackets for the external gauge symmetry of General Relativity. Fortunately one can test definitions of observables by calculation using two formulations of a theory, one without gauge freedom and one with gauge freedom. The formulations, being empirically equivalent, must have equivalent observables. For de Broglie-Proca non-gauge massive electromagnetism, all constraints are second-class, so everything is observable. Demanding equivalent observables from gauge Stueckelberg–Utiyama electromagnetism, one finds that the usual definition fails while the Pons–Salisbury–Sundermeyer definition with G succeeds. This definition does not readily yield change in GR, however. Should GR’s external gauge freedom of general relativity share with internal gauge symmetries the 0 Poisson bracket, or is covariance sufficient? A graviton mass breaks the gauge symmetry, but it can be restored by parametrization with clock fields. By requiring equivalent observables, one can test whether observables should have 0 or the Lie derivative as the Poisson bracket with the gauge generator G. The latter definition is vindicated by calculation. While this conclusion has been reported previously, here the calculation is given in some detail. (shrink)

I examine the early history of quantum gravity and comment on its suitability as an episode that demands an integrated approach to history and philosophy of science.

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

Is change missing in Hamiltonian Einstein–Maxwell theory? Given the most common definition of observables, observables are constants of the motion and nonlocal. Unfortunately this definition also implies that the observables for massive electromagnetism with gauge freedom are inequivalent to those of massive electromagnetism without gauge freedom. The alternative Pons–Salisbury–Sundermeyer definition of observables, aiming for Hamiltonian–Lagrangian equivalence, uses the gauge generator G, a tuned sum of first-class constraints, rather than each first-class constraint separately, and implies equivalent observables for equivalent massive electromagnetisms. (...) For General Relativity, G generates 4-dimensional Lie derivatives for solutions. The Lie derivative compares different space-time points with the same coordinate value in different coordinate systems, like 1 a.m. summer time versus 1 a.m. standard time, so a vanishing Lie derivative implies constancy rather than covariance. Requiring equivalent observables for equivalent formulations of massive gravity confirms that G must generate the 4-dimensional Lie derivative for observables. These separate results indicate that observables are invariant under internal gauge symmetries but covariant under external gauge symmetries, but can this bifurcated definition work for mixed theories such as Einstein–Maxwell theory? Pons, Salisbury and Shepley have studied G for Einstein–Yang–Mills. For Einstein–Maxwell, both \ and \ are invariant under electromagnetic gauge transformations and covariant under 4-dimensional coordinate transformations. Using the bifurcated definition, these quantities count as observables, as one would expect on non-Hamiltonian grounds. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. By construing change as essential time dependence, one can find change locally in vacuum GR in the Hamiltonian formulation just where it should be. But what if spinors are present? This paper is motivated by the tendency in space-time philosophy tends to (...) slight fermionic/spinorial matter, the tendency in Hamiltonian GR to misplace changes of time coordinate, and the tendency in treatments of the Einstein-Dirac equation to include a gratuitous local Lorentz gauge symmetry along with the physically significant coordinate freedom. Spatial dependence is dropped in most of the paper, both restricting the physical situation and largely fixing the spatial coordinates. In the interest of including all and only the coordinate freedom, the Einstein-Dirac equation is investigated using the Schwinger time gauge and Kibble-Deser symmetric triad condition are employed as a \ version of the DeWitt-Ogievetsky-Polubarinov nonlinear group realization formalism that dispenses with a tetrad and local Lorentz gauge freedom. Change is the lack of a time-like stronger-than-Killing field for which the Lie derivative of the metric-spinor complex vanishes. An appropriate \-friendly form of the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first class-constraints, is shown to change the canonical Lagrangian by a total derivative, implying the preservation of Hamilton’s equations. Given the essential presence of second-class constraints with spinors and their lack of resemblance to a gauge theory, it is useful to have an explicit physically interesting example. This gauge generator implements changes of time coordinate for solutions of the equations of motion, showing that the gauge generator makes sense even with spinors. (shrink)