Namespaces
Variants
Actions

Difference between revisions of "Seiberg-Witten equations"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (latex detail)
m (texed)
 
Line 1: Line 1:
 +
$$
 +
\newcommand{\dslash}{\partial\!\!\!\big /}
 +
\newcommand{\Spin}{\operatorname{spin}}
 +
$$
 +
 
Equations constituting a breakthrough in work on the topology of four-dimensional manifolds (cf. also [[Four-dimensional manifold|Four-dimensional manifold]]). The equations, which were introduced in [[#References|[a1]]] have their origins in physics in earlier work of N. Seiberg and E. Witten [[#References|[a2]]], [[#References|[a3]]].
 
Equations constituting a breakthrough in work on the topology of four-dimensional manifolds (cf. also [[Four-dimensional manifold|Four-dimensional manifold]]). The equations, which were introduced in [[#References|[a1]]] have their origins in physics in earlier work of N. Seiberg and E. Witten [[#References|[a2]]], [[#References|[a3]]].
  
 
One of the advances provided by the Seiberg–Witten equations concerns Donaldson polynomial invariants for four-dimensional manifolds (see also below).
 
One of the advances provided by the Seiberg–Witten equations concerns Donaldson polynomial invariants for four-dimensional manifolds (see also below).
  
If one chooses an oriented, compact, closed, [[Riemannian manifold|Riemannian manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200801.png" />, then the data needed for the Seiberg–Witten equations are a [[Connection|connection]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200802.png" /> on a line bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200803.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200804.png" /> and a  "local spinor field"  <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200805.png" />. The Seiberg–Witten equations are then
+
If one chooses an oriented, compact, closed, [[Riemannian manifold|Riemannian manifold]] $M$, then the data needed for the Seiberg–Witten equations are a [[Connection|connection]] $A$ on a line bundle $L$ over $M$ and a  "local spinor field"  $\psi$. The Seiberg–Witten equations are then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200806.png" /></td> </tr></table>
+
$$
 +
\dslash_A \psi = 0, \qquad F^+ = -\frac12 \overline{\psi} \Gamma \psi,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200807.png" /> is the Dirac operator and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200808.png" /> is made from the gamma-matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s1200809.png" /> according to
+
where $\dslash_A$ is the Dirac operator and $\Gamma$ is made from the gamma-matrices $\Gamma_i$ according to
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008010.png" /></td> </tr></table>
+
$$
 +
\Gamma = \frac12 [\Gamma_i, \Gamma_j] dx^i \wedge dx^j.
 +
$$
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008011.png" /> is called a  "local spinor"  because global spinors need not exist on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008012.png" />; however, orientability guarantees that a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008013.png" /> structure does exist and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008014.png" /> is the appropriate section for this <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008015.png" /> structure. Note that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008016.png" /> is just a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008017.png" /> Abelian connection, and so <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008018.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008019.png" /> being the self-dual part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008020.png" />.
+
$\psi$ is called a  "local spinor"  because global spinors need not exist on $M$; however, orientability guarantees that a $\Spin\C$ structure does exist and $\psi$ is the appropriate section for this $\Spin_\C$ structure. Note that $A$ is just a $U(1)$ Abelian connection, and so $F = dA$, with $F^+$ being the self-dual part of $F$.
  
 
==Example.==
 
==Example.==
 
The equations clearly provide the absolute minima for the action
 
The equations clearly provide the absolute minima for the action
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008021.png" /></td> </tr></table>
+
$$
 +
S = \int_M \left\{ \left| \dslash_A \psi\right|^2 + \frac12 \left| F^+  \frac12 \overline{\psi} \Gamma \psi \right|^2 \right\}.
 +
$$
  
If one uses a Weitzenböck formula to relate the Laplacian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008022.png" /> (cf. also [[Laplace operator|Laplace operator]]) to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008023.png" /> plus curvature terms, one finds that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008024.png" /> satisfies
+
If one uses a Weitzenböck formula to relate the Laplacian $\nabla_A^* \nabla_A$ (cf. also [[Laplace operator|Laplace operator]]) to $\dslash_A^* \dslash_A$ plus curvature terms, one finds that $S$ satisfies
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008025.png" /></td> </tr></table>
+
$$
 +
\begin{gathered}
 +
\int_M \left\{ \left| \dslash_A \psi\right|^2 + \frac12 \left| F^+  \frac12 \overline{\psi} \Gamma \psi \right|^2 \right\} \\
 +
= \int_M \left\{ \left| \nabla_A \psi\right|^2 + \frac12 \left| F^+ \right|^2 + \frac18 |\psi|^4 + \frac14 R |\psi|^2 \right\} \\
 +
= \int_M \left\{ \left| \nabla_A \psi\right|^2 + \frac14 | F |^2 + \frac18 |\psi|^4 + \frac14 R |\psi|^2 \right\} + \pi^2 c_1^2(L),
 +
\end{gathered}
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008026.png" /></td> </tr></table>
+
where $R$ is the [[Scalar curvature|scalar curvature]] of $M$ and $c_1(L)$ is the [[Chern class|Chern class]] of $L$.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008027.png" /></td> </tr></table>
+
The action now looks like one for monopoles; indeed, in [[#References|[a1]]], Witten refers to what are now called the Seiberg–Witten equations as the  "monopole equations" . But now suppose that $R$ is positive and that the pair $(A,\psi)$ is a solution to the Seiberg–Witten equations; then the left-hand side of this last expression is zero and all the integrands on the right-hand side are positive, so the solution must obey $\psi=0$ and $F^+=0$. It turns out that if $M$ has $b_2^+>1$ (see below for a definition of $b_2^+$), then a perturbation of the metric can preserve the positivity of $R$ but perturb $F^+=0$ to be simply $F=0$, rendering the connection $A$ flat (cf. also [[Flat form|Flat form]]). Hence, in these circumstances, the solution $(A,\psi)$ is the trivial one. This means that one has a new kind of vanishing theorem in four dimensions ([[#References|[a1]]], 1994): No four-dimensional manifold with $b_2^+>1$ and non-trivial Seiberg–Witten invariants admits a metric of positive scalar curvature.
 
 
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008028.png" /> is the [[Scalar curvature|scalar curvature]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008030.png" /> is the [[Chern class|Chern class]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008031.png" />.
 
 
 
The action now looks like one for monopoles; indeed, in [[#References|[a1]]], Witten refers to what are now called the Seiberg–Witten equations as the  "monopole equations" . But now suppose that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008032.png" /> is positive and that the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008033.png" /> is a solution to the Seiberg–Witten equations; then the left-hand side of this last expression is zero and all the integrands on the right-hand side are positive, so the solution must obey <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008034.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008035.png" />. It turns out that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008036.png" /> has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008037.png" /> (see below for a definition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008038.png" />), then a perturbation of the metric can preserve the positivity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008039.png" /> but perturb <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008040.png" /> to be simply <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008041.png" />, rendering the connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008042.png" /> flat (cf. also [[Flat form|Flat form]]). Hence, in these circumstances, the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008043.png" /> is the trivial one. This means that one has a new kind of vanishing theorem in four dimensions ([[#References|[a1]]], 1994): No four-dimensional manifold with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008044.png" /> and non-trivial Seiberg–Witten invariants admits a metric of positive scalar curvature.
 
  
 
==Polynomial invariants.==
 
==Polynomial invariants.==
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008045.png" /> be a smooth, simply-connected, orientable Riemannian four-dimensional manifold without boundary and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008046.png" /> be an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008047.png" /> connection which is anti-self-dual, so that
+
Let $M$ be a smooth, simply-connected, orientable Riemannian four-dimensional manifold without boundary and let $A$ be an $SU(2)$ connection which is anti-self-dual, so that
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008048.png" /></td> </tr></table>
 
 
 
Then the space of all gauge-inequivalent solutions to this anti-self-duality equation, the moduli space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008049.png" />, has a dimension, given by the integer
 
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008050.png" /></td> </tr></table>
+
$$
 +
F = -\ast F.
 +
$$
  
Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008051.png" /> is the instanton number, which gives the topological type of the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008052.png" />. The instanton number is minus the second Chern class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008053.png" /> of the bundle on which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008054.png" /> is defined. This means that
+
Then the space of all gauge-inequivalent solutions to this anti-self-duality equation, the moduli space $\mathcal{M}_k$, has a dimension, given by the integer
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008055.png" /></td> </tr></table>
+
$$
 +
\dim \mathcal{M}_k = 8k - 3(1+b_2^+).
 +
$$
  
The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008056.png" /> is defined to be the rank of the positive part of the intersection form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008057.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008058.png" />; the intersection form being defined by
+
Here, $k$ is the instanton number, which gives the topological type of the solution $A$. The instanton number is minus the second Chern class $c_2(F) \in H^2(M; \Z)$ of the bundle on which $A$ is defined. This means that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008059.png" /></td> </tr></table>
+
$$
 +
k = -c_2(F) [M] = \frac{1}{8\pi^2} \int_M \tr (F\wedge F) \in \Z.
 +
$$
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008060.png" /> denoting the cup product.
+
The number $b_2^+$ is defined to be the rank of the positive part of the intersection form $q$ on $M$; the intersection form being defined by
  
A Donaldson invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008061.png" /> is a symmetric integer polynomial of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008062.png" /> in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008063.png" />-homology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008064.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008065.png" />:
+
$$
 +
q(\alpha, \beta) = (\alpha \cup \beta)[M], \quad \alpha, \beta \in H_2(M; \Z),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008066.png" /></td> </tr></table>
+
with $\cup$ denoting the cup product.
  
Given a certain mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008067.png" /> (cf. [[#References|[a4]]], [[#References|[a5]]]),
+
A Donaldson invariant $q_{d,r}^M$ is a symmetric integer polynomial of degree $d$ in the $2$-homology $H_2(M; \Z)$ of $M$:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008068.png" /></td> </tr></table>
+
$$
 +
q_{d,r}^M : \underbrace{H_2(M) \times \cdots \times H_2(M)}_{d \text{ factors}} \to \Z.
 +
$$
  
then, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008069.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008070.png" /> represents a point in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008071.png" />, one defines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008072.png" /> by writing
+
Given a certain mapping $m_i$ (cf. [[#References|[a4]]], [[#References|[a5]]]),
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008073.png" /></td> </tr></table>
+
$$
 +
m_i : H_i(M) \to H^{4-i}(\mathcal{M}_k);
 +
$$
  
The evaluation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008074.png" /> on the right-hand side of the above equation means that
+
then, if $\alpha \in H_2(M)$ and $\ast$ represents a point in $M$, one defines $q_{d,r}^M(\alpha)$ by writing
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008075.png" /></td> </tr></table>
+
$$
 +
q_{d,r}^M(\alpha) = m_2^d(\alpha) m_0^r(\ast) [\mathcal{M}_k].
 +
$$
  
so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008076.png" /> is even dimensional, this is achieved by requiring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008077.png" /> to be odd.
+
The evaluation on $[\mathcal{M}_k]$ on the right-hand side of the above equation means that
  
Now, the Donaldson invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008078.png" /> are differential topological invariants rather than topological invariants, but they are difficult to calculate as they require detailed knowledge of the instanton moduli space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008079.png" />. However, they are non-trivial and their values are known for a number of four-dimensional manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008080.png" />. For example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008081.png" /> is a complex [[Algebraic surface|algebraic surface]], a positivity argument shows that that they are non-zero when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008082.png" /> is large enough. Conversely, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008083.png" /> can be written as the connected sum
+
$$
 +
2d + 4r = \dim \mathcal{M}_k,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008084.png" /></td> </tr></table>
+
so that $\mathcal{M}_k$ is even dimensional, this is achieved by requiring $b_2^+$ to be odd.
  
where both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008085.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008086.png" /> have <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008087.png" />, then they all vanish.
+
Now, the Donaldson invariants $q_{d,r}^M$ are differential topological invariants rather than topological invariants, but they are difficult to calculate as they require detailed knowledge of the instanton moduli space $\mathcal{M}_k$. However, they are non-trivial and their values are known for a number of four-dimensional manifolds $M$. For example, if $M$ is a complex [[Algebraic surface|algebraic surface]], a positivity argument shows that that they are non-zero when $d$ is large enough. Conversely, if $M$ can be written as the connected sum
  
Turning now to physics, it is time to point out that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008088.png" /> can also be obtained (cf. [[#References|[a6]]]) as the correlation functions of twisted supersymmetric topological field theory.
+
$$
 +
M = M_1 \# M_2,
 +
$$
  
The action <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008089.png" /> for this theory is given by
+
where both $M_1$ and $M_2$ have $b_2^+ > 0$, then they all vanish.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008090.png" /></td> </tr></table>
+
Turning now to physics, it is time to point out that the $q_{d,r}^M$ can also be obtained (cf. [[#References|[a6]]]) as the correlation functions of twisted supersymmetric topological field theory.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008091.png" /></td> </tr></table>
+
The action $S$ for this theory is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008092.png" /></td> </tr></table>
+
$$
 +
\begin{aligned}
 +
S = \int_M d^4x \sqrt{g} \times &\tr \left\{
 +
\frac14 F_{\mu\nu} F^{\mu\nu}
 +
+ \frac14 F_{\mu\nu}^* F^{\mu\nu}
 +
+ \frac12 \phi D_\mu D^\mu \lambda
 +
+ i D_\mu \psi_\nu \chi^{\mu\nu}
 +
- i \eta D_\mu \psi^\mu \right.
 +
\\
 +
&\qquad \left. - \frac{i}{8} \phi [\chi_{\mu\nu}, \chi^{\mu\nu}]
 +
- \frac{i}{2} \lambda [ \psi_\mu, \psi^\mu ]
 +
- \frac{i}{2} \phi [\eta,\eta]
 +
- \frac18 [\phi,\lambda]^2
 +
\right\},
 +
\end{aligned}
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008093.png" /> is the curvature of a connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008094.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008095.png" /> are a collection of fields introduced in order to construct the right supersymmetric theory; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008096.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008097.png" /> are both spinless while the multiplet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008098.png" /> contains the components of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s12008099.png" />-form, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080100.png" />-form and a self-dual <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080101.png" />-form, respectively.
+
where $F_{\mu\nu}$ is the curvature of a connection $A_\mu$ and $(\phi, \lambda, \eta, \psi_\mu, \chi_{\mu\nu})$ are a collection of fields introduced in order to construct the right supersymmetric theory; $\phi$ and $\lambda$ are both spinless while the multiplet $(\psi_\mu, \chi_{\mu\nu})$ contains the components of a $0$-form, a $1$-form and a self-dual $2$-form, respectively.
  
The significance of this choice of multiplet is that the instanton deformation complex used to calculate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080102.png" /> contains precisely these fields.
+
The significance of this choice of multiplet is that the instanton deformation complex used to calculate $\dim \mathcal{M}_k$ contains precisely these fields.
  
Even though <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080103.png" /> contains a metric, its correlation functions are independent of the metric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080104.png" />, so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080105.png" /> can still be regarded as a topological field theory. This is because both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080106.png" /> and its associated energy-momentum tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080107.png" /> can be written as BRST commutators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080108.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080109.png" /> for suitable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080110.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080111.png" />.
+
Even though $S$ contains a metric, its correlation functions are independent of the metric $g$, so that $S$ can still be regarded as a topological field theory. This is because both $S$ and its associated energy-momentum tensor $T \equiv (\delta S / \delta g)$ can be written as BRST commutators $S = \{Q, V\}$, $T = \{Q, V'\}$ for suitable $V$ and $V'$.
  
With this theory it is possible to show that the correlation functions are independent of the gauge coupling and hence one can evaluate them in a small coupling limit. In this limit, the functional integrals are dominated by the classical minima of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080112.png" />, which for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080113.png" /> are just the instantons
+
With this theory it is possible to show that the correlation functions are independent of the gauge coupling and hence one can evaluate them in a small coupling limit. In this limit, the functional integrals are dominated by the classical minima of $S$, which for $A_\mu$ are just the instantons
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080114.png" /></td> </tr></table>
+
$$
 +
F_{\mu\nu} = -F_{\mu\nu}^*.
 +
$$
  
It is also required that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080115.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080116.png" /> vanish for irreducible connections. If one expands all the fields around the minima up to quadratic terms and does the resulting Gaussian integrals, the correlation functions may be formally evaluated.
+
It is also required that $\phi$ and $\lambda$ vanish for irreducible connections. If one expands all the fields around the minima up to quadratic terms and does the resulting Gaussian integrals, the correlation functions may be formally evaluated.
  
 
A general correlation function of this theory is now given by
 
A general correlation function of this theory is now given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080117.png" /></td> </tr></table>
+
$$
 +
\langle P\rangle = \int \mathcal{F} \exp [-S] P(\mathcal{F}),
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080118.png" /> denotes the collection of fields present in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080119.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080120.png" /> is a polynomial in the fields.
+
where $\mathcal{F}$ denotes the collection of fields present in $S$ and $P(\mathcal{F})$ is a polynomial in the fields.
  
Now, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080121.png" /> has been constructed so that the zero modes in the expansion about the minima are the tangents to the moduli space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080122.png" />. This suggest that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080123.png" /> integration can be done as follows: Express the integral as an integral over modes, then all the non-zero modes may be integrated out first leaving a finite-dimensional integration over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080124.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080125.png" /> denotes the compactified moduli space). The Gaussian integration over the non-zero modes is a Boson–Fermion ratio of determinants, a ratio which supersymmetry constrains to be of unit modulus since Bosonic and Fermionic eigenvalues are equal in pairs.
+
Now, $S$ has been constructed so that the zero modes in the expansion about the minima are the tangents to the moduli space $\mathcal{M}_k$. This suggest that the $\mathcal{F}$ integration can be done as follows: Express the integral as an integral over modes, then all the non-zero modes may be integrated out first leaving a finite-dimensional integration over $\overline {\mathcal{M}}_k$ ($\overline{\mathcal{M}}_k$ denotes the compactified moduli space). The Gaussian integration over the non-zero modes is a Boson–Fermion ratio of determinants, a ratio which supersymmetry constrains to be of unit modulus since Bosonic and Fermionic eigenvalues are equal in pairs.
  
This amounts to expressing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080126.png" /> as
+
This amounts to expressing $\langle P\rangle$ as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080127.png" /></td> </tr></table>
+
$$
 +
\langle P \rangle = \int_{\overline{\mathcal{M}}_k} P_n,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080128.png" /> denotes an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080129.png" />-form over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080130.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080131.png" />. If the original polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080132.png" /> is judiciously chosen, then calculation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080133.png" /> reproduces the evaluation of the Donaldson polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080134.png" />. It is now time to return to the Seiberg–Witten context.
+
where $P_n$ denotes an $n$-form over $\overline{\mathcal{M}}_k$ and $n = \dim \overline{\mathcal{M}}_k$. If the original polynomial $P(\mathcal{F})$ is judiciously chosen, then calculation of $\langle P \rangle$ reproduces the evaluation of the Donaldson polynomials $q_{d,r}^M$. It is now time to return to the Seiberg–Witten context.
  
There is a set of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080135.png" />, known as the Seiberg–Witten invariants, which can be obtained by combining the Donaldson polynomials into a generating function. To do this one assumes that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080136.png" /> have the property that
+
There is a set of rational numbers $a_i$, known as the Seiberg–Witten invariants, which can be obtained by combining the Donaldson polynomials into a generating function. To do this one assumes that the $q_{d,r}^M$ have the property that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080137.png" /></td> </tr></table>
+
$$
 +
q_{d,r+2}^M = 4 q_{d,r}^M.
 +
$$
  
A simply-connected manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080138.png" /> whose <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080139.png" /> have this property is said to be of simple type. This property makes it useful to define <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080140.png" />, by writing
+
A simply-connected manifold $M$ whose $q_{d,r}^M$ have this property is said to be of simple type. This property makes it useful to define $\widetilde q_d^M$, by writing
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080141.png" /></td> </tr></table>
+
$$
 +
\widetilde q_d^M
 +
= \begin{cases}
 +
q_{d,0}^M & d = (b_2^++1) \pmod{2}, \\
 +
\dfrac{q_{d,1}^M}{2} & d = b_2^+ \pmod{2}.
 +
\end{cases}
 +
$$
  
The generating function, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080142.png" />, is given by
+
The generating function, denoted by $G_M(\alpha)$, is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080143.png" /></td> </tr></table>
+
$$
 +
G_M(\alpha) = \sum_{d=0}^\infty \frac{1}{d!} \widetilde q_d^M (\alpha).
 +
$$
  
According to P.B. Kronheimer and T.S. Mrowka [[#References|[a7]]], [[#References|[a8]]], <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080144.png" /> can be expressed in terms of a finite number of classes (known as basic classes) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080145.png" /> with rational coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080146.png" /> (called the Seiberg–Witten invariants), resulting in the formula
+
According to P.B. Kronheimer and T.S. Mrowka [[#References|[a7]]], [[#References|[a8]]], $G(\alpha)$ can be expressed in terms of a finite number of classes (known as basic classes) $\kappa_i \in H^2(M)$ with rational coefficients $a_i$ (called the Seiberg–Witten invariants), resulting in the formula
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080147.png" /></td> </tr></table>
+
$$
 +
G_M(\alpha) = \exp \left[ \alpha . \frac\alpha2 \right] \sum_i a_i \exp[\kappa_i.\alpha].
 +
$$
  
Hence, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080148.png" /> of simple type the polynomial invariants are determined by a (finite) number of basic classes and the Seiberg–Witten invariants.
+
Hence, for $M$ of simple type the polynomial invariants are determined by a (finite) number of basic classes and the Seiberg–Witten invariants.
  
Returning now to the physics, one finds that the [[Quantum field theory|quantum field theory]] approach to the polynomial invariants relates them to properties of the moduli space for the Seiberg–Witten equations, rather than to properties of the instanton moduli space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080149.png" />.
+
Returning now to the physics, one finds that the [[Quantum field theory|quantum field theory]] approach to the polynomial invariants relates them to properties of the moduli space for the Seiberg–Witten equations, rather than to properties of the instanton moduli space $\mathcal{M}_k$.
  
 
The moduli space for the Seiberg–Witten equations generically has dimension
 
The moduli space for the Seiberg–Witten equations generically has dimension
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080150.png" /></td> </tr></table>
+
$$
 +
\frac{c_1^2(L) - 2\chi(M) - 3\sigma(M)}{4},
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080151.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080152.png" /> are the [[Euler characteristic|Euler characteristic]] and [[Signature|signature]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080153.png" />, respectively. This vanishes when
+
where $\chi(M)$ and $\sigma(M)$ are the [[Euler characteristic|Euler characteristic]] and [[Signature|signature]] of $M$, respectively. This vanishes when
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080154.png" /></td> </tr></table>
+
$$
 +
c_1^2(L) = 2\chi(M) + 3 \sigma(M),
 +
$$
  
and then the moduli space, being zero dimensional, is a collection of points. There are actually only a finite number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080155.png" /> of these, and so they form a set
+
and then the moduli space, being zero dimensional, is a collection of points. There are actually only a finite number $N$ of these, and so they form a set
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080156.png" /></td> </tr></table>
+
$$
 +
\{P_1, \ldots, P_N\}.
 +
$$
  
Each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080157.png" /> has a sign <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080158.png" /> associated with it, coming from the sign of the determinant of the elliptic operator whose index gave the dimension of the moduli space, cf. [[#References|[a1]]]. The sum of these signs is a topological invariant, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080159.png" />, i.e.
+
Each point $P_i$ has a sign $\epsilon_i = \pm 1$ associated with it, coming from the sign of the determinant of the elliptic operator whose index gave the dimension of the moduli space, cf. [[#References|[a1]]]. The sum of these signs is a topological invariant, denoted by $n_L$, i.e.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080160.png" /></td> </tr></table>
+
$$
 +
n_L = \sum_{i=1}^N \epsilon_i.
 +
$$
  
Using this information, one can pass to a formula of [[#References|[a1]]] for the generating function which, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080161.png" /> of simple type, reads (though note that the bundle denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080162.png" /> here corresponds to the square of the bundle denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080163.png" /> in [[#References|[a1]]]):
+
Using this information, one can pass to a formula of [[#References|[a1]]] for the generating function which, for $M$ of simple type, reads (though note that the bundle denoted by $L$ here corresponds to the square of the bundle denoted by $L$ in [[#References|[a1]]]):
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080164.png" /></td> </tr></table>
+
$$
 +
G_M(\alpha) = 2^{p(M)} \exp \left[ \alpha.\frac\alpha2\right] \sum_L n_L \exp[c_1(L).\alpha]
 +
$$
  
 
with
 
with
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080165.png" /></td> </tr></table>
+
$$
 +
p(M) = 1 + \frac14 (7\chi(M) + 11\sigma(M))
 +
$$
  
and the sum over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080166.png" /> on the right-hand side of the formula is over (the finite number of) line bundles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080167.png" /> that satisfy
+
and the sum over $L$ on the right-hand side of the formula is over (the finite number of) line bundles $L$ that satisfy
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080168.png" /></td> </tr></table>
+
$$
 +
c_1^2(L) = 2\chi(M) + 3\sigma(M);
 +
$$
  
in other words, it is a sum over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080169.png" /> with zero-dimensional Seiberg–Witten moduli spaces.
+
in other words, it is a sum over $L$ with zero-dimensional Seiberg–Witten moduli spaces.
  
Comparison of the two formulas for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080170.png" /> (the first mathematical in origin and the second physical) allows one to identify the Seiberg–Witten invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080171.png" /> and the Kronheimer–Mrowka basic classes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080172.png" /> as the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080173.png" />; also, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080174.png" /> must satisfy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080175.png" /> as had been suggested already.
+
Comparison of the two formulas for $G_M(\alpha)$ (the first mathematical in origin and the second physical) allows one to identify the Seiberg–Witten invariants $a_i$ and the Kronheimer–Mrowka basic classes $\kappa_i$ as the $c_1(L)$; also, the $\kappa_i$ must satisfy $\kappa_i^2 = 2\chi + 3\sigma$ as had been suggested already.
  
The physics underlying these topological results is of great importance, since many of the ideas originate there. It is known from [[#References|[a6]]] that the computation of the Donaldson invariants may use the fact that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080176.png" /> gauge theory is asymptotically free. This means that the ultraviolet limit, being one of weak coupling, is tractable. However the less tractable infrared or strong coupling limit would do just as well to calculate the Donaldson invariants, since these latter are metric independent.
+
The physics underlying these topological results is of great importance, since many of the ideas originate there. It is known from [[#References|[a6]]] that the computation of the Donaldson invariants may use the fact that the $N=2$ gauge theory is asymptotically free. This means that the ultraviolet limit, being one of weak coupling, is tractable. However the less tractable infrared or strong coupling limit would do just as well to calculate the Donaldson invariants, since these latter are metric independent.
  
 
In [[#References|[a2]]], [[#References|[a3]]] this infrared behaviour is determined and it is found that, in the strong coupling infrared limit, the theory is equivalent to a weakly coupled theory of Abelian fields and monopoles. There is also a duality between the original theory and the theory with monopoles, which is expressed by the fact that the (Abelian) gauge group of the monopole theory is the dual of the maximal torus of the group of the non-Abelian theory.
 
In [[#References|[a2]]], [[#References|[a3]]] this infrared behaviour is determined and it is found that, in the strong coupling infrared limit, the theory is equivalent to a weakly coupled theory of Abelian fields and monopoles. There is also a duality between the original theory and the theory with monopoles, which is expressed by the fact that the (Abelian) gauge group of the monopole theory is the dual of the maximal torus of the group of the non-Abelian theory.
  
Recall that the Yang–Mills gauge group in the discussion above is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080177.png" />. This infrared equivalence of [[#References|[a2]]], [[#References|[a3]]] means that the achievement of [[#References|[a1]]] is to successfully replace the counting of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080178.png" /> instantons used to compute the Donaldson invariants in [[#References|[a6]]] by the counting of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080179.png" /> monopoles. Since this monopole theory is weakly coupled, everything is computable now in the infrared limit.
+
Recall that the Yang–Mills gauge group in the discussion above is $SU(2)$. This infrared equivalence of [[#References|[a2]]], [[#References|[a3]]] means that the achievement of [[#References|[a1]]] is to successfully replace the counting of $SU(2)$ instantons used to compute the Donaldson invariants in [[#References|[a6]]] by the counting of $U(1)$ monopoles. Since this monopole theory is weakly coupled, everything is computable now in the infrared limit.
  
The theory considered in [[#References|[a2]]], [[#References|[a3]]] possesses a collection of quantum vacua labelled by a complex parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080180.png" />, which turns out to parametrize a family of elliptic curves (cf. also [[Elliptic curve|Elliptic curve]]). A central part is played by a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080181.png" /> on which there is a modular action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120080/s120080182.png" />. The successful determination of the infrared limit involves an electric-magnetic duality and the whole matter is of considerable independent interest for quantum field theory, quark confinement and string theory in general.
+
The theory considered in [[#References|[a2]]], [[#References|[a3]]] possesses a collection of quantum vacua labelled by a complex parameter $u$, which turns out to parametrize a family of elliptic curves (cf. also [[Elliptic curve|Elliptic curve]]). A central part is played by a function $\tau(u)$ on which there is a modular action of $SL(2,\Z)$. The successful determination of the infrared limit involves an electric-magnetic duality and the whole matter is of considerable independent interest for quantum field theory, quark confinement and string theory in general.
  
 
If one allows the four-dimensional manifold $M$ to have a boundary $Y$, then one induces certain three-dimensional Seiberg–Witten equations on the three-dimensional manifold $Y$, cf. [[#References|[a5]]], [[#References|[a7]]].
 
If one allows the four-dimensional manifold $M$ to have a boundary $Y$, then one induces certain three-dimensional Seiberg–Witten equations on the three-dimensional manifold $Y$, cf. [[#References|[a5]]], [[#References|[a7]]].

Latest revision as of 10:57, 13 February 2024

$$ \newcommand{\dslash}{\partial\!\!\!\big /} \newcommand{\Spin}{\operatorname{spin}} $$

Equations constituting a breakthrough in work on the topology of four-dimensional manifolds (cf. also Four-dimensional manifold). The equations, which were introduced in [a1] have their origins in physics in earlier work of N. Seiberg and E. Witten [a2], [a3].

One of the advances provided by the Seiberg–Witten equations concerns Donaldson polynomial invariants for four-dimensional manifolds (see also below).

If one chooses an oriented, compact, closed, Riemannian manifold $M$, then the data needed for the Seiberg–Witten equations are a connection $A$ on a line bundle $L$ over $M$ and a "local spinor field" $\psi$. The Seiberg–Witten equations are then

$$ \dslash_A \psi = 0, \qquad F^+ = -\frac12 \overline{\psi} \Gamma \psi, $$

where $\dslash_A$ is the Dirac operator and $\Gamma$ is made from the gamma-matrices $\Gamma_i$ according to

$$ \Gamma = \frac12 [\Gamma_i, \Gamma_j] dx^i \wedge dx^j. $$

$\psi$ is called a "local spinor" because global spinors need not exist on $M$; however, orientability guarantees that a $\Spin\C$ structure does exist and $\psi$ is the appropriate section for this $\Spin_\C$ structure. Note that $A$ is just a $U(1)$ Abelian connection, and so $F = dA$, with $F^+$ being the self-dual part of $F$.

Example.

The equations clearly provide the absolute minima for the action

$$ S = \int_M \left\{ \left| \dslash_A \psi\right|^2 + \frac12 \left| F^+ \frac12 \overline{\psi} \Gamma \psi \right|^2 \right\}. $$

If one uses a Weitzenböck formula to relate the Laplacian $\nabla_A^* \nabla_A$ (cf. also Laplace operator) to $\dslash_A^* \dslash_A$ plus curvature terms, one finds that $S$ satisfies

$$ \begin{gathered} \int_M \left\{ \left| \dslash_A \psi\right|^2 + \frac12 \left| F^+ \frac12 \overline{\psi} \Gamma \psi \right|^2 \right\} \\ = \int_M \left\{ \left| \nabla_A \psi\right|^2 + \frac12 \left| F^+ \right|^2 + \frac18 |\psi|^4 + \frac14 R |\psi|^2 \right\} \\ = \int_M \left\{ \left| \nabla_A \psi\right|^2 + \frac14 | F |^2 + \frac18 |\psi|^4 + \frac14 R |\psi|^2 \right\} + \pi^2 c_1^2(L), \end{gathered} $$

where $R$ is the scalar curvature of $M$ and $c_1(L)$ is the Chern class of $L$.

The action now looks like one for monopoles; indeed, in [a1], Witten refers to what are now called the Seiberg–Witten equations as the "monopole equations" . But now suppose that $R$ is positive and that the pair $(A,\psi)$ is a solution to the Seiberg–Witten equations; then the left-hand side of this last expression is zero and all the integrands on the right-hand side are positive, so the solution must obey $\psi=0$ and $F^+=0$. It turns out that if $M$ has $b_2^+>1$ (see below for a definition of $b_2^+$), then a perturbation of the metric can preserve the positivity of $R$ but perturb $F^+=0$ to be simply $F=0$, rendering the connection $A$ flat (cf. also Flat form). Hence, in these circumstances, the solution $(A,\psi)$ is the trivial one. This means that one has a new kind of vanishing theorem in four dimensions ([a1], 1994): No four-dimensional manifold with $b_2^+>1$ and non-trivial Seiberg–Witten invariants admits a metric of positive scalar curvature.

Polynomial invariants.

Let $M$ be a smooth, simply-connected, orientable Riemannian four-dimensional manifold without boundary and let $A$ be an $SU(2)$ connection which is anti-self-dual, so that

$$ F = -\ast F. $$

Then the space of all gauge-inequivalent solutions to this anti-self-duality equation, the moduli space $\mathcal{M}_k$, has a dimension, given by the integer

$$ \dim \mathcal{M}_k = 8k - 3(1+b_2^+). $$

Here, $k$ is the instanton number, which gives the topological type of the solution $A$. The instanton number is minus the second Chern class $c_2(F) \in H^2(M; \Z)$ of the bundle on which $A$ is defined. This means that

$$ k = -c_2(F) [M] = \frac{1}{8\pi^2} \int_M \tr (F\wedge F) \in \Z. $$

The number $b_2^+$ is defined to be the rank of the positive part of the intersection form $q$ on $M$; the intersection form being defined by

$$ q(\alpha, \beta) = (\alpha \cup \beta)[M], \quad \alpha, \beta \in H_2(M; \Z), $$

with $\cup$ denoting the cup product.

A Donaldson invariant $q_{d,r}^M$ is a symmetric integer polynomial of degree $d$ in the $2$-homology $H_2(M; \Z)$ of $M$:

$$ q_{d,r}^M : \underbrace{H_2(M) \times \cdots \times H_2(M)}_{d \text{ factors}} \to \Z. $$

Given a certain mapping $m_i$ (cf. [a4], [a5]),

$$ m_i : H_i(M) \to H^{4-i}(\mathcal{M}_k); $$

then, if $\alpha \in H_2(M)$ and $\ast$ represents a point in $M$, one defines $q_{d,r}^M(\alpha)$ by writing

$$ q_{d,r}^M(\alpha) = m_2^d(\alpha) m_0^r(\ast) [\mathcal{M}_k]. $$

The evaluation on $[\mathcal{M}_k]$ on the right-hand side of the above equation means that

$$ 2d + 4r = \dim \mathcal{M}_k, $$

so that $\mathcal{M}_k$ is even dimensional, this is achieved by requiring $b_2^+$ to be odd.

Now, the Donaldson invariants $q_{d,r}^M$ are differential topological invariants rather than topological invariants, but they are difficult to calculate as they require detailed knowledge of the instanton moduli space $\mathcal{M}_k$. However, they are non-trivial and their values are known for a number of four-dimensional manifolds $M$. For example, if $M$ is a complex algebraic surface, a positivity argument shows that that they are non-zero when $d$ is large enough. Conversely, if $M$ can be written as the connected sum

$$ M = M_1 \# M_2, $$

where both $M_1$ and $M_2$ have $b_2^+ > 0$, then they all vanish.

Turning now to physics, it is time to point out that the $q_{d,r}^M$ can also be obtained (cf. [a6]) as the correlation functions of twisted supersymmetric topological field theory.

The action $S$ for this theory is given by

$$ \begin{aligned} S = \int_M d^4x \sqrt{g} \times &\tr \left\{ \frac14 F_{\mu\nu} F^{\mu\nu} + \frac14 F_{\mu\nu}^* F^{\mu\nu} + \frac12 \phi D_\mu D^\mu \lambda + i D_\mu \psi_\nu \chi^{\mu\nu} - i \eta D_\mu \psi^\mu \right. \\ &\qquad \left. - \frac{i}{8} \phi [\chi_{\mu\nu}, \chi^{\mu\nu}] - \frac{i}{2} \lambda [ \psi_\mu, \psi^\mu ] - \frac{i}{2} \phi [\eta,\eta] - \frac18 [\phi,\lambda]^2 \right\}, \end{aligned} $$

where $F_{\mu\nu}$ is the curvature of a connection $A_\mu$ and $(\phi, \lambda, \eta, \psi_\mu, \chi_{\mu\nu})$ are a collection of fields introduced in order to construct the right supersymmetric theory; $\phi$ and $\lambda$ are both spinless while the multiplet $(\psi_\mu, \chi_{\mu\nu})$ contains the components of a $0$-form, a $1$-form and a self-dual $2$-form, respectively.

The significance of this choice of multiplet is that the instanton deformation complex used to calculate $\dim \mathcal{M}_k$ contains precisely these fields.

Even though $S$ contains a metric, its correlation functions are independent of the metric $g$, so that $S$ can still be regarded as a topological field theory. This is because both $S$ and its associated energy-momentum tensor $T \equiv (\delta S / \delta g)$ can be written as BRST commutators $S = \{Q, V\}$, $T = \{Q, V'\}$ for suitable $V$ and $V'$.

With this theory it is possible to show that the correlation functions are independent of the gauge coupling and hence one can evaluate them in a small coupling limit. In this limit, the functional integrals are dominated by the classical minima of $S$, which for $A_\mu$ are just the instantons

$$ F_{\mu\nu} = -F_{\mu\nu}^*. $$

It is also required that $\phi$ and $\lambda$ vanish for irreducible connections. If one expands all the fields around the minima up to quadratic terms and does the resulting Gaussian integrals, the correlation functions may be formally evaluated.

A general correlation function of this theory is now given by

$$ \langle P\rangle = \int \mathcal{F} \exp [-S] P(\mathcal{F}), $$

where $\mathcal{F}$ denotes the collection of fields present in $S$ and $P(\mathcal{F})$ is a polynomial in the fields.

Now, $S$ has been constructed so that the zero modes in the expansion about the minima are the tangents to the moduli space $\mathcal{M}_k$. This suggest that the $\mathcal{F}$ integration can be done as follows: Express the integral as an integral over modes, then all the non-zero modes may be integrated out first leaving a finite-dimensional integration over $\overline {\mathcal{M}}_k$ ($\overline{\mathcal{M}}_k$ denotes the compactified moduli space). The Gaussian integration over the non-zero modes is a Boson–Fermion ratio of determinants, a ratio which supersymmetry constrains to be of unit modulus since Bosonic and Fermionic eigenvalues are equal in pairs.

This amounts to expressing $\langle P\rangle$ as

$$ \langle P \rangle = \int_{\overline{\mathcal{M}}_k} P_n, $$

where $P_n$ denotes an $n$-form over $\overline{\mathcal{M}}_k$ and $n = \dim \overline{\mathcal{M}}_k$. If the original polynomial $P(\mathcal{F})$ is judiciously chosen, then calculation of $\langle P \rangle$ reproduces the evaluation of the Donaldson polynomials $q_{d,r}^M$. It is now time to return to the Seiberg–Witten context.

There is a set of rational numbers $a_i$, known as the Seiberg–Witten invariants, which can be obtained by combining the Donaldson polynomials into a generating function. To do this one assumes that the $q_{d,r}^M$ have the property that

$$ q_{d,r+2}^M = 4 q_{d,r}^M. $$

A simply-connected manifold $M$ whose $q_{d,r}^M$ have this property is said to be of simple type. This property makes it useful to define $\widetilde q_d^M$, by writing

$$ \widetilde q_d^M = \begin{cases} q_{d,0}^M & d = (b_2^++1) \pmod{2}, \\ \dfrac{q_{d,1}^M}{2} & d = b_2^+ \pmod{2}. \end{cases} $$

The generating function, denoted by $G_M(\alpha)$, is given by

$$ G_M(\alpha) = \sum_{d=0}^\infty \frac{1}{d!} \widetilde q_d^M (\alpha). $$

According to P.B. Kronheimer and T.S. Mrowka [a7], [a8], $G(\alpha)$ can be expressed in terms of a finite number of classes (known as basic classes) $\kappa_i \in H^2(M)$ with rational coefficients $a_i$ (called the Seiberg–Witten invariants), resulting in the formula

$$ G_M(\alpha) = \exp \left[ \alpha . \frac\alpha2 \right] \sum_i a_i \exp[\kappa_i.\alpha]. $$

Hence, for $M$ of simple type the polynomial invariants are determined by a (finite) number of basic classes and the Seiberg–Witten invariants.

Returning now to the physics, one finds that the quantum field theory approach to the polynomial invariants relates them to properties of the moduli space for the Seiberg–Witten equations, rather than to properties of the instanton moduli space $\mathcal{M}_k$.

The moduli space for the Seiberg–Witten equations generically has dimension

$$ \frac{c_1^2(L) - 2\chi(M) - 3\sigma(M)}{4}, $$

where $\chi(M)$ and $\sigma(M)$ are the Euler characteristic and signature of $M$, respectively. This vanishes when

$$ c_1^2(L) = 2\chi(M) + 3 \sigma(M), $$

and then the moduli space, being zero dimensional, is a collection of points. There are actually only a finite number $N$ of these, and so they form a set

$$ \{P_1, \ldots, P_N\}. $$

Each point $P_i$ has a sign $\epsilon_i = \pm 1$ associated with it, coming from the sign of the determinant of the elliptic operator whose index gave the dimension of the moduli space, cf. [a1]. The sum of these signs is a topological invariant, denoted by $n_L$, i.e.

$$ n_L = \sum_{i=1}^N \epsilon_i. $$

Using this information, one can pass to a formula of [a1] for the generating function which, for $M$ of simple type, reads (though note that the bundle denoted by $L$ here corresponds to the square of the bundle denoted by $L$ in [a1]):

$$ G_M(\alpha) = 2^{p(M)} \exp \left[ \alpha.\frac\alpha2\right] \sum_L n_L \exp[c_1(L).\alpha] $$

with

$$ p(M) = 1 + \frac14 (7\chi(M) + 11\sigma(M)) $$

and the sum over $L$ on the right-hand side of the formula is over (the finite number of) line bundles $L$ that satisfy

$$ c_1^2(L) = 2\chi(M) + 3\sigma(M); $$

in other words, it is a sum over $L$ with zero-dimensional Seiberg–Witten moduli spaces.

Comparison of the two formulas for $G_M(\alpha)$ (the first mathematical in origin and the second physical) allows one to identify the Seiberg–Witten invariants $a_i$ and the Kronheimer–Mrowka basic classes $\kappa_i$ as the $c_1(L)$; also, the $\kappa_i$ must satisfy $\kappa_i^2 = 2\chi + 3\sigma$ as had been suggested already.

The physics underlying these topological results is of great importance, since many of the ideas originate there. It is known from [a6] that the computation of the Donaldson invariants may use the fact that the $N=2$ gauge theory is asymptotically free. This means that the ultraviolet limit, being one of weak coupling, is tractable. However the less tractable infrared or strong coupling limit would do just as well to calculate the Donaldson invariants, since these latter are metric independent.

In [a2], [a3] this infrared behaviour is determined and it is found that, in the strong coupling infrared limit, the theory is equivalent to a weakly coupled theory of Abelian fields and monopoles. There is also a duality between the original theory and the theory with monopoles, which is expressed by the fact that the (Abelian) gauge group of the monopole theory is the dual of the maximal torus of the group of the non-Abelian theory.

Recall that the Yang–Mills gauge group in the discussion above is $SU(2)$. This infrared equivalence of [a2], [a3] means that the achievement of [a1] is to successfully replace the counting of $SU(2)$ instantons used to compute the Donaldson invariants in [a6] by the counting of $U(1)$ monopoles. Since this monopole theory is weakly coupled, everything is computable now in the infrared limit.

The theory considered in [a2], [a3] possesses a collection of quantum vacua labelled by a complex parameter $u$, which turns out to parametrize a family of elliptic curves (cf. also Elliptic curve). A central part is played by a function $\tau(u)$ on which there is a modular action of $SL(2,\Z)$. The successful determination of the infrared limit involves an electric-magnetic duality and the whole matter is of considerable independent interest for quantum field theory, quark confinement and string theory in general.

If one allows the four-dimensional manifold $M$ to have a boundary $Y$, then one induces certain three-dimensional Seiberg–Witten equations on the three-dimensional manifold $Y$, cf. [a5], [a7].

References

[a1] E. Witten, "Monopoles and four-manifolds" Math. Res. Lett. , 1 (1994) pp. 769–796 Zbl 0867.57029
[a2] N. Seiberg, E. Witten, "Electric-magnetic duality, monopole condensation, and confinement in $N=2$ supersymmetric Yang–Mills theory" Nucl. Phys. , B426 (1994) pp. 19–52 (Erratum: B430 (1994), 485-486)
[a3] N. Seiberg, E. Witten, "Monopoles, duality and chiral symmetry breaking in $N=2$ supersymmetric QCD" Nucl. Phys. , B431 (1994) pp. 484–550
[a4] S.K. Donaldson, P.B. Kronheimer, "The geometry of four manifolds" , Oxford Univ. Press (1990)
[a5] S.K. Donaldson, "The Seiberg–Witten equations and 4-manifold topology" Bull. Amer. Math. Soc. , 33 (1996) pp. 45–70
[a6] E. Witten, "Topological quantum field theory" Comm. Math. Phys. , 117 (1988) pp. 353–386
[a7] P.B. Kronheimer, T.S. Mrowka, "Recurrence relations and asymptotics for four manifold invariants" Bull. Amer. Math. Soc. , 30 (1994) pp. 215–221
[a8] P.B. Kronheimer, T.S. Mrowka, "The genus of embedded surfaces in the projective plane" Math. Res. Lett. , 1 (1994) pp. 797–808
How to Cite This Entry:
Seiberg-Witten equations. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Seiberg-Witten_equations&oldid=52976
This article was adapted from an original article by Ch. Nash (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article