Math 2.0

Algebraic topology Theorem

Bott's Morse-theoretic proof of periodicity

Builds on Special unitary group SU(n)Unitary groupGrassmannianGeodesicMorse indexLoop spaceHomotopy group

Statement

Let m≥1m \ge 1. Give the special unitary group SU(2m)SU(2m) the bi-invariant Riemannian metric induced by ⟨A,B⟩=Re⁡tr⁡(A∗B)\langle A, B \rangle = \operatorname{Re} \tr(A^* B). Let Ω\Omega be the space of paths in SU(2m)SU(2m) from the identity II to −I-I.

  1. The minimal geodesics from II to −I-I form a space homeomorphic to the complex Grassmannian Gm(ℂ2m)G_m(\C^{2m}) of mm-dimensional subspaces of ℂ2m\C^{2m}.
  2. Every geodesic from II to −I-I that is not minimal has Morse index at least 2m+22m + 2, as a critical point of the energy on Ω\Omega.
  3. Hence the inclusion of Gm(ℂ2m)G_m(\C^{2m}) into Ω\Omega induces isomorphisms πi(Gm(ℂ2m))≅πi(Ω)≅πi+1(SU(2m))\pi_i(G_m(\C^{2m})) \cong \pi_i(\Omega) \cong \pi_{i+1}(SU(2m)) for 0≤i≤2m0 \le i \le 2m.
  4. Consequently, for the stable unitary group U=⋃nU(n)U = \bigcup_n U(n), there are isomorphisms of homotopy groups πi(U)≅πi+2(U)\pi_{i}(U) \cong \pi_{i+2}(U) for all i≥0i \ge 0.

Remarks

A geodesic from II in SU(2m)SU(2m) has the form t↦exp⁡(tX)t \mapsto \exp(t X) with XX skew-Hermitian. It ends at −I-I at time 11 exactly when the eigenvalues of XX are iπkji \pi k_j with odd integers kjk_j summing to 00. The geodesic is minimal exactly when mm of the kjk_j equal 11 and mm equal −1-1. Such an XX is determined by its mm-dimensional eigenspace for the eigenvalue iπi \pi, which gives the Grassmannian. The index of a geodesic is computed from the curvature of SU(2m)SU(2m) through the Morse index theorem for geodesics, and it grows with the ∣kj∣\abs{k_j}. Morse theory on the path space then shows that Ω\Omega is obtained from the space of minimal geodesics by attaching cells of dimension at least 2m+22m + 2. This gives the third statement. The last statement follows from the third through the fibration U(m)→Vm(ℂ2m)→Gm(ℂ2m)U(m) \to V_m(\C^{2m}) \to G_m(\C^{2m}). Its total space, the Stiefel manifold of orthonormal mm-frames in ℂ2m\C^{2m}, is 2m2m-connected. So πi(Gm(ℂ2m))≅πi−1(U(m))\pi_i(G_m(\C^{2m})) \cong \pi_{i-1}(U(m)) for 1≤i≤2m1 \le i \le 2m, and both sides stabilize as mm grows.

In the same way, a chain of eight such steps through symmetric spaces gives the real periodicity πi(O)≅πi+8(O)\pi_i(O) \cong \pi_{i+8}(O) for the stable orthogonal group OO. For example, UU is connected and π1(U)≅ℤ\pi_1(U) \cong \Z by the determinant, so π2k+1(U)≅ℤ\pi_{2k+1}(U) \cong \Z and π2k(U)=0\pi_{2k}(U) = 0 for all k≥0k \ge 0.

Going deeper

For a student

The argument is a model application of Morse theory on path spaces. One computes the space of minimal critical points of the energy and a lower bound for the indices of all other critical points. Then the path space and the minimal set have the same homotopy groups up to the bound. The same method, applied to Sp(n)Sp(n) and to symmetric spaces such as SO(2n)/U(n)SO(2n)/U(n), yields the eight-fold periodicity of the orthogonal group. Bott periodicity is the foundation of topological K-theory, where it appears as K~(Sn+2)≅K~(Sn)\tilde{K}(S^{n+2}) \cong \tilde{K}(S^n).

Reading path

To understand this page from the ground up, read these 21 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Determinant concept
  2. Dimension of an algebraic variety concept
  3. Exterior algebra concept
  4. Geodesic concept
  5. Grassmannian as classifying space example
  6. Homotopy group concept
  7. Identity matrix object
  8. Lie group concept
  9. Linear subspace concept
  10. Loop space concept
  11. Matrix definition
  12. Morse index concept
  13. Projective space concept
  14. Projective variety concept
  15. Grassmannian object
  16. Transpose definition
  17. Conjugate transpose definition
  18. Unitary matrix definition
  19. Unitary group object
  20. Special unitary group SU(n) example
  21. Bott's Morse-theoretic proof of periodicity statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Bott_periodicity_theorem
About this page
TagFJZXB1N7TP
URIm2://FJZXB1N7TP
Kindstatement, theorem
WritingW0 stub
MSC55R45, 58E10, 58E05
StatusThis copy of the site has no build data. Run m2 status FJZXB1N7TP.
AboutUnitary group, Morse index
UsesSpecial unitary group SU(n), Unitary group, Grassmannian, Geodesic, Morse index, Loop space, Homotopy group

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.