In the previous notes, we established the Gleason-Yamabe theorem:

Theorem 1 (Gleason-Yamabe theorem) Let {G} be a locally compact group. Then, for any open neighbourhood {U} of the identity, there exists an open subgroup {G'} of {G} and a compact normal subgroup {K} of {G'} in {U} such that {G'/K} is isomorphic to a Lie group.

Roughly speaking, this theorem asserts the “mesoscopic” structure of a locally compact group (after restricting to an open subgroup {G'} to remove the macroscopic structure, and quotienting out by {K} to remove the microscopic structure) is always of Lie type.

In this post, we combine the Gleason-Yamabe theorem with some additional tools from point-set topology to improve the description of locally compact groups in various situations.

We first record some easy special cases of this. If the locally compact group {G} has the no small subgroups property, then one can take {K} to be trivial; thus {G'} is Lie, which implies that {G} is locally Lie and thus Lie as well. Thus the assertion that all locally compact NSS groups are Lie (Theorem 10 from Notes 4) is a special case of the Gleason-Yamabe theorem.

In a similar spirit, if the locally compact group {G} is connected, then the only open subgroup {G'} of {G} is the full group {G}; in particular, by arguing as in the treatment of the compact case (Exercise 19 of Notes 3), we conclude that any connected locally compact Hausdorff group is the inverse limit of Lie groups.

Now we return to the general case, in which {G} need not be connected or NSS. One slight defect of Theorem 1 is that the group {G'} can depend on the open neighbourhood {U}. However, by using a basic result from the theory of totally disconnected groups known as van Dantzig’s theorem, one can make {G'} independent of {U}:

Theorem 2 (Gleason-Yamabe theorem, stronger version) Let {G} be a locally compact group. Then there exists an open subgoup {G'} of {G} such that, for any open neighbourhood {U} of the identity in {G'}, there exists a compact normal subgroup {K} of {G'} in {U} such that {G'/K} is isomorphic to a Lie group.

We prove this theorem below the fold. As in previous notes, if {G} is Hausdorff, the group {G'} is thus an inverse limit of Lie groups (and if {G} (and hence {G'}) is first countable, it is the inverse limit of a sequence of Lie groups).

It remains to analyse inverse limits of Lie groups. To do this, it helps to have some control on the dimensions of the Lie groups involved. A basic tool for this purpose is the invariance of domain theorem:

Theorem 3 (Brouwer invariance of domain theorem) Let {U} be an open subset of {{\bf R}^n}, and let {f: U \rightarrow {\bf R}^n} be a continuous injective map. Then {f(U)} is also open.

We prove this theorem below the fold. It has an important corollary:

Corollary 4 (Topological invariance of dimension) If {n > m}, and {U} is a non-empty open subset of {{\bf R}^n}, then there is no continuous injective mapping from {U} to {{\bf R}^m}. In particular, {{\bf R}^n} and {{\bf R}^m} are not homeomorphic.

Exercise 1 (Uniqueness of dimension) Let {X} be a non-empty topological space. If {X} is a manifold of dimension {d_1}, and also a manifold of dimension {d_2}, show that {d_1=d_2}. Thus, we may define the dimension {\hbox{dim}(X)} of a non-empty manifold in a well-defined manner.

If {X, Y} are non-empty manifolds, and there is a continuous injection from {X} to {Y}, show that {\hbox{dim}(X) \leq \hbox{dim}(Y)}.

Remark 1 Note that the analogue of the above exercise for surjections is false: the existence of a continuous surjection from one non-empty manifold {X} to another {Y} does not imply that {\hbox{dim}(X) \geq \hbox{dim}(Y)}, thanks to the existence of space-filling curves. Thus we see that invariance of domain, while intuitively plausible, is not an entirely trivial observation.

As we shall see, we can use Corollary 4 to bound the dimension of the Lie groups {L_n} in an inverse limit {G = \lim_{n \rightarrow \infty} L_n} by the “dimension” of the inverse limit {G}. Among other things, this can be used to obtain a positive resolution to Hilbert’s fifth problem:

Theorem 5 (Hilbert’s fifth problem) Every locally Euclidean group is isomorphic to a Lie group.

Again, this will be shown below the fold.

Another application of this machinery is the following variant of Hilbert’s fifth problem, which was used in Gromov’s original proof of Gromov’s theorem on groups of polynomial growth, although we will not actually need it this course:

Proposition 6 Let {G} be a locally compact {\sigma}-compact group that acts transitively, faithfully, and continuously on a connected manifold {X}. Then {G} is isomorphic to a Lie group.

Recall that a continuous action of a topological group {G} on a topological space {X} is a continuous map {\cdot: G \times X \rightarrow X} which obeys the associativity law {(gh)x = g(hx)} for {g,h \in G} and {x \in X}, and the identity law {1x = x} for all {x \in X}. The action is transitive if, for every {x,y \in X}, there is a {g \in G} with {gx=y}, and faithful if, whenever {g, h \in G} are distinct, one has {gx \neq hx} for at least one {x}.

The {\sigma}-compact hypothesis is a technical one, and can likely be dropped, but we retain it for this discussion (as in most applications we can reduce to this case).

Exercise 2 Show that Proposition 6 implies Theorem 5.

Remark 2 It is conjectured that the transitivity hypothesis in Proposition 6 can be dropped; this is known as the Hilbert-Smith conjecture. It remains open; the key difficulty is to figure out a way to eliminate the possibility that {G} is a {p}-adic group {{\bf Z}_p}. See this previous blog post for further discussion.

— 1. Van Dantzig’s theorem —

Recall that a (non-empty) topological space {X} is connected if the only clopen (i.e. closed and open) subsets of {X} are the whole space {X} and the empty set {\emptyset}; a non-empty topological space is disconnected if it is not connected. (By convention, the empty set is considered to be neither connected nor disconnected, somewhat analogously to how the natural number {1} is neither considered prime nor composite.)

At the opposite extreme to connectedness is the property of being a totally disconnected space. This is a space whose only connected subsets are the singleton sets. Typical examples of totally disconnected spaces include discrete spaces (e.g. the integers {{\bf Z}} with the discrete topology) and Cantor spaces (such as the standard Cantor set).

Most topological spaces are neither connected nor totally disconnected, but some intermediate combination of both. In the case of topological groups {G}, this rather vague assertion can be formalised as follows.

Exercise 3

  • Define a connected component of a topological space {X} to be a maxmial connected set. Show that the connected components of {X} form a partition of {X}, thus every point in {X} belongs to exactly one connected component.
  • Let {G} be a topological group, and let {G^\circ} be the connected component of the identity. Show that {G^\circ} is a closed normal subgroup of {G}, and that {G/G^\circ} is a totally disconnected subgroup of {G}. Thus, one has a short exact sequence

    \displaystyle 0 \rightarrow G^\circ \rightarrow G \rightarrow G/G^\circ \rightarrow 0

    of topological groups that describes {G} as an extension of a totally disconnected group by a connected group.

  • Conversely, if one has a short exact sequence

    \displaystyle 0 \rightarrow H \rightarrow G \rightarrow K \rightarrow 0

    of topological groups, with {H} connected and {K} totally disconnected, show that {H} is isomorphic to {G^\circ}, and {K} is isomorphic to {G/G^\circ}.

  • If {G} is locally compact, show that {G^\circ} and {G/G^\circ} are also locally compact.

In principle at least, the study of locally compact groups thus splits into the study of connected locally compact groups, and the study of totally disconnected locally compact groups. (Note however that even if one has a complete understanding of the factors {H, K} of a short exact sequence {0 \rightarrow H \rightarrow G \rightarrow K \rightarrow 0}, it may still be a non-trivial issue to fully understand the combined group {G}, due to the possible presence of non-trivial group cohomology. See for instance this previous blog post for more discussion.)

For totally disconnected locally compact groups, one has the following fundamental theorem of van Dantzig’s:

Theorem 7 (Van Danztig’s theorem) Every totally disconnected locally compact group {G} contains a compact open subgroup {H} (which will of course still be totally disconnected).

Example 1 Let {p} be a prime. Then the {p}-adic field {{\bf Q}_p} (with the usual {p}-adic valuation) is totally disconnected locally compact, and the {p}-adic integers {{\bf Z}_p} are a compact open subgroup.

Of course, this situation is the polar opposite of what occurs in the connected case, in which the only open subgroup is the whole group.

To prove van Dantzig’s theorem, we first need a lemma from point set topology, which shows that totally disconnected spaces contain enough clopen sets to separate points:

Lemma 8 Let {X} be a totally disconnected compact Hausdorff space, and let {x, y} be distinct points in {X}. Then there exists a clopen set that contains {x} but not {y}.

Proof: Let {K} be the intersection of all the clopen sets that contain {x} (note that {X} is obviously clopen). Clearly {K} is closed and contains {x}. Our objective is to show that {K} consists solely of {\{x\}}. As {X} is totally disconnected, it will suffice to show that {K} is connected.

Suppose this is not the case, then we can split {K = K_1 \cup K_2} where {K_1,K_2} are disjoint non-empty closed sets; without loss of generality, we may assume that {x} lies in {K_1}. As all compact Hausdorff spaces are normal, we can thus enclose {K_1, K_2} in disjoint open subsets {U_1,U_2} of {X}. In particular, the topological boundary {\partial U_2} is compact and lies outside of {K}. By definition of {K}, we thus see that for every {y \in \partial U_2}, we can find a clopen neighbourhood of {x} that avoids {y}; by compactness of {\partial U_2} (and the fact that finite intersections of clopen sets are clopen), we can thus find a clopen neighbourhood {L} of {x} that is disjoint from {\partial U_2}. One then verifies that {L \backslash U_2 = L \backslash \overline{U_2}} is a clopen neighbourhood of {x} that is disjoint from {K_2}, contradicting the definition of {K}, and the claim follows. \Box

Now we can prove van Dantzig’s theorem. We will use an argument from the book of Hewitt and Ross. Let {G} be totally disconnected locally compact (and thus Hausdorff). Then we can find a compact neighbourhood {K} of the identity. By Lemma 8, for every {y \in \partial K}, we can find a clopen neighbourhood of the identity that avoids {y}; by compactness of {\partial K}, we may thus find a clopen neighbourhood of the identity that avoids {\partial K}. By intersecting this neighbourhood with {K}, we may thus find a compact clopen neighbourhood {F} of the identity. As {F} is both compact and open, we may then the continuity of the group operations find a symmetric neighbourhood {U} of the identity such that {U F \subset F}. In particular, if we let {G'} be the group generated by {U}, then {G'} is an open subgroup of {G} contained in {F} and is thus compact as required.

Remark 3 The same argument shows that a totally disconnected locally compact group contains arbitrarily small compact open subgroups, or in other words the compact open subgroups form a neighbourhood base for the identity.

In view of van Dantzig’s theorem, we see that the “local” behaviour of totally disconnected locally compact groups can be modeled by the compact totally disconnected groups, which are better understood. Thanks to the Gleason-Yamabe theorem for compact groups, such groups are the inverse limits of compact totally disconnected Lie groups. But it is easy to see that a compact totally disconnected Lie group must be finite, and so compact totally disconnected groups are necessarily profinite. The global behaviour however remains more complicated, in part because the compact open subgroup given by van Dantzig’s theorem need not be normal, and so does not necessarily induce a splitting of {G} into compact and discrete factors.

Example 2 Let {p} be a prime, and let {G} be the semi-direct product {{\bf Z} \ltimes {\bf Q}_p}, where the integers {{\bf Z}} act on {{\bf Q}_p} by the map {m: x \mapsto p^m x}, and we give {G} the product of the discrete topology of {{\bf Z}} and the {p}-adic topology on {{\bf Q}_p}. One easily verifies that {G} is a totally disconnected locally compact group. It certainly has compact open subgroups, such as {\{0\} \times {\bf Z}_p}. However, it is easy to show that {G} has no non-trivial compact normal subgroups (the problem is that the conjugation action of {{\bf Z}} on {{\bf Q}_p} has all non-trivial orbits unbounded).

We can pull van Dantzig’s theorem back to more general locally compact groups:

Exercise 4 Let {G} be a locally compact group.

  • Show that {G} contains an open subgroup {G'} which is “compact-by-connected” in the sense that {G'/(G')^\circ} is compact. (Hint: apply van Dantzig’s theorem to {G/G^\circ}.)
  • If {G} is compact-by-connected, and {U} is an open neighbourhood of the identity, show that there exists a compact subgroup {K} of {G} in {U} such that {G/K} is isomorphic to a Lie group. (Hint: use Theorem 1, and observe that any open subgroup of the compact-by-connected group {G} has finite index and thus has only finitely many conjugates.) Conclude Theorem 2.
  • Show that any locally compact Hausdorff group {G} contains an open subgroup {G'} that is isomorphic to an inverse limit of Lie groups {(L_\alpha)_{\alpha \in A}}, which each Lie group {L_\alpha} has at most finitely many connected components. Furthermore, each {L_\alpha} is isomorphic to {G'/K_\alpha} for some compact normal subgroup {K_\alpha} of {G'}, with {K_\beta \leq K_\alpha} for {\alpha < \beta}. If {G} is first countable, show that this inverse limit can be taken to be a sequence (so that the index set {A} is simply the natural numbers {{\bf N}} with the usual ordering), and the {K_n} then shrink to zero in the sense that they lie inside any given open neighbourhood of the identity for {n} large enough.

Exercise 5 Let {G} be a totally disconnected locally compact group. Show that every compact subgroup {K} of {G} is contained in a compact open subgroup. (Hint: van Dantzig’s theorem provides a compact open subgroup, but it need not contain {K}. But is there a way to modify it so that it is normalised by {K}? Why would being normalised by {K} be useful?)

— 2. The invariance of domain theorem —

In this section we give a proof of the invariance of domain theorem. The main topological tool for this is Brouwer’s famous fixed point theorem:

Theorem 9 (Brouwer fixed point theorem) Let {f: B^n \rightarrow B^n} be a continuous function on the unit ball {B^n := \{ x \in {\bf R}^n: \|x\| \leq 1 \}} in a Euclidean space {{\bf R}^n}. Then {f} has at least one fixed point, thus there exists {x \in B^n} with {f(x)=x}.

This theorem has many proofs. We quickly sketch one of these proofs as follows:

Exercise 6 For this exercise, suppose for sake of contradiction that Theorem 9 is false, thus there is a continuous map from {B^n} to {B^n} with no fixed point.

  • Show that there exists a smooth map from {B^n} to {B^n} with no fixed point.
  • Show that there exists a smooth map from {B^n} to the unit sphere {S^{n-1}}, which equals the identity function on {S^{n-1}}.
  • Show that there exists a smooth map {\phi} from {B^n} to the unit sphere {S^{n-1}}, which equals the map {x \mapsto \frac{x}{\|x\|}} on a neighbourhood of {S^{n-1}}.
  • By computing the integral {\int_{B^n} \hbox{det}( \partial_1 \phi, \ldots, \partial_n \phi )} in two different ways (one by using Stokes’ theorem, and the other by using the {n-1}-dimensional nature of the sphere {S^{n-1}}), establish a contradiction.

Now we prove Theorem 3. By rescaling and translation invariance, it will suffice to show the following claim:

Theorem 10 (Invariance of domain, again) Let {f: B^n \rightarrow {\bf R}^n} be an continuous injective map. Then {f(0)} lies in the interior of {f(B^n)}.

Let {f} be as in Theorem 10. The map {f: B^n \rightarrow f(B^n)} is a continuous bijection between compact Hausdorff spaces and is thus a homeomorphism. In particular, the inverse map {f^{-1}: f(B^n) \rightarrow B^n} is continuous. Using the Tietze extension theorem, we can find a continuous function {G: {\bf R}^n \rightarrow {\bf R}^n} that extends {f^{-1}}.

The function {G} has a zero on {f(B^n)}, namely at {f(0)}. We can use the Brouwer fixed point theorem to show that this zero is stable:

Lemma 11 (Stability of zero) Let {\tilde G: f(B^n) \rightarrow {\bf R}^n} be a continuous function such that {\|G(y)-\tilde G(y)\| \leq 1} for all {y \in f(B^n)}. Then {\tilde G} has at least one zero (i.e. there is a {y \in f(B^n)} such that {\tilde G(y)=0}).

Proof: Apply Theorem 9 to the function

\displaystyle x \mapsto x - \tilde G(f(x)) = G(f(x)) - \tilde G(f(x)).


Now suppose that Theorem 10 failed, so that {f(0)} is not an interior point of {f(B^n)}. We will use this to locate a small perturbation of {G} that no longer has a zero on {f(B^n)}, contradicting Lemma 11.

We turn to the details. Let {\epsilon > 0} be a small number. By continuity of {G}, we see (if {\epsilon} is chosen small enough) that we have {\|G(y)\| \leq 0.1} whenever {y \in {\bf R}^n} and {\|y-f(0)\| \leq 2\epsilon}.

On the other hand, since {f(0)} is not an interior point of {f(B^n)}, there exists a point {c \in {\bf R}^n} with {\|c-f(0)\| < \epsilon} that lies outside {f(B^n)}. By translating {f} if necessary, we may take {c=0}; thus {f(B^n)} avoids zero, {\|f(0)\| < \epsilon}, and we have

\displaystyle \|G(y)\| \leq 0.1 \hbox{ whenever } \|y\| \leq \epsilon. \ \ \ \ \ (1)

Let {\Sigma} denote the set {\Sigma := \Sigma_1 \cup \Sigma_2}, where

\displaystyle \Sigma_1 := \{ y \in f(B^n): \|y\| \geq \epsilon \}


\displaystyle \Sigma_2 := \{ y \in {\bf R}^n: \|y\| = \epsilon \}.

By construction, {\Sigma} is compact but does not contain {f(0)}. Crucially, there is a continuous map {\Phi: f(B^n) \rightarrow \Sigma} defined by setting

\displaystyle \Phi(y) := \max( \frac{\epsilon}{\|y\|}, 1 ) y. \ \ \ \ \ (2)

Note that {\Phi} is continuous and well-defined since {f(B^n)} avoids zero. Informally, {\Sigma} is a perturbation of {f(B^n)} caused by pushing {f(B^n)} out a small distance away from the origin {0} (and hence also away from {f(0)}), with {\Phi} being the “pushing” map.

By construction, {G} is non-zero on {\Sigma_1}; since {\Sigma_1} is compact, {G} is bounded from below on {\Sigma_1} by some {\delta > 0}. By shrinking {\delta} if necessary we may assume that {\delta < 0.1}.

By the Weierstrass approximation theorem, we can find a polynomial {P: {\bf R}^n \rightarrow {\bf R}^n} such that

\displaystyle \| P(y) - G(y) \| < \delta \ \ \ \ \ (3)

for all {y \in \Sigma}; in particular, {P} does not vanish on {\Sigma_1}. At present, it is possible that {P} vanishes on {\Sigma_2}. But as {P} is smooth and {\Sigma_2} has measure zero, {P(\Sigma_2)} also has measure zero; so by shifting {P} by a small generic constant we may assume without loss of generality that {P} also does not vanish on {\Sigma_2}. (If one wishes, one can use an algebraic geometry argument here instead of a measure-theoretic one, noting that {P(\Sigma_2)} lies in an algebraic hypersurface and can thus be generically avoided by perturbation. A purely topological way to avoid zeroes in {\Sigma_2} is also given in Kulpa’s paper.)

Now consider the function {\tilde G: f(B^n) \rightarrow {\bf R}^n} defined by

\displaystyle \tilde G(y) := P( \Phi( y ) ).

This is a continuous function that is never zero. From (3), (2) we have

\displaystyle \| G(y) - \tilde G(y) \| < \delta

whenever {y \in f(B^n)} is such that {\|y\| > \epsilon}. On the other hand, if {\|y\| \leq \epsilon}, then from (2), (1) we have

\displaystyle \| G(y) \|, \| G( \Phi(y) ) \| \leq 0.1

and hence by (3) and the triangle inequality

\displaystyle \| G(y) - \tilde G(y) \| \leq 0.2 + \delta.

Thus in all cases we have

\displaystyle \| G(y) - \tilde G(y) \| \leq 0.2 + \delta \leq 0.3

for all {y \in f(B^n)}. But this, combined with the non-vanishing nature of {\tilde G}, contradicts Lemma 11.

— 3. Hilbert’s fifth problem —

We now establish Theorem 5. Let {G} be a locally Euclidean group. By Exercise 5 of Notes 0, {G} is Hausdorff; it is also locally compact and first countable. Thus, by Exercise 4, such a group contains an open subgroup {G'} which is isomorphic to the inverse limit {\lim_{n \rightarrow \infty} L_n} of Lie groups {L_n}, each of which has only finitely many components. Clearly, {G'} is also locally Euclidean. If it is Lie, then {G} is locally Lie and thus Lie. Thus, by replacing {G} with {G'} if necessary, we may assume without loss of generality that {G} is the inverse limit {G = \lim_{n \rightarrow \infty} L_n}, each of which has only finitely many components.

By Exercise 4, each {L_n} is isomorphic to the quotient of {G} by some compact normal subgroup {K_n} with {K_{n+1} \subset K_n}. In particular, {L_n} is isomorphic to the quotient of {L_{n+1}} by a compact normal subgroup {H_n \equiv K_n/K_{n+1}}. By Cartan’s theorem (Theorem 2 of Notes 2), {H_n} is also a Lie group. Among other things, this implies that the quotient homomorphism from the Lie algebra {{\mathfrak l}_{n+1}} of {L_{n+1}} to the Lie algebra {{\mathfrak l}_n} of {L_n} is surjective; indeed, it is the quotient map by the Lie algebra {{\mathfrak h}_n} of {H_n}. This implies that there is a continuous map from {{\mathfrak l}_n} to {{\mathfrak l}_{n+1}} that inverts the quotient map; in other words, we have a continuous map {\eta_{n \leftarrow n+1}: L(L_n) \rightarrow L(L_{n+1})} from the one-parameter subgroups {\phi_n: {\bf R} \rightarrow L_n} of {L_n} to the one-parameter subgroups {\phi_{n+1}: {\bf R} \rightarrow L_{n+1}} of {L_{n+1}}, such that {\eta_{n \leftarrow n+1}(\phi_n) \mod H_n = \phi_n} for all {\phi_n \in L(L_n)}.

Exercise 7 By iterating these maps and passing to the inverse limit, conclude that for each {n \in {\bf N}}, there is a continuous map {\eta_n: L(L_n) \rightarrow L(G)} such that {\eta_n(\phi_n) \mod K_n = \phi_n} for all {\phi_n \in L(L_n)}.

Because {L_n} is a Lie group, the exponential map {\phi_n \mapsto \phi_n(1)} is a homeomorphism from a neighbourhood of the origin in {L(L_n)} to a neighbourhood of the identity in {L_n}. We can thus obtain a continuous map {\phi_n(1) \mapsto \eta_n(\phi_n)(1)} from a neighbourhood of the identity in {L_n} to {G}. Since {\eta_n(\phi_n)(1) \mod K_n = \phi_n(1)}, this map is injective.

Now we use the hypothesis that {G} is locally Euclidean (and in particular, has a well-defined dimension {\hbox{dim}(G)}). By Exercise 1, we have

\displaystyle \hbox{dim}(L_n) \leq \hbox{dim}(G)

for all {n}. On the other hand, since each {L_n} is a quotient of the next Lie group {L_{n+1}}, one has

\displaystyle \hbox{dim}(L_n) \leq \hbox{dim}(L_{n+1}).

Since there are only finitely many possible values for the (necessarily integral) dimension {\hbox{dim}(L_n)} between {0} and {\hbox{dim}(G)}, we conclude that the dimension must eventually stabilise, i.e. one has

\displaystyle \hbox{dim}(L_n) = \hbox{dim}(L_{n+1})

for all sufficiently large {n}. By discarding the first few terms in the sequence and relabeling, we may thus assume that the dimension is constant for all {n}. Since {L_n \equiv L_{n+1}/H_n}, this implies that the Lie groups {H_n} have dimension zero for all {n}. As the {H_n} are also compact, they are thus finite. Thus each {K_{n+1}} is a finite extension of {K_n}. As {K_n} is the inverse limit of the {K_n/K_m} as {m \rightarrow \infty}, we conclude that {K_n} is a profinite group, i.e. the inverse limit of finite groups. In particular, {K_n} is totally disconnected.

We now study the short exact squence

\displaystyle 0 \rightarrow K_n \rightarrow G \rightarrow G_n \rightarrow 0,

playing off the locally connected nature of the Lie group {G_n} against the totally disconnected nature of {K_n}.

As discussed earlier, we have a continuous injective map {\psi_n} from a neighbourhood {U_n} of the identity in {G_n} to {G} that partially inverts the quotient map. By translation, we may normalise {\psi_n(1)=1}. As {G_n} is locally connected, we can find a connected neighborhood {V_n} of the identity in {G_n} such that {(V_n \cup V_n^{-1})^2 \subset U_n}.

Now consider the set {\{ \psi_n(g) \psi_n(g^{-1}): g \in V_n \}}. On the one hand, this set is contained in {K_n} and contains {1}; on the other hand, it is connected. As {K_n} is totally disconnected, this set must equal {\{1\}}, thus {\psi_n(g^{-1}) = \psi_n(g)^{-1}} for all {g \in V_n}. A similar argument based on consideration of the set {\{ \psi_n(g) \psi_n(h) \psi_n(gh)^{-1}: g,h \in V_n \}} shows that {\psi_n(gh) = \psi_n(g) \psi_n(h)} for all {g \in V_n}. Thus {\psi_n} is a homomorphism from the local group {V_n} to {G}.

Finally, for any {k \in K_n}, a consideration of the set {\{ \psi_n(g) k \psi_n(g)^{-1}: g \in V_n \}} reveals that {\psi_n(g)} commutes with {K_n}. As a consequence, we see that the preimage {\pi_n^{-1}(V_n)} of {V_n} under the quotient map {\pi_n: G \rightarrow G_n} is isomorphic as a local group to {V_n \times K_n}, after identifying {\psi_n(g) k} with {(g,k)} for any {g \in V_n} and {k \in K_n}.

On the other hand, {G} is locally Euclidean, and hence {V_n \times K_n} is locally Euclidean also, and in particular locally connected. This implies that {K_n} is locally connected; but as {K_n} is also totally disconnected, it must be discrete. This {G} is now locally isomorphic to {V_n} and hence to {G_n}, and is thus locally Lie and hence Lie as required. (Here, we say that two groups are locally isomorphic if they have neighbourhoods of the identity which are isomorphic to each other as local groups.)

Exercise 8 Let {G} be a locally compact Hausdorff first-countable group which is “finite-dimensional” in the sense that it does not contain continuous injective images of non-trivial open sets of Euclidean spaces {{\bf R}^n} of arbitrarily large dimension. Show that {G} is locally isomorphic to the direct product {L \times K} of a Lie group {L} and a totally disconnected compact group {K}. (Note that this local isomorphism does not necessarily extend to a global isomorphism, as the example of the solenoid group {{\bf R} \times {\bf Z}_p/{\bf Z}^\Delta} shows.)

Remark 4 Of course, it is possible for locally compact groups to be infinite-dimensional; a simple example is the infinite-dimensional torus {({\bf R}/{\bf Z})^{\bf N}}, which is compact, abelian, metrisable, and locally connected, but infinite dimensional. (It will still be an inverse limit of Lie groups, though.)

Exercise 9 Show that a topological group is Lie if and only if it is locally compact, Hausdorff, first-countable, locally connected, and finite-dimensional.

Remark 5 It is interesting to note that this characterisation barely uses the real numbers {{\bf R}}, which are of course fundamental in defining the smooth structure of a Lie group; the only remaining reference to {{\bf R}} comes through the notion of finite dimensionality. It is also possible, using dimension theory, to obtain alternate characterisations of finite dimensionality (e.g. finite Lebesgue covering dimension) that avoid explicit mention of the real line, thus capturing the concept of a Lie group using only the concepts of point-set topology (and the concept of a group, of course).

— 4. Transitive actions —

We now prove Proposition 6. As this is a stronger statement than Theorem 5, it will not be surprising that we will be using a very similar argument to prove the result.

Let {G} be a locally compact {\sigma}-compact group that acts transitively, faithfully, and continuously on a connected manifold {X}. The advantage of transitivity is that one can now view {X} as a homogeneous space {X=G/H} of {G}, where {H = \hbox{Stab}(x_0)} is the stabiliser of a point {x_0} (and is thus a closed subgroup of {G}). Note that a priori, we only know that {X} and {G/H} are identifiable as sets, with the identification map {\iota: G/H \rightarrow X} defined by setting {\iota( g H ) := g x_0} being continuous; but thanks to the {\sigma}-compact hypothesis, we can upgrade {\iota} to a homeomorphism. Indeed, as {G} is {\sigma}-compact, {G/H} is also; and so given any compact neighbourhood of the identity {K} in {G}, {G/H} can be covered by countably many translates of {KH/H}. By the Baire category theorem, one of these translates {gK} has an image {\iota(gKH/H) = gKx_0} in {X} with non-empty interior, which implies that {K^{-1} K x_0} has {x_0} as an interior point. From this it is not hard to see that the map {\iota} is open; as it is also a continuous bijection, it is therefore a homeomorphism.

By the Gleason-Yamabe theorem (Theorem 2), {G} has an open subgroup {G'} that is the inverse limit of Lie groups. (Note that {G} is Hausdorff because it acts faithfully on the Hausdorff space {X}.) {G'} acts transitively on {G'H/H}, which is an open subset of {G/H} and thus also a manifold. Thus, we may assume without loss of generality that {G} is itself the inverse limit of Lie groups.

As {G} is {\sigma}-compact, the manifold {X} is also. As {G} acts faithfully on {X}, this makes {G} first countable; and so (by Exercise 4) {G} is the inverse limit of a sequence of Lie groups {G_n = G/K_n}, with each {G_{n+1}} projecting surjectively onto {G_n}, and with the {K_n} shrinking to the identity.

Let {H_n} be the projection of {H} onto {G_n}; this is a closed subgroup of the Lie group {G_n}, and each {H_{n+1}} projects surjectively onto {H_n}. Then {G_n/H_n} are manifolds, and {G/H} is the inverse limit of the {G_n/H_n = G / HK_n}.

Exercise 10 Show that the dimensions of the {G_n/H_n} are be non-decreasing, and bounded above by the dimension of {G/H}. (Hint: repeat the arguments of the previous section. The {H_n} need no longer be compact, but they are still closed, and this still suffices to make the preceding arguments go through.)

Thus, for {n} large enough, the dimensions of {G_n/H_n} must be constant; by renumbering, we may assume that all the {G_n/H_n} have the same dimension. As each {G_{n+1}/H_{n+1}} is a cover of {G_n/H_n} with structure group {K_n/K_{n+1}}, we conclude that the {K_n/K_{n+1}} are zero-dimensional and compact, and thus finite. On the other hand, {G/H} is locally connected, which implies that the {K_n/K_{n+1}} are eventually trivial. Indeed, if we pick a simply connected neighbbourhood {U_1} of the identity in {G_1/H_1}, then by local connectedness of {G/H}, there exists a connected neighbourhood {U} of the identity in {G/H} whose projection to {G_1/H_1} is contained in {U_1}. Being open, {U} must contain one of the {K_n}. If {K_n/K_m} is non-trivial for any {m>n}, then the projection of {U} to {G_m/H_m} will then be disconnected (as this projection will be contained in a neighbourhood with the topological structure of {U \times K_1/K_m}, and its intersection with the latter fibre is at least as large as {K_n/K_m}. We conclude that {K_n} is trivial for {n} large enough, and so {G = G_n} is a Lie group as required.