- Exponential map
In differential geometry, the

**exponential map**is a generalization of the ordinaryexponential function of mathematical analysis to all differentiable manifolds with anaffine connection . Two important special cases of this are the exponential map for a manifold with aRiemannian metric , and the exponential map from aLie algebra to aLie group .**Definition**An

affine connection on a manifold "M" allows one to define the notion of ageodesic .For "v" ∈ T

_{"p"}"M", there is a uniquegeodesic γ_{"v"}satisfying γ_{"v"}(0) = "p" such that the tangent vector γ′_{"v"}(0) = "v". Then the corresponding**exponential map**is defined by exp_{"p"}("v") = γ_{v}(1). In general, the exponential map is only "locally defined", that is, it only takes a small neighborhood of the origin at T_{"p"}"M", to a neighborhood of "p" in the manifold (this is because it relies on the theorem on existence and uniqueness of ODEs which is local in nature).**Lie theory**In the theory of

Lie group s the**exponential map**is a map from theLie algebra of a Lie group to the group which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary justifications for the study of Lie groups at the level of Lie algebras.The ordinary

exponential function of mathematical analysis is a special case of the exponential map when "G" is the multiplicative group of non-zeroreal number s (whose Lie algebra is the additive group of all real numbers). The exponential map of a Lie group satisfies many properties analogous to those of the ordinary exponential function, however, it also differs in many important respects.**Definitions**Let $G$ be a

Lie group and $mathfrak\; g$ be itsLie algebra (thought of as thetangent space to theidentity element of $G$). The**exponential map**is a

$expcolon\; mathfrak\; g\; o\; G$which can be defined in several different ways as follows:

*It is the exponential map of a canonical left-invariant affine connection on "G", such that parallel transport is given by left translation.

*It is the exponential map of a canonical right-invariant affine connection on "G". This is usually different from the canonical left-invariant connection, but both connections have the same geodesics (orbits of 1-parameter subgroups acting by left or right multiplication) so give the same exponential map.

*It is given by $exp(X)\; =\; gamma(1)$ where :$gammacolon\; mathbb\; R\; o\; G$:is the uniqueone-parameter subgroup of $G$ whosetangent vector at the identity is equal to $X$. It follows easily from thechain rule that $exp(tX)\; =\; gamma(t)$. The map $gamma$ may be constructed as theintegral curve of either the right- or left-invariantvector field associated with $X$. That the integral curve exists for all real parameters follows by right- or left-translating the solution near zero.

* If $G$ is amatrix Lie group , then the exponential map coincides with thematrix exponential and is given by the ordinary series expansion:::$exp\; (X)\; =\; sum\_\{k=0\}^inftyfrac\{X^k\}\{k!\}\; =\; I\; +\; X\; +\; frac\{1\}\{2\}X^2\; +\; frac\{1\}\{6\}X^3\; +\; cdots$:(here $I$ is theidentity matrix ).

*If "G" is compact, it has a Riemannian metric invariant under left and right translations, and the exponential map is the exponential map of this Riemannian metric.**Examples*** The

unit circle centered at 0 in thecomplex plane is a Lie group (called thecircle group ) whose tangent space at 1 can be identified with the imaginary line in the complex plane, $\{it:tinmathbb\; R\}.$ The exponential map for this Lie group is given by

*: $it\; mapsto\; exp(it)\; =\; e^\{it\},,$: that is, the same formula as the ordinarycomplex exponential .**Properties***For all $Xinmathfrak\; g$, the map $gamma(t)\; =\; exp(tX)$ is the unique one-parameter subgroup of $G$ whose

tangent vector at the identity is $X$. It follows that:

**$exp(t+s)X\; =\; (exp\; tX)(exp\; sX),$

**$exp(-X)\; =\; (exp\; X)^\{-1\},$

*The exponential map $expcolon\; mathfrak\; g\; o\; G$ is asmooth map . Its derivative at the identity, $exp\_\{*\}colon\; mathfrak\; g\; o\; mathfrak\; g$, is the identity map (with the usual identifications). The exponential map, therefore, restricts to adiffeomorphism from some neighborhood of 0 in $mathfrak\; g$ to a neighborhood of 1 in $G$.

*The image of the exponential map always lies in theidentity component of $G$. When $G$ is compact, the exponential map is surjective onto the identity component. The image of the exponential map of the connected but non-compact group "SL"_{2}(**R**) is not the whole group.

*The map $gamma(t)\; =\; exp(tX)$ is theintegral curve through the identity of both the right- and left-invariant vector fields associated to $X$.

*The integral curve through $gin\; G$ of the left-invariant vector field $X^L$ associated to $X$ is given by $g\; exp(t\; X)$. Likewise, the integral curve through $g$ of the right-invariant vector field $X^R$ is given by $exp(t\; X)\; g$. It follows that the flows $xi^\{L,R\}$ generated by the vector fields $X^\{L,R\}$ are given by:- $xi^L\_t\; =\; R\_\{exp\; tX\}$
- $xi^R\_t\; =\; L\_\{exp\; tX\}.$

*Let $phicolon\; G\; o\; H$ be a Lie group homomorphism and let $phi\_\{*\}$ be its derivative at the identity. Then the following diagram commutes:

*In particular, when applied to theadjoint action of a group $G$ we have

**$g(exp\; X)g^\{-1\}\; =\; exp(mathrm\{Ad\}\_gX),$

**$mathrm\{Ad\}\_\{exp\; X\}\; =\; exp(mathrm\{ad\}\_X),$**Riemannian geometry**In

Riemannian geometry , an**exponential map**is a map from a subset of atangent space T_{"p"}"M" of aRiemannian manifold (orpseudo-Riemannian manifold ) "M" to "M" itself. The (pseudo) Riemannian metric determines a canonical affine connection, and the exponential map of the (pseduo) Riemannian manifold is given by the exponential map of this connection.**Properties**Intuitively speaking, the exponential map takes a given tangent vector to the manifold, runs along the geodesic starting at that point and going in that direction, for a unit time. Since "v" corresponds to the velocity vector of the geodesic, the actual (Riemannian) distance traveled will be dependent on that. We can also reparametrize geodesics to be unit speed, so equivalently we can define exp

_{"p"}("v") = β(|"v"|) where β is the unit-speed geodesic (geodesic parameterized by arc length) going in the direction of "v". As we vary the tangent vector "v" we will get, when applying exp_{"p"}, different points on "M" which are within some distance from the base point "p"—this is perhaps one of the most concrete ways of demonstrating that the tangent space to a manifold is a kind of "linearization" of the manifold.The

Hopf-Rinow theorem asserts that it is possible to define the exponential map on the whole tangent space if and only ifthe manifold is complete as ametric space (which justifies the usual term**geodesically complete**for a manifold having an exponential map with this property). In particular, compact manifolds are geodesically complete. However even if exp_{"p"}is defined on the whole tangent space, it will in general not be a global diffeomorphism. However, its differential at the origin of the tangent space is theidentity map and so, by theinverse function theorem we can find a neighborhood of the origin of T_{"p"}"M" on which the exponential map is an embedding (i.e. the exponential map is a local diffeomorphism). The radius of the largest ball about the origin in T_{"p"}"M" that can be mapped diffeomorphically via exp_{"p"}is called the**injectivity radius**of "M" at "p".An important property of the exponential map is the following lemma of Gauss (yet another

Gauss's lemma ): given any tangent vector "v" in the domain of definition of exp_{"p"}, and another vector "w" based at the tip of "v" (hence "w" is actually in the double-tangent space T_{"v"}(T_{"p"}"M")) and orthogonal to "v", remains orthogonal to "v" when pushed forward via the exponential map. This means, in particular, that the boundary sphere of a small ball about the origin in T_{"p"}"M" is orthogonal to the geodesics in "M" determined by those vectors (i.e. the geodesics are "radial"). This motivates the definition ofgeodesic normal coordinates on a Riemannian manifold.The exponential map is also useful in relating the abstract definition of curvature to the more concrete realization of it originally conceived by Riemann himself—the

sectional curvature is intuitively defined as theGaussian curvature of some surface (i.e. a slicing of the manifold by a 2-dimensional submanifold) through the point "p" in consideration. Via the exponential map, it now can be precisely defined as the Gaussian curvature of a surface through "p" determined by the image under exp_{"p"}of a 2-dimensional subspace of T_{"p"}"M".**Relationships**In the case of Lie groups with a pseudo-Riemannian metric invariant under both left and right translationthe exponential maps of the pesudo-Riemannian structure are the same as the exponential maps of the Lie group. In general Lie groups do not have pseudo-Riemannian metrics invariant under both right and left translations, though all connected semisimple (or reductive) Lie groups do. The existence of a Riemannian metric invariant under right and left translations is stronger than that of a pseudo Riemannian metric, and implies that the Lie algebra is the Lie algebra of a compact Lie group; conversely, any compact (or abelian) Lie group has such a Riemannian metric.

Take the example that gives the "honest" exponential map. Consider the positive real numbers

**R**^{+}, a Lie group under the usual multiplication. Then each tangent space is just**R**. On each copy of**R**at the point "y", we introduce the modified inner product:<"u","v">

_{"y"}= "uv"/"y"^{2}(multiplying them as usual real numbers but scaling by "y"

^{2}). (This is what makes the metric left-invariant, for left multiplication by a factor will just pull out of the inner product, twice — canceling the square in the denominator).Consider the point 1 ∈

**R**^{+}, and "x" ∈**R**an element of the tangent space at 1. The usual straight line emanating from 1, namely "y"("t") = 1 + "xt" covers the same path as a geodesic, of course, except we have to reparametrize so as to get a curve with constant speed ("constant speed", remember, is not going to be the ordinary constant speed, because we're using this funny metric). To do this we reparametrize by arc length (the integral of the length of the tangent vector in the norm |.|_{"y"}induced by the modified metric)::$s(t)\; =\; int\_0^t\; |x|\_\{y(\; au)\}\; d\; au\; =\; int\_0^t\; frac\{1\; +\; au\; x\}\; d\; au\; =\; |x|\; int\_0^t\; frac\{d\; au\}\{1\; +\; au\; x\}\; =\; frac\{x\}\; ln|1\; +\; tx|$

and after inverting the function to obtain "t" as a function of "s", we substitute and get

:"y"("s") = "e"

^{"sx"/|"x"|}.Now using the unit speed definition, we have

:exp

_{1}("x") = "y"(|"x"|_{1}) = "y"(|"x"|),giving the expected "e"

^{"x"}.The Riemannian distance defined by this is simply

:"dist"("a","b") = |ln("b"/"a")|,

a metric which should be familiar to anyone who has drawn graphs on log paper.

**ee also***

List of exponential topics **References***Manfredo P. do Carmo, "Riemannian Geometry", Birkhäuser (1992). ISBN 0-8176-3490-8. See Chapter 3.

*Jeff Cheeger and David G. Ebin, "Comparison Theorems in Riemannian Geometry", Elsevier (1975). See Chapter 1, Sections 2 and 3.

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Exponential**— may refer to any of several mathematical topics related to exponentiation, including: *Exponential function, also: **Matrix exponential, the matrix analogue to the above *Exponential decay *Exponential growth *Exponential map, in differential… … Wikipedia**Exponential function**— The natural exponential function y = ex In mathematics, the exponential function is the function ex, where e is the number (approximately 2.718281828) such that the function ex is its own derivative … Wikipedia**Exponential sheaf sequence**— In mathematics, the exponential sheaf sequence is a fundamental short exact sequence of sheaves used in complex geometry.Let M be a complex manifold, and write O M for the sheaf of holomorphic functions on M . Let O M * be the subsheaf consisting … Wikipedia**Exponential object**— In mathematics, specifically in category theory, an exponential object is the categorical equivalent of a function space in set theory. Categories with all finite products and exponential objects are called cartesian closed categories. An… … Wikipedia**Exponential family**— Not to be confused with the exponential distribution. Natural parameter links here. For the usage of this term in differential geometry, see differential geometry of curves. In probability and statistics, an exponential family is an important… … Wikipedia**exponential function**— noun a function in which an independent variable appears as an exponent (Freq. 1) • Syn: ↑exponential • Derivationally related forms: ↑exponential (for: ↑exponential) • Hypernyms: ↑ … Useful english dictionary**Matrix exponential**— In mathematics, the matrix exponential is a matrix function on square matrices analogous to the ordinary exponential function. Abstractly, the matrix exponential gives the connection between a matrix Lie algebra and the corresponding Lie group.… … Wikipedia**List of exponential topics**— This is a list of exponential topics, by Wikipedia page. See also list of logarithm topics. *Accelerating change *Artin Hasse exponential *Bacterial growth *Baker Campbell Hausdorff formula *Cell growth *Barometric formula *Basic infection number … Wikipedia**Moment map**— In mathematics, specifically in symplectic geometry, the momentum map (or moment map) is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The moment map… … Wikipedia**Logistic map**— The logistic map is a polynomial mapping of degree 2, often cited as an archetypal example of how complex, chaotic behaviour can arise from very simple non linear dynamical equations. The map was popularized in a seminal 1976 paper by the… … Wikipedia