For a spin-c manifold M of four dimension, we can define the Einstein-Seiberg-Witten equations ESW(g,A,ψ), with g a metric, A a connection for a line bundle and ψ a spinor:
(1):DA(ψ)=0
with DA the Dirac operator of the spin-c structure.
(2):F(A)+(X,Y)=<Ric(X).Ric(Y).ψ,ψ>+g(Ric(X),Ric(Y))<ψ,ψ>
with F(A)+ the self-dual part of the curvature of A and Ric the Ricci curvature as an endomorphism of the tangent bundle.
If the manifold is Einstein ESW(g,A,ψ)=SW(A,ψ).
We have the gauge group:
G=C∞(S1).Diff(M)
with Diff(M) the group of diffeomorphisms of M acting on the ESW equations. Then the moduli space is:
M(M)=ESW(g,A,ψ)/G
Can we define good ESW invariants?