Fundamental vector field

Template:British EnglishTemplate:Short description In the study of mathematics, and especially of differential geometry, fundamental vector fields are instruments that describe the infinitesimal behaviour of a smooth Lie group action on a smooth manifold. Such vector fields find important applications in the study of Lie theory, symplectic geometry, and the study of Hamiltonian group actions.

Motivation

Important to applications in mathematics and physics is the notion of a flow on a manifold. In particular, if $M$ is a smooth manifold and $X$ is a smooth vector field, one is interested in finding integral curves to $X$. More precisely, given $p\in M$ one is interested in curves ${\gamma }_p:ℝ\to M$ such that:

${{\gamma }_p}^{\prime }(t)=X_{{\gamma }_p(t)},{\gamma }_p(0)=p,$

for which local solutions are guaranteed by the Existence and Uniqueness Theorem of Ordinary Differential Equations. If $X$ is furthermore a complete vector field, then the flow of $X$, defined as the collection of all integral curves for $X$, is a diffeomorphism of $M$. The flow ${\varphi }_X:ℝ\times M\to M$ given by ${\varphi }_X(t,p)={\gamma }_p(t)$ is in fact an action of the additive Lie group $(ℝ,+)$ on $M$.

Conversely, every smooth action $A:ℝ\times M\to M$ defines a complete vector field $X$ via the equation:

$X_p={\frac{d}{dt}|}_{t=0}A(t,p).$

It is then a simple result that there is a bijective correspondence between $ℝ$ actions on $M$ and complete vector fields on $M$.

In the language of flow theory, the vector field $X$ is called the infinitesimal generator. Intuitively, the behaviour of the flow at each point corresponds to the "direction" indicated by the vector field. It is a natural question to ask whether one may establish a similar correspondence between vector fields and more arbitrary Lie group actions on $M$.

Definition

Let $G$ be a Lie group with corresponding Lie algebra $𝔤$. Furthermore, let $M$ be a smooth manifold endowed with a smooth action $A:G\times M\to M$. Denote the map $A_p:G\to M$ such that $A_p(g)=A(g,p)$, called the orbit map of $A$ corresponding to $p$. For $X\in 𝔤$, the fundamental vector field $X^{\mathrm{\#}}$ corresponding to $X$ is any of the following equivalent definitions:

• $X_p^{\mathrm{\#}}=d_e{A}_p(X)$
• $X_p^{\mathrm{\#}}=d_{(e,p)}A(X,0_{T_{p}M})$
• $X_p^{\mathrm{\#}}={\frac{d}{dt}|}_{t=0}A(\exp (tX),p)$

where $d$ is the differential of a smooth map and $0_{T_{p}M}$ is the zero vector in the vector space $T_{p}M$.

The map $𝔤\to \mathrm{\Gamma }(TM),X\mapsto -X^{\mathrm{\#}}$ can then be shown to be a Lie algebra homomorphism.

Applications

Lie groups

The Lie algebra of a Lie group $G$ may be identified with either the left- or right-invariant vector fields on $G$. It is a well-known result that such vector fields are isomorphic to $T_{e}G$, the tangent space at identity. In fact, if we let $G$ act on itself via right-multiplication, the corresponding fundamental vector fields are precisely the left-invariant vector fields.

Hamiltonian group actions

In the motivation, it was shown that there is a bijective correspondence between smooth $ℝ$ actions and complete vector fields. Similarly, there is a bijective correspondence between symplectic actions (the induced diffeomorphisms are all symplectomorphisms) and complete symplectic vector fields.

A closely related idea is that of Hamiltonian vector fields. Given a symplectic manifold $(M,\omega )$, we say that $X_H$ is a Hamiltonian vector field if there exists a smooth function $H:M\to ℝ$ satisfying

$dH={\iota }_{X_H}\omega$

where the map $\iota$ is the interior product. This motivates the definition of a Hamiltonian group action as follows: If $G$ is a Lie group with Lie algebra $𝔤$ and $A:G\times M\to M$ is a group action of $G$ on a smooth manifold $M$, then we say that $A$ is a Hamiltonian group action if there exists a moment map $\mu :M\to {𝔤}^{*}$ such that for each: $X\in 𝔤$,

$d{\mu }^X={\iota }_{X^{\mathrm{\#}}}\omega ,$

where ${\mu }^X:M\to ℝ,p\mapsto ⟨\mu (p),X⟩$ and $X^{\mathrm{\#}}$ is the fundamental vector field of $X$.