4
$\begingroup$

I need to prove that every Lie group homomorphism from $\mathbb{R}\rightarrow S^1$ is of the form $x\mapsto e^{iax}$ for some $a\in\mathbb{R}$.

Here is my attempt: As it is group homomorphism so it must satisfies $\phi(x+y)=\phi(x).\phi(y),\forall x,y\in\mathbb{R}$, I know one result if some continous function satisfies this rule, then it is of the form $e^x$, is this the same trick here we need to apply?

  • 6
    How can you attempt to prove something when you don't even know what it is you have to show?2012-11-01

2 Answers 2

6

This is from an answer I posted to one of my own questions:

Let $f: \mathbb R \to S^1$ be a continuous group homomorphism. Then $f$ are of the form $e^{i \lambda x}$ for $\lambda \in \mathbb{R}$. To see this note that $(e^{ix}, \mathbb{R})$ is a covering space of $S^1$. Then by the unique lifting property we get that for a continuous homomorphism $f: \mathbb{R} \to S^1$ there is a unique continuous homomorphism $\alpha : \mathbb{R} \to \mathbb{R}$ such that $f = g \circ \alpha$ where $g (x) = e^{ix}$ is the covering map. By (i) we get that $f$ has to be of the form $x \mapsto e^{i\lambda x}$.

Here (i) is the following: If $\alpha : \mathbb{R} \to \mathbb{R}$ is a continuous homomorphism then $\alpha$ is of the form $x \mapsto \lambda x$ for some $\lambda \in \mathbb{R}$. This follows from the fact that $\alpha$ is a linear map and one dimensional matrices are multiplication by scalars.

  • 0
    This is the correct answer, though it omits an important point. Unique path lifting gets you a continuous map $\mathbf R\rightarrow\mathbf R$, but one must think for a moment more before we conclude that it must also be automatically a homomorphism of groups. This fact follows from the discreteness of the lattice $\mathbf Z\subset\mathbf R$ as illustrated by this post: http://math.stackexchange.com/questions/185095/lifting-a-homomorphism.2015-10-03
1

Here is a proof that does not use as much advanced material. A Lie group homomorphism is a continuous group homomorphism between any two Lie groups. Any continuous group homomorphism $f : \Bbb{R} \rightarrow S^1$ is of the form $t \mapsto e^{i\theta(t)}$ for some function $\theta(t)$. Now observe that because $f$ is a group homomorphism we get that for all rational numbers $q$,

$f(q) = e^{i\theta(1)q}.$

Because $\Bbb{Q}$ is dense in $\Bbb{R}$, it follows that for all $t \in \Bbb{R}$ we have $f(t) = e^{i\theta(1) t}$. Since $\theta(1)$ can be any real number we conclude that any continuous group homomorphism from $\Bbb{R}$ to $S^1$ is of the form $e^{iat}$ for $a$ some real number.

  • 0
    What you will get (from *knowing* that $e^{ix} = e^{iy}$ iff $x - y \in 2\pi \mathbb{Z}$) is that $\theta(s+t) - \theta(s) - \theta(t) \in 2\pi \mathbb{Z}$, which is good enough to conclude. I agree with that.2012-11-01