Representation theory MOC

Representation operator

Given a unitary representation π‘ˆ :𝐺 β†’GL(𝑉) and some representation (usually an irrep) Ξ“ :𝐺 β†’GL(𝑉0), a representation operator1 transforming in Ξ“ is a linear map O :𝑉0 →𝖡𝖾𝖼𝗍ℂ(𝑉,𝑉) satisfying2 rep

O(Ξ“(𝑔)𝑣)=π‘ˆ(𝑔)O(𝑣)π‘ˆ(𝑔)†

for all 𝑔 ∈𝐺 and 𝑣 βˆˆπ‘‰. If Ξ“ is an irrep Ξ“πœ‡ we denote a corresponding representation operator as Oπœ‡.

Warning

Every operator transforms in a representation

Fixed basis

The properties and motivation for a representation operator become clearer when a basis is {𝑒𝑗} fixed for 𝑉0. It is common to think of a representation operator O as a set of irreducible operators3 O𝑗 =O(𝑒𝑗) :𝑉 →𝑉 corresponding to each basis vector. The condition above thence becomes

π‘ˆ(𝑔)Oπ‘–π‘ˆ(𝑔)†=βˆ‘π‘—O𝑗Γ𝑗𝑖(𝑔)

which is essentially the statement that the O𝑖 transform like the basis vectors 𝑒𝑗 under 𝐺. This is a direct generalisation of the Tensor operator (including scalar and vector operators), which transform in the standard representation of SO(3).

Properties


develop | en | SemBr

Footnotes

  1. Keppeler refers to this as a set of irreducible operators ↩

  2. 2015, Introduction to tensors and group theory for physicists, Β§6.2, p. 276ff ↩

  3. 2023, Groups and representations, Β§4.2, p. 54 ↩