Representation theory

Representation theory is a branch of mathematics that studies abstract algebraic structures by making them concrete. It focuses on how these structures "act" on objects, such as vector spaces. An abstract object might be difficult to visualize or calculate directly. Representation theory solves this by representing its elements as linear transformations. This process turns abstract algebra into the language of linear algebra. Linear algebra is a well-understood field involving matrices and vectors. By using this method, mathematicians can simplify complex problems and reveal hidden properties of abstract systems.

To understand the mechanism, consider how a representation works. It uses a map to connect an abstract object to a vector space. This map must follow specific rules to ensure the structure is preserved. For a group, the map must be a group homomorphism. This means the result of the group operation must match the result of matrix multiplication. For an associative algebra, the map is an algebra homomorphism. For a Lie algebra, the map must be a Lie algebra homomorphism. In these cases, the abstract elements are turned into matrices or linear maps. These maps act on a representation space, which is the vector space being used.

There are three main types of algebraic objects studied in this field. The first is groups, which are sets with an operation that follows specific rules. In group representation theory, elements are represented by invertible matrices. The second type is associative algebras. These are sets where matrix addition and multiplication define the structure. The third type is Lie algebras. In a Lie algebra, the relationship between elements is defined by a commutator, which is the difference between two products. This allows mathematicians to study different kinds of mathematical symmetry using the same fundamental tools.

Historically, representation theory has been a vital tool for simplifying mathematics. It allows researchers to take problems from abstract algebra and move them into the realm of linear algebra. This is useful because linear algebra provides many established tools for calculation. For example, representing a group using an infinite-dimensional Hilbert space allows for the use of analysis. This connection helps mathematicians study groups through the lens of continuous functions and limits. This approach has made the theory much more powerful and versatile.

Representation theory is pervasive across many different mathematical fields. It generalizes Fourier analysis through the study of harmonic analysis. It connects to geometry via invariant theory and the Erlangen program. In number theory, it has a major impact through automorphic forms and the Langlands program. The theory is so flexible that it can be approached using many different methods. These include algebraic geometry, topology, and differential geometry. It even touches on algebraic combinatorics and operator theory.

In physics, representation theory is essential for describing how symmetry affects physical systems. A symmetry group describes the properties of a system that remain unchanged under certain transformations. Representation theory helps describe how these symmetries affect the solutions to physical equations. Scientists can also break representations down into smaller parts. If a representation can be divided into smaller subrepresentations, it is called reducible. If it cannot be broken down further, it is called irreducible. These irreducible representations serve as the fundamental building blocks of the theory.

Mathematicians also study how to combine different representations. One way to join them is through a direct sum, which creates a larger representation from two smaller ones. Another method is the tensor product. When you take the tensor product of two irreducible representations, the result is not always irreducible. The process of breaking these products back down into irreducible parts is known as Clebsch–Gordan theory. This is particularly important in the study of the group SU(2). In that specific case, the labels of the representations allow for a very clear decomposition.