Faddov Ghosts and the non-Abelian Lagrangian

  • Context: Graduate 
  • Thread starter Thread starter Elwin.Martin
  • Start date Start date
  • Tags Tags
    Ghosts Lagrangian
Click For Summary
SUMMARY

The discussion centers on the definition and properties of the "pure gauge-field Lagrangian" as presented in Ryder's 2nd edition, specifically on page 252. The field strength tensor \( G_{\mu \nu} \) is defined as \( G_{\mu \nu} \equiv \partial_{\mu}A_{\nu} - \partial_{\nu}A_{\mu}-ig\left[ A_{\mu},A_{\nu}\right] \). The confusion arises regarding the trace operation applied to \( G_{\mu \nu} G^{\mu \nu} \), where it is clarified that while \( G_{\mu \nu} G^{\mu \nu} \) is indeed a scalar in spacetime, it is not a scalar under gauge group transformations due to the matrix nature of \( G_{\mu \nu} \) in the context of non-Abelian gauge groups like SU(n).

PREREQUISITES
  • Understanding of gauge theory and Lagrangian mechanics.
  • Familiarity with Lie algebras and non-Abelian gauge groups, specifically SU(n).
  • Knowledge of tensor calculus and spacetime indices.
  • Experience with matrix operations and the trace function in linear algebra.
NEXT STEPS
  • Study the properties of the Lie algebra associated with non-Abelian gauge groups.
  • Learn about the derivation and implications of the pure gauge-field Lagrangian in quantum field theory.
  • Explore the role of the trace operation in quantum mechanics and field theory.
  • Investigate the mathematical structure of Dirac matrices and their applications in gauge theories.
USEFUL FOR

The discussion is beneficial for theoretical physicists, particularly those specializing in quantum field theory, gauge theories, and mathematical physics. It is also relevant for graduate students seeking to deepen their understanding of Lagrangian formulations in non-Abelian contexts.

Elwin.Martin
Messages
202
Reaction score
0
So my text (Ryder 2nd edition, page 252) is defining the "pure gauge-field Lagrangian" as:
[itex]G_{\mu \nu}\equiv \partial_{\mu}A_{\nu} - \partial_{\nu}A_{\mu}-ig\left[ A_{\mu},A_{\nu}\right][/itex]

[itex]\mathcal{L} = -\frac{1}{4}Tr G_{\mu \nu} G^{\mu \nu}[/itex]

Dumb question:
Isn't [itex]G_{\mu \nu} G^{\mu \nu}[/itex] being summed over, and hence, scalar?
How is trace even defined on a scalar quantity? Is the trace only applying to the first G and is a scalar factor for the second?

I feel like I'm missing something obvious here.

Thanks for any and all advice.
 
Physics news on Phys.org
Elwin.Martin said:
So my text (Ryder 2nd edition, page 252) is defining the "pure gauge-field Lagrangian" as:
[itex]G_{\mu \nu}\equiv \partial_{\mu}A_{\nu} - \partial_{\nu}A_{\mu}-ig\left[ A_{\mu},A_{\nu}\right][/itex]

[itex]\mathcal{L} = -\frac{1}{4}Tr G_{\mu \nu} G^{\mu \nu}[/itex]

Dumb question:
Isn't [itex]G_{\mu \nu} G^{\mu \nu}[/itex] being summed over, and hence, scalar?

Yes, a spacetime scalar. But not a scalar with respect to gauge group transformations. The field strength is an element of the Lie algebra, so it is a matrix when the gauge group is e.g. SU(n) for n>1. The rest of your questions should also be explained by this.
 
Remember that your object's indices indicate the space-time indices. They are groups of matrices in general. Just think about the Dirac matrices. You label [itex]\gamma^\mu[/itex]. This is actually a set of 4 matrices. The trace means to take the trace of the resulting matrix.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K