Problem 8 - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry

Question

Show that the group of all Lie algebra automorphisms of a Le algebra \(A\) form a Lie subgroup of \(\operatorname{Aut}(A) \subseteq G L(\mathcal{A})\). (b) A lincar operator \(D: \mathcal{A} \rightarrow \mathcal{A}\) is called a deruation on \(A\) ?f \(D[X, Y]=[D X, Y]+[X, D Y]\). Prove that the set of all derivations of \(\mathcal{A}\) form a Lie algebra, \(\partial(\mathcal{A})\), which is the Lie algebra of Aut( \(\mathcal{A}\) ).

Step-by-Step Solution

Answer

The group of all Lie algebra automorphisms of \( A \) forms a Lie subgroup of \( Aut(A) \). The set of all derivations of \( \mathcal{A} \) forms a Lie algebra, denoted as \( \partial(\mathcal{A}) \), and is the Lie algebra of \( Aut(\mathcal{A}) \).

Step 1: Show Lie algebra automorphisms form a Lie subgroup

In order to prove that the group of all Lie algebra automorphisms form a Lie subgroup of Aut(A), we must show two things: closure under group operation and inversion. The group operation for Aut(A) is function composition, which is associative. If \( \phi, \psi \in Aut(\mathcal{A}) \), then \( \phi \circ \psi \) is an automorphism of \( A \), which shows closure under group composition.Inversion in Aut(A) is function inversion. If \( \phi \in Aut(\mathcal{A}) \), then \( \phi^{-1} \) exists and is an automorphism of \( A \), which shows closure under inversion.

Step 2: Define the derivation on A

A linear operator \( D: \mathcal{A} \rightarrow \mathcal{A} \) is called a derivation of \( A \) if it follows the Leibniz rule: \( D[X, Y] = [DX, Y] + [X, DY] \).

Step 3: Prove derivations form a Lie algebra

In order to show that the set of all derivations of \( \mathcal{A} \) form a Lie algebra, we must show two things: closure under addition and closure under Lie bracket.For closure under addition: if \( D_1, D_2 \) are derivations, then \( D_1 + D_2 \) is a derivation since \( (D_1 + D_2)[X, Y] = D_1[X, Y] + D_2[X, Y] = [D_1X, Y] + [X, D_1Y] + [D_2X, Y] + [X, D_2Y] = [(D_1 + D_2)X, Y] + [X, (D_1 + D_2)Y] \)For closure under Lie bracket: if \( D_1, D_2 \) are derivations, then \( [D_1, D_2] \) is a derivation since \( [D_1, D_2][X, Y] = D_1[D_2[X, Y]] - D_2[D_1[X, Y]] = D_1[[D_2X, Y]] + D_1[[X, D_2Y]] - D_2[[D_1X, Y]] -D_2[[X, D_1Y]] \).

Step 4: Show that derivations form the Lie algebra of Aut(A)

Finally, we prove that the Lie algebra of \(Aut(\mathcal{A})\) is the set of all derivations of \( \mathcal{A} \). Given \( \phi_t \in Aut(\mathcal{A}) \) is a smooth curve, we define \( D = \frac{d \phi_t}{dt}\Big|_{t=0} \). By applying the equation from previous step, we can find that \( D[X, Y] = [DX, Y] + [X, DY] \), which is the definition of a derivation. This implies that \( \phi \) is really a derivation of \( A \), hence \( \partial(\mathcal{A}) \) is a Lie algebra of \( Aut(\mathcal{A}) \).

Key Concepts

Lie algebra automorphisms

A Lie algebra automorphism is a special type of function that maps a Lie algebra onto itself, preserving its structure. This means it respects both the vector space operations (addition and scalar multiplication) and the Lie bracket operation, which is the core of the Lie algebra structure. These automorphisms form a group under the operation of composition, which is essentially performing one automorphism followed by another. To form a group, two key properties must be satisfied:

• Closure under composition: If you take two automorphisms and compose them, the result is also an automorphism.
• Existence of inverses: For every automorphism, there is another that reverses its effect.

Thus, the set of all Lie algebra automorphisms naturally forms what is called a Lie subgroup within the larger group of general automorphisms, denoted as \( \operatorname{Aut}(A) \). This means they fulfill all the group properties while being compatible with the operations in \( GL(\mathcal{A}) \), the general linear group over the algebra \( \mathcal{A} \).
Understanding this helps us conceptualize how transformations can occur within the context of Lie algebra without altering its inherent structure.

derivations

Derivations on a Lie algebra are linear maps that respect something known as the Leibniz rule, which is analogous to the product rule in calculus. A linear operator \( D: \mathcal{A} \rightarrow \mathcal{A} \) is a derivation if it satisfies:\[ D[X, Y] = [DX, Y] + [X, DY] \] for any \( X, Y \) in the Lie algebra \( \mathcal{A} \). Derivations reflect a kind of differentiation in the realm of Lie algebras and are instrumental in understanding transformations and symmetries in the algebraic structure.
These derivations form a Lie algebra themselves, called \( \partial(\mathcal{A}) \), by adhering to closure properties. The sum of two derivations \( (D_1 + D_2) \) is still a derivation, and the Lie bracket of two derivations \( [D_1, D_2] \) is also a derivation. This is important as it shows that derivations do not just appear randomly; they form an organized, algebraic structure that can model various physical phenomena and abstract concepts within mathematics.

Leibniz rule

The Leibniz rule is a fundamental principle that defines how derivatives operate in relation to a multiplication operation. In the world of calculus, it is known as the product rule. For Lie algebras, which involve a different type of multiplication known as the Lie bracket, the rule helps elucidate how certain linear maps must behave.
A derivation \( D \) is said to obey the Leibniz rule when it satisfies:\[ D[X, Y] = [DX, Y] + [X, DY] \] This equation states that the derivation of the Lie bracket \([X, Y]\) for two elements \(X\) and \(Y\) is equal to the bracket of the derivation of \(X\) with \(Y\) plus the bracket of \(X\) with the derivation of \(Y\). By maintaining this relationship, the structure of the Lie algebra is preserved, underscoring the harmony between the algebraic operations and differentiation-like processes.

Lie subgroup

A Lie subgroup is a concept from group theory extended into the realm of Lie groups. In simpler terms, it's a subset of a larger Lie group that itself forms a group under the inherited operations from the larger group.
In the context of Lie algebra automorphisms, the set of all such automorphisms forms a subgroup within the larger group of all automorphisms, denoted \( \operatorname{Aut}(A) \). This is because automorphisms are closed under function composition and inversion as explained earlier.
A Lie subgroup is significant because it allows for the analysis of symmetries and the geometric structure of Lie algebras and their corresponding groups. By composing these automorphisms, one can explore how different transformations preserve the algebra's structure, providing insights into its symmetrical properties.