Isotypical representation

From HandWiki - Reading time: 2 min

In group theory, an isotypical, primary or factor representation[1] of a group G is a unitary representation [math]\displaystyle{ \pi : G \longrightarrow \mathcal{B}(\mathcal{H}) }[/math] such that any two subrepresentations have equivalent sub-subrepresentations.[2] This is related to the notion of a primary or factor representation of a C*-algebra, or to the factor for a von Neumann algebra: the representation [math]\displaystyle{ \pi }[/math] of G is isotypical iff [math]\displaystyle{ \pi(G)^{''} }[/math] is a factor.

This term more generally used in the context of semisimple modules.

Property

One of the interesting property of this notion lies in the fact that two isotypical representations are either quasi-equivalent or disjoint (in analogy with the fact that irreducible representations are either unitarily equivalent or disjoint).

This can be understood through the correspondence between factor representations and minimal central projection (in a von Neumann algebra).[3] Two minimal central projections are then either equal or orthogonal.

Example

Let G be a compact group. A corollary of the Peter–Weyl theorem has that any unitary representation [math]\displaystyle{ \pi : G \longrightarrow \mathcal{B}(\mathcal{H}) }[/math] on a separable Hilbert space [math]\displaystyle{ \mathcal{H} }[/math] is a possibly infinite direct sum of finite dimensional irreducible representations. An isotypical representation is any direct sum of equivalent irreducible representations that appear (typically multiple times) in [math]\displaystyle{ \mathcal{H} }[/math].

References

Bibliography

Further reading

  • Mackey
  • "Lie Groups", Claudio Procesi, def. p. 156.
  • "Group and symmetries", Yvette Kosmann-Schwarzbach





Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Isotypical_representation
12 views | Status: cached on July 30 2024 18:06:34
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF