The Adjoint Representation and Killing Form

The adjoint representation $\mathrm{ad}:\mathfrak{g}\to \mathfrak{gl}(\mathfrak{g})$ sends $X\mapsto [X,-]$, realizing a Lie algebra as operators on itself; the Killing form $B(X,Y)=\mathrm{tr}(\mathrm{ad}X\mathrm{ad}Y)$ is the canonical invariant symmetric bilinear form built from it. Key result: Cartan's criteria — $\mathfrak{g}$ is solvable iff $B(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0$, and semisimple iff $B$ is nondegenerate. Applies in: structure theory of Lie algebras, representation theory, differential geometry of Lie groups, gauge theory. Who/when: Wilhelm Killing (1888–1890), Élie Cartan (1894 thesis).

Every Lie algebra $\mathfrak{g}$ acts on itself by the bracket: the map ${\mathrm{ad}}_X(Y)=[X,Y]$ defines a representation called the adjoint representation, whose existence rests on the Jacobi identity. Contracting two such operators by trace produces the Killing form $B$, an intrinsic, basis-free symmetric bilinear form that is invariant under all automorphisms and "associative" with respect to the bracket. The Killing form encodes the entire qualitative structure of $\mathfrak{g}$: its radical detects solvability, its nondegeneracy characterizes semisimplicity, and its signature distinguishes compact from noncompact real forms. A surprising fact: although $B$ is defined purely algebraically, for a compact Lie group it is (up to sign) the unique bi-invariant Riemannian metric, tying pure algebra to global geometry. This single form is the engine behind the entire Cartan–Killing classification of semisimple Lie algebras.

The Core Insight

A Lie algebra has no preferred way to "measure" its elements — but the bracket gives one for free. By letting each element act as a linear operator (via $\mathrm{ad}$) and then taking the trace of products of these operators, we manufacture a canonical inner-product-like object out of nothing but the bracket itself. The miracle is that this object's degeneracy locus is exactly the obstruction to semisimplicity, turning a subtle structural question into a determinant computation.

Formal Statement

Adjoint Representation

Let $\mathfrak{g}$ be a Lie algebra over a field $k$. For each $X\in \mathfrak{g}$ define the linear operator ${\mathrm{ad}}_X:\mathfrak{g}\to \mathfrak{g}$ by

The map $\mathrm{ad}:\mathfrak{g}\to \mathfrak{gl}(\mathfrak{g})$, $X\mapsto {\mathrm{ad}}_X$, is a Lie algebra homomorphism:

The kernel $\ker (\mathrm{ad})$ is the center $\mathfrak{z}(\mathfrak{g})=\{X:[X,\mathfrak{g}]=0\}$; thus $\mathrm{ad}$ is faithful iff $\mathfrak{z}(\mathfrak{g})=0$.

Killing Form

The Killing form of $\mathfrak{g}$ (finite-dimensional) is the symmetric bilinear form

In a basis $\{e_a\}$ with structure constants $[e_a,e_b]=f_{ab}^c{e}_c$, the Gram matrix is

The form is invariant (associative): for all $X,Y,Z$,

Cartan's Solvability Criterion

A finite-dimensional Lie algebra $\mathfrak{g}$ over a field of characteristic $0$ is solvable if and only if

Cartan's Semisimplicity Criterion

A finite-dimensional Lie algebra $\mathfrak{g}$ over a field of characteristic $0$ is semisimple (zero radical) if and only if its Killing form is nondegenerate:

Why It Holds / Derivation

The adjoint map is a homomorphism (Equation 2)

Invariance of the Killing form (Equation 5)

The radical of $B$ is an ideal

Wilhelm Killing | 1847–1923

A German mathematician and gymnasium teacher, Killing introduced the eponymous form and the root-system machinery between 1888 and 1890 in his series "Die Zusammensetzung der stetigen endlichen Transformationsgruppen," seeking to classify all continuous transformation groups. Working largely in isolation and burdened with heavy teaching duties, he discovered Cartan subalgebras, root systems, the Cartan matrix, and essentially the full list of simple Lie algebras — including the exceptional ones $G_2,F_4,E_6,E_7,E_8$. His proofs contained gaps and errors that Élie Cartan later repaired and completed in his 1894 doctoral thesis; Cartan generously credited Killing for the central ideas. The phrase "Killing form" was coined much later, but the object is genuinely his.

Building Intuition

Think of ${\mathrm{ad}}_X$ as the infinitesimal rotation/shear that $X$ induces on the algebra when you "stir" with the bracket. The Killing form $B(X,Y)$ asks: how much do the stirring motions of $X$ and $Y$ reinforce each other on average? — averaged via the trace over all directions in $\mathfrak{g}$.

If $X$ is central (${\mathrm{ad}}_X=0$, no stirring), it contributes nothing to $B$, so it lands in the radical of the form — degeneracy. More generally, the parts of $\mathfrak{g}$ that act "nilpotently / triangularly" on the whole algebra produce traceless products and slip into the kernel of $B$. Solvable algebras are exactly those that can be simultaneously triangularized, which is why their commutators always pair to zero. Semisimple algebras have no such hiding places: every nonzero direction couples to something, so $B$ is nondegenerate — a perfect pairing that lets you raise and lower indices, define Casimir elements, and identify $\mathfrak{g}\cong {\mathfrak{g}}^{\ast }$ as a representation.

The Killing form as a pairing: nondegenerate (semisimple) vs. degenerate (with radical)

<svg viewBox="0 0 760 380" xmlns="http://www.w3.org/2000/svg">
<rect width="760" height="380" fill="#0a0e17"/>
<text x="380" y="30" fill="#e2e8f0" font-size="17" text-anchor="middle" font-family="sans-serif">Killing form B(X,Y) = tr(ad_X ad_Y)</text>

<!-- Left: semisimple, nondegenerate -->
<text x="190" y="62" fill="#e2e8f0" font-size="14" text-anchor="middle" font-family="sans-serif">Semisimple: B nondegenerate</text>
<line x1="60" y1="200" x2="320" y2="200" stroke="#94a3b8" stroke-width="1.5"/>
<line x1="190" y1="90" x2="190" y2="310" stroke="#94a3b8" stroke-width="1.5"/>
<path d="M 70 140 Q 190 100 310 140 Q 250 200 310 260 Q 190 300 70 260 Q 130 200 70 140 Z"
      fill="none" stroke="#d4a853" stroke-width="2.5"/>
<text x="190" y="205" fill="#e2e8f0" font-size="12" text-anchor="middle" font-family="sans-serif">0</text>
<text x="190" y="335" fill="#94a3b8" font-size="11" text-anchor="middle" font-family="sans-serif">level sets of B are bounded ellipsoids</text>

<!-- Right: with radical, degenerate -->
<text x="570" y="62" fill="#e2e8f0" font-size="14" text-anchor="middle" font-family="sans-serif">Has radical: B degenerate</text>
<line x1="440" y1="200" x2="700" y2="200" stroke="#94a3b8" stroke-width="1.5"/>
<line x1="570" y1="90" x2="570" y2="310" stroke="#94a3b8" stroke-width="1.5"/>
<!-- degenerate direction: flat line -->
<line x1="450" y1="160" x2="690" y2="160" stroke="#d4a853" stroke-width="2.5"/>
<line x1="450" y1="240" x2="690" y2="240" stroke="#d4a853" stroke-width="2.5"/>
<text x="715" y="164" fill="#d4a853" font-size="11" font-family="sans-serif">rad B</text>
<line x1="570" y1="120" x2="570" y2="280" stroke="#d4a853" stroke-width="1" stroke-dasharray="4 3"/>
<circle cx="570" cy="200" r="4" fill="#d4a853"/>
<text x="570" y="335" fill="#94a3b8" font-size="11" text-anchor="middle" font-family="sans-serif">flat directions = kernel (solvable ideal)</text>
</svg>

Worked Examples

The Killing form of $\mathfrak{sl}_2(\mathbb{C})$

A solvable algebra: the $2$-dimensional non-abelian Lie algebra

Common Misconceptions

1. "$B$ is positive-definite." False even for semisimple algebras: $B$ on ${\mathfrak{sl}}_2(\mathbb{R})$ has signature $(2,1)$. Definiteness (negative-definite) holds only for compact real forms.
2. "$B$ nondegenerate $\iff$ $\mathfrak{g}$ simple." No — nondegeneracy means semisimple (a direct sum of simples). Simplicity is stronger.
3. "Cartan's criteria hold in any characteristic." They require characteristic $0$ (or characteristic $>$ some bound). In positive characteristic, the trace machinery fails and there exist semisimple algebras with degenerate Killing form.

Connections

The adjoint representation and Killing form sit at a crossroads of algebra, geometry, and physics:

• Root Systems and Cartan Subalgebras — restricting $B$ to a Cartan subalgebra $\mathfrak{h}$ and dualizing gives the inner product on the weight lattice that defines root lengths and angles; the entire classification of Dynkin Diagrams is geometry of $B{|}_{{\mathfrak{h}}^{\ast }}$.
• Casimir Element — when $B$ is nondegenerate, choosing dual bases $\{e_a\},\{e^a\}$ with $B(e_a,e^b)={\delta }_a^b$ yields the quadratic Casimir $\Omega ={\sum }_a{e}_a{e}^a$ in the universal enveloping algebra, central by invariance $[5]$.
• Compact Lie Groups and Bi-invariant Metrics — on a compact semisimple group, $-B$ is the canonical bi-invariant Riemannian metric; geodesics are one-parameter subgroups.
• Semisimple Lie Algebras — Cartan's criterion $[7]$ is the definition-in-practice, and nondegeneracy drives Weyl's complete reducibility theorem.
• Levi Decomposition — the radical of $B$ probes the solvable radical, the obstruction split off by Levi's theorem.

Real-World Applications

1. Gauge theory & the Yang–Mills Lagrangian. The kinetic term $-\frac{1}{4}B(F_{\mu \nu },F^{\mu \nu })$ for a non-abelian gauge field uses the Killing form (or a fixed normalization of it) as the invariant inner product on the Lie algebra $\mathfrak{su}(N)$; gauge invariance relies precisely on its $\mathrm{Ad}$-invariance.

1. General relativity & isometry algebras. The Killing vector fields of a metric (unrelated name, but the form classifies their algebra) form a Lie algebra whose semisimple part is analyzed via $B$; symmetry classification of spacetimes (Bianchi types) uses adjoint actions.

1. Particle physics — the Standard Model. The structure constants $f^{abc}$ of $\mathfrak{su}(3)\times \mathfrak{su}(2)\times \mathfrak{u}(1)$ and their Killing normalization fix coupling-constant conventions and anomaly coefficients $\mathrm{tr}(T^a{T}^b)\propto B^{ab}$.

1. Robotics & rigid-body kinematics. The Lie algebra $\mathfrak{se}(3)$ of rigid motions uses an $\mathrm{Ad}$-invariant (Klein) form for screw-theory dynamics; the adjoint map transports twists and wrenches between frames.

1. Numerical Lie-group integrators. Algorithms like Runge–Kutta–Munthe-Kaas exploit $\mathrm{ad}$-operators and the Baker–Campbell–Hausdorff series to integrate ODEs on manifolds preserving group structure.

1. Geometric control theory. Controllability via the Lie-algebra-rank condition uses iterated $\mathrm{ad}$-brackets of control vector fields; the bracket-generating property is an adjoint-orbit statement.

1. Conformal field theory & WZW models. The level-$k$ affine Kac–Moody central charge $c=\frac{k\dim \mathfrak{g}}{k+h^{\vee }}$ is built from the Killing-form normalization and dual Coxeter number $h^{\vee }$.

Historical Development

• 1873–1880s — Sophus Lie develops the theory of continuous transformation groups and their infinitesimal generators, implicitly the adjoint action.
• 1888 — Wilhelm Killing publishes the first installment of "Die Zusammensetzung der stetigen endlichen Transformationsgruppen," introducing what is now the Killing form and the characteristic equation of ${\mathrm{ad}}_X$.
• 1888–1890 — Killing completes four papers, discovering Cartan subalgebras, roots, the Cartan integers, and the classification list including the exceptional algebras.
• 1894 — Élie Cartan's doctoral thesis "Sur la structure des groupes de transformations finis et continus" rigorously establishes the solvability and semisimplicity criteria (Equations $[6]$–$[7]$) and corrects Killing's gaps.
• 1913–1925 — Cartan and Hermann Weyl develop the representation theory; Weyl proves complete reducibility (1925) using the Casimir built from $B$.
• 1925 — Weyl's "unitarian trick" exploits the negative-definiteness of $B$ on compact real forms to transfer results between compact and complex groups.
• 1934 — Hans Zassenhaus and others systematize the structure theory; the name "Killing form" gains currency through Dynkin and Bourbaki later.
• 1947–1952 — Eugene Dynkin introduces Dynkin diagrams, recasting the $B$-geometry of roots into combinatorial form.
• 1955–1960s — Chevalley constructs the algebras over arbitrary fields, exposing the characteristic-$p$ failures of the Killing-form criteria.

Subtleties & Limits

See Also