arxiv:quant-ph/ v1 11 Oct 2004

Transcription

1 IMPROPER TRANSFORMATIONS OF NON RELATIVISTIC SPIN 1 2 SPINORS D. B. Cervantes 1, S. L. Quiroga 2, L. J. Perissinotti 2,3 and M. Socolovsky 1 1 Instituto de Ciencias Nucleares, Universidad Nacional Autónoma de México Circuito Exterior, Ciudad Universitaria, 04510, México D. F., México 2 Departamento de Química, Facultad de Ciencias Exactas y Naturales, Universidad Nacional de Mar del Plata, Deán Funes 3350, 7600 Mar del Plata, Argentina 3 Comisión de Investigaciones Científicas de la Provincia de Buenos Aires, CIC, Argentina arxiv:quant-ph/ v1 11 Oct 2004 We first give a geometrical description of the action of the parity operator ˆP on non relativistic spin 1 2 Pauli spinors in terms of bundle theory. The relevant bundle, SU2 Z 2 O3, is a non trivial extension of the universal covering group SU2 SO3. ˆP is the non relativistic limit of the corresponding Dirac matrix operator P = iγ 0 and obeys ˆP 2 = 1. Then, from the direct product of O3 by Z 2, naturally induced by the structure of the galilean group, we identify, in its double cover, the time reversal operator ˆT acting on spinors, and its product with ˆP. Both, ˆP and ˆT, generate the group Z4 Z 2. As in the case of parity, ˆT is the non relativistic limit of the corresponding Dirac matrix operator T = γ 3 γ 1, and obeys ˆT 2 = 1. Key words: parity transformation; time reversal; non relativistic spinors; group theory. 1. Introduction As is well known, the effect of proper rotations on spin 1 2 spinors can be described geometrically through π the universal covering group SU2 of SO3, that is by the fibre bundle ξ s : Z 2 SU2 SO3. The state vectors are elements of SU2, topologically the 3-sphere S 3, and the effect of rotations on the ray p z w z space can be obtained through the bundle U1 SU2 CP 1 with p = U1, i.e. w z w by considering the system of bundles Socolovsky, 2001: U1 Z 2 ց ւ SU2 p ւ ց π CP 1 SO3 Topologically, U1 = S 1, CP 1 = S 2, SO3 = RP 3, and Z 2 = S 0. So, for example, a 2π rotation in R 3 leads to a change in the state vector from an initial point on S 3 to its antipode; the vector comes back to its initial position only after a 4π rotation Aharonov and Susskind, 1967; Rauch et al, 1975; Werner et al, 1975; Silverman, On the other hand, it is clear that the effect on spinors of all improper rotations i.e. those elements in O3 which are not in its invariant subgroup SO3, can not be described by ξ s. In particular, we want to find the smallest subgroup of U2, S ± U2 which contains SU2 and where we can identify the lifting ˆP of the parity transformation P = 0 0 in R 3, namely the double cover of O3, ξ : Z 2 S ± U2 Π O3. 1 As will be shown below, S ± U2 is not simply connected and therefore S ± U2 is not the universal covering group of O3. SU2 will be an invariant subgroup of S ± U2 and S ± U2 an invariant subgroup of U2. ˆP ut, x in S ± U2 will act on spinors ψt, x = in SU2 vt, x = S 3 by multiplication: ψt, x ψ P t, x = 1

2 ˆPψt, x. Since ˆP is the non relativistic limit of the corresponding parity matrix in Dirac theory, which in the standard representation is given by P = ±iγ 0 = ±i I 0, where I is the 2 2 unit matrix, then 0 I Then the action on the Pauli spinors is given by ˆPψ = ±i 0 0 ±i ˆP = ±ii with ˆP 2 = I. 2 u = v ±iu = ±iv ±e i π 2 u ±e i π. 3 2 v As in the relativistic case, two space inversions amount to a 2π rotation, which changes the sign of spinors Berestetskii, Lifshitz and Pitaevskii, 1982; de Azcárraga, 1975; Capri, 2002; Socolovsky, In addition to the improper rotations, the galilean group of transformations, G s de Azcárraga and Izquierdo, 1995, consisting of the matrices R V, where R SO3 is a rotation, and V R 3 is the relative velocity between the reference frames, makes natural the consideration of the time reversal transformation T: we extend G s to G by replacing R by O O3 and 1 by a {1, 1} = Z 2 : O V. 5 0 a The second row in this matrix precisely gives t = t for a = 1. If we restrict to V = 0 we have the subgroup G 0 of G given by O 0 G 0 = {, O O3, a Z 0 a 2 } = O3 Z 2. 6 The double cover of this group, Ĝ0, to be studied in section 4, will contain the three operators ˆP, ˆT and ˆP ˆT acting on spinors. ˆT of course will be the non relativistic limit of the corresponding Dirac matrix operator γ 3 γ 1. In sections 2 and 3 we construct ˆP and ξ, and their corresponding equivalent forms ˆP and ξ. Finally, we want to stress an important point: the fact that even in non relativistic quantum mechanics, ˆP 2 = I, leads to the breaking of group isomorphisms between certain double groups in the old nomenclature. For example, if ˆP 2 = I Landau and Lifshitz, 1997 then the groups C nv, consisting of a principal axis of order n and n reflection planes passing through it, and D n, the dihedric group of order 2n, are isomorphic. However, if ˆP 2 = I then these groups become non isomorphic. This result might have experimentally verifiable consequences, in particular in the domain of molecular quantum mechanics, since non isomorphic groups could lead to different spectroscopic selection rules due to the difference in the character tables of their irreducible representations. This controversial subject deserves further research. See, in this connection, Heine 1977 and Sternberg S ± U2: extension of SU2 by Z 2 In the relativistic case there is a remaining ambiguity in the sign of P, and consequently the same occurs in the non relativistic limit. We arbitrarily choose the + sign, i 0 ˆP = ii = 7 0 i and define the set S ± U2 = SU2 SU2 ˆP = SU2 {A ˆP } A SU2. 8 2

3 It is clear that S ± U2 is a group with deta = 1 and deta ˆP = 1. If A SU2 and B S ± U2, then detba B 1 = 1 and so BA B 1 SU2 i.e. SU2 is an invariant subgroup of S ± U2, and if C U2 and B S ± U2, then detcbc 1 = detb = ±1 and so CBC 1 S ± U2 i.e. S ± U2 is an invariant subgroup of U2. Being non connected, S ± U2 is also non simply connected. z w Let A = SU2, and π : SU2 SO3 the well known 2 1 homomorphism given by w z Naber, 1997 z w π w z = Imz 2 + w 2 2Rezw. 9 Rez2 w 2 Imz 2 w 2 Rez 2 + w 2 2Imzw 2Rez w 2Imz w z 2 w 2 If ι and ῑ respectively are the inclusions SU2 ι S ± U2 and SO3 ῑ O3, and Π : S ± U2 O3 is defined by ΠA = πa, A SU2, 10a Π ˆP = 0 0, 10b and then: i the diagram ΠA ˆP = ΠAΠ ˆP = πa, SU2 π SO3 ι ῑ S ± U2 Π commutes, and ii Π is a group homomorphism epimorphism. In fact, i ΠιA = ΠA = πa and ῑπa = πa; ii let A, A SU2, then ΠAA = πaa = πaπa = ΠAΠA, ΠAA ˆP = ΠAA ˆP = ΠAA Π ˆP = πaπa Π ˆP = πaπa Π ˆP = ΠAΠA ˆP, ΠA ˆPA ˆP = ΠA ˆP 2 A = ΠA IA = πaπ IπA = πaπa while ΠA ˆPΠA ˆP = πaπ ˆPπA Π ˆP = πaπa Π ˆP 2 = πaπa. Moreover, kerπ = kerπ = {I, I} = Z 2. It can be easily shown that O3 10c 11 1 SU2 ι S ± U2 det Z is a short exact sequence of groups and group homomorphisms: kerdet = SU2 = Imι 1 is here the zero group. Then S ± U2 is an extension of SU2 by Z 2 MacLane and Birkoff, Since SU2 is non abelian then the extension itself is non abelian and therefore non central. However, 12 splits, that is, the map γ : Z 2 S ± U2 13a given by γ1 = I, and γ 1 = one could also define γ 1 = σ 3 is a group homomorphism which obeys = σ b det γ = Id Z2 13c i.e. γ is a right inverse of det. Since γ is a monomorphism, then Z 2 is canonically isomorphic to its image γz 2 = {I, σ 3 } in S ± U2. The existence of this splitting allows us to write S ± U2 as a semidirect product of SU2 and Z 2. This is done in the following section. 3. S ± U2 = SU2 Z 2 3

4 Proposition: Let Ψ : SU2 Z 2 S ± U2 be the function defined by ΨA, B = AB 14 and φ : Z 2 AutSU2 the group homomorphism given by φba = BAB 1. Then Ψ is a group isomorphism with the composition in SU2 Z 2 given by 15a 15b A, B A, B = A φb A, B B = A B AB 1, B B. 16 With this composition law, SU2 Z 2 is the semidirect product of SU2 by Z 2 induced by the action 12b of Z 2 on SU2, and is denoted by SU2 Z 2. z w Proof. ΨA,I = A SU2 and ΨA, σ 3 = with detψa, σ w z 3 = 1 i.e. ΨA, σ 3 S ± U2 \ SU2. Let Ψ : S ± U2 SU2 Z 2 be given by ΨA = A,I if A SU2 and ΨB = B σ 3, σ 3 if B S ± U2 \ SU2, then B = A ˆP and therefore B σ 3 = A ˆP σ 3 = i 0 iz iw iz iw A = SU2, and Ψ ΨB, σ 0 i i w i z 3 = = B i.e. Ψ = Ψ i w i z 1 and Ψ is a bijection. Finally, ΨA, B, A, B = ΨA B AB 1, B B = A B AB 1 B B = A B AB = ΨA, B ΨA, B i.e. Ψ is a group homomorphism. QED In terms of SU2 Z 2, one can define the bundle isomorphic to ξ with Π = Π Ψ given by Π ξ : Z 2 SU2 Z 2 O3 17 and Π A, B = ΠΨA, B = ΠAB = πa, if B = I, Π A, B = πaπ σ 3 = πaπiσ 3 = πa In SU2 Z 2, the parity operator is denoted by ˆP and is given by 0 0, if B = σ 3. 18a 18b ˆP = Ψ 1 ˆP = Ψ 1 ii = iσ 3, σ This expression is consistent with the commutativity of the diagram SU2 S 3 µ S 3 ι Id Id S ± U2 S 3 µ ι S 3 Ψ 1 Id Id SU2 Z 2 S 3 µ S 3 20 which gives the maps between the actions µ, µ ι and µ, respectively of SU2, S ± U2 and SU2 Z 2 on u the Pauli spinors ψ =. v 4

5 4. Time reversal ˆT and ˆP ˆT Consider the direct product group Ĝ 0 = S ± U2 Z 2 = SU2 SU2 ˆP Z 2 = SU2 {1} SU2 { 1} SU2 ˆP {1} SU2 ˆP { 1} and the 2 1 projection given by = {A, 1} A SU2 {A, 1} A SU2 {A ˆP, 1} A SU2 {A ˆP, 1} A SU2 21 q : S ± U2 Z 2 O3 Z 2 qa, 1 = πa, 1, qa, 1 = πar y π, 1, qa ˆP, 1 = πa, 1, qa ˆP, 1 = πar y π, 1 22b where R y π = = π 22c 0 1 is the π rotation around the y axis. Then, in particular, q, 1 = R y π 2, 1 = 0 0, 1, which gives t t = t in the spacetime R 3 R. It is then natural to identify the time reversal operator on spinors as the pair ˆT, 1 Ĝ0 with ˆT 0 1 = = iσ 2 SU2 and ˆT 2 = I, 23 Feynman, 1987; Sakurai, A straightforward calculation shows that q is a group homomorphism i.e. qc, a C, a = qc, a qc, a for all C, C in S ± U2 and a, a in Z 2. 22a The four connected components of Ĝ0 act on spinors as follows: z w ut, πa x A, 1 : ψt, x ψ A,1 t, x = A, 1 ψt, x := Aψt, πa x = ; 24 w z vt, πa x in particular A, 1 : ψt, x ψ A, 1 t, x = A, 1 ψt, x := Aψ t, x, 25 ψ ˆT, 1 t, x ψ ˆTt, x = ˆTψ t, x = the time-reversed spinor; 0 1 u t, x v t, x v t, x = u t, x, 25a B, 1 : ψt, x ψ B,1 t, x = B, 1 ψt, x := Bψt, x, 26 in particular ψ ˆP,1 t, x ψ ˆPt, x = ˆPψt, x = i 0 0 i ut, x = vt, x iut, x, 26a ivt, x the parity-reversed spinor 3 with + sign; B, 1 : ψt, x ψ B, 1 t, x = B, 1 ψt, x := B ˆTψ t, x, 27 5

6 in particular ψ ˆP, 1 t, x ψ ˆP ˆTt, x = ˆP ˆTψ t, x = σ 2 ψ t, x = the time-parity reversed spinor. This is supported by the fact that q ˆP ˆT, 1 = qi 0 1, 1 = π i i 0 u t, x iv t, x v t, x = iu t, x R y π, 1 = R y π 2, 1 = 0 0, 1 gives x x = x and t t = t in R 3 R. Clearly ˆP ˆT = ˆT ˆP and the matrices ˆP and ˆT generate the abelian group of order 8, G ˆP ˆT, with multiplication table given by, 27a ˆP ˆT ˆP ˆT ˆP ˆT ˆP ˆT I ˆP I ˆP ˆT ˆT I ˆP ˆT ˆT ˆP ˆT ˆP ˆT I ˆP ˆP ˆT I ˆP ˆT ˆP ˆT ˆT ˆP I ˆT ˆP I ˆP ˆT ˆP I ˆP ˆT ˆT I ˆP ˆT ˆT ˆP ˆT ˆP ˆT I ˆP ˆP ˆT I ˆP ˆT ˆP ˆT ˆT ˆP I ˆT ˆP I ˆP ˆT I ˆP ˆT ˆP ˆT ˆP ˆT ˆP ˆT I 28 As can be easily verified, G ˆP ˆT is isomorphic to Z 4 Z 2 with the isomorphism given by I I, 1, I I, 1, ˆP ι, 1, ˆP ι, 1, ˆT ι, 1, ˆT ι, 1, ˆP ˆT I, 1, ˆP ˆT I, 1, 29 where Z 4 = {I, ι, I, ι} with I the identity and ι 2 = I, and Z 2 = {1, 1}. Notice, however, that at the level of spacetime R 3 R, P and T generate the group G PT with table P T PT P 1 PT T T PT 1 P PT T P 1 30 which, as is well known, is isomorphic to the Klein group Z 2 Z 2 : 1 1, 1, P 1, 1, T 1, 1, PT 1, The group isomorphism 14 between SU2 Z 2 and S ± U2 induces the isomorphism Φ : SU2 Z 2 Z 2 S ± U2 Z 2, ΦA, B, a = AB, a, i.e. Φ = Ψ Id Z2. The group multiplication in the left hand side of 32a is 32a 32b 32c A, B, a A, B, a = A B AB 1, B B, a a. 33 6

7 Defining one has the principal bundle Q = q Φ, 34 Ξ : Z 2 SU2 Z 2 Z 2 Q O3 Z2, 35 which generalizes 17. Clearly, kerq = Z 2. This bundle summarizes all the geometry of the parity and time reversal transformations of the Pauli spinors. The inverse of Φ, given by Φ 1 A, a = A,I, a for A SU2 and Φ 1 B, a = Bσ 3, σ 3, a for B S ± U2 \ SU2, gives the operators ˆP and ˆT in SU2 Z 2 Z 2 : and ˆP = Φ 1 ˆP, 1 = iσ 3, σ 3, 1, ˆT = Φ 1 = ˆT, 1 = iσ 2,I, 1. 36a 36b Finally, in the ray space CP 1, the effect of the time reversal, parity and time-parity transformations, is obtained from the definition of the projection p in the introduction, respectively multiplying by U1 the right hand sides of 25a, 26a and 27a. Acknowledgement One of us, M. S. thanks the hospitality at the Instituto de Astronomía y Física del Espacio IAFE, UBA-CONICET, Argentina, where part of this work was performed. References Aharonov, Y. and Susskind, L Observability of the Sign Change of Spinors under 2π Rotations, Physical Review 158, de Azcárraga, J. A P, C, T, θ in Quantum Field Theory, GIFT 7/75, Zaragoza, Spain: pp de Azcárraga, J. A. and Izquierdo, J. M Lie groups, Lie algebras, cohomology, and some applications in physics, Cambridge University Press, Cambridge: p Berestetskii, V. B., Lifshitz, E. M. and Pitaevskii, L. P Quantum Electrodynamics, Landau and Lifshitz Course of Theoretical Physics, Vol. 4, 2nd. edition, Pergamon Press, Oxford: pp Capri, A. Z Relativistic Quantum Mechanics and Introduction to Quantum Field Theory, World Scientific, New Jersey: pp Feynman, R. P The Reason for Antiparticles, in Elementary Particles and the Laws of Physics Dirac Memorial Lectures, eds. R. P. Feynman and S. Weinberg, Cambridge University Press, Princeton, New Jersey: p. 48. Heine, V Group Theory in Quantum Mechanics, An Introduction to its Present Usage, Pergamon Press, Oxford: p. 87. Landau, L. D. and Lifshitz, E. M Quantum Mechanics, Non-relativistic Theory, Course of Theoretical Physics, Vol. 3, 3rd. edition, Butterworth Heinemann, p

8 MacLane, S. and Birkoff, G Algebra, 2nd. edition, Macmillan Publishing Co., New York: p Naber, G. L Topology, Geometry, and Gauge Fields. Foundations, Springer-Verlag, New York: pp Rauch, H., Zeilinger, A., Badurek, G. and Wilfing, A Verification of coherent spinor rotation of fermions, Physics Letters 54A, Sakurai, J. J Modern Quantum Mechanics, Benjamin, Menlo Park, California: p Silverman, M. P The curious problem of spinor rotation, European Journal of Physics 1, Socolovsky, M On the Geometry of Spin 1 2, Advances in Applied Clifford Algebras 11, Socolovsky, M The CPT Group of the Dirac Field, math-ph/ , International Journal of Theoretical Physics to appear. Sternberg, S Group Theory and Physics, Cambridge University Press, Cambridge: p Werner, S. A., Colella. R., Overhauser, A. W. and Eagen, C. F Observation of the Phase Shift of a Neutron Due to Precession in a Magnetic Field, Physical Review Letters 35, s: daliac@nuclecu.unam.mx, slquirog@mdp.edu.ar, perissin@mdp.edu.ar, socolovs@nuclecu.unam.mx 8