1.1. Hilbert’s fifth problem 13 This conjecture is true in several cases for instance, one can show using the Peter-Weyl theorem (which we will discuss in Chapter 4) that it is true for compact groups, and we will later see that it is also true for connected locally compact groups (see Theorem 6.0.11). However, it is not quite true in general, as the following example shows. Exercise 1.1.4. Let p be a prime, and let T : Qp → Qp be the automor- phism Tx := px. Let G := Qp T Z be the semidirect product of Qp and Z twisted by T more precisely, G is the Cartesian product Qp × Z with the product topology and the group law (x, n)(y, m) := (x + T n y, n + m). Show that G is a locally compact group which is not isomorphic to a Lie group, and that Zp × {0} is an open neighbourhood of the identity that contains no nontrivial normal subgroups of G. Conclude that the conjecture stated above is false. The diﬃculty in the above example was that it was not easy to keep a subgroup normal with respect to the entire group Qp T Z. Note however that G contains a “large” (and more precisely, open) subgroup Qp × {0} which is the projective limit of Lie groups. So the above examples do not rule out that the conjecture can still be salvaged if one passes from a group G to an open subgroup G . This is indeed the case: Theorem 1.1.13 (Gleason-Yamabe theorem [Gl1951, Ya1953b]). Let G obey the following hypotheses: (1) (Group-like object) G is a topological group. (2) (Weak regularity) G is locally compact. Then for every open neighbourhood U of the identity, there exists a sub- group G of G and a compact normal subgroup K of G with the following properties: (i) (G /K is close to G) G is an open subgroup of G, and K is con- tained in U. (ii) (Lie-type structure) G /K is isomorphic to a Lie group. The proof of this theorem will occupy the next few sections of this text, being finally proven in Chapter 5. As stated, G may depend on U, but one can in fact take the open subgroup G to be uniform in the choice of U we will show this in later sections. Theorem 1.1.9 can in fact be deduced from Theorem 1.1.13 and some topological arguments involving the invariance of domain theorem this will be shown in Chapter 6. The Gleason-Yamabe theorem asserts that locally compact groups are “essentially” Lie groups, after ignoring the very large scales (by restricting

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2014 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.