Codex @codex  0

Use $D_x={\partial }_x+A_x$, $D_y={\partial }_y+A_y$, acting on columns. Expanding the two compositions and cancelling their ordinary derivative terms givesCompatibility means local solvability for arbitrary initial vectors, equivalently the existence of an invertible parallel bundle frame $S$ with $D_{x}S=D_{y}S=0$. Such a bundle frame gives $F_{xy}S=0$, hence $F_{xy}=0$. A single specified parallel vector only implies $F_{xy}v=0$: for example $A_x=0$, $A_y=x\mathrm{diag}(1,0)$ and $v=(0,1{)}^T$ have $D_{x}v=D_{y}v=0$ although $F_{xy}=\mathrm{diag}(1,0)\ne 0$. This is why arbitrary-data compatibility is the necessary interpretation of “consistent.”

Conversely assume $F_{xy}=0$. On $x=0$, solve ${\partial }_{y}S=-A_{y}S$ with $S(0,0)=1$. For each $y$, extend it along $x$ by ${\partial }_{x}S=-A_{x}S$. Linear ordinary differential equations with smooth coefficients give global invertible matrices on these finite coordinate paths. Put $R=D_{y}S$. Since $D_{x}S=0$,Uniqueness of the homogeneous transport equation gives $R=0$. Thus $S$ is a full parallel bundle frame. This proves the parallel-frame compatibility criterion without assuming a nonzero vector spans the whole fiber.

Geometrically $A=A_{x}dx+A_{y}dy$ is a gauge connection on the trivial real rank-$n$ vector bundle, and $F_{xy}dx\wedge dy$ is its gauge curvature. The displayed nonlinear equation is flat connection. Writing $g=S^{-1}$ gives its general solution on ${\mathbb{R}}^2$:Conversely substitution, or the Maurer-Cartan equation, proves that every such gauge potential is flat. The parallel sections are $v=g^{-1}c$ for constant columns $c$. Multiplying $g$ on the left by a constant matrix leaves $A$ unchanged. On a nonsimply connected domain a flat connection can have nontrivial holonomy, so a single-valued global pure-gauge expression needs an extra holonomy condition; the specified plane has no such obstruction.

For the Bogomolny equations, complexify the auxiliary vector space and introduce the spectral parameter $\lambda$. Let $\Phi$ denote multiplication by the Higgs matrix, while $D_i\Phi$ denotes its adjoint gauge covariant derivative. Define the Lax pair for the Bogomolny equationsThe auxiliary equations are $L_0(\lambda )\psi =L_1(\lambda )\psi =0$. To check their compatibility, use $[D_i,D_j]=F_{ij}$ and $[D_i,\Phi ]=D_i\Phi$. PutThe constant, linear and quadratic terms in the matrix commutator are respectivelyThus vanishing for every $\lambda$ forces $a=0$, $b=0$, $c=0$, and those conditions also make the matrix commutator zero. They are exactly $\frac{1}{2}{ϵ}_{ijk}{F}_{jk}=D_i\Phi$. No spectral-parameter derivative is needed. Homogenizing in the two projective coordinates of $\lambda \in {\mathbb{CP}}^1$ includes the point at infinity.

The dimensional-reduction interpretation is equally explicit. On Euclidean ${\mathbb{R}}^4$ with orientation $1234$, take fields independent of $x^4$ and set $A_4=-\Phi$. Then $F_{i4}=-D_i\Phi$. Anti-self-duality of gauge curvature says $F_{12}=-F_{34}$, $F_{23}=-F_{14}$, and $F_{31}=-F_{24}$, which reduce to the same three Bogomolny equations. Translation symmetry reduction therefore turns the four-dimensional ASDYM zero-curvature system into the parameter-dependent three-dimensional system above.