Tag Archive

You are currently browsing the tag archive for the ‘Peter-Weyl theorem’ tag.

254A, Notes 3: Haar measure and the Peter-Weyl theorem

27 September, 2011 in 254A - Hilbert's fifth problem, math.CA, math.GN, math.GR, math.RT | Tags: , , , , | by | 31 comments

In the last few notes, we have been steadily reducing the amount of regularity needed on a topological group in order to be able to show that it is in fact a Lie group, in the spirit of Hilbert’s fifth problem. Now, we will work on Hilbert’s fifth problem from the other end, starting with the minimal assumption of local compactness on a topological group {G}, and seeing what kind of structures one can build using this assumption. (For simplicity we shall mostly confine our discussion to global groups rather than local groups for now.) In view of the preceding notes, we would like to see two types of structures emerge in particular:

  • representations of {G} into some more structured group, such as a matrix group {GL_n({\bf C})}; and
  • metrics on {G} that capture the escape and commutator structure of {G} (i.e. Gleason metrics).

To build either of these structures, a fundamentally useful tool is that of (left-) Haar measure – a left-invariant Radon measure {\mu} on {G}. (One can of course also consider right-Haar measures; in many cases (such as for compact or abelian groups), the two concepts are the same, but this is not always the case.) This concept generalises the concept of Lebesgue measure on Euclidean spaces {{\bf R}^d}, which is of course fundamental in analysis on those spaces.

Haar measures will help us build useful representations and useful metrics on locally compact groups {G}. For instance, a Haar measure {\mu} gives rise to the regular representation {\tau: G \rightarrow U(L^2(G,d\mu))} that maps each element {g \in G} of {G} to the unitary translation operator {\rho(g): L^2(G,d\mu) \rightarrow L^2(G,d\mu)} on the Hilbert space {L^2(G,d\mu)} of square-integrable measurable functions on {G} with respect to this Haar measure by the formula

\displaystyle \tau(g) f(x) := f(g^{-1} x).

(The presence of the inverse {g^{-1}} is convenient in order to obtain the homomorphism property {\tau(gh) = \tau(g)\tau(h)} without a reversal in the group multiplication.) In general, this is an infinite-dimensional representation; but in many cases (and in particular, in the case when {G} is compact) we can decompose this representation into a useful collection of finite-dimensional representations, leading to the Peter-Weyl theorem, which is a fundamental tool for understanding the structure of compact groups. This theorem is particularly simple in the compact abelian case, where it turns out that the representations can be decomposed into one-dimensional representations {\chi: G \rightarrow U({\bf C}) \equiv S^1}, better known as characters, leading to the theory of Fourier analysis on general compact abelian groups. With this and some additional (largely combinatorial) arguments, we will also be able to obtain satisfactory structural control on locally compact abelian groups as well.

The link between Haar measure and useful metrics on {G} is a little more complicated. Firstly, once one has the regular representation {\tau: G\rightarrow U(L^2(G,d\mu))}, and given a suitable “test” function {\psi: G \rightarrow {\bf C}}, one can then embed {G} into {L^2(G,d\mu)} (or into other function spaces on {G}, such as {C_c(G)} or {L^\infty(G)}) by mapping a group element {g \in G} to the translate {\tau(g) \psi} of {\psi} in that function space. (This map might not actually be an embedding if {\psi} enjoys a non-trivial translation symmetry {\tau(g)\psi=\psi}, but let us ignore this possibility for now.) One can then pull the metric structure on the function space back to a metric on {G}, for instance defining an {L^2(G,d\mu)}-based metric

\displaystyle d(g,h) := \| \tau(g) \psi - \tau(h) \psi \|_{L^2(G,d\mu)}

if {\psi} is square-integrable, or perhaps a {C_c(G)}-based metric

\displaystyle d(g,h) := \| \tau(g) \psi - \tau(h) \psi \|_{C_c(G)} \ \ \ \ \ (1)

 

if {\psi} is continuous and compactly supported (with {\|f \|_{C_c(G)} := \sup_{x \in G} |f(x)|} denoting the supremum norm). These metrics tend to have several nice properties (for instance, they are automatically left-invariant), particularly if the test function is chosen to be sufficiently “smooth”. For instance, if we introduce the differentiation (or more precisely, finite difference) operators

\displaystyle \partial_g := 1-\tau(g)

(so that {\partial_g f(x) = f(x) - f(g^{-1} x)}) and use the metric (1), then a short computation (relying on the translation-invariance of the {C_c(G)} norm) shows that

\displaystyle d([g,h], \hbox{id}) = \| \partial_g \partial_h \psi - \partial_h \partial_g \psi \|_{C_c(G)}

for all {g,h \in G}. This suggests that commutator estimates, such as those appearing in the definition of a Gleason metric in Notes 2, might be available if one can control “second derivatives” of {\psi}; informally, we would like our test functions {\psi} to have a “{C^{1,1}}” type regularity.

If {G} was already a Lie group (or something similar, such as a {C^{1,1}} local group) then it would not be too difficult to concoct such a function {\psi} by using local coordinates. But of course the whole point of Hilbert’s fifth problem is to do without such regularity hypotheses, and so we need to build {C^{1,1}} test functions {\psi} by other means. And here is where the Haar measure comes in: it provides the fundamental tool of convolution

\displaystyle \phi * \psi(x) := \int_G \phi(y) \psi(y^{-1}x) d\mu(y)

between two suitable functions {\phi, \psi: G \rightarrow {\bf C}}, which can be used to build smoother functions out of rougher ones. For instance:

Exercise 1 Let {\phi, \psi: {\bf R}^d \rightarrow {\bf C}} be continuous, compactly supported functions which are Lipschitz continuous. Show that the convolution {\phi * \psi} using Lebesgue measure on {{\bf R}^d} obeys the {C^{1,1}}-type commutator estimate

\displaystyle \| \partial_g \partial_h (\phi * \psi) \|_{C_c({\bf R}^d)} \leq C \|g\| \|h\|

for all {g,h \in {\bf R}^d} and some finite quantity {C} depending only on {\phi, \psi}.

This exercise suggests a strategy to build Gleason metrics by convolving together some “Lipschitz” test functions and then using the resulting convolution as a test function to define a metric. This strategy may seem somewhat circular because one needs a notion of metric in order to define Lipschitz continuity in the first place, but it turns out that the properties required on that metric are weaker than those that the Gleason metric will satisfy, and so one will be able to break the circularity by using a “bootstrap” or “induction” argument.

We will discuss this strategy – which is due to Gleason, and is fundamental to all currently known solutions to Hilbert’s fifth problem – in later posts. In this post, we will construct Haar measure on general locally compact groups, and then establish the Peter-Weyl theorem, which in turn can be used to obtain a reasonably satisfactory structural classification of both compact groups and locally compact abelian groups.

Read the rest of this entry »

The Peter-Weyl theorem, and non-abelian Fourier analysis on compact groups

23 January, 2011 in expository, math.CA, math.RT | Tags: , , , | by | 28 comments

Let {G} be a compact group. (Throughout this post, all topological groups are assumed to be Hausdorff.) Then {G} has a number of unitary representations, i.e. continuous homomorphisms {\rho: G \rightarrow U(H)} to the group {U(H)} of unitary operators on a Hilbert space {H}, equipped with the strong operator topology. In particular, one has the left-regular representation {\tau: G \rightarrow U(L^2(G))}, where we equip {G} with its normalised Haar measure {\mu} (and the Borel {\sigma}-algebra) to form the Hilbert space {L^2(G)}, and {\tau} is the translation operation

\displaystyle \tau(g) f(x) := f(g^{-1} x).

We call two unitary representations {\rho: G \rightarrow U(H)} and {\rho': G \rightarrow U(H')} isomorphic if one has {\rho'(g) = U \rho(g) U^{-1}} for some unitary transformation {U: H \rightarrow H'}, in which case we write {\rho \equiv \rho'}.

Given two unitary representations {\rho: G \rightarrow U(H)} and {\rho': G \rightarrow U(H')}, one can form their direct sum {\rho \oplus \rho': G \rightarrow U(H \oplus H')} in the obvious manner: {\rho \oplus \rho'(g)(v) := (\rho(g) v, \rho'(g) v)}. Conversely, if a unitary representation {\rho: G \rightarrow U(H)} has a closed invariant subspace {V \subset H} of {H} (thus {\rho(g) V \subset V} for all {g \in G}), then the orthogonal complement {V^\perp} is also invariant, leading to a decomposition {\rho \equiv \rho\downharpoonright_V \oplus \rho\downharpoonright_{V^\perp}} of {\rho} into the subrepresentations {\rho\downharpoonright_V: G \rightarrow U(V)}, {\rho\downharpoonright_{V^\perp}: G \rightarrow U(V^\perp)}. Accordingly, we will call a unitary representation {\rho: G \rightarrow U(H)} irreducible if {H} is nontrivial (i.e. {H \neq \{0\}}) and there are no nontrivial invariant subspaces (i.e. no invariant subspaces other than {\{0\}} and {H}); the irreducible representations play a role in the subject analogous to those of prime numbers in multiplicative number theory. By the principle of infinite descent, every finite-dimensional unitary representation is then expressible (perhaps non-uniquely) as the direct sum of irreducible representations.

The Peter-Weyl theorem asserts, among other things, that the same claim is true for the regular representation:

Theorem 1 (Peter-Weyl theorem) Let {G} be a compact group. Then the regular representation {\tau: G \rightarrow U(L^2(G))} is isomorphic to the direct sum of irreducible representations. In fact, one has {\tau \equiv \bigoplus_{\xi \in \hat G} \rho_\xi^{\oplus \hbox{dim}(V_\xi)}}, where {(\rho_\xi)_{\xi \in \hat G}} is an enumeration of the irreducible finite-dimensional unitary representations {\rho_\xi: G \rightarrow U(V_\xi)} of {G} (up to isomorphism). (It is not difficult to see that such an enumeration exists.)

In the case when {G} is abelian, the Peter-Weyl theorem is a consequence of the Plancherel theorem; in that case, the irreducible representations are all one dimensional, and are thus indexed by the space {\hat G} of characters {\xi: G \rightarrow {\bf R}/{\bf Z}} (i.e. continuous homomorphisms into the unit circle {{\bf R}/{\bf Z}}), known as the Pontryagin dual of {G}. (See for instance my lecture notes on the Fourier transform.) Conversely, the Peter-Weyl theorem can be used to deduce the Plancherel theorem for compact groups, as well as other basic results in Fourier analysis on these groups, such as the Fourier inversion formula.

Because the regular representation is faithful (i.e. injective), a corollary of the Peter-Weyl theorem (and a classical theorem of Cartan) is that every compact group can be expressed as the inverse limit of Lie groups, leading to a solution to Hilbert’s fifth problem in the compact case. Furthermore, the compact case is then an important building block in the more general theory surrounding Hilbert’s fifth problem, and in particular a result of Yamabe that any locally compact group contains an open subgroup that is the inverse limit of Lie groups.

I’ve recently become interested in the theory around Hilbert’s fifth problem, due to the existence of a correspondence principle between locally compact groups and approximate groups, which play a fundamental role in arithmetic combinatorics. I hope to elaborate upon this correspondence in a subsequent post, but I will mention that versions of this principle play a crucial role in Gromov’s proof of his theorem on groups of polynomial growth (discussed previously on this blog), and in a more recent paper of Hrushovski on approximate groups (also discussed previously). It is also analogous in many ways to the more well-known Furstenberg correspondence principle between ergodic theory and combinatorics (also discussed previously).

Because of the above motivation, I have decided to write some notes on how the Peter-Weyl theorem is proven. This is utterly standard stuff in abstract harmonic analysis; these notes are primarily for my own benefit, but perhaps they may be of interest to some readers also.

Read the rest of this entry »

Archives