Killing form

Pair two elements of a finite-dimensional Lie algebra by tracing the composition of their adjoint endomorphisms, obtaining a canonical symmetric invariant bilinear form whose degeneracy diagnoses structure.

Version

v3 · 2026-09-19 · History

Domain-specific #

2129

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Lie Theory, Invariant Bilinear Forms on Lie Algebras → Mathematics

Core Idea

For a finite-dimensional Lie algebra \(\mathfrak g\), the Killing form is the bilinear form \(B(x,y)=\operatorname{tr}(\operatorname{ad}_x\operatorname{ad}_y)\), where \(\operatorname{ad}_x(z)=[x,z]\). Each algebra element acts linearly by the adjoint representation; composing two such actions and taking the basis-independent trace converts the internal bracket structure into a scalar pairing that is symmetric and invariant under the adjoint action.

Its autonomous residual is the canonical trace pairing derived from the adjoint representation, not an arbitrary invariant bilinear form, a chosen inner product, or the trace form of an unrelated representation.

How would you explain it like I'm…

 

No faithful explanation at this level. Any picture simple enough for a young child reduces it to a generic way of measuring or comparing two things, which is exactly the arbitrary chosen pairing the Killing form is not; its identity is the specific trace of composed adjoint actions.

The Move-Pair Number

Mathematicians study collections of 'moves' where you can combine two moves to get a new one, a bit like a rule for how twisting one way and then another mixes together. Every move can be thought of as a machine that changes the other moves. The Killing form takes two moves, runs one machine after the other, and boils the whole result down to a single number using a special recipe called the trace. The cool part is that this number doesn't depend on how you choose to write things down, and it comes straight from the moves themselves, not from any outside ruler you pick.

Adjoint Trace Pairing

A Lie algebra is a vector space with a 'bracket' operation [x, y] that captures how infinitesimal symmetries combine. Each element x defines a linear map ad_x that sends z to [x, z]; this is called the adjoint representation. The Killing form pairs two elements x and y by composing their maps and taking the trace: B(x, y) = tr(ad_x ad_y). Because trace doesn't depend on the basis you use, the number is intrinsic to the algebra, and it turns out to be symmetric and unchanged by the algebra's own adjoint action. Unlike an inner product you might choose freely, or a trace taken in some other representation, the Killing form is the one canonical pairing built from the adjoint action. Mathematicians use it to test properties like semisimplicity and solvability, under the right assumptions about the number field.

 

For a finite-dimensional Lie algebra g over a field, the Killing form is B(x, y) = tr(ad_x ∘ ad_y), where ad_x(z) = [x, z] is the adjoint representation. Concretely, you pick a basis, write the adjoint matrices of x and y, multiply them, and take the trace; the result is basis-independent. B is a symmetric bilinear form and is invariant under the adjoint action, meaning B([z, x], y) + B(x, [z, y]) = 0. It is not just any invariant bilinear form or chosen inner product, nor the trace form of some other representation; calling those 'the Killing form' is an error. Common pitfalls include taking the trace on the wrong space, using infinite-dimensional traces without extra structure, and confusing nondegeneracy with definiteness. Its radical (the elements pairing to zero with everything) carries structural information. With the appropriate hypotheses on the field's characteristic, Cartan's criteria use it to detect semisimplicity (nondegenerate B) and solvability. It also feeds into orthogonality relations, Casimir elements, and comparisons of real forms, but those are applications, not the definition.

Scope of Application

Killing form applies when the analyst can specify a finite-dimensional Lie algebra over a declared field together with its adjoint representation on the underlying vector space and establish that the scalar assigned to every ordered pair is exactly the trace of the composed adjoint maps for the same Lie algebra, so bilinearity, symmetry, and invariance follow from linearity, cyclicity of trace, and the Jacobi identity. The reference identity is finite-dimensional. Infinite-dimensional, superalgebra, quantum, and characteristic-sensitive analogues require their own trace and nondegeneracy hypotheses.

Clarity

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because Killing form can be represented by a matrix after choosing a basis, but the matrix changes by congruence while the bilinear form itself is basis independent. The disciplined statement is that the object counts as Killing form exactly when the scalar assigned to every ordered pair is exactly the trace of the composed adjoint maps for the same Lie algebra, so bilinearity, symmetry, and invariance follow from linearity, cyclicity of trace, and the Jacobi identity

Manages Complexity

The abstraction compresses complex and real Lie algebras, semisimple and nonsemisimple cases, simple factors, characteristic-dependent behavior, matrix realizations, and restrictions to subalgebras into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares base field, characteristic, dimension, basis, adjoint representation, radical, rank, determinant, signature, semisimplicity, solvability, and normalization and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning

1. Type the carrier. Establish a finite-dimensional Lie algebra over a declared field together with its adjoint representation on the underlying vector space and reject examples from a different problem.
2. Lock the rule. Express that the scalar assigned to every ordered pair is exactly the trace of the composed adjoint maps for the same Lie algebra, so bilinearity, symmetry, and invariance follow from linearity, cyclicity of trace, and the Jacobi identity independently of one notation or implementation.

Knowledge Transfer

Transfer within lie theory is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from For \(\mathfrak{sl}_n\) over a characteristic-zero field, the Killing form is a nonzero scalar multiple of \(\operatorname{tr}(xy)\), making its nondegeneracy transparent on the traceless matrices. to For a real semisimple Lie algebra, the signature of the Killing form helps distinguish compact and noncompact directions and enters the Cartan decomposition. demonstrates that continuity.

Relationships to Other Abstractions

Current abstraction Killing form Domain-specific

Parents (1) — outgoing typed relations

• Killing form is a kind of Function (Mapping) Prime

  The form is literally a scalar-valued function of two Lie-algebra elements; bilinearity, adjoint-trace construction, and invariance supply the Lie-theoretic specialization.

Hierarchy path (1) — routes to 1 parentless root

• Killing form → is a kind of Function (Mapping)

Neighborhood in Abstraction Space

Killing form sits in a crowded region of the domain-specific corpus (27^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Operator Algebras & Commutant Structures (9 abstractions)

Nearest neighbors

• Current algebra — 0.90
• Representation on coordinate rings — 0.89
• Triple system — 0.89
• Linear group — 0.89
• Frobenius normal form — 0.88

Computed from structural-signature embeddings · 2026-10-25