11
$\begingroup$

Suppose that $A$ is a finitely generated abelian group with even rank and without $2$-torsion. Does there exist a compact symplectic $6$-manifold $(M,\omega)$ such that $A$ Is isormorphic to $H^{3}(M,\mathbb{Z})$?

(The reason for excluding $2$-torsion is the fact that a (closed, orientable, connected) smooth $6$-manifold without torsion in $H^{3}$ has an almost complex structure hence a hope to be symplectic).

Edit 1: Someone pointed out to me a very simple solution to the original question. Let $2k = rank(A)$, by Gompf we may find a compact symplectic $4$-manifold N such that $\pi_{1}(N) = H_{1}(N,\mathbb{Z}) = \mathbb{Z}^{k} \oplus T$ where $T$ is the torsion sub-group of $A$. Then by the Kunneth short exact sequence $H^{3}(N \times S^2,\mathbb{Z}) \cong A$. This works for any finitely generated abelian group of even rank without the assumption on $2$-torsion.

We can even (by finding appropriate algebraic surface with $\pi_{1} = T$) stay in the category of smooth projective 3-folds.

Question Same question as above but we insist $\pi_{1}(M) = \{1\}$. What about in the category of (smooth) projective 3-folds?

$\endgroup$
  • 5
    $\begingroup$ If your goal is to find examples with "lots" of torsion in H^3, instead of a specific group, Reznikov showed the twistor bundle over a hyperbolic 4-manifold is symplectic. $\endgroup$ – David Treumann Jun 23 '17 at 18:46
  • $\begingroup$ Thanks for your comment! in what sense can we produce more torsion with these examples than say complex projective 3-folds? $\endgroup$ – Nick L Jun 23 '17 at 19:32
  • 1
    $\begingroup$ @NickL If $A$ is torsion free of rank $2g$ then $\Sigma_{g} \times \mathbb{C}P^2$ is the desired manifold. $\endgroup$ – Ali Taghavi Jun 24 '17 at 11:40
  • 1
    $\begingroup$ @Ali Taghavi No for any orientable $6$-manifold the intersection form on $H^{3}(M,\mathbb{R})$ is symplectic so $b_{3}$ is even $\endgroup$ – Nick L Jun 24 '17 at 13:05
  • 1
    $\begingroup$ @NickL -- I don't know about complex 3-folds, but Hongbin Sun recently proved the following very strong statement about the abelian groups arising as $H_1$ of a hyperbolic 3-manifold: For any closed hyperbolic 3-manifold $M$ and any fg abelian group $A$, there is a finite-sheeted cover $M_0\to M$ so that $A$ is a summand of $H_1(M_0)$. $\endgroup$ – HJRW Jun 24 '17 at 19:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.