17
$\begingroup$

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.

[Edit] Motivation and examples come from the 1994 paper "Symplectic Topology on Algebraic 3-Folds" of Ruan and the 1997 followup "Higher Genus Symplectic Invariants..." of Ruan-Tian, which states and proves the conjecture for simply-connected elliptic surfaces!

And now we're starting to get counterexamples!

$\endgroup$
5
  • 2
    $\begingroup$ 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$) $\endgroup$
    – Qfwfq
    Nov 14, 2012 at 22:37
  • $\begingroup$ Oops. It's because I forgot to write "$4-$manifolds" :-) $\endgroup$ Nov 15, 2012 at 0:42
  • $\begingroup$ But my typo then begs the question, why just 4-manifolds and not $2n$-manifolds? $\endgroup$ Nov 15, 2012 at 1:42
  • 4
    $\begingroup$ 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. $\endgroup$ Nov 15, 2012 at 9:25
  • 1
    $\begingroup$ @Chris: no it doesn't. begthequestion.info $\endgroup$
    – HJRW
    Nov 15, 2012 at 12:52

2 Answers 2

14
$\begingroup$

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.

$\endgroup$
7
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.