## Why Donaldson’s Four-Six Conjecture?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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.

-

2
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 at 22:37
Oops. It's because I forgot to write "$4-$manifolds" :-) – Chris Gerig Nov 15 at 0:42
But my typo then begs the question, why just 4-manifolds and not $2n$-manifolds? – Chris Gerig Nov 15 at 1:42

1
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 at 9:25

1
@Chris: no it doesn't. begthequestion.info – HW Nov 15 at 12:52

## 2 Answers

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.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

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.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9500964283943176, "perplexity_flag": "middle"}