# Why Donaldson's Four-Six Conjecture?

Simon Donaldson apparently made the following conjecture: Two closed symplectic 4-manifolds $(X_1,\omega_1)$ and $(X_2,\omega_2)$ are diffeomorphic if and only if $(X_1\times S^2,\omega_1\oplus\omega)$ is deformation-equivalent to $(X_2\times S^2,\omega_2\oplus\omega)$. Here $\omega$ is a symplectic structure on $S^2$, and a deformation-equivalence is a diffeomorphism $\phi:X_1\times S^2\to X_2\times S^2$ such that $\omega_1\oplus\omega$ and $\phi^*(\omega_2\oplus\omega)$ can be joined by a path of symplectic forms.

However, where I read this did not contain any background or the original source. Where did Donaldson make this claim? And why did he make this claim? What is the motivation / are there good examples where this holds? Ivan Smith showed (through examples) that this conjecture fails when we replace $S^2$ by $\mathbb{T}^2$, so the statement itself seems pretty rigid.

-
And... why is it called "four-six"? (ok, if $X_1$, $X_2$ are symplectic $4$-folds, then $X_i\times S^2$ is a $6$-fold, but the theorem as in the question doesn't seem to impose any dimension restriction on $X_i$) –  Qfwfq Nov 14 '12 at 22:37
Oops. It's because I forgot to write "$4-$manifolds" :-) –  Chris Gerig Nov 15 '12 at 0:42
But my typo then begs the question, why just 4-manifolds and not $2n$-manifolds? –  Chris Gerig Nov 15 '12 at 1:42
I think you should definitely edit it to say 4-manifolds: Donaldson never made the conjecture for 2n-manifolds, which is wrong (e.g. there exist diffeomorphic, non-symplectomorphic six manifolds which give eight manifolds which are distinguished by Gromov-Witten invariants). This is because it's much easier for high-dimensional manifolds to be diffeomorphic than for four-manifolds. –  Jonny Evans Nov 15 '12 at 9:25
@Chris: no it doesn't. begthequestion.info –  HJRW Nov 15 '12 at 12:52

I think that YangMills is probably right that Donaldson never wrote the conjecture down. But there are some interesting circles of ideas surrounding the conjecture which deserve mention which, again he probably never wrote down, but I think motivated some of his work on symplectic manifolds: namely, the idea that one could define invariants of symplectic manifolds inductively by dimension. For instance, take a 4-dimensional symplectic (Donaldson) hypersurface in a symplectic 6-manifold. There is a sense (only an asymptotic sense) in which you can do this uniquely. Is that enough to use smooth invariants of the 4-manifold to define symplectic invariants of the six-manifold? No-one has ever succeeded, due to the complicated nature of the asymptotic uniqueness.

The question about 4/6-manifolds which Chris Gerig is asking about is probably motivated by a more concrete phenomenon: smooth (i.e. Seiberg-Witten) invariants of symplectic 4-manifolds see the same information as symplectic (i.e. Gromov-Witten) invariants; after crossing with a sphere, homeomorphic but non-diffeomorphic symplectic 4-manifolds become diffeomorphic 6-manifolds, however symplectically you can still detect their Gromov-Witten invariants by counting curves in the 6-manifold (see the early papers of Ruan). The classic example is to compare the Barlow surface (a surface of general type) and a (homeomorphic) blow-up of the projective plane. One is minimal, the other has many -1-curves and you can still see these after crossing with a sphere.

This also explains why 4 and 6 are the relevant dimensions: smooth geometry in dimension 4 and symplectic geometry in dimension 6 are both "hard" in the Gromov sense. There are elliptic PDEs whose moduli spaces can be used to distinguish exotic pairs. By contrast there's no hard smooth invariants for 6-manifolds, so the question doesn't generalise.

I guess the conjecture Chris mentions is the most optimistic extrapolation of this observation, designed to encourage people to think about the circle of ideas.

-

About your first question, of where did Donaldson make this claim, you can look at Smith's paper here. On page 3 where he states this conjecture he says "According to ([5]; p.437) Simon Donaldson has formulated..."

His reference [5] is the book of McDuff-Salamon, "Introduction to symplectic topology" (2nd edition). There the authors say "Indeed, inspired by this fact and his results on the existence of symplectic submanifolds, Donaldson made the following conjecture".

Judging from these sources, it seems quite likely that Donaldson did not put this conjecture in writing, and that it was indeed publicized by the book of McDuff-Salamon.

And about motivation and examples, these two sources provide quite a lot of information.

-