Abstract:We extend the flyping theorem to alternating links in thickened surfaces and alternating virtual links. The proof of the former result uses work of Boden--Karimi to adapt the author's geometric proof of Tait's 1898 flyping conjecture (first proved in 1993 by Menasco--Thistlethwaite), while the proof of the latter involves a diagrammatic correspondence recently introduced by the author in a related paper. In the process, we also extend a classical result of Gordon--Litherland, establishing an isomorphism between their pairing on a spanning surface and the intersection form on a 4-manifold constructed as a double-branched cover using that surface.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to extend the classical flyping theorem to alternating links in thickened surfaces and alternating virtual links. Specifically, the main contributions of the paper include:
1. **Extension of the flyping theorem**:
- By using the work of Boden and Karimi, the author applies the geometric proof method to the case of alternating links in thickened surfaces and proves the flyping transformation relationships between these links.
- It is proved that the locally prime, honeycomb - like alternating link diagrams in thickened surfaces can be transformed into each other through flyping transformations.
2. **Extension of the Gordon - Litherland pairing**:
- An isomorphism is established, which relates the Gordon - Litherland pairing to the intersection form on a 4 - dimensional manifold constructed by double - branched covering.
3. **The flyping theorem for virtual links**:
- By introducing a new diagrammatic correspondence, the flyping theorem for virtual links is proved, that is, any two locally prime, alternating virtual link diagrams can be transformed into each other through non - classical R - moves and (classical) flyping transformations.
### Specific problems and solutions
- **Problem 1: Flyping transformation of alternating links in thickened surfaces**
- **Solution**: Through the geometric proof method, combined with the work of Boden and Karimi, the flyping theorem for alternating links in thickened surfaces is proved. See Theorem 3.5 for specific results:
\[
\text{Theorem 3.5}: \text{Let } D\subset\Sigma \text{ be a locally prime, honeycomb - like alternating diagram of a link } L \text{ in the thickened surface } \Sigma\times I. \text{ Then any other such diagram of } L \text{ can be related to } D \text{ by flyping transformations on } \Sigma.
\]
- **Problem 2: Crossing number and writhe of alternating links in thickened surfaces**
- **Solution**: It is proved that all locally prime, honeycomb - like alternating diagrams have the same crossing number and the same writhe. See Theorems 3.3 and 3.6 for specific results:
\[
\text{Theorem 3.3}: \text{If } D, D'\subset\Sigma \text{ are alternating diagrams of a link } L\subset\Sigma\times I \text{ and neither contains a removable nugatory crossing, then } D \text{ and } D' \text{ have the same crossing number.}
\]
\[
\text{Theorem 3.6}: \text{All locally prime, honeycomb - like alternating diagrams of a given link } L\subset\Sigma\times I \text{ have the same writhe.}
\]
- **Problem 3: Flyping transformation of virtual links**
- **Solution**: By establishing a new diagrammatic correspondence, the flyping theorem for virtual links is proved. See Theorem 4.11 for specific results:
\[
\text{Theorem 4.11}: \text{Any two locally prime, alternating virtual diagrams of a given virtual link } K \text{ can be related by non - classical R - moves and (classical) flyping transformations.}
\]
### Summary
By extending the classical flyping theorem to broader types of links (alternating links in thickened surfaces and alternating virtual links), the paper provides a series of important geometric and diagrammatic proof methods, further enriching the research on link theory. These results not only deepen our understanding of link structures but also provide new tools and perspectives for future research.