Corepresentations of unitary and antiunitary groups

• Comment: Note: Please see T-symmetry#Anti-unitary representation of time reversal. This page might be useful for reviewers. TheBirdsShedTears (talk) 18:05, 9 July 2021 (UTC)

• Comment: please indicate what the title of this draft should be Theroadislong (talk) 11:12, 9 July 2021 (UTC)

---

Corepresentations of unitary/antiunitary groups

Eugene Wigner.. showed that a symmetry operation S of a Hamiltonian is represented in quantum mechanics either by a unitary operator, S = U, or an antiunitary one, S = UK where U is unitary, and K denotes complex conjugation. Antiunitary operators arise in quantum mechanics due to the time reversal operator

If the set of symmetry operations (both unitary and antiunitary) forms a group, then it is commonly known as a magnetic group and many of these are described in magnetic space groups.

A group of unitary operators may be represented by a group representation. Due to the presence of antiunitary operators this must be replaced by Wigner's corepresentation theory.

Definition

Let G be a group with a subgroup H of index 2. A corepresentation is a homomorphism into a group of operators over a vector space over the complex numbers where for all u in H the image of u is a linear operator and for all a in the coset G-H the image of a is antilinear:

${\begin{aligned}&\forall u\in H,D(u)(ax+by)=a\times D(u)x+b\times D(u)y\\&\forall a\in G-H,D(a)(ax+by)=a\times D(a)x+b\times D(a)y\end{aligned}}$

Properties

As this is a homomorphism

${\begin{aligned}&D(u_{1}u_{2})=D(u_{1})D(u_{2})\\&D(ua)=D(u)D(a)\\&D(au)=D(a)D(u)^{*}\\&D(a_{1}a_{2})=D(a_{1})D(a_{2})^{*}\end{aligned}}$

Reducibility

Two corepresentations are equivalent if there is a matrix V

${\begin{aligned}&\forall u,D'(u)=VD(u)V^{-}1\\&\forall a,D'(a)=VD(a)V^{*-1}\end{aligned}}$

Just like representations, a corepresentation is reducible if there is a proper subspace invariant under the operations of the corepresentation. If the corepresentation is given by matrices, it is reducible if it is equivalent to a corepresentation with each matrix in block diagonal form.

If the corepresentation is not reducible, then it is irreducible.

Schur' lemma

Schur's lemma for irreducible representations over the complex numbers states that if a matrix commutes with all matrices of the representation then it is a (complex) multiple of the identity matrix, that is, the set of commuting matrices is isomorphic to the complex numbers $\mathbb {C}$. The equivalent of Schur's lemma for irreducible corepresentations is that the set of commuting matrices is isomorphic to $\mathbb {R}$, $\mathbb {C}$ or the quaternions $\mathbb {Q}$ Using the intertwining number[1] over the real numbers, this may be expressed as an intertwining number of 1, 2 or 4.

Relation to representations of the linear subgroup

Typically, irreducible corepresentations are related to the irreducible representations of the linear subgroup H . Let $\Delta$ be an irreducible (ordinary) representation of he linear subgroup H. Form the sum over all the antilinear operators of the square of the character of each of these operators:

$S=\sum _{a}\chi _{\Delta }(a^{2})$

and set $P=D(a_{0})$ for an arbitrary element $a_{0}$.

There are three cases, distinguished by the character test eq 7.3.51 of Cracknell and Bradley

Type(a)

If S = |H| (the intertwining number is one) then D is an irreducible corepresentation of the same dimension as $\Delta$ with

${\begin{aligned}&D(u)=\Delta (u)\\&D(a)=D(aa_{0}^{-1}a_{0})=\Delta (aa_{0})P\end{aligned}}$

Type(b)

S = -|H| (the intertwining number is four) then D is an irreducible representation formed from two 'copies' of $\Delta$

${\begin{aligned}&D(u)={\begin{pmatrix}\Delta (u)&0\\0&\Delta (u)\end{pmatrix}}\\&D(a)={\begin{pmatrix}0&\Delta (aa_{0}^{-1})P\\-\Delta (aa_{0}^{-1})P&0\end{pmatrix}}\end{aligned}}$

Type(c)

If S = 0 (the intertwining number is two), then D is an irreducible corepresentation formed from two inequivalent representations $\Delta$ and $\Delta '$ where $\Delta '(u)=\Delta (a_{0}^{-1}ua_{0})^{*}$

${\begin{aligned}&D(u)={\begin{pmatrix}\Delta (u)&0\\0&\Delta (a_{0}^{-1}ua_{0})^{*}\end{pmatrix}}\\&D(a)={\begin{pmatrix}0&\Delta (aa_{0})\\\Delta (a_{0}^{-1}a)^{*}&0\end{pmatrix}}\end{aligned}}$

Cracknell and Bradley show how to use these to construct corepresentations for the magnetic point groups, while Cracknell and Wong give more explicit tables for the double magnetic groups.

Character theory of corepresentations

Standard representation theory for finite groups has a square character table with row and column orthogonality properties. With a slightly different definition of conjugacy classes and use of the interwtwining number, a square character table with similar orthogonality properties also exists for the corepresentations of finite magnetic groups.

Based on this character table, a character theory mirroring that of representation theory has been developed

See also

• Mock, A. (2016). "Characterization of parity-time symmetry in photonic lattices using Heesh-Shubnikov group theory". Optics Express. 24 (20): 22693–22707.
• Schweiser, J. (2005). "Time inversion in the representation analysis of magnetic structures theory". C. R. Physique. 6: 375–384.
• Angeloval, M. N.; Boyle, L. L. (2005). "On the classification and enumeration of the irreducible co-representations of magnetic space groups". Journal of Physics A: Mathematical and General. 29 (5): 993–1010.
• Scurek, R. (2004). "Understanding the CPT group in particle physics: Standard and nonstandard representations". Am. J. Phys. 75 (5): 638–643. doi:10.119.1/1.1629087.

References

Category:Representation theory of groups Category:Quantum mechanics