Genus-two trisections are standard (Q2356951)

A \((g,k)\)-trisection of a closed, orientable, smooth \(4\)-manifold \(X\) is a decomposition \(X = X_1 \cup X_2 \cup X_3\), where each \(X_i\) is diffeomorphic to the boundary connected sum \(\natural^k (S^1 \times D^3)\), each \(Y_{i,j} = X_i \cap X_j\) is a \(3\)-dimensional handlebody of genus \(g\), and \(\Sigma = X_1 \cap X_2 \cap X_3\) is a closed orientable surface of genus \(g\). \textit{D. T. Gay} and \textit{R. Kirby} [Geom. Topol. 20, No. 6, 3097--3132 (2016; Zbl 1372.57033)] introduced trisections and proved that any closed, orientable, smooth \(4\)-manifold admits a trisection. In this paper, it is shown that if \(X\) admits a \((2,k)\)-trisection, then \(X\) is either \(S^2 \times S^2\) or a connected sum of \(S^1 \times S^3\), \(\mathbb{CP}^2\) and \(\overline{\mathbb{CP}}^2\) with two summands. In the proof of the above result, especially for the classification of \((2,0)\)-trisections, a result by \textit{T. Homma} et al. [Osaka J. Math. 17, 625--648 (1980; Zbl 0454.57002)] on genus-two Heegaard diagrams of \(S^3\) is used.