Nahm equations

From Wikipedia, the free encyclopedia

The Nahm equations are a system of ordinary differential equations proposed by Werner Nahm, as an alternative way to Ward's twistor construction of monopoles. The Nahm equations are formally analogous to the algebraic equations in the ADHM construction of instantons, where finite order matrices are replaced by differential operators.

Deep study of the Nahm equations was carried out by Nigel Hitchin and Simon Donaldson. Conceptually, the equations arise in the process of infinite-dimensional hyperkähler reduction. Among their many applications we can mention: Hitchin's construction of monopoles, where this approach is critical for establishing nonsingularity of monopole solutions; Donaldson's description of the moduli space of monopoles; and the existence of hyperkähler structure on coadjoint orbits of complex semisimple Lie groups, proved by Peter Kronheimer, Olivier Biquard, and A.G. Kovalev.

1 Equations
- 1.1 Additional conditions
2 Nahm-Hitchin description of monopoles
3 Lax representation
4 See also
5 References

[edit] Equations

Let T₁(z),T₂(z), T₃(z) be three matrix-valued meromorphic functions of a complex variable z. The Nahm equations are a system of matrix differential equations

$\begin{align} \frac{dT_1}{dz}&=[T_2,T_3]\\[3pt] \frac{dT_2}{dz}&=[T_3,T_1]\\[3pt] \frac{dT_3}{dz}&=[T_1,T_2], \end{align}$

together with certain analyticity properties, reality conditions, and boundary conditions. The three equations can be written concisely using the Levi-Civita symbol, in the form

$\frac{dT_i}{dz}=\frac{1}{2}\sum_{j,k}\epsilon_{ijk}[T_j,T_k]=\frac{1}{2}\sum_{j,k}\epsilon_{ijk}T_j T_k.$

More generally, instead of considering N by N matrices, one can consider Nahm's equations with values in a Lie algebra g.

[edit] Additional conditions

The variable is frequently denoted s and the equations are considered on the open interval (0,2), together with the conditions:

$T^*_i = -T_i;$
$T_i(2-s)=T_i(s)^{T};\,$
T_i can be continued to a meromorphic function of s in a neighborhood of the closed interval [0,2], analytic outside of 0 and 2, and with simple poles at s = 0 and s = 2; and
At the poles, the residues of (T₁,T₂, T₃) form an irreducible representation of the group SU(2).

[edit] Nahm-Hitchin description of monopoles

There is a natural equivalence between

the monopoles of charge k for the group SU(2), modulo gauge transformations, and
the solutions of Nahm equations satisfying the additional conditions above, modulo the simultaneous conjugation of T₁,T₂, T₃ by the group O(k,R).

[edit] Lax representation

The Nahm equations can be written in the Lax form as follows. Set

$\begin{align} & A_0=T_1+iT_2, \quad A_1=-2i T_3, \quad A_2=T_1-iT_2 \\[3 pt] & A(\zeta)=A_0+\zeta A_1+\zeta^2 A_2, \quad B(\zeta)=\frac{1}{2}\frac{dA}{d\zeta}=\frac{1}{2}A_1+\zeta A_2, \end{align}$

then the system of Nahm equations is equivalent to the Lax equation

$\frac{dA}{dz}=[A,B].$

As an immediate corollary, we obtain that the spectrum of the matrix A does not depend on z, therefore, the characteristic equation

det(λ I + A (ζ, z)) = 0,

which determines the so-called spectral curve in the twistor space TP¹, is invariant under the flow in z.

[edit] See also

Bogomolny equation
Yang-Mills-Higgs equation

[edit] References

Nahm W., All self-dual multimonopoles for arbitrary gauge groups, CERN, preprint TH. 3172 (1981).
Hitchin N.J., On the construction of monopoles, Communications in Mathematical Physics, 89 (1983), p. 145-190.
Donaldson S.K., Nahm's equations and the classification of monopoles, Communications in Mathematical Physics, 96 (1984), p. 387-407.
Atiyah M.F. and Hitchin N.J., The geometry and dynamics of magnetic monopoles, M. B. Porter Lectures. Princeton University Press, Princeton, NJ, 1988. ISBN 0-691-08480-7
Kovalev A.G., Nahm's equations and complex adjoint orbits, Quart. J. Math. Oxford Ser. (2) 47 (1996), no. 185, 41--58.
Biquard, Olivier, Sur les équations de Nahm et la structure de Poisson des algèbres de Lie semi-simples complexes [Nahm equations and Poisson structure of complex semisimple Lie algebras], Math. Ann. 304 (1996), no. 2, 253--276.