20
$\begingroup$

It is a nontrivial fact that there are only countably many isomorphism classes of compact Lie groups. One can prove this by a series of reductions: first to the connected case, then to the simply connected case, then by classifying simple Lie algebras. Of course, this proof actually gives a much stronger classification result.

If I only want to prove that there are countably many isomorphism classes of compact Lie groups, can I work without appealing to the classification of simple Lie algebras? I have some ideas involving Tannaka's theorem but I haven't worked out a proof yet.

  • 3
    Stupid question: How many compact manifolds are there? I think the answer can be reduced to the simply connected ones, which, up to homeomorphism at least, are countable up through dimension 5 (and I have no idea what happens above that). Of course, if the answer is "countable", then it reduces the question to "does any compact manifold admit uncountably many distinct Lie group structures?" which seems a bit easier to answer (though I have no idea how to do it without classification!)2012-02-16
  • 0
    @B R: I mean "_only_ countably many..." I'll edit.2012-02-16
  • 4
    @Jason, up to homeo, there are countably many compact *smooth* manifolds, since they are all triangularizable. On the other hand, I have found the statement that in dimensions $\geq5$ a topological manifold has finitely many smooth structures, so your approach seems to work up to dealing with groups of dimension four by hand: and Cheeger [Amer. J. Math. 92 (1970), 61-74] showed that there are at most countably many different smooth types for closed $4$-manifolds.2012-02-16
  • 0
    Qiaochu, ah! Of course! I'll get rid of my comment now.2012-02-16
  • 0
    Can we not use Peter Weyl to deduce that any irreducible reprsn. is finite dim and thus the representation ring will be given by an algebra structure on $k[\mathbb{Z}}$ (where multiplication is integral). So there are countably many algebra structures (and by Tannaka Krein reconstructions) countable many compact Lie groups.2013-07-09
  • 0
    @DBS: the representation ring is not enough to recover the representation category (there is extra information in both the associators and the symmetries).2013-07-09
  • 0
    I hope you mean "only countable many isomorphism classes *of a given dimension*", because otherwise the question is trivial.2013-10-07
  • 0
    @Daniel: I don't understand. The two questions are equivalent.2013-10-07
  • 0
    @QiaochuYuan: You're quite right - I think I interpreted your question as wanting to show $\aleph_0$ is a *lower bound* on the number of isomorphism classes of compact Lie groups.2013-10-07

1 Answers 1

6
  1. It suffices to show that for each $n$, there are only countably many non-isomorphic compact $n$-dimensional Lie algebras.

  2. Let $M_n$ be the space of $n$-dimensional Lie algebras: This is a certain affine variety. According to https://mathoverflow.net/questions/47447/deformations-of-semisimple-lie-algebras (see Ben Webster's answer, which does not use any structure theory), for every compact Lie algebra $g\in M_n$, all nearby Lie algebras are isomorphic to $g$. Therefore, the subset $C_n\subset M_n$ consisting of compact Lie algebras is discrete and, hence, countable.