Yang-Mills Stress-Energy Tensor Explained

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 3K views
It's given as ##T_{\mu \nu} = - \mathrm{tr}(F_{\mu \lambda} {F_{\nu}}^{\lambda} - \frac{1}{4} g_{\mu \nu} F_{\alpha \beta} F^{\alpha \beta})##. Can somebody explain the notation, i.e. what is the meaning here of the trace? (usually I would interpret the trace of a matrix as the number ##\mathrm{tr}(a_{\mu \nu}) = {a^{\mu}}_{\mu}##.)
 
Reply
  • Like
Likes   Reactions: vanhees71
Physics news on Phys.org
It would have made more sense to just show "a" as a SU(n) adjoint rep. index on those F's, rather than use Tr which becomes problematic when you consider QCD, that is adding gammas and spinors and their trace(s).
 
Reply
  • Like
Likes   Reactions: vanhees71 and ergospherical
ergospherical said:
It's given as ##T_{\mu \nu} = - \mathrm{tr}(F_{\mu \lambda} {F_{\nu}}^{\lambda} - \frac{1}{4} g_{\mu \nu} F_{\alpha \beta} F^{\alpha \beta})##. Can somebody explain the notation, i.e. what is the meaning here of the trace?

For such questions of notation, it would be helpful to give the reference.
 
Reply
  • Like
Likes   Reactions: vanhees71 and ergospherical
ergospherical said:
It's given as ##T_{\mu \nu} = - \mathrm{tr}(F_{\mu \lambda} {F_{\nu}}^{\lambda} - \frac{1}{4} g_{\mu \nu} F_{\alpha \beta} F^{\alpha \beta})##. Can somebody explain the notation, i.e. what is the meaning here of the trace?
Here [itex]F_{\mu\nu}[/itex] is the matrix-valued field tensor: [tex]F_{\mu\nu} = \mathcal{F}_{\mu\nu}^{a}X_{a} ,[/tex] where the [itex]X[/itex]’s are a set (in fact, any set) of matrices satisfying the Lie algebra of the group [itex][X_{a},X_{b}] = i C_{ab}{}^{c}X_{c}.[/itex]
So [tex]\mbox{Tr}\left( F_{\mu\nu}F^{\mu\nu}\right) = \mathcal{F}_{\mu\nu}^{a}\mathcal{F}^{\mu\nu b} \ \mbox{Tr} \left( X_{a}X_{b}\right),[/tex] and [tex]\mbox{Tr}\left(X_{a}X_{b}\right) \equiv \left(X_{a} X_{b}\right)_{ii}, \ \ i = 1,2, \cdots , p[/tex] where [itex]p[/itex] is the dimension of the representation. For simple compact Lie groups, we can always choose the [itex]X[/itex]’s to be trace-orthonormal [tex]\mbox{Tr}\left( X_{a}X_{b}\right) = 2C \delta_{ab} ,[/tex] where [itex]C[/itex] is a constant for each irreducible part of the representation. The matrix notation is useful because it makes gauge-invariance (kind of) obvious: [tex]\mbox{Tr}\left(gF_{\mu\nu}g^{-1}gF^{\mu\nu}g^{-1}\right) = \mbox{Tr}\left( F_{\mu\nu}F^{\mu\nu}\right).[/tex]
 
Reply
  • Like
  • Informative
Likes   Reactions: ergospherical, vanhees71 and dextercioby