View source for Seiberg–Witten invariants

{{Short description|4-manifold invariants}}
In mathematics, and especially [[Gauge theory (mathematics)|gauge theory]], '''Seiberg–Witten invariants''' are invariants of compact smooth oriented [[4-manifold|4-manifold]]s introduced by {{harvs|txt|last=Witten|first=Edward|year=1994}}, using the [[Physics:Seiberg–Witten theory|Seiberg–Witten theory]] studied by {{harvs|txt=yes|last=Seiberg|first=Nathan|last2=Witten|year1=1994a|year2=1994b}} during their investigations of Seiberg–Witten gauge theory.

Seiberg–Witten invariants are similar to Donaldson invariants 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 tends 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}}.

==Spin<sup>''c''</sup>-structures==
The Spin<sup>''c''</sup> group (in dimension 4) is

:<math>(U(1) \times \mathrm{Spin}(4))/(\Z/2\Z).</math>

where the <math>\Z/2\Z</math> acts as a sign on both factors. The group has a natural homomorphism to [[SO(4)|SO(4) = Spin(4)/±1]].

Given a compact oriented 4 manifold, choose a smooth Riemannian metric <math>g</math> with Levi Civita connection <math>\nabla^{g}</math>. This reduces the structure group from the connected component GL(4)<sub>+</sub> to SO(4) and is harmless from a homotopical point of view. A Spin<sup>''c''</sup>-structure or complex spin structure on ''M'' is a reduction of the structure group to Spin<sup>''c''</sup>, i.e. a lift of the SO(4) structure on the tangent bundle to the group Spin<sup>''c''</sup>. By a theorem of [[Biography:Friedrich Hirzebruch|Hirzebruch]] and [[Biography:Heinz Hopf|Hopf]], every smooth oriented compact 4-manifold <math>M</math> admits a Spin<sup>''c''</sup> structure.<ref>{{cite journal |first1=F. |last1=Hirzebruch | first2=H. |last2=Hopf |title=Felder von Flächenelementen in 4-dimensionalen Mannigfaltigkeiten |journal=[[Mathematische Annalen|Math. Ann.]] |volume=136 |year=1958 |issue=2 |pages=156–172 |doi=10.1007/BF01362296 |hdl=21.11116/0000-0004-3A18-1 |s2cid=120557396 |hdl-access=free }}</ref> The existence of a Spin<sup>''c''</sup> structure is equivalent to [[Spin structure#SpinC structures|the existence of a lift]] of the second [[Stiefel–Whitney class]] <math>w_2(M) \in H^2(M,\Z/2\Z)</math> to a class <math>K \in H^2(M, \Z).</math> Conversely such a lift determines the Spin<sup>''c''</sup> structure up to 2 torsion in <math>H^2(M,\Z).</math> A [[Spin structure|spin structure]] proper requires the more restrictive <math>w_2(M) = 0.</math>

A Spin<sup>''c''</sup> structure determines (and is determined by) a [[Spinor bundle|spinor bundle]] <math>W = W^+ \oplus W^-</math> coming from the 2 complex dimensional positive and negative [[Physics:Spinor|spinor]] representation of Spin(4) on which U(1) acts by multiplication. We have <math>K = c_1(W^+) = c_1(W^-)</math>. The  spinor bundle <math>W</math> comes with a graded Clifford algebra bundle representation i.e. a map <math>\gamma:\mathrm{Cliff}(M, g) \to \mathcal{E}\mathit{nd}(W)</math> such that for each 1 form <math>a</math> we have <math>\gamma(a):W^\pm \to W^\mp</math> and <math>\gamma(a)^2 = - g(a, a)</math>. There is a unique hermitian metric <math>h</math> on <math>W</math> s.t. <math>\gamma(a)</math> is skew Hermitian for real 1 forms <math>a</math>. It gives an induced action of the forms <math>\wedge^* M</math> by anti-symmetrising. In particular this gives an isomorphism of <math>\wedge^+ M \cong \mathcal{E}\mathit{nd}^{sh}_0(W^+)</math> of the selfdual two forms with the traceless skew Hermitian endomorphisms of <math>W^+</math> which are then identified.

==Seiberg–Witten equations==
Let <math>L = \det(W^+) \equiv \det(W^-)</math> be the determinant line bundle with <math>c_1(L) = K</math>. For every connection  <math>\nabla_{A} = \nabla_0 + A</math> with <math>A \in iA^1_{\R}(M)</math> on <math>L</math>, there is a unique spinor connection <math>\nabla^{A}</math> on <math>W</math> i.e. a connection  such that <math>\nabla^{A}_X(\gamma(a)) := [\nabla^{A}_X, \gamma(a)] = \gamma(\nabla^{g}_X a)</math> for every 1-form <math>a</math> and vector field <math>X</math>. The Clifford connection then defines a Dirac operator <math>D^A = \gamma \otimes 1 \circ \nabla^A = \gamma(dx^\mu)\nabla^A_\mu</math> on <math>W</math>. The group of maps <math>\mathcal{G} = \{u: M \to U(1)\}</math> acts as a gauge group on the set of all connections on <math>L</math>. The action of <math>\mathcal{G}</math> can be "gauge fixed" e.g. by the condition <math>d^*A = 0</math>, leaving an effective parametrisation of the space of all such connections of <math>H^1(M,\R)^{\mathrm{harm}}/H^1(M,\Z) \oplus d^* A^+_{\R}(M)</math> with a residual <math>U(1)</math> gauge group  action.

Write <math>\phi</math> for a spinor field of positive chirality, i.e. a section of <math>W^+</math>. The Seiberg–Witten equations for <math>(\phi, \nabla^A)</math> are now

:<math>D^A\phi=0</math>
:<math>F^+_A=\sigma(\phi) + i\omega</math>

Here <math>F^A \in iA^2_{\R}(M)</math> is the closed curvature 2-form of <math>\nabla^A</math>, <math>F^+_A</math> is its self-dual part, and σ is the squaring map <math>\phi\mapsto \left (\phi h(\phi, -) -\tfrac12 h(\phi, \phi)1_{W^+} \right)</math> from <math>W^+</math> to the a traceless Hermitian endomorphism of <math>W^+</math> identified with an imaginary self-dual 2-form, and <math>\omega</math> is a real selfdual two form, often taken to be zero or harmonic. The gauge group <math>\mathcal{G}</math> acts on the space of solutions. After adding the gauge fixing condition <math>d^*A = 0</math> the residual U(1) acts freely, except for "reducible solutions" with <math>\phi = 0</math>. For technical reasons, the equations are in fact defined in suitable Sobolev spaces of sufficiently high regularity.

An application of the Weitzenböck formula

:<math>{\nabla^A}^*\nabla^A \phi = (D^A)^2\phi - (\tfrac12\gamma(F_A^+) + s)\phi</math>

and the identity

:<math> \Delta_g |\phi|_h^2 = 2h({\nabla^A}^*\nabla^A\phi, \phi) - 2|\nabla^A\phi|_{g\otimes h}</math>

to solutions of the equations gives an equality

:<math> \Delta|\phi|^2 + |\nabla^A\phi|^2 + \tfrac14|\phi|^4 = (-s)|\phi|^2 - \tfrac12h(\phi,\gamma(\omega)\phi)</math>.

If <math>|\phi|^2</math> is maximal <math>\Delta|\phi|^2\ge 0</math>, so this shows that for any solution, the sup norm <math>\|\phi\|_\infty</math> is ''a priori'' bounded with the bound depending only on the scalar curvature <math>s</math> of <math>(M, g)</math> and the self dual form <math>\omega</math>. After adding the gauge fixing condition, elliptic regularity of the Dirac equation shows that solutions  are in fact ''a priori'' bounded in Sobolev norms of arbitrary regularity, which shows all solutions are smooth, and that the space of all solutions up to gauge equivalence is compact.

The solutions <math>(\phi,\nabla^A)</math> of the Seiberg–Witten equations are called '''monopoles''', as these equations are the field equations of massless magnetic monopoles on the manifold <math>M</math>.

==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. For generic metrics, after gauge fixing, the equations cut out the solution space transversely and so define a smooth manifold. The residual U(1) "gauge fixed" gauge group U(1) acts freely except at reducible monopoles i.e. solutions with <math>\phi = 0</math>. By the [[Atiyah–Singer index theorem]] the moduli space is finite dimensional and has "virtual dimension"

:<math>(K^2-2\chi_{\mathrm{top}}(M)-3\operatorname{sign}(M))/4</math> 

which for generic metrics is the actual dimension away from the reducibles. It means that the moduli space is generically empty if the virtual dimension is negative.

For a self dual 2 form <math>\omega</math>, the reducible solutions have <math>\phi = 0</math>, and so are determined by connections <math>\nabla_A = \nabla_0 + A</math> on <math>L</math> such that <math>F_0 + d A = i(\alpha + \omega)</math> for some anti selfdual 2-form <math>\alpha</math>. By the Hodge decomposition, since <math>F_0</math> is closed, the only obstruction to solving this equation for <math>A</math> given <math>\alpha</math> and <math>\omega</math>, is the harmonic part of <math>\alpha</math> and <math>\omega</math>, and the harmonic part, or equivalently, the [[De Rham cohomology|(de Rham) cohomology class]] of the curvature form i.e.   <math>[F_0] = F_0^{\mathrm{harm}} = i (\omega^{\mathrm{harm}} + \alpha^{\mathrm{harm}}) \in H^2(M, \R)</math>. Thus, since the <math>[\tfrac1{2\pi i} F_0] = K </math> the necessary and sufficient condition for a reducible solution is 

:<math> \omega^{\mathrm{harm}} \in 2\pi K + \mathcal{H}^- \in H^2(X,\R)</math> 

where <math>\mathcal{H}^-</math> is the space of harmonic anti-selfdual 2-forms. A two form <math>\omega</math> is <math>K</math>-admissible if this condition is ''not'' met and solutions are necessarily irreducible.  In particular, for <math>b^+ \ge 1</math>, the moduli space is a (possibly empty) compact manifold for generic metrics and admissible <math>\omega</math>. Note that, if <math>b_+ \ge 2</math> the space of <math>K</math>-admissible two forms is connected, whereas if <math>b_+ = 1</math> it has two connected components (chambers). The moduli space can be given a natural orientation from an orientation on the space of positive harmonic 2 forms, and the first cohomology.

The ''a priori'' bound on the solutions, also gives ''a priori'' bounds on <math>F^{\mathrm{harm}}</math>. There are therefore (for fixed <math>\omega</math>) only finitely many <math>K \in H^2(M,\Z)</math>, and hence only finitely many Spin<sup>c</sup> structures, with a non empty moduli space.

==Seiberg–Witten invariants==
The Seiberg–Witten invariant of a four-manifold ''M'' with ''b''<sub>2</sub><sup>+</sup>(''M'')&nbsp;≥&nbsp;2 is a map from the spin<sup>''c''</sup> structures on ''M'' to '''''Z'''''. The value of the invariant on a spin<sup>''c''</sup> structure is easiest to define when the moduli space is zero-dimensional (for a generic metric). In this case the value is the number of elements of the moduli space counted with signs.

The Seiberg–Witten invariant can also be defined when ''b''<sub>2</sub><sup>+</sup>(''M'')&nbsp;=&nbsp;1, but then it depends on the choice of a chamber.

A manifold ''M'' is said to be of '''simple type''' if the Seiberg–Witten invariant vanishes whenever the expected dimension of the moduli space is nonzero. The '''simple type conjecture''' states that if ''M'' is simply connected and ''b''<sub>2</sub><sup>+</sup>(''M'')&nbsp;≥&nbsp;2 then the manifold is of simple type. This is true for symplectic manifolds.

If the manifold ''M'' has a metric of positive scalar curvature and ''b''<sub>2</sub><sup>+</sup>(''M'')&nbsp;≥&nbsp;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''<sub>2</sub><sup>+</sup>&nbsp;≥&nbsp;1 then all Seiberg–Witten invariants of ''M'' vanish.

If the manifold ''M'' is simply connected and symplectic and ''b''<sub>2</sub><sup>+</sup>(''M'')&nbsp;≥&nbsp;2 then it has a spin<sup>''c''</sup> structure ''s'' on which the Seiberg–Witten invariant is 1. In particular it cannot be split as a connected sum of manifolds with ''b''<sub>2</sub><sup>+</sup>&nbsp;≥&nbsp;1.

==References==
{{Reflist}}
*{{citation|last=Donaldson|first= Simon K. |title=The Seiberg-Witten equations and 4-manifold topology. |journal=[[Organization:Bulletin of the American Mathematical Society|Bulletin of the American Mathematical Society]]| series=(N.S.)  |volume=33  |year=1996|issue= 1|pages= 45–70|doi=10.1090/S0273-0979-96-00625-8 |mr=1339810|doi-access=free}}
*{{citation|first=Allyn |last=Jackson |title=A revolution in mathematics |year=1995 |url=http://www.ams.org/samplings/feature-column/mathnews-revolution |url-status=dead |archive-url=https://web.archive.org/web/20100426172959/http://www.ams.org/samplings/feature-column/mathnews-revolution |archive-date=April 26, 2010 }}
*{{citation|last= Morgan|first= John W.|title= The Seiberg–Witten equations and applications to the topology of smooth four-manifolds|series=Mathematical Notes|volume= 44|publisher= Princeton University Press|location= Princeton, NJ|year= 1996|pages= viii+128| isbn= 978-0-691-02597-1|url=http://press.princeton.edu/titles/5866.html|mr= 1367507}}
*{{citation|last= Moore|first= John Douglas|title= Lectures on Seiberg-Witten invariants|edition=2nd |series= Lecture Notes in Mathematics|volume= 1629| publisher= Springer-Verlag|location= Berlin|year= 2001|pages= viii+121 | isbn= 978-3-540-41221-2 |doi=10.1007/BFb0092948|mr= 1830497 |citeseerx= 10.1.1.252.2658}}
*{{springer|id=S/s120080|last=Nash|first=Ch.|title=Seiberg-Witten equations}}
*{{citation|last= Nicolaescu|first= Liviu I. |title=Notes on Seiberg-Witten theory|series=[[Graduate Studies in Mathematics]]|volume= 28|publisher= American Mathematical Society|location= Providence, RI|year= 2000|pages= xviii+484| isbn= 978-0-8218-2145-9|url=http://www.nd.edu/~lnicolae/swnotes.pdf |mr= 1787219|doi=10.1090/gsm/028}}
* {{citation |last= Scorpan |first= Alexandru |year= 2005 |title= The wild world of 4-manifolds |publisher= American Mathematical Society
 |isbn= 978-0-8218-3749-8
 |mr= 2136212
 }}.
*{{citation
|journal= Nuclear Physics B |volume= 426  |year=1994a|issue= 1|pages=19–52
|doi=10.1016/0550-3213(94)90124-4
|mr=1293681 |arxiv=hep-th/9407087|bibcode=1994NuPhB.426...19S|s2cid= 14361074}}; {{citation
|title=Erratum
|journal= Nuclear Physics B |volume= 430  |year=1994|issue= 2|pages=485–486|doi=10.1016/0550-3213(94)00449-8
|mr=1303306|bibcode=1994NuPhB.430..485.}}
*{{citation|last1=Seiberg|first1= N.|author-link1=Nathan Seiberg|last2= Witten|first2= E. |author-link2=Edward Witten|title=Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD
|journal= Nuclear Physics B |volume= 431  |year=1994b|issue= 3|pages=484–550
|doi=10.1016/0550-3213(94)90214-3|mr=1306869 |arxiv=hep-th/9408099|bibcode=1994NuPhB.431..484S|s2cid= 17584951}}
*{{citation|last= Taubes|first= Clifford Henry|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|location=Somerville, MA|year= 2000|pages= vi+401 | isbn= 978-1-57146-061-5|mr= 1798809 }}
*{{citation|last= Witten|first= Edward|title= Monopoles and four-manifolds.|journal= Mathematical Research Letters|volume= 1|year= 1994|issue= 6|pages= 769–796|url= http://intlpress.com/site/pub/pages/journals/items/mrl/content/vols/0001/0006/00019390/index.html|mr= 1306021|url-status= dead|archive-url= https://archive.today/20130629123300/http://intlpress.com/site/pub/pages/journals/items/mrl/content/vols/0001/0006/00019390/index.html|archive-date= 2013-06-29|doi=10.4310/MRL.1994.v1.n6.a13|arxiv= hep-th/9411102|bibcode= 1994MRLet...1..769W|s2cid= 10611124}}

{{DEFAULTSORT:Seiberg-Witten invariant}}
[[Category:4-manifolds]]
[[Category:Partial differential equations]]

{{Sourceattribution|Seiberg–Witten invariants}}