Question

Let \(\alpha: M \rightarrow N\) be a diffeomerphism between manifolds \(M\) and \(N\) and \(X\) a vector field on \(M\) that generates a local one-parameter group of transformations \(\sigma_{t}\) on \(M\). Show that the vector field \(X^{\prime}=\alpha_{*} X\) on \(N\) generates the local flow \(\sigma_{i}^{\prime}=\alpha \circ \sigma_{t} \circ \alpha^{-1}\).

Short answer

By comparing coefficients of the derivative with the transformation rules under the one-parameter group of transformations, it can be shown that the transformed vector field generates the flow \(\sigma_{i}' = \alpha \circ \sigma_{t} \circ \alpha^{-1}\).

Step-by-step solution

- Statement analysis

The problem is about manifolds, vector fields, and diffeomorphisms. We have a diffeomorphism \(\alpha: M \rightarrow N\), which is basically a function that is a bijection and has a differentiable inverse. A vector field \(X\) on \(M\) generates a local one-parameter group of transformations \(\sigma_{t}\). We also have another vector field \(X'\), which is given by \(\alpha_{*} X\). We have to show \(X'\) generates the flow \(\sigma_{i}' = \alpha \circ \sigma_{t} \circ \alpha^{-1}\).

- Derivatives of the functions

First, take the derivative of \(\sigma_{i}'(s) = (\alpha \circ \sigma_{t} \circ \alpha^{-1})(s)\) with respect to \(s\), and then use the chain rule to express this derivative in terms of derivatives of \(\alpha\), \(\sigma_{t}\), and \(\alpha^{-1}\). This shows how the transformations affect the vector field.

- Use definitions

Next, use the definition of a diffeomorphism to show that it preserves the structure of the vector field. This involves showing that \(\alpha'\) is the push-forward of \(X'\) which is the same as \(\alpha_{*} X\), and hence the vector field transforms as desired.

- Coordinatize and Simplify

Then, take the coordinate expressions for \(X\) and \(\alpha\), and identify them in the coordinate expression for \(\sigma_{t}\). This ties together the coordinate representations for \(X\), \(\alpha\), and \(\sigma_{t}\). Simulation will show that \(\sigma_{t}\) transforms as \(\alpha \circ \sigma_{t} \circ \alpha^{-1}\), which was to be proved.

Key concepts

Diffeomorphism

A diffeomorphism is a special type of function connecting two manifolds. Think of it as a bridge between two geometric spaces that ensures smooth movement along the structure of these spaces.
A diffeomorphism must satisfy several important properties:

• Bijection: It is both injective (one-to-one) and surjective (onto), meaning that every element in one manifold maps to a unique element in the other and vice versa.
• Smoothness: Both the function itself and its inverse must be infinitely differentiable (smooth).
• Structure Preservation: It maintains the manifold's smoothly connected structure.

This means that a diffeomorphism doesn't just pair points from one manifold to another, but ensures that all smooth structures (like curves and surfaces) are flawlessly preserved.

Vector Field

A vector field can be imagined as an assignment of a vector to every point in a space.
It essentially provides a way to understand how a particular space "flows" or changes at each point.

• Local Flow Generation: A vector field, such as the vector field \(X\) in our problem, can generate what is called a "local one-parameter group of transformations". This means that you can move a small amount of time in the direction specified by the field, and this changes continuously.
• Coordinates: When writing in coordinates, vector fields help in discussing changes and transformations analytically.

Hence, vector fields are indispensable for navigating the infinitesimal structures on manifolds.

Manifold

Manifolds are geometric spaces where you can apply calculus.
They generalize the concept of curved surfaces, making manifold a crucial concept in understanding the nature of higher-dimensional spaces.

• Local Similarity to Euclidean Space: Around each point on a manifold, there's a neighborhood that looks like \(\mathbb{R}^n\), making it possible to use familiar calculus tools despite the manifold being curved.
• Charts and Atlas: Manifolds possess charts (coordinate systems), and a collection of these charts forms an atlas.

This structure allows concepts like curves, surfaces, and higher-dimensional shapes to be studied in a solid mathematical framework.

Transformation Group

A transformation group in the context of manifolds refers to a set of transformations (or operations) that can be continuously applied to every point in a space.
These allow for understanding the symmetries and dynamic properties present in a manifold.

• One-Parameter Groups: As seen in the problem, certain vector fields generate a flow that forms a one-parameter transformation group. This means as you change the parameter, you smoothly transition the entire manifold.
• Composition and Identity: These groups are structured so repeating the transformation is the same as performing a single different transformation, and there's a transformation that "does nothing," acting as the identity.

Such structures are essential in understanding the motions and symmetries that are possible within a given manifold.