Deutsch and Hayden have proposed an alternative formulation of quantum mechanics which is completely local. We argue that their proposal must be understood as having a form of ‘gauge freedom’ according to which mathematically distinct states are physically equivalent. Once this gauge freedom is taken into account, their formulation is no longer local.

As is well know from Einstein the choice of a criterion for distant simultaneity is equivalent to stipulating one-way speeds for the transit of light. It is shown that any choice of non-standard synchrony is equivalent to a Lorentz local time boost. From this and considerations from the hole argument, it follows that there is a non-trivial sense in which distant simultaneity is conventional, at least to the extent that the “gauge freedom” arising in the hole argument is (...) non-trivial. (shrink)

The classical field theories that underlie the quantum treatments of the electromagnetic, weak, and strong forces share a peculiar feature: specifying the initial state of the field determines the evolution of some degrees of freedom of the theory while leaving the evolution of some others wholly arbitrary. This strongly suggests that some of the variables of the standard state space lack physical content-intuitively, the space of states of such a theory is of higher dimension than the corresponding space of (...) genuine physical possibilities. The structure of such theories can helpfully be characterized in terms of the action of symmetry groups on their space of states; and the conceptual problems surrounding their strange behavior can be sharpened in light of the observation that it is usually possible to eliminate the redundant variables associated with these symmetries-which turn out to be precisely those variables whose evolution is unconstrained by the dynamical laws of the theory. This paper discusses this approach, uses it to frame questions about the interpretation of classical gauge theories, and to reflect (pessimistically) on our prospects of reaching satisfactory answers to these questions. (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)

It has long been a commonplace that there is a problem understanding the role of time when one tries to quantize the General Theory of Relativity (GTR). In his "Thoroughly Modern McTaggart" (Philosophers' Imprint Vol 2, No. 3), John Earman presents several arguments to the conclusion that there is a problem understanding change and the passage of time in the unadorned GTR, quite apart from quantization. His Young McTaggart argues that according to the GTR, no physical magnitude ever changes. A (...) close consideration of Young McTaggart's arguments show that they turn on either a bad choice of formalism or an unwarranted interpretation of the implications of the formalism. This suggests that the problems that arise in quantization may be founded in similar shortcomings. (shrink)

I address the view that the classical electromagnetic potentials are shown by the Aharonov–Bohm effect to be physically real. I give a historico-philosophical presentation of this view and assess its prospects, more precisely than has so far been done in the literature. Taking the potential as physically real runs prima facie into ‘gauge-underdetermination’: different gauge choices represent different physical states of affairs and hence different theories. This fact is usually not acknowledged in the literature, neither by proponents nor (...) by opponents of the potentials view. I then illustrate this theme by what I take to be the basic insight of the AB effect for the potentials view, namely that the gauge equivalence class that directly corresponds to the electric and magnetic fields is too wide, i.e., the Narrow Equivalence Class encodes additional physical degrees of freedom: these only play a distinct role in a multiply-connected space. There is a trade-off between explanatory power and gauge symmetries. On the one hand, this narrower equivalence class gives a local explanation of the AB effect in the sense that the phase is incrementally picked up along the path of the electron. On the other hand, locality is not satisfied in the sense of signal locality, viz. the finite speed of propagation exhibited by electric and magnetic fields. It is therefore intellectually mandatory to seek desiderata that will distinguish even within these narrower equivalence classes, i.e. will prefer some elements of such an equivalence class over others. I consider various formulations of locality, such as Bell locality, local interaction Hamiltonians, and signal locality. I show that Bell locality can only be evaluated if one fixes the gauge freedom completely. Yet, an explanation in terms of signal locality can be accommodated by the Lorenz gauge: the potentials propagate in waves at finite speed. I therefore suggest the Lorenz gauge potentials theory—an even narrower gauge equivalence relation—as the ontology of electrodynamics. (shrink)

The axiomatic bases of Special Relativity Theory (SRT) are thoroughly re-examined from an operational point of view, with particular emphasis on the status of Einstein synchronization in the light of the possibility of arbitrary synchronization procedures in inertial reference frames. Once correctly and explicitly phrased, the principles of SRT allow for a wide range of “theories” that differ from the standard SRT only for the difference in the chosen synchronization procedures, but are wholly equivalent to SRT in predicting empirical facts. (...) This results in the introduction, in the full background of SRT, of a suitable synchronization gauge. A complete hierarchy of synchronization gauges is introduced and elucidated, ranging from the useful Selleri synchronization gauge (which should lead, according to Selleri, to a multiplicity of theories alternative to SRT) to the more general Mansouri–Sexl synchronization gauge and, finally, to the even more general Anderson–Vetharaniam–Stedman’s synchronization gauge. It is showed that all these gauges do not challenge the SRT, as claimed by Selleri, but simply lead to a number of formalisms which leave the geometrical structure of Minkowski spacetime unchanged. Several aspects of fundamental and applied interest related to the conventional aspect of the synchronization choice are discussed, encompassing the issue of the one-way velocity of light in inertial and rotating reference frames, the global positioning system (GPS)’s working, and the recasting of Maxwell equations in generic synchronizations. Finally, it is showed how the gauge freedom introduced in SRT can be exploited in order to give a clear explanation of the Sagnac effect for counter-propagating matter beams. (shrink)

Local gauge theories are in a complicated relationship with boundaries. Whereas fixing the gauge can often shave off unwanted redundancies, the coupling of different bounded regions requires the use of gauge-variant elements. Therefore, coupling is inimical to gauge-fixing, as usually understood. This resistance to gauge-fixing has led some to declare the coupling of subsystems to be the \textit{raison d'\^etre} of gauge \cite{RovelliGauge2013}. Indeed, while gauge-fixing is entirely unproblematic for a single region without boundary, (...) it introduces arbitrary boundary conditions on the gauge degrees of freedom themselves---these conditions lack a physical interpretation when they are not functionals of the original fields. Such arbitrary boundary choices creep into the calculation of charges through Noether's second theorem, muddling the assignment of physical charges to local gauge symmetries. The confusion brewn by gauge at boundaries is well-known, and must be contended with both conceptually and technically. It may seem natural to replace the arbitrary boundary choice with new degrees of freedom, for using such a device we resolve some of these confusions while leaving no gauge-dependence on the computation of Noether charges \cite{DonnellyFreidel}. But, concretely, such boundary degrees of freedom are rather arbitrary---they have no relation to the original field-content of the field theory. How should we conceive of them? Here I will explicate the problems mentioned above and illustrate a possible resolution: in a recent series of papers \cite{GomesRiello2016, GomesRiello2018, GomesHopfRiello} the notion of a connection-form was put forward and implemented in the field-space of gauge theories. Using this tool, a modified version of symplectic geometry---here called `horizontal'---is possible. Independently of boundary conditions, this formalism bestows to each region a physically salient, relational notion of charge: the horizontal Noether charge. Meanwhile, as required, the connection-form mediates an irenic composition of regions, one compatible with the attribution of horizontal Noether charges to each region. Thes aims of this paper are to highlight the boundary issues in the treatment of gauge, and to discuss how gauge theory may be conceptually clarified in light of a resolution to these issues. (shrink)

Like moths attracted to a bright light, philosophers are drawn to glitz. So in discussing the notions of ‘gauge’, ‘gauge freedom’, and ‘gauge theories’, they have tended to focus on examples such as Yang–Mills theories and on the mathematical apparatus of fibre bundles. But while Yang–Mills theories are crucial to modern elementary particle physics, they are only a special case of a much broader class of gauge theories. And while the fibre bundle apparatus turned out, (...) in retrospect, to be the right formalism to illuminate the structure of Yang–Mills theories, the strength of this apparatus is also its weakness: the fibre bundle formalism is very flexible and general, and, as such, fibre bundles can be seen lurking under, over, and around every bush. What is needed is an explanation of what the relevant bundle structure is and how it arises, especially for theories that are not initially formulated in fibre bundle language. Here I will describe an approach that grows out of the conviction that, at least for theories that can be written in Lagrangian/Hamiltonian form, gauge freedom arises precisely when there are Lagrangian/Hamiltonian constraints of an appropriate character. This conviction is shared, if only tacitly, by that segment of the physics community that works on constrained Hamiltonian systems. (shrink)

How can we reconcile two claims that are now both widely accepted: Kretschmann's claim that a requirement of general covariance is physically vacuous and the standard view that the general covariance of general relativity expresses the physically important diffeomorphism gauge freedom of general relativity? I urge that both claims can be held without contradiction if we attend to the context in which each is made.

This article suggests a fresh look at gauge symmetries, with the aim of drawing a clear line between the a priori theoretical considerations involved, and some methodological and empirical non-deductive aspects that are often overlooked. The gauge argument is primarily based on a general symmetry principle expressing the idea that a change of mathematical representation should not change the form of the dynamical law. In addition, the ampliative part of the argument is based on the introduction of new (...) degrees of freedom into the theory according to a methodological principle that is formulated here in terms of correspondence between passive and active transformations. To demonstrate how the two kinds of considerations work together in a concrete context, I begin by considering spatial symmetries in mechanics. I suggest understanding Mach's principle as a similar combination of theoretical, methodological and empirical considerations, and demonstrate the claim with a simple toy model. I then examine gauge symmetries as a manifestation of the two principles in a quantum context. I further show that in all of these cases the relational nature of physically significant quantities can explain the relevance of the symmetry principle and the way the methodology is applied. In the quantum context, the relevant relational variables are quantum phases. (shrink)

Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on (...) the Lagrangian, variational-problem description of classical mechanics, from which the link between gauge symmetry and the apparent violation of determinism is easy to understand; only towards the end will the Hamiltonian description be considered. -/- The other purpose is to warn against adopting too unified a perspective on gauge theories. It will be argued that the meaning of the gauge freedom in a theory like general relativity is (at least from the Lagrangian viewpoint) significantly different from its meaning in theories like electromagnetism. The Hamiltonian framework blurs this distinction, and orthodox methods of quantization obliterate it; this may, in fact, be genuine progress, but it is dangerous to be guided by mathematics into conflating two conceptually distinct notions without appreciating the physical consequences. (shrink)

This paper deals with a number of technical achievements that are instrumental for a dis-solution of the so-called "Hole Argument" in general relativity. Such achievements include: 1) the analysis of the "Hole" phenomenology in strict connection with the Hamiltonian treatment of the initial value problem. The work is carried through in metric gravity for the class of Christoudoulou-Klainermann space-times, in which the temporal evolution is ruled by the "weak" ADM energy; 2) a re-interpretation of "active" diffeomorphisms as "passive and metric-dependent" (...) dynamical symmetries of Einstein's equations, a re-interpretation which enables to disclose their (up to now unknown) connection to gauge transformations on-shell; understanding such connection also enlightens the real content of the Hole Argument or, better, dis-solves it together with its alleged "indeterminism"; 3) the utilization of the Bergmann-Komar "intrinsic pseudo-coordinates", defined as suitable functionals of the Weyl curvature scalars, as tools for a peculiar gauge-fixing to the super-hamiltonian and super-momentum constraints; 4) the consequent construction of a "physical atlas" of 4-coordinate systems for the 4-dimensional "mathematical" manifold, in terms of the highly non-local degrees of freedom of the gravitational field (its four independent "Dirac observables"). Such construction embodies the "physical individuation" of the points of space-time as "point-events", independently of the presence of matter, and associates a "non-commutative structure" to each gauge fixing or four-dimensional coordinate system; 5) a clarification of the multiple definition given by Peter Bergmann of the concept of "(Bergmann) observable" in general relativity. This clarification leads to the proposal of a "main conjecture" asserting the existence of i) special Dirac's observables which are also Bergmann's observables, ii) gauge variables that are coordinate independent (namely they behave like the tetradic scalar fields of the Newman-Penrose formalism). A by-product of this achievements is the falsification of a recently advanced argument asserting the absence of (any kind of) "change" in the observable quantities of general relativity. 6) a clarification of the physical role of Dirac and gauge variables as their being related to "tidal-like" and "inertial-like" effects, respectively. This clarification is mainly due to the fact that, unlike the standard formulations of the equivalence principle, the Hamiltonian formalism allows to define notion of "force" in general relativity in a natural way; 7) a proposal showing how the physical individuation of point-events could in principle be implemented as an experimental setup and protocol leading to a "standard of space-time" more or less like atomic clocks define standards of time. We conclude that, besides being operationally essential for building measuring apparatuses for the gravitational field, the role of matter in the non-vacuum gravitational case is also that of "participating directly" in the individuation process, being involved in the determination of the Dirac observables. This circumstance leads naturally to a peculiar new kind of "structuralist" view of the general-relativistic concept of space-time, a view that embodies some elements of both the traditional "absolutist" and "relational" conceptions. In the end, space-time point-events maintain a "peculiar sort of objectivity". Some hints following from our approach for the quantum gravity programme are also given. (shrink)

Philosophers of physics have spent much effort unpacking the structure of gauge theories. But surprisingly, little attention has been devoted to the question of why we should require our best theories to be locally gauge invariant in the first place. Drawing on Steven Weinberg's works in the mid-1960s, I argue that the principle of local gauge invariance follows from Lorentz invariance and other natural assumptions in the context of perturbative relativistic quantum field theory. On this view, (...) class='Hi'>gauge freedom is a mere accidental feature of an already highly constrained set of quantities; the distinctive structure of our best gauge theories, in turn, traces back to the peculiar space-time transformation properties of particles like photons, gluons, and gravitons. I conclude by drawing a few interpretative lessons for the philosophy of gauge theories. (shrink)

Quantum field theories are notoriously difficult to understand, physically as well as philosophically. The aim of this paper is to contribute to a better conceptual understanding of gauge quantum field theories, such as quantum chromodynamics, by discussing a famous physical limit, the ’t Hooft limit, in which the theory concerned often simplifies. The idea of the limit is that the number N of colours goes to infinity. The simplifications that can happen in this limit, and that we will consider, (...) are: the theory’s Feynman diagrams can be drawn on a plane without lines intersecting ; and the theory, or a sector of it, becomes integrable, and indeed corresponds to a well-studied system, viz. a spin chain. Planarity is important because it shows how a quantum field theory can exhibit extended, in particular string-like, structures; in some cases, this gives a connection with string theory, and so with its representation of gravity. Previous philosophical literature about how one theory might be emergent from, and-or reduced to, another one has tended to emphasize cases, such as occur in statistical mechanics, where the system before the limit has finitely many degrees of freedom. But here, our quantum field theories, including those on the way to the ’t Hooft limit, will have infinitely many degrees of freedom. Nevertheless, we will show how a recent schema by Butterfield and taxonomy by Norton apply to the quantum field theories we consider; and we will classify three physical properties of our theories in these terms. These properties are planarity and integrability, as in and above; and the behaviour of the beta-function reflecting, for example, asymptotic freedom. Our discussion of these properties, especially the beta-function, will also relate to recent philosophical debate about the propriety of assessing quantum field theories, whose rigorous existence is not yet proven. (shrink)

Recently two pairs of authors have aimed to vindicate the longstanding "orthodox" or conventional claim that a first-class constraint generates a gauge transformation in typical gauge theories such as electromagnetism, Yang-Mills and General Relativity, in response to the Lagrangian-equivalent reforming tradition, in particular Pitts, _Annals of Physics_ 2014. Both pairs emphasize the coherence of the extended Hamiltonian formalism against what they take to be core ideas in Pitts 2014, but both overlook Pitts 2014's sensitivity to ways that one (...) might rescue the claim in question, including an additive redefinition of the electrostatic potential. Hence the bulk of the paper is best interpreted as arguing that the longstanding claim about separate first-class constraints is _either false or trivial_---de-Ockhamization (using more when less suffices by splitting one quantity into the sum of two) being trivial. Unfortunately section 9 of Pitts 2014, a primarily verbal argument that plays no role in other works, is refuted. Pooley and Wallace's inverse Legendre transformation to de-Ockhamized electromagnetism with an additively redefined electrostatic potential, however, opens the door to a precisely analogous calculation introducing a photon mass, which shows that a _second-class primary_ constraint generates a 'gauge transformation' in the exactly same sense---a _reductio ad absurdum_ of the orthodox claim that a first-class constraint generates a gauge transformation _and a second-class constraint does not_. A _reductio_ using massive electromagnetism was presaged in Pitts 2014. Gauge freedom by de-Ockhamization does not require any constraints at all, first-class or second-class, because any dynamical variable in any Lagrangian can be de-Ockhamized into exhibiting trivial additive artificial gauge freedom by splitting one quantity into the sum of two. Physically interesting gauge freedom, however, is typically generated by a tuned sum of first-class constraints, not each first-class constraint alone. (shrink)

In this paper, we review a general technique for converting the standard Lagrangian description of a classical system into a formulation that puts time on an equal footing with the system's degrees of freedom. We show how the resulting framework anticipates key features of special relativity, including the signature of the Minkowski metric tensor and the special role played by theories that are invariant under a generalized notion of Lorentz transformations. We then use this technique to revisit a classification (...) of classical particle-types that mirrors Wigner's classification of quantum particle-types in terms of irreducible representations of the Poincaré group, including the cases of massive particles, massless particles, and tachyons. Along the way, we see gauge invariance naturally emerge in the context of classical massless particles with nonzero spin, as well as study the massless limit of a massive particle and derive a classical-particle version of the Higgs mechanism. (shrink)

An analysis is presented of the significance and consequent limitations on the applicability of the von Neumann measurement postulate in quantum mechanics. Directly observable quantities, such as the expectation value of the velocity operator, are distinguished from mathematical constructs, such as the expectation value of the canonical momentum, which are not directly observable. A simple criterion to distinguish between the two types of operators is derived. The non-observability of the electromagnetic four-potentials is shown to imply the non-measurability of the canonical (...) momentum. The concept of a mechanical gauge is introduced and discussed. Classically the Lagrangian is nonunique within a total time derivative. This may be interpreted as the freedom of choosing a “mechanical” (M) gauge function. In quantum mechanics it is often implicitly assumed that the M-gauge vanishes. However, the requirement that directly observable quantities be independent of the arbitrary mechanical gauge is shown to lead to results analogous to those derived from the requirement of electromagnetic gauge independence of observables. The significance of the above to the observability of transition amplitudes between field-free energy eigenstates in the presence (and absence) of electromagnetic fields is discussed. E- and M-gauge independent transition amplitudes between field-free energy eigenstates in the absence of electromagnetic fields are defined. It is shown that, in general, such measurable amplitudes cannot be defined in the presence of externally applied time-dependent fields. Transition amplitudes in the presence of time-independent fields are discussed. The path dependence of previous derivations of E-gauge independent Hamiltonians and/or transition amplitudes in the presence of electromagnetic fields are related to the inherent M-gauge dependence of these quantities in the presence of such fields. (shrink)

We develop some ideas about gauge symmetry in the context of Maxwell’s theory of electromagnetism in the Hamiltonian formalism. One great benefit of this formalism is that it pairs momentum and configurational degrees of freedom, so that a decomposition of one side into subsets can be translated into a decomposition of the other. In the case of electromagnetism, this enables us to pair degrees of freedom of the electric field with degrees of freedom of the vector (...) potential. Another benefit is that the formalism algorithmically identifies subsets of the equations of motion that represent time-dependent symmetries. For electromagnetism, these two benefits allow us to define gauge-fixing in parallel to special decompositions of the electric field. More specifically, we apply the Helmholtz decomposition theorem to split the electric field into its Coulombic and radiative parts, and show how this gives a special role to the Coulomb gauge (i.e. div \((\mathbf{A}) = 0\) ). We relate this argument to Maudlin’s (Entropy, 2018. https://doi.org/10.3390/e20060465 ) discussion, which advocated the Coulomb gauge. (shrink)

This paper shows how the study of surpluses of structure is an interesting philosophical task. In particular I explore how local gauge symmetry in quantized Yang-Mills theories is the by-product of the specific dynamical structure of interaction. It is shown how in non relativistic quantum mechanics gauge symmetry corresponds to the freedom to locally define global features of gauge potentials. Also discussed is how in quantum field theory local gauge symmetry is replaced by BRST symmetry. (...) This last symmetry is apparently the result of the fact that we do not know how to define quantum Yang-Mills theories without unphysical gauge boson states. Since Yang-Mills theories describe successfully three of the four fundamental interactions the elucidation of this symmetry is a pressing philosophical question. (shrink)

The eliminative view of gauge degrees of freedom—the view that they arise solely from descriptive redundancy and are therefore eliminable from the theory—is a lively topic of debate in the philosophy of physics. Recent work attempts to leverage properties of the QCD $$\theta _{\text {YM}}$$ θ YM -term to provide a novel argument against the eliminative view. The argument is based on the claim that the QCD $$\theta _{\text {YM}}$$ θ YM -term changes under “large” gauge transformations. (...) Here we review geometrical propositions about fiber bundles that unequivocally falsify these claims: the $$\theta _{\text {YM}}$$ θ YM -term encodes topological features of the fiber bundle used to represent gauge degrees of freedom, but it is fully gauge-invariant. Nonetheless, within the essentially classical viewpoint pursued here, the physical role of the $$\theta _{\text {YM}}$$ θ YM -term shows the physical importance of bundle topology (or superpositions thereof) and thus counts against (a naive) eliminativism. (shrink)

We investigate a theory in which fundamental objects are branes described in terms of higher grade coordinates $X^{\mu{_1}\ldots \mu{_n}}$ encoding both the motion of a brane as a whole, and its volume evolution. We thus formulate a dynamics which generalizes the dynamics of the usual branes. Geometrically, coordinates $X^{\mu{_1} \ldots \mu{_n}}$ and associated coordinate frame fields { ${\gamma_{\mu{_1}\ldots\mu{_n}}}$ } extend the notion of geometry from spacetime to that of an enlarged space, called Clifford space or C-space. If we start from (...) four-dimensional spacetime, then the dimension of C-space is 16. The fact that C-space has more than four dimensions suggests that it could serve as a realization of Kaluza-Klein idea. The “extra dimensions” are not just the ordinary extra dimensions, they are related to the volume degrees of freedom, therefore they are physical, and need not be compactified. Gauge fields are due to the metric of Clifford space. It turns out that amongst the latter gauge fields there also exist higher grade, antisymmetric fields of the Kalb–Ramond type, and their non-Abelian generalization. All those fields are naturally coupled to the generalized branes, whose dynamics is given by a generalized Howe–Tucker action in curved C-space. (shrink)

What is freedom? Can we measure it? Does it affect policy? This book develops an original measure of freedom called 'Autonomy Freedom', consistent with J. S. Mill's view of autonomy, and applies it to issues in policy and political design. The work pursues three aims. First, it extends classical liberalism beyond exclusive reliance on negative freedom so as to take autonomous behavior explicitly into account. Second, it grounds on firm conceptual foundations a new standard in the (...) measurement of freedom that can be fruitfully coupled with existing gauges. Third, it shows empirically that individual preferences for redistribution and cross-country differences in welfare spending in Organisation for Economic Co-operation and Development countries are driven by the degree of 'autonomy freedom' that individuals enjoy. By means of an interdisciplinary approach and a sophisticated econometric methodology, the book takes an explicit stand in defense of freedom and sets the basis for a liberalism based upon people's actions and institutions. (shrink)

This chapter begins with an Epicurean account of freedom of choice, which illustrates some of the larger contours of Plato's ethical aims in the context of his materialism. It also serves as a salient point of departure for gauging the overall plausibility of his general project of ‘naturalizing reason’, to use a contemporary slogan Epicurus might well have endorsed. The discussions then turn to Epicurus's claims about death and pleasure.

This (somewhat polemical) paper focuses on the ontological nature of money and draws comparisons to the ontological status of gauge freedom in physics. The parallels allow us to move beyond the social constructivist theories of Searle et al., and thereby avoid some pitfalls with such views. Since we have a reasonably good grasp of the ontological features in the physics context, we can pull back lessons from there onto the economic domain. In general, we find that this approach (...) offers a nice lens through which to view the ontological peculiarities of money. (shrink)

Simone de Beauvoir and the Colonial Experience presents a gendered and female perspective of French colonialism between 1946 and 1962. Beauvoir’s colonial reflections can help us to better gauge how women—White, Asian, Arab, Caribbean, Latina, mixed race, and Black—decipher the crimes and injustices of French colonialism.

The paper is about the physical theories which result when one identifies points in phase space related by symmetries; with applications to problems concerning gauge freedom and the structure of spacetime in classical mechanics.

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)

Change and local spatial variation are missing in canonical General Relativity's observables as usually defined, an aspect of the problem of time. Definitions can be tested using equivalent formulations of a theory, non-gauge and gauge, because they must have equivalent observables and everything is observable in the non-gauge formulation. Taking an observable from the non-gauge formulation and finding the equivalent in the gauge formulation, one requires that the equivalent be an observable, thus constraining definitions. For (...) massive photons, the de Broglie-Proca non-gauge formulation observable A_{\mu} is equivalent to the Stueckelberg-Utiyama gauge formulation quantity A_{\mu} + \partial_{\mu} \phi, which must therefore be an observable. To achieve that result, observables must have 0 Poisson bracket not with each first-class constraint, but with the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first-class constraints, in accord with the Pons-Salisbury-Sundermeyer definition of observables. The definition for external gauge symmetries can be tested using massive gravity, where one can install gauge freedom by parametrization with clock fields X^A. The non-gauge observable g^{\mu\nu} has the gauge equivalent X^A,_{\mu} g^{\mu\nu} X^B,_{\nu}. The Poisson bracket of X^A,_{\mu} g^{\mu\nu} X^B,_{\nu} with G turns out to be not 0 but a Lie derivative. This non-zero Poisson bracket refines and systematizes Kuchař's proposal to relax the 0 Poisson bracket condition with the Hamiltonian constraint. Thus observables need covariance, not invariance, in relation to external gauge symmetries. The Lagrangian and Hamiltonian for massive gravity are those of General Relativity + \Lambda + 4 scalars, so the same definition of observables applies to General Relativity. Local fields such as g_{\mu\nu} are observables. Thus observables change. Requiring equivalent observables for equivalent theories also recovers Hamiltonian-Lagrangian equivalence. (shrink)

After some background setting in which it is shown how Maudlin's (1989, 1990) response to the hole argument of Earman and Norton (1987) is related to that of Rynasiewicz (1994), it is argued that the syntactic proposals of Mundy (1992) and of Leeds (1995), which claim to dismiss the hole argument as an uninteresting blunder, are inadequate. This leads to a discussion of how the responses of Maudlin and Rynasiewicz relate to issues about gauge freedom and relativity principles.

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)

Substantivalists claim that spacetime enjoys an existence analogous to that of material bodies, while relationalists seek to reduce spacetime to sets of possible spatiotemporal relations. The resulting debate has been central to the philosophy of space and time since the Scientific Revolution. Recently, many philosophers of physics have turned away from the debate, claiming that it is no longer of any relevance to physics. At the same time, there has been renewed interest in the debate among physicists working on quantum (...) gravity, who claim that the conceptual problems which they face are intimately related to interpretative questions concerning general relativity . My goal is to show that the physicists are correct--there is a close relationship between the interpretative issues of classical and quantum gravity. ;In the first part of the dissertation I challenge the received view that substantivalism has a commanding advantage over relationalism on grounds internal to GR. I argue that this view is based on a misconception of the relationships between realism and substantivalism, and between empiricism and relationalism. This has led to a narrow conception of relationalism. Once this is relinquished it can be seen that none of the standard arguments in favor of substantivalism are cogent. ;In the second part of the dissertation, I consider the way in which considerations arising out of quantum gravity bear upon the substantival-relational debate. I develop a framework in which to discuss the interpretative problems of gauge theories and place GR in this context. From this perspective, I provide a taxonomy of interpretative options, and show how the hole argument arises naturally as a consequence of gauge freedom. This means that certain substantivalist interpretations of GR render the theory indeterministic. In the final chapter, I argue that, far from being a drawback, this presents an opportunity for substantivalists. Examples from quantum mechanics, quantum field theory, and quantum gravity, are used to demonstrate that the ambiguities inherent in quantization can lead to an interpretative interplay between theories. In the case of quantum gravity, this means that substantivalism and relationalism suggest, and are suggested by, distinct approaches to quantizing GR. (shrink)

If Einstein's equations are to describe a field theory of gravity in Minkowski spacetime, then causality requires that the effective curved metric must respect the flat background metric's null cone. The kinematical problem is solved using a generalized eigenvector formalism based on the Segré classification of symmetric rank 2 tensors with respect to a Lorentzian metric. Securing the correct relationship between the two null cones dynamically plausibly is achieved using the naive gauge freedom. New variables tied to the (...) generalized eigenvector formalism reduce the configuration space to the causality-respecting part. In this smaller space, gauge transformations do not form a group, but only a groupoid. The flat metric removes the difficulty of defining equal-time commutation relations in quantum gravity and guarantees global hyperbolicity. (shrink)

A class of metric theories of gravitation on Minkowski spacetime is considered, which is—provided that certain assumptions (staying close to the original ideas of Einstein) are made—the almost most general one that can be considered. In addition to the Minkowskian metric G a dynamical metric H (called the Einstein metric)is defined by means of a second-rank tensor field S (referred to as gravitational potential).The theory is defined by a Lagrangian ℒ, from which the field equations as well as, e.g., the (...) energy-momentum tensor field for the gravitational field follow. The case of weak fields is considered explicitly. The static, spherically and time-inversal symmetric field is calculated, and as a first step to investigate the theory's viability the parameters are fitted to the experimental data of the perihelion advance and the deflection of light at the Sun. Finally the question of gauge freedoms in the gravitational potential is briefly discussed. (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)

The discovery that Einstein's celebrated argument for general covariance, the 'point-coincidence argument ', was actually a response to the ' hole argument ' has generated an intense philosophical debate in the last thirty years. Even if the philosophical consequences of Einstein's argument turned out to be highly controversial, the protagonists of such a debate seem to agree on considering Einstein's argument as an expression of 'Leibniz equivalence', a modern version of Leibniz's celebrated indiscernibility arguments against Newton's absolute space. The paper (...) attempts to show that the reference to Leibniz, however plausible at first sight, is actually in many respects misleading. In particular it is claimed that the Logical Empiricists offer a significant historical example of an attempt to interpret the point-coincidence argument as an indiscernibility argument in the sense of Leibniz, similar to those used in 19th century by Helmholtz, Hausdorff or Poincaré. However the logical empiricist account of General Relativity clearly failed to grasp the philosophical novelty of Einstein's theory. Thus, if Einstein's point coincidence/ hole argument can be regarded as an indiscernibility argument, it cannot be an indiscernibility argument in the sense of Leibniz. Einstein rather introduced a new form of indiscernibility argument, which might be better described as an expression of 'Einstein-equivalence'. Developing some ideas of Weyl it is argued that, whereas Leibniz's arguments introduced the notion of 'symmetry' in the history of science, Einstein's argument seems to anticipate what we now call 'gauge freedom'. If in the first case indiscernibility arises from a lack of mathematical structure, in the second case it is a consequence of a surplus of mathematical structure. _German_ Die Entdeckung, dass Einsteins berühmtes Punkt-Koinzidenz- Argument zur allgemeinen Kovarianz tatsächlich eine Reaktion auf die Lochbetrachtung war, hat in den vergangenen 30 Jahren zu einer intensiven philosophischen Debatte geführt. Auch wenn die philosophischen Konsequenzen äußerst kontrovers gesehen werden, stimmen die Protogonisten doch darin überein, das Argument als Ausdruck von Leibniz-Äquivalenz, mithin als eine moderne Version von Leibniz berühmten Ununterscheidbarkeitsargumenten gegen Newtons absoluten Raum aufzufassen. Ziel des Aufsatzes ist es zu zeigen, dass der Bezug zu Leibniz, wenn auch auf den ersten Blick plausibel, tatsächlich in vielerlei Hinsicht irreführend ist. Insbesondere wird dahingehend argumentiert, dass die Logischen Empiristen ein signifikantes historisches Beispiel für einen Versuch darstellen, das Punkt-Koinzidenz Argument als ein Ununterscheidbarkeitsargument im Sinne von Leibniz, ähnlich denen im 19. Jahrhundert von Helmholtz, Hausdorff und Poincaré vorgebrachten, zu deuten. Dieser Deutung der Allgemeinen Relativitätstheorie gelingt es aber nicht, das eigentlich philosophisch Neue von Einsteins Theorie plausibel zu interpretieren. Wenn Einsteins Punkt-Koinzidenz/Lochargument als ein Ununterscheidbarkeitsargument angesehen werden soll, kann dies kein Argument à la Leibniz sein. Vielmehr hat Einstein ein neuartiges Ununterscheidbarkeitsargument eingeführt, das vielleicht besser als,Einstein-Äquivalenz' charakterisiert werden sollte. Durch Aufnahme und Weiterentwicklung einiger Ideen von Weyl wird gezeigt, dass Leibniz' Argumente zwar das Konzept der,Symmetrie' in die Wissenschaftsgeschichte eingebracht haben, Einsteins Argument aber etwas antizipiert hat, was heute gewöhnlich,Eichfreiheit' genannt wird. Wird im ersten Fall die Ununterscheidbarkeit durch ein zu wenig an mathematischer Struktur erzeugt, so ist sie im zweiten Fall gerade die Folge eines Überschusses an mathematischer Struktur. (shrink)

The oft-neglected issue of the causal structure in the flat spacetime approach to Einstein's theory of gravity is considered. Consistency requires that the flat metric's null cone be respected, but this does not automatically happen. After reviewing the history of this problem, we introduce a generalized eigenvector formalism to give a kinematic description of the relation between the two null cones, based on the Segre' classification of symmetric rank 2 tensors with respect to a Lorentzian metric. Then we propose a (...) method to enforce special relativistic causality by using the gauge freedom to restrict the configuration space suitably. A set of new variables just covers this smaller configuration space and respects the flat metric's null cone automatically. Respecting the flat metric's null cone ensures that the spacetime is globally hyperbolic, indicating that the Hawking black hole information loss paradox does not arise in the special relativistic approach to Einstein's theory. (shrink)

Recently the neglected issue of the causal structure in the flat space-time approach to Einstein's theory of gravity has been substantially resolved. Consistency requires that the flat metric's null cone be respected by the null cone of the effective curved metric. While consistency is not automatic, thoughtful use of the naive gauge freedom resolves the problem. After briefly recapitulating how consistent causality is achieved, we consider the flat Robertson–Walker Big Bang model. The Big Bang singularity in the spatially (...) flat Robertson–Walker cosmological model is banished to past infinity in Minkowski space-time. A modified notion of singularity is proposed to fit the special relativistic approach, so that the Big Bang becomes nonsingular. (shrink)

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)

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)

A careful examination of the fundamentals of electromagnetic theory shows that due to the underlying mathematical assumptions required for Stokes’ Theorem, global charge conservation cannot be guaranteed in topologically non-trivial spacetimes. However, in order to break the charge conservation mechanism we must also allow the electromagnetic excitation fields \, \ to possess a gauge freedom, just as the electromagnetic scalar and vector potentials \ and \ do. This has implications for the treatment of electromagnetism in spacetimes where black (...) holes both form and then evaporate, as well as extending the possibilities for treating vacuum polarisation. Using this gauge freedom of \, \ we also propose an alternative to the accepted notion that a charge passing through a wormhole necessarily leads to an additional charge on the wormhole’s mouth. (shrink)

Logarithmic ambiguities in the choice of asymptotically Cartesian coordinates at spatial infinity are discussed. It is shown that they do not affect the definitions of energy-momentum and angular momentum at i°. Thus, from a physical viewpoint, the ambiguities are “pure gauge.” A prescription is given for fixed this gauge freedom for the class of space-times in which the leading-order part of the Weyl tensor satisfies a certain reflection symmetry. This class admits, in all (relatively boosted) rest frames (...) at infinity, a one-parameter family of asymptotically distinct 3-surfaces (generalized 3-planes) on which the trace of the extrinsic curvature falls off faster than usual. (shrink)

How are the human rights pertaining to the freedom of conscience/religion, health, and distinct culture intersect in the context of a global pandemic in the Muslim-minority areas? How do Russia’s Muslims make sense of the challenges to those rights caused or exacerbated by the COVID-19 pandemic? In this paper, I focus on diverse Muslim Tatar communities, primarily of the Middle Volga region, who have recently witnessed numerous political and socioeconomic challenges infringing on their human rights. Attending on the period (...) of the COVID-19 pandemic, in this paper I gauge the nature of human rights in the areas of health and religion by interrogating how the general Muslim publics and elites understand, justify, and explain those challenges in an environment of creeping authoritarianism. I call for a conceptual shift from the elite-driven traditional security perspectives to those of human rights as quotidian/everyday experiences while considering these vital issues. I use the Tatar-language Internet forums for the empirical analysis, offering and delineating the discursive repertoires and categorizing the areas of public concern in the new pandemic world. (shrink)

This study examines the existence, intensity and impacts of intolerance for Press criticism in Pakistani society. It’s generally believed that intolerance for Press criticism leads to professional and psychological complexes for the Press to play its role as a voice for unvoiced and to hold those in power accountable because the Press’s role as the Watchdog compulsively needs high capacities of tolerance in the society to understand the realities and habituate rationalism. As working journalists have to face the direct reaction (...) from masses regarding Press criticism so this paper explores journalist’s perceptions about the presence of intolerance in the societal frame of Pakistan regarding Press’s criticism using survey technique under Likert Scale. The study also incorporates the impacts of intolerance on professionalism in media that induce threats to journalists and compel them to exercise self-censorship which ultimately results in content biases, depriving the citizens of fundamental right of expression. The conclusion provides guidelines for policy making on the subject of Press freedom and social coherence. Also, this study enhances understandings regarding the social sphere of the country and gauges the level of intolerance for media discourses. (shrink)

In this review paper, we discuss how gravity and spin can be obtained as the realization of the local Conformal-Affine group of symmetry transformations. In particular, we show how gravitation is a gauge theory which can be obtained starting from some local invariance as the Poincaré local symmetry. We review previous results where the inhomogeneous connection coefficients, transforming under the Lorentz group, give rise to gravitational gauge potentials which can be used to define covariant derivatives accommodating minimal couplings (...) of matter, gauge fields (and then spin connections). After we show, in a self-contained approach, how the tetrads and the Lorentz group can be used to induce the spacetime metric and then the Invariance Induced Gravity can be directly obtained both in holonomic and anholonomic pictures. Besides, we show how tensor valued connection forms act as auxiliary dynamical fields associated with the dilation, special conformal and deformation (shear) degrees of freedom, inherent to the bundle manifold. As a result, this allows to determine the bundle curvature of the theory and then to construct boundary topological invariants which give rise to a prototype (source free) gravitational Lagrangian. Finally, the Bianchi identities, the covariant field equations and the gauge currents are obtained determining completely the dynamics. (shrink)

The wave function in quantum mechanics presents an interesting challenge to our understanding of the physical world. In this paper, I show that the wave function can be understood as four intrinsic relations on physical space. My account has three desirable features that the standard account lacks: it does not refer to any abstract mathematical objects, it is free from the usual arbitrary conventions, and it explains why the wave function has its gauge degrees of freedom, something that (...) are usually put into the theory by hand. Hence, this account has implications for debates in philosophy of mathematics and philosophy of science. First, by removing references to mathematical objects, it provides a framework for nominalizing quantum mechanics. Second, by excising superfluous structure such as overall phase, it reveals the intrinsic structure postulated by quantum mechanics. Moreover, it also removes a major obstacle to ``wave function realism.''. (shrink)

The determination of inertia by matter is looked at in general relativity, where inertia can be represented by affine or projective structure. The matter tensor T seems to underdetermine affine structure by ten degrees of freedom, eight of which can be eliminated by gauge choices, leaving two. Their physical meaning---which is bound up with that of gravitational waves and the pseudotensor t, and with the conservation of energy-momentum---is considered, along with the dependence of reality on invariance and of (...) causal explanation on conservation. (shrink)

This paper explores the argument structure of the concept of spontaneous symmetry breaking in the electroweak gauge theory of the Standard Model: the so-called Higgs mechanism. As commonly understood, the Higgs argument is designed to introduce the masses of the gauge bosons by a spontaneous breaking of the gauge symmetry of an additional field, the Higgs field. The technical derivation of the Higgs mechanism, however, consists in a mere reshuffling of degrees of freedom by transforming the (...) Higgs Lagrangian in a gauge-invariant manner. This already raises serious doubts about the adequacy of the entire manoeuvre. It will be shown that no straightforward ontic interpretation of the Higgs mechanism is tenable, since gauge transformations possess no real instantiations. In addition, the explanatory value of the Higgs argument will be critically examined. (shrink)

For the past two decades, Einstein's Hole Argument (which deals with the apparent indeterminateness of general relativity due to the general covariance of the field equations) and its resolution in terms of "Leibniz equivalence" (the statement that pseudo-Riemannian geometries related by active diffeomorphisms represent the same physical solution) have been the starting point for a lively philosophical debate on the objectivity of the point-events of space-time. It seems that Leibniz equivalence makes it impossible to consider the points of the space-time (...) manifold as physically individuated without recourse to dynamical individuating fields. Various authors have posited that the metric field itself can be used in this way , but nobody so far has considered the problem of explicitly distilling the "metrical fingerprint" of point-events from the gauge-dependent elements of the metric field. Working in the Hamiltonian formulation of general relativity, and building on the results of Lusanna and Pauri (2002), we show how Bergmann and Komar's "intrinsic pseudo-coordinates" (based on the value of curvature invariants) can be used to provide a physical individuation of point-events in terms of the true degrees of freedom (the "Dirac observables") of the gravitational field, and we suggest how this conceptual individuation could in principle be implemented with a well-defined empirical procedure. We argue from these results that point-events retain a significant kind of physical objectivity. (shrink)