Defining properties of elementary particles Updated +Created
A suggested at Physics from Symmetry by Jakob Schwichtenberg (2015) chapter 3.9 "Elementary particles", it appears that in the Standard Model, the behaviour of each particle can be uniquely defined by the following five numbers:
E.g. for the electron we have:
  • mass:
  • spin: 1/2
  • electric charge:
  • weak charge: -1/2
  • color charge: 0
Once you specify these properties, you could in theory just pluck them into the Standard Model Lagrangian and you could simulate what happens.
Setting new random values for those properties would also allow us to create new particles. It appears unknown why we only see the particles that we do, and why they have the values of properties they have.
Derivation of the quantum electrodynamics Lagrangian Updated +Created
Like the rest of the Standard Model Lagrangian, this can be split into two parts:
Video 1.
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.
Internal and spacetime symmetries Updated +Created
The different only shows up for field, not with particles. For fields, there are two types of changes that we can make that can keep the Lagrangian unchanged as mentioned at Physics from Symmetry by Jakob Schwichtenberg (2015) chapter "4.5.2 Noether's Theorem for Field Theories - Spacetime":
From the spacetime theory alone, we can derive the Lagrangian for the free theories for each spin:Then the internal symmetries are what add the interaction part of the Lagrangian, which then completes the Standard Model Lagrangian.
Physics from Symmetry by Jakob Schwichtenberg (2015) Updated +Created
This is a good book. It is rather short, very direct, which is a good thing. At some points it is slightly too direct, but to a large extent it gets it right.
The main goal of the book is to basically to build the Standard Model Lagrangian from only initial symmetry considerations, notably the Poincaré group + internal symmetries.
The book doesn't really show how to extract numbers from that Lagrangian, but perhaps that can be pardoned, do one thing and do it well.
Why do symmetries such as SU(3), SU(2) and U(1) matter in particle physics? Updated +Created
Physicists love to talk about that stuff, but no one ever has the guts to explain it into enough detail to show its beauty!!!
Perhaps the wisest thing is to just focus entirely on the part to start with, which is the quantum electrodynamics one, which is the simplest and most useful and historically first one to come around.
Perhaps the best explanation is that if you assume those internal symmetries, then you can systematically make "obvious" educated guesses at the interacting part of the Standard Model Lagrangian, which is the fundamental part of the Standard Model. See e.g.:
One bit underlying reason is: Noether's theorem.
Notably, axelmaas.blogspot.com/2010/08/global-and-local-symmetries.html gives a good overview:
A local symmetry transformation is much more complicated to visualize. Take a rectangular grid of the billiard balls from the last post, say ten times ten. Each ball is spherical symmetric, and thus invariant under a rotation. The system now has a global and a local symmetry. A global symmetry transformation would rotate each ball by the same amount in the same direction, leaving the system unchanged. A local symmetry transformation would rotate each ball about a different amount and around a different axis, still leaving the system to the eye unchanged. The system has also an additional global symmetry. Moving the whole grid to the left or to the right leaves the grid unchanged. However, no such local symmetry exists: Moving only one ball will destroy the grid's structure.
Such global and local symmetries play an important role in physics. The global symmetries are found to be associated with properties of particles, e. g., whether they are matter or antimatter, whether they carry electric charge, and so on. Local symmetries are found to be associated with forces. In fact, all the fundamental forces of nature are associated with very special local symmetries. For example, the weak force is actually associated in a very intricate way with local rotations of a four-dimensional sphere. The reason is that, invisible to the eye, everything charged under the weak force can be characterized by a arrow pointing from the center to the surface of such a four-dimensional sphere. This arrow can be rotated in a certain way and at every individual point, without changing anything which can be measured. It is thus a local symmetry. This will become more clearer over time, as at the moment of first encounter this appears to be very strange indeed.
so it seems that that's why they are so key: local symmetries map to the forces themselves!!!
axelmaas.blogspot.com/2010/09/symmetries-of-standard-model.html then goes over all symmetries of the Standard Model uber quickly, including the global ones.