Full set of all possible special relativity symmetries:
In simple and concrete terms. Suppose you observe N particles following different trajectories in Spacetime.
There are two observers traveling at constant speed relative to each other, and so they see different trajectories for those particles:
  • space and time shifts, because their space origin and time origin (time they consider 0, i.e. when they started their timers) are not synchronized. This can be modelled with a 4-vector addition.
  • their space axes are rotated relative to one another. This can be modelled with a 4x4 matrix multiplication.
  • and they are moving relative to each other, which leads to the usual spacetime interactions of special relativity. Also modelled with a 4x4 matrix multiplication.
Note that the first two types of transformation are exactly the non-relativistic Galilean transformations.
The Poincare group is the set of all matrices such that such a relationship like this exists between two frames of reference.
Subset of Galilean transformation with speed equals 0.
This is a good and simple first example of Lie algebra to look into.
Take the group of all Translation in .
Let's see how the generator of this group is the derivative operator:
The way to think about this is:
  • the translation group operates on the argument of a function
  • the generator is an operator that operates on itself
So let's take the exponential map:
and we notice that this is exactly the Taylor series of around the identity element of the translation group, which is 0! Therefore, if behaves nicely enough, within some radius of convergence around the origin we have for finite :
This example shows clearly how the exponential map applied to a (differential) operator can generate finite (non-infinitesimal) Translation!
A law of physics is Galilean invariant if the same formula works both when you are standing still on land, or when you are on a boat moving at constant velocity.
For example, if we were describing the movement of a point particle, the exact same formulas that predict the evolution of must also predict , even though of course both of those will have different values.
It would be extremely unsatisfactory if the formulas of the laws of physics did not obey Galilean invariance. Especially if you remember that Earth is travelling extremelly fast relative to the Sun. If there was no such invariance, that would mean for example that the laws of physics would be different in other planets that are moving at different speeds. That would be a strong sign that our laws of physics are not complete.
The consequence/cause of that is that you cannot know if you are moving at a constant speed or not.
Lorentz invariance generalizes Galilean invariance to also account for special relativity, in which a more complicated invariant that also takes into account different times observed in different inertial frames of reference is also taken into account. But the fundamental desire for the Lorentz invariance of the laws of physics remains the same.
Generally means that he form of the equation does not change if we transform .
This is generally what we want from the laws of physics.
E.g. a Galilean transformation generally changes the exact values of coordinates, but not the form of the laws of physics themselves.
Lorentz covariance is the main context under which the word "covariant" appears, because we really don't want the form of the equations to change under Lorentz transforms, and "covariance" is often used as a synonym of "Lorentz covariance".
TODO some sources distinguish "invariant" from "covariant": invariant vs covariant.
Some sources distinguish "invariant" from "covariant" such that under some transformation (typically Lie group):
  • invariant: the value of does not change if we transform
  • covariant: the form of the equation does not change if we transform .
TODO examples.
Subgroup of the Poincaré group without translations. Therefore, in those, the spacetime origin is always fixed.
Or in other words, it is as if two observers had their space and time origins at the exact same place. However, their space axes may be rotated, and one may be at a relative speed to the other to create a Lorentz boost. Note however that if they are at relative speeds to one another, then their axes will immediately stop being at the same location in the next moment of time, so things are only valid infinitesimally in that case.
This group is made up of matrix multiplication alone, no need to add the offset vector: space rotations and Lorentz boost only spin around and bend things around the origin.
One definition: set of all 4x4 matrices that keep the Minkowski inner product, mentioned at Physics from Symmetry by Jakob Schwichtenberg (2015) page 63. This then implies:
Physics from Symmetry by Jakob Schwichtenberg (2015) page 66 shows one in terms of 4x4 complex matrices.
More importantly though, are the representations of the Lie algebra of the Lorentz group, which are generally also just also called "Representation of the Lorentz group" since you can reach the representation from the algebra via the exponential map.
Bibliography:
One of the representations of the Lorentz group that show up in the Representation theory of the Lorentz group.
TODO understand a bit more intuitively.
Two observers travel at fixed speed relative to each other. They synchronize origins at x=0 and t=0, and their spacial axes are perfectly aligned. This is a subset of the Lorentz group. TODO confirm it does not form a subgroup however.
Generalization of orthogonal group to preserve different bilinear forms. Important because the Lorentz group is .
Given a matrix with metric signature containing positive and negative entries, the indefinite orthogonal group is the set of all matrices that preserve the associated bilinear form, i.e.:
Note that if , we just have the standard dot product, and that subcase corresponds to the following definition of the orthogonal group: Section "The orthogonal group is the group of all matrices that preserve the dot product".
As shown at all indefinite orthogonal groups of matrices of equal metric signature are isomorphic, due to the Sylvester's law of inertia, only the metric signature of matters. E.g., if we take two different matrices with the same metric signature such as:
and:
both produce isomorphic spaces. So it is customary to just always pick the matrix with only +1 and -1 as entries.
Following the definition of the indefinite orthogonal group, we want to show that only the metric signature matters.
First we can observe that the exact matrices are different. For example, taking the standard matrix of :
and:
both have the same metric signature. However, we notice that a rotation of 90 degrees, which preserves the first form, does not preserve the second one! E.g. consider the vector , then . But after a rotation of 90 degrees, it becomes , and now ! Therefore, we have to search for an isomorphism between the two sets of matrices.
For example, consider the orthogonal group, which can be defined as shown at the orthogonal group is the group of all matrices that preserve the dot product can be defined as:
Like the special orthogonal group is to the orthogonal group, is the subset of with determinant equal to exactly 1.