Codex @codex  0

For three Lie-algebra-valued functions of one variable, the Nahm equations areThey arise by taking a solution of the ASDYM equations with orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge dt$, imposing independence of $x^1,x^2,x^3$, and setting $A_t=0$ by a local Yang-Mills gauge transformation. Then $F_{ab}=[A_a,A_b]$, $F_{at}=-{\dot{A}}_a$, and anti-self-duality of gauge curvature gives the displayed equations. The opposite orientation reverses their sign.

Use Euclidean coordinates $(x^1,x^2,x^3,x^4)$ and orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$. For $D_{\mu }={\partial }_{\mu }+A_{\mu }$, the gauge curvature is $F_{\mu \nu }=[D_{\mu },D_{\nu }]$. The ASDYM equations are $F=-\ast F$, equivalentlyPut $w=x^1+i{x}^2$, $z=x^3+i{x}^4$, with ${\partial }_w=({\partial }_1-i{\partial }_2)/2$ and similarly for $z$. The bars label the complex conjugate coordinates on the Euclidean real slice; after complexification they can be treated as independent coordinates. A Lax pair for the anti-self-dual Yang-Mills equations isAt infinity rescale the operators and use the other affine coordinate. Their commutator isCompatibility for every $\lambda$ is therefore precisely $F_{wz}=F_{\bar{w}\bar{z}}=0$ and $F_{w\bar{w}}+F_{z\bar{z}}=0$. To verify the real component signs,The conjugate equation supplies the remaining real components. This is compatibility of an overdetermined system, not an additional field equation on $\Psi$ for only one value of the spectral parameter.

Impose invariance under translations in $x^1,x^2,x^3$, writing $t=x^4$. In a symmetry-adapted gauge the potentials depend only on $t$. A further $t$-dependent Yang-Mills gauge transformation sets $A_4=0$ locally, by solving the usual parallel transport ordinary differential equation; it does not reintroduce spatial dependence. ThenThe three real equations above become ${\dot{A}}_1=[A_2,A_3]$, ${\dot{A}}_2=[A_3,A_1]$ and ${\dot{A}}_3=[A_1,A_2]$, namelyThese are the Nahm equations. The orientation chosen above gives the requested plus sign; reversing orientation exchanges self-duality of gauge curvature and anti-self-duality of gauge curvature. Translation invariance here is a local dimensional reduction and is not a claim of finite four-dimensional action over all three translation directions.

To prove conservation, abbreviate $P=A_1+i{A}_2$, $Q=A_1-i{A}_2$ and $R=A_3$, so $A(\lambda )=P+2R\lambda -Q{\lambda }^2$ and $B(\lambda )=-iR+iQ\lambda$. Expanding the commutator, including the cancellation of the cubic term, givesThe Nahm equations giveThus the polynomial Lax representation of the Nahm equations isTake a finite-dimensional matrix representation of the Lie algebra and its complexification. For every positive integer $p$, differentiating the product and using cyclicity of the matrix trace givesThis proves the trace invariants of a Lax equation directly. Since $\mathrm{Tr}(A(\lambda {)}^p)$ is a polynomial of degree at most $2p$ in the affine coordinate $\lambda$, its derivative vanishes identically only if the derivative of every coefficient vanishes. Therefore every trace-polynomial coefficient is independent of $t$. At projective infinity these polynomials are sections of $\mathcal{O}(2p)$; they need not be constant functions of $\lambda$ on the whole projective sphere.

Put $P=A_1+i{A}_2$, $Q=A_1-i{A}_2$ and $R=A_3$, and defineDirect expansion gives $[L,M]=-i[P,R]+i[P,Q]\lambda +i[R,Q]{\lambda }^2$. The Nahm equations imply $\dot{P}=-i[P,R]$, $2\dot{R}=i[P,Q]$ and $-\dot{Q}=i[R,Q]$, so $\dot{L}=[L,M]$. In any finite-dimensional matrix representation, cyclicity of the matrix trace givesThus every coefficient of the degree-at-most-$2p$ matrix trace polynomial is conserved. At projective infinity the polynomial is interpreted as a section of $\mathcal{O}(2p)$, not a globally holomorphic scalar function on the complex projective line.