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
Be?linson-Bernstein localization?
A representation/action is trivial if it is given by the projection out of the product onto .
(induced representation of the trivial representation)
Let be a finite group and a subgroup-inclusion. Then the induced representation in Rep(G) of the 1-dimensional trivial representation is the permutation representation of the coset G-set :
This follows directly as a special case of the general formula for induced representations of finite groups (this Example).
representation theory and equivariant cohomology in terms of (∞,1)-topos theory/homotopy type theory (FSS 12 I, exmp. 4.4):
Last revised on March 20, 2020 at 16:44:25. See the history of this page for a list of all contributions to it.