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 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 : 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 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)

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)

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)

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)

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)