Heegaard surfaces for certain graphs in compressionbodies (Q365137)

In [\textit{S. Taylor} and \textit{M. Tomova}, ``C-essential surfaces in (3-manifold, graph) pairs'', \url{arXiv: 0910.3251}] the authors extended Hayashi and Shimokawa's definition of thin position for a link in a 3-manifold [\textit{C. Hayashi} and \textit{K. Shimokawa}, Pac. J. Math. 197, No. 2, 301--324 (2001; Zbl 1050.57016)] to graphs in a 3-manifold. Let \(M\) be a compact connected orientable 3-manifold and \(T\subset M\) a properly embedded finite graph and let \(H\) be a Heegaard surface for the pair \((M,T)\). In the given paper, the authors classify Heegard surfaces for pairs \((M,T)\) in the case when \(M\) is a compressionbody such that \(\partial _+M\setminus T\) is parallel to the frontier of \(T\cup \partial _-M\) in \(M\). The main result of the paper is Theorem 3.1 which says that if \(H\) is such a surface for \((M,T)\) then one of the following occurs: (i) \(H\) is stabilized, boundary stabilized, or perturbed; (ii) the graph \(T\) contains a removable path; (iii) \(M\) is a trivial compressionbody and \(H\setminus T\) is properly isotopic in \(M\setminus T\) to \(\partial _+M\setminus T\). The proof of Theorem 3.1 relies on previous classification results and techniques developed in Hayashi and Shimokawa [loc. cit.].