Skip to content

Lie Groups & Representation Theory

← Back to Domain-Specific Families

Abstractions about the structure theory of Lie groups and algebras — group and algebra families (Heisenberg group, SO(8), En Lie algebras, current algebra), decomposition and classification tools (Iwasawa decomposition, restricted root system, real form), and representation-theoretic objects such as Verma modules and discrete series representations.

17 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

  • Abelian Lie group — A smooth Lie group whose multiplication is commutative, combining a finite-dimensional manifold with an abelian group structure and smooth operations.
  • Current algebra — An infinite-dimensional Lie algebra of Lie-algebra-valued functions on a manifold, arising physically from equal-time commutators of conserved current densities.
  • En (Lie algebra) — The Lie or Kac–Moody algebra family associated with the E-n branching Dynkin diagram, including exceptional finite cases and indefinite extensions.
  • Exponential map (Lie theory) — The canonical smooth map sending a Lie-algebra element to the time-one point of its one-parameter subgroup in the Lie group.
  • Heisenberg group — A two-step nilpotent group that centrally extends a position-momentum vector space, canonically realized by upper-unitriangular matrices with a bilinear cross term.
  • Infinitesimal transformation — A first-order generator describing the tangent direction of a continuous one-parameter family of transformations at the identity.
  • Iwasawa decomposition — A factorization G=KAN of a connected real semisimple Lie group into maximal compact, abelian and nilpotent subgroups, generalizing matrix QR decomposition.
  • N = 2 superconformal algebra — An infinite-dimensional Lie superalgebra extending the Virasoro algebra by a U(1) current and two fermionic supercurrents.
  • Nilmanifold — A homogeneous manifold represented as a quotient of a nilpotent Lie group by a closed subgroup, with compact nilmanifolds commonly arising from cocompact discrete lattices.
  • One-parameter group — A continuous homomorphism from the additive real numbers into a topological group, representing a continuously parameterized group action or flow.
  • Quaternionic discrete series representation — A discrete-series representation of a semisimple real Lie group whose symmetric space carries the quaternionic structure associated with an SU(2) factor in a maximal compact subgroup.
  • Real form (Lie theory) — A real Lie algebra or group whose scalar extension to the complex numbers recovers a specified complex Lie algebra or group.
  • Restricted root system — The root system obtained by restricting a semisimple Lie algebra’s roots to a maximal abelian subspace in the noncompact part of a symmetric decomposition.
  • SO(8) — The rank-four, 28-dimensional special orthogonal Lie group of orientation-preserving linear isometries of eight-dimensional Euclidean space, distinguished by triality in its Spin(8) cover.
  • Steinberg formula — A Weyl-group and Kostant-partition-function formula for the multiplicity of an irreducible highest-weight representation inside a tensor product of two irreducible representations of a complex semisimple Lie algebra.
  • U-invariant — The supremum of dimensions of anisotropic quadratic forms over a field, equivalently the threshold above which every form is isotropic when finite.
  • Verma module — A highest-weight module induced from a one-dimensional Borel representation, universal among highest-weight modules of the same weight.