Einstein Space
   HOME

TheInfoList



OR:

In
differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
and
mathematical physics Mathematical physics is the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the de ...
, an Einstein manifold is a Riemannian or
pseudo-Riemannian In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the r ...
differentiable manifold In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ...
whose
Ricci tensor In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure ...
is proportional to the
metric Metric or metrical may refer to: Measuring * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics ...
. They are named after
Albert Einstein Albert Einstein (14 March 187918 April 1955) was a German-born theoretical physicist who is best known for developing the theory of relativity. Einstein also made important contributions to quantum mechanics. His mass–energy equivalence f ...
because this condition is equivalent to saying that the metric is a solution of the
vacuum A vacuum (: vacuums or vacua) is space devoid of matter. The word is derived from the Latin adjective (neuter ) meaning "vacant" or "void". An approximation to such vacuum is a region with a gaseous pressure much less than atmospheric pressur ...
Einstein field equations In the General relativity, general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of Matter#In general relativity and cosmology, matter within it. ...
(with
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 ...
), although both the dimension and the signature of the metric can be arbitrary, thus not being restricted to
Lorentzian manifold In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere non-degenerate bilinear form, nondegenerate. This is a generalization of a Riema ...
s (including the four-dimensional Lorentzian manifolds usually studied in
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 ...
). Einstein manifolds in four Euclidean dimensions are studied as
gravitational instanton In mathematical physics and differential geometry, a gravitational instanton is a four-dimensional complete Riemannian manifold satisfying the vacuum Einstein equations. They are so named because they are analogues in quantum theories of gravity ...
s. If M is the underlying n-dimensional
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
, and g is its
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
, the Einstein condition means that :\mathrm = kg for some constant k, where \operatorname denotes the
Ricci tensor In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure ...
of g. Einstein manifolds with k = 0 are called Ricci-flat manifolds.


The Einstein condition and Einstein's equation

In local coordinates the condition that (M, g) be an Einstein manifold is simply :R_ = kg_ . Taking the trace of both sides reveals that the constant of proportionality k for Einstein manifolds is related to the
scalar curvature In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry ...
R by :R = nk , where n is the dimension of M. In
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 ...
,
Einstein's equation In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it. The equations were published by Albert Einstein in 1915 in th ...
with a
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 ...
\Lambda is :R_ - \fracg_R + g_\Lambda = \kappa T_, where \kappa is the
Einstein gravitational constant In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it. The equations were published by Albert Einstein in 1915 in the ...
. The
stress–energy tensor The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress ...
T_ gives the matter and energy content of the underlying spacetime. In
vacuum A vacuum (: vacuums or vacua) is space devoid of matter. The word is derived from the Latin adjective (neuter ) meaning "vacant" or "void". An approximation to such vacuum is a region with a gaseous pressure much less than atmospheric pressur ...
(a region of spacetime devoid of matter) T_ = 0, and Einstein's equation can be rewritten in the form (assuming that n > 2): :R_ = \frac\,g_ . Therefore, vacuum solutions of Einstein's equation are (Lorentzian) Einstein manifolds with k proportional to the cosmological constant.


Examples

Simple examples of Einstein manifolds include: * All 2D manifolds admit Einstein metrics. In fact, in this dimension, a metric is Einstein if and only if it has constant Gauss curvature. The classical uniformization theorem for Riemann surfaces guarantees that there is such a metric in every conformal class on any 2-manifold. *Any manifold with constant sectional curvature is an Einstein manifold—in particular: **
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
, which is flat, is a simple example of Ricci-flat, hence Einstein metric. ** The ''n''-sphere, S^n, with the round metric is Einstein with k=n-1. **
Hyperbolic space In mathematics, hyperbolic space of dimension ''n'' is the unique simply connected, ''n''-dimensional Riemannian manifold of constant sectional curvature equal to −1. It is homogeneous, and satisfies the stronger property of being a symme ...
with the canonical metric is Einstein with k = -(n - 1). *
Complex projective space In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a ...
, \mathbf^n, with the
Fubini–Study metric In mathematics, the Fubini–Study metric (IPA: /fubini-ʃtuːdi/) is a Kähler metric on a complex projective space CP''n'' endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study. A ...
, have k = 2n + 2. *
Calabi–Yau manifold In algebraic and differential geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has certain properties, such as Ricci flatness, yielding applications in theoretical physics. P ...
s admit an Einstein metric that is also
Kähler Kähler may refer to: People *Birgit Kähler (born 1970), German high jumper * Erich Kähler (1906–2000), German mathematician * Heinz Kähler (1905–1974), German art historian and archaeologist *Luise Kähler (1869–1955), German trade union ...
, with Einstein constant k=0. Such metrics are not unique, but rather come in families; there is a Calabi–Yau metric in every Kähler class, and the metric also depends on the choice of complex structure. For example, there is a 60-parameter family of such metrics on K3, 57 parameters of which give rise to Einstein metrics which are not related by isometries or rescalings. *
Kähler–Einstein metric In differential geometry, a Kähler–Einstein metric on a complex manifold is a Riemannian metric that is both a Kähler metric and an Einstein metric. A manifold is said to be Kähler–Einstein if it admits a Kähler–Einstein metric. The ...
s exist on a variety of compact
complex manifold In differential geometry and complex geometry, a complex manifold is a manifold with a ''complex structure'', that is an atlas (topology), atlas of chart (topology), charts to the open unit disc in the complex coordinate space \mathbb^n, such th ...
s due to the existence results of
Shing-Tung Yau Shing-Tung Yau (; ; born April 4, 1949) is a Chinese-American mathematician. He is the director of the Yau Mathematical Sciences Center at Tsinghua University and professor emeritus at Harvard University. Until 2022, Yau was the William Caspar ...
, and the later study of
K-stability In mathematics, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian and ...
especially in the case of Fano manifolds. * Irreducible symmetric spaces, as classified by Elie Cartan, are always Einstein. Among these spaces, the compact ones all have positive Einstein constant k. Examples of these include the Grassmannians Gr (k, \mathbb^\ell), Gr (k, \mathbb^\ell), and Gr (k, \mathbb^\ell). Every such compact space has a so-called non-compact dual, which instead has negative Einstein constant k. These dual pairs are related in manner that is exactly parallel to the relationship between spheres and hyperbolic spaces. One necessary condition for closed,
oriented In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "anticlockwise". A space is ori ...
,
4-manifold In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. T ...
s to be Einstein is satisfying the Hitchin–Thorpe inequality. However, this necessary condition is very far from sufficient, as further obstructions have been discovered by LeBrun, Sambusetti, and others.


Applications

Four dimensional Riemannian Einstein manifolds are also important in mathematical physics as gravitational instantons in quantum theories of gravity. The term "gravitational instanton" is sometimes restricted to Einstein 4-manifolds whose
Weyl tensor In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tidal for ...
is anti-self-dual, and it is very often assumed that the metric is asymptotic to the standard metric on a finite quotient Euclidean 4-space (and are therefore
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
but non-compact). In differential geometry, simply connected self-dual Einstein 4-manifolds are coincide with the 4-dimensional, reverse-oriented
hyperkähler manifold In differential geometry, a hyperkähler manifold is a Riemannian manifold (M, g) endowed with three integrable almost complex structures I, J, K that are Kähler with respect to the Riemannian metric g and satisfy the quaternionic relations I^2= ...
s in the Ricci-flat case, but are sometimes called quaternion Kähler manifolds otherwise. Higher-dimensional Lorentzian Einstein manifolds are used in modern theories of gravity, such as
string theory In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and intera ...
,
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 ...
and
supergravity In theoretical physics, supergravity (supergravity theory; SUGRA for short) is a modern field theory that combines the principles of supersymmetry and general relativity; this is in contrast to non-gravitational supersymmetric theories such as ...
. Hyperkähler and quaternion Kähler manifolds (which are special kinds of Einstein manifolds) also have applications in physics as target spaces for nonlinear σ-models with
supersymmetry Supersymmetry is a Theory, theoretical framework in physics that suggests the existence of a symmetry between Particle physics, particles with integer Spin (physics), spin (''bosons'') and particles with half-integer spin (''fermions''). It propo ...
. Compact Einstein manifolds have been much studied in differential geometry, and many examples are known, although constructing them is often challenging. Compact Ricci-flat manifolds are particularly difficult to find: in the monograph on the subject by the pseudonymous author
Arthur Besse Arthur Besse is a pseudonym chosen by a group of French differential geometers, led by Marcel Berger, following the model of Nicolas Bourbaki. A number of monographs have appeared under the name. Bibliography * ** *Actes de la Table Ronde de G ...
, readers are offered a meal in a starred restaurant in exchange for a new example.


See also

* Einstein–Hermitian vector bundle *
Osserman manifold In mathematics, particularly in differential geometry, an Osserman manifold is a Riemannian manifold in which the characteristic polynomial of the Jacobi operator of unit tangent vectors is a constant on the unit tangent bundle. It is named after ...


Notes and references

*{{cite book , first = Arthur L. , last = Besse , authorlink = Arthur Besse , title = Einstein Manifolds , series = Classics in Mathematics , publisher = Springer , location = Berlin , year = 1987 , isbn = 3-540-74120-8 Riemannian manifolds
Manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
Mathematical physics