Source author record

Henrique Gomes

Henrique Gomes appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

25works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2022arXiv

Why gauge? Conceptual Aspects of Gauge theories

This thesis is about conceptual aspects of gauge theories. Gauge theories lie at the heart of modern physics: in particular, they constitute the standard model of particle physics. At its simplest, the idea of gauge is that nature is best described using a descriptively redundant language; the different descriptions are said to be related by a gauge symmetry. The over-arching question the thesis aims to answer is: how can descriptive redundancy be fruitful for physics?

preprint2020arXiv

Holism as the significance of gauge symmetries

Not all symmetries are on a par. For instance, within Newtonian mechanics, we seem to have a good grasp on the empirical significance of boosts, by applying it to subsystems. This is exemplified by the thought experiment known as Galileo's ship: the inertial state of motion of a ship is immaterial to how events unfold in the cabin, but is registered in the values of relational quantities such as the distance and velocity of the ship relative to the shore. But the significance of gauge symmetries seems less clear. For example, can gauge transformations in Yang-Mills theory---taken as mere descriptive redundancy---exhibit a similar relational empirical significance as the boosts of Galileo's ship? This question has been debated in the last fifteen years in philosophy of physics. I will argue that the answer is `yes', but only for a finite subset of gauge transformations, and under special conditions. Under those conditions, we can mathematically identify empirical significance with a failure of supervenience: the state of the Universe is not uniquely determined by the intrinsic state of its isolated subsystems. Empirical significance is therefore encoded in those relations between subsystems that stand apart from their intrinsic states.

preprint2020arXiv

Large gauge transformations, gauge invariance, and the QCD $θ_{\text{YM}}$-term

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 $θ_{\text{YM}}$-term to provide a novel argument against the eliminative view. The argument is based on the claim that the QCD $θ_{\text{YM}}$-term changes under "large" gauge transformations. Here we review geometrical propositions about fiber bundles that unequivocally falsify these claims: the $θ_{\text{ 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 $θ_{\text{YM}}$-term shows the physical importance of bundle topology (or superpositions thereof) and thus weighs against (a naive) eliminativism.

preprint2019arXiv

Gauging the Boundary in Field-space

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 sort of reasoning has led some to declare the coupling of subsystems to be the raison d'être of gauge. 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. Here I explicate the problems mentioned above and illustrate a possible resolution: in a recent series of papers 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 -- 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 a peaceful composition of regions, one compatible with the attribution of horizontal Noether charges to each region.

preprint2016arXiv

Extending the rigidity of general relativity

We give the most general conditions to date which lead to uniqueness of the general relativistic Hamiltonian. Namely, we show that all spatially covariant generalizations of the scalar constraint which extend the standard one while remaining quadratic in the momenta are second class. Unlike previous investigations along these lines, we do not require a specific Poisson bracket algebra, and the quadratic dependence on the momenta is completely general, with an arbitrary local operator as the kinetic term.

preprint2015arXiv

Time asymmetric extensions of general relativity

We describe a class of modified gravity theories that deform general relativity in a way that breaks time reversal invariance and, very mildly, locality. The algebra of constraints, local physical degrees of freedom, and their linearized equations of motion, are unchanged, yet observable effects may be present on cosmological scales, which have implications for the early history of the universe. This is achieved in the Hamiltonian framework, in a way that requires the constant mean curvature gauge conditions and is, hence, inspired by shape dynamics.

preprint2014arXiv

A Birkhoff theorem for Shape Dynamics

Shape Dynamics is a theory of gravity that replaces refoliation invariance for spatial Weyl invariance. Those solutions of the Einstein equations that have global, constant mean curvature slicings, are mirrored by solutions in Shape Dynamics. However, there are solutions of Shape Dynamics that have no counterpart in General relativity, just as there are solutions of GR that are not completely foliable by global constant mean curvature slicings (such as the Schwarzschild spacetime). It is therefore interesting to analyze directly the equations of motion of Shape Dynamics in order to find its own solutions, irrespective of properties of known solutions of GR. Here I perform a first study in this direction by utilizing the equations of motion of Shape Dynamics in a spherically symmetric, asymptotically flat ansatz to derive an analogue of the Birkhoff theorem. There are two significant differences with respect to the usual Birkhoff theorem in GR. The first regards the construction of the solution: the spatial Weyl gauge freedom of shape dynamics is used to simplify the problem, and boundary conditions are required. In fact the derivation is simpler than the usual Birkhof theorem as no Christoffel symbols are needed. The second, and most important difference is that the solution obtained is uniquely the isotropic wormhole solution, in which no singularity is present, as opposed to maximally extended Schwarzschild. This provides an explicit example of the breaking of the duality between General relativity and Shape Dynamics, and exhibits some of its consequences.

preprint2014arXiv

A Rotating Black Hole Solution for Shape Dynamics

Shape dynamics is a classical theory of gravity which agrees with general relativity in many important aspects, but which possesses different gauge symmetries and can present some fundamental global differences with respect to Einstein spacetimes. Here, we present a general procedure for (locally) mapping stationary, axisymmetric general relativity solutions onto their shape dynamic counterparts. We focus in particular on the rotating black hole solution for shape dynamics and show that many of the properties of the spherically symmetric solution are preserved in the extension to the axisymmetric case: it is also free of physical singularities, it does not form a space-time at the horizon, and it possesses an inversion symmetry about the horizon which leads to us to interpret the solution as a wormhole.

preprint2013arXiv

A construction principle for ADM-type theories in maximal slicing gauge

The differing concepts of time in general relativity and quantum mechanics are widely accused as the main culprits in our persistent failure in finding a complete theory of quantum gravity. Here we address this issue by constructing ADM-type theories \emph{in a particular time gauge} directly from first principles. The principles are expressed as conditions on phase space constraints: we search for two sets of spatially covariant constraints, which generate symmetries (are first class) and gauge-fix each other leaving two propagating degrees of freedom. One of the sets is the Weyl generator tr$(π)$, and the other is a one-parameter family containing the ADM scalar constraint $λR- β(π^{ab}π_{ab}+(\mbox{tr}(π))^2/2))$. The two sets of constraints can be seen as defining ADM-type theories with a maximal slicing gauge-fixing. This work provides an independent, first principles derivation of ADM gravity. The principles above are motivated by a heuristic argument relying in the relation between symmetry doubling and exact renormalization arguments for quantum gravity, aside from compatibility with the spatial diffeomorphisms. As a by-product, these results address one of the most popular criticisms of Shape Dynamics: its construction starts off from the ADM Hamiltonian formulation. The present work severs this dependence: the set of constraints yield reduced phase space theories that can be naturally represented by either Shape Dynamics or ADM. More precisely, the resulting theories can be naturally "unfixed" to encompass either spatial Weyl invariance (the symmetry of Shape Dynamics) or refoliation symmetry (ADM).

preprint2013arXiv

A first look at Weyl anomalies in shape dynamics

One of the more popular objections towards shape dynamics is the suspicion that anomalies in the spatial Weyl symmetry will arise upon quantization. The purpose of this short paper is to establish the tools required for an investigation of the sort of anomalies that can possibly arise. The first step is to adapt to our setting Barnich and Henneaux's formulation of gauge cohomology in the Hamiltonian setting, which serve to decompose the anomaly into a spatial component and time component. The spatial part of the anomaly, i.e. the anomaly in the symmetry algebra itself ($[Ω, Ω]\propto \hbar$ instead of vanishing) is given by a projection of the second ghost cohomology of the Hamiltonian BRST differential associated to $Ω$, modulo spatial derivatives. The temporal part, $[Ω, H]\propto\hbar$ is given by a different projection of the first ghost cohomology and an extra piece arising from a solution to a functional differential equation. Assuming locality of the gauge cohomology groups involved, this part is always local. Assuming locality for the gauge cohomology groups, using Barnich and Henneaux's results, the classification of Weyl cohomology for higher ghost numbers performed by Boulanger, and following the descent equations, we find a complete characterizations of anomalies in 3+1 dimensions. The spatial part of the anomaly and the first component of the temporal anomaly are always local given these assumptions even in shape dynamics. The part emerging from the solution of the functional differential equations explicitly involves the shape dynamics Hamiltonian, and thus might be non-local. If one restricts this extra piece of the temporal anomaly to be also local, then overall no \emph{local} Weyl anomalies, either temporal or spatial, emerge in the 3+1 case.

preprint2013arXiv

Differences and similarities between Shape Dynamics and General Relativity

The purpose of this contribution is to elucidate some of the properties of Shape Dynamics (SD) and is largely based on a recent longer article. We shall point out some of the key differences between SD and related theoretical constructions, illustrate the central mechanism of symmetry trading in electromagnetism and finally point out some new quantization strategies inspired by SD. We refrain from describing mathematical detail and from citing literature. For both we refer to the longer article.

preprint2013arXiv

Shape Dynamics and Gauge-Gravity Duality

The dynamics of gravity can be described by two different systems. The first is the familiar spacetime picture of General Relativity, the other is the conformal picture of Shape Dynamics. We argue that the bulk equivalence of General Relativity and Shape Dynamics is a natural setting to discuss familiar bulk/boundary dualities. We discuss consequences of the Shape Dynamics description of gravity as well as the issue why the bulk equivalence is not explicitly seen in the General Relativity description of gravity.

preprint2013arXiv

The gravity/CFT correspondence

General Relativity can be formulated in terms of a spatially Weyl invariant gauge theory called Shape Dynamics. Using this formulation, we establish a "bulk/bulk" duality between gravity and a Weyl invariant theory on spacelike Cauchy hypersurfaces. This duality has two immediate consequences: i) it leads trivially to a corresponding "bulk/boundary" duality between General Relativity and a boundary CFT, and ii) the boundary can be defined in a gauge-invariant way. Moreover, the corresponding bulk/boundary duality is sufficient to explain a large portion of the evidence in favor of gauge/gravity duality and provides independent evidence for the AdS/CFT correspondence.

preprint2012arXiv

Breaking the uniqueness of the Shape Dynamics Hamiltonian

In earlier works on Shape Dynamics (SD), a linear method of solving a particular set of Lichnerowicz-type equations through the implicit function theorem was developed in order to implicitly construct SD's global Hamiltonian and eliminate second class constraints. This method was later used for extending Shape Dynamics (SD) to the non-vacuum case, showing how other fields are coupled to the theory. In that study it was found that unlike the vacuum case the use of such methods yielded puzzling bounds on the density of some types of fields. Here we show that the original SD cannot be extended beyond such bounds, but that a slight modification of the original can withstand any type of coupling. When the bound is broken, the theory does not come equipped with a single Hamiltonian as in vacuum SD, but with a finite set of weakly commuting Hamiltonians, which we describe.

preprint2012arXiv

Coupling Shape Dynamics to Matter Gives Spacetime

Shape Dynamics is a metric theory of pure gravity, equivalent to General Relativity, but formulated as a gauge theory of spatial diffeomporphisms and local spatial conformal transformations. In this paper we extend the construction of Shape Dynamics form pure gravity to gravity-matter systems and find that there is no obstruction for the coupling of gravity to standard matter. We use the matter gravity system to construct a clock and rod model for Shape Dynamics which allows us to recover a spacetime interpretation of Shape Dynamics trajectories.

preprint2012arXiv

Symmetry Doubling: Doubly General Relativity

Using a BRST treatment, we show that the equivalence of General Relativity and Shape Dynamics can be extended to a theory that respects the BRST-symmetries of General Relativity as well as the ones of an extended version of Shape Dynamics. This version of Shape Dynamics implements local spatial Weyl transformations as well as a local and abstract analogue of special conformal transformations. Standard effective field theory arguments suggest that the definition of a gravity theory should implement this duality between General Relativity and Shape Dynamics, thus the name "Doubly General Relativity." We briefly discuss several consequences: bulk/bulk- duality in classical gravity, experimental falsification of Doubly General Relativity and possible implications for the renormalization of quantum gravity in the effective field theory framework.

preprint2012arXiv

The Link between General Relativity and Shape Dynamics

We show that one can construct two equivalent gauge theories from a linking theory and give a general construction principle for linking theories which we use to construct a linking theory that proves the equivalence of General Relativity and Shape Dynamics, a theory with fixed foliation but spatial conformal invariance. This streamlines the rather complicated construction of this equivalence performed previously. We use this streamlined argument to extend the result to General Relativity with asymptotically flat boundary conditions. The improved understanding of linking theories naturally leads to the Lagrangian formulation of Shape Dynamics, which allows us to partially relate the degrees of freedom.

preprint2011arXiv

Einstein gravity as a 3D conformally invariant theory

We give an alternative description of the physical content of general relativity that does not require a Lorentz invariant spacetime. Instead, we find that gravity admits a dual description in terms of a theory where local size is irrelevant. The dual theory is invariant under foliation preserving 3-diffeomorphisms and 3D conformal transformations that preserve the 3-volume (for the spatially compact case). Locally, this symmetry is identical to that of Horava-Lifshitz gravity in the high energy limit but our theory is equivalent to Einstein gravity. Specifically, we find that the solutions of general relativity, in a gauge where the spatial hypersurfaces have constant mean extrinsic curvature, can be mapped to solutions of a particular gauge fixing of the dual theory. Moreover, this duality is not accidental. We provide a general geometric picture for our procedure that allows us to trade foliation invariance for conformal invariance. The dual theory provides a new proposal for the theory space of quantum gravity.

preprint2011arXiv

Gauge Theory in Riem(M)

In the geometrodynamical setting of general relativity in Lagrangian form, the objects of study are the {\it Riemannian} metrics (and their time derivatives) over a given 3-manifold $M$. It is our aim in this paper to study the gauge properties that the space Riem(M) of all metrics over $M$ possesses, specially as they relate to the constraints of geometrodynamics. For instance, the Hamiltonian constraint does not generate a group, and it is thus hard to view its action in Riem(M) in a gauge setting. However, in view of the recent results representing GR as a dual theory, invariant under foliation preserving 3--diffeomorphisms and 3D conformal transformations, but not under refoliations, we are justified in considering the gauge structure pertaining only to the groups $\mathcal{D}$ of diffeomorphisms of $M$, and $\mathcal{C}$, of conformal diffeomorphisms on $M$. For these infinite-dimensional symmetry groups, Riem(M) has a natural principal fiber bundle (PFB) structure, which renders the gravitational field amenable to the full range of gauge-theoretic treatment. We discuss some of these structures and construct explicit formulae for supermetric-induced gauge connections. To apply the formalism, we compute general properties for a specific connection bearing strong resemblance to the one naturally induced by the deWitt supermetric, showing it has desirable relationalist properties. Finally, we find that the group of conformal diffeomorphisms solves the pathologies inherent in the $\DD$ group and also brings it closer to Horava gravity and the dual conformal theory called Shape Dynamics.

preprint2011arXiv

The Coupling of Shape Dynamics to Matter

Shape Dynamics (SD) is a theory dynamically equivalent to vacuum General Relativity (GR), which has a different set of symmetries. It trades refoliation invariance, present in GR, for local 3-dimensional conformal invariance. This contribution to the Loops 11 conference addresses one of the more urgent questions regarding the equivalence: is it possible to incorporate normal matter in the new framework? The answer is yes, in certain regimes. We present general criteria for coupling and apply it to a few examples.The outcome presents bounds and conditions on scalar densities (such as the Higgs potential and the cosmological constant) not present in GR.

preprint2011arXiv

The Dynamics of Shape

This thesis consists of two parts, connected by one central theme: the dynamics of the "shape of space". The first part of the thesis concerns the construction of a theory of gravity dynamically equivalent to general relativity (GR) in 3+1 form (ADM). What is special about this theory is that it does not possess foliation invariance, as does ADM. It replaces that "symmetry" by another: local conformal invariance. In so doing it more accurately reflects a theory of the "shape of space", giving us reason to call it \emph{shape dynamics} (SD). In the first part we will try to present some of the highlights of results so far, and indicate what we can and cannot do with shape dynamics. Because this is a young, rapidly moving field, we have necessarily left out some interesting new results which are not yet in print and were developed alongside the writing of the thesis. The second part of the thesis will develop a gauge theory for "shape of space"--theories. To be more precise, if one admits that the physically relevant observables are given by shape, our descriptions of Nature carry a lot of redundancy, namely absolute local size and absolute spatial position. This redundancy is related to the action of the infinite-dimensional conformal and diffeomorphism groups on the geometry of space. We will show that the action of these groups can be put into a language of infinite-dimensional gauge theory, taking place in the configuration space of 3+1 gravity. In this context gauge connections acquire new and interesting meanings, and can be used as "relational tools".

preprint2010arXiv

Asymptotics of 4d spin foam models

We study the asymptotic properties of four-simplex amplitudes for various four-dimensional spin foam models. We investigate the semi-classical limit of the Ooguri, Euclidean and Lorentzian EPRL models using coherent states for the boundary data. For some classes of geometrical boundary data, the asymptotic formulae are given, in all three cases, by simple functions of the Regge action for the four-simplex geometry.

preprint2009arXiv

Asymptotic analysis of the Ponzano-Regge model for handlebodies

Using the coherent state techniques developed for the analysis of the EPRL model we give the asymptotic formula for the Ponzano-Regge model amplitude for non-tardis triangulations of handlebodies in the limit of large boundary spins. The formula produces a sum over all possible immersions of the boundary triangulation and its value is given by the cosine of the Regge action evaluated on these. Furthermore the asymptotic scaling registers the existence of flexible immersions. We verify numerically that this formula approximates the 6j-symbol for large spins.