4
$\begingroup$

I know that the complex plane is a Lie group with +, but is it also a Lie group with the usual complex multiplication?

This would give us a nice geometrical interpretation of the famous Euler formula:

We have $exp:T_1\mathbb{C} \to \mathbb{C}$ and $T_1\mathbb{C} \cong \mathbb{C}$ because the latter is a linear space.

Also the complex multiplication is linear, so its differential is itself. Hence any left invariant vector field $X$ on $\mathbb{C}$ can be obtained by choosing a vector $X_0$ in $T_1\mathbb{C} \cong \mathbb{C}$ and using the formula

$ X(z) = z X_0 $

Now looking at the curve

$ t \mapsto exp(tX_0) $

in the case $X_0 = i$ give us the nice geometrical interpretation of the Euler Formula!

  • 0
    @Chris Eagle: look at the edit2012-03-11

2 Answers 2

9

The full $\mathbb{C}$ isn't a group under multiplication, but there is an isomorphism

$\mathbb{C}^\times \xrightarrow{\sim}\, \mathbb{S}^1\times\mathbb{R} \;:\; w\mapsto (\arg w,\, \log|w|)$

Both $\mathbb{S}^1$ and $\mathbb{R}$ are Lie groups, and thus so is $\mathbb{C}^\times$.

5

The group of complex units, $\mathbb{C}^*$, is indeed a Lie group since by basic complex analysis, $w\mapsto zw$ is smooth. And, indeed, the Euler formula $e^{it} = \cos{\theta} + i\sin{\theta}$ describes a homomorphism from $\mathbb{R}$ to $\mathbb{C}^*$. (It is also the universal covering map of the compact Lie group $U(1)$, which is a one-dimensional subgroup of $\mathbb{C}^*$.)