Symplectic structures on $M \times S^{2n}$

Question

For $n > 1$, $2n$-dimensional sphere $S^{2n}$ does not admit symplectic structures. Then how about the product with a manifold? Are there any results about the symplectic structures on $M \times S^{2n}$?

Answer 1

From the Künneth theorem you can check that there is no class $\omega\in H^2(M^{2d}\times S^{2n};\mathbb{R})$ such that $\omega^{d+n}\neq 0$. (This is an excellent thing for you to work out for yourself.) Since a symplectic form is closed and nondegenerate, this shows that no symplectic structure on $M\times S^{2n}$ can exist for $n>1$ if $M$ is compact.

(Thanks to Eric and David for pointing out that I was assuming $M$ to be compact; this is necessary so that nondegeneracy implies that the top power of $\omega$ represents a nonzero multiple of the fundamental class. In his answer David Speyer gives a nice counterexample if $M$ is not required to be compact.)

Answer 2

Tom Church's answer is correct for $M$ compact. Here is a counter-example for $M$ not compact: The cotangent bundle $T^* S$ has the tautological symplectic structure: At a point of $T^* S$ lying over $x \in S$, the tangent space to $T^* S$ is naturally isomorphic to $T_x S \oplus (T_x S)^*$. Take the natural pairing between the first facts and the second factor and skew symmetrize it to get a symplectic structure on $T^* S$.

Now, look at $T^* S \times \mathbb{R}^2$ with the standard symplectic structure on $\mathbb{R}^2$. So this is a symplectic manifold.

But the cotangent bundle to $S$ is stably trivial: $T^* S \times \mathbb{R} \cong S \times \mathbb{R}^{2n+1}$. So $T^* S \times \mathbb{R}^2 \cong S \times \mathbb{R}^{2n+2}$ and there is a symplectic structure on $S \times \mathbb{R}^{2n+2}$.

Answer 3

If $M$ is symplectic, noncompact and connected, then there is a symplectic structure on $M \times S^{2n}$, for each $n$. The proof can be given with the h-principle for symplectic structures. It says the following: let $M$ be a connected noncompact (''open'' in the sequel) manifold, $a \in H^2 (M; \mathbb{R})$ and $J$ an almost complex structure on $M$. Then there exists a symplectic structure $\omega$ on $M$, such that the cohomology class of $\omega$ is $a$ and such that there is a compatible almost complex structure $I$ with $I$ homotopic to $J$. Therefore, any open almost complex manifold has a symplectic structure.

Now I claim: $M$ open and almost complex, then $M \times S^{2n}$ is almost complex (and of course open).

Step 1: $M$ has a vector field without zeroes. To see this, take a vector field $X$ with isolated zeroes and let $p$ be a zero. Choose an ''escape path'', i.e. an embedding $u:[0,\infty] \to M$ with $u$ proper and $u(1)=p$. Moreover, $u$ should avoid the other zeroes. Pick a tubular neighborhood of $u$. The result is that you extend $u$ to a proper embedding $U=D^{n-1} \times [0,\infty) \to M$. Let $\phi_t:U \to U$, $t \in [0,1]$ be an isotopy of embeddings $\phi_1=id$ and $\phi_0([0,\infty)) \subset [0,1/2]$. This istopy should be constant near $t=0,1$ and near $x=0$. Then define $\psi:U \to U$ by the formula $\psi(v,x):= (v, \phi_{|v|^2} (x))$. This is an embedding $U \to U$ whose image does not contain $0$. Extend to a self-diffeomorphism $\psi$ of $M$. Then $\psi^* X$ is a vector field without the zero $p$.

This decomposes the tangent bundle into $TM = \mathbb{R} \oplus V$.

EDIT: A vector field without zeroes can also be found using obstruction theory: if $M$ is open of dimension $m$, then $M$ is homotopy equivalent to an $m-1$-dimensional CW complex.

Step 2: Use the trivial factor to show that $T (M \times S^{2n}) \cong TM \times \mathbb{R}^{2n}$. Therefore, the tangent bundle of $M \times S^{2n}$ has a complex structure and $M \times S^{2n}$ is an almost complex manifold.