Jessica E. Banks
Abstract:We give a complete proof of results announced by Hirasawa and Sakuma describing explicitly the Kakimizu complex of a non-split, prime, special, alternating link.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the specific description of the Kakimizu complex (i.e., the structure of the set of minimal - genus Seifert surfaces) of non - split, prime, special alternating links. Specifically, the author aims to provide a complete proof to verify the results announced by Hirasawa and Sakuma, which describe the explicit form of the Kakimizu complex of such links.
### Background and Problem Definition
- **Kakimizu complex**: For a non - split link, the Kakimizu complex \( \text{MS}(L) \) is a simplicial complex, whose vertices are the ambient isotopy classes of the minimal - genus Seifert surfaces of the link \( L \). Different vertices \( R_0,\ldots,R_n \) form an \( n \)-simplex if and only if they can be realized as disjoint.
- **Special alternating link diagram**: A special alternating link diagram \( D \) means that each Seifert circle is innermost in \( S^2 \). This determines that the regions of the diagram \( D \) are divided into black regions (which form part of the Seifert surface given by the Seifert algorithm) and white regions.
### Main Contributions
- **Results of Hirasawa and Sakuma**: They gave a complete description of the Kakimizu complex \( \text{MS}(L) \) of a prime link \( L \), where \( L \) has a reduced special alternating diagram \( D \). Specifically, they proved that there is a natural isomorphism between \( \text{MS}(L) \) and a specific complex \( K(D) \).
- **Main theorems**:
- **Theorem 1.3**: There is a natural isomorphism between \( \text{MS}(L) \) and \( K(D) \). In particular, each minimal - genus Seifert surface of \( L \) can be obtained by applying the Seifert algorithm to some special alternating diagram.
- **Theorem 1.4**: If \( L \) is a prime link with a special alternating diagram \( D \), then \( \text{MS}(L) \) is homeomorphic to a disc, and its dimension can be calculated from \( D \).
### Methods and Proofs
- **Method overview**: The author describes the minimal - genus Seifert surfaces relative to the alternating diagram by defining a method, and gradually proves the results of Hirasawa and Sakuma through a series of lemmas and propositions.
- **Key steps**:
- Define and construct the \( K(D) \) complex.
- Prove the isomorphism relationship between \( K(D) \) and \( \text{MS}(L) \).
- Verify that each minimal - genus Seifert surface can be obtained from some special alternating diagram by the Seifert algorithm.
- Prove the contractibility of \( \text{MS}(L) \).
### Conclusion
This paper provides an in - depth understanding of the Kakimizu complex of non - split, prime, special alternating links by proving the results of Hirasawa and Sakuma in detail, verifies the explicit structure of the Kakimizu complex of these links, and proves its contractibility. This result not only verifies part of a challenging conjecture of Kakimizu, but also provides a theoretical basis for further research on the Seifert surface structure of links.