Trisections of 3-manifold bundles over \(S^1\) (Q2059696)

The notion of trisection of a smooth 4-manifold \(X\) was introduced by \textit{D. T. Gay} and \textit{R. Kirby} [Geom. Topol. 20, No. 6, 3097--3132 (2016; Zbl 1372.57033)], as a decomposition \(X = X_1 \cup X_2 \cup X_3\) such that each \(X_i \cong \natural^{k_i}\, S^1 \times B^3\) and \(X_i \cap X_j \cong \natural^g\, S^1 \times B^2\), for every \(i \neq j\), and hence \(X_1 \cap X_2 \cap X_3\) is a closed orientable surface of genus \(g\). Such a trisection is said to be of type \((g,k_1,k_2,k_3)\), and in particular of type \((g,k)\) when \(k_1=k_2=k_3=k\). In the same paper, any \(M\)-bundle over \(S^1\) whose monodromy \(\phi:M \to M\) preserves a genus \(g\) Heegaard decomposition of the 3-manifold \(M\) was shown to admit a trisection of type \((6g+1,2g+1)\). In the paper under review, the author improves and extends that result, by showing that any \(M\)-bundle over \(S^1\) whose monodromy \(\phi\) either preserves or flips a genus \(g\) Heegaard decomposition of \(M\) admits a trisection of type \((3g+1,2g+1)\), which is known to be sharp in general. The proof is constructive, in that it leads to an algorithm for deriving a diagram of the trisection from a diagram of the Heegaard decomposition and a description of the action of \(\phi\) on it.