HOME

TheInfoList



OR:

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 : \mathcal=\sqrt\ \sum\limits_^\alpha _\ \mathcal^, \qquad \mathcal^=\frac\delta _^ \prod\limits_^R_^ 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 : \delta _^=(2n)!\delta _^\delta _^\cdots \delta _^\delta _^. Each term \mathcal^ in \mathcal 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 \mathcal 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 ...
:\alpha _=(16\pi G)^=l_^\,. Expanding the product in \mathcal, the Lovelock Lagrangian takes the form : \mathcal=\sqrt\ (\alpha _+\alpha _R+\alpha _\left( R^+R_R^-4R_R^\right) +\alpha _\mathcal(R^)), 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 :\mathcal^=R^+R_R^-4R_R^ 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 :T = \sqrt\mathcal R^2 = \sqrt \left(R^2 + R_ R^ - 4 R_ R^\right) is a topological constant, we can eliminate the Riemann tensor term and thus we can put the Lovelock Lagrangian into the form :S = - \int d^Dx \sqrt \left( \alpha R_ R^ - \beta R^2 + \gamma \kappa^ R\right) which has the equations of motion :\alpha\left( - \frac R_ R^ g_ - \nabla_\nu \nabla_\mu R - 2 R_ R^ + \fracg_ \Box R + \Box R_ \right) + \beta \left(\frac R^2 g_ - 2 R R_ + 2 \nabla_\nu \nabla_\mu R - 2 g_ \Box R \right) + \gamma \left( - \frac \kappa^ Rg_ + \kappa^ R_ \right)=0.(Note that there are typos in the \beta 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