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
    Commented Sep 13, 2022 at 10:05
  • $\begingroup$ @HJRW nice ref, thank you! $\endgroup$ Commented 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
    Commented Sep 14, 2022 at 10:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .