Representation Theory of Groups
Representation theory studies groups through their linear actions on vector spaces and modules. This collection develops methods that apply across families of groups: character theory, induction and restriction, fields of definition, projective representations and Clifford theory. The modular branch studies blocks, defect groups, relative projectivity and the Green and Brauer correspondences, with coefficient characteristic and semisimplicity hypotheses kept explicit.
The topological branch begins with Haar measure and convolution, then constructs unitary representations, positive-type functions and cyclic representations. Averaging leads to complete reducibility for compact groups; Peter–Weyl theory supplies the density and decomposition statements needed for their harmonic analysis. Induction for locally compact groups leads toward imprimitivity, group operator algebras and direct integrals. Amenability, property T and the representations of the real special linear group provide concrete applications and boundaries.
Specialized theories have four categories: Symmetric Groups and Symmetric Functions; Quantum Groups and Crystal Bases; Hecke Algebras and Categorification; and Category O and Geometric Representation Theory. Braid Groups and Hopf Algebras & Hecke Algebras have their own categories. Page and item publication statuses distinguish available proofs from future work.
Pathway
The parts run in order. Everything a page needs from this group has been read by the time you reach it, and the level on each row is how many dependency steps into the group that page sits.
Part 1 · General Methods and Group Representations
30 pagesFinite-group methods lead from characters and induced characters through Brauer's modular theory to blocks, defect groups and the Green correspondence, while the modular function and group algebras open the analytic half. There, unitary representations, positive type and GNS, complete reducibility and Peter–Weyl, induced representations and Mackey imprimitivity, group C*-algebras and the Fell dual develop the compact and locally compact theory; amenability, direct integral decomposition into factor and type-I representations, and Kazhdan's property (T) supply structural results. The pages compute the principal, complementary and discrete series and the irreducible unitary dual. Geometrically, equivariant constructible perverse foundations and quiver full-flag incidence bundles with their compactifications support correspondence convolution realizing the signed KLR algebra as an equivariant Ext algebra.
This page fixes the RG-1 convention that a rational character means an element of the rational representation ring R ℚ(G), while rational-valued class functions remain a distinct notion.
2 definitions, 3 lemmas, 1 theorem, 3 corollariesExamples & counterexamples →A block is viewed as an indecomposable module for the double group, with defect groups defined by diagonal vertices.
6 definitions, 16 lemmas, 2 propositions, 11 theorems, 2 corollariesExamples & counterexamples →Brauer induction upgrades cyclic rational induction to integral induction from linear characters of elementary subgroups.
3 definitions, 11 lemmas, 1 proposition, 2 theorems, 3 corollariesExamples & counterexamples →This page develops the structure of the finite general linear group GL n(F q) through its standard subgroups and its action on flags.
6 definitions, 5 lemmas, 1 proposition, 8 theoremsExamples & counterexamples →- Clifford Theory over Normal Subgroups14 results
For a finite group G and a normal subgroup N, translation organizes the restriction of an irreducible complex representation into one orbit of normal isotypical components.
3 definitions, 6 lemmas, 3 theorems, 2 corollariesExamples & counterexamples → This page builds the equivariant constructible derived category attached to an algebraic action of a product of complex general linear groups on a separated finite-type…
1 definition, 5 lemmas, 3 theoremsExamples & counterexamples →This page develops the two classical routes to Frobenius' normal p-complement theorem.
9 definitions, 22 lemmas, 3 propositions, 3 theorems, 2 corollariesExamples & counterexamples →Finite Galois descent turns invariant tensors into objects over the base field.
1 definition, 3 lemmas, 1 theoremExamples & counterexamples →- Haar Measure Existence and Uniqueness14 results
A locally compact Hausdorff group admits a nonzero left-invariant Radon measure, unique up to a positive scalar.
2 definitions, 8 lemmas, 2 theorems, 2 corollariesExamples & counterexamples → The page fixes the convention that complex Hilbert pairings are linear in the first variable.
4 definitions, 8 lemmas, 4 theorems, 1 corollaryExamples & counterexamples →- Monomial Characters and M Groups10 results
A monomial representation of a finite group G is one induced from a one-dimensional representation of some subgroup, and G is an M-group when every irreducible complex character of G is monomial.
1 definition, 5 lemmas, 2 theorems, 1 corollary, 1 remarkExamples & counterexamples → This page develops the principal series of the finite general linear group G=GL n(F q) and the Hecke-algebraic control of its intertwiners.
5 definitions, 14 lemmas, 1 proposition, 7 theorems, 3 corollariesExamples & counterexamples →Projective representations of a finite group replace the multiplicativity P(q)P(r)=P(qr) by P(q)P(r)=α(q,r)P(qr) for a factor set α, and the associativity of operator…
3 definitions, 6 lemmas, 3 theoremsExamples & counterexamples →- Schur Indices and Fields of Definition15 results
For a finite group in characteristic zero, character values need not determine a field in which matrices can be chosen.
5 definitions, 4 lemmas, 5 theorems, 1 corollaryExamples & counterexamples → This page realizes the signed KLR algebra of a finite loopless quiver, with arbitrary parallel arrows and arrows in both directions, as the equivariant Ext algebra of a…
1 definition, 3 theoremsExamples & counterexamples →This page develops the modular function of a locally compact Hausdorff group and the Banach ∗-algebra structure of its L¹ space.
8 definitions, 8 lemmas, 2 propositions, 4 theoremsExamples & counterexamples →The Green correspondence compares indecomposable modules of a finite group with those of a subgroup containing the normalizer of a chosen p-subgroup.
1 definition, 6 lemmas, 1 theorem, 1 corollaryExamples & counterexamples →- Brauers First Main Theorem15 results
Block induction is defined by a unique block-bimodule summand.
2 definitions, 8 lemmas, 4 theorems, 1 corollaryExamples & counterexamples → - Complete Reducibility for Compact Groups14 results
On a compact Hausdorff group the normalized Haar probability of haar-measure-existence-and-uniqueness can be used to average intrinsic data of a representation.
3 definitions, 7 lemmas, 4 theoremsExamples & counterexamples → Let G be a locally compact Hausdorff group and H≤ G a closed subgroup.
3 definitions, 9 lemmas, 1 proposition, 5 theoremsExamples & counterexamples →This page builds the geometric input for semisimple pushforwards along quiver full-flag incidence maps.
1 lemma, 1 corollaryExamples & counterexamples →- Brauers Second Main Theorem16 results
Every element first splits into its commuting p- and p'-parts, which organizes the group into p-sections and makes generalized decomposition numbers the unique Brauer-character coefficients on each section.
4 definitions, 6 lemmas, 5 theorems, 1 corollaryExamples & counterexamples → - Mackeys Imprimitivity Theorem27 results
Mackey's imprimitivity theorem classifies the transitive systems of imprimitivity of a second-countable locally compact group G on a homogeneous space G/H: they are exactly…
4 definitions, 20 lemmas, 2 theorems, 1 corollaryExamples & counterexamples → Peter--Weyl theory identifies the harmonic analysis of a compact Hausdorff group with the decomposition of its regular representation.
4 definitions, 7 lemmas, 4 theorems, 2 corollariesExamples & counterexamples →This page develops the group C -algebra packaging of unitary representation theory and the Fell topology on the unitary dual.
9 definitions, 22 lemmas, 1 proposition, 6 theorems, 2 corollariesExamples & counterexamples →Amenability for locally compact groups can be expressed through invariant means, Reiter's condition, and Følner sets.
6 definitions, 15 lemmas, 1 proposition, 4 theorems, 1 corollaryExamples & counterexamples →This page develops the measurable structure behind decomposing a separable unitary representation into factor representations and, for type-I groups, irreducible representations with multiplicity.
7 definitions, 29 lemmas, 7 theorems, 1 corollaryExamples & counterexamples →- Sl2 R Principal and Complementary Series16 results
This page studies the normalized principal series of G=SL 2(ℝ) using its minimal parabolic subgroup and compact picture.
3 definitions, 5 lemmas, 7 theorems, 1 corollaryExamples & counterexamples → - Kazhdan's Property T and Spectral Gap24 results
This page develops Kazhdan's property (T), Kazhdan pairs and constants, and spectral gap for unitary representations.
7 definitions, 8 lemmas, 1 proposition, 8 theoremsExamples & counterexamples → This page develops the representation theory of the group G=SL 2(ℝ): the discrete series, the limits of discrete series, and the classification of the irreducible unitary dual.
4 definitions, 7 lemmas, 7 theorems, 1 corollaryExamples & counterexamples →
Part 2 · Algebra and representation interfaces
2 pages · after Part 1These draft extensions connect the existing foundations to algebraic structures and representation problems motivated by theoretical physics. Each companion supplies the planned examples and boundary cases; exact hypotheses, local proof obligations, and reuse holds remain in its page contract.
This draft supplies finite-dimensional real Weyl relations and their regular representations with the convention W(v)W(w)=e^-iλω(v,w)/2W(v+w).
4 definitions, 4 lemmas, 1 theoremExamples & counterexamples →This page builds the unitary positive-energy representations of connected covers of the proper orthochronous Poincaré group.
1 definition, 5 lemmas, 1 theoremExamples & counterexamples →