Kinetic lagrangian for non-abelian gauge theories

Click For Summary

Discussion Overview

The discussion revolves around the gauge invariance of the kinetic term in the Lagrangian for non-abelian gauge theories, specifically focusing on the gauge group SU(N) and its representations. Participants explore whether the invariance holds for arbitrary representations, with particular emphasis on the fundamental and adjoint representations.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • Patrice questions whether the kinetic term in the Lagrangian is invariant for any representation of the gauge group SU(N), noting that it is known to be invariant for the fundamental representation.
  • Sam asserts that each representation has its own invariant Lagrangian and suggests that Patrice's question may be meaningless since gauge fields do not carry the fundamental representation.
  • Patrice expresses uncertainty about the connection between the gauge transformation prescription and the generators of the adjoint representation, questioning if the gauge field Aμ is Lie Algebra valued for different representations.
  • Sam indicates that the Wikipedia article Patrice found is insufficient and recommends textbooks for a better understanding.
  • Avodyne mentions that in an arbitrary representation, the kinetic term can be expressed as Tr(FμνFμν) up to a constant, suggesting a resource for further reading.
  • Dave elaborates on the transformation rules for gauge theory, explaining how the covariant derivative and field strength transform, and clarifies that both Aμ and Fμν take values in the Lie algebra of the gauge group.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the invariance of the kinetic term across all representations. There are competing views regarding the meaning and implications of gauge invariance in different representations, and the discussion remains unresolved.

Contextual Notes

Participants express uncertainty about the implications of gauge transformations and the relationship between different representations, indicating a need for further exploration of the topic.

patrice
Messages
4
Reaction score
0
hello everyone!

i've got a very special question on the gauge invariance (gauge group: SU(N), non-abelian) of the kinetic term in the lagrangian. is it invariant for any representation? i only know, that for the fundamental rep. this is true.

to be more specific:

the usual kinetic term is [tex]-\frac{1}{4} F_{\mu \nu}^{a}F^{\mu \nu a}[/tex]

arbitrary rep.: [tex]F_{\mu \nu} =F_{\mu \nu}^a T^a[/tex]

the field tensor transforms like this: [tex]F_{\mu \nu}'=U F_{\mu \nu} U^{-1}[/tex], where [tex]U(x)=\exp(i \theta^a (x) T^a)[/tex]. (in an arbitrary representation with generators [tex]T^a[/tex])

in the fundamental representation of SU(N), i.e. [tex]T^a=\frac{\lambda^a}{2}[/tex], the lagrangian is invariant under gauge transformations, which can easily be proved.

and now for the adjoint representation of SU(N): [tex](T^a)_{ij}=-if^{aij}[/tex]
(note: the generators are here [tex](N^2 -1)\times (N^2-1)[/tex]-matrices.) does anyone know, or is anyone smart enough :-) to proof, that this also holds for this representation?

thank you, I'm looking forward to any answer!

patrice
 
Physics news on Phys.org
patrice said:
hello everyone!

i've got a very special question on the gauge invariance (gauge group: SU(N), non-abelian) of the kinetic term in the lagrangian. is it invariant for any representation? i only know, that for the fundamental rep. this is true.

to be more specific:

the usual kinetic term is [tex]-\frac{1}{4} F_{\mu \nu}^{a}F^{\mu \nu a}[/tex]

arbitrary rep.: [tex]F_{\mu \nu} =F_{\mu \nu}^a T^a[/tex]

the field tensor transforms like this: [tex]F_{\mu \nu}'=U F_{\mu \nu} U^{-1}[/tex], where [tex]U(x)=\exp(i \theta^a (x) T^a)[/tex]. (in an arbitrary representation with generators [tex]T^a[/tex])

in the fundamental representation of SU(N), i.e. [tex]T^a=\frac{\lambda^a}{2}[/tex], the lagrangian is invariant under gauge transformations, which can easily be proved.

and now for the adjoint representation of SU(N): [tex](T^a)_{ij}=-if^{aij}[/tex]
(note: the generators are here [tex](N^2 -1)\times (N^2-1)[/tex]-matrices.) does anyone know, or is anyone smart enough :-) to proof, that this also holds for this representation?

thank you, I'm looking forward to any answer!

patrice

Hi,

Each representation of the gauge group has its own (invariant) Lagrangian. The gauge fields do not carry the fundamental representation! The ( [itex]N^{2}-1[/itex] ) gauge fields transform in the adjoint representation. So, I am afraid, your question is meaningless.

regards

sam
 
hi sam!

thank you for your answer! it was a great help for me. i remember my professor saying that the gauge fields transform in the adjoint representation. up to now it's not yet clear to me, how the gauge transformation "prescription" [tex]A_{\mu}'=UA_\mu U^{-1}+\frac{i}{g} U (\partial _\mu U^{-1})[/tex] is connected with the generators of the adjoint representation of Lie group SU(N), namely the structure constants of the corrensponding Lie Algebra.

Does [tex]A_\mu= A_\mu ^a T^a[/tex] not mean (which one follows from the prescription above), that [tex]A_\mu[/tex] is Lie Algebra valued for the representation of our choice for the matter multiplett [tex]\psi[/tex], even the fundamental rep?

by the way: before i read your post i wanted to say, that the problem is solved, because [tex]F_{\mu \nu}^a[/tex] is independent from the representation and so the Lagrangian is too. but now I'm unsure...

i found a maybe good article on adjoint endomorphisms at wikipedia which i will try to understand later on. but now for the moment my head is full :) I'm going to tell you, if i could get wise from that arcticle..

best regards

patrice
 
patrice said:
hi sam!

thank you for your answer! it was a great help for me. i remember my professor saying that the gauge fields transform in the adjoint representation. up to now it's not yet clear to me, how the gauge transformation "prescription" [tex]A_{\mu}'=UA_\mu U^{-1}+\frac{i}{g} U (\partial _\mu U^{-1})[/tex] is connected with the generators of the adjoint representation of Lie group SU(N), namely the structure constants of the corrensponding Lie Algebra.

Does [tex]A_\mu= A_\mu ^a T^a[/tex] not mean (which one follows from the prescription above), that [tex]A_\mu[/tex] is Lie Algebra valued for the representation of our choice for the matter multiplett [tex]\psi[/tex], even the fundamental rep?

by the way: before i read your post i wanted to say, that the problem is solved, because [tex]F_{\mu \nu}^a[/tex] is independent from the representation and so the Lagrangian is too. but now I'm unsure...

i found a maybe good article on adjoint endomorphisms at wikipedia which i will try to understand later on. but now for the moment my head is full :) I'm going to tell you, if i could get wise from that arcticle..

best regards

patrice

Very soon, maybe tomorow, I will post some useful details for you. As for Wikipedia, I have nothing good to say about it. Try Textbooks instead.

regards

sam
 
hello

sorry for not posting that long. yes, indeed this wikipedia article is a little short and cannot help me with my problem.
neither could the textbooks that i tried: peskin & schroeder (introduction to quantum field theory), ryder (qft) and bjorken drell (relativistic quantum field theory)

do you know or does anyone know a textbook which gives a more detailed discussion on representations of gauge potentials? that would be really nice.

thanks a lot

patrice
 
In an arbitrary rep, the kinetic term is [itex]{\rm Tr}\,F^{\mu\nu}F_{\mu\nu}[/itex] (up to an overall constant).

Try Srednicki's book (google to find a free draft version online).
 
thank you, avodyne! i'll try this book. it really seems to be well structured and quite instructive.

patrice
 
Hi, you seem to be mostly on the right track...

patrice said:
... up to now it's not yet clear to me, how the gauge transformation "prescription" [tex]A_{\mu}'=UA_\mu U^{-1}+\frac{i}{g} U (\partial _\mu U^{-1})[/tex] is connected with the generators of the adjoint representation of Lie group SU(N), namely the structure constants of the corrensponding Lie Algebra.

Does [tex]A_\mu= A_\mu ^a T^a[/tex] not mean (which one follows from the prescription above), that [tex]A_\mu[/tex] is Lie Algebra valued for the representation of our choice for the matter multiplett [tex]\psi[/tex], even the fundamental rep?

Gauge theory posits a symmetry described by the transformation rule [tex]\psi \rightarrow U \psi[/tex], where U belongs to a gauge group G, and [tex]\psi[/tex] belongs to a vector space which is referred to as the fundamental representation of G. The covariant derivative [tex]D_{\mu} \psi[/tex] transforms in the same way (in other words, it also belongs to the fundamental representation), and this can be used to show gauge invariance of the kinetic term for [tex]\psi[/tex] in the Lagrangian, as you seemed to refer to in your original post. The adjoint representation is the vector space of quantities which transform as [tex]Z \rightarrow UZU^{-1}[/tex]; the connection [tex]A_\mu[/tex] is of this type for *global* gauge transformations, while the field strength [tex]F_{\mu\nu}[/tex] is an even better example, since it transforms this way even under local gauge transformations. [tex]A_\mu[/tex] belongs to this space as a consequence of its definition in the covariant derivative. For your question, yes, both [tex]A_\mu[/tex] and [tex]F_{\mu\nu}[/tex] take values in the Lie algebra of G.

I'm not entirely sure, but perhaps your question in your original post asks what changes if we substitute G for one of its other representations? If so, the answer is nothing, because G can be whatever group you like; the fundamental representation is still the space which holds \psi, and A and F will be in the adjoint representation of that space.

Good luck with the studies!
Dave
 

Similar threads

  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K