6
$\begingroup$

Let $M$ be closed 3-manifold and $\alpha\in H^1(M;\mathbb Z_2)$ an arbitrary element. (In my case we know that $M$ is non-orientable and $\alpha^3=0$.) It is well known that there is a closed 2-submanifold $S\subset M$ so that $[S]=\alpha$. But there are a lot of such $S$.

Question: what can we say about these $S$ itself?

E.g., is there any known lower bounds of the genus of such $S$, in terms of some invariants of $M$?

Conjecture. If $\alpha^2=0$, then $S$ can be chosen so that the normal bundle $\mathcal{N}S$ is trivial. (The opposite implication is clear.)

I think I need some references (books/articles) with theorems of this sort.

$\endgroup$
2
  • 2
    $\begingroup$ Regarding lower bounds on the genus, in the orientable case with $\mathbb{Z}$ coefficients, this is provided by the Thurston norm of the cohomology class. en.wikipedia.org/wiki/Thurston_norm I'm not sure whether analogues of the Thurston norm have been defined or studied in the $\mathbb{Z}/2$ case. $\endgroup$
    – HJRW
    Sep 13, 2022 at 10:05
  • $\begingroup$ @HJRW nice ref, thank you! $\endgroup$ Sep 13, 2022 at 10:47

2 Answers 2

7
$\begingroup$

Some things are known in the non-orientable case (in orientable 3-manifolds). Bredon and Wood work out the genus in lens spaces $L(2n,q)$ (and some other manifolds) in their paper Non-orientable surfaces in orientable 3-manifolds. Invent. Math. 7 (1969), 83–110. There is related work using Heegaard Floer theory in Ni-Wu Correction terms, ℤ/2-Thurston norm, and triangulations. (English summary) Topology Appl. 194 (2015), 409–426.

If you have access to Mathscinet, you can look at papers that cite the Bredon-Wood paper; you'll find several that are relevant to your question.

$\endgroup$
5
$\begingroup$

$L(4,1)$ is a counterexample to your conjecture, taking $\alpha$ to be the nontrivial element of $H^1(L;\Bbb Z/2)$. Notice that this element squares to zero (the square is the same as the Bockstein, and this element lifts to $\Bbb Z/4$, so its Bockstein is zero).

I claim that no oriented surface represents this homology class. If it did, then $PD(\alpha) \in H_2(L;\Bbb Z/2)$ would lift to an integral class, but this is false as $H_2(L;\Bbb Z) = 0$.

An embedded surface $S$ representing this homology class must be non-orientable. Because $L(4,1)$ is oriented, this implies the normal bundle $NS$ is nontrivial, isomorphic to the orientation line bundle of $TS$.

$\endgroup$
1
  • 1
    $\begingroup$ I guess this same argument works for any $Y$ so that $H_1(Y;\Bbb Z)$ contains no $\Bbb Z/2$ summands, but contains some $\Bbb Z/2^k$ summand for $k>1$. In particular, connected sum of lens spaces $L(p_i,q_i)$ with $p_i > 2$ and at least one of the $p_i$ is even. $\endgroup$
    – mme
    Sep 14, 2022 at 10:52

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.