Does a Lie group's group structure (not Lie group structure) determine its topology?

Question

Does a Lie group's group structure (not Lie group structure) determine its topology? Said another way, can you have two Lie groups that are isomorphic as groups but not homeomorphic?

If so, the group isomorphism map will not be continuous (and thus not a Lie group isomorphism), and there will be no natural map between their tangent spaces (Lie algebras).

I suspect you can't (the group does determine the topology), but I don't know how to prove it.

Answer 1

$\mathbb{R}^n$ and $\mathbb{R}^m$ are abstractly isomorphic (assuming the axiom of choice) for $n \neq m$ but not homeomorphic and so not isomorphic as topological groups.

I think this might be the only thing that can go wrong, though; e.g. it seems plausible that for, say, compact semisimple Lie groups an abstract isomorphism must be continuous (hence smooth, hence analytic) but I don't know how to prove it. Some googling turned up these notes which claim that

• a Haar-measurable homomorphism of Lie groups is automatically continuous, and it's consistent with ZF that every subset of a Lie group is Haar-measurable, so the existence of discontinuous homomorphisms of Lie groups is independent of ZF, and
• some Lie groups admit no discontinuous automorphisms (but not much is said about which).

Edit: Some more googling turned up Braun, Hofmann, and Kramer's Automatic continuity of abstract homomorphisms between locally compact and Polish groups, which proves very general results about this. Assuming I've parsed it correctly, I think Theorem A implies that a Lie group $G$ with at most countably many connected components has a unique Lie group topology provided that

• The center $Z(G_0)$ of the identity component of $G$ is finite, and
• The Lie algebra $\mathfrak{g}$ is a direct sum of Lie algebras $\mathfrak{g}_i$ which are absolutely simple in the sense that $\mathfrak{g}_i \otimes_{\mathbb{R}} \mathbb{C}$ is simple.

(This is equivalent to the claim that any abstract isomorphism from $G$ to another Lie group is automatically continuous.)

It is also apparently an old result of Cartan and van der Waerden that every abstract isomorphism between compact simple Lie groups is automatically continuous.