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

Question

Show that \(S U(n+1)\) acts transitively on \(C P^{n}\) and the isotropy group of a typical point, taken for convenience to be the point whose equivalence class contains \((0,0, \ldots .0,1)\), is \(U(n)\). Hence show that the factot space \(S U(n+1) / U(n)\) is homeomorphic to \(C P^{n} .\) Show similarly, that (a) \(S O(n+1) / O(n)\) is homeomorphic to real projective space \(P^{n}\). (b) \(U(n+1) / U^{\prime}(n) \cong S U(n+1) / S U(n)\) is homeomorphic to \(S^{2 n+1}\).

Step-by-Step Solution

Answer

\(\)The quotient space \(S U(n+1) / U(n)\) is homeomorphic to \(C P^{n}\), \(S O(n+1) / O(n)\) is homeomorphic to real projective space \(P^{n}\), and \(U(n+1) / U^{\prime}(n) \cong S U(n+1) / S U(n)\) is homeomorphic to \(S^{2n+1}\).

Step 1: Identify the Actions

Identify the action of \(S U(n+1)\) on \(C P^{n}\). The elements of \(C P^{n}\) are equivalence classes of \((n + 1)\)-tuples of complex numbers, not all zero, under the relation \((z_{0}, z_{1}, ..., z_{n}) ~ (w_{0}, w_{1}, ..., w_{n})\) when there exists a nonzero complex number \(\lambda\) such that \(z_{i} = \lambda w_{i}\) for \(I = 0, 1, ..., n\). In this problem, the actions of \(S U(n + 1)\) on \(C P^{n}\) and \(S U(n)\) are given.

Step 2: Prove Transitivity

To show that \(S U(n+1)\) acts transitively on \(C P^{n}\), take two points in \(C P^{n}\) represented by \([z]\) and \([w]\). We must show there exists \(A \in S U(n+1)\) such that \(A \cdot [z] = [w]\). One can find such \(A\) easily by considering an appropriate matrix whose first column corresponds to \([w]\) and the remaining columns form an orthonormal basis of the orthogonal complement of \([w]\). This proof may require usage of inner product and properties of orthonormal basis.

Step 3: Identify the Isotropy Group

The isotropy group of a point, for our convenience taken to be the point whose equivalence class contains \([0,0, \ldots ,0,1]\), is set of all elements in \(S U(n+1)\) that leaves that point fixed. Here it is \(U(n)\).

Step 4: Determine the Homeomorphisms

With the transitivity and isotropy identified, we can now show that these quotient spaces \(S U(n+1) / U(n)\), \(S O(n+1) / O(n)\), \(U(n+1) / U^{\prime}(n)\) are homeomorphic to \(C P^{n}\), \(P^{n}\), \(S^{2n+1}\) respectively. The proofs for these homeomorphisms typically involve showing a bijective function between the spaces that is continuous, with a continuous inverse.

Step 5: Repeat for the Sub-problems

The steps for showing (a) and (b) are similar to the steps for the initial problem, involving identification of actions, demonstrating transitivity, identifying isotropy groups, and showing homeomorphisms. For (a), group \(S O(n+1)\) acts transitively on \(P^{n}\), and the isotropy group of a point is \(O(n)\). For (b), the groups are \(U(n+1)\) and \( U^{\prime}(n)\) acting on \(U(n+1) / U^{\prime}(n)\), and the isotropy group at a point is \(S U(n)\).

Key Concepts

Group Actions

In projective geometry, a group action is a way for a group to "act" on a space, providing a means of symmetry or transformation within that space. This is somewhat like rotating or mirroring shapes in geometry.
For this concept, consider a group as a set of transformations that can be applied to points in a geometric space. The group action must follow two specific rules:

• Firstly, acting on a point with a transformation and then with another in succession is equivalent to acting with a single transformation obtained by combining the two.
• Secondly, there must be a "do-nothing" or identity transformation within the group that leaves every point unchanged when applied.

In the context of projective geometry and the specific problem, the special unitary group, written as \(S U(n+1)\), acts on complex projective spaces \(CP^n\). This means every transformation in \(S U(n+1)\) can be applied to points in \(CP^n\), maintaining the geometry's structure.
Understanding these actions is crucial for dealing with how groups engage with geometric spaces, such as mapping transformations onto spaces or exploring symmetries.

Homogeneous Spaces

A homogeneous space is a type of geometric space that looks the same at every point. This concept extends our notion of symmetry from single objects to entire spaces.
Such spaces are defined by a group of transformations that act transitively. This means any point on the space can be transformed into any other point through the transformations provided by the group.

• Think of it like a flat plane where no matter where you stand, your surroundings appear identical.
• In mathematical formalism, if a group \(G\) acts transitively on a space \(X\), then \(X\) can be called a homogeneous space with respect to \(G\).

In our example, the space \(CP^n\) becomes a homogeneous space under the action of \(SU(n+1)\), as the group can seamlessly map any point to any other point, showcasing the uniform structure of the space. Homogeneous spaces are significant in topology and geometry as they help in understanding the solvability of equations in closed form and provide insights into the symmetry and geometric properties of complex systems.

Isotropy Groups

An isotropy group is essentially the subset of transformations within a group that leaves a particular point of a space unchanged, even though the transformation could move other points. It provides a deeply insightful way to study the structure and symmetries of spaces.

• It's akin to identifying a set of symmetries that fix a certain location but may impact other areas.
• For instance, consider a rotating sphere — the isotropy group of a point on the surface could include all rotations around the axis passing through that point.

In this exercise, when examining the isotropy group at a point \((0,0,\ldots,0,1)\), we discover it is the unitary group \(U(n)\). This group consists of transformations that preserve the complex inner product, and so leave this point in \(CP^n\) unchanged, while possibly altering other points. The identification of isotropy groups is fundamental in understanding how groups distribute across spaces. It's used for pinpointing symmetry types specific to certain points, offering insights into the space's intrinsic geometry and aiding in classifying complex transformations.

Transitive Groups

Transitive groups play a pivotal role in understanding how a group can move across a geometric space. A group is said to act transitively on a set if, for any two elements within that set, there is some transformation within the group that maps one element to the other.

• This means there are no standalone points; everything can be reached and transformed.
• It’s similar to everyone's favorite board game rule, where you hop from one space to another without missing a possible move.

For the exercise with \(SU(n+1)\) acting on \(CP^n\), transitivity implies there exists a transformation for each pair of points in \(CP^n\), thus supporting its homogeneous nature. This idea of transitivity is crucial, as it affects the structure of geometric spaces, influences symmetry, and underpins significant concepts in both algebra and geometry. Understanding transitive actions helps in formulating how structures and patterns within spaces can emerge and interact, which in turn are applied in numerous mathematical and physical theories.