Incoming links: Lorentz invariant
Like the rest of the Standard Model Lagrangian, this can be split into two parts:
- spacetime symmetry: reaches the derivation of the Dirac equation, but has no interactions
- add the internal symmetry to add interactions, which reaches the full equation
Deriving the qED Lagrangian by Dietterich Labs (2018)
Source. As mentioned at the start of the video, he starts with the Dirac equation Lagrangian derived in a previous video. It has nothing to do with electromagnetism specifically.
He notes that that Dirac Lagrangian, besides being globally Lorentz invariant, it also also has a global invariance.
However, it does not have a local invariance if the transformation depends on the point in spacetime.
He doesn't mention it, but I think this is highly desirable, because in general local symmetries of the Lagrangian imply conserved currents, and in this case we want conservation of charges.
To fix that, he adds an extra gauge field (a field of matrices) to the regular derivative, and the resulting derivative has a fancy name: the covariant derivative.
Then finally he notes that this gauge field he had to add has to transform exactly like the electromagnetic four-potential!
So he uses that as the gauge, and also adds in the Maxwell Lagrangian in the same go. It is kind of a guess, but it is a natural guess, and it turns out to be correct.
There are several choices of electromagnetic four-potential that lead to the same physics.
E.g. thinking about the electric potential alone, you could set the zero anywhere, and everything would remain be the same.
The Lorentz gauge is just one such choice. It is however a very popular one, because it is also manifestly Lorentz invariant.
Spin is one of the defining properties of elementary particles, i.e. number that describes how an elementary particle behaves, much like electric charge and mass.
Possible values are half integer numbers: 0, 1/2, 1, 3/2, and so on.
The approach shown in this section: Section "Spin comes naturally when adding relativity to quantum mechanics" shows what the spin number actually means in general. As shown there, the spin number it is a direct consequence of having the laws of nature be Lorentz invariant. Different spin numbers are just different ways in which this can be achieved as per different Representation of the Lorentz group.
Video 1. "Quantum Mechanics 9a - Photon Spin and Schrodinger's Cat I by ViaScience (2013)" explains nicely how:
- incorporated into the Dirac equation as a natural consequence of special relativity corrections, but not naturally present in the Schrödinger equation, see also: the Dirac equation predicts spin
- photon spin can be either linear or circular
- the linear one can be made from a superposition of circular ones
- straight antennas produce linearly polarized photos, and Helical antennas circularly polarized ones
- a jump between 2s and 2p in an atom changes angular momentum. Therefore, the photon must carry angular momentum as well as energy.
- cannot be classically explained, because even for a very large estimate of the electron size, its surface would have to spin faster than light to achieve that magnetic momentum with the known electron charge
- as shown at Video "Quantum Mechanics 12b - Dirac Equation II by ViaScience (2015)", observers in different frames of reference see different spin states
Quantum Mechanics 9a - Photon Spin and Schrodinger's Cat I by ViaScience (2013)
Source. Quantum Spin - Visualizing the physics and mathematics by Physics Videos by Eugene Khutoryansky (2016)
Source.