In
mathematical physics 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 ADHM construction or monad construction is the construction of all
instantons using methods of linear algebra by
Michael Atiyah,
Vladimir Drinfeld,
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 ...
,
Yuri I. Manin
Yuri Ivanovich Manin (russian: Ю́рий Ива́нович Ма́нин; born 16 February 1937) is a Russian mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical log ...
in their paper "Construction of Instantons."
ADHM data
The ADHM construction uses the following data:
* complex
vector spaces ''V'' and ''W'' of dimension ''k'' and ''N'',
* ''k'' × ''k'' complex matrices ''B''
1, ''B''
2, a ''k'' × ''N'' complex matrix ''I'' and a ''N'' × ''k'' complex matrix ''J'',
* a
real moment map In mathematics, specifically in symplectic geometry, the momentum map (or, by false etymology, moment map) is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the actio ...
* a
complex moment map
Then the ADHM construction claims that, given certain regularity conditions,
* Given ''B''
1, ''B''
2, ''I'', ''J'' such that
, an anti-self-dual
instanton in a
SU(''N'') 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) ...
with instanton number ''k'' can be constructed,
* All anti-self-dual
instantons can be obtained in this way and are in one-to-one correspondence with solutions up to a U(''k'') rotation which acts on each ''B'' in the
adjoint representation and on ''I'' and ''J'' via the
fundamental and antifundamental representations
* The
metric on the
moduli space
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spac ...
of instantons is that inherited from the flat metric on ''B'', ''I'' and ''J''.
Generalizations
Noncommutative instantons
In a
noncommutative gauge theory, the ADHM construction is identical but the moment map
is set equal to the self-dual projection of the noncommutativity matrix of the spacetime times the
identity matrix
In linear algebra, the identity matrix of size n is the n\times n square matrix with ones on the main diagonal and zeros elsewhere.
Terminology and notation
The identity matrix is often denoted by I_n, or simply by I if the size is immaterial o ...
. In this case instantons exist even when the gauge group is U(1). The noncommutative instantons were discovered by
Nikita Nekrasov and
Albert Schwarz in 1998.
Vortices
Setting ''B''
2 and ''J'' to zero, one obtains the classical moduli space of nonabelian vortices in a
supersymmetric
In a supersymmetric theory the equations for force and the equations for matter are identical. In theoretical and mathematical physics, any theory with this property has the principle of supersymmetry (SUSY). Dozens of supersymmetric theorie ...
gauge theory with an equal number of colors and flavors, as was demonstrated i
Vortices, instantons and branes The generalization to greater numbers of flavors appeared i
Solitons in the Higgs phase: The Moduli matrix approach In both cases the
Fayet–Iliopoulos term, which determines a
squark
In supersymmetric extension to the Standard Model (SM) of physics, a sfermion is a hypothetical spin-0 superpartner particle (sparticle) of its associated fermion. Each particle has a superpartner with spin that differs by . Fermions in the SM h ...
condensate
Condensate may refer to:
* The liquid phase produced by the condensation of steam or any other gas
* The product of a chemical condensation reaction, other than water
* Natural-gas condensate, in the natural gas industry
* ''Condensate'' (album ...
, plays the role of the noncommutativity parameter in the real moment map.
The construction formula
Let ''x'' be the 4-dimensional
Euclidean spacetime coordinates written in
quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quatern ...
ic notation
Consider the 2''k'' × (''N'' + 2''k'') matrix
:
Then the conditions
are equivalent to the factorization condition
:
where ''f''(''x'') is a ''k'' × ''k''
Hermitian matrix.
Then a hermitian
projection
Projection, projections or projective may refer to:
Physics
* Projection (physics), the action/process of light, heat, or sound reflecting from a surface to another in a different direction
* The display of images by a projector
Optics, graphic ...
operator ''P'' can be constructed as
:
The
nullspace of Δ(''x'') is of dimension ''N'' for generic ''x''. The basis vectors for this null-space can be assembled into an (''N'' + 2''k'') × ''N'' matrix ''U''(''x'') with orthonormalization condition ''U''
†''U'' = 1.
A regularity condition on the rank of Δ guarantees the completeness condition
:
The anti-selfdual
connection is then constructed from ''U'' by the formula
:
See also
*
Monad (linear algebra)
In linear and homological algebra, a monad is a 3-term complex
: ''A'' → ''B'' → ''C''
of objects in some abelian category whose middle term ''B'' is projective and whose first map ''A'' → ''B'' is injective and whose second ma ...
*
Twistor theory
References
*
*
*
Hitchin, N. (1983)
"On the Construction of Monopoles" ''Commun. Math. Phys.'' 89, 145–190.
Gauge theories
Differential geometry
Quantum chromodynamics
{{Quantum-stub