Vous êtes sur la page 1sur 15

HUTP-05/A0010

A Higgs Mechanism for Gravity


Ingo Kirsch
Jefferson Laboratory of Physics, Harvard University
Cambridge, MA 02138, USA

In this paper we elaborate on the idea of an emergent spacetime which arises due to the dynamical
breaking of diffeomorphism invariance in the early universe. In preparation for an explicit symmetry
breaking scenario, we consider nonlinear realizations of the group of analytical diffeomorphisms
which provide a unified description of spacetime structures. We find that gravitational fields, such
as the affine connection, metric and coordinates, can all be interpreted as Goldstone fields of the
diffeomorphism group. We then construct a Higgs mechanism for gravity in which an affine spacetime
evolves into a Riemannian one by the condensation of a metric. The symmetry breaking potential is
identical to that of hybrid inflation but with the non-inflaton scalar extended to a symmetric second
rank tensor. This tensor is required for the realization of the metric as a Higgs field. We finally
arXiv:hep-th/0503024v2 13 Jun 2005

comment on the role of Goldstone coordinates as a dynamical fluid of reference.

I. INTRODUCTION by the group inclusion


TR NL SD
Recent discoveries in cosmology have shown that gen- Diff (n, R) ⊃ Diff0 (n, R) ⊃ GL(n, R) ⊃ SO(1, n − 1)
eral relativity is most likely incomplete. In particular the
high degree of homogeneity and isotropy of the universe where Diff0 (n, R) is the homogeneous part of the diffeo-
can only be understood by supplementing Einstein’s the- morphism group, GL(n, R) the general linear group and
ory with an inflationary scenario. Also the accelerating SO(1, n − 1) the Lorentz group. This corresponds to the
expansion of the universe by dark energy might hint to a breaking of translations (TR), nonlinear transformations
further modification of general relativity. (NL), dilations and shear transformations (SD), respec-
tively.
Most of these additions to general relativity introduce
The existence of such a symmetry breaking scenario
new fields in a quite ad hoc way. For instance, inflation-
appears more convincing if it is considered from bot-
ary models typically postulate one or two scalar fields
tom up. At low temperatures the vacuum is invariant
which drive a rapid expansion of the early universe. Even
under local Lorentz transformations and matter is repre-
in general relativity the metric is not derived from any
sented by Lorentz spinors. It is conceivable that at higher
underlying symmetry principle. An exception are gauge
temperatures matter transforms under a larger spacetime
theories of gravity in which the existence of a connection
group. The most prominent example is scale invariance
is justified by the gauging. Also in ghost condensation [1]
which is believed to be restored at high energies. Here
the dynamical field appears as the Goldstone boson of
matter is described by spinors of the conformal group
a spontaneously broken time diffeomorphism symmetry.
which contains the Lorentz group as a subgroup. It is
However, in many other cases the group theoretical origin
not implausible that further symmetries of the diffeomor-
of the gravitational fields remains unclear.
phism group and in the end all of them are restored at
In this paper we show that the existence of most of very high temperatures.
these fields can be understood in terms of Goldstone So far we focused exclusively on the breaking of the
bosons which arise in a rapid symmetry breaking phase transformation group H of states in the Hilbert space.
shortly after the Big Bang. After a series of phase transitions, matter is again rep-
We assume that at the beginning of the universe all resented by spinors of the Lorentz group rather than the
spacetime structures were absent and consider the uni- diffeomorphism group. The appealing aspect of this view
verse as a Hilbert space H accommodating spinor and of matter is that gravitational fields emerge naturally as
tensor representations of the analytic diffeomorphism Goldstone bosons of the symmetry breaking (quasi as a
group Diff (n, R). Unlike in general relativity spinors by-product). In each phase of the breaking we loose de-
and tensors are representations of the same covering grees of freedom in the matter sector, i.e. states in the
group Diff (n, R) whose existence has been shown in [2]. Hilbert space, but gain new geometrical objects in terms
Since spinor representations of Diff (n, R) are necessarily of Goldstone fields. Spacetime appears as an emergent
infinite-dimensional [2], matter would look quite exotic product of this process.
at this stage. Here we are however not so much inter- A convenient concept to determine these Goldstone
ested in the structure of these representations. For our bosons is given by the nonlinear realization approach
purposes, it is enough to suppose that they do exist. [3, 4, 5, 6]. This technique provides the transformation
We further assume that in a series of spontaneous sym- behavior of fields ξ of a coset space G/H which is associ-
metry breakings, the transformation group H of states in ated with the spontaneous breaking of a symmetry group
the Hilbert space collapsed down to the Lorentz group. G down to a stabilizing subgroup H. Nonlinear realiza-
We suggest that the symmetry breaking sequence is given tions of spacetime groups have been studied in a number
2

V fields ϕ̂ij and φ are the ten Goldstone fields associated


affine with the coset GL(4, R)/SO(1, 3). As shown by the non-
spacetime
φ linear realization approach, these fields define the metric
φc
 
gij = ei α ej β ηαβ , ei α ≡ φ exp iϕ̂jk T̂ jk i α , (1)

where T̂ ij are the shear generators and φ parameterizes


M |ϕij | dilations. In Tab. I we compare the Higgs sector of the
Riemann electroweak symmetry breaking with that in gravity.

FIG. 1: The potential V (ϕij , φ). The metric is conformally symmetry breaking electroweak gravity
flat for φ > φc , tachyonic for φ < φc and becomes massless at symmetry SU (2) × U (1)Y GL(4, R)
the minimum of the potential at φ = 0, |ϕij | = ±M . stabilizer U (1)EM SO(1, 3)
Higgs field Φ (φ0 , φ+ ) (ϕij , φ)
# components of Φ 4 10 + 1
of papers [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17]. As in # Goldstone bosons 3 10
[8, 9] we consider nonlinear realizations of the diffeomor- # Higgs particles 1 1
phism group, i.e. we choose G = Diff (n, R) and H to be massive bosons W ±, Z Qijk
one of the groups in the above sequence. It turns out that
in this way the relevant gravitational fields, such as coor-
TABLE I: A comparison of the electroweak symmetry break-
dinates, affine connection and metric, are all of the same ing and the Higgs mechanism in gravity. Qijk ≡ ∇k gij is the
nature: They can be identified with Goldstone bosons or nonmetricity tensor.
coset fields of the diffeomorphism group.
Let us have a brief look at the nonlinear realizations The symmetry breaking potential V (ϕij , φ) in our
in detail. The first nonlinear realization with H0 = model is similar to that of hybrid inflation [26] with φ
Diff0 (n, R) corresponds to the breaking of translational the inflaton and ϕij replacing the non-inflaton scalar.
invariance and shows the existence of dynamical coordi- As shown in Fig. 1, the field φ rolls down the channel at
nates in terms of Goldstone fields. Subsequently, we re- ϕij = 0 until it reaches a critical value φc at which point
alize Diff (n, R) with H1 = GL(n, R) as stability group. ϕij = 0 becomes unstable and the field rolls down to the
The corresponding coset fields transform as a holonomic minimum of the potential at φ = 0 and |ϕij | = ±M . In
affine connection and can be used for an affine theory of other words, the breaking of dilations triggers the spon-
gravity. Finally, we realize Diff (n, R) with the Lorentz taneous breaking of shear symmetry and induces the con-
group H2 = SO(1, n−1) as stability group corresponding densation of the metric gij .
to the additional breaking of dilations and shear trans- During the condensation the affine connection absorbs
formations. The corresponding coset parameters can be the metric. Some degrees of freedom of the connection
interpreted as tetrads which lead to the definition of a known as nonmetricity Qijk acquire a mass as a conse-
metric. This has already been found by Borisov and quence of “eating” the Goldstone metric. This is the ana-
Ogievetsky [8] who studied a simultaneous realization log of the absorption of Goldstone bosons by the gauge
of the affine and the conformal group with the Lorentz bosons of SU (2) × U (1)Y which become massive W ±
group as stability group. and Z bosons. The mass of the nonmetricity is how-
Though nonlinear realizations of spacetime groups ever of order of the Planck scale such that nonmetricity
have been studied for quite some time, with a few ex- decouples at low energies. If we also neglect torsion, then
ceptions [18, 19, 20, 21, 22, 23, 24], there have not as the affine connection turns into the Christoffel connection
yet been developed any Higgs models for the dynami- and we recover an effective Riemannian spacetime at the
cal breaking of these groups. In this paper we construct minimum of the potential, see Fig. 1.
such a gravitational Higgs mechanism by introducing the The paper is organized as follows. In section II we re-
metric as a Higgs field into an affine spacetime. This ef- view several aspects of the diffeomorphism algebra and
fectively corresponds to a metric-affine theory of gravity sketch the nonlinear realization technique in order to fix
[25] in which GL(4, R) breaks down to SO(1, 3) in the the notation. We also discuss principles of gravity and
tangent space of the spacetime manifold. their relation to nonlinear realizations of the diffeomor-
The Higgs sector is constructed as follows. In anal- phism group. In section III we show that coordinates,
ogy to the isospinor scalar Φ = (φ+ , φ0 ) of electroweak metric and connection can all be identified as Goldstone
symmetry breaking, the breaking is induced by a (real) bosons of the diffeomorphism group. In section IV we
scalar field φ and a symmetric tensor ϕij which has ten construct the Higgs model for the condensation of the
independent components. Under the Lorentz group the metric in an affine spacetime. We conclude in section V
tensor ϕij decomposes into its trace σ and a traceless with some final remarks and some open questions. Many
tensor ϕ̂ij according to 10 → 1 + 9. The singlet σ turns detailed computations of the nonlinear realizations can
out to be a massive gravitational Higgs field, whereas the be found in the appendix.
3

II. PRINCIPLES OF GRAVITY AND B. The group of analytic diffeomorphisms


NONLINEAR REALIZATIONS OF THE
DIFFEOMORPHISM GROUP
In the following we briefly discuss the algebra of an-
alytic diffeomorphisms. Representations of the group
In this section we briefly review the algebra of analytic Diff (n, R) can be defined in an appropriate Hilbert space
diffeomorphisms and the nonlinear realization technique. of analytic functions ΨA (xi ). We make the assumption
We also discuss the relation between principles of gravity that the manifold, on which ΨA is defined, locally al-
and nonlinear realizations of the diffeomorphism group. lows for a Taylor expansion. The generators can be ex-
We suggest that the two groups involved in these nonlin- pressed in terms of coordinates xi as (m = −1, ..., ∞;
ear realizations are unambiguously fixed by the princi- i, ja = 0, ..., n − 1; a = 1, ..., m + 1) [30, 31]
ple of general covariance and an appropriate equivalence
principle. Fim j1 ...jm+1 ΨA =

ixj1 ...xjm+1 i ΨA + i(F̂i j1 ...jm+1 )A B ΨB (2)
| {z ∂x } | {z }
orbital intrinsic
A. Principles of theories of gravity
with the intrinsic part (m ≥ 0)
Classical theories of gravity are explicitly or implicitly
F̂i j1 ...jm = ∂k (xj1 ...xjm )L̂i k , (3)
based on two invariance principles. The first one is the
principle of general covariance. What is actually meant
by general covariance has often been the subject of dis- where L̂i k are representations of GL(n, R). The genera-
cussion in the literature, see e.g. Ref. [27]. General co- tors have one lower index and are symmetric in the m + 1
variance does not just mean invariance under general co- upper indices. The lowest generators (m = −1, 0) are the
ordinate transformations, since every theory can be made translation operators Pi ≡ Fi−1 and the operators of the
invariant under (passive) diffeomorphisms as has already linear group Li j ≡ Fi0 j . Generators F m with m ≥ 1
been pointed out by Kretschmann [28]. It is not obvi- generate nonlinear transformations.
ous how the group of diffeomorphisms selects the metric The generators of Diff (n, R) satisfy the commutation
or the affine connection as the dynamical field in a the- relations
ory of gravity. We will show below that nonlinear real-
[Fkn i1 ...in+1 , Flm j1 ...jm+1 ] =
izations of the diffeomorphism group give these fields a
m+1
group theoretical foundation. X
=i δkja Flm+n i1 ...in+1 j1 ...ĵa ...jm+1
In addition to the principle of general covariance, the-
a=1
ories of gravity also require a hypothesis about the ge-
n+1
ometry of spacetime. The latter is mostly disguised in X
−i δlia Fkm+n i1 ...îa ...in+1 j1 ...jm+1 , (4)
the formulation of an equivalence principle (EP). We
a=1
know at least three classical EP’s, see e.g. [29]: the
weak (WEP), the strong (SEP) and Einstein’s equiva- where the indices with a hat are omitted. Two important
lence principle (EEP). Each EP determines a particular subalgebras are the algebras of the linear group GL(n, R)
geometry: While the WEP postulates a quite general ge- and the Lorentz group SO(1, n − 1) with commutation
ometry (Finslerian e.g.), the SEP restricts spacetime to relations
be affine. Finally, EEP assumes local Lorentz invariance
leading to a Riemannian geometry. [Li j , Lk l ] = iδil Lk j − iδkj Li l (5)
From the perspective of the nonlinear realization tech-
nique, it is not a coincidence that theories of gravity are and
based on exactly two postulates. As we will review in
Sec. II C, there are two groups, G and H, involved in a [Mij , Mkl ] = iηil Mkj − iηjl Mki − iηkj Mil + iηki Mjl ,
nonlinear realization: The group G is represented non- (6)
linearly over one of its subgroups H. It is quite plausi-
ble that these groups are fixed by the principle of gen- where Mij ≡ L[i k ηj]k are the Lorentz generators.
eral covariance and an appropriate equivalence princi-
ple. The former fixes G to be the diffeomorphism group,
G = Diff (n, R), while the later fixes H to be either the C. Nonlinear realizations
general linear group H1 = GL(n, R) (in case of the SEP)
or the Lorentz group H2 = SO(1, n − 1) (in case of Let us briefly summarize the nonlinear realization tech-
the EEP). We will see in Sec. III that such nonlinear re- nique [3, 4, 5, 6]. In order to fix the notation, we only list
alizations lead to an affine or a Riemannian spacetime, some important formulas which we use throughout this
respectively. paper.
4

Nonlinear realizations are based on the notion of a fiber III. NONLINEAR REALIZATIONS OF THE
bundle. Let H be a closed not invariant subgroup of a Lie DIFFEOMORPHISM GROUP
group G. Then G/H = {gH, g ∈ G} is a homogeneous
space not a group and G can be decomposed as In this section we nonlinearly realize the group of
G = {H ∪ g1 H ∪ g2 H ∪ ...}, (7) diffeomorphisms G = Diff (n, R) over the homogeneous
part of the diffeomorphism group H0 = Diff0 (n, R), the
where g1 ∈/ H, g2 ∈/ {H, g1 H}, etc. This means that G general linear group H1 = GL(n, R) and the Lorentz
can be written as a union of spaces {gi H}, all diffeomor- group H2 = SO(1, n − 1). We show that the parameters
phic to H and parameterized by the coset space G/H. So of the corresponding coset spaces G/H (H ∈ {H1 , H2 })
the group G can be regarded as a principal fiber bundle can be identified with the geometrical objects of an affine
with structure group H, base space G/H, and projection and a Riemannian spacetime, respectively. In particular,
σ −1 : G → G/H. we find that the parameters ξ i , hij , and ω i jk associated
Assume a group G shall be represented nonlinearly to the generators Pi ≡ Fi−1 (translations), Tij ≡ F(ij) 0
over one of its subgroups H. Following [3, 4, 5, 6], the (shear transformations), and Fi1 jk transform as coordi-
fundamental nonlinear transformation law for elements σ nates, metric, and affine connection.
of G/H is given by
gσ(ξ) = σ(ξ ′ )h(ξ, g) . (8)
A. The origin of a manifold (G-coordinates)
An element σ(ξ) is transformed into another element
σ(ξ ′ ) by multiplying it with g ∈ G from the left and
The basic component of spacetime is a differentiable
with h−1 ∈ H from the right.
manifold with a local coordinate system. In this section
The standard form of an element σ ∈ G/H is given by
we reveal the group theoretical origin of coordinates by
i
σ(ξ) ≡ eiξ Ai
, (9) constructing the coset space G/H0 with G = Diff (n, R)
and H0 = Diff0 (n, R) its homogeneous subgroup. This
where Ai are the generators of the coset space G/H and corresponds to the breaking of translations xi → xi + ai
ξ i the corresponding coset parameters. Eq. (8) defines in the representation space of the diffeomorphism group.
implicitly the nonlinear transformation ξ → ξ ′ , i.e. the For the construction of the coset G/H0 it is convenient
transformation behavior δξ of the coset parameters ξ. to write an element g ∈ G as
In the nonlinear realization of symmetry groups the
total connection is given by the Maurer-Cartan 1-form g = eiε
i
Pi iεi j Li j iεi jk Fi1 jk
e e u, (14)
−1
Γ≡σ dσ . (10)
with u parameterizing that part of the diffeomorphism
By differentiation of Eq. (8) with respect to the coset group which is spanned by the generators F n (n ≥ 2).
fields ξ, we obtain gdσ = dσ ′ h + σ ′ dh and from this the The coset space G/H0 is just spanned by the translation
nonlinear transformation law generators Pi and elements σ ∈ G/H0 can be written as
Γ′ = hΓh−1 + hdh−1 . (11) i
σ = eiξ Pi
, (15)
The total connection Γ can be divided into pieces ΓH
and ΓG/H defined on the subgroup H and the space where the fields ξ i are the corresponding coset parame-
G/H, respectively. The transformation law (11) then ters.
shows that ΓH transforms inhomogeneously, whereas In general, the total nonlinear connection Γ can be
ΓG/H transforms as a tensor: expanded in the generators of Diff (n, R) as
Γ′H = hΓH h−1 + hdh−1 , Γ ≡ σ −1 dσ = iϑi Pi + iΓi j Li j + iΓi jk Fi1 jk + ... , (16)
Γ′G/H = hΓG/H h −1
. (12)
i.e. Γ can be divided into a translational ϑi , a linear
In other words, only ΓH is a true connection which can Γi j and a nonlinear part, where ϑi , Γi j , etc. are vector-,
be used for the definition of a covariant differential tensor-valued etc. 1-forms, respectively.
Dψ ≡ (d + ΓH )ψ (13) The coset parameters ξ i have three interesting prop-
erties. First, as shown in App. A 1, the transformation
acting on representations ψ of H. law (8) for the elements σ determines the transformation
At first sight one might think that the curvature R ≡ behavior of ξ i under Diff (n, R),
dΓ + Γ ∧ Γ vanishes identically since Γ = σ −1 dσ. How-
ever, any Cartan form with a homogeneous transforma- δξ i = εi (ξ) ≡ εi + εi j ξ j + εi jk ξ j ξ k + ... . (17)
tion law can be put equal to zero [32]. This is an invari-
ant condition and does not affect physics. Because of the This is the transformation behavior of coordinates lead-
homogeneous transformation behavior of ΓG/H , only the ing to the interpretation of the base space G/H0 as a
curvature RH ≡ dΓH + ΓH ∧ ΓH is physically relevant. differentiable manifold with coordinates ξ i . Second, the
5

translational piece of the total connection Γ turns out G = H = Diff (n, R) H = Diff0 (n, R)
to be the coordinate coframe ϑi ≡ dξ i as can be seen
by computing Eq. (16). Consequently, the coordinates selected
ξ i cannot be distinguished from ordinary coordinates. origin
xi xi
Third, as shown by the computation in App. A 1, the M = G/H0
(no origin)
parameters of the diffeomorphism group are promoted to
fields which become explicit functions of the coordinates ξi
ξ i , i.e. ǫi → ǫi (ξ), ǫi j → ǫi j (ξ), etc. This will become
important below when we interpret other parameters of FIG. 2: The breaking of translational invariance.
the diffeomorphism group as geometrical fields.
The breaking of global translations xi → xi + ai in the
feomorphism invariance is however broken in the repre-
representation space H of Diff (n, R) is achieved by the
sentation space H.
selection of a preferred point or an origin in this space.
Because of their dynamical behavior, G-coordinates
This is shown in Fig. 2. In this way no further symmetries
may be visualized as a “fluid” of reference pervading the
are broken. The origin arises naturally in nonlinear real-
universe. Considering G-coordinates as a continuum, we
izations of Diff (n, R) as the point at which the manifold
would interpret the dynamical field ξ i (x) as the comov-
M = G/H0 is attached (“soldered”) to H. This reflects
ing body frame, whereas the nondynamical coordinates
the fact that the representation space H has become the
xi would be the reference frame. Such a continuum me-
tangent space of the manifold G/H0 .1
chanical view might remind some of the readers of the
A comment about the difference of the coordinates xi concept of an ether. However, “ether” is not an adequate
and ξ i is in order. The coordinates xi are non-dynamical name, since G-coordinates are not a medium consisting
and are necessary for the definition of the representa- of matter fields. They form a pure gravitational field just
tion (2) of Diff (n, R). These coordinates should not be like the metric.
confused with the coordinates ξ i . In contrast to xi , the It is clear that a dynamical view of coordinates opens
coordinates ξ i represent a dynamical field. The dynami- up the possibility of constructing new cosmological mod-
cal character of the coordinates ξ i follows from the non- els. For instance, ghost condensation [1] describes the
linear realization approach: Each coset field, which is not field φ ≡ ξ 0 as a non-diluting cosmological fluid which
eliminated by the inverse Higgs effect [32], is a Goldstone possibly drives the accelerating expansion of the universe.
field and as such a dynamical quantity. We come back to this issue in Sec. IV C in which we
In Sec. III B and III C we will identify both the met- discuss some properties of condensation models for the
ric and the affine connection with further parameters of G-coordinates.
the diffeomorphism group, i.e. both fields turn out to
be Goldstone fields, too. Since metric and connection
are generally considered as dynamical quantities, also the B. The origin of an affine connection
Goldstone coordinates ξ i should be regarded in this way.
In order to be a true Goldstone field, the G-coordinates The emergence of coordinates as coset parameters of
ξ i must result from a broken symmetry. Indeed, global Diff (n, R) is not surprising, since the diffeomorphism
translations xi → xi + ai are broken in the representa- group is the group of general coordinate transformations.
tion space H and the coset parameters ξ i are the cor- It is however remarkable that other gravitational fields
responding Goldstone fields. At the same time the pa- can also be identified with parameters of the diffeomor-
rameters ξ i form the base manifold G/H0 which is inter- phism group. This will now be shown for the affine con-
preted as a spacetime manifold by the identification of nection.
the ξ i with coordinates. This leads to reparameteriza- For this purpose let us consider the parameters ω i jk
tion or diffeomorphism invariance of the spacetime man- which together with the G-coordinates ξ i parameterize
ifold, see Eq. (17). Due to the isomorphism of the dif- the coset G/H1 with H1 = GL(n, R).2 An element of
feomorphism group with the group of local translations, G/H1 is given by
T ≈ Diff (n, R), we gained local translational invariance
on the (external) spacetime manifold G/H0 at the ex- σ = σ̃u = eiξ
i
Pi iω i jk Fi1 jk
e u (18)
pense of loosing global translational invariance in the (in-
ternal) representation space H. with u as in Eq. (14). The transformation behavior of
This implies that general covariance in the sense of dif- ω i jk is determined by introducing the infinitesimal group
feomorphism invariance on the spacetime manifold G/H0 elements g ∈ Diff (n, R) and h ∈ GL(n, R) together with
is not broken and energy-momentum is preserved. Dif-

2 There is also an infinite number of parameters ω i jkl , ω i jklm , etc.


1 A similar soldering mechanism has been discussed in [33] in the associated with the generators F n (n ≥ 2) which will turn out to
context of Metric-Affine Gravity [25]. be unphysical, see below.
6

σ in the nonlinear transformation law (8). As shown in diffeomorphism group. In the same way, we now show
detail in App. A 2, this gives that the metric is related to the coset parameters as-
sociated with shear transformations and dilations. We
∂εi l ∂εl i ∂εl i 1 ∂ 2 εi
δω i jk = ω jk − ω lk − ω jl + , enlarge the coset space G/H1 by adding the symmetric
∂ξ l ∂ξ j ∂ξ k 2 ∂ξ j ∂ξ k generators Tij ≡ L(ij) , where Lij = Li k ηjk . This cor-
(19) responds to the nonlinear realization of Diff (n, R) over
which is the transformation behavior of an affine con- H2 = SO(1, n − 1) which was first considered in [8].
nection. Due to the symmetry in the contravariant in- The elements of the coset space G/H2 can be param-
dices of the generator Fi1 jk , the coset parameters ω i jk
i ij i 1 jk
eterized as σ ≡ eiξ Pi eih Tij eiω jk Fi u. Let us also de-
are symmetric in the indices j and k. The connection i
fine the tensor r j as the exponential of the field hi j ,
ω i jk has only 40 independent components instead of 64 i
ri j ≡ eh j = δji +hi j + 21 hi k hk j +· · · , and (r−1 )i j ≡ e−hi
j

(for n = 4). its inverse. We raise and lower the indices of the parame-
Moreover, for the total nonlinear connection we find ter hi j by means of the Minkowski metric ηij = (+−− ...)
Γ = σ −1 dσ = u−1 σ̃ −1 dσ̃u + u−1 du = σ̃ −1 dσ̃ + O(F 1 ) which is given as a natural invariant of the Lorentz group.
i 1 jk i 1 jk As shown in App. A 3, the transformation behavior of
= e−iω jk Fi
(idξ l Pl )eiω jk Fi
+ O(F 1 ) the symmetric tensor ri α is given by
= idξ i Pi + ω i jk dξ l [Fi1 jk , Pl ] + O(F 1 )
∂εi jα
= iϑi Pi + iΓi j Li j + O(F 1 ), (20) δriα = r − ε̃β α riβ (23)
∂ξ j
with
or,3 in finite form,
ϑi ≡ dξ i , Γi j ≡ Γi jk dξ k = −2ω i jk dξ k . (21)
The physical part of the total connection Γ, which acts ∂ξ ′i j
r′i α = r β (Λ−1 )β α , (24)
on matter via the covariant derivative, is given by its ∂ξ j
linear part
where Λβ α is a Lorentz transformation. The upper in-
ΓH1 ≡ iΓi j Li j (22) dex of ri α transforms covariantly while the lower one is
whose components Γi jk = −2ω i jk transform as an affine a Lorentz index. The different types of indices have been
connection under general coordinate transformations. expected from the transformation law σ(ξ ′ ) = gσ(ξ)h−1 ,
The translational connection ϑi = dξ i is again the co- since the coset element σ(ξ) is multiplied by an ele-
ordinate coframe as shown above. ment g ∈ Diff (n, R) from the left and an element h−1 ∈
The elements u contribute only to the unphysical part SO(1, n − 1) from the right. Therefore, the parameters
ΓG/H of the total connection Γ which does not act on ri α must transform as a tetrad.
matter. In nonlinear realizations of spacetime groups, This leads to the distinction between holonomic
Goldstone’s theorem (“There is a massless particle for (i, j, ...) and anholonomic indices (α, β, ...). The tensor
each broken symmetry generator.”) applies only in a very ri α relates anholonomic tensors Tβα11...β
...αm
n
to holonomic
i1 ...im
restrictive way [34]. Due to the inverse Higgs effect [32], ones Tj1 ...jn according to
some of the broken generators do not give rise to mass-
less modes. Indeed it can be shown that the coset pa- Tβα11...β
...αm
n
= (r−1 )i1 α1 · · · (r−1 )im αm rj1 β1 · · · rjn βn Tji11...j
...im
n
.
i
rameters ωjkl , ω i jklm , etc. associated with the generators (25)
n
F (n ≥ 2) do not give rise to any additional Goldstone
bosons. In other words, only a finite number of the in- Using (23) one can show [8] that the tensors gij and g ij
finitely many coset parameters are Goldstone fields. defined by
Finally, we note that if we had gauged the general lin-
ear group, as it is done in [25] and related work, we would gij ≡ (r−1 )i α (r−1 )j β ηαβ , g ij ≡ ri α rj β η αβ (26)
have gained a linear connection, too. This supports an
observation made by Ne’eman [35]: The group Diff (n, R) transform as the covariant and contravariant metric ten-
being represented nonlinearly over its GL(n, R) subgroup sor, respectively.
resembles the gauging of GL(n, R). The resulting connec- Due to the different indices of ri α , one might ask
tion can be used for the construction of an affine theory whether riα is symmetric as it is expected from the sym-
of gravity with GL(n, R) acting in the tangent space. metry of the tensor hij . Remember that h = h(ξ, g) ∈ H
depends on g ∈ G and the coset parameters ξ of G/H.
Thus the parameters ε̃αβ of the Lorentz subgroup are
C. The origin of a metric and anholonomic tetrads

In the previous nonlinear realizations with the groups


′i i β
H0 and H1 as stabilizing groups, we identified both co- 3 ∂ξ ∂ε
≈ δji + ∂ξ −1 )β β
∂ξj j diffeomorphism, (Λ α ≈ δα − ε̃ α inverse
ordinates and affine connection with parameters of the Lorentz transformation
7

given in terms of the coset parameters ξ i and ri α as well Solving this for ω αβγ , we get
as the parameters εi , εi j , etc. of an element g ∈ G. They
are implicitly given by the condition δr[iα] = 0, i.e. by ω αβγ = −∇α hβγ + 3ω (αβγ) (36)
the antisymmetric part of Eq. (23), which shows that a part of ω αβγ can be expressed by the
Goldstone fields hαβ . We substitute this into Γ[αβ] and
ε[i| j (ξ) rj|α] = ε̃β [α ri]β . (27) obtain
Solving this for ε̃αβ , one obtains [13] 1 −1
Γ[αβ] = [r , dr]αβ + ∇α hβγ ϑγ − ∇β hαγ ϑγ
  2 
αβ αβ ij 1 α −1 β + T βγα − T γαβ + T αβγ ϑγ (37)
ε̃ = β − α tanh log[ri (r )j ] , (28)
2
with vanishing torsion
whereby αij and βij are the symmetric and the antisym-
metric part of εi j (ξ). It is this complicated dependence T αβγ ≡ Γα[βγ] = −2ω α[βγ] = 0 . (38)
on the parameters of G and G/H which guarantees the
symmetry of riα . Recall that ω αβγ is symmetric in the last two indices.
We now derive the Christoffel connection of the This can also be written in components, Γαβ =
Riemannian spacetime. In App. B, we have calculated Γαβk dξ k ,
the coefficients ϑα and Γαβ of the expansion (16) of the 1 −1
total connection Γ. They are4 Γαβk = [r , ∂k r]αβ − 2(r−1 )k γ ∇[β hα]γ . (39)
2
ϑα ≡ (r−1 )i α dξ i , (29) Let us finally calculate the holonomic version of the
1 connection (39) by means of
Γ(αβ) ≡ {r−1 , dr}αβ − ω αβγ ϑγ − ω βαγ ϑγ , (30)
2 Γijk = (r−1 )i α Γαβk (r−1 )j β + (r−1 )i α ∂k (r−1 )jα . (40)
[αβ] 1
Γ ≡ [r−1 , dr]αβ − ω αβγ ϑγ + ω βαγ ϑγ . (31) and the identity (B9). We obtain the Christoffel connec-
2
tion
We now show that the antisymmetric part Γ[αβ] as given 1
by Eq. (31) is identical to the Christoffel connection. In Γijk = (∂k gij + ∂j gik − ∂i gjk ) (41)
accordance with the notation used in [8], we define 2
of general relativity. We see that the inverse Higgs ef-
γ αβ 1 fect corresponds to the absorption of the metric in the
∇ h ≡ riγ {r−1 , ∂i r}αβ (32)
2 connection.
To summarize the above realizations, we found that co-
which is, due to the identity (B9),
ordinates, metric and affine connection, which appear so
1 differently as far as their transformation behavior is con-
∇γ hαβ = − ∂k gij ri α rj β rk γ , (33) cerned, are all of the same nature: They are Goldstone
2
bosons parameterizing coset spaces formed by the diffeo-
nothing but the partial derivative of the metric in an morphism group and an appropriate subgroup. The ex-
anholonomic frame. The covariant derivative of hαβ , also istence of these geometrical objects has thus been proven
known as nonmetricity, is defined by by group theory.
Let us compare our approach with nonlinear realiza-
Dγ hαβ ≡ Γγ(αβ) = ∇γ hαβ − ω αβγ − ω βαγ tions of local spacetime groups such as the local Poincaré
= ∇γ hαβ − 3ω (γαβ) + ω γαβ . (34) or affine group [10, 11, 12]. In these realizations the to-
tal nonlinear connection is given by Γ = σ −1 (d + ω)σ,
In order to see why nonmetricity vanishes, we make and ω is the linear gauge connection of the local space-
again use of the inverse Higgs effect [32]. This “effect” time group instead of a Goldstone field. In contrast, we
is based on the fact that any Cartan form with a ho- restricted to the nonlinear realization of the diffeomor-
mogeneous transformation law can be put equal to zero phism group which is isomorphic to the group of local
without affecting physics. This applies to the part of the translations and as such a subgroup of the above men-
connection Γ which is defined on the coset space G/H, tioned local groups. Since, with the exception of torsion,
see Eq. (12). In particular, we set all relevant spacetime structures could be obtained by the
nonlinear realization technique, it seems to be sufficient
Dγ hαβ ≡ Γγ(αβ) = 0 . (35) to require only diffeomorphism invariance.
Finally, we would like to mention that it is also possible
to recover torsion within our approach. If we allowed for
non-commutative coordinates satisfying, for instance,
4 [r −1 , dr]αβ ≡ (r −1 )i α dr iβ − dr iα (r −1 )i β ,
{r −1 , dr}αβ ≡ (r −1 )i α dr iβ + dr iα (r −1 )i β [xi , xj ] = iθij , (42)
8

where θij is a constant antisymmetric tensor of dimen- 10 → 9 + 1 for n = 4.6 The fields ϕ(1,1) and φ pa-
sion −2, the generators Fim jk... of the Ogievetsky algebra rameterize the coset GL(n, R)/SO(1, n − 1), i.e. they
would not be symmetric in the upper indices anymore.5 are Goldstone fields associated with shears and dilations.
Then the connection ω i jk would not be symmetric in The field ϕ(0,0) will become a massive Higgs field.
the last two indices either and torsion would be an addi- We also make use of metric- and tetrad-type fields g ij
tional gravitational field. Note, however, that unlike in and eα i which we define in terms of the Goldstone fields
the gauge approach to gravity, the existence of torsion is ϕ(1,1) and φ by
directly linked to the non-commutativity of coordinates.  
(1,1)
eα i ≡ φ exp iϕjk T̂ jk α i , (43)
g ij ≡ η αβ eα i eβ j , (44)
IV. A HIGGS MECHANISM FOR GRAVITY
where T̂ ij and D = −i (in the redefinition φ = exp(iφ̃D))
In the previous section we discussed nonlinear realiza- are the generators of shears and dilations, respectively.
tions of the diffeomorphism group which provide gravita- The metric gij may be used for raising and lowering in-
tional fields as Goldstone bosons of a dynamical break- dices. We stress that gij is a descendant of ϕ(1,1) and
ing of Diff (n, R). In the following we develop a con- φ and not an independent field. This reflects the fact
crete model for this symmetry breaking. We construct a that the metric is the Higgs field breaking GL(n, R) to
Higgs mechanism which breaks the general linear group SO(1, n − 1) as predicted in the above nonlinear realiza-
GL(n, R) down to the Lorentz group SO(1, n − 1). The tions, see also [37] in this context.
breaking is induced by the condensation of the metric We can now write down a GL(n, R) invariant action
which transforms an affine spacetime into a Riemannian for the fields Γi jk (x), φ(x), ϕij (x) and their descendants
one. We finally comment on the breaking of global trans- g ij (x) and eα i (x). It is convenient to split the action S
lations which gives rise to the condensation of a fluid of into three parts,
reference in terms of Goldstone coordinates.
S = Sgrav + SSB + Smatter , (45)

i.e. into a gravitational, a symmetry breaking and a mat-


A. Breaking of GL(n, R) and hybrid inflation ter action.
The first part Sgrav describes the nonminimal coupling
Previous Higgs models of the (special) linear group of the fields φ and ϕij to gravity in an affine spacetime.
have been constructed in [18, 19]. In [18] the metric was We choose the gravity action
independent from the symmetry breaking Higgs fields. Z  2 
This approach is however not in the spirit of the metric 4 √ φ ξ ij
Sgrav = d x −g − ϕ ϕij (R + LH ) , (46)
as a Goldstone field as indicated in [19]. In the follow- 8ω 2
ing we construct a Higgs mechanism in which the degrees
of freedom of the metric are identical to the symmetry where R = g ij Ricij is obtained by contracting the affine
breaking fields. Ricci tensor Ricij = Rk ikj (Γ, ∂Γ) with the metric g ij .
We assume that the stability group of the diffeomor- LH denotes possible higher order curvature terms. The
phism group is H1 = GL(n, R) at high energies. Accord- dimensionless coupling constants ξ and ω guarantee scale
ing to the nonlinear realization considered in Sec. III B, invariance on the classical level.
this corresponds to an affine spacetime which is equipped The metric g ij and the connection Γi jk are indepen-
with an affine connection Γi jk which is symmetric in the dent fields at high energies and the curvature
lower indices and has 40 independent components. For
Ri jkl = ∂k Γijl − ∂l Γijk + Γm i m i
jl Γmk − Γjk Γml (47)
the moment we ignore the dynamics of the G-coordinates
ξ i and work in the gauge xi = ξ i . does not depend on g ij . Upon writing the connection as
For the symmetry breaking we also have to introduce a one-form Γi j = Γi jk dxk , it transforms as
a ten-component second rank symmetric tensor ϕij of
GL(n, R) and a real scalar field φ. These fields are the Γ′i j = ei k Γk l el j + ei k dek j (48)
analogs of the isospinor scalar field Φ = (φ+ , φ0 ) which
induces the breaking of the electroweak interaction in under GL(n, R), where ei j = exp(iLα β ψ α β )i j with Lα β
the standard model of elementary particle physics. The the generators of the linear group.
tensor ϕij decomposes under the Lorentz group into its The Palatini approach to general relativity tells us that
trace ϕ(0,0) and a traceless symmetric tensor ϕ(1,1) , i.e. in the vacuum the curvature scalar in (46) alone does not

5 A θ-deformed algebra of diffeomorphisms has recently been stud- 6 The indices indicate the representation of the Lorentz group la-
ied in [36]. beled by (j1 , j2 ).
9

describe the dynamics of the post-Riemannian pieces of Ψ of GL(n, R). It has been suggested [19, 25, 38, 39] that
the connection. For these pieces, we have to add higher such a spinor could be described by an affine extension
order curvature terms like of the Dirac equation which would follow from the action

LH ∼ R(ij) ∧ ⋆ Rij , (49) Z



Smatter = d4 x −gΨ̄η αβ Xα eβ i Di Ψ , (53)
for instance, where Rij = Rijkl dxk ∧ dxl is the curvature
two-form. Since we introduced a metric into an affine
spacetime, gravity can in principle be described by the where the generalized Dirac matrices Xα form a vec-
Metric-Affine Theory of Gravity (MAG) [25], where fur- tor operator of GL(n, R). The covariant derivative is
ther higher order terms can be found.7 given by Di = ∂i + iΓiα β (Lα β ) with Lα β an appropriate
The second part SSB of the action describes the sym- spinorial representation of GL(n, R). After the symme-
metry breaking to the Lorentz group and is given by try breaking to the Lorentz group, the spinor Ψ splits
Z   into a sum of Lorentz representations with an ordinary
4 √ 1 ij kl 1 ij Dirac spinor as the lowest component and (53) reduces
SSB = d x −g g Di ϕ Dj ϕkl + g ∂i φ∂j φ − V effectively to the usual Dirac action. Some progress to-
2 2
(50) wards such an equation has recently been made in [40] in
which the matrix Xα has been constructed for a three-
with effective potential dimensional Dirac-like equation.
λ ij 2 1 1
V (φ, ϕij ) = ϕ ϕij − M 2 + m2 φ2 + λ′ ϕij ϕij φ2 .
4 2 2
(51) B. The condensation of the metric
The covariant derivative on ϕjk is defined by
We now consider the condensation of the metric and
Di ϕjk = ∂i ϕjk + iΓiα β (Lα β )jk mn ϕmn , (52) connected with it the rearrangement of the metric into
the connection. Recall that before the condensation the
with (Lα β )jk mn the tensor representation of GL(n, R). metric g ij and the connection Γi jk were independent
Let us consider the action SSB in detail. The first objects. After the condensation the affine connection
two terms are kinetic terms for the fields ϕij and φ. The turns into the Levi-Civita connection as already shown
quartic term in the potential is the self-interaction of ϕij . in Sec. III C.
The effective mass squared of ϕij is m2ϕ = −λM 2 + λ′ φ2 . As in hybrid inflation, we assume that the dilaton field
The scaling dimensions of the fields ϕij and φ are [ϕij ] = φ is slow-rolling and large at the beginning of the break-
[φ] = 1 and λ and λ′ are positive dimensionless coupling ing. The effective potential V has a minimum at
constants. We assume m to be small such that the action
is classically invariant under global GL(n, R) transforma- q r
tions at high energies. Note however that scale invariance λ′
vϕ ≡ hϕ ϕij i = M 2 − φ2 .
ij (54)
is softly broken at energy scales of the order of λM 2 . λ
The reader may have noticed the similarity of the
action SSB and hybrid inflation [26]. Instead of two As long as the dilaton φ is larger than the critical value
scalars, the potential in our model depends on a scalar φ2c = λM 2 /λ′ , the field ϕij is trapped at ϕij = 0.
and a second-rank tensor. While the inflaton φ remains The condensation starts as soon as the value of φ falls
a scalar, we replaced the non-inflaton σ by the second- below φc , φ < φc , at which point the vacuum becomes
rank tensor ϕij . If we identify the non-inflaton σ with meta-stable. Then the field ϕij is not trapped at ϕij = 0
the trace of ϕij , i.e. σ ≡ ϕ(0,0) , we recognize the standard anymore. Due to quantum fluctuations ϕij leaves ϕij = 0
hybrid inflation potential inside the action SSB . Another and rolls down the “waterfall” to its minimum vϕ = ±M
difference to hybrid inflation is that gravity is not de- at φ = 0. This has been shown in Fig. 1.
scribed by general relativity in our model. Spacetime is The metric g ij as defined in Eq. (44) has an interesting
affine during the breaking and becomes Riemannian only behavior during the symmetry breaking. For φ > φc the
at the end of the condensation. metric is conformally flat, g ij = φ2 η ij , and the theory is
As an aside we remark that matter in an affine space- approximately scale invariant. Below φ = φc the effective
time is described by a spinorial infinite-component field mass squared m2ϕ of ϕij gets negative and the metric be-
comes tachyonic. This softly breaks scale invariance and
induces the spontaneous breakdown of shear invariance.
Finally, at the end of the condensation, the metric be-
7 The main difference to MAG is that in the present condensation comes massless.
model, the metric is a Higgs field and as such tachyonic at high
energies. Moreover, the tetrads are given by Eq. (43) and do not In order to show that the metric becomes massless at
represent an independent field. the minimum of the potential, we parameterize ϕij and
10

φ around the minimum vϕ as8 This is quite analogous to the breaking of the electroweak
interaction in which the W bosons become massive by the
ϕij = (vϕ + σ)ηαβ r̂α i r̂β j , (56) absorption of Goldstone bosons. The kinetic terms of

(1,1)
 the Goldstone fields turn into mass terms for the gauge
r̂α i = exp viϕ ϕjk T̂ jk α i , (57) bosons. As we will see below, the vacuum expectation
φ = vϕ exp( viϕ φ̃D) , (58) value vϕ is of the order of the Planck scale such that the
nonmetricity Qijk decouples from the theory.
Moreover, the antisymmetric part Γ′i[jk] remains mass-
where the hat denotes traceless tensors and σ ≡ ϕ(0,0) .
less and can be expressed in terms of the condensed met-
Eq. (56) explicitly expresses the 10 → 9 + 1 decompo-
ric g ij given by Eq. (60). Note that, since the nonmetric-
sition of ϕij under the Lorentz group. In terms of these
ity Qijk is effectively absent at energies far below vϕ ,
fields, the tetrad (43) and the metric (44) become
we may set Γ′i(jk) = 0. We showed in Sec. III C that for
eα i = vϕ exp( viϕ φ̃D)r̂α i , (59) Γ′i(jk) = 0, the antisymmetric part Γ′i[jk] leads to the
Christoffel connection. In this context compare also the
g ij = η αβ eα i eβ j . (60) redefinition (63) with Eqs. (30) and (31).9
The decoupling of nonmetricity at low energies implies
Substituting this into the action SSB as given by Eq. (50), that gravity is effectively described by general relativity
we obtain at the minimum of the potential (φ = 0, vϕ = ±M ).
Z


1 λ Indeed, the action Sgrav given by Eq. (46) reduces to
SSB = d4 x −g g ij ∂i σ∂j σ − M 2 σ 2
2 2 Z
√ ξ
1
 Sgrav = − d4 x −g vϕ2 R , (65)
+ vϕ2 (eβ(j ∂i eβ k) − Γi(jk) )2 + ... , (61) 2
2
where the curvature R is now determined by the Christof-
where dots denote mixed and constant terms. The kinetic fel connection and thus in terms of the condensed met-
term for the field σ and the two terms in the second line ric. Comparison with
R the √ standard Einstein-Hilbert ac-
of (61) originate from the kinetic terms in the action (50). tion SEH = −MP2 l d4 x −gR gives a relation between
The Goldstone fields φ and ϕ(1,1) have become massless, the Planck mass MP l and the mass parameter M ,
whereas the field σ turned into a massive gravitational
Higgs field with mass ξ 2
MP2 l = M . (66)
2
m2 (σ) = λM 2 . (62)
Assuming that coupling constants λ and ξ are of order
Upon redefining the connection O(1), we see that the Higgs mass and the mass (64) of
the nonmetricity are of the order of the Planck scale.
Γ′ijk = eβj ∂i eβ k − Γijk , (63)
C. Fluid of reference and ghost condensation
the kinetic terms for the Goldstone bosons φ and ϕ(1,1)
are absorbed by the connection. In other words, the
Goldstone metric gij , which is composed out of these The breaking of shears and dilations is only one part
fields, is “eaten” by the connection. In App. C we show of the dynamical breaking of the diffeomorphism group.
that the total number of on-shell degrees of freedom is In a symmetry breaking scenario of the entire group, one
preserved during this process. would have to add another mechanism for the breaking
The absorption of the metric turns the symmetric part of global translations. As discussed in Sec. III A, this
Qijk ≡ 2Γ′i(jk) = ∂i gjk − 2Γi(jk) into a tensor called non- corresponds to the construction of a dynamical model
metricity which is the covariant derivative of the metric. for Goldstone coordinates. In the following we briefly
We find that the nonmetricity Qijk gets the mass comment on properties of such a model.
A dynamical model for Goldstone coordinates is in the
m2 (Qijk ) = vϕ2 = M 2 . (64) line of [1, 41] (for early work see [42, 43]). In these papers
the breaking of time-translations leads to the introduc-
tion of a Goldstone scalar φ ≡ ξ 0 with a negative kinetic
term. It seems natural to also break spatial translations
8
and to introduce kinetic terms for the spatial coordinates
This is the analog of the parameterization of the isospinor Φ in
ξ a (a = 1, 2, 3), see [44, 45] for recent developments.
electroweak symmetry breaking given by
 
1 0
Φ = √ eiω·τ /v (55)
2 v+h
with h the Higgs field, ω the three Goldstone bosons and v the 9 It is a well-known result that if nonmetricity and torsion are
vacuum expectation value. absent, the connection is necessarily the Christoffel connection.
11

In these models the prototype for the kinetic term of ear realizations of the diffeomorphism group which de-
the field ξ i (i = 0, 1, 2, 3) is given by the nonlinear sigma termine the field content of gravity in each phase of the
model symmetry breaking. This lead to a unified description of
Z several gravitational fields in terms of Goldstone fields.

Sξ = d4 x hhαβ (x)∂α ξ i ∂β ξ j gij (ξ) . (67) A summary of the broken generators and the correspond-
ing Goldstone fields is given in Tab. II.
This is a classical action for a four-dimensional world vol- broken symmetry geometrical field spacetime
ume with world volume metric hαβ . The coordinates xα translations Pi Goldstone- differential
parameterize the world volume, while ξ i are the Gold- coordinates ξ i manifold
stone bosons corresponding to the breaking of time and nonlinear Fi1 jk connection Γi jk affine
spatial translations in field space. shears/dilations Tij metric gij Riemannian
In the above models hαβ is interpreted as the space-
time metric and gij as some internal metric. Choosing
the metric gij = ηij , the “wrong-sign” (negative) kinetic TABLE II: Goldstone fields provided by nonlinear realizations
of Diff (n, R).
term of the ghost field φ ≡ ξ 0 in [1] follows automatically
from the signature (− + ++) of the Minkowski metric ηij
(ξ a = 0 there). In this paper, the nonlinear realizations of We also constructed a Higgs mechanism for the break-
Sec. III show that the spacetime metric is predominantly ing GL(4, R) → SO(1, 3) in which a Riemannian space-
a function of the dynamical field ξ i and one would inter- time emerged out of an affine spacetime by the conden-
pret gij in Eq. (67) as the target space metric and hαβ sation of a metric. The symmetry breaking potential was
as the metric in the tangent space. very similar to the potential of hybrid inflation. However,
It is a well-known result from string theory that in flat ordinary inflation scenarios assume the validness of gen-
space actions of the type (67) are quantum-mechanically eral relativity during inflation. In our model Einstein’s
well-defined only in ten dimensions. However, even on theory is a good description of gravity only at the very
the classical level, Lorentz-invariant actions for Gold- end of the condensation. Nevertheless, it is very sugges-
stone coordinates usually suffer from the van Dam- tive to consider hybrid inflation as a consequence of the
Veltman-Zakharov (vDVZ) discontinuity [46, 47] or be- symmetry breaking. In order to show this, one would
come strongly coupled at very low energies [48].10 have to derive a Friedmann equation for a (metric-)affine
In conclusion, it is remarkably difficult to find a proper spacetime. The existence of such an equation has already
Lorentz invariant action for the Goldstone coordinates ξ i . been shown for a Cartan-Weyl spacetime [49, 50, 51].
This is also related to the fact that the ξ i do not trans- This gives some confidence that hybrid inflation could
form as an irreducible representation under the Lorentz indeed be an artifact of the condensation of the metric.
group. Note that the vector representation of GL(4, R) We believe that the story of an emergent spacetime
decomposes as 4 → 1 + 1 + 2 under the Lorentz group. has just begun. In this paper we focused mainly on
For this reason current models [1, 41, 44] give up the re- the breaking of shears and dilations and only briefly
quirement of Lorentz invariance. It can be shown that sketched other parts of the full gravitational symmetry
under certain requirements Lorentz-violating actions are breaking scenario. In particular, there is the condensa-
free of strong coupling problems and the vDVZ disconti- tion of the Goldstone coordinates corresponding to the
nuity is absent. breaking of translational invariance as described in ghost
condensation models. It would be interesting to combine
such models with the condensation of the metric. It is
V. CONCLUSIONS also conceivable that the affine spacetime itself arose out
of a spacetime with even less structure by the conden-
sation of an affine connection. We leave this for future
We elaborated on the idea that the evolution of the research.
early universe started with a series of phase transitions
in which the Riemannian spacetime arose step-by-step
out of spacetimes with less structure. We gave some ev-
idence for this view of spacetime by considering nonlin- Acknowledgments

I would like to thank N. Arkani-Hamed, F. W. Hehl,


10
A. Miemiec, L. Motl, A. Nicolis and J. Thaler for many
Note that in unitary gauge, actions of the type (67) lead to the
Fierz-Pauli theory of massive gravity. A more sophisticated La- useful discussions related to this work. I also would
grangian than (67) is given by [48] like to thank R. Tresguerres and Dj. Šijački for helpful
√ comments in the very early stages of this project. This
L = hhαβ (hαβ − Gαβ )g ρσ (hρσ − Gρσ ) ,
work was supported by a fellowship within the Postdoc-
with Gαβ = ∂α ξ i ∂β ξ j gij (ξ). In unitary gauge (ξ i = Λ2 xi , gij = Programme of the German Academic Exchange Service
ηij + hij ), this leads to the Fierz-Pauli term hαβ hαβ − h2 . (DAAD), grant D/04/23739.
12

APPENDIX A: TRANSFORMATION BEHAVIOR 2. The transformation behavior of ω i jk


OF COSET FIELDS
Let us now consider the coset space G/H1 =
In this appendix we derive the transformation behavior Diff (n, R)/GL(n, R). We choose the parameterizations
of the coset fields ξ i , ri α and ω i jk by considering non- m
Pm iω m nr Fm
1 nr
linear realizations of the diffeomorphism group. We will σ = σ̃u = eiξ e u, (A10)
repeatedly use the Campbell-Baker-Hausdorff formula i
g ≈1 + iε Pi + iε j Li + iε i j i
jk Fi
1 jk
+ ..., (A11)
1 h ≈1 + iε̃ j Li . i j
(A12)
eA Be−A = B + [A, B] + [A, [A, B]] + ... (A1)
2!
Since the element u associated to the generators F m
for two matrices A and B.
(m ≥ 2) has no influence on the transformation behavior
of ω i jk , we may consider just σ̃. In order to obtain the
1. The transformation behavior of the transformation behavior δω i jk , let us again solve Eq. (8).
coordinates ξ i We obtain
m
Pm −iξ m Pm m
e−iδξ e (1 + iεi Pi + ...)eiξ Pm
=
In the first nonlinear realization of Diff (n, R), we ′m 1 nr m 1 nr
eiω nr Fm
(1 + iε̃i j Li j )e−iω nr Fm
(A13)
choose H0 = Diff0 (n, R) such that the coset space G/H
is only spanned by the translation generators Pi . We or, equivalently, by employing (A8)
parameterize σ ∈ G/H, g ∈ G, and h ∈ H as m 1 nr
e−iω nr Fm
(1 + i[εi (ξ) − δξ i ]Pi + εi j (ξ)Li j
iξ m Pm
σ =e , (A2) m 1 nr
+ iεi jk (ξ)Fi1 jk + ...)eiω nr Fm
=
g ≈1 + iεi Pi + iεi j Li j + iεi jk Fi1 jk + ..., (A3) m 1 nr i j
(1 + iδω nr Fm )(1 + iε̃ j Li ) . (A14)
h ≈1 + iε̃i j Li j + ... . (A4)
Here we used (Taylor expansion)
Eq. (8), gσ(ξ) = σ(ξ ′ )h(ξ, g), describes implicitly the 1 nr m 1 nr
′m
+iδω m nr Fm
1 nr
transformation behavior δξ i . Substituting Eqns. (A2)– eiω nr Fm
= eiω nr Fm

(A4) into (8), we find m 1 nr m 1 nr


≈ eiω nr Fm
+ eiω nr Fm
iδω m nr Fm
1 nr
.
m m
−iξ Pm i iξ Pm
e (1 + iε Pi + ...)e = The transformation law (A9) follows again. Since both
iδξ m Pm i j δω m nr and ε̃i j are infinitesimal, the r.h.s. becomes
e (1 + iε̃ j Li + ...) , (A5)
where we used ξ ′ = ξ + δξ. Since δξ m and ε̃i j are in- r.h.s. = 1 + iε̃i j Li j + iδω m nr Fm
1 nr
. (A15)
finitesimal, the r.h.s. of (A5) becomes
Using the Baker-Hausdorff formula, the l.h.s. reads
r.h.s. = 1 + iδξ i Pi + iε̃i j Li j + ... . (A6)
l.h.s. = 1 + iεi j (ξ)Li j + iεi jk (ξ)Fi1 jk
We are interested in all commutators of the l.h.s. of (A5) + [−iω m nr Fm
1 nr
, iεi j (ξ)Li j ] + ... . (A16)
which close on Pi . They can be found by applying the
Baker-Hausdorff formula. The relevant commutators are By means of the commutator
1 nr
[−iξ m Pm , iεi j Li j ] = iεi j ξ j Pi , [Fm , Li j ] = iδm
j
Fi1 nr − iδin Fm
1 jr
− iδir Fm
1 nj
, (A17)
1 the l.h.s. finally becomes
[−iξ m Pm , [−iξ n Pn , iεi jk Fi1 jk ]] = iεi jk ξ j ξ k Pi ,
2!
l.h.s. = 1 + iεi j (ξ)Li j +
etc., (A7)  i 
∂ε l ∂εl i ∂εl i 1 ∂ 2 εi
since the commutator of Pi with a generator F n closes i ω jk − j ω lk − k ω jl + Fi1 jk + ... .
∂ξ l ∂ξ ∂ξ 2 ∂ξ j ∂ξ k
on F n−1 . The l.h.s. is then given by
l.h.s. = 1 + i[εi + εi j ξ j + εi jk ξ j ξ k + ...]Pi A comparison of the coefficients of Fi1 jk yields the trans-
formation behaviour (19).
+ i[εi j + εi jk ξ k + ...]Li j + ...
≡ 1 + iεi (ξ)Pi + iεi j (ξ)Li j + ... . (A8)
3. The transformation behavior of r i α
It is interesting to observe that the breaking of the trans-
lations effectively makes the group parameters of g de- In this section we choose the coset space G/H =
pend on ξ i , compare Eq. (A8) with the definition of g Diff (n, R)/SO(1, n − 1). We choose the elements
given in Eq. (A3). m
Pm ihmn Tmn
Comparing the coefficients of Pi , we get σ = σ̃u = eiξ e u, (A18)
i i i j i j k i i i j i 1 jk
δξ = ε + ε j ξ + ε jk ξ ξ + ... ≡ ε (ξ) , (A9) g ≈1 + iε Pi + iε j Li + iε jk Fi + ..., (A19)
ij
i.e. the fields ξ i transform as coordinates. h ≈1 + iε̃ Mij . (A20)
13
i
Pi ihij Tij
We may again ignore the element u associated to gen- eiξ e . Then the nonlinear connection Γ becomes
erators F m (m ≥ 1). Now we determine the type of the
indices of the coset parameter ri α . Eq. (8) becomes after Γ = σ̃ −1 dσ̃ (B1)
a similar computation which led to (A14) =e −ihij Tij −iξ i Pi
e [(de iξ i Pi
)e ihij Tij
+e iξ i Pi
de ihij Tij
]
ij ij ij ij
mn = e−ih Tij
+ e−ih Tij idhkl Tkl eih Tij
(idξ k Pk )eih Tij
(1 + iεi j (ξ)Li j + ...)eih Tmn
=
i
= idξ k Pk + dξ k hij [Tij , Pk ] − [hij Tij , [hmn Tmn , dξ k Pk ]]
mn
+δhmn )Tmn
ei(h (1 + iε̃ij Mij ) . (A21) 2
+ (r−1 )i α idhij rj β (Tαβ + Mαβ ) + ...
In the following we will make use of the Eqs. (A.9)- α
= ie−h i Pα dξ i + i(r−1 )i α driβ (Tαβ + Mαβ )
(A.11) in [13]:
i i
= i(r−1 )i α dξ i Pα + {r−1 , dr}αβ Tαβ + [r−1 , dr]αβ Mαβ .
mn
+δhmn )Tmn mn   2 2
ei(h = eih Tmn
1 + i(r−1 )i α δriβ Tαβ
(A22) Here we used Eq. (A23) after the fourth equality sign.
mn mn The projections are thus given by
e−ih Tmn
σ ij Tij eih Tmn
= (r−1 )i α σ i j rjβ (Tαβ + Mαβ )
(A23) ϑ̃α ≡ (r−1 )i α dξ i , (B2)
mn mn
−ih Tmn ij ih Tmn −1 α i jβ
e τ Mij e = (r )i τ j r (Tαβ + Mαβ ), 1
Γ̃(αβ) ≡ {r−1 , dr}αβ , (B3)
(A24) 2
1
Γ̃[αβ] ≡ [r−1 , dr]αβ . (B4)
where σ ij and τ ij are arbitrary tensors. We lift and lower 2
indices with the Minkowski metric ηαβ . i 1 jk
Now, consider σ = σ̃ũ with ũ ≡ eiω jk Fi
u. The con-
Using (A23) and (A24) the l.h.s. becomes nection becomes

l.h.s. = 1 + i(r−1 )i α εi j (ξ)rjβ (Mαβ + Tαβ ) + ..., (A25) σ −1 dσ = (σ̃ ũ)−1 d(σ̃ ũ) = ũ−1 σ̃ −1 [dσ̃ ũ + σ̃dũ] (B5)
−1 −1 −1
= ũ [σ̃ dσ̃]ũ + ũ dũ
while with help of (A22) the r.h.s. reads −iω i jk Fi1 jk
=e [iϑ̃ Pδ + iΓ̃(αβ) Tαβ
δ

i 1 jk
r.h.s = 1 + i(r−1 )i α δriβ Tαβ + iε̃αβ (Mαβ + Tαβ ) + ... . + iΓ̃[αβ] Mαβ ]eiω jk Fi
+ O(F 1 )
(A26) = iϑ̃α Pα + iΓ̃(αβ) Tαβ + iΓ̃[αβ] Mαβ
+ [Fi1 jk , Pδ ]ϑ̃δ ω i jk + O(F 1 )
The comparison of the coefficients of Tαβ shows that riα
transforms as = iϑ̃α Pα + iΓ̃(αβ) Tαβ + iΓ̃[αβ] Mαβ
− 2iω α βγ ϑ̃γ Lα β + O(F 1 ) .
i
∂ε jα
δriα = r − ε̃β α riβ . (A27) Then the connection 1-forms are
∂ξ j
ϑα ≡ (r−1 )i α dξ i , (B6)
This well-known result is also obtained in [7, 8]. It says
that the first (latin) index of ri α transforms covariantly 1
Γ(αβ) ≡ {r−1 , dr}αβ − ω αβγ ϑγ − ω βαγ ϑγ , (B7)
while the second (greek) one is a Lorentz index. This 2
justifies a posteriori the use of different types of indices 1
Γ[αβ] ≡ [r−1 , dr]αβ − ω αβγ ϑγ + ω βαγ ϑγ . (B8)
for ri α . 2

An identity
APPENDIX B: CONNECTION 1-FORM FOR
G/H = Diff (n, R)/SO(1, n − 1) We finally give an identity which is used in Sec. III C:
1
∂k gij rk γ ri α rj β =
In the following we calculate the translational part ϑi 2
and the GL(n, R) part Γi j of the connection Γ in case 1
when H2 = SO(1, n − 1). Then an element of G/H reads ∂k [(r−1 )i µ (r−1 )j ν ]ηµν rk γ ri α rj β
i ij i 1 jk
2
σ ≡ eiξ Pi eih Tij eiω jk Fi u, where u is an element of the 1 
= ∂k (r−1 )i µ ηµβ ri α + ∂k (r−1 )j ν ηαν rj β rk γ
group spanned by F n (n ≥ 2). 2
Let us first calculate the simpler case when G/H is 1
= − {r−1 , ∂k r}αβ rk γ = −∇γ hαβ . (B9)
just spanned by Pi and Tij with the elements σ̃ = 2
14

APPENDIX C: PHYSICAL DEGREES OF the remaining vector piece of the connection. As usual
FREEDOM OF A SYMMETRIC CONNECTION for a massless (massive) vector representation, it has two
(three) physical degrees of freedom.
In this appendix we decompose a four-dimensional Similarly, it is possible to show that the antisymmetric
(n = 4) symmetric connection Γij k with 40 (off-shell) part Γi[jk] has 2 physical polarizations. This gives in total
components into irreducible representations under the 6 on-shell degrees of freedom for a symmetric connection
Lorentz group and determine the number of physical (on- Γij k with 40 off-shell components.
shell) degrees of freedom of such a connection. We then In the Higgs mechanism for the breaking of GL(4, R)
show that the Goldstone metric gij provides the exact down to SO(1, 3), the symmetric part of the connection
number of degrees of freedom for a massive nonmetricity Γi(jk) absorbs the metric and turns into massive non-
tensor. metricity,
A connection Γij k , which is symmetric in its lower in-
dices i and j, can be split into two pieces, each with 20 Qijk ≡ 2Γ′i(jk) = ∂i gjk − 2Γi(jk) , (C3)
components: Γi(jk) and Γi[jk] . Under the Lorentz group,
the symmetric part Γi(jk) decomposes into a tracefree cf. Eq. (63). Here the 5 d.o.f. of the Goldstone graviton
and a trace part, are “eaten” by the spin-3 particle TRITON. (The sixth
mode of the graviton is absorbed by the spin-1 particle
1 associated with the trace Γi in (C1).) TRITON becomes
Γi(jk) = Γ̂i(jk) + Γi gjk (Γi ≡ Γik k ) , (C1)
4 massive and decouples at low energies.
1 1
Let us compare the number of on-shell degrees of free-
which correspond to the representations D( 2 , 2 ) and dom before and after this process. Before the condensa-
3 3
D( 2 , 2 ) with 4 and 16 components, respectively. In Young tion the metric is tachyonic13 and has 5 + 1 = 6 d.o.f.,
tableau notation this decomposition can be written as: while Γi(jk) and Γi[jk] are massless and have 2 + 2 = 4
and 2 d.o.f. During the breaking the symmetric part of
GL(4, R) SO(1, 3)
the connection Γi(jk) absorbs all six d.o.f. of the metric
Γi(jk) and becomes massive with 7 + 3 = 10 d.o.f. After inte-
20 ⊃ 16 ⊕ 4 (C2) grating out these massive modes, we are left with the 2
3 3
d.o.f. of the antisymmetric part of the connection. Due
The representation D( 2 , 2 ) describes a spin-3 “particle” to the inverse Higgs effect these modes are identical to
which we refer to as TRITON (prefix “tri” for spin three) the 2 d.o.f. of a massless graviton. Recall that this part of
in accordance with the corresponding nonmetricity com- the connection has become the metric connection. As re-
ponent TRINOM [25].11 quired, the total number of d.o.f., 12 = 6 + 4 + 2 = 2 + 10,
The number of physical degrees of freedom of each of is preserved.
these irreducible pieces is fixed by the dimension of the
same representation transforming under the little group field Y.T. SO(1, 3) SO(3) SO(2) name
of the Poincaré group ISO(1, 3), which is SO(2) (SO(3))
gij 9(+1) 5(+1) 2 GRAVITON
in the case of massless (massive) representations, respec-
tively. Γ̂i(jk) 16 7 2 TRITON
Tab. III shows the dimensions of these representa-
tions. The first line of the table tells us that the metric Γi 4 3 2
with 10 (off-shell) components, which splits into a trace
TABLE III: On-shell and off-shell degrees of freedom of the
and traceless symmetric part under SO(1, 3), describes metric and the total symmetric part of the connection.
a massless (massive) graviton with two (five12 ) physical
polarizations. The second line of the table shows the
degrees of freedom of the spin-3 particle TRITON asso-
ciated with the 16 (off-shell) components of the traceless
total symmetric part of the connection: This particle has
two (seven) polarizations in case it is massless (massive).
The last line shows the number of degrees of freedom for

11 Interacting higher spin theories (spin > 2) usually face consis-


tency problems. Since in our case TRITON decouples, it does
not cause problems for the low energy effective theory (General
Relativity). However, consistency of the high energy theory re-
mains to be shown. We leave this for future research.
12 There is actually a sixth mode with spin 0 coming from the trace 13 Recall that the metric gij is defined in terms of the traceless part
of the metric. In a theory for massive gravity this mode is not of the Higgs field ϕij , cf. Eq. (44), which has a negative mass
considered to be physical and must be project out by the action. squared.
15

[1] N. Arkani-Hamed, H. C. Cheng, M. A. Luty and S. Muko- [29] C. Lämmerzahl, Acta Phys. Polon. B29, 1057 (1998)
hyama, JHEP 0405, 074 (2004) [arXiv:hep-th/0312099]. [arXiv:gr-qc/9807072].
[2] Y. Neeman and Dj. Šijački, Int. J. Mod. Phys. A 2, 1655 [30] A. B. Borisov, J. Phys. A 11, 1057 (1978).
(1987). [31] Dj. Šijački, Group and gauge structure of affine theories,
[3] S. R. Coleman, J. Wess and B. Zumino, Phys. Rev. 177, in: Frontiers of Particle Physics 1983, Proc. 4th Adriatic
2239 (1969). Meeting Particle Physics, Dj. Šijački et al., eds. (World
[4] C. G. Callan, S. R. Coleman, J. Wess and B. Zumino, Scientific, Singapore 1984) 382-395.
Phys. Rev. 177, 2247 (1969). [32] E. A. Ivanov and V. I. Ogievetsky, Teor. Mat. Fiz. 25,
[5] A. Salam and J. Strathdee, Phys. Rev. 184, 1750 (1969). 164 (1975).
[6] A. Salam and J. Strathdee, Phys. Rev. 184, 1760 (1969). [33] F. Gronwald, Int. J. Mod. Phys. D 6, 263 (1997)
[7] C. J. Isham, A. Salam and J. Strathdee, Annals Phys. [arXiv:gr-qc/9702034].
62, 98 (1971). [34] I. Low and A. V. Manohar, Phys. Rev. Lett. 88, 101602
[8] A.B. Borisov and V.I. Ogievetsky, Theor. Math. Phys. (2002) [arXiv:hep-th/0110285].
21, 1179 (1975). [35] Y. Ne’eman, The Theory of World Spinors, in: “Spinors
[9] A. Pashnev, arXiv:hep-th/9704203. in Physics and Geometry”, A. Trautman and G. Furlan
[10] A. A. Tseytlin, Phys. Rev. D 26, 3327 (1982). eds., World Scientific Pub., (1989) 313-345.
[11] R. Tresguerres and E. W. Mielke, Phys. Rev. D 62, [36] P. Aschieri, C. Blohmann, M. Dimitrijevic, F. Meyer,
044004 (2000) [arXiv:gr-qc/0007072]. P. Schupp and J. Wess, arXiv:hep-th/0504183.
[12] A. Pulido, A. Tiemblo and R. Tresguerres, Gen. Rel. [37] G. A. Sardanashvily, arXiv:gr-qc/9405013.
Grav. 33, 1495 (2001) [arXiv:gr-qc/0009029]. [38] Y. Ne’eman and Dj. Šijački, Found. Phys. 27, 1105
[13] A. López-Pinto, A. Tiemblo and R. Tresguerres, Class. (1997) [arXiv:gr-qc/9804037].
Quant. Grav. 12, 1503 (1995). [39] J. Mickelsson, Comm. Math. Phys. 88, 551 (1983).
[14] V.I. Ogievetsky, Proceedings of 10th Winter School of [40] Dj. Šijački, Class. Quant. Grav. 21, 4575 (2004)
Theoretical Physics in Karpacz, Vol. 1, Wroclaw (1974) [arXiv:gr-qc/0409080].
117. [41] N. Arkani-Hamed, P. Creminelli, S. Mukohyama
[15] E. A. Lord, J. Math. Phys. 27, 3051 (1986). and M. Zaldarriaga, JCAP 0404, 001 (2004)
[16] E. A. Lord and P. Goswami, J. Math. Phys. 27, 2415 [arXiv:hep-th/0312100].
(1986). [42] M. B. Green and C. B. Thorn, Nucl. Phys. B 367, 462
[17] E. A. Ivanov and J. Niederle, Phys. Rev. D 25, 976 (1991).
(1982); Phys. Rev. D 25, 988 (1982). [43] W. Siegel, Phys. Rev. D 49, 4144 (1994)
[18] Y. Ne’eman and Dj. Šijački, Phys. Lett. B200, 489 [arXiv:hep-th/9312117].
(1988). [44] S. L. Dubovsky, JHEP 0410, 076 (2004)
[19] I. Kirsch and Dj. Šijački, Class. Quant. Grav. 19, 3157 [arXiv:hep-th/0409124]; S. L. Dubovsky, P. G. Tinyakov
(2002) [arXiv:gr-qc/0111088]. and I. I. Tkachev, arXiv:hep-th/0411158.
[20] K. S. Stelle and P. C. West, Phys. Rev. D 21, 1466 (1980). [45] B. M. Gripaios, JHEP 0410, 069 (2004)
[21] M. Leclerc, arXiv:gr-qc/0502005. [arXiv:hep-th/0408127].
[22] R. Percacci, Nucl. Phys. B 353, 271 (1991). [46] H. van Dam and M. J. G. Veltman, Nucl. Phys. B 22,
[23] R. Percacci, “Geometry of Nonlinear Field Theories”, 397 (1970).
World Scientific, Singapore, 1986. [47] V. I. Zakhavrov, JETP Lett. 12, 312 (1970).
[24] F. Wilczek, Phys. Rev. Lett. 80, 4851 (1998) [48] N. Arkani-Hamed, H. Georgi and M. D. Schwartz, Annals
[arXiv:hep-th/9801184]. Phys. 305, 96 (2003) [arXiv:hep-th/0210184].
[25] F. W. Hehl, J. D. McCrea, E. W. Mielke and Y. Neeman, [49] D. Puetzfeld, Class. Quant. Grav. 19, 3263 (2002)
Phys. Rept. 258, 1 (1995) [arXiv:gr-qc/9402012]. [arXiv:gr-qc/0111014].
[26] A. D. Linde, Phys. Rev. D 49, 748 (1994) [50] D. Puetzfeld and R. Tresguerres, Class. Quant. Grav. 18,
[arXiv:astro-ph/9307002]. 677 (2001) [arXiv:gr-qc/0101050].
[27] M. Gaul and C. Rovelli, Lect. Notes Phys. 541, 277 [51] O. V. Babourova and B. N. Frolov, Class. Quant. Grav.
(2000) [arXiv:gr-qc/9910079]. 20, 1423 (2003) [arXiv:gr-qc/0209077].
[28] E. Kretschmann, Ann. Phys. 53, 575 (1917).

Vous aimerez peut-être aussi