You are currently browsing the tag archive for the ‘Gleason metrics’ tag.

Hilbert’s fifth problem concerns the minimal hypotheses one needs to place on a topological group to ensure that it is actually a Lie group. In the previous set of notes, we saw that one could reduce the regularity hypothesis imposed on to a “” condition, namely that there was an open neighbourhood of that was isomorphic (as a local group) to an open subset of a Euclidean space with identity element , and with group operation obeying the asymptotic

for sufficiently small . We will call such local groups * local groups*.

We now reduce the regularity hypothesis further, to one in which there is no explicit Euclidean space that is initially attached to . Of course, Lie groups are still locally Euclidean, so if the hypotheses on do not involve any explicit Euclidean spaces, then one must somehow build such spaces from other structures. One way to do so is to exploit an ambient space with Euclidean or Lie structure that is embedded or immersed in. A trivial example of this is provided by the following basic fact from linear algebra:

Lemma 1If is a finite-dimensional vector space (i.e. it is isomorphic to for some ), and is a linear subspace of , then is also a finite-dimensional vector space.

We will establish a non-linear version of this statement, known as Cartan’s theorem. Recall that a subset of a -dimensional smooth manifold is a -dimensional smooth (embedded) submanifold of for some if for every point there is a smooth coordinate chart of a neighbourhood of in that maps to , such that , where we identify with a subspace of . Informally, locally sits inside the same way that sits inside .

Theorem 2 (Cartan’s theorem)If is a (topologically) closed subgroup of a Lie group , then is a smooth submanifold of , and is thus also a Lie group.

Note that the hypothesis that is closed is essential; for instance, the rationals are a subgroup of the (additive) group of reals , but the former is not a Lie group even though the latter is.

Exercise 1Let be a subgroup of a locally compact group . Show that is closed in if and only if it is locally compact.

A variant of the above results is provided by using (faithful) representations instead of embeddings. Again, the linear version is trivial:

Lemma 3If is a finite-dimensional vector space, and is another vector space with an injective linear transformation from to , then is also a finite-dimensional vector space.

Here is the non-linear version:

Theorem 4 (von Neumann’s theorem)If is a Lie group, and is a locally compact group with an injective continuous homomorphism , then also has the structure of a Lie group.

Actually, it will suffice for the homomorphism to be locally injective rather than injective; related to this, von Neumann’s theorem localises to the case when is a local group rather a group. The requirement that be locally compact is necessary, for much the same reason that the requirement that be closed was necessary in Cartan’s theorem.

Example 1Let be the two-dimensional torus, let , and let be the map , where is a fixed real number. Then is a continuous homomorphism which is locally injective, and is even globally injective if is irrational, and so Theorem 4 is consistent with the fact that is a Lie group. On the other hand, note that when is irrational, then is not closed; and so Theorem 4 does not follow immediately from Theorem 2 in this case. (We will see, though, that Theorem 4 follows from a local version of Theorem 2.)

As a corollary of Theorem 4, we observe that any locally compact Hausdorff group with a faithful linear representation, i.e. a continuous injective homomorphism from into a linear group such as or , is necessarily a Lie group. This suggests a representation-theoretic approach to Hilbert’s fifth problem. While this approach does not seem to readily solve the entire problem, it can be used to establish a number of important special cases with a well-understood representation theory, such as the compact case or the abelian case (for which the requisite representation theory is given by the Peter-Weyl theorem and Pontryagin duality respectively). We will discuss these cases further in later notes.

In all of these cases, one is not really building up Euclidean or Lie structure completely from scratch, because there is already a Euclidean or Lie structure present in another object in the hypotheses. Now we turn to results that can create such structure assuming only what is ostensibly a weaker amount of structure. In the linear case, one example of this is is the following classical result in the theory of topological vector spaces.

Theorem 5Let be a locally compact Hausdorff topological vector space. Then is isomorphic (as a topological vector space) to for some finite .

Remark 1The Banach-Alaoglu theorem asserts that in a normed vector space , the closed unit ball in the dual space is always compact in the weak-* topology. Of course, this dual space may be infinite-dimensional. This however does not contradict the above theorem, because the closed unit ball isnota neighbourhood of the origin in the weak-* topology (it is only a neighbourhood with respect to the strong topology).

The full non-linear analogue of this theorem would be the Gleason-Yamabe theorem, which we are not yet ready to prove in this set of notes. However, by using methods similar to that used to prove Cartan’s theorem and von Neumann’s theorem, one can obtain a partial non-linear analogue which requires an additional hypothesis of a special type of metric, which we will call a *Gleason metric*:

Definition 6Let be a topological group. AGleason metricon is a left-invariant metric which generates the topology on and obeys the following properties for some constant , writing for :

- (Escape property) If and is such that , then .
- (Commutator estimate) If are such that , then
where is the commutator of and .

Exercise 2Let be a topological group that contains a neighbourhood of the identity isomorphic to a local group. Show that admits at least one Gleason metric.

Theorem 7 (Building Lie structure from Gleason metrics)Let be a locally compact group that has a Gleason metric. Then is isomorphic to a Lie group.

We will rely on Theorem 7 to solve Hilbert’s fifth problem; this theorem reduces the task of establishing Lie structure on a locally compact group to that of building a metric with suitable properties. Thus, much of the remainder of the solution of Hilbert’s fifth problem will now be focused on the problem of how to construct good metrics on a locally compact group.

In all of the above results, a key idea is to use *one-parameter subgroups* to convert from the nonlinear setting to the linear setting. Recall from the previous notes that in a Lie group , the one-parameter subgroups are in one-to-one correspondence with the elements of the Lie algebra , which is a vector space. In a general topological group , the concept of a one-parameter subgroup (i.e. a continuous homomorphism from to ) still makes sense; the main difficulties are then to show that the space of such subgroups continues to form a vector space, and that the associated exponential map is still a local homeomorphism near the origin.

Exercise 3The purpose of this exercise is to illustrate the perspective that a topological group can be viewed as a non-linear analogue of a vector space. Let be locally compact groups. For technical reasons we assume that are both -compact and metrisable.

- (i) (Open mapping theorem) Show that if is a continuous homomorphism which is surjective, then it is open (i.e. the image of open sets is open). (
Hint:mimic the proof of the open mapping theorem for Banach spaces, as discussed for instance in these notes. In particular, take advantage of the Baire category theorem.)- (ii) (Closed graph theorem) Show that if a homomorphism is closed (i.e. its graph is a closed subset of ), then it is continuous. (
Hint:mimic the derivation of the closed graph theorem from the open mapping theorem in the Banach space case, as again discussed in these notes.)- (iii) Let be a homomorphism, and let be a continuous injective homomorphism into another Hausdorff topological group . Show that is continuous if and only if is continuous.
- (iv) Relax the condition of metrisability to that of being Hausdorff. (
Hint:Now one cannot use the Baire category theorem for metric spaces; but there is an analogue of this theorem for locally compact Hausdorff spaces.)

## Recent Comments