Nahm Transform
   HOME

TheInfoList



OR:

In
differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
and
gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups) ...
, the Nahm equations are a system of
ordinary differential equation In mathematics, an ordinary differential equation (ODE) is a differential equation whose unknown(s) consists of one (or more) function(s) of one variable and involves the derivatives of those functions. The term ''ordinary'' is used in contrast w ...
s introduced by
Werner Nahm Werner Nahm (; born 21 March 1949) is a German theoretical physicist, with the status of professor. He has made contributions to mathematical physics and fundamental theoretical physics. Life and work Werner Nahm attended Gymnasium Philipp ...
in the context of the ''Nahm transform'' – an alternative to
Ward Ward may refer to: Division or unit * Hospital ward, a hospital division, floor, or room set aside for a particular class or group of patients, for example the psychiatric ward * Prison ward, a division of a penal institution such as a pris ...
's twistor construction of monopoles. The Nahm equations are formally analogous to the algebraic equations in the
ADHM construction In mathematical physics and gauge theory, the ADHM construction or monad construction is the construction of all instantons using methods of linear algebra by Michael Atiyah, Vladimir Drinfeld, Nigel Hitchin, Yuri I. Manin in their paper "Constru ...
of
instanton An instanton (or pseudoparticle) is a notion appearing in theoretical and mathematical physics. An instanton is a classical solution to equations of motion with a finite, non-zero action, either in quantum mechanics or in quantum field theory. Mo ...
s, where finite order matrices are replaced by differential operators. Deep study of the Nahm equations was carried out by
Nigel Hitchin Nigel James Hitchin FRS (born 2 August 1946) is a British mathematician working in the fields of differential geometry, gauge theory, algebraic geometry, and mathematical physics. He is a Professor Emeritus of Mathematics at the University of O ...
and
Simon Donaldson Sir Simon Kirwan Donaldson (born 20 August 1957) is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. He i ...
. Conceptually, the equations arise in the process of infinite-dimensional hyperkähler reduction. They can also be viewed as a
dimensional reduction Dimensional reduction is the limit of a compactified theory where the size of the compact dimension goes to zero. In physics, a theory in ''D'' spacetime dimensions can be redefined in a lower number of dimensions ''d'', by taking all the fields ...
of the anti-self-dual Yang-Mills equations . 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 orbit In mathematics, the coadjoint representation K of a Lie group G is the dual of the adjoint representation. If \mathfrak denotes the Lie algebra of G, the corresponding action of G on \mathfrak^*, the dual space to \mathfrak, is called the coadjoint ...
s of complex
semisimple Lie group In mathematics, a Lie algebra is semisimple if it is a direct sum of modules, direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper Lie algebra#Subalgebras.2C ideals and homomorphisms, i ...
s, proved by , , and .


Equations

Let T_1(z), T_2(z), T_3(z) be three matrix-valued meromorphic functions of a complex variable z. The Nahm equations are a system of matrix differential equations : \begin \frac&= _2,T_3\ pt\frac&= _3,T_1\ pt\frac&= _1,T_2 \end together with certain analyticity properties, reality conditions, and boundary conditions. The three equations can be written concisely using the
Levi-Civita symbol In mathematics, particularly in linear algebra, tensor analysis, and differential geometry, the Levi-Civita symbol or Levi-Civita epsilon represents a collection of numbers; defined from the sign of a permutation of the natural numbers , for some ...
, in the form :\frac=\frac\sum_\epsilon_ _j,T_k\sum_\epsilon_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.


Additional conditions

The variable z is restricted to the open interval (0,2), and the following conditions are imposed: # T^*_i = -T_i; # T_i(2-z)=T_i(z)^;\, # T_iN can be continued to a meromorphic function of z in a neighborhood of the closed interval ,2/math>, analytic outside of 0 and 2, and with simple poles at z = 0 and z = 2; and # At the poles, the residues of T_1, T_2, T_3 form an irreducible representation of the group
SU(2) In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1. The more general unitary matrices may have complex determinants with absolute value 1, rather than real 1 in the special ...
.


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_1, T_2, T_3 by the group O(k,R).


Lax representation

The Nahm equations can be written in the Lax form as follows. Set : \begin & A_0=T_1+iT_2, \quad A_1=-2i T_3, \quad A_2=T_1-iT_2 \\ pt& A(\zeta)=A_0+\zeta A_1+\zeta^2 A_2, \quad B(\zeta)=\frac\frac=\fracA_1+\zeta A_2, \end then the system of Nahm equations is equivalent to the Lax equation : \frac= ,B As an immediate corollary, we obtain that the spectrum of the matrix A does not depend on z. Therefore, the characteristic equation : \det(\lambda I+A(\zeta,z))=0, which determines the so-called spectral curve in the twistor space TP^1is invariant under the flow in z.


See also

* Bogomolny equation * Yang–Mills–Higgs equations


References

* * * * * * *{{cite journal , last=Biquard , first=Olivier , title=Sur les équations de Nahm et la structure de Poisson des algèbres de Lie semi-simples complexes , trans-title=Nahm equations and Poisson structure of complex semisimple Lie algebras , journal= Math. Ann. , volume=304 , year=1996 , issue=2 , pages=253–276 , doi=10.1007/BF01446293 , s2cid=73680531


External links


Islands project
– a wiki about the Nahm equations and related topics Differential equations Mathematical physics Integrable systems Equations of physics