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)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

I examine two claims that arise in Brown’s account of inertial motion. Brown claims there is something objectionable about the way in which the motions of free particles in Newtonian theory and special relativity are coordinated. Brown also claims that since a geodesic principle can be derived in Einsteinian gravitation, the objectionable feature is explained away. I argue that there is nothing objectionable about inertia and that while the theorems that motivate Brown’s second claim can be said to figure in (...) a deductive-nomological explanation, their main contribution lies in their explication rather than their explanation of inertial motion. (shrink)

Symmetry, intended as invariance with respect to a transformation (more precisely, with respect to a transformation group), has acquired more and more importance in modern physics. This Chapter explores in 8 Sections the meaning, application and interpretation of symmetry in classical physics. This is done both in general, and with attention to specific topics. The general topics include illustration of the distinctions between symmetries of objects and of laws, and between symmetry principles and symmetry arguments (such as Curie's principle), and (...) reviewing the meaning and various types of symmetry that may be found in classical physics, along with different interpretative strategies that may be adopted. Specific topics discussed include the historical path by which group theory entered classical physics, transformation theory in classical mechanics, the relativity principle in Einstein's Special Theory of Relativity, general covariance in his General Theory of Relativity, and Noether's theorems. In bringing these diverse materials together in a single Chapter, we display the pervasive and powerful influence of symmetry in classical physics, and offer a possible framework for the further philosophical investigation of this topic. (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.

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

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)

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)

In General Relativity (GR), it has been claimed that inertia receives a dynamical explanation. This is in contrast to the situation in other theories, such as Special Relativity, because the geodesic principle of GR can be derived from Einstein’s field equations. The claim can be challenged in different ways, all of which question whether the status of inertia in GR is physically different from its status in previous spacetime theories. In this paper I state the original argument for the claim (...) precisely, discuss the different objections to it and then propose a formulation that avoids the problems the original claim encounters. My conclusion is that one can say meaningfully that inertia is dynamically explained in GR. There are two senses in which the derivation of geodetic motion can be said to provide a (more) dynamical explanation of inertia in GR: it holds for any material test body that is a source of the gravitational field; and it is derivable without assuming inertial structures that are fixed independently of matter. (shrink)

I examine a property of theories called "background-independence" that Einsteinian gravitation is thought to exemplify. This concept has figured in the work of Rovelli (2001, 2004), Smolin (2006), Giulini (2007), and Belot (2011), among others. I propose and evaluate a few candidates for background-independence, and I show that there is something chimaerical about the concept. I argue, however, that there is a proposal that clarifies the feature of Einsteinian gravitation that motivates the concept.

The idea that a serious threat to scientific realism comes from unconceived alternatives has been proposed by van Fraassen, Sklar, Stanford and Wray among others. Peter Lipton's critique of this threat from underconsideration is examined briefly in terms of its logic and its applicability to the case of space-time and particle physics. The example of space-time and particle physics indicates a generic heuristic for quantitative sciences for constructing potentially serious cases of underdetermination, involving one-parameter family of rivals T_m that work (...) as a team rather than as a single rival against default theory T_0. In important examples this new parameter has a physical meaning and makes a crucial _conceptual_ difference, shrinking the symmetry group and in some case putting gauge freedom, formal indeterminism vs. determinism, the presence of the hole argument, etc., at risk. Methodologies akin to eliminative induction or tempered subjective Bayesianism are more demonstrably reliable than the custom of attending only to "our best theory": they can lead either to a serious rivalry or to improved arguments for the favorite theory. The example of General Relativity vs. massive spin 2 gravity, a recent topic in the physics literature, is discussed. Arguably the General Relativity and philosophy literatures have ignored the most serious rival to General Relativity. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

The paper presents a metaphysical characterization of spatiotemporal backgrounds from a realist perspective. The conceptual analysis is based on a heuristic sketch that encompasses the common formal traits of the major spacetime theories, such as Newtonian mechanics and general relativity. It is shown how this framework can be interpreted in a fully realist fashion, and what is the role of background structures in such a picture. In the end it is argued that, although backgrounds are a source of metaphysical discomfort, (...) still they make a spacetime theory easy to interpret. It is also suggested that this conclusion partially explains why the notion of background independence carries a lot of conceptual difficulties. (shrink)

The paper presents an inquiry into the question regarding the compatibility of Bohmian mechanics, intended as a non-local theory of moving point-like particles, with background independence. This issue is worth being investigated because, if the Bohmian framework has to be of some help in developing new physics, it has to be compatible with the most well-established traits of modern physics, background independence being one of such traits. The paper highlights the fact that the notion of background independence in the context (...) of spacetime physics is slippery and interpretation-laden. It is then suggested that the best-matching framework developed by Julian Barbour might provide a robust enough meaning of background independence. The structure of Bohmian dynamics is evaluated against this framework, reaching some intermediate results that speak in favor of the fact that Bohmian mechanics can be made background independent. (shrink)

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 cosmic singularity provides negligible evidence for creation in the finite past, and hence theism. A physical theory might have no metric or multiple metrics, so a ‘beginning’ must involve a first moment, not just finite age. Whether one dismisses singularities or takes them seriously, physics licenses no first moment. The analogy between the Big Bang and stellar gravitational collapse indicates that a Creator is required in the first case only if a Destroyer is needed in the second. The need (...) for and progress in quantum gravity and the underdetermination of theories by data make it difficult to take singularities seriously. The singularity exemplifies the sort of gap that is likely to be closed by scientific progress, obviating special divine action. The apparent irrelevance of cardinality to practices of counting infinite sets in classical field theory and Fourier analysis is noted. Introduction The Doctrine of Creation and Its Warrant Cardinality and Sizes of Infinity Modern Cosmology and Creation Tolerance or Intolerance toward Singularities? Leibniz against Incompetent Watchmaker? Induction from Earlier Theories' Breakdown? Stellar Collapse Implies Theistic Destroyer Stacking the Deck for GTR Quantum Gravity Tends to Resolve Singularities Vicious God-of-the-Gaps Character Fluctuating or Inaccessible Warrant Big Bang Cosmology Not Especially Congenial to Faith CiteULike Connotea Del.icio.us What's this? (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)

In this paper, some conditions of physical reality are presented. These conditions are, in particular, the conditions of the real physical quantities. The symmetry principles held about reference frames are essential in presenting the conditions. In the stance taken in this paper, gauge symmetry, the different descriptions of the same physical situation, represents what is real. Based on the conditions, the real physical quantities and the real physical descriptions are those that are independent of reference frames. In the rigorous mathematical (...) term, one can say the real physical descriptions are those satisfied with the substantive general covariance requirement (in the Earman’s term). (shrink)

According to conventional wisdom, local gauge symmetry is not a symmetry of nature, but an artifact of how our theories represent nature. But a study of the so-called theta-vacuum appears to refute this view. The ground state of a quantized non-Abelian Yang-Mills gauge theory is characterized by a real-valued, dimensionless parameter theta—a fundamental new constant of nature. The structure of this vacuum state is often said to arise from a degeneracy of the vacuum of the corresponding classical theory, which degeneracy (...) allegedly arises from the fact that “large” (but not “small”) local gauge transformations connect physically distinct states of zero field energy. If that is right, then some local gauge transformations do generate empirical symmetries. In defending conventional wisdom against this challenge I hope to clarify the meaning of empirical symmetry while deepening our understanding of gauge transformations. I distinguish empirical from theoretical symmetries. Using Galileo’s ship and Faraday’s cube as illustrations, I say when an empirical symmetry is implied by a theoretical symmetry. I explain how the theta-vacuum arises, and how “large” gauge transformations differ from “small” ones. I then present two analogies from elementary quantum mechanics. By applying my analysis of the relation between empirical and theoretical symmetries, I show which analogy faithfully portrays the character of the vacuum state of a classical non-Abelian Yang-Mills gauge theory. The upshot is that “large” as well as “small” gauge transformations are purely formal symmetries of non-Abelian Yang-Mills gauge theories, whether classical or quantized. It is still worth distinguishing between these kinds of symmetries. An analysis of gauge within the constrained-Hamiltonian formalism yields the result that “large” gauge transformations should not be classified as gauge transformations; indeed, nor should “global” gauge transformations. In a theory in which boundary conditions are modeled dynamically, “global” gauge transformations may be associated with physical symmetries, corresponding to translations of these extra dynamical variables. Such translations are symmetries if and only if charge is conserved. But it is hard to argue that these symmetries are empirical, and in any case they do not correspond to any constant phase change in a quantum state. (shrink)

Quantum gravity is understood as a theory that, in some sense, unifies general relativity (GR) and quantum theory, and is supposed to replace GR at extremely small distances (high-energies). It may be that quantum gravity represents the breakdown of spacetime geometry described by GR. The relationship between quantum gravity and spacetime has been deemed ``emergence'', and the aim of this thesis is to investigate and explicate this relation. After finding traditional philosophical accounts of emergence to be inappropriate, I develop a (...) new conception of emergence by considering physical case studies including condensed matter physics, hydrodynamics, critical phenomena and quantum field theory understood as effective field theory. This new conception of emergence is unconcerned with the ideas of reduction and derivation (i.e. it holds that we may have emergence with reduction or without it). Instead, a low-energy theory (or model) is understood as emergent from a high-energy theory if it is novel and autonomous compared to the high-energy theory, and the low-energy physics is dependent in a particular, minimal sense on the high-energy physics (this dependence is revealed by the techniques of effective field theory and the renormalisation group). While novelty is construed in a broad sense, the autonomy comes essentially from the underdetermination of the high-energy theory by the low-energy theory, which reflects the minimal way in which the emergent, low-energy theory depends on the high-energy one. It results from the scaling behaviour of the theories and the limiting relations between them, and is demonstrated by the renormalisation group and effective field theory techniques, the idea of universality, and the phenomenon of symmetry-breaking. These ideas are important in exploring the relationship between quantum gravity and GR, where GR is understood as an effective, low-energy theory of quantum gravity. Without experimental data or a theory of quantum gravity, we rely on principles and techniques from other areas of physics to guide the way. As well as considering the idea of emergence appropriate to treating GR as an effective field theory, I investigate the emergence of spacetime (and other aspects of GR) in several concrete approaches to quantum gravity, including examples of the condensed matter approaches, the ``discrete approaches'' (causal set theory, causal dynamical triangulations, quantum causal histories and quantum graphity) and loop quantum gravity. (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)

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)

It is widely held among philosophers that the conservation of energy is true and important, and widely held among philosophers of science that conservation laws and symmetries are tied together by Noether's first theorem. However, beneath the surface of such consensus lie two slights to Noether's first theorem. First, there is a 325+-year controversy about mind-body interaction in relation to the conservation of energy and momentum, with occasional reversals of opinion. The currently popular Leibnizian view, dominant since the late 19th (...) century, claims to find an objection to broadly Cartesian views in their implication of energy non-conservation. Here energy conservation is viewed as an oracle, an unchallengeable black box. But Noether's first theorem and its converse show that conservation and symmetry of the laws stand or fall together. Absent some basis for expecting conservation in brains that has a claim on the Cartesian, the objection is circular. An empirically based argument is possible, but is a different argument with little force except insofar as it is rooted in neuroscience. Second, General Relativity has a 100+-year-long controversy about whether gravitational energy exists and is objectively localized. The usual view is that gravitational energy exists but is not objectively localized, though some deny its existence. Without positive answers to both questions, generally applicable conservation laws do not exist: energy is not conserved. This conclusion is startling in itself and a problem for conserved quantity theories of causation. Yet Noether's first theorem applies to General Relativity, which has uncountably many symmetries of its laws and so has conservation laws, indeed uncountably many of them. Many authors downplay these laws due to their quirky properties; some authors even attempt to explain the laws' supposed nonexistence in terms of an absence of symmetries of the geometry, which is a distraction. Thus Noether's first theorem is widely ignored, left uninterpreted, or distorted in relation to General Relativity. Taking the theorem seriously seems possible, however, restoring the conservation of energy, or rather, energies. How do these controversies relate? One sometimes finds claims that General Relativity's supposed lack of conservation laws answers Leibniz on behalf of Descartes. Taking seriously the superabundance of formal conservation laws in General Relativity, however, suggests that General Relativity resists mind-to-body causation. This conclusion can be proven apart from interpretive controversies. The resistance is, however, finite and tends to be swamped by larger world-view considerations. (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)

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)

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)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, along (...) with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

Einstein’s “point-coincidence argument'” as a response to the “hole argument” is usually considered as an expression of “Leibniz equivalence,” a restatement of indiscernibility in the sense of Leibniz. Through a historical-critical analysis of Logical Empiricists' interpretation of General Relativity, the paper attempts to show that this labeling is misleading. Logical Empiricists tried explicitly to understand the point-coincidence argument as an indiscernibility argument of the Leibnizian kind, such as those formulated in the 19th century debate about geometry, by authors such as (...) Poincaré, Helmholtz or Hausdorff. However, they clearly failed to give a plausible account of General Relativity. Thus the point-coincidence/hole argument cannot be interpreted as Leibnizian indiscernibility argument, but must be considered as an indiscernibility argument of a new kind. Weyl's analysis of Leibniz's and Einstein's indiscernibility arguments is used to support this claim. (shrink)