Showing that Yang-Mills equations transform homogeneousy

center o bass
Messages
545
Reaction score
2
Hi! I'm trying to show that the differential from equation
$$D \star F = 0$$ transform homogeneously under the adjoint action ##F \mapsto gFg^{-1}## of the lie group ##G##, where ##D## denotes the covariant exterior derivative ##D\alpha = d \alpha + A \wedge \alpha## for some lie algebra valued form ##\alpha##. Since
$$A \mapsto gAg^{-1} + gdg^{-1}$$
we get
$$D\star F \mapsto d(g\star Fg^{-1}) + (A \mapsto gAg^{-1} + gdg^{-1})\wedge \star F = dg \wedge \star F g^{-1} + g d\star F g^{-1} + g \star F \wedge dg^{-1} + g A \wedge \star F g^{-1} + g dg^{-1} \wedge g^{-1} \star F g^{-1}$$
where if we use that ##gdg^{-1} = - (dg) g^{-1}##, then the last term seem to cancel the first. However, if this is correct, then the third term has to be zero.

Is the third term zero, and if so why?

Am I going wrong somewhere else?
 
Physics news on Phys.org
I'm sorry you are not generating any responses at the moment. Is there any additional information you can share with us? Any new findings?
 
I overlooked this question completely; I'll come back to you asap
 
center o bass said:
Hi! I'm trying to show that the differential from equation
$$D \star F = 0$$ transform homogeneously under the adjoint action ##F \mapsto gFg^{-1}## of the lie group ##G##, where ##D## denotes the covariant exterior derivative ##D\alpha = d \alpha + A \wedge \alpha## for some lie algebra valued form ##\alpha##. Since
$$A \mapsto gAg^{-1} + gdg^{-1}$$
we get
$$D\star F \mapsto d(g\star Fg^{-1}) + (A \mapsto gAg^{-1} + gdg^{-1})\wedge \star F = dg \wedge \star F g^{-1} + g d\star F g^{-1} + g \star F \wedge dg^{-1} + g A \wedge \star F g^{-1} + g dg^{-1} \wedge g^{-1} \star F g^{-1}$$
where if we use that ##gdg^{-1} = - (dg) g^{-1}##, then the last term seem to cancel the first. However, if this is correct, then the third term has to be zero.

Is the third term zero, and if so why?

Am I going wrong somewhere else?

Let me try it out :)
D \star F=0
or
d \star F + A \wedge \star F = 0

Now make the mappings of D \star F...

d(g \star Fg^{-1}) + (gAg^{-1} + g dg^{-1}) \wedge \star gFg^{-1}

I think here we reach different results... ?
I can't continue because I am not sure what star means... and I am not really familiar with the wedges...
 
I'll try to answer using very very old notes; hope the signs and details a correct. I start w/o using forms. I think the problem is not in the exterior derivative but in the su(n) part. In the following F and A are su(N) matrices, g is an SU(N) group element and the commutators [.,.] always refer to the su(N) matrices.

We have the following transformations:

A_\mu \to A_\mu^\prime = g\,(A_\mu + i\partial_\mu)\,g^\dagger
F_{\mu\nu} \to F_{\mu\nu}^\prime = g\,F_{\mu\nu}\,g^\dagger

As far as I remember the covariant derivative of F is defined as

(DF)^\nu = \partial_\mu F^{\mu\nu} - i [A_\mu,F^{\mu\nu}]

Now we have to check the transformation properties of DF:

(DF)^\nu \to {(DF)^\prime}^\nu = \partial_\mu (g\,F^{\mu\nu}\,g^\dagger) -i[g\,A_\mu\,g^\dagger + ig\,\partial_\mu\,g^\dagger, g\,F^{\mu\nu}\,g^\dagger]<br />

I hope this Ansatz helps ...
 
Last edited:
Toponium is a hadron which is the bound state of a valance top quark and a valance antitop quark. Oversimplified presentations often state that top quarks don't form hadrons, because they decay to bottom quarks extremely rapidly after they are created, leaving no time to form a hadron. And, the vast majority of the time, this is true. But, the lifetime of a top quark is only an average lifetime. Sometimes it decays faster and sometimes it decays slower. In the highly improbable case that...
I'm following this paper by Kitaev on SL(2,R) representations and I'm having a problem in the normalization of the continuous eigenfunctions (eqs. (67)-(70)), which satisfy \langle f_s | f_{s'} \rangle = \int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du. \tag{67} The singular contribution of the integral arises at the endpoint u=1 of the integral, and in the limit u \to 1, the function f_s(u) takes on the form f_s(u) \approx a_s (1-u)^{1/2 + i s} + a_s^* (1-u)^{1/2 - i s}. \tag{70}...

Similar threads

Back
Top