Seiberg Witten and Gromov invariants for symplectic \(4\)-manifolds (Q2703831)

The book under review is a collection of four of the author's articles containing the complete proof of his remarkable result relating the Seiberg-Witten and Gromov-Witten invariants of symplectic 4-manifolds. These four papers first appeared in print as follows: NEWLINENEWLINENEWLINE[1] SW \(\Rightarrow\) Gr: from the Seiberg-Witten equations to pseudo-holomorphic curves, J. Am. Math. Soc. 9, No. 3, 845-918 (1996; Zbl 0867.53025); NEWLINENEWLINENEWLINE[2] Counting pseudo-holomorphic submanifolds in dimension 4, J. Differ. Geom. 44, No. 4, 818-893 (1996; Zbl 0883.57020); NEWLINENEWLINENEWLINE[3] Gr \(\Rightarrow\) SW: from pseudo-holomorphic curves to Seiberg-Witten solutions, J. Differ. Geom. 51, No. 2, 203-334 (1999); NEWLINENEWLINENEWLINE[4] GR = SW: counting curves and connections, J. Differ. Geom. 52, No. 3, 453-609 (1999; Zbl 1040.53096). NEWLINENEWLINENEWLINESeiberg-Witten invariants of a compact, oriented, 4-dimensional manifold \(X\) constitute a map from the set Spin of equivalence classes of \(\text{Spin}^C\) structures on \(X\) to the integers. They are defined when the number \(b_2^+=(b_2+ \text{signature})/2\) is greater than 1 by making a suitable count of solutions to a certain nonlinear system of differential equations on the manifold, known as the Seiberg-Witten equations. (There is a more complicated structure in the case when \(b_2^+=1\).) NEWLINENEWLINENEWLINEIn the case when \(X\) is a symplectic manifold, the set Spin is identified with the second integral cohomology of \(X\), so Seiberg-Witten invariants define a map \(\text{SW}:H^2(X;\mathbb Z) \to \mathbb Z\). NEWLINENEWLINENEWLINEOn the other hand, there is another map \(\text{Gr}: H^2(X;\mathbb Z) \to \mathbb Z\) (called the Gromov invariant) which assigns an integer to each 2-dimensional cohomology class of a compact symplectic 4-manifold. Rougly speaking, the invariant counts, with suitable weights, compact, pseudo-holomorphic submanifolds whose fundamental class is Poincaré dual to the cohomology class in question. NEWLINENEWLINENEWLINEThe fundamental theorem, proved in the four papers constituting the book, states that Gr = SW (i.e. the Gromov invariants are equal to the Seiberg-Witten invariants) for any compact, symplectic 4-manifold \(X\) with \(b_+^2>1\). NEWLINENEWLINENEWLINEAlthough the book is just four separate papers brought together under the same volume, it can be considered as an excellent survey monograph on the subject, appropriate for both experts and beginners.