A specific 2-Torus in $S^3$

Question

Problem: Consider the set $E = \{(x_1,x_2,x_3,x_4) \in \mathbb{R}^4: \sum_i x_i^2 = 1, x_1x_3 = x_2x_4\}$ (imagine a $2\times2$ real matrix with norm 1 and determinant 0). Show that the set $E$ is a 2-torus.

Attempt at solution: The problem seems to indicate that a 2-torus is embedded in $S^3$, which intuitively makes sense, however I am finding it difficult to prove that this set is actually a torus. I tried parametrizing the set in two coordinates:

It seems that the points in $E$ can be parametrized in terms of two variables $\theta, \phi \in \mathbb{R}$ by $x_1 = cos\theta \cdot cos\phi$, $x_2 = cos\theta \cdot sin\phi$, $x_3 = sin\theta \cdot cos\phi$, and $x_4 = sin\theta \cdot sin\phi$. However, I am not seeing how this parametrization describes a 2-torus though... any help is appreciated!

Answer 1

The Guide for the Perplexed::::: ::: ::: https://en.wikipedia.org/wiki/Clifford_torus#Formal_definition

This is, in effect, about (orthogonally) diagonalizing a quadratic form. Introduce $$ p = \frac{x_1 + x_3}{\sqrt 2} \; , $$ $$ q = \frac{x_1 - x_3}{\sqrt 2} \; , $$ $$ r = \frac{-x_2 + x_4}{\sqrt 2} \; , $$ $$ s = \frac{x_2 + x_4}{\sqrt 2} \; . $$

You still have $$ p^2 + q^2 + r^2 + s^2 = 1 $$ but now $$ p^2 - q^2 = -r^2 + s^2 \; ,$$ or $$ p^2 + r^2 = q^2 + s^2 = \frac{1}{2} \; \; .$$

Answer 2

À two-by-two singular matrix of norm 1 has columns two vectors in the plane which are not simultaneously zero but which are linearly dependent. Each such matrix thus determines a line in the plane (which is a point in the real projective line, which is a circle) and the extended scalar which is the ratio of the first Vector by the second one. If we view extended scalars as elements of the real projective line in the obvious way and then as elements of $S^1$, we see that each such matrix determines a point in a torus.