The double line notation and the adjoint representation

[npnacho]

hi!

in the first page of the attached pdf, after the title " 't hooft double line notation", he says that we have to consider the gluon as NxN traceless hermitian matrices to convince ourselves about the double line notation.

there is my question: if you want the indices a,b to run from 1 to N, you need the T^A generators to be NxN matrices, and that means that you are in the fundamental representation, right?

but when you look for a demonstration of the 't hooft's planar limit, it seems that you need the gauge bosons to be in the adjoint representation of U(N)... that doesn't mean that the a,b indices in the pdf run from 1 to N^2 - 1 (number of generators)?

what am I misunderstanding here?

thanks!

 

[ChrisVer]

are you sure?
For SU(3) let's say, you know you have 3x3 matrices [the Gellmann matrices are 3x3]... same for SU(2) you have 2x2 matrices [the Pauli matrices are 2x2]...
The N^2 -1 is the number of generators... so in SU(3) you have 9-1=8 such 3x3 matrices... and for SU(2) you have 4-1=3 such 2x2 matrices...

so the a,b run from 1 to N... and A index runs from 1 to N^2-1

 

[npnacho]

yes, but that's in the fundamental representation.

in the adjoint representation the dimension of the generators is equal to the number of them, for example in SU(2) you define the adjoint representation as:

then, for SU(2), in the adjoint representation you have three 3x3 matrices, for SU(3) eight 8x8 matrices, and so on...

and that's my question, I would think that you need to use the fundamental representation so the gluon is a NxN matrix... but in the adjoint representation, the gluon is a (N^2-1)x(N^2-1) matrix, because it's a linear combination (with coefficients A_mu^A accordng to the pdf) of (N^2-1)x(N^2-1) matrices (the generators in the adjoint representation).

thanks for the answer!

 

[samalkhaiat]

yes, but that's in the fundamental representation.

in the adjoint representation the dimension of the generators is equal to the number of them, for example in SU(2) you define the adjoint representation as:

then, for SU(2), in the adjoint representation you have three 3x3 matrices, for SU(3) eight 8x8 matrices, and so on...

and that's my question, I would think that you need to use the fundamental representation so the gluon is a NxN matrix... but in the adjoint representation, the gluon is a (N^2-1)x(N^2-1) matrix, because it's a linear combination (with coefficients A_mu^A accordng to the pdf) of (N^2-1)x(N^2-1) matrices (the generators in the adjoint representation).

thanks for the answer!

Okay, the Lie algebra of SU(n) is given by [ t^{ a } , t^{ b } ] = i f^{ a b c } \ t^{ c } , \ \ a = 1 , 2 , \cdots , n^{ 2 } - 1 . The dimension of the generator matrices ( t^{ a } )_{ A B } is equal to the dimension of the representation space on which they act. In the defining (fundamental) representation, they are given by n \times n hermitian traceless matrices ( t^{ a } )_{ \alpha \beta } , \alpha = 1 , 2 , \cdots , n.
The fact that the gauge fields transform in the adjoint representation (I assume you know why that is so!) means that, for any spacetime index \mu and any point x, we have n^{ 2 } - 1 REAL NUMBERS A_{ \mu }^{ a } ( x ). In other words, it is an element in ( n^{ 2 } - 1 )-dimensional vector space. However, it is more convenient to represent the gauge field (equivalently) by a traceless hermitian n \times n matrix formed by the following linear combination \mathbb{ A }_{ \mu } = \frac{ 1 }{ 2 } A^{ a }_{ \mu } \ t^{ a } , \ \ \ \ \ (1) or, in the fundamental representation, ( \mathbb{ A }_{ \mu } )_{ \alpha \beta }= \frac{ 1 }{ 2 } A^{ a }_{ \mu } \ ( t^{ a } )_{ \alpha \beta } . \ \ \ \ (2) Using the trace normalization \mbox{ tr } ( t^{ a } t^{ b } ) = 2 \delta^{ a b } we can invert (1) to obtain A_{ \mu }^{ b } = \mbox{ tr } ( \mathbb{ A }_{ \mu } \ t^{ b } ) = ( \mathbb{ A }_{ \mu } )_{ \alpha \beta } ( t^{ b } )_{ \beta \alpha } . \ \ \ \ (3) The consistency between (3) and (2) follows from the following tensor identity \frac{ 1 }{ 2 } ( t^{ a } )_{ \alpha \beta } ( t^{ a } )_{ \gamma \eta } = \delta_{ \alpha \eta } \ \delta_{ \beta \gamma } - \frac{ 1 }{ n } \delta_{ \alpha \beta } \ \delta_{ \gamma \eta } . \ \ (4) Finally, I am going to give you some homework to do, and trust me if you manage to do them you will never get confuse about these stuff again. If you struggle with them you can ask me for help.

Ex(1) Drive the identity (4).

Ex(2) Let U_{ \alpha }{}^{ \beta } = \delta_{ \alpha }{}^{ \beta } + i \epsilon_{ \alpha }{}^{ \beta } be an infinitesimal SU(n) transformation, where \epsilon is hermitian \epsilon_{ \alpha }{}^{ \beta } = \epsilon^{ \beta }{}_{ \alpha } = ( \epsilon^{ \alpha }{}_{ \beta } )^{ * } . A (Lorentz) scalar field \phi_{ \alpha } (in the fundamental rep. [n]) and its complex conjugate \phi^{ \alpha } = ( \phi_{ \alpha } )^{ * } (in the conjugate rep. [n^{ * }]) transform according to \phi_{ \alpha } \to \phi_{ \alpha } + i \epsilon_{ \alpha }{}^{ \beta } \ \phi_{ \beta } , \phi^{ \alpha } \to \phi^{ \alpha } - i \epsilon^{ \alpha }{}_{ \beta } \ \phi^{ \beta } . Using these transformations we find, for (Lorentz) scalar fields in the adjoint representation \Phi_{ \alpha }{}^{ \beta } \equiv \phi_{ \alpha } \phi^{ \beta } - ( 1 / n ) \delta_{ \alpha }^{ \beta } \ \phi^{ 2 }, the following transformation \Phi_{ \alpha }{}^{ \beta } \to \Phi_{ \alpha }{}^{ \beta } + i \epsilon_{ \alpha }{}^{ \eta } \ \Phi_{ \eta }{}^{ \beta } - i \epsilon^{ \beta }{}_{ \eta } \ \Phi_{ \alpha }{}^{ \eta } . The action of the covariant derivative on \phi_{ \alpha } is given by ( D_{ \mu } \phi )_{ \alpha } = \partial_{ \mu } \phi_{ \alpha } + i g ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } \ \phi_{ \beta } . (i) Show that the gauge field transforms according to ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } \to ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } + i \epsilon_{ \alpha }{}^{ \eta } ( \mathbb{ A }_{ \mu } )_{ \eta }{}^{ \beta } - i \epsilon^{ \beta }{}_{ \eta } ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \eta } - \frac{ 1 }{ g } \partial_{ \mu } \epsilon_{ \alpha }{}^{ \beta } . (ii) Show that the action of the covariant derivative on (Lorentz) scalars in the adjoint representation is given by ( D_{ \mu } \Phi )_{ \alpha }{}^{ \beta } = \partial_{ \mu } \Phi_{ \alpha }{}^{ \beta } + i g \left( ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \eta } \Phi_{ \eta }{}^{ \beta } - ( \mathbb{ A }_{ \mu } )_{ \eta }{}^{ \beta } \Phi_{ \alpha }{}^{ \eta } \right) . (iii) Expand the matrices \mathbb{ A }_{ \mu } and \Phi in terms of the n \times n hermitian traceless matrices t^{ a } : ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } = \frac{ 1 }{ 2 } A_{ \mu }^{ a } ( t^{ a } )_{ \alpha }{}^{ \beta } , \ \ \ \Phi_{ \alpha }{}^{ \beta } = \phi^{ b } ( t^{ b } )_{ \alpha }{}^{ \beta } , and show that D_{ \mu } \phi^{ a } = \partial_{ \mu } \phi^{ a } - \frac{ g }{ 2 } f^{ a b c } A_{ \mu }^{ b } \ \phi^{ c } . Notice that, like the Lorentz vectors A_{ \mu }^{ a }, the Lorentz scalars \phi^{ a } are components of a vector in ( n^{ 2 } - 1 )-dimensional vector space.

Sam

 

[npnacho]

first of all, thanks for answering. I think I'm having a notation problem... I'll try to explain it:

The fact that the gauge fields transform in the adjoint representation (I assume you know why that is so!) means that, for any spacetime index \mu and any point x, we have n^{ 2 } - 1 REAL NUMBERS A_{ \mu }^{ a } ( x ).

the fact that for any index \mu you have n^{ 2 } - 1 real numbers A_{ \mu }^{ a } ( x ) is always true. it doesn't depend on which representation you decide to use, am I right? so the fact that you have n^{ 2 } - 1 real numbers and you can think about them as the independent parameters of a n \times n hermitian traceless matrix is always true... my question has to do with your sentence between brackets: what does exactly mean that the gauge fields transform in the adjoint representation?

because when you write your equation (2), you describe A_{ \mu }^{ a } ( x ) as a linear combination of generators of the fundamental representation.

I agree with all you said after equation (2)... but I have that nomenclature problem... I would say that we are working in the fundamental representation, I don't really see what role is playing the adjoint representation here.

put in another way: what do we have to change to your argument if the gauge fields transform in the fundamental representation (i.e: if we use the "single line" notation)? I mean, we also have n^{ 2 } - 1 real numbers there... why can't we think of them as the independent parameters of a n \times n hermitian traceless matrix and then say that we have two color indices?

thanks again!

 

[samalkhaiat]

first of all, thanks for answering. I think I'm having a notation problem...

I know that, this is why I gave you exercises to do

the fact that for any index \mu you have n^{ 2 } - 1 real numbers A_{ \mu }^{ a } ( x ) is always true. it doesn't depend on which representation you decide to use, am I right?

No, having (n^{ 2 } - 1) numbers means that you are dealing with an element (vector) in an (n^{ 2 } - 1)-dimensional vector space (THE ADJOINT REP. SPACE).

the fact that you have n^{ 2 } - 1 real numbers and you can think about them as the independent parameters of a n \times n hermitian traceless matrix is always true...

Absolutely true.

my question has to do with your sentence between brackets: what does exactly mean that the gauge fields transform in the adjoint representation?

This should have become obvious to you if you have done exercise (2). It simply means that the gauge fields transform by the adjoint map. You obtain the adjoint representation space by subtracting all invariant subspaces from the direct product space [n] \otimes [n^{*}]. I am sure you have seen this [n] \otimes [n^{*}] = [n^{ 2 } - 1] \oplus [1] . This an equation for (representation) vector spaces. The space [n^{ 2 } - 1] is the adjoint representation space. You can translate the above equation into equation between vectors in those spaces. For example, if you take a set of n Lorentz scalars \phi_{ \alpha } \in [n] and their complex conjugates \phi^{ \alpha } \in [n^{*}], then you can translate the above equation into the following equation (between SU(n) tensors) \phi_{ \alpha } \phi^{ \beta } = ( \phi_{ \alpha } \phi^{ \beta } - \frac{ 1 }{ n } \delta^{ \beta }_{ \alpha } \phi^{ 2 } ) + \frac{ 1 }{ n } \delta^{ \beta }_{ \alpha } \phi^{ 2 } . So, we have \Phi_{ \alpha }{}^{ \beta } \equiv ( \phi_{ \alpha } \phi^{ \beta } - (1 / n ) \delta^{ \beta }_{ \alpha } \phi^{ 2 } ) belonging to the adjoint representation space [ n^{ 2 } - 1 ], and the invariant (singlet) \delta_{ \alpha }^{ \beta } \phi^{ 2 } \in [ 1 ] (the trivial representation space). In exercise (2), we worked out the transformation law for the fields \Phi_{ \alpha }{}^{ \beta } in the adjoint representation (the adjoint map). You were also asked to derive the transformation law for the gauge fields ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta }, so you should have noticed that, apart from the inhomogeneous term \partial_{ \mu } \epsilon, this transformation law is identical to that of the adjoint representation \Phi_{ \alpha }{}^{ \beta } of the group SU(n).

For more details see the PDF in
https://www.physicsforums.com/threads/photons-and-qed.764368/page-2

because when you write your equation (2), you describe A_{ \mu }^{ a } ( x ) as a linear combination of generators of the fundamental representation.

First, the expansion \mathbb{ A }_{ \mu } = A_{ \mu }^{ a } t^{ a } is valid in any representation. Here, the generators t^{ a } NEED NOT be the fundamental representation matrices. So, choosing t^{ a } to be the fundamental generators DOES NOT change the fact that the gauge field transforms by the ADJOINT MAP.

but I have that nomenclature problem... I would say that we are working in the fundamental representation, I don't really see what role is playing the adjoint representation here.

Do the exercises or study my PDF above.

put in another way: what do we have to change to your argument if the gauge fields transform in the fundamental representation (i.e: if we use the "single line" notation)? I mean, we also have n^{ 2 } - 1 real numbers there... why can't we think of them as the independent parameters of a n \times n hermitian traceless matrix and then say that we have two color indices?
thanks again!

The gauge fields DO NOT transform in the fundamental representation. How can they? There are only n numbers in the fundamental representation. The fundamental representation [ n ] is the space of n-vectors NOT ( n^{ 2 } - 1 )-vector which what the gauge field is.
Look, in the graphical representation, if you want to couple the gauge fields to the matter (Noether) current J_{ \mu }^{ a } you use A_{ \mu }^{ a }. If you want to couple the gauge fields to other gauge fields and coloured quarks it is more convenient to use ( \mathbb{ A }_{ \mu } )_{ \alpha \beta } where ( \alpha , \beta ) are the n colour indices.

Sam

 

[samalkhaiat]

Okay, the Lie algebra of SU(n) is given by [ t^{ a } , t^{ b } ] = i f^{ a b c } \ t^{ c } , \ \ a = 1 , 2 , \cdots , n^{ 2 } - 1 . The dimension of the generator matrices ( t^{ a } )_{ A B } is equal to the dimension of the representation space on which they act. In the defining (fundamental) representation, they are given by n \times n hermitian traceless matrices ( t^{ a } )_{ \alpha \beta } , \alpha = 1 , 2 , \cdots , n.
The fact that the gauge fields transform in the adjoint representation (I assume you know why that is so!) means that, for any spacetime index \mu and any point x, we have n^{ 2 } - 1 REAL NUMBERS A_{ \mu }^{ a } ( x ). In other words, it is an element in ( n^{ 2 } - 1 )-dimensional vector space. However, it is more convenient to represent the gauge field (equivalently) by a traceless hermitian n \times n matrix formed by the following linear combination \mathbb{ A }_{ \mu } = \frac{ 1 }{ 2 } A^{ a }_{ \mu } \ t^{ a } , \ \ \ \ \ (1) or, in the fundamental representation, ( \mathbb{ A }_{ \mu } )_{ \alpha \beta }= \frac{ 1 }{ 2 } A^{ a }_{ \mu } \ ( t^{ a } )_{ \alpha \beta } . \ \ \ \ (2) Using the trace normalization \mbox{ tr } ( t^{ a } t^{ b } ) = 2 \delta^{ a b } we can invert (1) to obtain A_{ \mu }^{ b } = \mbox{ tr } ( \mathbb{ A }_{ \mu } \ t^{ b } ) = ( \mathbb{ A }_{ \mu } )_{ \alpha \beta } ( t^{ b } )_{ \beta \alpha } . \ \ \ \ (3) The consistency between (3) and (2) follows from the following tensor identity \frac{ 1 }{ 2 } ( t^{ a } )_{ \alpha \beta } ( t^{ a } )_{ \gamma \eta } = \delta_{ \alpha \eta } \ \delta_{ \beta \gamma } - \frac{ 1 }{ n } \delta_{ \alpha \beta } \ \delta_{ \gamma \eta } . \ \ (4) Finally, I am going to give you some homework to do, and trust me if you manage to do them you will never get confuse about these stuff again. If you struggle with them you can ask me for help.

Ex(1) Drive the identity (4).

Ex(2) Let U_{ \alpha }{}^{ \beta } = \delta_{ \alpha }{}^{ \beta } + i \epsilon_{ \alpha }{}^{ \beta } be an infinitesimal SU(n) transformation, where \epsilon is hermitian \epsilon_{ \alpha }{}^{ \beta } = \epsilon^{ \beta }{}_{ \alpha } = ( \epsilon^{ \alpha }{}_{ \beta } )^{ * } . A (Lorentz) scalar field \phi_{ \alpha } (in the fundamental rep. [n]) and its complex conjugate \phi^{ \alpha } = ( \phi_{ \alpha } )^{ * } (in the conjugate rep. [n^{ * }]) transform according to \phi_{ \alpha } \to \phi_{ \alpha } + i \epsilon_{ \alpha }{}^{ \beta } \ \phi_{ \beta } , \phi^{ \alpha } \to \phi^{ \alpha } - i \epsilon^{ \alpha }{}_{ \beta } \ \phi^{ \beta } . Using these transformations we find, for (Lorentz) scalar fields in the adjoint representation \Phi_{ \alpha }{}^{ \beta } \equiv \phi_{ \alpha } \phi^{ \beta } - ( 1 / n ) \delta_{ \alpha }^{ \beta } \ \phi^{ 2 }, the following transformation \Phi_{ \alpha }{}^{ \beta } \to \Phi_{ \alpha }{}^{ \beta } + i \epsilon_{ \alpha }{}^{ \eta } \ \Phi_{ \eta }{}^{ \beta } - i \epsilon^{ \beta }{}_{ \eta } \ \Phi_{ \alpha }{}^{ \eta } . The action of the covariant derivative on \phi_{ \alpha } is given by ( D_{ \mu } \phi )_{ \alpha } = \partial_{ \mu } \phi_{ \alpha } + i g ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } \ \phi_{ \beta } . (i) Show that the gauge field transforms according to ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } \to ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } + i \epsilon_{ \alpha }{}^{ \eta } ( \mathbb{ A }_{ \mu } )_{ \eta }{}^{ \beta } - i \epsilon^{ \beta }{}_{ \eta } ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \eta } - \frac{ 1 }{ g } \partial_{ \mu } \epsilon_{ \alpha }{}^{ \beta } . (ii) Show that the action of the covariant derivative on (Lorentz) scalars in the adjoint representation is given by ( D_{ \mu } \Phi )_{ \alpha }{}^{ \beta } = \partial_{ \mu } \Phi_{ \alpha }{}^{ \beta } + i g \left( ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \eta } \Phi_{ \eta }{}^{ \beta } - ( \mathbb{ A }_{ \mu } )_{ \eta }{}^{ \beta } \Phi_{ \alpha }{}^{ \eta } \right) . (iii) Expand the matrices \mathbb{ A }_{ \mu } and \Phi in terms of the n \times n hermitian traceless matrices t^{ a } : ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \beta } = \frac{ 1 }{ 2 } A_{ \mu }^{ a } ( t^{ a } )_{ \alpha }{}^{ \beta } , \ \ \ \Phi_{ \alpha }{}^{ \beta } = \phi^{ b } ( t^{ b } )_{ \alpha }{}^{ \beta } , and show that D_{ \mu } \phi^{ a } = \partial_{ \mu } \phi^{ a } - \frac{ g }{ 2 } f^{ a b c } A_{ \mu }^{ b } \ \phi^{ c } . Notice that, like the Lorentz vectors A_{ \mu }^{ a }, the Lorentz scalars \phi^{ a } are components of a vector in ( n^{ 2 } - 1 )-dimensional vector space.

Sam

I was asked to derive the last equation, i.e. the action of the covariant derivative on scalar field in the adjoint representation:
The adjoint representation \Phi_{\alpha}{}^{\beta} transforms in the same way as the tensor product of the fundamental representations \phi_{\alpha} \phi^{\beta}: \Phi_{\alpha}{}^{\beta} \to \Phi_{\alpha}{}^{\beta} + i \epsilon_{\alpha}{}^{\eta} \Phi_{\eta}{}^{\beta} - i \epsilon_{\eta}{}^{\beta} \Phi_{\alpha}{}^{\eta} . So, the action of the covariant derivative on \Phi_{\alpha}{}^{\beta} is obtained by replacing \epsilon_{\alpha}{}^{\beta} by g (\mathbb{A}_{\mu})_{\alpha}{}^{\beta}: (D_{\mu}\Phi)_{\alpha}{}^{\beta} = \partial_{\mu}\Phi_{\alpha}{}^{\beta} + i g (\mathbb{A}_{\mu})_{\alpha}{}^{\eta} \Phi_{\eta}{}^{\beta} - i g \Phi_{\alpha}{}^{\eta} (\mathbb{A}_{\mu})_{\eta}{}^{\beta} . This is because the combination of the second and the third terms (as you can work it out) transforms in the adjoint representation of the global group. In terms of matrix multiplication, we can rewrite the above equation as D_{\mu}\Phi_{\alpha}{}^{\beta} = \partial_{\mu}\Phi_{\alpha}{}^{\beta} + i g [ \mathbb{A}_{\mu} , \Phi ]_{\alpha}{}^{\beta} . \ \ \ \ (1) Now using the relations \Phi = \phi^{b} t^{b} , \ \ \ \mathbb{A}_{\mu} = \frac{1}{2} A_{\mu}^{a} t^{a} , together with the algebra [t^{a} , t^{b}]_{\alpha}{}^{\beta} = i f^{a b c} (t^{c})_{\alpha}{}^{\beta} , Eq(1) becomes D_{\mu}\phi^{c} (t^{c})_{\alpha}^{\beta} = \partial_{\mu}\phi^{c} (t^{c})_{\alpha}^{\beta} - \frac{g}{2} f^{a b c} A_{\mu}^{a}\phi^{b} (t^{c})_{\alpha}^{\beta} . Or D_{\mu}\phi^{a} = \partial_{\mu}\phi^{a} - \frac{g}{2} f^{a b c} A_{\mu}^{b} \phi^{c} .

Sam

 

[Safinaz]

Hi Sam,

Thanks for you reply, but I see that we replaced $\epsilon^\beta_\alpha$ by $g~ (\mathbb{A}_{\mu})_{\alpha}{}^{\beta}$ in the transformation of $\Phi_{\alpha}{}^{\beta}$ adjoint representation, we will get the action of the covariant derivative on $\Phi_{\alpha}{}^{\beta}$ as

$$ ( D_{ \mu } \Phi )_{ \alpha }{}^{ \beta } = \partial_{ \mu } \Phi_{ \alpha }{}^{ \beta } + i g \left( ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \eta } \Phi_{ \eta }{}^{ \beta } - ( \mathbb{ A }_{ \mu } )_{ \eta }{}^{ \beta } \Phi_{ \alpha }{}^{ \eta } \right) ,$$

( as in (ii) in your first reply), and not by

$$ (D_{\mu}\Phi)_{\alpha}{}^{\beta} = \partial_{\mu}\Phi_{\alpha}{}^{\beta} + i g (\mathbb{A}_{\mu})_{\alpha}{}^{\eta} \Phi_{\eta}{}^{\beta} - i g \Phi_{\alpha}{}^{\eta} (\mathbb{A}_{\mu})_{\eta}{}^{\beta} . $$

Where I think the commutator in (1) $" [ \mathbb{A}_{\mu} , \Phi ] "$comes from
$(\mathbb{A}_{\mu})_{\alpha}{}^{\eta} \Phi_{\eta}{}^{\beta} - \Phi_{\alpha}{}^{\eta} (\mathbb{A}_{\mu})_{\eta}{}^{\beta}$.Edit: I think you mean that, in general for a second rank tensor:
$$ \Phi ^{\alpha \beta } \to \Phi^{\alpha \beta } + i \epsilon^{ \alpha \eta } \ \Phi ^{ \eta \beta } - i \Phi^{\alpha \eta } \epsilon^{\eta \beta } .$$
So when we make the replacement by$(\mathbb{A}_{\mu})_{\alpha}{}^{\beta}$ to get the covariant derivative:
$$ (D_{\mu} \Phi) ^{\alpha \beta } = \partial_{\mu} \Phi^{\alpha \beta } + i g (\mathbb{A}_{\mu})^{ \alpha \eta } \ \Phi ^{ \eta \beta } - ig \Phi^{\alpha \eta } (\mathbb{A}_{\mu})^{\eta \beta } . $$

Bests.
S.

 

[samalkhaiat]

Hi Sam,

$$ ( D_{ \mu } \Phi )_{ \alpha }{}^{ \beta } = \partial_{ \mu } \Phi_{ \alpha }{}^{ \beta } + i g \left( ( \mathbb{ A }_{ \mu } )_{ \alpha }{}^{ \eta } \Phi_{ \eta }{}^{ \beta } - ( \mathbb{ A }_{ \mu } )_{ \eta }{}^{ \beta } \Phi_{ \alpha }{}^{ \eta } \right) ,$$
( as in (ii) in your first reply), and not by

There is no difference. \mathbb{A}_{\mu} and \Phi are the non-commuting matrices, but (\mathbb{A}_{\mu})_{\eta}{}^{\beta} and \Phi_{\alpha}{}^{\eta} are commuting matrix elements, i.e. (\mathbb{A}_{\mu})_{\eta}{}^{\beta} \Phi_{\alpha}{}^{\eta} = \Phi_{\alpha}{}^{\eta} (\mathbb{A}_{\mu})_{\eta}{}^{\beta} = ( \Phi \mathbb{A}_{\mu})_{\alpha}{}^{\beta} .

 

[Safinaz]

Hi Sam,

Okay, I got it. May I ask for a reference notes for the equations you mentioned in your first reply, because i'd like to summarize all that ..

Also let me ask about other point: it seems you don't approve that

in the adjoint representation the dimension of the generators is equal to the number of them...

for SU(2), in the adjoint representation you have three 3x3 matrices, for SU(3) eight 8x8 matrices, and so on

Rather you say in the adjoint representation we have $n^2-1$ generators which are $n \times n$ hermitian matrices $( t^{ a } )_{ \alpha \beta },~ \alpha, \beta=1,..,3 ~$ (for example in SU(3)), I'm I right ?

But then, what dose it mean that in the adjoint representation the generators can be written in the form of:
$$ (T_i)_{jk}= - f_{ijk} ~~ (1) $$
( Still in SU(3) ), where i,j,k =1,..8 ?
That's are in all group notes as: http://astro.sunysb.edu/steinkirch/books/group.pdf

I think that it is not arbitrary for a a gauge field $A^{ a }_{ \mu } \ t^{ a } ,$ or a scalar field in
the adjoint representation $S^{ a } \ t^{ a }$ to substitute by $f_{ijk}$ instead of $t^{ a }$, because in that case the colour factor of the vertex of three gluons for example 'd be $f_{ijk} f_{lmn} f_{qrs}$ which is obviously wrong ..

So when (1) can be indeed used?
In Group's note as: http://www.physics.indiana.edu/~dermisek/QFT_08/qft-II-19-2p.pdf, I found it's used in the Jacobi identity to drive the Lie Algebra in case of the adjoint representation ..

What do you think ?Cheers,
S.

 

[ChrisVer]

I guess the first t^a you wrote defines the generators of the infinitiseimal transformation of the fundamental repr, which is a 3 dimeensional space.
The other (1) is a higher dimensional repr of SU(3): the adjoin, that is 8dimensional.

 

[samalkhaiat]

Hi Sam,

Okay, I got it. May I ask for a reference notes for the equations you mentioned in your first reply, because i'd like to summarize all that ..

That is good question, I don’t really know of particular reference for that material. I suppose all good textbook on QCD should have something to say about it. Also try to look up works on “Chiral Perturbation Theory”.

Also let me ask about other point: it seems you don't approve that


Rather you say in the adjoint representation we have $n^2-1$ generators which are $n \times n$ hermitian matrices $( t^{ a } )_{ \alpha \beta },~ \alpha, \beta=1,..,3 ~$ (for example in SU(3)), I'm I right ?

Where did I say that? The n^{2} - 1 traceless hermitian n \times n generator matrices ARE the defining (fundamental) representation of SU(n). Of course the generator matrices of the adjoint representation ARE (n^{2} - 1) \times (n^{2} - 1), and there are n^{2}-1 of them. This is exactly what the relation ad(t^{a})^{bc} = - i f^{abc} tells you.

But then, what dose it mean that in the adjoint representation the generators can be written in the form of:
$$ (T_i)_{jk}= - f_{ijk} ~~ (1) $$
( Still in SU(3) ), where i,j,k =1,..8 ?
That's are in all group notes as: http://astro.sunysb.edu/steinkirch/books/group.pdf

I think that it is not arbitrary for a a gauge field $A^{ a }_{ \mu } \ t^{ a } ,$ or a scalar field in
the adjoint representation $S^{ a } \ t^{ a }$ to substitute by $f_{ijk}$ instead of $t^{ a }$, because in that case the colour factor of the vertex of three gluons for example 'd be $f_{ijk} f_{lmn} f_{qrs}$ which is obviously wrong ..

So when (1) can be indeed used?
In Group's note as: http://www.physics.indiana.edu/~dermisek/QFT_08/qft-II-19-2p.pdf, I found it's used in the Jacobi identity to drive the Lie Algebra in case of the adjoint representation ..

What do you think ?


Cheers,
S.

Look I am busy at the moment; I will post long reply for you some times next week explaining almost everything you are confused about.

 

[Safinaz]

Okay, thanks for your reply ..