• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,079 questions , 2,229 unanswered
5,348 answers , 22,758 comments
1,470 users with positive rep
819 active unimported users
More ...

  Example of ''annihilation'' of Seiberg-Witten Equation solutions

+ 7 like - 0 dislike

The proof that the Seiberg-Witten invariants of a 4-manifold $X$ with fixed Spin$^c$ structure really are invariant wrt the metric used to define them goes roughly as follows (for simplicity let $b_2^+(X) > 1$ and assume the expected dimension of the SW moduli space is 0):

If $g_0$ and $g_1$ are metrics on $X$ then they may be joined by a path $(g_t)_{0 \le t\le 1}$ of metrics where each $g_t$ is such that the corresponding SW moduli space avoids reducible solutions. Now the collection of moduli spaces $(M_t)_{0\le t\le1}$ of the SW equations for each metric $g_t$ can be viewed as a cobordism between the 0-dimensional oriented manifolds $M_0$ and $M_1$. Hence the number of solutions with orientation accounted for is the same in each.

This allows for an "annihilation" phenomenon to occur among solutions: for example, {+,+,-} is cobordant to {-} via a cobordism consisting of one line from + to - and a U-shaped line along which + and - annihilate.

My question is whether anyone can illustrate an explicit example of two solutions to the SW equations wrt a given metric $g_0$ that have opposite orientation and "annihilate" along a path $(g_t)_{0 \le t \le 1}$ to some final metric $g_1$. I would also be interested in any qualitative discussion of this phenomenon.

This post imported from StackExchange MathOverflow at 2017-11-03 22:23 (UTC), posted by SE-user Todd N
asked Oct 18, 2017 in Theoretical Physics by Todd N (35 points) [ no revision ]
retagged Nov 3, 2017

1 Answer

+ 3 like - 0 dislike

I can get you very close to explicit, while giving a qualitative discussion, though you may find what follows as cheating. For starters, I won't be writing down local coordinates. Anyway, Taubes gave a fairly explicit construction for how SW solutions relate to $J$-holomorphic curves in symplectic manifolds (and the signs attached to curves agree with the signs attached to SW solutions). Here, deforming the metric is equivalent to deforming $J$.

The relation between curves and SW solutions: Given a curve, the corresponding SW solution will be a pair $(A,\psi)$ of connection and spinor, where $A$ is flat away from the curve while its curvature builds up over the curve (the energy of the curve is related to the norm of the curvature), and $\psi$ decomposes into a pair of sections $(\alpha,\beta)$ for which $\alpha$ vanishes along the curve (roughly speaking).

So we can look for annihilations and bifurcations of $J$-holomorphic curves, which you can then build corresponding SW solutions. In one of Taubes' papers is an explicit example with holomorphic tori. But let's make this simpler by taking the explicit example $X=S^1\times T_\phi$, where $T_\phi$ is the mapping torus of a symplectomorphism $\phi:\mathbb{T}^2\to\mathbb{T}^2$ of a torus. Now isotoping $\phi$ ultimately corresponds to deforming the metric (and deforming $J$), and periodic orbits of $\phi$ correspond to SW solutions (and $J$-holomorphic tori). And you can write down a bifurcation in which an elliptic orbit cancels a positive hyperbolic orbit of the same period; the orbits have opposite "Lefschetz sign".

So if you trace back through all of that: By writing down an explicit dynamical system where orbits bifurcate, then you can write down explicit connections and spinors which almost solve the SW equations (Taubes' construction is ultimately a perturbative approach, he gets these configurations from a curve and then uses the Implicit Function Theorem to get a nearby honest SW solution).

This post imported from StackExchange MathOverflow at 2017-11-03 22:23 (UTC), posted by SE-user Chris Gerig
answered Oct 19, 2017 by Chris Gerig (590 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights