4.2 Exponential map and normal coordinates

The exponential map bridges tangent spaces and manifolds, turning vectors into points and lines into geodesics. It's a key tool for understanding local geometry, preserving distances near the origin and creating a local diffeomorphism between tangent space and manifold.

Normal coordinates, derived from the exponential map, simplify calculations by aligning with geodesics. They make Christoffel symbols vanish at a point and approximate the Euclidean metric nearby, helping us study local properties like curvature and geodesics.

Exponential Map and Normal Coordinates

Defining the Exponential Map

• Exponential map transforms vectors in tangent space to points on manifold
• Maps straight lines in tangent space to geodesics on manifold
• Defined as $\exp_p(v) = \gamma_v(1)$ where $\gamma_v$ represents geodesic with initial velocity v
• Preserves distances near origin in tangent space
• Provides local diffeomorphism between tangent space and manifold
• Crucial tool for studying local geometry of Riemannian manifolds

Normal Coordinates and Their Properties

• Normal coordinates arise from exponential map at a point p
• Create coordinate system on manifold using tangent space vectors
• Simplify calculations by aligning coordinate lines with geodesics
• Christoffel symbols vanish at p in normal coordinates
• Metric tensor approximates Euclidean metric near p
• Facilitate study of local geometric properties (curvature, geodesics)
• Normal coordinate balls form basis for manifold topology

Specialized Coordinate Systems

• Geodesic polar coordinates extend normal coordinates to spherical-like system
• Use radial distance and angular coordinates on unit sphere in tangent space
• Simplify expressions for volume elements and geometric quantities
• Injectivity radius defines maximum size of normal coordinate neighborhood
• Measures how far exponential map remains injective from a point
• Depends on curvature and global topology of manifold
• Determines extent of validity for local approximations using normal coordinates

Cut Locus and Jacobi Fields

Understanding the Cut Locus

• Cut locus of a point p consists of points where geodesics from p cease to be minimizing
• Represents boundary of region where exponential map is injective
• Shape and properties of cut locus reveal global geometric and topological information
• Cut points occur where multiple minimizing geodesics meet
• Cut locus can have complex structure (lower dimensional submanifolds, fractal-like sets)
• Studying cut locus helps understand global behavior of geodesics
• Important in analyzing heat kernel and spectral properties of Laplacian

Gauss Lemma and Its Implications

• Gauss lemma states radial geodesics remain orthogonal to distance spheres
• Crucial for understanding geometry of normal coordinate neighborhoods
• Implies metric in normal coordinates has simplified form
• Facilitates computation of geometric quantities (volume, area)
• Plays key role in proof of Gauss-Bonnet theorem
• Connects local and global properties of Riemannian manifolds
• Used in derivation of comparison theorems in Riemannian geometry

Jacobi Fields and Geodesic Variation

• Jacobi fields describe infinitesimal variations of geodesics
• Satisfy second-order linear differential equation involving curvature
• Provide information about behavior of nearby geodesics
• Used to study conjugate points and focal points along geodesics
• Connect curvature to global properties of manifold (topology, closed geodesics)
• Play crucial role in index form and second variation formula for energy functional
• Applications in stability analysis of geodesics and minimal surfaces