Let $\mathcal{G}$ denote a (stable) tangential structure such as $O$, $SO$, $Spin$, or $Pin^\pm$. Which bordism classes $[M,f]\in\Omega_*^\mathcal{G}(X)$ are represented by an $f:M\rightarrow X$ where the $\mathcal{G}$-manifold $M$ fibers over $S^1$?
-
$\begingroup$ Curious about the motivation for this question. $\endgroup$– Greg FriedmanCommented Sep 25, 2015 at 5:18
-
1$\begingroup$ The question is related to $(n+\epsilon)$-dimensional $\mathcal{G}$-TQFTs, which may be relevant to condensed matter physics. $\endgroup$– Alex TurzilloCommented Oct 29, 2015 at 22:01
2 Answers
A manifold $M$ fibres over $S^1$ with fibre $F$ if and only if it is isomorphic to the mapping torus $$T(h)=F \times [0,1]/\{(x,0) \sim (h(x),1)\vert x \in F\}$$ of an automorphism $h:F \to F$. Mapping tori are particular examples of open books. Walter Neumann's result for $G=SO$ extends to arbitrary $X$ with the signature replaced by the invariant of
Quinn, Frank, Open book decompositions, and the bordism of automorphisms. Topology 18 (1979), no. 1, 55-73
For odd-dimensional $M$ the invariant is 0. For even-dimensional $M$ the invariant is the asymmetric Witt class of the $Z[\pi_1(X)]$-module chain complex $C(\tilde{M})$ with Poincar\'e duality, where $\tilde{M}$ is the pullback to $M$ of the universal cover $\tilde{X}$ of $X$ - see Chapters 29,30 of
Ranicki, Andrew, High-dimensional knot theory, Springer Monographs in Mathematics, 1998.
The case $G=SO$ and $X=*$ is considered in
Neumann, Walter D., Fibering over the circle within a bordism class. Math. Ann. 192 1971 191–192.
where it is shown that a bordism class fibres over the circle if and only if it has signature zero.