[Math] How Many 4-Manifolds are Symplectic

4-manifoldsdg.differential-geometrysg.symplectic-geometrysoft-question

As an honest question (probably with some subjectivity), how many smooth oriented 4-manifolds are actually symplectic? Can I say half (perhaps under some mild assumptions)? I ask this question because every compact smooth oriented 4-manifold with $b^2_+\ge 1$ admits a near-symplectic form, i.e. a closed 2-form which is symplectic away from a finite set of circles.

Some results that might push the percentage one way or the other:
1) Gompf has shown that any finitely presented group can be realized as the fundamental group
of a compact symplectic 4-manifold.
2) The Seiberg-Witten invariants are nonzero for symplectic 4-manifolds, and in a sense show that they are the "irreducible" basic forms of smooth 4-manifolds.
3) Every compact symplectic 4-manifold is a branched cover of $\mathbb{C}P^2$.

The responses/comments show that we can ask this question (on when can I expect my 4-manifold to be symplectic) in many different ways, each with different expectations. So I am interested in some further thoughts on Tim's and Dmitri's questions.

Best Answer

I have to apologize, in fact the answer to the second question is still unknown. Namely, up to now all known symplectic manifolds of dimension 4 that have negative Euler characteristic are blow ups of ruled surfaces. However it is not known if there are no other examples. I have corrected the answer accordingly.

It is difficult to give a precise answer to this question, but personally I am pretty sure that a random four dimensional manifold has no reason at all to have a symplectic structure. What is true for sure is that symplectic manifolds are clustered among all four-manifolds, namely if you look in some places then probability to find a symplectic manifold equals zero. Let me give one example. Let us consider the following two questions:

Question 1. Is the probability for a 4-manifold to have negative Euler characteristic $>0$?

Question 2. Is the probability for a symplectic $4$-manifold to have negative Euler characteristic $>0$?

I am sure that one can give a relatively precise answer to Question 1 and my common sense tells me that since the probability for a number to be negative equals $\frac{1}{2}$, the answer to the question is morally yes.

What is very surprising is that the answer to the second question is probably NO. In 1995 Gompf asked if all such manifolds are blow ups of $S^2 \times \Sigma_g$ in at most $4g-5$ points where $\Sigma_g$ is a surface of genus $g$. This is still is an open question.

Added. It seems to me that it would not be unfair to say that the majority of constructions of compact symplectic 4-manifolds come for the moment from algebro-geometric analogues. In particular this is the case for Gompf sum, which is the most used construction. So in some sense the cloud of symplectic manifolds in dimension four that we see now is centred around algebraic surfaces. In particular this fact about symplectic 4-manifolds with negative Euler characteristic is inherited from the theory of algebraic surfaces (though one needs SW theory to prove it for symplectic manifolds). I think no one doubts that algebraic surfaces are not distributed among $4$-manifolds evenly.

I want to add that there is a conjecture saying that four manifolds of constant sectional curvature $-1$ are never symplectic. It is not clear (for me) how well this conjecture is justified but still there are no ideas of how to construct symplectic structures on these manifolds...