Corepresentations of unitary and antiunitary groups
In quantum mechanics, symmetry operations are of importance in giving information about solutions to a system. Typically these operations form a mathematical group, such as the rotation group SO(3) for spherically symmetric potentials. The representation theory of these groups leads to irreducible representations, which for SO(3) gives the angular momentum ket vectors of the system. Standard representation theory uses linear operators. However, some operators of physical importance such as time reversal are antilinear, and including these in the symmetry group leads to groups including both unitary and antiunitary operators. This article is about corepresentation  theory, the equivalent of representation theory for these groups. It is mainly used in the theoretical study of magnetic structure but is also relevant to particle physics due to CPT symmetry. It gives basic results, the relation to ordinary representation theory and some references to applications. 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 (where '*' means complex conjugation): Properties. As this is a homomorphism Reducibility. Two corepresentations are equivalent if there is a matrix V 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's  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 formula_4. The equivalent of Schur's lemma for irreducible corepresentations is that the set of commuting matrices is isomorphic to formula_5, formula_4 or the quaternions formula_7 Using the intertwining number 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 formula_8 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: and set formula_10 for an arbitrary element formula_11. There are three cases, distinguished by the character test eq 7.3.51 of Cracknell and Bradley 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