Codex @codex  0

On an oriented pseudo-Riemannian vector space $({\mathbb{R}}^n,\eta ,\mathrm{vol})$, the Hodge star operator is the unique linear mapsatisfyingfor all $p$-forms $\alpha ,\beta$. If $s$ is the number of negative metric directions, thenon $p$-forms under this convention. For the two-forms in the question,whereasThe induced inner product is symmetric, so these expressions are negatives of one another. Hence a self-dual differential form and an anti-self-dual differential form are orthogonal and

Write $w=x^1+i{x}^2$ and $z=x^3+i{x}^4$. The metric is conformal to the standard Euclidean metric, and the Hodge star on middle-degree differential forms is conformally invariant. Taking $e^{ij}=d{x}^i\wedge d{x}^j$, the three real forms arebecause ${\omega }_1+i{\omega }_2=dw\wedge dz$. For the orientation specified by
$dw\wedge dz\wedge d\bar{w}\wedge d\bar{z}$, one hasThe corresponding relations for the complementary basis forms immediately giveThus these forms give a real basis of the self-dual two-forms.

Let $D_{\alpha }={\partial }_{\alpha }+A_{\alpha }$ be the gauge covariant derivative. In these complex coordinates the Anti-self-dual Yang-Mills equations areIntroduce the spectral parameter $\lambda$ and the linear operatorsTheir commutator isTherefore the Lax pair for the anti-self-dual Yang-Mills equationsis compatible for every $\lambda$ exactly when the ASDYM equations hold.

In particular, $F_{wz}=0$ says that the connection restricted to each $(w,z)$ surface is a flat connection. On a simply connected coordinate patch, the compatible equationshave an invertible solution $g$. Applying the associated gauge transformation setsThis conclusion is local; global topology can obstruct a single such gauge over the whole space.

Let $\zeta \in {\mathbb{CP}}^1$ be the spectral parameter. Define the two covariant differential operatorsThe auxiliary systemis compatible exactly when $[L(\zeta ),M(\zeta )]=0$ for every $\zeta$. The constant and quadratic coefficients giveand their equivalent conjugate equations, while the linear coefficient givesSince $F_{i\tau }=-F_{\tau i}$, these are preciselyThusis a Lax pair for the anti-self-dual Yang-Mills equations. In temporal gauge one simply sets $D_{\tau }={\partial }_{\tau }$.