 Solution

The association between four real coordinates and Hermitian two-by-two matrices is a real-linear bijection. Congruence by $S$ preserves Hermiticity, so $X^{\prime }=SX{S}^{†}$ defines another real four-vector depending linearly on the original. Its determinant isThus the induced invertible linear map preserves the Minkowski quadratic form:The maps obtained continuously from the identity are proper and orthochronous. For example, a future timelike vector gives a positive-definite $X$, which remains positive definite under invertible congruence; its time direction is preserved. The matrices $S$ and $-S$ induce the same four-vector transformation, illustrating the Lorentz spinor double cover.

The source uses $x+iy$ in the upper-right entry, corresponding to $X=ctI+x{\sigma }_x-y{\sigma }_y+z{\sigma }_z$ for the standard Pauli matrices. This is a permissible basis convention, but its minus sign in the $y$ basis must also be retained in the spinor identification.