Incoming links: Special orthogonal group
The orthogonal group has 2 connected components:
- one with determinant +1, which is itself a subgroup known as the special orthogonal group. These are pure rotations without a reflection.
- the other with determinant -1. This is not a subgroup as it does not contain the origin. It represents rotations with a reflection.
It is instructive to visualize how the looks like in :
- you take the first basis vector and move it to any other. You have therefore two angular parameters.
- you take the second one, and move it to be orthogonal to the first new vector. (you can choose a circle around the first new vector, and so you have another angular parameter.
- at last, for the last one, there are only two choices that are orthogonal to both previous ones, one in each direction. It is this directio, relative to the others, that determines the "has a reflection or not" thing
As a result it is isomorphic to the direct product of the special orthogonal group by the cyclic group of order 2:
A low dimensional example:because you can only do two things: to flip or not to flip the line around zero.
Like the special orthogonal group is to the orthogonal group, is the subset of with determinant equal to exactly 1.
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
Bibliography review:
- Quantum Field Theory lecture notes by David Tong (2007) is the course basis
- quantum field theory in a nutshell by Anthony Zee (2010) is a good quick and dirty book to start
Course outline given:
- classical field theory
- quantum scalar field. Covers bosons, and is simpler to get intuition about.
- quantum Dirac field. Covers fermions
- interacting fields
- perturbation theory
- renormalization
Non-relativistic QFT is a limit of relativistic QFT, and can be used to describe for example condensed matter physics systems at very low temperature. But it is still very hard to make accurate measurements even in those experiments.
Defines "relativistic" as: "the Lagrangian is symmetric under the Poincaré group".
Mentions that "QFT is hard" because (a finite list follows???):But I guess that if you fully understand what that means precisely, QTF won't be too hard for you!
There are no nontrivial finite-dimensional unitary representations of the Poincaré group.
Notably, this is stark contrast with rotation symmetry groups (SO(3)) which appears in space rotations present in non-relativistic quantum mechanics.
www.youtube.com/watch?v=T58H6ofIOpE&t=5097 describes the relativistic particle in a box thought experiment with shrinking walls
The complex analogue of the special orthogonal group, i.e. the subgroup of the unitary group with determinant equals exactly 1 instead of an arbitrary complex number with absolute value equal 1 as is the case for the unitary group.
Intuition, please? Example? mathoverflow.net/questions/278641/intuition-for-symplectic-groups The key motivation seems to be related to Hamiltonian mechanics. The two arguments of the bilinear form correspond to each set of variables in Hamiltonian mechanics: the generalized positions and generalized momentums, which appear in the same number each.
Seems to be set of matrices that preserve a skew-symmetric bilinear form, which is comparable to the orthogonal group, which preserves a symmetric bilinear form. More precisely, the orthogonal group has:and its generalization the indefinite orthogonal group has:where S is symmetric. So for the symplectic group we have matrices Y such as:where A is antisymmetric. This is explained at: www.ucl.ac.uk/~ucahad0/7302_handout_13.pdf They also explain there that unlike as in the analogous orthogonal group, that definition ends up excluding determinant -1 automatically.
Therefore, just like the special orthogonal group, the symplectic group is also a subgroup of the special linear group.