SS symmetry

Article
Group Theory: Mathematical Expression of Symmetry in Physics
Jean-Pierre Antoine

Institut de Recherche en Mathématique et Physique, Université Catholique de Louvain,

B-1348 Louvain-la-Neuve, Belgium; [email protected]

Abstract: The present article reviews the multiple applications of group theory to the symmetry
problems in physics. In classical physics, this concerns primarily relativity: Euclidean, Galilean,
and Einsteinian (special). Going over to quantum mechanics, we first note that the basic principles
imply that the state space of a quantum system has an intrinsic structure of pre-Hilbert space that
one completes into a genuine Hilbert space. In this framework, the description of the invariance
under a group G is based on a unitary representation of G. Next, we survey the various domains of
application: atomic and molecular physics, quantum optics, signal and image processing, wavelets,
internal symmetries, and approximate symmetries. Next, we discuss the extension to gauge theories,
in particular, to the Standard Model of fundamental interactions. We conclude with some remarks
about recent developments, including the application to braid groups.

Keywords: group theory; Lie group; symmetry; representations; quantum physics; elementary
particles; braid groups



1. Prologue


Group theory is nowadays the backbone of elementary particle physics and many
Citation: Antoine, J.-P. Group other domains of physics as well. The obvious connection is, of course, the description of
Theory: Mathematical Expression of symmetries. However, this situation is the consequence of a long chain of evolutionary
Symmetry in Physics. Symmetry 2021, steps, which goes back, in fact, to the highest antiquity, although groups themselves were
13, 1354. https://doi.org/10.3390/
born only in the 19th century. The present paper aims to describe this long history in a
sym13081354
pedagogical, and mathematically non-technical way. Of course, for specialists in the field
of methods of group and symmetry analyses, the information presented in this review
Academic Editor: Michel Planat
is generally known and will appear as superficial. However, for a non-specialist reader
who is interested in the topic of symmetry and its applications, this review may be of
Received: 29 June 2021
some interest. Hence, this is the audience to which the paper is addressed primarily. A
Accepted: 20 July 2021
Published: 26 July 2021
preliminary version may be found in [1].
Ever since the highest antiquity, symmetrical figures were considered more harmo-
Publisher’s Note: MDPI stays neutral
nious and more perfect. Examples can be found in all times and all cultures. To mention a
with regard to jurisdictional claims in
few, there are the Egyptian pyramids (3000 BC), several items of Minoan art (18th century
published maps and institutional affil- BC), jewels from the Mycenaean civilization (1000–600 BC), Platonic solids (tetrahedron,
iations. cube (hexahedron), octahedron, dodecahedron, icosahedron), and ubiquitous figures in
Islamic art. A significant example is given by a Mycenaean ornament, shown in Figure 1 [2].
The artist has clearly identified the symmetry of the object, and exploits it for aesthetic
reasons only.
According to Kepler, symmetry properties reflect the harmony of the world, no more.
Copyright: © 2021 by the author.
Licensee MDPI, Basel, Switzerland.
However, their systematic study required a mathematical level that was available only at
This article is an open access article
the end of the 19th century), namely group theory, essentially invented by E. Galois. The
distributed under the terms and
theory rapidly enjoyed remarkable developments, thanks to such authors as G. Frobenius,
conditions of the Creative Commons I. Schur, W. Burnside, E. Cartan and H. Weyl. A survey of the theory can be found in the
Attribution (CC BY) license (https:// textbooks of Loebl [3] or Gilmore [4]. For a survey of the applications to physics, we refer
creativecommons.org/licenses/by/ the reader to the review [5].
4.0/).

Symmetry 2021, 13, 1354. https://doi.org/10.3390/sym13081354 https://www.mdpi.com/journal/symmetry

Symmetry 2021, 13, 1354 2 of 11

Figure 1. An antique example: symmetry of order 6 in a Mycenaean ornament. (left) The ornament.
(right) Its symmetries (from [2]).

As for the organization of the paper, after a quick reminder of the relevant notions, we
begin with the symmetries in classical physics, focusing on the various theories of relativity
and their mutual relationship. Next, we turn to symmetries in quantum physics. After
reviewing the basic principles, we examine, successively, atomic and molecular physics,
quantum optics, signal processing and wavelets. Then, we turn to internal symmetries,
culminating in the standard model of fundamental interactions and gauge theories. Finally
we examine some recent developments, touching upon Kac–Moody algebras and braid
groups, with a possible application in quantum computing. More than 40 references
are given.
Group theory first entered physics with crystallography at the end of the 19th century.
Given an arbitrary crystal, it is an easy exercise to figure out all symmetry operations that
leave it unaffected: reflection through certain planes, inversion with respect to the center,
rotations around given axes through the center (only the angles 2π/n, with n = 2, 3, 4 or
6, will be compatible with the periodicity of the crystalline lattice), or any combination
of these. A systematic investigation shows there exist exactly 32 different combinations
of symmetry properties; accordingly, crystals are subdivided into 32 crystal classes. For a
given class, the symmetry operations form a group with a finite number of elements, called
a point group. Combining these with the lattice translations for each of the 14 different types
of (Bravais) lattices, one then obtains the 230 space groups, a remarkable achievement, due
to Fedorov (1885) and Schönflies (1891). This result is, of course, purely classical, but it
illustrates the primordial rôle of group theory in physics, namely, to organize data in a
rational fashion.

2. A Gentle Reminder
It may be useful to remind the reader of the basic definitions of the objects we will
meet in the following, without any pretension of mathematical rigor. A group is a set G
equipped with an internal composition law ( g, g0 ) 7→ gg0 , called product, such that the
following holds:
(i) The product is associative: g1 ( g2 g3 ) = ( g1 g2 ) g3 , ∀ g1 , g2 , g3 ∈ G;
(ii) There exists a neutral element e ∈ G such that eg = ge = g, ∀ g ∈ G, necessarily unique.
(iii) Every element g ∈ G has an inverse g−1 ∈ G (necessarily unique) such that gg−1 =
g−1 g = e.
The group is called abelian or commutative if the product is commutative:

g1 g2 = g2 g1 , ∀ g1 , g2 ∈ G. (1)

A Lie group is a group with a structure of analytic manifolds compatible with the group
structure. This means that the elements g ∈ G can be parameterized, g ≡ g( ϕk ), in such a
way that the group operations are given by the analytic functions of the parameters ϕk .
The Lie algebra g of a Lie group G is the vector space of the vector tangent at the identity.
Geometrically, these are the infinitesimal generators of the group.
Symmetry 2021, 13, 1354 3 of 11

Finally, a (linear) representation of a group G is a homomorphism T of G in the invertible

linear operators of a vector space:
• T ( g1 g2 ) = T ( g1 ) T ( g2 ) ,
• T ( g −1 ) = T ( g ) −1 ,
• T (e) = I.
The representation T is unitary if every T ( g) is a unitary operator.
The groups that we will meet in the following are (almost) all Lie groups, namely, the
following:
• SO(n), the rotation group of Rn
• SU(n) = { n × n unitary matrices with determinant 1}
• SO(1,3), the Lorentz group, i.e., the group of isometries of R(1, 3) = R4 with metric
(+ − −−)
• The group of Galilei transformations.
• Inhomogeneous groups (semidirect products), R3 o SO(3) (Euclidean group) or R4 o
SO(1, 3) (the Poincaré group).
An important remark is in order here. Whereas mathematicians envisage group
representations in the language of operators in a Hilbert space, physicists often resort to
graphical methods, largely pioneered by D. Speiser. In the spirit of E. Cartan, the accent
is put rather on Lie algebras [6] to which Weyl added a geometrical flavor, the so-called
weight diagrams that characterize irreducible representations [7]. A detailed discussion of
the graphical method and its origin may be found in the volume of [8]. Remarkably, the
method may be extended to infinite dimensional Lie algebras, the so-called Kac–Moody
algebras [9].

3. Symmetries in Classical Physics

All the symmetries mentioned in the previous section pertain to the classical domain,
but, of course, groups are absent since they were invented by mathematicians in the 19th
century only.
Besides crystallography, the essential application of group theory in classical physics
is the theory of relativity. The principle of relativity says that a physical system is described
by the same equations in two reference frames of space-time if the latter are equivalent, that
is, the two frames are mapped onto each other by a space-time transformation (translation,
rotation, . . . ). Such transformations obviously form a group, called the group of relativity.
The standard examples are the following:
• System at rest: Euclidean group.
• Special relativity: Poincaré group, i.e., inhomogeneous Lorentz group.
• General relativity: no global group, there is only local invariance under the Poincaré group.
A word of explanation is required here. First we recall that Einstein arrived at his
special relativity by forcing mechanics to be invariant under the Lorentz group (in fact,
the Poincaré group), like electromagnetism (Maxwell equations), as follows from the fact
that the speed of light c is forced to be constant in any reference frame. Indeed, a Lorentz
transformation becomes a Galilean transformation when c → ∞. Hence, the Lorentz group
becomes the (homogeneous) Galilean group in that limit.
As it is well known, invariance under a Lie group implies conservation laws and vice
versa as stated by Noether’s theorem: if a system is invariant under the Lie group G, the
corresponding conserved quantities are given by elements of the Lie algebra g of G (or its
enveloping algebra).

4. Principles of Quantum Physics

As stated in any textbook (e.g., Cohen-Tannoudji et al. [10]), quantum mechanics rests
on three principles, namely, the following:
Symmetry 2021, 13, 1354 4 of 11

(1) The superposition principle: every linear superposition of two states of a system is a
state, which implies that the state space is intrinsically a vector space.
(2) The transition amplitude between two states is given by a Hermitian sesquilinear form:
A(φin → φout ) = φout φin .
In the same way, the corresponding transition probability is given by the squared
modulus of this amplitude: P(φin → φout ) = |hφout |φin i|2 .
Thus, the state space H0 is a pre-Hilbert space.
(3) The observables of the system are represented by linear Hermitian operators in H0 ,.
Since these in general do not commute, this implies the presence of uncertainty relations.
Thus, one has to rely on a probabilistic interpretation of the theory.
Then, in order to have sufficiently powerful results, von Neumann [11] required in
addition that the state space be complete, that is, a Hilbert space, denoted as H. This allows
to exploit a richer mathematical arsenal: self-adjoint operators, spectral theory, unitary
time evolution, etc. Quite remarkably, it is in that work that von Neumann gave the first
precise definition of Hilbert space.
This is not the end of the story, however. Indeed, the von Neumann formalism is
rigorous, but too cumbersome for most practicing physicists. Instead, they use the so-called
Bra–Ket formalism of Dirac [12]. Here, all points on the spectrum of an observable are treated
on the same footing, whether they belong to the discrete spectrum (eigenvalues) or to the
continuous spectrum. While this is convenient, it is not strictly correct. Yet, there is a way
out: the Dirac formalism may be recovered in a rigorous fashion if one introduces a rigged
Hilbert space (RHS):
Φ ⊂ H ⊂ Φ× . (2)
where Φ is a dense subspace of H, generated by a set of labeled observables, and Φ×
is the conjugate dual of Φ. Under some mathematical conditions on Φ, the Dirac for-
malism is recovered, now rigorously. As for the physical interpretation, the elements
of Φ represent those states that are physically preparable, whereas Φ× contains general-
ized states associated with measurement operations. A full discussion of the sequence
von Neumann → Dirac → RHS can be found in [13–15].

5. Symmetries in Quantum Physics

5.1. General Principles
A symmetry is defined as a map H → H that preserves all transition probabilities.
Then, the whole domain is based on the following two results [3,4]:
• According to Wigner [16], a symmetry is realized by a unitary or an anti-unitary
operator in H.
• According to Bargmann, a symmetry group G is realized by a unitary representation
U ( G ) in H (up to phases) : U ( G ) = {U ( g) : H → H, g ∈ G } with the relations given
in Section 2:

U ( g1 ) U ( g2 ) = U ( g1 g2 ) , U ( g−1 ) = [U ( g)]−1 , U (e) = I. (3)

If U ( G ) is reducible, it may be decomposed into irreducibles:

U = ⊕ j Uj , corresponding to H = ⊕ j H j .
Let U = ⊕ j Uj and let A be a physical quantity with a simple behavior under G, e.g., a
vector or a tensor if G = SO(3). Such a quantity is often given by matrix elements hφ| A|ψi,
with φ ∈ H j , ψ ∈ Hk . Then, this quantity in general does not depend on the states φ, ψ,
but only on the subrepresentations Uj , Uk , and often vanishes (selection rule). This is the
content of the Wigner–Eckart theorem [10].
In addition, as mentioned above, the main observables derive from the Lie algebra of
the symmetry group, thanks to Noether’s theorem:
• Invariance under Euclidean operations (translations and rotations) ⇒ total momentum
and total angular momentum;
Symmetry 2021, 13, 1354 5 of 11

• Invariance under time translations ⇒ Hamiltonian (total energy);

• Invariance under the Galilei group ⇒ position observables.
A fundamental concept for applications is that of approximate symmetries, introduced
by Racah [17]. Take a Hamiltonien H = H0 + H1 , where H0 is invariant under G and H1
is a small correction, invariant only under a subgroup G1 of G, but transforming simply
under G. Then, the computation of the matrix elements is considerably simplified. Iterating
the procedure, one obtains a hierarchy of approximate symmetries, more and more broken,
H = H0 + H1 + H2 + . . ., corresponding to a hierarchy of groups G ⊃ G1 ⊃ G2 ⊃ . . .. This
approach, based on exact and broken symmetries, is proven to be extremely efficient in
(non-relativistic) quantum physics, beginning already in the 1920s. Instead of giving the
long list of physicists and mathematicians who contributed to the subject, we refer the
reader to the two volumes of Loebl [3] or Gilmore [4].

5.2. Early Results: Atoms and Molecules

This method has proven to be essential in atomic and molecular physics. Take first the
hydrogen atom (Coulomb potential, no spin). Energy levels are given by Balmer’s formula,
En ∼ −1/n2 , n = 1, 2, . . ., and they are degenerate: for every n, the angular momentum
takes the values l = 0, 1, 2, . . . , n − 1, and for each l, there are 2l + 1 states indexed by
ml = −l, −l + 1, . . . , l.
Then group theory explains the situation as follows. For each n, the irreducible repre-
sentations D (l ) (l = 0, 1, . . . , n − 1) of SO(3) constitute a single irreducible representation
2
D (n ) of SO(4). This is an accidental degeneracy, and it is already present at the classical
level as shown by Pauli in 1926 and Fock in 1935. If one adds the 1/2 spin of the electron,
each state |n, l, mi admits 2 electrons, so the angular momentum becomes y = l ± 12 , which
corresponds to the decomposition in SU(2) : D (l ) ⊗ D (1/2) = D (l +1/2) ⊕ D (l −1/2) . The next
step is to introduce the so-called dynamical symmetry group [18], which in this case may
2
be taken as SO(4,1) or SO(4,2). Indeed, D = ⊕n∈N D (n ) constitutes a single irreducible
representation (of infinite dimension) for both groups. The same procedure may be applied
for more complicated atoms, resulting in the shell model of atoms, thus finally leading to
the Mendeleev table.
For molecules, one obtains in this way a classification of configurations and energy
levels, possibly simplified through finite symmetries.
It is remarkable that, despite the fact that group theory allowed to obtain spectacular
results, inaccessible so far, it was for a long time regarded with suspicion. In the 1930s, it
was even dubbed "Gruppenpest"!

5.3. Crystals
Whereas crystallography was developed in the 19th century at the classical level,
as explained in Section 1, it had to be combined with quantum mechanics in order to
obtain a quantum theory of solids, as initiated in the classical paper of Bouckaert et al.
in 1936 [19]. The problem is that symmetries in a crystal is a world apart from those of
atoms or molecules. Indeed, if the interaction between electrons in a metal is neglected,
the energy spectrum has a zonal structure. These Brillouin zones can also be treated via
group theory. However, whereas the relevant representations form a discrete set in the case
of atoms or molecules, as explained above, the representations of a space group form a
continuous manifold, and must be characterized by continuously varying parameters. It
follows that the energy is a continuous function of the reduced wave vector. Thus, one
justifies the structure of the Brillouin zones. This was the starting point of the quantum
theory of solids (condensed matter), which is now a huge domain in physics.

5.4. Optics and Photonics

The interaction between matter and light, that is, quantum optics, is another field
where group theory plays a major role. In the spirit of Klein, consider first a quantum
harmonic oscillator. Creation a† and annihilation a operators generate the Lie algebra
Symmetry 2021, 13, 1354 6 of 11

of the Weyl–Heisenberg group: ( a, a† , I ) ∼ (q, p, I ), where q, p are the position and mo-
mentum operators, respectively. This approach is sufficient for treating a large number of
Hamiltonians at most quadratics. Such Hamiltonians cover a substantial part of quantum
optics, including lasers and other coherent phenomena. The states of such systems are
the well-known (canonical) coherent states. They were introduced by Schrödinger in 1926
as those quantum states that best describe best the classical limit of quantum mechanics.
Yet, they were quickly forgotten, thanks to a disparaging remark of Pauli. However, they
were rediscovered around 1960 by R.J. Glauber, J.R. Klauder and E.C.G. Sudarshan [20] in
the context of the quantum optics description of a coherent light beam emitted by lasers.
Group theory had little to do in this setup, until mathematician Perelomov and physicist
Gilmore, independently, discovered in 1972 that coherent states may be obtained by the
action of a Lie group on a basis vector ψ ∈ H : ψg := U ( g)ψ, g ∈ G, where U is a unitary
representation of the group G. This situation is realized in several well-known examples:
the Weyl–Heisenberg group GWH yields the canonical coherent states; the rotation group
SO(3) yields the spin coherent states; the group SU(1,1) yields the coherent states describing
a particle in an infinite potential well or the squeezed states of an atom, etc. In fact, the
(generalized) coherent states have found applications in almost all domains of physics,
not only quantum optics, but also nuclear and atomic physics, condensed matter physics,
quantum electrodynamics (the infrared problem), quantization and dequantization, path
integrals, etc. A systematic survey can be found in the textbook of J-P. Gazeau [21].

5.5. Signal Processing: Wavelets and Their Generalizations

A somewhat unexpected outcome of the coherent state formalism is the spectacular
development of wavelet analysis. Indeed, continuous wavelets are nothing but coherent
states generated by the affine or ax + b group (dilations and translations on R). They were
discovered (in dimension 1) by A. Grossmann and J. Morlet in 1984, in the context of oil
exploration by seismic techniques. The two authors were quickly joined by I. Daubechies,
and wavelets were applied to the analysis of (analogic) signals.
In practice, the success of wavelets rests on the fact that they improve the capabilities
of the Fourier transform, a standard tool in physics and engineering for computing the
spectrum of a signal. Indeed, Fourier is a global transform that loses all information about
the localization in the signal, whereas the wavelet transform (WT) is local and allows to
keep information simultaneously on position and energy. In order to achieve this, one
has to replace the purely frequency domain representation of the Fourier transform by
a time frequency representation. The wavelet transform is an example, but there are other
ones. Notably the Gabor transform, also called Windowed or Short Time Fourier transform
(STFT). Both obey the coherent state formalism, with the affine or ax + b group for the WT
and the Weyl–Heisenberg group for the STFT. Thus, the wavelets corresponding to the
latter, sometimes called gaborettes, are simply the canonical coherent states.
On the mathematical side, the WT has led to a remarkable development, being ex-
tended to arbitrary square integrable representations of any locally compact group [22]. A
related formalism is coorbit theory, based on an integrable representation of a group, which
yields a very general and elegant discretization of the continuous analysis of a signal [23].
In signal processing, the next step was made by Y. Meyer and S. Mallat, who intro-
duced discrete wavelets by a particular type of discretization (a well-known technique in
coherent state analysis). These new wavelets allowed the treatment of digital signals (no
more group theory here!) and the domain exploded in the signal community. This formal-
ism can be generalized to higher dimensions, leading to a whole menagerie of specialized
transforms (ridgelets, curvelets, contourlets, etc.).
On the (applied) physics side, the WT was extended to two dimensions by A. Gross-
mann, I. Daubechies, and R. Murenzi et al. in 1990, with the aim of treating image
processing. In that context, an important aspect to detect is the directional features present
in an image (ridges, roads, etc.) for which one needs directional wavelets. Whereas these
can be designed in the pure 2D WT framework [24], a more radical solution is that of shear-
Symmetry 2021, 13, 1354 7 of 11

lets, introduced by Kutyniok and her collaborators [25]. The idea is simply to replace the
rotations inherent to the 2D continuous WT by shear operations, which generates extremely
directional wavelets. The interesting fact is that, like the WT, the shearlet transform stems
from a Lie group, called the shearlet group. The resulting transform may then be discretized,
which yields a very powerful tool generalizing the 2D discrete WT.
There are, of course, plenty of books about wavelets, too many to cite here. Two
essential ones are those of Daubechies [26] and Mallat [27]. In addition, we refer to the
compendium [28], which collects all the relevant early papers in the domain. As for the
connection with coherent states, we may quote our textbook [24].

6. Internal Symmetries
6.1. Discrete Symmetries
All the symmetries we have met so far pertain to Lie groups, thus are continuous,
even analytic. Yet, there are also some discrete symmetries that play a crucial role, namely
conjugations (involutions). Three of them are essential: C—charge conjugation, which
exchanges particles and antiparticles; P—parity, which exchanges left and right; and T—
time reversal, which amounts to rewind the film backward. Whereas C and P are unitary
in any field theory, T is anti-unitary, and all three have a square equal to I . Concerning the
status of these operations, it appeared quickly that C was broken in weak interactions. As
for the product CP, it was thought for a long time that it would be conserved, but the decay
of K mesons finally proved that that was not the case. Thus, only CPT remains, which is
now considered to leave all interactions invariant, which is really a universal symmetry.

6.2. Continuous Symmetries

Besides symmetries of a geometrical nature, there are also continuous internal symme-
tries, which, over the years, have played a more and more essential role. The first example
is isospin, introduced by Heisenberg in 1932 and realized by the group SU(2). For example,
the nucleon, i.e., the pair proton–neutron, is a doublet of isospin 1/2. This was the starting
point of the classification of elementary particles, as we will see below.
Another precursor for internal symmetries is Wigner in his fundamental 1939 paper
on representations of the Poincaré group [29]. Reducing these representations to those of
the so-called little groups, he obtained an O(3)-like spin symmetry for massive particles,
and an E(2)-like symmetry for massless particles with the helicity and gauge degrees of
freedom. It is worth recalling here that, according to Dirac [30], relativistic dynamics is in
fact a representation of the Poincaré group.
Let us now go back to the classification of elementary particles. First, particles are
organized into isospin multiplets. Next, one adds a new internal degree of freedom, called
hypercharge Y (or equivalently strangeness S), introduced by Gell-Mann and leading to the
well-known relation Q = T3 + 12 Y, where Q denotes the electric charge and T3 the third
component of isospin. Combining isospin and hypercharge, Gell-Mann introduced the
group SU(3), which allowed to classify all particles known in 1962 in corresponding multi-
plets [31,32]. The most spectacular success of this approach was evidently the discovery in
1964, with the correct mass and quantum numbers, of the quasi-stable particle Ω, predicted
by SU(3) .
A turning point in the theory was the suggestion, by Gell-Mann and Zweig, inde-
pendently, that all known hadrons are bound states of three fundamental particles, called
quarks (or aces), namely up, down and strange. While this model was deemed naive, it
met with a remarkable success (although free quarks themselves were never seen, they are
confined). Over the years, three additional quarks have been discovered: charm (1974),
bottom (1977), and top (1993). Thus, we obtained the so-called standard model of today, with
the symmetry group U(1)⊗SU(2)⊗SU(3).
In fact, group-theoretical techniques not only lead to the classification of particles, but
they also determine their dynamical properties. In a first step, Gell-Mann and Feynman
considered the electromagnetic current and the weak current as an isospin triplet. Next,
Symmetry 2021, 13, 1354 8 of 11

Cabibbo suggested to treat all hadronic currents in the same way, by extending the model
from SU(2) to SU(3). This led Gell-Mann to the charge algebra, corresponding to the
symmetry SU(3)⊗ SU(3). Finally, Gell-Mann postulated that the currents themselves
possess the same symmetry, thus obtaining the celebrated current algebra (chiral symmetry),
which enjoys a local symmetry SU(3)⊗ SU(3). Many of the original articles are collected in
the book by Dyson [33]; see also Bohm et al. [18].
With hindsight, clearly the way in which group-theoretical techniques have been
used has been turned upside down. Contrary to the traditional applications, for instance,
in atomic physics, the precise structure of the hadronic currents is unknown; only their
symmetry matters. This is a nice analogy to the celebrated “Cheshire cat” of Lewis Carroll:
the cat has vanished, and only its smile remains.

7. Gauge Theories
7.1. Evolution of the Theory
The most remarkable evolution during the last years is the emergence, then gradually
the omnipresence, of gauge theories. To obtain the idea, we notice that an internal symmetry
may be global, or local. In the global case, this means that the action of a group G on a
quantum field φ( x ) is independent of the point x; for a local symmetry, the action of G
varies from point to point. In the latter case, we obtain the gauge field theory, and G is
called the gauge group. The original idea extends back to Weyl, who in 1918 treated the
electromagnetism as a U(1) gauge theory (hence, abelian). However, the real starting point
was the proposition by Yang and Mills in 1954 of a nonabelian gauge theory based on SU(2).
This proposal also marks the apparition of differential geometry in quantum physics (with
notions such as fiber bundles, connections, etc.). However, the suggestion of Yang and Mills
became popular only when the Dutch physicist G. ’t Hooft proved in 1971 that a nonabelian
gauge theory may be renormalizable, i.e., it may yield finite, verifiable predictions.
An important aspect is that a gauge theory is necessarily exact, which implies that
it contains less arbitrary parameters and it is, therefore, more coherent. In particular, the
interaction Lagrangian is determined uniquely. In addition, interactions are mediated
by massless particles, such as the photon for electromagnetism and gluons for the strong
interaction. A systematic description of gauge theories may be found in [34].

7.2. The Standard Model

The idea was quickly generalized. First, S. Weinberg, A. Salam et al. and S. Glashow re-
formulated in 1962–1968 the electroweak interactions as a gauge theory based on
G = SU(2)⊗U(1). Next, D. Gross, H. Politzer and F. Wilczek did the same in the 1970s
with the strong interactions, thus obtaining quantum chromodynamics, based on the gauge
group G = SU(3). The latter acts on a new internal degree of freedom, called color: each
quark appears under three different colors. The end result is the present day standard model,
which is a SU(3)⊗SU(2)⊗U(1) gauge theory. Actually, the model remained incomplete for
a long time since an essential ingredient was missing, the Higgs–Brout–Englert boson. This
boson is supposed to give a nonzero mass to all particles, except the photon and the gluons,
via a subtle mechanism called spontaneous symmetry breaking (i.e., the ground state has a
symmetry smaller than the Hamiltonian). The HBE boson was finally discovered at CERN
in 2012, which resulted in the 2013 Nobel prizes for P. Higgs and F. Englert, R. Brout having
passed away in the meantime.

8. Recent Developments
Besides the successful approach of the standard model, many other schemes based on
group theory have been proposed, but in general, they failed. For instance, the so-called
models of grand unification, based on SU(5), SO(10), etc., that aimed at describing all
interactions, except gravity, never survived because they predicted new particles and/or
the decay of the proton, which were never observed.
Symmetry 2021, 13, 1354 9 of 11

A still active proposal is supersymmetry, which seeks to unify bosons and fermions.
Since they are based on different statistics, Bose–Einstein for bosons and Fermi–Dirac for
fermions, such a theory necessarily implies the presence of anticommuting variables. This,
in turn, induces a whole collection of new structures, supergroups, Lie superalgebras,
supermanifolds, etc. Interesting mathematical results follow, but no physical confirmation
has been obtained so far, although supersymmetry is still envisaged in quantum gravity
(see below). The point is that a supersymmetric theory predicts a whole family of new
particles that mirror the known ones, (photinos, gluinos,. . . ), which have not been observed.
A different approach follows from the original idea of Weyl, who imposed the invari-
ance under a redefinition of the length parameter, i.e., scale invariance. In two dimensions,
this leads to invariance under conformal transformations. Indeed, conformal field theories
have become popular (also in statistical mechanics). They are the basis of string theory
(superstrings) in which the elementary constituents of matter are no longer pointlike, but
rather one-dimensional objects (strings) [35]. However, this extension also requires the
use of some exotic Lie groups, such as SO(32), the exceptional groups E(6), E(7), E(8) or,
more generally, loop groups. On the other hand, the 2D conformal group is not a Lie
group since it is infinite dimensional. In this way, infinite dimensional Lie algebras entered
the physics of fundamental interactions. First came the Virasoro algebra, very close to
conformal algebra. Next, by combination with the classical string theory, one can obtain
the whole family of Kac–Moody algebras and their representations [9].
As a matter of fact, Lie algebras or their generalizations play a significant role in symmetry
considerations of various physical systems. A good source of such applications is the volume
of Adler et al. [36], for instance, the Lie algebra-based integrability of dynamical systems, or
the symplectic and Poisson symmetries of Hamiltonian systems. Another interesting topic
is the classification of singularities along Lie algebraic Dynkin diagrams, for instance, ADE
singularities (here, ADE refers to all simply laced diagrams, thus of types An , Bn or En ). These
also appear in models of phase transitions (Landau theory).
Another instance of deformation of classical Lie algebras is that of quantum groups.
However, one may jokingly say that quantum groups are neither groups, nor quantum, as
they are, in fact, Hopf algebras, a well-known structure in algebra.
The ultimate extension of our quest is quantum gravity, which aims at combining
quantum mechanics and general relativity. To that effect, it incorporates notions from
gauge theories, supersymmetry, and superstrings. Many variants have been proposed, but
no convincing candidate has emerged [37].
We conclude this survey with a totally different application of group theory, namely,
the use of braid groups. This requires some explanation since this notion might be unfamiliar.
Given a set An = { a1 , . . . , an } of n points, a braid with n strands is a continuous bijection
σ : An → An . Figure 2 shows some examples with 3 or 4 strands. The composition of two
braids is simply their successive application (Figure 3). With this operation, the set of all
braids with n strands is a group, noted as Bn .

Figure 2. A braid with 3 strands, resp. 4 strands (from Wikipedia).

Symmetry 2021, 13, 1354 10 of 11

× =

Figure 3. Product of two braids (from Wikipedia).

This notion and its representations were introduced by E. Artin in 1925 [38] in a purely
mathematical context (algebraic geometry, and knot theory). More recently, they have
found many applications in mathematical physics, for instance, in statistical mechanics
(Yang–Baxter equation), in particle physics (anyons and Majorana fermions), in fluid
mechanics, and in theoretical computer science (quantum computing). For these applications,
we refer the reader to the review article of Kauffman [39]. Concerning quantum computing,
another type of group appeared recently, namely, Galois groups and, more generally,
profinite groups (i.e., Hausdorff topological groups, compact and totally discontinuous),
which show up in Galois or finite rings theories. In particular, the p-adic group Z p , the
typical example of a Galois group, plays an explicit role in quantum computing. For all this,
we may refer to the works of Vourdas [40,41] and, for Galois theory, the book by Kibler [42].

9. Epilogue
In conclusion, it seems fair to say that group theory has grown into one of the essential
tools of contemporary physics. Besides its fundamental role in relativity, it has provided
physicists with a remarkable analyzing power for exploiting known symmetries, and with
a considerable predictive capability, precisely in cases where the basic physical laws are un-
known. Furthermore, in addition to its crucial importance in the description of fundamental
interactions and elementary particles, group theory has pervaded all fields of physics, often
in an unexpected way. Except for calculus and linear algebra, no mathematical technique
has been so successful.

Funding: This research received no external funding.

Institutional Review Board Statement: Not applicable.
Informed Consent Statement: Not applicable.
Data Availability Statement: Not applicable.
Conflicts of Interest: The author declares no conflict of interest.

References
1. Antoine, J.-P. Symétries en physique: La théorie des groupes en action. Rev. Des. Quest. Sci. 2019, 190, 7–26.
2. Speiser, D. La symétrie de l’ornement sur un bijou du trésor de Mycènes. Annali Dell’Istituto e Museo di Storia Della Scienza di
Firenze 1976. Available online: https://brill.com/view/journals/anss/1/2/article-p3_1.xml?language=en (accessed on 16 July
2021)
3. Loebl, E.M. (Ed.) Group Theory and Its Applications; Academic Press: New York, NY, USA, 1968; Volumes 1–3.
4. Gilmore, R. Lie Groups, Lie Algebras, and Some of Their Applications; Dover: Mineola, NY, USA, 2005.
5. Antoine, J.-P. Group Theory in Physics. In Encyclopedia of Physics, 3rd ed.; Lerner, R.G., Trigg, G.L., Eds.; Wiley, Weinheim,
Germany, 2005; Volume 1, pp. 941–952.
6. Humphreys, J.E. Introduction to Lie Algebras and Representation Theory; Springer: Berlin, Germany, 1972.
7. Weyl, H. The Theory of Groups and Quantum Mechanics, 1st ed.; Dover: New York, NY, USA, 1950.
8. Antoine, J.-P. David Speiser’s group theory: From Stiefel’s crystallographic approach to Kac-Moody algebras. In Two Cultures.
Essays in Honour of David Speiser; Williams, K., Ed.; Birkhäuser: Basel, Switzerland, 2006; pp. 13–23.
9. Kac, L.H. Infinite Dimensional Lie Algebras—An Introduction; Birkhäuser: Boston, MA, USA, 2016.
10. Cohen-Tannoudji, C.; Diu, B.; Laloë, F. Quantum Mechanics, Volume 1: Basic Concepts, Tools, and Applications, 2nd ed.; Wiley-VCH:
Weinheim, Germany, 2019.
11. von Neumann, J. Mathematische Grundlagen der Quantenmechanik; Springer: Berlin, Germany, 1932 ; Engl. transl. Mathematical
Foundations of Quantum Mechanics; Princeton University Press: Princeton, NJ, USA, 1955.
12. Dirac, P.A.M. The Principles of Quantum Mechanics; Oxford University Press: Oxford, UK, 1930.
Symmetry 2021, 13, 1354 11 of 11

13. Antoine, J.-P.; Bishop, R.; Bohm, A; Wickramasekara, S. Rigged Hilbert Spaces in Quantum Physics. In A Compendium of
Quantum Physics—Concepts, Experiments, History and Philosophy; Weinert, F., Hentschel, K., Greenberger, D., Eds.; Springer:
Berlin/Heidelberg, Germany, 2009; pp. 640–651.
14. Antoine, J.-P.; Bohm, A.; Wickramasekara, S. Rigged Hilbert Spaces for the Dirac Formalism and Time-Symmetric Quantum Mechanics.
In A Compendium of Quantum Physics—Concepts, Experiments, History and Philosophy; Weinert, F., Hentschel, K., Greenberger, D.,
Eds.; Springer: Berlin/Heidelberg, Germany, 2009; pp. 651–660.
15. Antoine, J.-P. Quantum Mechanics and its evolving formulations. Entropy 2021, 23, 124. [CrossRef] [PubMed]
16. Wigner, E.P. Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, 1st ed.; Academic Press: New York, NY,
USA, 1955.
17. Racah, G. Group Theory and Nuclear Spectroscopy; Lecture Notes, Princeton. Technical Report CERN 61–68; Springer: Geneva,
Switzerland, 1961.
18. Bohm, A.; Ne’eman, Y.; Barut, A.O. (Eds.) Dynamical Groups and Spectrum Generating Algebras; World Scientific: Singapore, 1988;
Volumes I–II.
19. Bouckaert, L.P.; Smoluchowski, R.; Wigner, E. Theory of Brillouin zones and symmetry properties of wave functions in crystals,
Phys. Rev. 1936, 50, 58–67. [CrossRef]
20. Klauder, J.R.; Sudarshan, E.C.G. Fundamentals of Quantum Optics; Benjamin: New York, NY, USA, 1968.
21. Gazeau, J.-P. Coherent States in Quantum Physics; Wiley-VCH: Berlin, Germany, 2009.
22. Führ, H. Abstract Harmonic Analysis of Continuous Wavelet Transforms; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg,
Germany, 2005; Volume 1863.
23. Feichtinger, H.G.; Gröchenig, K. Banach spaces related to integrable group representations and their atomic decompositions. I. J.
Funct. Anal. 1989 86, 307–340. [CrossRef]
24. Ali, S.T.; Antoine, J.-P. ; Gazeau, J.-P. Coherent States, Wavelets, and Their Generalizations, 2nd ed.; Springer: New York, NY,
USA, 2014.
25. Kutyniok, G.; Labate, D. (Eds.) Shearlets: Multiscale Analysis for Multivariate Data; Birkhäuser: Boston, MA, USA, 2012.
26. Daubechies, I. Ten Lectures on Wavelets; SIAM: Philadelphia, PA, USA, 1992.
27. Mallat, S.G. A Wavelet Tour of Signal Processing: The Sparse Way, 3nd ed.; Academic Press: San Diego, CA, USA, 2009.
28. Heil, C.; Walnut, D.F. (Eds.) Fundamental Papers in Wavelet Theory; Princeton Univ. Press: Princeton, NJ, USA, 2006.
29. Wigner, E.P. Unitary representations of the inhomogeneous Lorentz group including reflections. Ann. Math. 1939, 40, 149–204.
[CrossRef]
30. Dirac, P.A.M. Forms of relativistic dynamics. Rev. Mod. Phys. 1949, 21, 392–399. [CrossRef]
31. Gell-Mann, M. The Eightfold Way: A Theory of Strong Interaction Symmetry; Caltech Report CTSL-20; U.S. Department of Energy
Office of Scientific and Technical Information: Oak Ridge, TN, USA, 1961.
32. Gell-Mann, M. Symmetries of baryons and mesons. Phys. Rev. 1962, 125, 1067–1084. [CrossRef]
33. Dyson, F.J. Symmetry Groups in Nuclear and Particle Physics (A Lecture Note and Reprint Volume); Benjamin: New York, NY, USA, 1966.
34. O’Raifeartaigh, L.S. The Dawning of Gauge Theory; Princeton Univ. Press: Princeton, NJ, USA, 1997.
35. Green, M.B.; Schwarz, J.H.; Witten, E. Superstring Theory; Cambridge University Press: Cambridge, UK, 1987; Volumes I–II.
36. Adler, M.; van Moerbeke, P.; Vanhaecke, P. Algebraic Integrability, Painlevé Geometry and Lie Algebras; Springer Nature: Berlin,
Germany, 2020.
37. Rovelli, C. Quantum Gravity; Cambridge University Press: Cambridge, UK, 2004.
38. Artin, E. Theory of braids. Ann. Math. 1947, 48, 101–126. [CrossRef]
39. Kauffman, V. Knot logic and topological quantum computing with Majorana fermions. In Logic and Algebraic Structures in
Quantum Computing; Chubb, J., Eskandarian, A., Harizanov, V., Eds.; Lecture Notes in Logic; Cambridge University Press:
Cambridge, UK, 1983; Volume 45.
40. Vourdas, A. Quantum systems in finite Hilbert space: Galois fields in quantum mechanics. J. Phys. A 2007, 40, R285–R331.
[CrossRef]
41. Vourdas, A. Finite and Profinite Quantum Systems; Springer: Cham, Switzerland, 2017.
42. Kibler, M. Galois Fields and Galois Rings Made Easy; STE Press-Elsevier: London, UK, 2017.