The Yang-Mills Higgs Lagrangian Let's say we have a principal bundle $(P,B,\pi;G)$ and associated bundle $E=P \times_{(G,\rho)}V$and $Ad(P)=P\times_{(G,Ad)} \mathfrak{g}$ the adjoint bundle. The Yang-Mills-Higgs action (without potential) is
\begin{equation}
\int_M(- \frac{1}{2}\langle F^A, F^A \rangle_{\operatorname{Ad}(P)} +\langle d_A \phi, d_A \phi \rangle_E - m^2 \langle \phi, \phi \rangle_E )d\nu_g
\end{equation}
with $\phi \in \Gamma(E)$. If we vary the equation, i.e. add $A+t \omega$ and $\phi+t \alpha$ and then take $d/dt$ the equations of motion are
\begin{equation}
\delta_A F^A=j \quad \delta_A d_A \phi=0
\end{equation}
with the codifferential $\delta_A$ and the implicit defined current
\begin{equation}
\langle j, \alpha \rangle = -\langle d_A \phi,\rho_*(\alpha) \phi \rangle
\end{equation}
In Differential Geometry And Mathematical Physics 2 by Gerd Rudolph and Matthias Schmidt it says that if we take the associated bundle, i.e. $E$ to be the adjoint bundle, the first equation of motion becomes
\begin{equation}
\delta_A F^A=[d_A \phi,\phi]
\end{equation}
I have two equations:

*

*How can I derive $j=[d_A \phi,\phi]$ form the general equation for the current. And how do I express it in local coordinates to get something similar to the currents in physics.

*Is there some Binachi-identity for the curvature form with the codifferential, i.e. $\delta_A \delta_A F^A=0$. This somehow should be the case, since the current should be conserved, i.e. $\delta_A j=0$
 A: *

*The first question has been already answered in a comment by NicAG, but let us repeat the 3-line long argument here for completeness:


For the adjoint bundle , ρ∗=ad(⋅)(⋅)=[⋅,⋅]. Hence $⟨j,α⟩=−⟨d_Aϕ,[α,ϕ]⟩$. Because of ad-invariance, the commutator can be 'moved': $⟨j,α⟩=⟨[d_Aϕ,ϕ],α⟩$. The rest its then just non degeneracy.

Edit: changed the sign in the latter formula because so does 'moving' the commutator.
Remark. Possible confusion (see the comments) may come from another common formula for the current borrowed here from a different context:
$$j_μ=i(ϕ^†D_μϕ−(D_μϕ^†)ϕ).$$
In fact the latter formula is not applicable here because in the extremely abstract setting considered in the book, there is simply no complex structure, hence no complex conjugation. But if we come down to Earth and recall that G is a compact Lie group (this is assumed in the 3rd line of Section 7.2 `Yang–Mills–Higgs Systems' in the book in question), hence, ``more or less'', subset of $U(n)$, hence any element $\phi$ of the Lie algebra satisfies $ϕ^†=-ϕ$, then we come to the same expression (up to constant factor). Then, plugging in the expressions
$$
D_μϕ=(d_Aϕ)_\mu=\frac{\partial\phi}{\partial x^\mu}+A_\mu\phi-\phi A_\mu,
$$
one gets the expression for the current in local coordinates.


*The identities $δ_Aj=0$ and $δ_Aδ_AF_A=0$  indeed hold with a one-line proof: for each element $\alpha$ of the Lie algebra we have
$$
\langle δ_Aδ_AF_A,\alpha\rangle=\langle F_A,d_Ad_A\alpha\rangle=\langle F_A,[\alpha,F_A]\rangle=\langle \alpha,[F_A,F_A]\rangle=0.
$$
However this is not called ``the Bianchi identity'', the name being already reserved for the identity $d_AF_A=0$ (Eq. 7.2.6 in the book in question).

Remark. One should not be confused (see the comments) by another common formula $d_Ad_A\phi=F\wedge \phi$, which is valid for a 'vector' $\phi$ but not for a 'matrix' $\phi$ (more formally, for the fundamental representation but not for the adjoint representation).
Remark. In fact the material of the book is not properly exposed in the question. For instance, in the right-hand side of the equation of motion $δ_Ad_Aϕ=0$ there should be $mϕ$ or $-mϕ$ instead. Notice that here the Higgs potential $V(\phi)=m^2|\phi|^2$ does not vanish. But in the absence of higher degree terms in the potential, the action should not be called Yang-Mills-Higgs action: it is rather action for a Klein-Gordon field coupled with a Yang-Mills field.
Remark. Maybe the deep source of all those confusions is an extremely abstract style of most literature on the subject. Let me try to advertise a paper with an elementary introduction of gauge theory. See Sections 2.4-2.5 there. It deals with a lattice formulation, thus to get a deep understanding, one even does not need to know what a derivative is.
