This question asks how exactly Special Relativity (SR) emerges mathematically as a special case of General Relativity (GR).
In GR, spacetime is modeled as a pseudo-Riemannian manifold with generally non-zero curvature. Treating SR really as the special case of vanishing curvature, spacetime should still just be a manifold. However, spacetime in SR is often modeled as a vector space or an affine space: we speak about the length of a rod $|\mathbf{x}_1 - \mathbf{x}_2|$, spacetime intervals $c^2(t_1 - t_2)^2 - (\mathbf{x_1 - x_2})^2$ etc. (see, e.g., Jackson: Classical Electrodynamics, Third Edition, p. 527). This works, of course, but is unsatisfactory from a conceptual point of view since we introduce new structure in SR while it should really be just a special case of GR.
- Can we make sense of the length of a rod, spacetime intervals etc. in SR while sticking to the mathematical framework of GR and treating spacetime as a manifold?
- If yes, how exactly can this be done mathematically?