Published online by Cambridge University Press: 14 December 2020
Gay and Kirby introduced trisections, which describe any closed, oriented, smooth 4-manifold X as a union of three 4-dimensional handlebodies. A trisection is encoded in a diagram, namely three collections of curves in a closed oriented surface $\Sigma $ , guiding the gluing of the handlebodies. Any morphism $\varphi $ from $\pi _1(X)$ to a finitely generated free abelian group induces a morphism on $\pi _1(\Sigma )$ . We express the twisted homology and Reidemeister torsion of $(X;\varphi )$ in terms of the first homology of $(\Sigma ;\varphi )$ and the three subspaces generated by the collections of curves. We also express the intersection form of $(X;\varphi )$ in terms of the intersection form of $(\Sigma ;\varphi )$ .
The first author was partially supported by the ANR Project LISA 17-CE40-0023-01. While working on the contents of this paper, the second author has been supported by a Postdoctoral Fellowship of the Japan Society for the Promotion of Science. She is grateful to Tomotada Ohtsuki and the Research Institute for Mathematical Sciences for their support. She is now supported by the Région Bourgogne Franche-Comté project ITIQ–3D. She thanks Gwénaël Massuyeau and the Institut de Mathématiques de Bourgogne for their support.