Lie algebra

A Lie algebra is a special kind of mathematical structure used in many areas, especially in the study of symmetry. It combines ideas from vector spaces and algebras, focusing on how things can twist and turn relative to each other. At its heart is an operation called the "Lie bracket," which measures how two elements fail to commute — meaning the order in which you combine them matters.

Lie algebras are closely tied to Lie groups, which are groups that also behave like smooth geometric objects. Every Lie group has a corresponding Lie algebra that captures its structure near the identity element. This connection makes Lie algebras powerful tools for understanding symmetry in both mathematics and physics.

In physics, Lie algebras help describe the symmetries of space, time, and particles. For example, the rotations of three-dimensional space form a Lie group, and their Lie algebra can be represented using the cross product of vectors. This shows how tiny rotations can combine and interact. Lie algebras also appear in quantum mechanics, where they help explain how different particles and forces behave.

One common example of a Lie algebra is the space of all square matrices of a given size, where the Lie bracket is defined as the difference between multiplying two matrices in opposite orders. This simple yet rich structure reveals deep insights about linear transformations and their relationships.

History

Lie algebras were introduced in the 1870s by Sophus Lie to study tiny changes in shapes and movements. Later, Wilhelm Killing found them again in the 1880s. The name "Lie algebra" was given by Hermann Weyl in the 1930s, though older books sometimes called them "infinitesimal groups."

Definition of a Lie algebra

A Lie algebra is a special kind of mathematical structure called a vector space. It has a special operation called the "Lie bracket" that combines two elements of the space. This bracket must follow three important rules: bilinearity, which means it behaves nicely with scaling and addition; the alternating property, which means combining an element with itself gives zero; and the Jacobi identity, a specific relationship that must hold when combining three elements in a certain way.

Lie algebras are often studied in the context of Lie groups, which are continuous groups used in geometry and physics. When a Lie algebra is linked to a Lie group, it is usually written with a special lowercase, stylized letter. For example, the Lie algebra connected to a group called SU(n) is written as su(n). The dimension of a Lie algebra refers to how many independent directions or "generators" it has, much like how we might describe the size of a space.

Basic examples

A Lie algebra can be very simple. If the special operation called the Lie bracket always gives zero, the Lie algebra is called abelian. Any single-direction space, like a straight line, is automatically abelian because of the way the Lie bracket works.

Another common example comes from matrices, which are like grids of numbers. If we take a collection of matrices and define their Lie bracket as their "commutator" — the difference between multiplying them in one order and the other — we get a Lie algebra. This is especially useful when we look at square matrices of a certain size, forming what is called the general linear Lie algebra. This example shows how Lie algebras help describe how things fail to commute, or switch places, in more complex mathematical structures.

Main article: Endomorphism ring

Main article: General linear group

Main article: Invertible

Main article: Determinant

Main article: Algebraic group

Definitions

Lie algebras are special types of mathematical structures used to study symmetry and transformation. They are built from a vector space, which is a collection of objects that can be added together and multiplied by numbers, along with an operation called the "Lie bracket." The Lie bracket combines two elements of the space in a way that satisfies certain rules, making the study of these structures both rich and useful in many areas of mathematics and physics.

The Lie bracket has unique properties that differ from regular multiplication. For example, it is "alternating," meaning that bracketing an element with itself always gives zero, and it satisfies the "Jacobi identity," a specific relationship that ensures consistency across multiple brackets. These properties allow Lie algebras to model complex systems where interactions are not straightforward or commutative.

Examples

Matrix Lie algebras are a special type of Lie algebra formed from matrices. A matrix group is a collection of invertible matrices that follow specific rules, and the corresponding Lie algebra consists of matrices that represent small changes within this group. The Lie bracket in these algebras is often given by the commutator of matrices, which helps describe how these small changes interact with each other.

Some important examples include:

• The special linear group, which consists of matrices with determinant 1, has a Lie algebra made of matrices with trace 0.
• The orthogonal group, which preserves the length of vectors, has a Lie algebra of skew-symmetric matrices.
• The unitary group, which preserves vector lengths in complex space, has a Lie algebra of skew-hermitian matrices.

These examples show how Lie algebras can be constructed from different types of matrices and reveal the rich structure within this area of mathematics.

Representations

A Lie algebra is a special kind of mathematical structure that helps us understand symmetry. It consists of a set of vectors with a special operation called the "Lie bracket." This operation helps us see how different vectors relate to each other.

In physics, Lie algebras are very important because they describe symmetries in the laws of nature. For example, they help us understand how objects rotate in space. By studying these algebras, scientists can break complex problems into simpler parts to find solutions.

Structure theory and classification

Lie algebras can be grouped and studied based on certain properties. This helps us understand more complex structures called Lie groups.

Lie algebras can be abelian, nilpotent, or solvable. An abelian Lie algebra has a "Lie bracket" that always equals zero. Nilpotent Lie algebras have a special series that eventually becomes zero. Solvable Lie algebras also have a series that ends in zero, but in a different way.

Some Lie algebras are simple, meaning they have no nontrivial ideals, and some are semisimple, which means they contain no solvable ideals except zero. These classifications help mathematicians understand the structure of Lie algebras better.

Relation to Lie groups

Main article: Lie group–Lie algebra correspondence

Lie algebras are special types of mathematical structures that help us understand Lie groups, which are groups that also have smooth geometric properties. Each Lie group has a matching Lie algebra, which can be thought of as the "tangent space" at the group's identity point.

For every Lie algebra, there is a corresponding Lie group, though sometimes more than one group can match the same algebra. This connection makes it easier to study and classify Lie groups by looking at their Lie algebras first. This relationship is very useful in many areas of mathematics.

Real form and complexification

When we study Lie algebras, we sometimes look at them over different types of numbers. A real form of a complex Lie algebra is a special version that uses real numbers. When we "complexify" this real form — essentially add imaginary numbers — we get back to the original complex Lie algebra.

For example, the complex Lie algebra sl(2, C) has two different real forms: sl(2, R) and su(2). There are also special types of real forms. A split form is one where a certain part of the algebra behaves in a very straightforward way. A compact form comes from the Lie algebra of a compact Lie group. Both split and compact forms are unique in their own ways.

Main article: complex Lie algebra

Main articles: real form, split form, compact form

Lie algebra with additional structures

A Lie algebra can have extra features that work well with its main operation, the Lie bracket. One example is a graded Lie algebra, which has a special kind of organization called grading. Another example is a differential graded Lie algebra, which includes a tool called a differential that helps organize the vectors.

These ideas are used in advanced math, like studying the homotopy groups of certain spaces. A mathematician named Daniel Quillen used differential graded Lie algebras with rational numbers to explain rational homotopy theory in algebraic terms.

Lie ring

A Lie ring is a special kind of mathematical structure that comes from studying groups. It is built from a group by looking at how elements "commute" with each other. When we take certain parts of a group and organize them in a specific way, we get a Lie ring.

Lie rings help mathematicians understand properties of groups, especially those linked to prime numbers. They are important in areas like the study of p-adic numbers and group schemes. One example of a Lie ring comes from the dihedral group, which describes symmetries of regular shapes.

Definition using category-theoretic notation

The definition of a Lie algebra can also be described using a special area of mathematics called category theory. In this way, we think about the Lie algebra in terms of maps between spaces, rather than focusing on the individual elements inside those spaces.

We use two special kinds of maps, called "braiding isomorphisms", to help describe the Lie algebra. These maps allow us to rearrange the order of elements in a specific pattern. With these tools, a Lie algebra can be defined as an object in the world of vector spaces, together with a special map that follows two important rules.

Generalization

Main article: Generalization of a Lie algebra

Mathematicians have created several ways to expand the idea of a Lie algebra, and many of these come from physics. Some of these expansions include graded Lie algebras, Lie superalgebras, and Lie n-algebras. These help us understand more complex structures and relationships in advanced mathematics and science.