Diffgeometer1

Diffgeometer1, 24 days ago

@johncarlosbaez Wow!

Diffgeometer1, 24 days ago

@johncarlosbaez Someone should add a plaque which expresses Maxwell's equations as a Yang-Mills theory (after all it was the motivation for Yang-Mills)[dA=0,~\ast d\ast A = J]In this case, if we want to recover Maxwell's equations, then we should take (A) to be a connection on a line bundle over (\mathbb{R}^4) and equip (\mathbb{R}^4) with the Lorentz metric?

Diffgeometer1, 28 days ago

@johncarlosbaez Thanks! That makes sense. As you pointed out, if (G) has more than one component then, for example, the degree (0) de Rham cohomology will be isomorphic to (k)-copies of (\mathbb{R}) where (k) is the number of components of (G). On the other hand, the degree (0) cohomology of its Lie algebra is always isomorphic to (\mathbb{R}). So there's no way (H^\bullet_{dR}(G)\simeq H^\bullet(\mathfrak{g})) could be true without the assumption that (G) is connected.

Diffgeometer1, 28 days ago

@johncarlosbaez I didn’t consider that! All the components of a Lie group are diffeomorphic. I forgot! So if (G) is compact and not necessarily connected, then its entire de Rham cohomology can be computed from its Lie algebra cohomology. As you said, if (G) has (n) components, then it’s de Rham cohomology is just (n) copies of (H^\bullet(\mathfrak{g}))! So the whole thing is known! Thanks!

Diffgeometer1, 27 days ago

@johncarlosbaez i looked at the proof which equates Lie algebra cohomology with de Rham cohomology for (G) a connected compact Lie group to see where the connectedness of (G) is being used exactly. As far as I can tell, this condition is needed so that there exists a curve joining every element (g\in G) to the identity element (e\in G). This implies that can (L_g) (left translation by (g\in G)) is homotopic to (L_e = id). From this one can construct a chain homotopy to show that the inclusion (\iota: \Omega^\bullet_L(G)\hookrightarrow\Omega^\bullet(G)) induces an isomorphism between cohomology of left-invariant forms and de Rham cohomology of all forms. Compactness is needed not only for integration, but also to have a finite partition of unity. The chain homotopy is then a finite sum of linear maps (\Omega^k(G) \rightarrow \Omega^{k-1}(G)) using the finite partition of unity. The proof is not hard hard but also not trivial. I’ve been curious about this result for awhile so it’s interesting to go through the proof and learn new techniques along the way.

Also the same proof can be used to show that if a compact connected Lie group (G) acts on a manifold (M) (from the left), then [H^\bullet_{dR}(M)\simeq H^\bullet_G(M)] where (H^\bullet_G(M)) is the cohomology of (G)-invariant forms on (M).

Diffgeometer1, 27 days ago

@johncarlosbaez Exactly! One place where we see a finite dimensional space of (G)-invariant forms is on reductive homogeneous manifolds. If (M=G/H) is a reductive homogeneous manifold, then one has a decomposition (\mathfrak{g}=\mathfrak{h}\oplus \mathfrak{b}) where (\mathfrak{b}) is merely a subspace of (\mathfrak{g}) which is also invariant under the adjoint action of (H). The space of (G)-invariant (k)-forms can then be identified with a subspace of (\wedge^k\mathfrak{b}^\ast) where (\mathfrak{b}^\ast) is the dual of (\mathfrak{b}). So this is more general than Lie groups and everything can still be reduced to algebra which is very nice.

Diffgeometer1, 27 days ago (edited 27 days ago)

@johncarlosbaez Very interesting!

I’ve heard of the Stiefel manifold but never worked with it directly but I think I’ll start to.

I like that the (n)-dimensional sphere is just a special case of the Steifel manifold.[S^n=SO(n+1)/SO(n)=V_1(\mathbb{R}^{n+1})]The proof of the theorem which states[H^\bullet_G(M)\simeq H^\bullet_{dR}(M)]carries over virtually unchanged from the Lie group case if we assume that (G) acts transitively on (M). In other words, (M = G/H). If the (G)-action is not transitive, I’m not sure if the theorem is still true. In any case, the theorem remains true for the Steifel manifold so no problem with using the theorem to calculate the de Rham cohomology.

If you happen to find out if the theorem is still true for all actions (not just transitive ones), please let me know. I think it should remain true for all actions but the proof becomes more complicated.

Update: I’m pretty sure the result is true for all (G)-actions, not just transitive ones. The proof just requires a little modification. It’s not as difficult as I thought.