In
theoretical physics
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain, and predict List of natural phenomena, natural phenomena. This is in contrast to experimental p ...
, Lovelock's theory of gravity (often referred to as Lovelock gravity) is a generalization of Einstein's theory of
general relativity
General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the differential geometry, geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of grav ...
introduced by
David Lovelock in 1971. It is the most general
metric theory of gravity yielding conserved second order equations of motion in an arbitrary number of
spacetime
In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
dimensions ''D''. In this sense, Lovelock's theory is the natural generalization of Einstein's general relativity to higher dimensions. In three and four dimensions (''D'' = 3, 4), Lovelock's theory coincides with Einstein's theory, but in higher dimensions the theories are different. In fact, for ''D'' > 4 Einstein gravity can be thought of as a particular case of Lovelock gravity since the
Einstein–Hilbert action
The Einstein–Hilbert action in general relativity is the action that yields the Einstein field equations through the stationary-action principle. With the metric signature, the gravitational part of the action is given as
:S = \int R \sqrt ...
is one of several terms that constitute the Lovelock action.
Lagrangian density
The
Lagrangian
Lagrangian may refer to:
Mathematics
* Lagrangian function, used to solve constrained minimization problems in optimization theory; see Lagrange multiplier
** Lagrangian relaxation, the method of approximating a difficult constrained problem with ...
of the theory is given by a sum of dimensionally extended
Euler densities, and it can be written as follows
:
where ''R
μναβ'' represents the
Riemann tensor
Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first ...
, and where the
generalized Kronecker delta
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise:
\delta_ = \begin
0 &\text i \neq j, \\
1 &\te ...
''δ'' is defined as the antisymmetric product
:
Each term
in
corresponds to the dimensional extension of the Euler density in 2''n'' dimensions, so that these only contribute to the equations of motion for ''n'' < ''D''/2. Consequently, without lack of generality, ''t'' in the equation above can be taken to be for even dimensions and for odd dimensions.
Coupling constants
The
coupling constants
In physics, a coupling constant or gauge coupling parameter (or, more simply, a coupling), is a number that determines the strength of the force exerted in an interaction. Originally, the coupling constant related the force acting between tw ...
''α
n'' in the Lagrangian
have dimensions of
engthsup>2''n'' − ''D'', although it is usual to normalize the Lagrangian density in units of the
Planck scale
In particle physics and physical cosmology, Planck units are a system of units of measurement defined exclusively in terms of four universal physical constants: '' c'', '' G'', '' ħ'', and ''k''B (described further below). Expressing one of ...
:
Expanding the product in
, the Lovelock Lagrangian takes the form
:
where one sees that coupling ''α''
0 corresponds to the
cosmological constant
In cosmology, the cosmological constant (usually denoted by the Greek capital letter lambda: ), alternatively called Einstein's cosmological constant,
is a coefficient that Albert Einstein initially added to his field equations of general rel ...
Λ, while ''α
n'' with ''n'' ≥ 2 are coupling constants of additional terms that represent ultraviolet corrections to Einstein theory, involving higher order contractions of the Riemann tensor ''R
μναβ''. In particular, the second order term
:
is precisely the quadratic
Gauss–Bonnet term, which is the dimensionally extended version of the four-dimensional Euler density.
Equations of motion
By noting that
:
is a topological constant, we can eliminate the Riemann tensor term and thus we can put the Lovelock Lagrangian into the form
:
which has the equations of motion
:
[(Note that there are typos in the terms in the Equation of Motion in this article. See also in )]
Other contexts
Because Lovelock action contains, among others, the quadratic Gauss–Bonnet term (i.e. the four-dimensional
Euler characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's ...
extended to ''D'' dimensions), it is usually said that Lovelock theory resembles
string-theory-inspired models of gravity. This is because a quadratic term is present in the low energy effective action of
heterotic string theory
In string theory, a heterotic string is a closed string (or loop) which is a hybrid ('heterotic') of a superstring and a bosonic string. There are two kinds of heterotic superstring theories, the heterotic SO(32) and the heterotic E8 ×  ...
, and it also appears in six-dimensional
Calabi–Yau compactifications of
M-theory
In physics, M-theory is a theory that unifies all Consistency, consistent versions of superstring theory. Edward Witten first conjectured the existence of such a theory at a string theory conference at the University of Southern California in 1 ...
. In the mid-1980s, a decade after Lovelock proposed his generalization of the Einstein tensor, physicists began to discuss the quadratic Gauss–Bonnet term within the context of string theory, with particular attention to its property of being
ghost
In folklore, a ghost is the soul or Spirit (supernatural entity), spirit of a dead Human, person or non-human animal that is believed by some people to be able to appear to the living. In ghostlore, descriptions of ghosts vary widely, from a ...
-free in
Minkowski space
In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model.
The model helps show how a ...
. The theory is known to be free of ghosts about other exact backgrounds as well, e.g. about one of the branches of the spherically symmetric solution found by Boulware and Deser in 1985. In general, Lovelock's theory represents a very interesting scenario to study how the physics of gravity is corrected at short distance due to the presence of higher order curvature terms in the action, and in the mid-2000s the theory was considered as a testing ground to investigate the effects of introducing higher-curvature terms in the context of
AdS/CFT correspondence
In theoretical physics, the anti-de Sitter/conformal field theory correspondence (frequently abbreviated as AdS/CFT) is a conjectured relationship between two kinds of physical theories. On one side are anti-de Sitter spaces (AdS) that are used ...
.
See also
*
Lovelock's theorem
Lovelock's theorem of general relativity says that from a local gravitational action which contains only second derivatives of the four-dimensional spacetime metric, then the only possible equations of motion are the Einstein field equations. T ...
*
f(R) gravity
In physics, ''f''(''R'') is a type of modified gravity theory which generalizes Einstein's general relativity. ''f''(''R'') gravity is actually a family of theories, each one defined by a different function, , of the Ricci scalar, . The simpl ...
*
Gauss–Bonnet gravity
In general relativity, Gauss–Bonnet gravity, also referred to as Einstein–Gauss–Bonnet gravity, is a modification of the Einstein–Hilbert action to include the Gauss–Bonnet term (named after Carl Friedrich Gauss and Pierre Ossian Bonn ...
*
Curtright field
In theoretical physics, the Curtright field (named after Thomas Curtright) is a tensor quantum field of mixed symmetry, whose gauge-invariant dynamics are dual to those of the general relativistic graviton in higher (''D''>4) spacetime dimension ...
*
Horndeski's theory
Horndeski's theory is the most general theory of gravity in four dimensions whose Lagrangian is constructed out of the metric tensor and a scalar field and leads to second order equations of motion. The theory was first proposed by Gregory Hornde ...
Notes
References
*
*
*
*
*
* .
*
{{DEFAULTSORT:Lovelock Theory
Theories of gravity
String theory
Spacetime