Meaning/Origin of Seiberg-Witten Equations/Invariants - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T20:14:51Z http://mathoverflow.net/feeds/question/88406 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/88406/meaning-origin-of-seiberg-witten-equations-invariants Meaning/Origin of Seiberg-Witten Equations/Invariants Chris Gerig 2012-02-14T07:20:22Z 2012-02-22T02:49:03Z <p>Having now seen and "understood" (quotes necessary) the Seiberg-Witten equations on a closed oriented Riemannian 4-manifold $X$, I have no real understanding of <strong>where they came from</strong>.<br> We take an orthogonal frame bundle $P$ of $TX$, a spin-c structure $\tilde{P}$ with determinant line bundle $\mathcal{L}$, the complex $\pm$ spin bundles $S^\pm(\tilde{P})$ associated to $\tilde{P}$, a unitary connection $A$ on $\mathcal{L}$, and then BAM:<br> $F_A^+=\psi\otimes\psi^*-\frac{1}{2}|\psi|^2$<br> $D_A\psi=0$<br> for a spinor $\psi\in C^\infty(S^+(\tilde{P}))$. From here we can consider the space of solutions (<em>monopoles</em>) and do some Floer theory stuff and whatnot.</p> <p>I only read that these equations come from Witten's famous paper <em>Monopoles and 4-Manifolds</em> (along with two others joint with Seiberg)... however, unless I am mistaken, he simply writes them down and starts arguing for their similarity/duality to Donaldson's theory (with <em>instanton</em> solutions). I then try and go to the standard references of Donaldson, which don't seem to suggest how the SW equations come about (nor do I even really see how the instantons come about). Although I have studied physics for a long time, I seem to just juggle around these papers, without ever finding a natural "blooming" of the SW equations.</p> <p>Even if it's in the language of String Theory, <strong>I would like to know the general story / understanding of the "blooming" of the SW equations, and how exactly they are "dual" to the instanton-scenario of Donaldson</strong>, perhaps even for the "blooming" of these instantons. (For instance, I don't see a set of equations for instantons). This post may not be stated in its clearest form, but I will try my best to make appropriate edits.</p> http://mathoverflow.net/questions/88406/meaning-origin-of-seiberg-witten-equations-invariants/88432#88432 Answer by Liviu Nicolaescu for Meaning/Origin of Seiberg-Witten Equations/Invariants Liviu Nicolaescu 2012-02-14T14:00:19Z 2012-02-14T14:00:19Z <p>Try this paper</p> <p><a href="http://www.sciencedirect.com/science/article/pii/0550321394901244" rel="nofollow">Electric-magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory</a></p> http://mathoverflow.net/questions/88406/meaning-origin-of-seiberg-witten-equations-invariants/88489#88489 Answer by Chris Gerig for Meaning/Origin of Seiberg-Witten Equations/Invariants Chris Gerig 2012-02-15T05:20:43Z 2012-02-22T02:49:03Z <p>After thinking, and reading other references and re-reading the papers I mentioned, I may have found a sufficient explanation (at least to my care): Both instantons/monopoles are solutions to corresponding equations of motions from associated actions, and they "bloom" from an overarching SUSY action.</p> <p>Witten formulated <em>"twisted N=2 Supersymmetric Yang-Mills"</em>, a TQFT with SUSY (supersymmetry), which leads to the Donaldson invariants. This used an $SU(2)$-bundle over $X$ along with a gauge field (connection $\omega$) and matter fields (bosonic $\phi,\lambda$ and fermionic $\eta,\psi,\zeta$), and gave the <em>Donaldson-Witten action functional</em> $S_{DW}=\int_Xtr(\mathcal{L})$,<br> $\mathcal{L}=\frac{1}{4}F_\omega\wedge(\ast F_\omega+F_\omega)-\frac{1}{2}\zeta\wedge[\zeta,\phi]+id^\omega\psi\wedge\zeta-2i[\psi,\ast\psi]\lambda+i\phi d^\omega{\ast d^\omega}\lambda-\psi\wedge\ast d^\omega\eta$.<br> This has associated partition function $Z_{DW}=\int e^{-S_{DW}/g^2}D\Phi$ (here $\Phi$ denotes the space of aforementioned fields), where $g$ is a coupling constant that is the key here for answering our question. The "blooming" of this action functional is beyond the scope of my intentions and probably of MathOverflow, so I won't question it.</p> <p>In weak coupling ($g\rightarrow 0$, known to physicists as the ultraviolet region), the action localizes to the classical Yang-Mills $S_{YM}=\int_Xtr(F_\omega\wedge\ast F_\omega)$ and have the equations of motion $d^\omega\ast F_\omega=0$. The global-minima solutions are $F_\omega=\pm\ast F_\omega$ (as Oliver clarifies in a comment). These solutions <em>are</em> the Donaldson <em>instantons</em>.</p> <p>Now apparently, when we instead look at strong-coupling ($g\rightarrow\infty$, known to physicists as the infrared-region), the Seiberg-Witten equations should arise (a "duality" in Witten's TQFT). Indeed, Seiberg and Witten showed that this infrared limit of the above theory is equivalent to a weakly-coupled $U(1)$-gauge theory (the $SU(2)$-gauge group is spontaneously broken down to the maximal torus). <strong>Perhaps here is where a better understanding would be desirable</strong> (buzzwords 'asymptotic freedom' and 'symmetry breaking' appear).<br> Anyway, some physics-technique stuff happens (the previous paragraph can be described as "condensation of monopoles"), and we must consider a spin-c structure (which all of our oriented 4-manifolds have, whereas a spin structure would not allow us to consider all 4-manifolds); note that $Spin^c(4)=(SU(2)\times SU(2))\times_{\mathbb{Z}_2} U(1)$. This gives the data: $U(1)$-gauge field $A$ and positive spinor field $\psi$ (as written in the original post). The pair $(A,\psi)$ is a <em>monopole</em> when it minimizes an action $S_{SW}$, i.e. are time-independent solutions to equations of motions (the Seiberg-Witten equations). The action here is $S_{SW}=\int_X(|d^A\psi|^2+|F_A^+|^2+\frac{R}{4}|\psi|^2+\frac{1}{8}|\psi|^4)$, with scalar curvature $R$.</p> <p>I hope this post is not too confusing.</p> <p>[[Edit/Update]]: I just came across a book chapter by Siye Wu, <em>The Geometry and Physics of the Seiberg-Witten Equations</em>. These lectures tell the physical origin completely! (i.e. completely details my sketch). The SW equations and action functional pops up on pg191. <a href="http://www.springerlink.com/content/q37322037j466218/" rel="nofollow">http://www.springerlink.com/content/q37322037j466218/</a></p>