SECTION A : What remains invariant for a complex 3×3 tensor depends upon its transformation law under U∈SU(3)
CASE 1 : 3⊗3=6⊕¯3
The transformation law for the complex 3×3 tensor X in this case is
X′=UXUT
Here the symmetry (+) or antisymmetry (-) is invariant since
XT=±X⟹(X′)T=(UXUT)T=(UT)TXTUT=U(±X)UT=±X′
In this case it makes sense to split the tensor in its symmetrical and anti-symmetrical parts
Ψ=12(X+XT),Ω=12(X−XT)
The symmetrical part Ψ depends on 6 parameters, so is identical to a complex 6-vector ψ which belongs to a complex 6-dimensional invariant subspace and is transformed under a special unitary transformation W∈SU(6)
ψ′=Wψ,W∈SU(6)
while, on the other hand, the anti-symmetrical part Ω depends on 3 parameters, so is identical to a complex 3-vector ω which belongs to a complex 3-dimensional invariant subspace and is transformed under the special unitary transformation ¯U∈SU(3)
ω′=¯Uω,¯U∈SU(3)
That's why the symmetrical and anti-symmetrical parts give rise to the terms 6 and ¯3 in the right hand of equation 3⊗3=6⊕¯3 respectively.
CASE 2 : 3⊗¯3=8⊕1
The transformation law for the complex 3×3 tensor X in this case is
X′=UXU∗=UXU−1
For those interested, this is proved in SECTION B, motivated by the adventure of explaining the structure of mesons under the quark theory.
Here the symmetry (+) or antisymmetry (-) is NOT invariant
XT=±X⟹(X′)T=(UXU∗)T=(U∗)TXTUT=¯U(±X)UT≠±X′
So it makes NO SENSE to split the tensor in its symmetrical and anti-symmetrical parts.
To the contrary :
(1) if X is a constant tensor, that is a scalar multiple of the identity, X=zI (z∈C) , then is invariant X′=UXU−1=U(zI)U−1=zI=X
or
(2) since the transformation (A-06) is a similarity transformation, it preserves the Trace (=sum of the elements on the main diagonal) of X, that is Tr(X′)=Tr(X). So a traceless tensor remains traceless.
It would sound not very well, but in this case the invariants are the "tracelessness" and the "scalarness".
In this case it makes sense to split the tensor in a traceless and in a scalar part :
Φ=X−[13Tr(X)]⋅I,Υ=[13Tr(X)]⋅I
The traceless part Φ depends on 8 (=3x3-1) parameters, so is identical to a complex 8-vector ϕ which belongs to a complex 8-dimensional invariant subspace NOT FURTHER REDUCED TO INVARIANTS SUBSPACES and is transformed under a special unitary transformation V∈SU(8)
ϕ′=Vϕ,V∈SU(8)
while, on the other hand, the scalar part Υ depends on 1 parameter, so is identical to a complex 1-vector υ which belongs to a complex 1-dimensional invariant subspace (identical to the set of complex numbers C) and is transformed under the special unitary transformation I∈SU(1)
(identical to the identity)
υ′=Iυ=υ
Note that SU(1)≡{I}, that is the group SU(1) has only one element, the identity I, while U(1)≡{U:U=eiθI,θ∈R}, that is mathematically identical to the unit circle in C.
================================================================================
SECTION B : Mesons from three quarks
Suppose we know the existence of three quarks only : u, d and s. Under full symmetry (the same mass) these are the basic states, let
u=[100]d=[010]s=[001]
of a 3-dimensional complex Hilbert space of quarks, say Q≡C3. A quark ξ∈Q is expressed in terms of these basic states as
ξ=ξ1u+ξ2d+ξ3s=[ξ1ξ2ξ3]ξ1,ξ2,ξ3∈C
For a quark η∈Q
η=η1u+η2d+η3s=[η1η2η3]
the respective antiquark ¯η is expressed by the complex conjugates of the coordinates
¯η=¯η1¯u+¯η2¯d+¯η3¯s=[¯η1¯η2¯η3]
with respect to the basic states
¯u=[100]¯d=[010]¯s=[001]
the antiquarks of u,d and s respectively. The antiquarks belong to a different space, the space of antiquarks ¯Q≡C3.
Since a meson is a quark-antiquark pair, we'll try to find the product space
M=Q⊗¯Q(≡C9)
Using the expressions (B-02) and (B-04) of the quark ξ∈Q and the antiquark ¯η∈¯Q respectively, we have for the product meson state X∈M
X=ξ⊗¯η=ξ1¯η1(u⊗¯u)+ξ1¯η2(u⊗¯d)+ξ1¯η3(u⊗¯s)+ξ2¯η1(d⊗¯u)+ξ2¯η2(d⊗¯d)+ξ2¯η3(d⊗¯s)+ξ3¯η1(s⊗¯u)+ξ3¯η2(s⊗¯d)+ξ3¯η3(s⊗¯s)
In order to simplify the expressions, the product symbol "⊗" is omitted and so
X=ξ¯η=ξ1¯η1(u¯u)+ξ1¯η2(u¯d)+ξ1¯η3(u¯s)+ξ2¯η1(d¯u)+ξ2¯η2(d¯d)+ξ2¯η3(d¯s)+ξ3¯η1(s¯u)+ξ3¯η2(s¯d)+ξ3¯η3(s¯s)
Due to the fact that Q and ¯Q are of the same dimension, it's convenient to represent the meson states in the product 9-dimensional complex space M=Q⊗¯Q by square 3×3 matrices instead of row or column vectors
X=ξ¯η=[ξ1¯η1ξ1¯η2ξ1¯η3ξ2¯η1ξ2¯η2ξ2¯η3ξ3¯η1ξ3¯η2ξs¯η3]=[ξ1ξ2ξ3][¯η1¯η2¯η3]T=[ξ1ξ2ξ3][¯η1¯η2¯η3]
Now, under a unitary transformation U∈SU(3) in the 3-dimensional space of quarks Q, we have
ξ′=Uξ
so in the space of antiquarks ¯Q, since η′=Uη
¯η′=¯U¯η
and for the meson state
X′=ξ′⊗¯η′=(Uξ)(¯U¯η)=(U[ξ1ξ2ξ3])(¯U[¯η1¯η2¯η3])T=U([ξ1ξ2ξ3][¯η1¯η2¯η3])¯UT=U(ξ⊗¯η)U∗=UXU∗
===================end of answer=======================

This post imported from StackExchange Physics at 2015-06-05 21:02 (UTC), posted by SE-user diracpaul