Geometric structure of square map for quaternions

205 Views Asked by At

The square map $z\mapsto z^2$ from $\mathbb{C}\to\mathbb{C}$ has a straightforward interpretation as a double-cover with a singular point at $0$. More generally $z\mapsto z^n$ is an $n$-fold cover.

What is the map $z\mapsto z^2$ from $\mathbb{H}\to\mathbb{H}$ (quaternions)? From counting dimensions I expect the typical fiber to be finite. On the other hand, $(bi+cj+dk)^2=(-b^2-c^2-d^2)$ so each point on the negative real axis has a whole $S^2$ worth of quaternions squaring to it.

A possible answer I'd be after is that this map is some kind of blow-up of $\mathbb{R}^4$ along a half-line. Well, this cannot be right since the typical fiber has at least two points ($q^2=(-q)^2$).

1

There are 1 best solutions below

2
On BEST ANSWER

Any non-real quaternion $q$ generates an isomorphic copy of $\bf C$ inside $\bf H$. So $q^2$ is obtained by the usual complex recipe: square the absolute value and double the argument in the plane spanned by $1$ and $q$. Of course if $q$ is real then $q^2$ is its usual square in $\bf R$. Yes, if $q$ has zero real part (and $q \neq 0$) then squaring $q$ yields a negative real number (and thus forgets the plane spanned by $1$ and $q$).