The topology of a semisimple Lie group is essentially unique (Q645212)

Let \(S\) be a connected centerless Lie group with simple Lie algebra \(\mathfrak s\). Such a simple Lie group is absolutely simple if \(\mathfrak s\otimes_{\mathbb R}\mathbb C\) is a complex simple Lie algebra. \textit{H. Freudenthal} proved [Ann. Math. 42, 1051--1074 (1941; Zbl 1378.22007)] that any abstract isomorphism between absolutely simple real Lie groups is continuous. The author shows that for a absolutely simple real Lie group \(S\) the Lie group topology is the unique locally compact and \(\sigma\)-compact topology. More precisely, he proves the following theorem: Let \(S\) be a connected centerless semisimple Lie group with Lie algebra \(\mathfrak s\). Let \(S = S_{1}\times\dots\times S_{n}\) denote its decomposition into simple factors. Let \(G\subseteq \Aut(S)\) be a subgroup of the automorphism group of \(S\) containing \(S\). Suppose that \(\Gamma\) is a locally compact and \(\sigma\)-compact group and that \(\varphi: \Gamma\rightarrow G\) is an abstract group isomorphism. Then there exist in the automorphism group of \(S_i\) elements \(\alpha_i\) such that \(\alpha = \alpha_{1}\times...\times \alpha_n\) conjugates \(G\) to an open subgroup \(^{\alpha}G\) of the automorphism group of \(\mathfrak s\), and \(c_{\alpha}\circ \phi: \Gamma\rightarrow ^{\alpha}G\) is a homeomorphism. If \(S_i\) is absolutely simple, then \(\alpha_i\) may be chosen to be the identity. Let \(\bar\Gamma\) be a locally compact and \(\sigma\)-compact group and \(\bar \varphi: \bar \Gamma\rightarrow G\) be a centralsurjective homomorphism. If the center of \(\bar \Gamma\) is discrete, then one has for \(\bar \Gamma\) the same claim as for \(\Gamma\) .