Manifolds Unfolded

Introduction: Why Representation Theory Exists at All

Mathematics is full of symmetries — the rotations of a triangle, permutations of the roots of a polynomial, Lorentz transformations of spacetime, and gauge symmetries in physics. Yet when expressed abstractly as groups, these symmetries are invisible. They exist in symbols, not in space; in theory, not in motion.

Representation theory emerges from a simple but radical desire:

Can we make symmetry act on something tangible, something we can see, measure, and compute with?

The answer is yes — by letting symmetry act linearly.

A representation replaces each abstract group element with a concrete linear transformation, providing a realization of the abstract in a form we can manipulate and understand. It is the moment when abstract algebra starts to move, to live, and to interact with geometry.
In mathematics, we call it a realization of an abstract object.

---

From Abstract Symmetry to Geometric Action

A group, by itself, is wise but silent.
It knows what symmetries exist, but it does not tell us how to see them move tangible, concrete objects.

Geometry, on the other hand, is vocal and animate.
It reveals hidden wisdom through motion — rotations of vectors, reflections about planes, deformations of spaces.

Representation theory is the bridge between these two worlds.

When a group acts on a vector space, symmetry becomes motion, and algebra becomes geometry.

In this sense, representation theory is not just a topic that comes after linear algebra —
it is the moment when linear algebra becomes meaningful, when abstract symmetry takes shape in space.

The First Mental Picture: Rotations in the Plane

Consider the rotational symmetry of an equilateral triangle.

Abstractly, we call it the cyclic group $C_3=\langle g\space| \space g^3=1\rangle$​.
But geometrically, it is something much more alive:

• rotate the plane by $120^\circ$,
• rotate again by the same angle,
• rotate once more and return to where you started.

Each rotation is a linear transformation of $\mathbb R^2.$

Each transformation is a matrix and each matrix moves vectors in the plane. The abstract group $C_3$ obtains a realization in the form of

a subgroup of $GL(2,\mathbb R)$, the group of all invertible linear transformations on $\mathbb R^2.$

Suddenly, symmetry is no longer a symbol —
it is a dance of vectors. The vertices$$\{(0,1),\;(-\tfrac{\sqrt{3}}{2},-\tfrac{1}{2}),\;(\tfrac{\sqrt{3}}{2},-\tfrac{1}{2})\}$$of the equilateral triangle in the plane are cyclically permuted by the iterative action of the $120^\circ$ rotation matrix.

This is the moment representation theory becomes intuitive.

---

Why Linear Actions?

One might ask: why linearity?

Because linear transformations are the simplest kind of maps which are easily computable, can be composed cleanly, and are geometrically interpretable and compatible with vector spaces which are less complicated to study, as compared to the non-linear maps and spaces.

Most importantly:

Linear Actions allow symmetry to be seen without distortion.

A representation unveils the hidden symmetries of a group, letting us use the tools of linear geometry and transformations to see, manipulate, and understand these symmetries in a concrete way.

---

Representations as Lenses

Think of a representation as a lens through which we observe symmetry. It associates each element of a group with a concrete linear transformation on a vector space, turning abstract algebra into motion we can see and manipulate. It can be though of as the linearization of abstract algebra.

Formally:
Definition (Representation of a Group)
Let $G$ be a group and $V$ a vector space over a field $\mathbb F$ (usually $\mathbb R \text{ or }\mathbb C$). A representation of $G$ on $V$ is a group homomorphism$$\rho: G \longrightarrow \mathrm{GL}(V),$$where $\mathrm{GL}(V)$ is the group of all invertible linear transformations of $V$.

Different representations reveal different facets of the same symmetry:

• some emphasize rotation,
• some highlight reflection,
• some forget / lose / collapse information (called unfaithful),
• others provide computational advantages.

The same abstract group can thus be viewed in many ways, each representation showing a different geometric face of the underlying symmetry.

In essence, representation theory is not about finding a single representation — it is about understanding how symmetry manifests when seen from multiple perspectives.

Example: $C_3$ acting on $\mathbb R^3$ by rotating a Triangle

Consider the cyclic group $C_3 = \{ e, r, r^2 \}$. Let’s take the standard basis vectors in $\mathbb R^3.$$$e_1 = (1,0,0),\quad e_2 = (0,1,0),\quad e_3 = (0,0,1).$$
We can view these vectors as the vertices of a triangle in the 3-dimensional space. A natural representation of $C_3$​ is then the rotational symmetries of this triangle about a central axis of rotation and perpendicular to the place of the triangle – determined by cyclic rotation of these vertices:
$\rho:C_3\to GL(3,\mathbb R)$

$$\rho(e) = \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{pmatrix}, \quad \rho(r) = \begin{pmatrix} 0 & 0 & 1\\ 1 & 0 & 0\\ 0 & 1 & 0 \end{pmatrix}, \quad \rho(r^2) = \begin{pmatrix} 0 & 1 & 0\\ 0 & 0 & 1\\ 1 & 0 & 0 \end{pmatrix}.$$

Geometrically:

• $r$ rotates the triangle one step clockwise along the vertices: $e_1 \mapsto e_2 \mapsto e_3 \mapsto e_1$​.
• $r^2$ rotates it two steps, completing the cycle before returning to the identity: $e_1\mapsto e_3\mapsto e_2\mapsto e_1$​.
• $e$ is the identity rotation, leaving all vectors fixed.

This is a faithful 3-dimensional representation of $C_3$, known as a permutation representation. It illustrates how the same group action can be realized through a different representation, bringing the abstract symmetry to life in a concrete, geometric form — now in 3 dimensions instead of 2 — and notice how the matrices are simpler and computationally more convenient than in the 2D representations.

Faithfulness: Seeing Every Move

A representation is said to be faithful if it captures every distinction in the group — no two different group elements act in exactly the same way.

Formally:

A representation $\rho: G \to \mathrm{GL}(V)$ is faithful if $\rho$ is an injective group homomorphism, or in other words $\rho(g) = \text{Id}_V$ only when $g$ is the identity element $e \in G$.

Intuitively:

• In a faithful representation, every nontrivial group element produces a non-trivial transformation of the space.
• Nothing hides in the shadows — the representation retains the full structure of the group.
• Unfaithful representations, by contrast, collapse some symmetries, so different group elements might act the same way.

Why it matters:

Faithfulness tells us how accurately a representation reflects the underlying symmetry. A faithful representation is like a high-resolution lens — you see every nuance, every rotation and reflection exactly as it exists in the abstract group.

Example: An Unfaithful Representation

Returning to the example of the cyclic group $C_3 = \{e, r, r^2\}$ acting on the triangle with vertices$$(1,0,0),\quad (0,1,0),\quad (0,0,1)$$via the 3D permutation representation. That was faithful because every group element moved the vertices in a distinct way.

On the contrary, if we consider the following representation $\sigma:C_3\to GL(3,\mathbb R)$ $$\sigma(e) = \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{pmatrix},\quad \sigma(r) = \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{pmatrix},\quad \sigma(r^2) = \begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{pmatrix}.$$

Then we observe that:

• All elements act as the identity — the triangle doesn’t move at all.
• Here, $\sigma(r) = \sigma(r^2) = \text{Id}$, so distinct group elements become indistinguishable under this representation.

Figuratively, it’s like looking through a lens that blurs all motion — you see the group, but you cannot tell its elements apart.

This representation is unfaithful: it fails to distinguish nontrivial symmetries.

---

Geometry Before Applying Definitions

Long before writing down homomorphisms,
one should ask:

• What space is being acted upon?
• What features are preserved?
• What moves, and what remains fixed?

These questions are geometric, not algebraic.

In fact, many of the deepest ideas in representation theory arise from geometry:

• invariant subspaces,
• orbits,
• fixed directions.

The formal definitions come later. The intuition comes first.

---

A Guiding Philosophy

Representation theory teaches us a powerful lesson:

Abstract symmetry encoded in a group is better understood when it is viewed as action on an object.

To study symmetry without action is like studying motion without space.

This is why representation theory appears everywhere:

• in geometry, where groups act on manifolds,
• in physics, where symmetries act on states,
• in analysis, where symmetry acts on functions.

Everywhere symmetry moves, representation theory follows.

---

A Glimpse Ahead: The Journey Continues

Representation theory does not ask us to memorize abstract structures — it asks us to see symmetry in motion. In the upcoming posts, we will explore the representation theory of groups in depth, uncovering seemingly complex ideas through geometry and visualization, making them not only understandable but genuinely fascinating.

Once you learn to linearize abstract algebra and witness symmetry come alive, you’ll never want to return to abstraction alone. Representation theory transforms the invisible patterns of groups into tangible, moving geometry — and that’s just the beginning.