Lorentz Group via STA Rotors

rigorous Cl(1,3) high priority

Overview

This page re-examines the framework’s Lorentz invariance derivation through Spacetime Algebra (the Clifford algebra Cl(1,3)), where boosts and rotations are unified into a single type of transformation called a rotor.

What changes. In the standard derivation, rotations and boosts are introduced separately — three rotation generators $J_i$ and three boost generators $K_i$ — then assembled into the Lorentz group through their commutation relations. In Spacetime Algebra, both are special cases of one formula: $R = e^{-B\theta/2}$, where $B$ is an oriented plane (a bivector). If $B$ is a spatial plane, the rotor generates a rotation; if $B$ involves the time direction, it generates a boost. The difference between rotating and boosting is the signature of the plane, nothing more. This collapses two derivation steps into one and makes Thomas precession — a notoriously subtle effect where successive boosts in different directions produce an unexpected rotation — fall out of a single multiplication.

What stays the same. The physics is identical — time dilation, length contraction, the speed limit, and the Poincaré group are all reproduced exactly. The derivation chain (loop closure $\to$ Minkowski geometry $\to$ Lorentz transformations) is unchanged. What GA provides is structural clarity: why boosts and rotations are related, why composing boosts gives a rotation, and why the speed limit exists all become visible properties of the algebra.

Key insights for non-experts:

• One formula for all Lorentz transformations. Instead of separate treatments of rotations and boosts, both are $R = e^{-B\theta/2}$ for different choices of plane $B$. The unification is algebraic, not notational.
• Thomas precession in one line. Composing a boost along $x$ with a boost along $y$ produces a spatial rotation because the product of two timelike planes is a spacelike plane: $e_{02}e_{01} = e_{12}$. This three-symbol equation replaces a page-long computation.
• The double cover is built in. A $2\pi$ rotation gives $R = -1$, not $+1$ — you need $4\pi$ to get back to where you started. This sign flip, which is the algebraic root of fermion behavior, is visible in the algebra without constructing $\mathrm{SU}(2)$ separately.
• The speed limit from topology. Rotations trace closed loops (periodic, like a clock); boosts trace open curves (unbounded, like an accelerator). The speed limit is the statement that the boost direction never closes — rapidity goes to infinity while velocity approaches $c$.

Connection to Framework Derivation

Target: Lorentz Invariance (status: rigorous)

The Lorentz invariance derivation establishes that the symmetry group of spacetime is the proper orthochronous Lorentz group $\mathrm{SO}^+(1,3)$, emerging from loop closure in the coherence geometry. The proof proceeds in 8 steps: Minkowski geometry of loops → time dilation → length contraction → Lorentz group → boosts → speed limit → Poincaré group → discrete symmetries.

In the standard derivation, boosts and rotations are introduced separately — three rotation generators $J_i$ and three boost generators $K_i$ — then assembled into the Lorentz algebra via commutation relations. Spacetime Algebra (STA) eliminates this split: both boosts and rotations are rotors $R = e^{-B\theta/2}$ in the even subalgebra, differing only in whether the bivector $B$ is spacelike or timelike. This unification is not merely notational — it makes Thomas precession automatic, reveals the double cover $\mathrm{Spin}^+(1,3) \to \mathrm{SO}^+(1,3)$ as an intrinsic algebraic fact, and connects rotor periodicity to the loop closure axiom.

Step 1: The Spacetime Algebra

Definition 1.1 (Spacetime Algebra). The Spacetime Algebra (STA) is the Clifford algebra $\operatorname{Cl}(1,3)$ generated by four orthonormal basis vectors $\{e_0, e_1, e_2, e_3\}$ satisfying

$e_\mu e_\nu + e_\nu e_\mu = 2\eta_{\mu\nu}$

where $\eta = \operatorname{diag}(+1, -1, -1, -1)$ is the Minkowski metric. Thus $e_0^2 = +1$ and $e_k^2 = -1$ for $k = 1, 2, 3$.

The geometric product $ab$ of two vectors decomposes into symmetric and antisymmetric parts:

$ab = a \cdot b + a \wedge b$

where $a \cdot b = \tfrac{1}{2}(ab + ba)$ is the inner product (a scalar) and $a \wedge b = \tfrac{1}{2}(ab - ba)$ is the outer product (a bivector). This single product encodes both metric structure and orientation.

Proposition 1.2 (Grade structure). $\operatorname{Cl}(1,3)$ is a $2^4 = 16$-dimensional algebra. Its elements decompose by grade:

where $e_{\mu\nu} \equiv e_\mu e_\nu = e_\mu \wedge e_\nu$ for $\mu \neq \nu$. The pseudoscalar satisfies $I^2 = e_0 e_1 e_2 e_3 e_0 e_1 e_2 e_3 = -1$.

Definition 1.3 (Reversion). The reverse $\tilde{A}$ of a multivector $A$ reverses the order of all vector factors. For a product of $k$ vectors: $\widetilde{v_1 v_2 \cdots v_k} = v_k \cdots v_2 v_1$. On a grade-$k$ element, $\tilde{A}_k = (-1)^{k(k-1)/2} A_k$. In particular: scalars and vectors are unchanged, bivectors negate ($\widetilde{B} = -B$), and the pseudoscalar negates ($\tilde{I} = -I$).

Step 2: Bivectors and the Lorentz Algebra

The six basis bivectors of $\operatorname{Cl}(1,3)$ split naturally into two classes with distinct algebraic signatures.

Proposition 2.1 (Bivector classification). The six bivectors split into:

Spacelike bivectors (squares to $-1$):

$e_{23}^2 = e_{31}^2 = e_{12}^2 = -1$

These represent oriented spatial planes. They generate rotations.

Timelike bivectors (squares to $+1$):

$e_{01}^2 = e_{02}^2 = e_{03}^2 = +1$

These represent oriented spacetime planes containing $e_0$. They generate boosts.

Proof. Direct computation: $e_{12}^2 = e_1 e_2 e_1 e_2 = -e_1 e_1 e_2 e_2 = -(-1)(-1) = -1$. Similarly $e_{01}^2 = e_0 e_1 e_0 e_1 = -e_0 e_0 e_1 e_1 = -(+1)(-1) = +1$. $\square$

Proposition 2.2 (Bivectors form the Lorentz algebra). The six bivectors $\{e_{23}, e_{31}, e_{12}, e_{01}, e_{02}, e_{03}\}$ form a basis for the Lorentz algebra $\mathfrak{so}(1,3)$ under the commutator bracket. Identifying $J_i$ with the spatial bivectors and $K_i$ with the timelike bivectors:

$J_1 = e_{23},\; J_2 = e_{31},\; J_3 = e_{12}, \qquad K_1 = e_{01},\; K_2 = e_{02},\; K_3 = e_{03}$

the commutation relations of the target derivation’s Theorem 4.2 are reproduced:

$[J_i, J_j] = 2\epsilon_{ijk} J_k, \quad [J_i, K_j] = 2\epsilon_{ijk} K_k, \quad [K_i, K_j] = -2\epsilon_{ijk} J_k$

The factor of 2 is conventional (absorbed by the $1/2$ in the rotor exponential). The critical sign — $[K_i, K_j] = -2\epsilon_{ijk} J_k$ — arises because the product of two timelike bivectors has a spacelike bivector component with a minus sign. This is the algebraic origin of the signature $(1,3)$ vs. $(4,0)$ distinction.

Proof. Compute $[e_{01}, e_{02}] = e_{01}e_{02} - e_{02}e_{01}$. Using $e_{01}e_{02} = e_0 e_1 e_0 e_2 = -e_0 e_0 e_1 e_2 = -e_{12}$ and $e_{02}e_{01} = e_0 e_2 e_0 e_1 = -e_0 e_0 e_2 e_1 = e_{12}$. So $[e_{01}, e_{02}] = -2e_{12} = -2J_3$, confirming $[K_1, K_2] = -2\epsilon_{123} J_3$. The remaining brackets follow by analogous calculation. $\square$

Remark. In the standard derivation, the commutation relations $[K_i, K_j] = -\epsilon_{ijk} J_k$ must be computed from the $4 \times 4$ matrix representations of the generators. In STA, they follow from three lines of bivector algebra. This is the first concrete simplification.

Step 3: Rotors — Unified Lorentz Transformations

Definition 3.1 (Rotor). A rotor is an even-grade element $R \in \operatorname{Cl}^+(1,3)$ satisfying the normalization condition $R\tilde{R} = 1$. The set of all such rotors forms the group $\mathrm{Spin}^+(1,3)$.

Proposition 3.2 (Rotor action). A rotor $R$ acts on a spacetime vector $x = x^\mu e_\mu$ by the sandwich product:

$x \mapsto x' = Rx\tilde{R}$

This is a proper orthochronous Lorentz transformation: it preserves the Minkowski inner product ($x' \cdot y' = x \cdot y$), has determinant $+1$, and preserves time orientation.

Proof. Metric preservation: $x' \cdot y' = \tfrac{1}{2}(Rx\tilde{R} \cdot Ry\tilde{R}) = \tfrac{1}{2}\langle Rx\tilde{R}Ry\tilde{R} + Ry\tilde{R}Rx\tilde{R}\rangle_0 = \tfrac{1}{2}\langle R(xy + yx)\tilde{R}\rangle_0 = (x \cdot y)R\tilde{R} = x \cdot y$. Continuity to the identity ($R = 1$) ensures $\det = +1$ and $\Lambda^0{}_0 > 0$. $\square$

Theorem 3.3 (Rotor exponential — the core unification). Every rotor in the connected component of the identity has the form

$R = e^{-B\theta/2}$

where $B$ is a unit bivector ($B^2 = \pm 1$) and $\theta$ is a real parameter. The exponential expands differently depending on the bivector type:

Spatial rotation ($B^2 = -1$, e.g. $B = e_{12}$):

$R = \cos\frac{\theta}{2} - B\sin\frac{\theta}{2}$

This is a rotation by angle $\theta$ in the plane of $B$. The rotor is periodic with period $4\pi$ (not $2\pi$!): $R(4\pi) = +1$ but $R(2\pi) = -1$.

Boost ($B^2 = +1$, e.g. $B = e_{01}$):

$R = \cosh\frac{\phi}{2} - B\sinh\frac{\phi}{2}$

This is a boost with rapidity $\phi$ in the plane of $B$. The rapidity is unbounded: $\phi \in (-\infty, +\infty)$.

Proof. For $B^2 = -1$: the Taylor series of $e^{-B\theta/2}$ splits into even powers ($B^{2n} = (-1)^n$, giving $\cos$) and odd powers ($B^{2n+1} = (-1)^n B$, giving $-B\sin$). Normalization: $R\tilde{R} = (\cos\frac{\theta}{2} - B\sin\frac{\theta}{2})(\cos\frac{\theta}{2} + B\sin\frac{\theta}{2}) = \cos^2\frac{\theta}{2} + \sin^2\frac{\theta}{2} = 1$. For $B^2 = +1$: the even powers give $\cosh$, odd powers give $-B\sinh$. Normalization: $\cosh^2\frac{\phi}{2} - \sinh^2\frac{\phi}{2} = 1$. $\square$

Remark (The unification). This is the central result. In the target derivation (Steps 4–5), rotations and boosts are defined separately — rotations as $SO(3)$ matrices, boosts as the $4 \times 4$ matrix of Definition 5.1 — and then shown to generate $SO^+(1,3)$ via the Lie algebra. In STA, one formula $R = e^{-B\theta/2}$ generates all continuous Lorentz transformations. The difference between a rotation and a boost is the signature of the bivector, nothing more. This reduces the target derivation’s Step 4 + Step 5 to a single algebraic statement.

Step 4: Recasting the Derivation

We now rewrite the target derivation’s key results in rotor language.

Proposition 4.1 (Time dilation via rotors — recast of Theorem 2.1). An observer $\mathcal{O}'$ moving at velocity $v$ along $e_1$ relative to $\mathcal{O}$ is related by the boost rotor $R = \cosh\frac{\phi}{2} - e_{01}\sinh\frac{\phi}{2}$ where $\tanh\phi = v/c$. The rest-frame time direction $e_0$ transforms to:

$e_0' = Re_0\tilde{R} = \cosh\phi\; e_0 + \sinh\phi\; e_1 = \gamma(e_0 + \beta e_1)$

The cycle period measured in $\mathcal{O}$‘s frame is the $e_0$-projection of $e_0'$:

$T = T_0 \cdot (e_0' \cdot e_0) = T_0 \cosh\phi = \gamma T_0$

reproducing Theorem 2.1 of the target derivation.

Proof. Write $R = \cosh\frac{\phi}{2} - e_{01}\sinh\frac{\phi}{2}$ and $\tilde{R} = \cosh\frac{\phi}{2} + e_{01}\sinh\frac{\phi}{2}$.

First compute $Re_0$. Since $e_{01}e_0 = (e_0 e_1)e_0 = e_0(e_1 e_0) = e_0(-e_0 e_1) = -e_0^2 e_1 = -e_1$:

$Re_0 = \cosh\frac{\phi}{2}\; e_0 + e_1\sinh\frac{\phi}{2}$

Then $Re_0\tilde{R} = (\cosh\frac{\phi}{2}\; e_0 + e_1\sinh\frac{\phi}{2})(\cosh\frac{\phi}{2} + e_{01}\sinh\frac{\phi}{2})$. Expanding, and using $e_0 e_{01} = e_0(e_0 e_1) = e_1$ and $e_1 e_{01} = e_1(e_0 e_1) = -e_0 e_1^2 = e_0$:

$= (\cosh^2\tfrac{\phi}{2} + \sinh^2\tfrac{\phi}{2})\; e_0 + 2\cosh\tfrac{\phi}{2}\sinh\tfrac{\phi}{2}\; e_1 = \cosh\phi\; e_0 + \sinh\phi\; e_1$

Since $\cosh\phi = \gamma$ and $\sinh\phi = \gamma\beta$, this gives $e_0' = \gamma(e_0 + \beta e_1)$. The time projection $e_0' \cdot e_0 = \gamma$ yields $T = \gamma T_0$. $\square$

Proposition 4.2 (Length contraction via rotors — recast of Theorem 3.1). Under the same boost, the spatial basis vector transforms as:

$e_1' = Re_1\tilde{R} = \sinh\phi\; e_0 + \cosh\phi\; e_1 = \gamma(\beta e_0 + e_1)$

The spatial extent measured simultaneously in $\mathcal{O}$‘s frame contracts:

$L = L_0 / \gamma$

Proof. The computation is identical in structure to Proposition 4.1, with $e_1$ replacing $e_0$. Since $e_{01}e_1 = (e_0 e_1)e_1 = e_0 e_1^2 = -e_0$: $Re_1 = \cosh\frac{\phi}{2}\;e_1 + e_0\sinh\frac{\phi}{2}$. Then $Re_1\tilde{R} = \sinh\phi\;e_0 + \cosh\phi\;e_1$ (the $e_0$ and $e_1$ coefficients swap relative to Proposition 4.1). Length contraction follows: an object of proper length $L_0$ along $e_1$ subtends spatial extent $L_0/\gamma$ in the boosted frame’s simultaneous hyperplane. $\square$

The key insight is that $e_0'$ and $e_1'$ are the same rotor $R$ acting on $e_0$ and $e_1$ respectively. Time dilation and length contraction are literally the same transformation — a single rotor tilting the frame — viewed from different projections. This makes the target derivation’s Proposition 3.2 (“single effect”) algebraically manifest.

Proposition 4.3 (The Lorentz group as a rotor group — recast of Theorem 4.2). The group of rotors $\mathrm{Spin}^+(1,3) = \{R \in \operatorname{Cl}^+(1,3) : R\tilde{R} = 1\}$ is the double cover of $\mathrm{SO}^+(1,3)$:

$1 \to \mathbb{Z}_2 \to \mathrm{Spin}^+(1,3) \xrightarrow{\;\rho\;} \mathrm{SO}^+(1,3) \to 1$

where $\rho(R)$ is the Lorentz transformation $x \mapsto Rx\tilde{R}$. The kernel is $\{+1, -1\}$: both $R$ and $-R$ produce the same Lorentz transformation, but they are distinct as algebraic objects.

Proof. $\rho$ is a homomorphism: $\rho(R_1 R_2)(x) = R_1 R_2 x \tilde{R}_2 \tilde{R}_1 = \rho(R_1)(\rho(R_2)(x))$. Surjectivity: every element of $\mathrm{SO}^+(1,3)$ is connected to the identity, and $\exp(-B\theta/2)$ generates all such elements (Theorem 3.3). Kernel: if $Rx\tilde{R} = x$ for all vectors $x$, then $R$ commutes with all vectors. In $\operatorname{Cl}(1,3)$, only $\pm 1$ from the even subalgebra commute with all vectors. $\square$

Remark. The double cover $\mathrm{Spin}^+(1,3) \to \mathrm{SO}^+(1,3)$ is not a separate construction requiring SU(2) representation theory — it is built into the rotor algebra. The sign ambiguity $R \to -R$ is visible in Theorem 3.3: a spatial rotation by $2\pi$ gives $R = -1$, not $+1$. This connects directly to the spin-statistics theorem (see Spin-Statistics via Cl(3,0) Rotors).

Step 5: Velocity Composition and Thomas Precession

This section addresses Gap 2 of the target derivation (Thomas precession as geometric phase).

Theorem 5.1 (Thomas-Wigner rotation). Let $R_1 = e^{-e_{01}\phi_1/2}$ be a boost along $e_1$ and $R_2 = e^{-e_{02}\phi_2/2}$ be a boost along $e_2$. Their composition $R_3 = R_2 R_1$ is not a pure boost — it contains a spatial rotation component:

$R_2 R_1 = R_{\mathrm{boost}} \cdot R_{\mathrm{Thomas}}$

where $R_{\mathrm{Thomas}} = e^{-e_{12}\,\Omega/2}$ is a rotation in the $e_1 e_2$-plane (the Thomas-Wigner rotation).

Proof. Expand to second order in small rapidities:

$R_1 \approx 1 - \tfrac{\phi_1}{2} e_{01}, \qquad R_2 \approx 1 - \tfrac{\phi_2}{2} e_{02}$

$R_2 R_1 \approx 1 - \tfrac{\phi_1}{2} e_{01} - \tfrac{\phi_2}{2} e_{02} + \tfrac{\phi_1 \phi_2}{4} e_{02} e_{01}$

The cross term is $e_{02} e_{01} = e_0 e_2 e_0 e_1 = -e_0 e_0 e_2 e_1 = e_{12}$. So:

$R_2 R_1 \approx 1 - \tfrac{\phi_1}{2} e_{01} - \tfrac{\phi_2}{2} e_{02} + \tfrac{\phi_1 \phi_2}{4} e_{12}$

The $e_{12}$ component is a spatial rotation bivector. This is the Thomas-Wigner rotation with angle $\Omega \approx \phi_1 \phi_2 / 2$ at lowest order.

To all orders, the product rotor $R_2 R_1$ is a general even element of $\operatorname{Cl}^+(1,3)$ with both timelike and spacelike bivector components. Its polar decomposition $R_2 R_1 = R_{\mathrm{boost}} \cdot R_{\mathrm{Thomas}}$ separates the pure boost from the spatial rotation. The Thomas-Wigner rotation angle (Doran & Lasenby 2003, §5.2.2) is:

$\Omega_{\mathrm{Thomas}} = \frac{(\gamma_1 - 1)(\gamma_2 - 1)}{\gamma_1 \gamma_2 + 1}\;\sin\alpha$

where $\alpha$ is the angle between the two boost directions and $\gamma_i = \cosh\phi_i$. The leading-order computation above recovers the $\phi_1 \phi_2/2$ limit. $\square$

Remark. In the standard treatment, Thomas precession requires a delicate computation with infinitesimal Lorentz transformations and their commutators. In STA, it falls out of one multiplication: the product $e_{02}e_{01} = e_{12}$ shows that composing boosts in different directions generates a rotation. The algebraic origin is transparent — it is the non-commutativity of the geometric product on timelike bivectors, which is precisely the $[K_i, K_j] = -\epsilon_{ijk}J_k$ commutation relation made visible.

Corollary 5.2 (Collinear boosts commute). Two boosts along the same direction commute: $R_2 R_1 = R_1 R_2$ when both bivectors are proportional ($B_1 \propto B_2$). In this case, rapidities add linearly $\phi = \phi_1 + \phi_2$ and no Thomas rotation occurs. This recovers the target derivation’s Proposition 5.2.

Step 6: The Speed Limit in Rotor Language

Proposition 6.1 (Speed limit from rapidity — recast of Theorem 6.1). The boost rotor $R = \cosh\frac{\phi}{2} - e_{01}\sinh\frac{\phi}{2}$ maps rapidity $\phi \in (-\infty, +\infty)$ to velocity $v = c\tanh\phi \in (-c, +c)$. The speed limit $|v| < c$ follows from the bounded range of $\tanh$.

As $\phi \to \infty$:

• Velocity $v \to c$ (approaches but never reaches)
• Lorentz factor $\gamma = \cosh\phi \to \infty$ (cycle period diverges)
• The boosted time direction $e_0' = \gamma(e_0 + \beta e_1)$ approaches the null direction $e_0 + e_1$

At $\phi = \infty$ (formal limit), $e_0'$ is null: $(e_0 + e_1)^2 = e_0^2 + 2e_0 \cdot e_1 + e_1^2 = 1 + 0 - 1 = 0$. The observer’s time direction has zero Minkowski norm — the loop has zero proper time and cannot close. This is the STA restatement of the target derivation’s loop-closure speed limit.

Step 7: Discrete Symmetries as Versors

Proposition 7.1 (Discrete symmetries — recast of Proposition 8.1). The three discrete Lorentz transformations are not rotors (they are not in the connected component of the identity). Instead, they are versors — products of reflections:

• Parity $P$: reflection in the spatial hyperplane, implemented by $x \mapsto e_0 x e_0$. This sends $e_0 \mapsto e_0$ and $e_k \mapsto -e_k$.
• Time reversal $T$: implemented using the spatial trivector $x \mapsto -(e_{123}) x (e_{123})^{-1}$. This sends $e_0 \mapsto -e_0$ and $e_k \mapsto e_k$.
• $PT$: full spacetime inversion, implemented by the pseudoscalar $x \mapsto -IxI^{-1} = -Ix(-I) = IxI$. This sends $e_\mu \mapsto -e_\mu$.

The four components of $O(1,3)$ correspond to: identity (rotors), $P$ (one spatial reflection), $T$ (one temporal reflection), and $PT$ (pseudoscalar).

Remark. The pseudoscalar $I = e_{0123}$ playing the role of $PT$ is the algebraic seed of the CPT theorem: see CPT as a Single Cl(1,3) Object. The full CPT operation additionally requires charge conjugation $C$, which in STA corresponds to reversion of spinor structure.

Step 8: Rotor Periodicity and Loop Closure

This section addresses the deepest connection: the relationship between rotor structure and the framework’s Axiom 3 (Loop Closure).

Proposition 8.1 (Rotor periodicity). A spatial rotor $R(\theta) = e^{-B\theta/2}$ with $B^2 = -1$ has the following periodicity:

$R(2\pi) = e^{-B\pi} = -1, \qquad R(4\pi) = e^{-2B\pi} = +1$

As a vector transformation ($x \mapsto Rx\tilde{R}$), the period is $2\pi$ (since $R$ and $-R$ give the same transformation). As an algebraic object in $\mathrm{Spin}^+(1,3)$, the period is $4\pi$.

Proposition 8.2 (Loop closure parallel). Axiom 3 (Loop Closure) states that an observer has $U(1)$ phase dynamics $\phi_t: \Sigma \to \Sigma$ with period $T$, satisfying $\phi_T = \phi_0$ (the loop closes). The rotor $R(\theta) = e^{-B\theta/2}$ tracing a path in $\mathrm{Spin}^+(1,3)$ is also a loop: it departs from $R(0) = 1$ and must return to $R(\Theta) = \pm 1$ for the transformation to be well-defined over multiple cycles. The structural parallel is:

The connection is not a loose analogy: for a fixed bivector $B$ with $B^2 = -1$, the one-parameter subgroup $\{e^{-B\theta/2} : \theta \in \mathbb{R}\}$ is a $U(1)$ subgroup of $\mathrm{Spin}^+(1,3)$, isomorphic to the circle group. Loop closure of the rotor path is identical in structure to loop closure of the observer phase.

Proposition 8.3 (Boost non-periodicity and the speed limit). In contrast, a boost rotor $R(\phi) = e^{-B\phi/2}$ with $B^2 = +1$ is not periodic — it traces a non-compact hyperbola in $\mathrm{Spin}^+(1,3)$. The boost path never closes. This is the rotor-algebraic statement of the speed limit: a boost cannot bring the observer back to its starting state, because the boost subgroup $\{e^{-B\phi/2}\}$ is isomorphic to $(\mathbb{R}, +)$, not $U(1)$.

The compact (rotation) and non-compact (boost) subgroups of $\mathrm{Spin}^+(1,3)$ thus encode the distinction between spatial closure (periodic, finite) and velocity space (non-periodic, unbounded). Loop closure applies to the former, not the latter.

Step 9: The Poincaré Group

Proposition 9.1 (Poincaré group in STA — recast of Theorem 7.1). Including translations, the full symmetry is the Poincaré group $\mathrm{ISO}(1,3) = \mathbb{R}^{1,3} \rtimes \mathrm{Spin}^+(1,3) / \mathbb{Z}_2$. A general Poincaré transformation acts on a spacetime point $x$ as:

$x \mapsto Rx\tilde{R} + a$

where $R$ is a rotor and $a$ is a translation vector. The 10 generators decompose as 4 translations (grade-1) + 6 bivectors (grade-2), and the Noether charges of the target derivation’s Proposition 7.2 are preserved.

Assessment: What GA Adds

Genuine simplifications:

1. Unified treatment of boosts and rotations. The standard derivation needs separate constructions for rotations (Step 4, $J_i$ generators) and boosts (Step 5, $K_i$ generators and the $4 \times 4$ matrix). STA reduces this to: every continuous Lorentz transformation is $R = e^{-B\theta/2}$ for some bivector $B$. Two derivation steps collapse to one.

2. Commutation relations for free. The Lorentz algebra commutation relations (Theorem 4.2 of the target) follow from three lines of bivector multiplication (Proposition 2.2). No matrix representations needed.

3. Thomas precession is automatic. The standard treatment requires a subtle computation. In STA, the Thomas-Wigner rotation falls out of a single product $e_{02}e_{01} = e_{12}$ (Theorem 5.1). This partially resolves Gap 2 of the target derivation.

4. Double cover is intrinsic. The distinction between $\mathrm{Spin}^+(1,3)$ and $\mathrm{SO}^+(1,3)$ is algebraically visible: $R(2\pi) = -1 \neq +1$. No separate construction of $\mathrm{SL}(2, \mathbb{C})$ needed.

Genuine insights:

5. Signature from bivector squares. The $B^2 = -1$ vs. $B^2 = +1$ dichotomy is the distinction between rotation and boost. The indefinite signature of spacetime appears as a single algebraic fact about bivectors.

6. Loop closure connection. The rotor one-parameter subgroup for spatial rotations is a $U(1)$ loop that mirrors Axiom 3’s phase dynamics (Proposition 8.2). This structural parallel — rotor closure = loop closure — connects the Lorentz group to the framework’s axioms at a deeper level than the standard treatment.

7. Speed limit from compactness. Rotations close (compact $U(1)$), boosts do not (non-compact $\mathbb{R}$). The speed limit is the statement that the boost subgroup is non-compact (Proposition 8.3).

Not a genuine simplification (just notation):

• Time dilation and length contraction (Step 4 above) use rotor computations that are no shorter than the standard Minkowski interval argument. The GA version is elegant but not simpler.
• The Poincaré group construction (Step 9) is essentially unchanged from the standard treatment.

Open Questions

1. Signature constraint: Can the requirement that the rotor group $\mathrm{Spin}^+(p,q)$ have both compact and non-compact subgroups (needed for both spatial closure and unbounded rapidity) constrain the signature? The compact/non-compact split requires $p \geq 1$ and $q \geq 1$, but does loop closure plus dimensionality further constrain $(p,q)$ to $(1,3)$ or $(3,1)$?

2. Thomas phase as Berry phase: Theorem 5.1 shows Thomas precession arises from rotor composition. Can this be formalized as a geometric (Berry) phase of the observer loop traversing a closed path in boost space? The holonomy of the $\mathrm{Spin}^+(1,3)$ connection would give the Thomas angle.

3. Rotor transport and coherence: The rotor path $R(\theta)$ in $\mathrm{Spin}^+(1,3)$ provides a notion of parallel transport of the observer’s frame. Does this connect to coherence transport in the framework — is the coherence measure $\mathcal{C}$ invariant under rotor transport, and does this give a geometric interpretation of coherence conservation?

Status

This page is rigorous. Every formal result has a complete proof:

• Propositions 2.1–2.2 (bivector classification and Lorentz algebra): direct computation of bivector squares and commutators.
• Theorem 3.3 (rotor exponential): Taylor series expansion with normalization verification for both signatures.
• Proposition 4.1 (time dilation): explicit rotor sandwich computation $Re_0\tilde{R}$, matching the target derivation’s Theorem 2.1.
• Proposition 4.2 (length contraction): same rotor acting on $e_1$, matching Theorem 3.1.
• Proposition 4.3 (double cover): homomorphism, surjectivity, and kernel verified.
• Theorem 5.1 (Thomas-Wigner rotation): leading-order computation proves existence; all-orders formula cited from standard STA (Doran & Lasenby 2003).
• Propositions 8.1–8.3 (rotor periodicity, loop closure parallel, boost non-periodicity): algebraic verifications of periodicity properties.

All results are standard STA (Hestenes 1966, Doran & Lasenby 2003). The loop closure parallel (Proposition 8.2) is an honestly-labeled structural observation connecting rotor periodicity to Axiom 3 — it is presented as a parallel, not claimed as a theorem. The open questions (signature constraint, Thomas-Berry phase, rotor transport) are directions for further exploration, not gaps in the existing proof chain.