geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Representation theory is concerned with the study of algebraic structures via their representations, This concerns notably groups, directly or in their incarnation as group algebras, Hopf algebras or Lie algebras, and usually concerns linear representations, hence modules of these structures. But more generally representation theory also studies representations/modules/actions of generalizations of such structures, such as coalgebras via their comodules etc.
See also at geometric representation theory.
The fundamental of representation theory have a particular natural formulation in homotopy theory and in fact in homotopy type theory, which also refines it from the study of representations of groups to that of
∞-representations of ∞-groups. This includes both discrete ∞-groups as well as geometric homotopy types such as smooth ∞-groups, the higher analog of Lie groups.
The key observation to this translation is that
an ∞-group $G$ is equivalently given by its delooping $\mathbf{B}G$ regarded with its canonical point (see at looping and delooping), hence the universal $G$-principal ∞-bundle
an ∞-action $\rho$ of $G$ on any geometric homotopy type $V$ is equivalently given by a homotopy fiber sequence of the form
hence by a $V$-fiber ∞-bundle over $\mathbf{B}G$ which is the $\rho$-associated ∞-bundle to the universal $G$-principal ∞-bundle (see at ∞-action for more on this).
Under this identification, the representation theory of $G$ is equivalently
the homotopy theory in the slice (∞,1)-topos over $\mathbf{B}G$;
the homotopy type theory in the context of/dependent on $\mathbf{B}G$.
More in detail, this yields the following identifications:
representation theory and equivariant cohomology in terms of (∞,1)-topos theory/homotopy type theory:
homotopy type theory | representation theory |
---|---|
pointed connected context $\mathbf{B}G$ | ∞-group $G$ |
dependent type | ∞-action/∞-representation |
dependent sum along $\mathbf{B}G \to \ast$ | coinvariants/homotopy quotient |
context extension along $\mathbf{B}G \to \ast$ | trivial representation |
dependent product along $\mathbf{B}G \to \ast$ | homotopy invariants/∞-group cohomology |
dependent product of internal hom along $\mathbf{B}G \to \ast$ | equivariant cohomology |
dependent sum along $\mathbf{B}G \to \mathbf{B}H$ | induced representation |
context extension along $\mathbf{B}G \to \mathbf{B}H$ | |
dependent product along $\mathbf{B}G \to \mathbf{B}H$ | coinduced representation |
spectrum object in context $\mathbf{B}G$ | spectrum with G-action (naive G-spectrum) |
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
character sheaf?, Harish Chandra transform
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
A list of texts on representation theory is maintained at
The relation to number theory and the Langlands program is discussed in