A Lorentz boost along Î acts on a four-vector A = a0T̂ + a·K̂ from both sides with the same rotor, AL = U−1AU−1, where U = eψσ̂I/2 = diag(eψ/2, e−ψ/2) and ψ is the rapidity. The inverse boost is UAU, and the time adjoint AT transforms the opposite way. Choose a four-vector and a velocity.
Because σ̂I² = 1̂, the exponential series splits into even and odd powers: eψσ̂I/2 = cosh(ψ/2) 1̂ + sinh(ψ/2) σ̂I. With γ = coshψ and βγ = sinhψ, the rapidity is ψ = artanh β and e±ψ = γ(1 ± β), the relativistic Doppler factor.
The steps follow the BQ-Pauli slides on the Lorentz transformation and use the vector and velocity chosen above.
The boost slides the point along its hyperbola: the invariant a0² − a1² does not change, and the light-cone coordinates a0 ± a1 are multiplied by e∓ψ. The coordinates a2, a3 across the boost are unchanged.
The rule U−1AU−1 with a diagonal U holds for boosts along Î. Frames moving in another direction are first rotated so that their relative velocity lies along Î (Synge’s communal photon); a boost in another direction can always be replaced by one rotation and one Î-boost, which is where Thomas–Wigner rotation enters.
Definitions as in de Haas, BQ-Pauli papers (U, rapidity, Lemma on basis–component compatibility, and (AT)L = (AL−1)T). Part of the BQ algebra models.