Ciro Santilli @cirosantilli 40

Their websites a bit shitty, clearly a non cohesive amalgamation of several different groups.

E.g. you have to create several separate accounts, and different regions have completely different accounts and websites.

The Europe replacement part website for example is clearly made by a third party called flex.com/ and has Flex written all over it, and the header of the home page has a slightly broken but very obviously broken CSS. And you can't create an account without a VAT number... and they confirmed by email that they don't sell to non-corporate entities without a VAT number. What a bullshit!

The bald confident chilled out particle physics guy from Stanford University!

One can't help but wonder if he smokes pot or not.

Also one can't stop thinking abot Leonard Hofstadter from The Big Bang Theory upoen hearing his name.

Subtle is the Lord by Abraham Pais (1982) mentions that this has a good summary of the atomic theory evidence that was present at the time, and which had become basically indisputable at or soon after that date.

On Wikimedia Commons since it is now public domain in most countries: commons.wikimedia.org/w/index.php?title=File:Perrin,_Jean_-_Les_Atomes,_F%C3%A9lix_Alcan,_1913.djvu

An English translation from 1916 by English chemist Dalziel Llewellyn Hammick on the Internet Archive, also on the public domain: archive.org/details/atoms00hammgoog

Ciro Santilli dislikes the fact that they take themselves too seriously. Ciro prefers the jokes and tech approach.

Just like computers, biological systems can be seen as being composed of several different layers of complexity.

Bibliography: med.libretexts.org/Bookshelves/Anatomy_and_Physiology/Book%3A_Human_Anatomy_and_Physiology_Preparatory_Course_(Liachovitzky)/01%3A_Levels_of_Organization_of_the_Human_Organism/1.01%3A_Levels_of_Organization_of_the_Human_Organism

Ah, the choice of name, both grim and slightly funny, Dr. Strangelove comes to mind quite strongly. Also Fallout (franchise).

Bibliography:

These people are heroes. There's nothing else to say.

Like everything else in Lie groups, first start with the matrix as discussed at Section "Lie algebra of a matrix Lie group".

Intuitively, a Lie algebra is a simpler object than a Lie group. Without any extra structure, groups can be very complicated non-linear objects. But a Lie algebra is just an algebra over a field, and one with a restricted bilinear map called the Lie bracket, that has to also be alternating and satisfy the Jacobi identity.

Another important way to think about Lie algebras, is as infinitesimal generators.

Because of the Lie group-Lie algebra correspondence, we know that there is almost a bijection between each Lie group and the corresponding Lie algebra. So it makes sense to try and study the algebra instead of the group itself whenever possible, to try and get insight and proofs in that simpler framework. This is the key reason why people study Lie algebras. One is philosophically reminded of how normal subgroups are a simpler representation of group homomorphisms.

To make things even simpler, because all vector spaces of the same dimension on a given field are isomorphic, the only things we need to specify a Lie group through a Lie algebra are:Note that the Lie bracket can look different under different basis of the Lie algebra however. This is shown for example at Physics from Symmetry by Jakob Schwichtenberg (2015) page 71 for the Lorentz group.

As mentioned at Lie Groups, Physics, and Geometry by Robert Gilmore (2008) Chapter 4 "Lie Algebras", taking the Lie algebra around the identity is mostly a convention, we could treat any other point, and things are more or less equivalent.

Bibliography:

We can almost reach the Lie algebra of any isometry group in a single go. For every $X$ in the Lie algebra we must have:because $e^{tX}$ has to be in the isometry group by definition as shown at Section "Lie algebra of a matrix Lie group".

Then:so we reach:With this relation, we can easily determine the Lie algebra of common isometries:

Bibliography:

For this sub-case, we can define the Lie algebra of a Lie group $G$ as the set of all matrices $M\in G$ such that for all $t\in \mathbb{R}$:If we fix a given $M$ and vary $t$, we obtain a subgroup of $G$. This type of subgroup is known as a one parameter subgroup.

The immediate question is then if every element of $G$ can be reached in a unique way (i.e. is the exponential map a bijection). By looking at the matrix logarithm however we conclude that this is not the case for real matrices, but it is for complex matrices.

Examples:

TODO example it can be seen that the Lie algebra is not closed matrix multiplication, even though the corresponding group is by definition. But it is closed under the Lie bracket operation.

Is the set of all n-by-y square matrices.

Because $GL(n)$ is a Lie group we can use Section "Lie algebra of a matrix Lie group".

For every matrix $x$ in the set of all n-by-y square matrices $M_n$, $e^x$ has inverse $e^{-}x$.

Note that this works even if $x$ is not invertible, and therefore not in $GL(n)$!

Therefore, the Lie algebra of $GL(n)$ is the entire $M_n$.

This is a good first concrete example of a Lie algebra. Shown at Lie Groups, Physics, and Geometry by Robert Gilmore (2008) Chapter 4.2 "How to linearize a Lie Group" has an example.

We can use use the following parametrization of the special linear group on variables $x$, $y$ and $z$:

Every element with this parametrization has determinant 1:Furthermore, any element can be reached, because by independently settting $x$, $y$ and $z$, $M_{00}$, $M_{01}$ and $M_{10}$ can have any value, and once those three are set, $M_{11}$ is fixed by the determinant.

To find the elements of the Lie algebra, we evaluate the derivative on each parameter at 0:

Remembering that the Lie bracket of a matrix Lie group is really simple, we can then observe the following Lie bracket relations between them:

One key thing to note is that the specific matrices $M_x$, $M_y$ and $M_z$ are not really fundamental: we could easily have had different matrices if we had chosen any other parametrization of the group.

TODO confirm: however, no matter which parametrization we choose, the Lie bracket relations between the three elements would always be the same, since it is the number of elements, and the definition of the Lie bracket, that is truly fundamental.

Lie Groups, Physics, and Geometry by Robert Gilmore (2008) Chapter 4.2 "How to linearize a Lie Group" then calculates the exponential map of the vector $x{M}_x+y{M}_y+z{M}_z$ as:with:

TODO now the natural question is: can we cover the entire Lie group with this exponential? Lie Groups, Physics, and Geometry by Robert Gilmore (2008) Chapter 7 "EXPonentiation" explains why not.

We can reach it by taking the rotations in three directions, e.g. a rotation around the z axis:then we derive and evaluate at 0:$L_z$ therefore represents the infinitesimal rotation.

Note that the exponential map reverses this and gives a finite rotation around the Z axis back from the infinitesimal generator $L_z$:

Repeating the same process for the other directions gives:We have now found 3 linearly independent elements of the Lie algebra, and since $SO(3)$ has dimension 3, we are done.

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:

Recommended from Physics from Symmetry by Jakob Schwichtenberg (2015) page 92:

Every Lie algebra corresponds to a single simply connected Lie group.

The Baker-Campbell-Hausdorff formula basically defines how to map an algebra to the group.

Bibliography:

The author seems to have uploaded the entire book by chapters at: www.physics.drexel.edu/~bob/LieGroups.html

And the author is the cutest: www.physics.drexel.edu/~bob/Personal.html.

Overview: