- Seiberg–Witten invariant
In mathematics, Seiberg–Witten invariants are invariants of compact smooth
4-manifold s introduced by harvtxt|Witten|1994, using the Seiberg-Witten theory studied by harvs|txt=yes|last=Seiberg|last2=Witten|year1=1994a|year2=1994b during their investigations ofSeiberg-Witten gauge theory .Seiberg-Witten invariants are similar to
Donaldson invariant s and can be used to prove similar (but sometimes slightly stronger) results about smooth 4-manifolds. They are technically much easier to work with than Donaldson invariants; for example, the moduli spaces of solutions of the Seiberg-Witten equations tend to be compact, so one avoids the hard problems involved in compactifying the moduli spaces in Donaldson theory.For detailed descriptions of Seiberg-Witten invariants see harv|Donaldson|1996, harv|Moore|2001, harv|Morgan|1996, harv|Nicolaescu|2000, harv|Scorpan|2005|loc=Chapter 10. For the relation to symplectic manifolds and
Gromov-Witten invariant s see harv|Taubes|2000. For the early history see harv|Jackson|1995.pinC-structures
The Seiberg-Witten equations depend on the choice of a
complex spin structure , SpinC, on a 4-manifold "M". In 4 dimensions the group SpinC is:("U"(1)×Spin(4))/(Z/2Z),
and there is a homomorphism from it to
SO(4) . A SpinC-structure on "M" is a lift of the natural SO(4) structure on the tangent bundle (given by the Riemannian metric and orientation) to the group SpinC. Every smooth compact 4-manifold "M" has SpinC-structures (though most do not have spin structures).eiberg-Witten equations
Fix a smooth compact 4-manifold "M", choose a spinC-structure "s" on "M", and write "W"+, "W"− for the associated
spinor bundles , and "L" for thedeterminant line bundle . Write φ for a self-dual spinor field (a section of "W"+) and "A" for a U(1) connection on "L". The Seiberg-Witten equations for (φ,"A")are::where "D""A" is theDirac operator of "A", "F""A" is the curvature 2-form of "A", and "F""A"+ is its self-dual part, and σ is the squaring map from "W"+ to imaginary self-dual 2-forms.The solutions (φ,"A") to the Seiberg-Witten equations are called monopoles.
The moduli space of solutions
The space of solutions is acted on by the gauge group, and the quotient by this action is called the moduli space of monopoles.
The moduli space is usually a manifold. A solution is called reducible if it is fixed by some non-trivial element of the gauge group. If "b"2+("M")≥1 then reducible solutions do not exist for generic metrics on "M". The moduli space is a manifold except at reducible monopoles. So if "b"2+("M")≥1 then the moduli space is a (possibly empty) manifold for generic metrics. Moreover all components have dimension :
The moduli space is empty for all but a finite number of spinC structures "s", and is always compact.
A manifold "M" is said to be of simple type if the moduli space is finite for all "s". The simple type conjecture states that if "M" is simply connected and "b"2+("M")≥2 then the moduli space is finite. It is true for symplectic manifolds. If "b"2+("M")=1 then there are examples of manifolds with moduli spaces of arbitrarily high dimension.
eiberg-Witten invariants
The Seiberg-Witten invariants are easiest to define for manifolds "M" of simple type. In this case the invariant is the map from spinC structures "s" to Z taking "s" to the number of elements of the moduli space counted with signs.
If the manifold "M" has a metric of positive scalar curvature and "b"2+("M")≥2 then all Seiberg-Witten invariants of "M" vanish.
If the manifold "M" is the connected sum of two manifolds both of which have "b"2+≥1 then all Seiberg-Witten invariants of "M" vanish.
If the manifold "M" is simply connected and symplectic and "b"2+("M")≥2 then it has a spinC structure "s" on which the Seiberg-Witten invariant is 1. In particular it cannot be split as a connected sum of manifolds with "b"2+≥1.
References
*citation|id=MR|1339810
last=Donaldson|first= S. K. |authorlink=Simon Donaldson
title=The Seiberg-Witten equations and 4-manifold topology.
journal=Bull. Amer. Math. Soc. (N.S.) |volume=33 |year=1996|issue= 1|pages= 45-70
url=http://www.ams.org/bull/1996-33-01/S0273-0979-96-00625-8/home.html
*citation|first=Allyn|last=Jackson|title=A revolution in mathematics|year=1995|url=http://www.ams.org/ams/mathnews/revolution.html
*citation|id=MR|1367507|last= Morgan|first= John W.|authorlink=John Morgan (mathematician)|title= The Seiberg-Witten equations and applications to the topology of smooth four-manifolds|series=Mathematical Notes|volume= 44|publisher= Princeton University Press|publication-place= Princeton, NJ|year= 1996|pages= viii+128| ISBN= 0-691-02597-5|url=http://press.princeton.edu/titles/5866.html
*citation|id=MR|1830497|last= Moore|first= John Douglas|title= Lectures on Seiberg-Witten invariants|Edition=2nd |series= Lecture Notes in Mathematics|volume= 1629|publisher= Springer-Verlag|publication-place= Berlin|year= 2001|pages= viii+121 | ISBN= 3-540-41221-2
doi= 10.1007/BFb0092948
*springer|id=S/s120080|last=Nash|first=Ch.|title=Seiberg-Witten equations
*citation|id=MR|1787219 |last= Nicolaescu|first= Liviu I. |title=Notes on Seiberg-Witten theory|series=Graduate Studies in Mathematics|volume= 28|publisher= American Mathematical Society|publication-place= Providence, RI|year= 2000|pages= xviii+484| ISBN= 0-8218-2145-8
url=http://www.nd.edu/~lnicolae/swnotes.pdf
* citation
last= Scorpan
first= Alexandru
year= 2005
title= The wild world of 4-manifolds
publisher=American Mathematical Society
isbn= 978-0-8218-3749-8
id= MR|2136212 .
*citation|id=MR|1293681
last=Seiberg|first= N.|authorlink1=Nathan Seiberg|last2= Witten|first2= E. |authorlink2=Edward Witten|title=Electric-magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory
journal= Nuclear Phys. B |volume= 426 |year=1994a|issue= 1|pages=19-52
doi=10.1016/0550-3213(94)90124-4 citation|id=MR|1303306
title=Erratum
journal= Nuclear Phys. B |volume= 430 |year=1994|issue= 2|pages=485-486
*citation|id=MR|1306869
last=Seiberg|first= N.|authorlink1=Nathan Seiberg|last2= Witten|first2= E. |authorlink2=Edward Witten|title=Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD
journal= Nuclear Phys. B |volume= 431 |year=1994b|issue= 3|pages=484-550
doi=10.1016/0550-3213(94)90214-3
*citation|id=MR|1798809|last= Taubes|first= Clifford Henry|authorlink=Clifford Taubes|title= Seiberg Witten and Gromov invariants for symplectic 4-manifolds|editor-first= Richard|editor-last= Wentworth|series= First International Press Lecture Series|volume= 2|publisher= International Press|publication-place=Somerville, MA|year= 2000|pages= vi+401 | ISBN= 1-57146-061-6
*citation|id=MR|1306021|last= Witten|first= Edward |title=Monopoles and four-manifolds. |journal= Math. Res. Lett. |volume= 1 |year=1994|issue= 6|pages= 769-796|url=http://www.mrlonline.org/mrl/1994-001-006/1994-001-006-013.html
Wikimedia Foundation. 2010.