Bott and Tu Reading Notes

Tags: #projects/notes/reading #projects/active #projects/notes Refs: spectral sequence

Applications of Spectral Sequences

Notation and Remarks

  • For \(M\) a manifold, \(T(M)\) is the unit tangent bundle of \(M\)
  • For \(R\) a ring \(R\delta_i\) denotes a copy of \(R\) appearing in the \(i\)th (co)homological degree
  • \(S^n \subset {\mathbb{R}}^{n+1}\) and \(S^{2n-1} \subset {\mathbb{C}}^n\)
  • Theorem: \(F \to E \to B\) a fibration results in \(E_2^{p,q} = H^p(B, H^q(F; G)) = H^p(B;G) \otimes H^q(F; G)\) for nice enough spaces \(X\) and groups \(G\)
    • Corollary: \(H^n(X\times Y) = \displaystyle\bigoplus_{p+q=n} H^p(X, H^q(Y))\)
  • Facts about tensor products
    • \((rm)\otimes n = r(m\otimes n) =m \otimes(rn)\)
    • \((r+s)(m\otimes n) = rm\otimes n + sm\otimes n\)
    • \({\mathbb{Z}}_p \otimes_{\mathbb{Z}}{\mathbb{Z}}_q = {\mathbb{Z}}/\gcd(p,q)\) and \(\gcd(p,q) = 1\) yields 0.
    • Some computations:
      • \({\mathbb{Z}}_n \otimes_{\mathbb{Z}}{\mathbb{Q}}= 0\)
      • \({\mathbb{Z}}_n \otimes_{\mathbb{Z}}{\mathbb{Q}}/{\mathbb{Z}}= 0\)
      • \({\mathbb{Q}}\otimes_{\mathbb{Z}}{\mathbb{Q}}= {\mathbb{Q}}\)
      • \(({\mathbb{Q}}/{\mathbb{Z}})\otimes_{\mathbb{Z}}{\mathbb{Q}}= 0\)
      • \({\mathbb{Q}}/{\mathbb{Z}}\otimes_{\mathbb{Z}}{\mathbb{Q}}/{\mathbb{Z}}= 0\)
      • \(R[x]\otimes_R S \cong S[x]\)
      • \(k \to K\) a field extension: \(k[x]/(f) \otimes_k K \cong K[x]/(f)\)
    • Symmetric, Associative
    • \((\oplus A_i )\otimes B = \oplus(A_i \otimes B)\)
    • \({\mathbb{Z}}\otimes A = A\)
    • \({\mathbb{Z}}_n \otimes A = \frac{A}{nA}\)

List of Results

  • A simply connected \(n\)-dimensional manifold \(M_n\) is orientable
    • Use \(S^{n-1} \to T(M_n) \to M_n\)
  • \(H^*({\mathbb{CP}}^2) = {\mathbb{R}}\delta_0 + {\mathbb{R}}\delta_2 + {\mathbb{R}}\delta_4\)
    • Use \(S^1 \to S^5 \to{\mathbb{CP}}^2\)
  • \(H^*({\mathbb{CP}}^2) = \frac{{\mathbb{R}}[x]}{(x^3)}\)
    • Use \(S^1 \to S^5 \to{\mathbb{CP}}^2\)
  • \(H^*({\mathbb{CP}}^n) = \displaystyle\sum_{i=0}^n{\mathbb{R}}\delta_{2i}\)
    • Use \(S^1 \to S^{2n+1} \to{\mathbb{CP}}^n\)
  • \(H^*({\mathbb{CP}}^n) = \frac{{\mathbb{R}}[x]}{(x^{n+1})}\)
    • Use \(S^1 \to S^{2n+1} \to{\mathbb{CP}}^n\)
  • \(H^*(SO^3) = {\mathbb{Z}}\delta_0 + {\mathbb{Z}}_2\delta_2 + {\mathbb{Z}}\delta_3\)
    • Use \(S^1 \to T(S^2) \to S^2\) and identify \(T(S^2) = SO^3\)
    • Also use \(E_2^{p,q} = H^p(S^2) \otimes H^q(S^1)\)
  • \(H^*(SO^4) = ?\)
    • Use \(SO^3 \to SO^4 \to S^3\)
  • \(H^*(U^n) = ?\)
    • Use \(U^{n-1} \to U^n \to S^{2n-1}\)
  • \(H^*(\Omega S^2) = \displaystyle\sum_{i=0}^\infty {\mathbb{Z}}\delta_i\)
    • Use \(\Omega S^2 \to PS^2 \to S^2\)
    • Also use \(E_2^{p,q} = H^p(S^2, H^q(\Omega S^2))\)
  • \(H^*(\Omega S^3) = \displaystyle\sum_{i=0}^\infty {\mathbb{Z}}\delta_{2i}\)
    • Use \(\Omega S^3 \to PS^3 \to S^3\)
  • \(H^*(\Omega S^n) = \displaystyle\sum_{i=0}^\infty {\mathbb{Z}}\delta_{i(n-1)}\)
    • Use \(\Omega S^3 \to PS^3 \to S^3\)
  • \(H^*(\Omega S^2) = \frac{{\mathbb{Z}}[x]}{(x^2)} \otimes{\mathbb{Z}}\left\{{1,e, \frac{1}{2!}e^2,\cdots}\right\}, \dim x = 1, \dim e = 2\)
    • Use \(\Omega S^3 \to PS^3 \to S^3\)
  • \(H^*(\Omega S^n) = \frac{{\mathbb{Z}}[x]}{(x^2)} \otimes{\mathbb{Z}}\left\{{1,e, \frac{1}{2!}e^2,\cdots}\right\}, \dim x = n-1, \dim e = 2(n-1_)\)
    • Use \(\Omega S^3 \to PS^3 \to S^3\)

List of Fibrations

  • \(S^1 \to S^{2n+1} \to{\mathbb{CP}}^n\), the Hopf fibration?

  • \(S^3 \to S^{4n+3} \to\mathbb{HP}^n\) the generalized Hopf fibration? (not used here)

  • Hopf Fibrations

    • \(S^0 \to S^1 \to S^1\)
      • Induced by $S^1
        \subset 
        {\mathbb{R}}
        ^2
        \to 
        S^1 =
        {\mathbb{R}} 
        \cup 
        \infty 
        $
    • \(S^1 \to S^3 \to S^2\)
      • Induced by \(S^3 \subset {\mathbb{C}}^2 \to S^2 = {\mathbb{C}}\cup\infty\)
    • \(S^3 \to S^7 \to S^4\)
      • Induced by \(S^7 \subset \mathbb{H}^2 \to S^4 = \mathbb{H}\cup\infty\)
    • \(S^7 \to S^{15} \to S^8\)
      • Induced by \(S^{15} \subset\mathbb{O}^2 \to S^8 = \mathbb{O}\cup\infty\)
  • \(SO^3 \to SO^4 \to S^3\)

  • \(U^{n-1} \to U^n \to S^{2n-1}\)

    • Can compute \(H^*(U^n)\)
  • \(\Omega S^n \to PS^n \to S^n\), path-loop fibration

    • \(\Omega S^3 \to PS^3 \to S^3\):
      • Can compute \(H^*(\Omega S^n)\)
  • \(Y \to X\times Y \to X\) (not used here)

  • Fibrations

  • \(SO_{n-1}(R) \to SO_n(R) \to S^{n-1}\)

  • \(S^n \xrightarrow{E} \Omega S^{n+1} \xrightarrow{H} \Omega S^{2n+1}\)

  • \(S^1 \to S^{2n+1} \to {\mathbb{CP}}^n\)

  • \(\Omega B \to PB \to B\)

  • \(K(A, n) \to K(B, n) \to K(C,n)\) for any SES of groups.

  • \(S^0 \to S^1 \to {\mathbb{RP}}^1 = S^1\)

  • \(S^1 \to S^3 \to {\mathbb{CP}}^1 = S^2\)

  • \(S^3 \to S^7 \to \mathbb{HP}^1 = S^4\)

  • \(S^7 \to S^{15} \to \mathbb{OP}^1 = S^8\)

Define the Stiefel Manifold: \begin{align*} \mathbb{V}(k, n) = \left\{{A \in \mathbb{F}^{nk}\mathrel{\Big|}A \mkern 1.5mu\overline{\mkern-1.5muA\mkern-1.5mu}\mkern 1.5mu^t = I}\right\} \end{align*}

and the Grassmanian

\begin{align*} G(k, n) = ? \end{align*}

Obtained from fiber bundles involving Stiefel Manifold :

  • \(O^{n-1} \to O^n \to S^{n-1}\)
  • \(SO^{n-1} \to SO^n \to S^{n-1}\)
  • \(U^{n-1} \to U^n \to S^{2n-1}\)
  • \(SU^{n-1} \to SU^n \to S^{2n-1}\)
  • \(Sp^{n-1} \to Sp^n \to S^{4n-1}\)
  • \(SO^n \to O^n \to S^0\)
  • \(SU^n \to U^n \to S^1\)
  • \(\mathbb{V}(k, k) \to \mathbb{V}(k, n) \to \mathbb{G}(k, n)\)

Interesting Spaces to Look At:

\(O, SO, Spin, U, or Sp\)

#projects/notes/reading #projects/active #projects/notes