From the system $H^{-T}CH^{-1} = kC$ where $C = \begin{pmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & -1\end{pmatrix}$, I can obtain 6 constraints on the 10 unknown elements, 9 from $H$ and one $k$. Then I can deduce that this system has (10 - 6) four degrees of freedom.
It is clear to me that rotations about the origin and reflections about a line through the origin will preserve the unit circle and hence account for two of the parameters.
According to this answer there exist two other types of transformation, hyperbolic rotations about the x and y axes in the 3D vector space, which also preserve the unit circle at the origin. This gives a total of 4 independent parameters.
My questions then are
- Can $H$ be either a three-parameter or a four-parameter family of transformations depending on whether we let $k$ vary or not?
- Could someone please explain how it was deduced that hyperbolic rotations on the 3D vector space preserve the unit circle at the origin in the 2D projective space? The answer did not make much sense to me.
Any help would be greatly appreciated!
As $H$ represents an equivalence class, it is no specialization to set $k$ as 1. Hence the system has only 3 (9 - 6) degrees of freedom.
The crux of the other answer is that an equivalent way to solve for this H would be to solve the following system of equation in 3D. $$\begin{pmatrix} H & 0 \\\ 0 & 1 \end{pmatrix} \begin{pmatrix} C & 0 \\\ 0 & 1 \end{pmatrix} \begin{pmatrix} H^T & 0 \\\ 0 & 1 \end{pmatrix} = \begin{pmatrix} C & 0 \\\ 0 & 1 \end{pmatrix}$$ or, $$\begin{pmatrix} HCH^{T} & 0 \\\ 0 & 1 \end{pmatrix} = \begin{pmatrix} C & 0 \\\ 0 & 1 \end{pmatrix}$$
This means that the set of projective transformations in 2D that preserve a unit circle $C$ at the origin is the same as the set of affine transformations that preserves the quadric represented by $\begin{pmatrix} C & 0 \\\ 0 & 1 \end{pmatrix}$ in 3D.
I have written about this in more detail in case anyone needs it.