HOME

TheInfoList



OR:

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 ...
\mu_r = _1,B_1^\dagger _2,B_2^\daggerII^\dagger-J^\dagger J, * a complex moment map \displaystyle\mu_c = _1,B_2IJ. Then the ADHM construction claims that, given certain regularity conditions, * Given ''B''1, ''B''2, ''I'', ''J'' such that \mu_r=\mu_c=0, 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 \vec\mu 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 x_=\beginz_2&z_1\\-\bar&\bar\end. Consider the 2''k'' × (''N'' + 2''k'') matrix :\Delta= \beginI&B_2+z_2&B_1+z_1\\J^\dagger&-B_1^\dagger-\bar&B_2^\dagger+\bar\end. Then the conditions \displaystyle\mu_r=\mu_c=0 are equivalent to the factorization condition :\Delta\Delta^\dagger=\beginf^&0\\0&f^\end 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 :P=\Delta^\dagger\beginf&0\\0&f\end\Delta. 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 :P+UU^\dagger=1. \, The anti-selfdual connection is then constructed from ''U'' by the formula :A_m=U^\dagger \partial_m U.


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