Weyl-Brauer matrices

Weyl-Brauer matrices

In mathematics, particularly in the theory of spinors, the Weyl-Brauer matrices are an explicit realization of a Clifford algebra as a matrix algebra. They generalize to "n" dimensions the Pauli matrices. They are named for Richard Brauer and Hermann Weyl, [Brauer, R. and Weyl, H., "Spinors in n dimensions", "Amer. J. Math.", 57 no. 2 (1935), 425-449.] , and were one of the first attempts to approach systematically the problem of spinors from a representation theoretic standpoint.

The matrices are formed by taking tensor products of the Pauli matrices, and the space of spinors may then be realized as the column vectors on which the Weyl-Brauer matrices act.

Construction

Suppose that "V" = Rn is a Euclidean space of dimension "n". There is a sharp contrast in the construction of the Weyl-Brauer matrices depending on whether the dimension "n" is even or odd. Let "n" = 2"k" or 2"k" + 1, and suppose that the Euclidean quadratic form on "V" is given by:q_1^2+dots+q_k^2+p_1^2+dots+p_k^2 (+p_n)^2where ("p"i, "q"i) are the standard coordinates on Rn.

Define matrices 1, 1', "P", and "Q" by:egin{matrix}{old 1}=left(egin{matrix}1&0\0&1end{matrix} ight),&{old 1}'=left(egin{matrix}1&0\0&-1end{matrix} ight),\P=left(egin{matrix}0&1\1&0end{matrix} ight),&Q=left(egin{matrix}0&i\-i&0end{matrix} ight)end{matrix}.

In even or in odd dimensionality, this quantization procedure amounts to replacing the ordinary "p", "q" coordinates with non-commutative coordinates constructed from "P", "Q" in a suitable fashion. "P" and "Q" correspond to the generalized "position" and "momentum" for the Weyl quantization, but this physical fact is not important for the abstract construction of the spinors.

Even case

In the case when "n" = 2"k" is even, let:P_i = {old 1}'otimesdotsotimes{old 1}'otimes P otimes {old 1}otimesdotsotimes{old 1}:Q_i = {old 1}'otimesdotsotimes{old 1}'otimes Q otimes {old 1}otimesdotsotimes{old 1}for "i" = 1,2,...,"k" (where the "P" or "Q" is considered to occupy the "i"-th position). The operation otimes is the tensor product of matrices. It is no longer important to distinguish between the "P"s and "Q"s, so we shall simply refer to them all with the symbol "P", and regard the index on "P"i as ranging from "i" = 1 to "i" = 2"k". For instance, the following properties hold::P_i^2 = 1, i=1,2,...,2k, and P_iP_j=-P_jP_i for all unequal pairs "i" and "j". (Clifford relations.)Thus the algebra generated by the "P"i is the Clifford algebra of euclidean "n"-space.

Let "A" denote the algebra generated by these matrices. By counting dimensions, "A" is a complete 2"k"×2"k" matrix algebra over the complex numbers. As a matrix algebra, therefore, it acts on 2"k"-dimensional column vectors (with complex entries). These column vectors are the spinors.

We now turn to the action of the orthogonal group on the spinors. Consider the application of an orthogonal transformation to the coordinates, which in turn acts upon the "P"i via:P_imapsto R(P)_i = sum_j R_{ij}P_j.Since the "P"i generate "A", the action of this transformation extends to all of "A" and produces an automorphism of "A". From elementary linear algebra, any such automorphism must be given by a change of basis. Hence there is a matrix "S", depending on "R", such that:R(P)_i = S(R)P_iS(R)^{-1} (1).In particular, "S"("R") will act on column vectors (spinors). By decomposing rotations into products of reflections, one can write down a formula for "S"("R") in much the same way as in the case of three dimensions.

However, just as in the three-dimensional case, there will be more than one matrix "S"("R") which produces the action in (1). The ambiguity defines "S"("R") up to a nonevanescent scalar factor "c". Since "S"("R") and "cS"("R") define the same transformation (1), the action of the orthogonal group on spinors is not single-valued, but instead descends to an action on the projective space associated to the space of spinors. This multiple-valued action can be sharpened by normalizing the constant "c" in such a way that (det "S"("R"))2 = 1. In order to do this, however, it is necessary to discuss how the space of spinors (column vectors) may be identified with its dual (row vectors).

In order to identify spinors with their duals, let "C" be the matrix defined by:C=Potimes Qotimes Potimesdotsotimes Q.Then conjugation by "C" converts a "P"i matrix to its transpose: t"P"i = "C P"i "C"-1. Under the action of a rotation,:hbox{ }^tP_i ightarrow ,^tS(R)^{-1},^tP_i,^tS(R) = (CS(R)C^{-1}),^tP_i(CS(R)C^{-1})^{-1}whence "C" "S"("R") "C"-1 = α t"S"("R")-1 for some scalar α. The scalar factor α can be made to equal one by rescaling "S"("R"). Under these circumstances, (det "S"("R"))2 = 1, as required.

Weyl spinors

Let "U" be the element of the algebra "A" defined by:U={old 1}'otimesdotsotimes{old 1}', ("k" factors).Then "U" is preserved under rotations, so in particular its eigenspace decomposition (which necessarily corresponds to the eigenvalues +1 and -1, occurring in equal numbers) is also stabilized by rotations. As a consequence, each spinor admits a decomposition into eigenvectors under "U"::ξ = ξ+ + ξ-into a "right-handed Weyl spinor" ξ+ and a "left-handed Weyl spinor" ξ-. Because rotations preserve the eigenspaces of "U", the rotations themselves act diagonally as matrices "S"("R")+, "S"("R")- via:("S"("R")ξ)+ = "S"+("R") ξ+, and:("S"("R")ξ)- = "S"-("R") ξ-.

This decomposition is not, however, stable under improper rotations (e.g., reflections in a hyperplane). A reflection in a hyperplane has the effect of interchanging the two eigenspaces. Thus there are two irreducible spin representations in even dimensions given by the left-handed and right-handed Weyl spinors, each of which has dimension 2k-1. However, there is only one irreducible pin representation (see below) owing to the non-invariance of the above eigenspace decomposition under improper rotations, and that has dimension 2k.

Odd case

In the quantization for an odd number 2"k"+1 of dimensions, the matrices "P"i may be introduced as above for "i" = 1,2,...,2"k", and the following matrix may be adjoined to the system::P_n = {old 1}'otimesdotsotimes{old 1}', ("k" factors),so that the Clifford relations still hold. This adjunction has no effect on the algebra "A" of matrices generated by the "P"i, since in either case "A" is still a complete matrix algebra of the same dimension. Thus "A", which is a complete 2"k"×2"k" matrix algebra, is not the Clifford algebra, which is an algebra of dimension 2×2"k"×2"k". Rather "A" is the quotient of the Clifford algebra by a certain ideal.

Nevertheless, one can show that if "R" is a proper rotation (an orthogonal transformation of determinant one), then the rotation among the coordinates:R(P)_i = sum_j R_{ij}P_jis again an automorphism of "A", and so induces a change of basis:R(P)_i = S(R)P_iS(R)^{-1}exactly as in the even dimensional case. The projective representation "S"("R") may again be normalized so that (det "S"("R"))2 = 1. It may further be extended to general orthogonal transformations by setting "S"("R") = -"S"(-"R") in case det "R" = -1 (i.e., if "R" is a reversal).

In the case of odd dimensions it is not possible to split a spinor into a pair of Weyl spinors, and spinors form an irreducible representation of the spin group. As in the even case, it is possible to identify spinors with their duals, but for one caveat. The identification of the space of spinors with its dual space is invariant under "proper" rotations, and so the two spaces are spinorially equivalent. However, if "improper" rotations are also taken into consideration, then the spin space and its dual are not isomorphic. Thus, while there is only one spin representation in odd dimensions, there are a pair of inequivalent pin representations. This fact is not evident from the Weyl's quantization approach, however, and is more easily seen by considering the representations of the full Clifford algebra.

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Spinor — In mathematics and physics, in particular in the theory of the orthogonal groups (such as the rotation or the Lorentz groups), spinors are elements of a complex vector space introduced to expand the notion of spatial vector. Unlike tensors, the… …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • Clifford module — In mathematics, a Clifford module is a representation of a Clifford algebra. In general a Clifford algebra C is a central simple algebra over some field extension L of the field K over which the quadratic form Q defining C is defined. The… …   Wikipedia

  • Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

  • Representation theory — This article is about the theory of representations of algebraic structures by linear transformations and matrices. For the more general notion of representations throughout mathematics, see representation (mathematics). Representation theory is… …   Wikipedia

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

  • Noether — Emmy Noether Emmy Noether Amalie Emmy Noether (23 mars 1882 14 avril 1935) était une mathématicienne allemande connue pour ses contributions révolutionnaires en algèbre abstraite et physique théorique. Décrite par Albert Einstein et d autres… …   Wikipédia en Français

  • Representation theory of finite groups — In mathematics, representation theory is a technique for analyzing abstract groups in terms of groups of linear transformations. See the article on group representations for an introduction. This article discusses the representation theory of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”