Use and define . A direct multiplication givesWith , , this implies and . Resolving the raising and lowering combinations givesThese operators realize the Schwinger boson representation of angular momentum. Each commutes with , so fixed total occupation is an invariant subspace.
The bosonic commutator is important in and . ThereforeOn the -particle sector,For example gives spin . The total number operator can be retained in the same identity before restricting to a sector.
Total symmetry makes a component depend only on its number of up indices. The possible values are , givingA normalized basis is , with eigenvalue . It is precisely one spin- multiplet. These are independent complex amplitudes before normalization and removal of a common quantum phase, rather than independent real physical parameters.
The defining matrix conditions areThe group operation is matrix multiplication. Equivalently with real and , so it has three real parameters and is a compact connected simply connected Lie group. Its Hermitian spin generators obey the commutator from part (a); the corresponding Lie-algebra matrices themselves are traceless and anti-Hermitian.
The literal printed difference is zero, because the same spin-index product appears twice, and zero is invariant under every transformation. The intended SU(2)-invariant antisymmetric spinor contraction uses opposite indices in the second term. With , define . For any two-by-two matrix,Thus for ,Expanding the determinant identity proves the result without complex conjugating either spinor. This is the invariant alternating tensor behind the spin singlet state. If the two spinors are identical, the contraction vanishes. An antisymmetric internal two-boson state also needs an antisymmetric additional degree of freedom for overall bosonic symmetry; it does not lie in the fully symmetric fixed-two-mode sector discussed above.
Articles by others on the same topic
There are currently no matching articles.