This was part of a draft version of “Quaternion half/double angle and Cayley transforms”. I broke this out because the methods are indepenent of either and are simply implications of computing relative quaternions and using the similarity transform.
We can rotate a bivector with the quaternion similarity transform. Given unit quaternion $Q$ then the rotation of $a$ to $b$ can be expressed as:
When $a$ and $b$ are unit bivectors then solving for $Q$ yields:
Using the previous and a known $a$ we can implictly represent $b$ by $Q$. Since we have bivector inputs $\eqref{xform}$ can be reduced:
Breaking down these two steps:

Extract the relative angle information of $b$ with respect to $a$ is: $ba^*$. This can also be expressed as: $ba^{1}$. The difference is the former composes the scale and the later computes relative scale. These hold for quaternions in general.

Once we have the relative information applying the halfangle transform (square root) completes the forward transform.
I will only talk about unit bivectors but the same holds for arbitrary magnitude the math just needs to be carried through for that case.
Notice that the action here is really two dimensional. The first products’ role to to change our angle measuring stick from the direction of positive reals to the direction of $a$. It simply maps a unit sphere to a unit sphere. The square root is a complex valued function so the action is in 2D: $ \mathbf{ba}^* $ and $ \sqrt{\mathbf{ba}^*} $ are in the sample complex plane, the plane that spans {$1, a\times b $}.
Example: let $b$ be up (as in positive $z$)
As an example we can create a context free representation of normals by choosing a reference direction like positive $z$. Renaming $\mathbf{a}$ to $\mathbf{z}$ and $\mathbf{b}$ to $\mathbf{n}$ with:
then $Q$ can be expressed as:
Renaming this result as:
When $\mathbf{n}=\mathbf{z}$ the equation explodes but the result is not infinity. We have $\sqrt{1}$ which generally for quaternions means “any unit bivector” so $a=0$ and $(b)^2+c^2=1$. Following through with $Q$ is a rotation that maps $\mathbf{z}$ to $\mathbf{z}$ leads to the same result.
At this point we have all the constraints on the values as listed at the end of the Preliminary stuff section of the halfangle/Cayley post^{1}. Additionally we have the bivector part is orthogonal to the reference direction.
The reverse transform becomes:
where $\eqref{rx1}$ is one way to reduce if we have all three values and $\eqref{rx2}$ is reworked for reconstructing from the orthogonal projection.
We can visualize the forward transform as operations on a globe in its original space. The north pole $\mathbf{z}$ is the fixed point. We poke a hole at the south pole $\mathbf{z}$ (breaking it into an infinite number of copies) and pull it to the equator which now contains the infinite copies of it. All other points on the sphere remain on the same longitude and the angle measure of each with respect to $\mathbf{z}$ is halved.
If we are projecting into the disc, then we view this global looking straight at the north pole using an orthographic projection. This disc projection is an areapreserving map.
 the north pole is mapped to $\left( 0, ~0 \right) $
 positive half sphere $\left( \mathbf{z} \geq 0 \right) $ is mapped to the disc: $r \in \left[ 0, ~\frac{1}{\sqrt{2}} \right] $
 negative half sphere $\left( \mathbf{z} < 0 \right )$ is mapped to the annulus: $r \in \left( \frac{1}{\sqrt{2}}, ~1 \right) $
 the south pole is mapped to the unit circle.
Complex maps in 3D
If we have some (quaternion valued) complex function $f$ which we wish to apply in three dimensional space where $a$ behaves as the lineofreals in complex numbers, then this can be expressed as^{2}:
The action of $f$ is in the plane that spans $\mathbf{a}$, $\mathbf{b}$ and the origin so it acts as a surface of revolution about $\mathbf{a}$.
Using this and if we think of $\eqref{xform}$ as being a half angle transform, then it can be directly expressed in 3D as:
Likewise the reverse transform becomes double the angle of $\mathbf{p}$ with respect to $\mathbf{a}$:
Sphere to disc and back again
Taking $\eqref{xform3d}$ and performing the projection we can directly express the transform from unit sphere to unit disc ($\mathbb{S}^2 \rightarrow \mathbb{D} $) as:
The reverse transform from unit disc to unit sphere ($\mathbb{D} \rightarrow \mathbb{S}^2$):
If we are only interested in say mapping the postive half sphere to the unit disc we can multiply through by $\sqrt{2}$:
and we reverse this version by^{3}:
This additional uniform scaling is still an areapreserving map.
The Lambert projection connection the azimuthal equalarea one
Using $ \eqref{xform3d} $ followed by an orthogonal projection in direction $b$ the result is a Lambert azimuthal equalarea projection^{4}. The example given on wikipedia is:
The standard formulation of Lambert’s maps a unit sphere to a disc with a radius of two. The quaternion formulation above maps to the unit disc. Setting $\mathbf{b}=\mathbf{z}$ and multiplying by two gives:
Applying the orthogonal projection and rewriting as a map yields:
Graphically this projection was originally formulated as this figure:
which is the arc with center $(0,1)$ from the surface to the plane. The radius of the arc is $\sqrt{ \left( cos \left( \theta \right)1\right)^2+\sin\left(\theta\right)^2}$. Divided by two and reducing yields $\sin\left(\frac{\theta}{2}\right)$
Conformal map sphere to plane/halfsphere to disc
If we take our original relative quaternion ($ \mathbf{nz}^* $), apply the Cayley transform^{1} and follow through the derivation then we get a stereographic projection of the sphere (southpole and plane through the equator in this case). Since the general case equations are already in the halfangle/Cayely post I’ll simply note the dropped formalism versions:
 the north pole is mapped to $\left( 0, ~0 \right) $
 positive half sphere $\left( \mathbf{z} > 0 \right) $ is mapped to the unit disc
 the equator is mapped to the unit circle
 negative half sphere $\left( \mathbf{z} < 0 \right )$ is the plane outside of the unit circle
This is a conformal mapping between our original points on $\mathbb{S}^2$ to $\mathbb{R}^2$. However if we want the conformal mapping in terms of the rotational space we would instead apply the Cayley transform to $\eqref{fx}$.
Breusing harmonic mean yet another sphere to disc and back
If we take our forward transform $\eqref{xform3d}$ followed by the Cayley transform we have a map which is conformal for the rotational space $\mathbb{S}^3$, but is neither areapreserving nor conformal in terms of the points on $\mathbb{S}^2$. The common name of this projection is Breusing harmonic mean. To form this projection in $\mathbb{S}^3$ it becomes an added halfangle transform followed by Cayley.
Closing remarks
I could continue with some standard projections restated in quaternions. Wiechel becomes a halfangle and a rotation about $\mathbf{z}$ (which is a simply a complex product), but although reworking standard projections might have some utility it is not my intended point for this post. I intended to show the simple ability to convert a normal (unit bivector) to an implied form and transforming a complex map to standard 3D space. The convering of standard map projections is intended to give some insight into how these transforms behave in $\mathbb{S}^3$.
Visualization
The following images are naive projections from the disc back to the sphere and halfsphere. They have 6bits for each of $x$ and $y$ in the plane, so 4096 possible representations. However there is no biasing and I’m simply tossing away values outside of the disc dropping the number to 3207. The intent is to given another view on how density varies with respect to angle and max angle reduction and not to demonstrate practical quantization methods. See the density functions^{1} and notice that the “complex planes” in the top and bottom views are all lines through the center of the images.
Two full sphere projections showing top, side and bottom. Halfangle (Lamberts) and Breusing for $\mathbb{S}^2$:
Since Breusing on the fullsphere has the highest density in the “opposite” direction of reference, reformulation in terms of $\mathbf{b}$ could be interesting in some usages.
Now a sequence of halfspheres projections showing top and side. Simple reconstruction of $z = \sqrt{1x^2y^2}$, Halfangle (Lamberts), Cayley (conformal) and Breusing:
References and Footnotes

Quaternion half/double angle and Cayley transforms (local post) ↩ ↩^{2} ↩^{3}

This can also be expressed as: since the product generally doesn’t commute. ↩

Uniform points on disc, circle and sphere (local post) ↩