Ciro Santilli @cirosantilli  40

Solving differential equations was apparently Lie's original motivation for developing Lie groups. It is therefore likely one of the most understandable ways to approach it.

It appears that Lie's goal was to understand when can a differential equation have an explicitly written solution, much like Galois theory had done for algebraic equations. Both approaches use symmetry as the key tool.

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:

Basically a synonym for Lie group which is the way of modelling them.

Basically, a "representation" means associating each group element as an invertible matrices, i.e. a matrix in (possibly some subset of) $GL(n)$, that has the same properties as the group.

Or in other words, associating to the more abstract notion of a group more concrete objects with which we are familiar (e.g. a matrix).

Each such matrix then represents one specific element of the group.

This is basically what everyone does (or should do!) when starting to study Lie groups: we start looking at matrix Lie groups, which are very concrete.

Or more precisely, mapping each group element to a linear map over some vector field $V$ (which can be represented by a matrix infinite dimension), in a way that respects the group operations:

As shown at Physics from Symmetry by Jakob Schwichtenberg (2015)

Motivation:

Bibliography:

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

Ciro Santilli believes that molecular biology technologies will be a large part of the next big things as shown at: Section "Molecular biology technologies".

Bibliography:

For humans specifically: en.wikipedia.org/wiki/List_of_systems_of_the_human_body

Advantages over Riemann:

$L^p$ is:

And then this is why quantum mechanics basically lives in $L^2$: not being complete makes no sense physically, it would mean that you can get closer and closer to states that don't exist!

TODO intuition