Quantum group

In mathematics and theoretical physics, the term quantum group refers to special kinds of noncommutative algebras with extra rules. These algebras are important in advanced areas of math and physics, even though they do not behave exactly like normal groups. There are several types of quantum groups, including Drinfeld–Jimbo type quantum groups, compact matrix quantum groups, and bicrossproduct quantum groups.

The idea of quantum groups began in the study of quantum integrable systems. It was later formalized by mathematicians Vladimir Drinfeld and Michio Jimbo. They showed that quantum groups are a special class of structures called Hopf algebras. Other mathematicians, like Shahn Majid, expanded this idea to include more types of quantum groups.

In Drinfeld’s work, quantum groups depend on a special number, called q or h. When this number takes a particular value, quantum groups become more familiar structures called universal enveloping algebras of certain Lie algebras, which are often semisimple or affine. There are also quantum groups that are related to functions on certain mathematical objects, like algebraic groups or compact Lie groups. These ideas help connect different parts of mathematics and physics.

Intuitive meaning

Quantum groups were a surprising discovery because mathematicians thought certain structures, like compact groups and semisimple Lie algebras, could not be changed or "deformed." However, by looking at larger structures such as group algebras or universal enveloping algebras, scientists found that these could be deformed. This deformation happens within special types of algebras called Hopf algebras.

These deformed structures can be thought of as functions on a "noncommutative space," an idea from noncommutative geometry developed by Alain Connes. Quantum groups became useful in solving important equations in physics, like the quantum Yang–Baxter equation, and were also important for studying quantum gravity.

Drinfeld–Jimbo type quantum groups

One type of object called a "quantum group" comes from the work of Vladimir Drinfeld and Michio Jimbo. It is a special kind of algebra that changes or deforms the universal enveloping algebra of a semisimple Lie algebra or a Kac–Moody algebra. This new algebra has extra structure, making it a quasitriangular Hopf algebra.

Quantum groups are defined using certain mathematical structures and rules. They involve generators and relations that follow specific patterns. Even though they are called "groups," they do not have the usual group structure, but they are closely related to groups in some ways. These algebras have many applications in mathematics and theoretical physics, especially in studying symmetries and solving complex equations.

Compact matrix quantum groups

Main article: Compact quantum group

Compact matrix quantum groups are special structures in mathematics and physics. They are related to something called a C*-algebra, which deals with continuous functions. These structures help us understand geometry in a more abstract way.

These quantum groups are like a mix between algebra and geometry. They don’t form a traditional group, but they share some similar properties. One example is SU_μ(2), which shows how these structures can behave differently depending on certain values.

Bicrossproduct quantum groups

Bicrossproduct quantum groups are a special kind of quantum group. They are important because they help us understand solvable Lie groups, which are different from the more common semisimple Lie groups. These quantum groups are linked to ways of splitting Lie algebras and can be thought of as one part acting on another.

A simple example of a bicrossproduct quantum group uses two copies of real numbers acting on each other. This creates a quantum group with certain rules for how its pieces combine. These quantum groups have been used in models that explore physics at very small scales, like the size of Planck length. They also connect to well-known structures in mathematics, such as the Euclidean group of motions in three dimensions.