Problem 3 - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry

Question

Show that the real projective \(n\)-space \(P^{\text {* }}\) defined in Example \(10.15\) as the set of straight lines through the origin in \(\mathbb{R}^{n+1}\) is a differentiable manifold of dimension \(n\), by finding an atlas of compatible charts that cover it.

Step-by-Step Solution

Answer

An atlas for \( P^* \) is constructed by partitioning \( P^* \) into \( n+1 \) sets \( U_i \), each corresponding to the lines intersecting an upper-half sphere in a different open half-space. Charts are then defined by mapping each line into its \( n \) nth coordinates in \( R^{n+1} \). These charts are shown to be compatible with one another, forming an atlas. Thus, \( P^* \) is a differentiable manifold of dimension \( n \).

Step 1: Partition the Projective Space

Divide \( P^* \) into \( n+1 \) sets \( U_i \) for \( i = 0, 1, ..., n \), where \( U_i \) consists of all lines in \( P^* \) which intersect the \( (n+1) \)-dimensional upper-half sphere in the \( (i+1) \)-th open half space of \( R^{n+1} \). Note that these sets \( U_i \) cover \( P^* \), since any line in \( P^* \) will intersect the upper-half sphere in exactly one point.

Step 2: Definition of Charts

Define charts \( \phi_i: U_i \to \mathbb{R}^n \) by mapping the line through a point in \( U_i \) to its \( n \) nth coordinates in \( R^{n+1} \). Care should be taken to avoid the \( i \)-th coordinate for each \( U_i \). These charts are bijective and have continuous, constant rank derivatives, so are indeed diffeomorphisms from \( U_i \) to \( \mathbb{R}^n \).

Step 3: Compatibility of Charts

Now it needs to be shown that these charts are compatible. For each pair \( i \ne j \), consider \( U_i \cap U_j \). The corresponding map \( \phi_j \circ \phi_i^{-1} \) between open subsets of \( \mathbb{R}^n \) is clearly differentiable, as it is a ratio of polynomials where the denominator doesn't vanish, hence \( \phi_i \) and \( \phi_j \) are compatible.

Step 4: Conclusion

Since the \( U_i \)'s cover the projective space and the corresponding charts are compatible, \( \{ (U_i, \phi_i) \} \) forms an atlas for \( P^* \). Hence, \( P^* \) is a differentiable manifold of dimension \( n \).

Key Concepts

Real Projective Space

The Real Projective Space, often denoted as \( P^n \), is a fascinating mathematical concept. It is constructed by considering the set of lines through the origin in \( \mathbb{R}^{n+1} \). Imagine extending a point from the origin in every possible direction - each line through the origin represents a unique point in the real projective space.
What makes it special is that it enables us to take infinity into account. Contrary to usual Euclidean spaces, any two lines that are parallel in Euclidean terms will meet at a point at infinity in the projective space. This space serves as an essential tool in various fields of mathematics and engineering, particularly in projective geometry and computer vision.

• A point in \( P^n \) is essentially a one-dimensional subspace of \( \mathbb{R}^{n+1} \).
• Any vector within a line describes the same point in the projective space.
• The dimension of the real projective space is less by one compared to the dimension of the space it originates from, i.e., \( P^n \) has a dimension of \( n \).

Differentiable Atlas

A Differentiable Atlas is basically a collection of charts that allow you to work with differentiable functions in complex spaces like manifolds. It acts as an instruction manual that tells you how to smoothly navigate the manifold.
When dealing with real projective spaces, an atlas represents various patches of the space that can be expressed and manipulated in a familiar Euclidean form. This means that, through each chart, there's a clear and smooth transition from the abstract manifold to the tangible Euclidean space.

• Each chart in an atlas maps a part of the manifold to a Euclidean space \( \mathbb{R}^n \).
• An atlas should cover the entire manifold, allowing comprehensive understanding.
• The transition maps between overlapping charts should be smooth for the structure to be a differentiable manifold.

In essence, a differentiable atlas for the real projective space ensures every patch resembles a familiar Euclidean space while keeping the complex structure intact.

Coordinate Charts

Coordinate Charts are like maps in the Atlas that provide specific details about smaller regions of a manifold. They establish a local coordinate system by mapping a part of the manifold to \( \mathbb{R}^n \), making it easier to study.
In the context of projective spaces, a chart typically takes a set of lines from \( P^* \) and assigns coordinates based on the endpoints of these lines on a sphere in \( \mathbb{R}^{n+1} \).
This forms a bridge between the abstract idea of a point in projective space and its tangible representation in Euclidean space.

• Coordinate charts flatten the manifold's curves into simpler Euclidean diagrams.
• They help in examining local properties of the manifold, like continuity and differentiability.
• For consistency, charts overlap each other, allowing for smooth transitions.

Essentially, a good grasp on coordinate charts provides clarity when visualizing complex manifolds.

Topological Manifolds

Topological Manifolds are spaces that locally resemble Euclidean space. Imagine flattening a 3D sphere into a 2D map, each small part of the sphere can be represented as a flat surface. This is precisely what topological manifolds do, making 'unwrapping' complex shapes possible.
While each part behaves similarly to Euclidean spaces, globally, the manifold can be much more intricate, possessing twists or holes not visible on a local scale.

• Locally, a topological manifold is essentially identical to \( \mathbb{R}^n \).
• They provide a foundation for adding additional structures, like differentiable or geometric structure.
• They allow mathematicians to generalize concepts from linear algebra to more complex shapes.

In conclusion, understanding topological manifolds is crucial for studying more advanced structures like differentiable manifolds, leading to insights into the geometric and analytical properties that arise from these unique shapes.