Incoming links: Noether's theorem
The key and central motivation for studying Lie groups and their Lie algebras appears to be to characterize symmetry in Lagrangian mechanics through Noether's theorem, just start from there.
Notably local symmetries appear to map to forces, and local means "around the identity", notably: local symmetries of the Lagrangian imply conserved currents.
More precisely: local symmetries of the Lagrangian imply conserved currents.
TODO Ciro Santilli really wants to understand what all the fuss is about:
Oh, there is a low dimensional classification! Ciro is a sucker for classification theorems! en.wikipedia.org/wiki/Classification_of_low-dimensional_real_Lie_algebras
The fact that there are elements arbitrarily close to the identity, which is only possible due to the group being continuous, is the key factor that simplifies the treatment of Lie groups, and follows the philosophy of continuous problems are simpler than discrete ones.
Bibliography:
- youtu.be/kpeP3ioiHcw?t=2655 "Particle Physics Topic 6: Lie Groups and Lie Algebras" by Alex Flournoy (2016). Good SO(3) explicit exponential expansion example. Then next lecture shows why SU(2) is the representation of SO(3). Next ones appear to eventually get to the physical usefulness of the thing, but I lost patience. Not too far out though.
- www.youtube.com/playlist?list=PLRlVmXqzHjURZO0fviJuyikvKlGS6rXrb "Lie Groups and Lie Algebras" playlist by XylyXylyX (2018). Tutorial with infinitely many hours
- www.staff.science.uu.nl/~hooft101/lectures/lieg07.pdf
- www.physics.drexel.edu/~bob/LieGroups.html
Local symmetries of the Lagrangian imply conserved currents Updated 2024-12-15 +Created 1970-01-01
TODO. I think this is the key point. Notably, symmetry implies charge conservation.
More precisely, each generator of the corresponding Lie algebra leads to one separate conserved current, such that a single symmetry can lead to multiple conserved currents.
This is basically the local symmetry version of Noether's theorem.
Then to maintain charge conservation, we have to maintain local symmetry, which in turn means we have to add a gauge field as shown at Video "Deriving the qED Lagrangian by Dietterich Labs (2018)".
Forces can then be seen as kind of a side effect of this.
Bibliography:
- photonics101.com/relativistic-electrodynamics/gauge-invariance-action-charge-conservation#show-solution has a good explanation of the Gauge transformation. TODO how does that relate to symmetry?
- physics.stackexchange.com/questions/57901/noether-theorem-gauge-symmetry-and-conservation-of-charge
- symmetry in classical field theory
- from Lagrangian density we can algorithmically get equations of motion, but the Lagrangian density is a more compact way of representing the equations of motion
- definition of symmetry in context: keeps Lagrangian unchanged up to a total derivative
- Noether's theorem
- youtu.be/cj-QpsZsDDY?list=PLDfPUNusx1EpRs-wku83aqYSKfR5fFmfS&t=3062 Lagrangian and conservation example under translations
- youtu.be/cj-QpsZsDDY?list=PLDfPUNusx1EpRs-wku83aqYSKfR5fFmfS&t=3394 same but for Poincaré transformations But now things are harder, because it is harder to describe general infinitesimal Poincare transforms than it was to describe the translations. Using constraints/definition of Lorentz transforms, also constricts the allowed infinitesimal symmetries to 6 independent parameters
- youtu.be/cj-QpsZsDDY?list=PLDfPUNusx1EpRs-wku83aqYSKfR5fFmfS&t=4525 brings out Poisson brackets, and concludes that each conserved current maps to a generator of the Lie algebraThis allows you to build the symmetry back from the conserved charges, just as you can determine conserved charges starting from the symmetry.
Why do symmetries such as SU(3), SU(2) and U(1) matter in particle physics? Updated 2024-12-15 +Created 1970-01-01
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.:
- derivation of the quantum electrodynamics Lagrangian
- Physics from Symmetry by Jakob Schwichtenberg (2015) chapter 7 "Interaction Theory" derives all three of quantum electrodynamics, weak interaction and quantum chromodynamics Lagrangian from each of the symmetries!
One bit underlying reason is: Noether's theorem.
Notably, axelmaas.blogspot.com/2010/08/global-and-local-symmetries.html gives a good overview:so it seems that that's why they are so key: local symmetries map to the forces themselves!!!
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.
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.
- www.youtube.com/watch?v=-_qNKbwM_eE Unsolved: Yang-Mills existence and mass gap by J Knudsen (2019). Gives 10 key points, but the truly hard ones are too quick. He knows the thing though.
Yang-Mills 1 by David Metzler (2011)
Source. A bit disappointing, too high level, with very few nuggests that are not Googleable withing 5 minutes.
Breakdown:
- 1 www.youtube.com/watch?v=j3fsPHnrgLg: too basic
- 2 www.youtube.com/watch?v=br6OxCLyqAI?t=569: mentions groups of Lie type in the context of classification of finite simple groups. Each group has a little diagram.
- 3 youtu.be/1baiIxKKQlQ?list=PL613A31A706529585&t=728 the original example of a local symmetry was general relativity, and that in that context it can be clearly seen that the local symmetry is what causes "forces" to appear
- youtu.be/1baiIxKKQlQ?list=PL613A31A706529585&t=933 local symmetry gives a conserved current. In the case of electromagnetism, this is electrical current. This was the only worthwhile thing he sad to 2021 Ciro. Summarized at: local symmetries of the Lagrangian imply conserved currents.
- 4 youtu.be/5ljKcWm7hoU?list=PL613A31A706529585&t=427 electromagnetism has both a global symmetry (special relativity) but also local symmetry, which leads to the conservation of charge current and forces.lecture 3 properly defines a local symmetry in terms of the context of the lagrangian density, and explains that the conservation of currents there is basically the statement of Noether's theorem in that context.
Millennium Prize Problem: Yang Mills Theory by David Gross (2018)
Source. 2 hour talk at the Kavli Institute for Theoretical Physics. Too mathematical, 2021 Ciro can't make much out of it.Lorenzo Sadun on the "Yang-Mills and Mass Gap" Millennium problem
. Source. Unknown year. He almost gets there, he's good. Just needed to be a little bit deeper.