# nLab topological group

### Context

#### Topology

topology

algebraic topology

group theory

# Contents

## Idea

A topological group is a topological space with a continuous group structure: a group object in the category Top.

## Definition

###### Definition

A topological group is an internal group object in the category of topological spaces.

More explicitly, it is a group equipped with a topology such that the multiplication and inversion maps are continuous.

## Properties

### Uniform structure

A topological group $G$ carries two canonical uniformities: a right and left uniformity. The left uniformity consists of entourages ${\sim }_{l,U}$ where $x{\sim }_{l,U}y$ if $x{y}^{-1}\in U$; here $U$ ranges over neighborhoods of the identity that are symmetric: $g\in U⇔{g}^{-1}\in U$. The right uniformity similarly consists of entourages ${\sim }_{r,U}$ where $x{\sim }_{r,U}y$ if ${x}^{-1}y\in U$. The uniform topology for either coincides with the topology of $G$.

Obviously when $G$ is commutative, the left and right uniformities coincide. They also coincide if $G$ is compact Hausdorff, since in that case there is only one uniformity whose uniform topology reproduces the given topology.

Let $G$, $H$ be topological groups, and equip each with their left uniformities. Let $f:G\to H$ be a group homomorphism.

###### Proposition

The following are equivalent:

• The map $f$ is continuous at a point of $G$;

• The map $f$ is continuous;

• The map $f$ is uniformly continuous.

###### Proof

Suppose $f$ is continuous at $g\in G$. Since neighborhoods of a point $x$ are $x$-translates of neighborhoods of the identity $e$, continuity at $g$ means that for all neighborhoods $V$ of $e\in H$, there exists a neighborhood $U$ of $e\in G$ such that

$f\left(gU\right)\subseteq f\left(g\right)V$f(g U) \subseteq f(g) V

Since $f$ is a homomorphism, it follows immediately from cancellation that $f\left(U\right)\subseteq V$. Therefore, for every neighborhood $V$ of $e\in H$, there exists a neighborhood $U$ of $e\in G$ such that

$x{y}^{-1}\in U⇒f\left(x\right)f\left(y{\right)}^{-1}=f\left(x{y}^{-1}\right)\in V$x y^{-1} \in U \Rightarrow f(x) f(y)^{-1} = f(x y^{-1}) \in V

in other words such that $x{\sim }_{U}y⇒f\left(x\right){\sim }_{V}f\left(y\right)$. Hence $f$ is uniformly continuous with respect to the left uniformities. By similar reasoning, $f$ is uniformly continuous with respect to the right uniformities.

### Unitary representation on Hilbert spaces

###### Definition

A unitary representation $R$ of a topological group $G$ in a Hilbert space $ℋ$ is a continuous group homomorphism

$R:G\to 𝒰\left(ℋ\right)$R \colon G \to \mathcal{U}(\mathcal{H})

where $𝒰\left(ℋ\right)$ is the group of unitary operators on $ℋ$ with respect to the strong topology.

###### Remark

Here $𝒰\left(ℋ\right)$ is a complete, metrizable topological group in the strong topology, see (Schottenloher, prop. 3.11).

###### Remark

In physics, when a classical mechanical system is symmetric, i.e. invariant in a proper sense, with respect to the action of a topological group $G$, then an unitary representation of $G$ is sometimes called a quantization of $G$. See at geometric quantization and orbit method for more on this.

#### Why the strong topology is used

The reason that in the definition of a unitary representation, the strong operator topology on $𝒰\left(ℋ\right)$ is used and not the norm topology, is that only few homomorphisms turn out to be continuous in the norm topology.

Example: let $G$ be a compact Lie group and ${L}^{2}\left(G\right)$ be the Hilbert space of square integrable measurable functions with respect to its Haar measure. The right regular representation of $G$ on ${L}^{2}\left(G\right)$ is defined as

$R:G\to 𝒰\left({L}^{2}\left(G\right)\right)$R: G \to \mathcal{U}(L^2(G))
$g↦\left({R}_{g}:f\left(x\right)↦f\left(xg\right)\right)$g \mapsto (R_g: f(x) \mapsto f(x g))

and this will generally not be continuous in the norm topology, but is always continuous in the strong topology.

### Protomodularity

###### Proposition

The category TopGrp of topological groups and continuous group homomorphisms between them is a protomodular category.

A proof is spelled out by Todd Trimble here on MO.

## References

The following monograph is not particulary about group representations, but some content of this page is based on it:

• Martin Schottenloher: A mathematical introduction to conformal field theory. Springer, 2nd edition 2008 (ZMATH entry)

Revised on June 13, 2013 17:30:25 by Urs Schreiber (82.169.65.155)