Abstract:Let $F$ be a compact orientable surface with nonempty boundary other than a disk. Let $L$ be a link in $F \times I$ with a connected weakly prime cellular alternating projection to $F$. We provide simple conditions that determine exactly when $(F \times I) \setminus N(L)$ is hyperbolic. We also consider suitable embeddings of $F \times I$ in an ambient manifold $Y$ with boundary and provide conditions on links $L \subset F \times I$ which guarantee tg-hyperbolicity of $Y \setminus N(L)$. These results provide many examples of hyperbolic links in handlebodies and fiber bundles. It also provides many examples of staked links that are hyperbolic.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine when an alternating link on a thickened surface with boundaries is hyperbolic. Specifically, the paper focuses on whether the complement space \(M=(F\times I)\setminus N(L)\) is hyperbolic when the link \(L\) has a connected, weakly - prime cellular alternating projection in the thickened space \(F\times I\) of a compact, orientable surface \(F\) with non - empty boundary and not a disc. Here, \(N(L)\) represents a closed regular neighborhood of \(L\).
The paper precisely determines the conditions for \(M\) to be hyperbolic by providing simple conditions, and further considers the case of embedding \(F\times I\) into an ambient manifold \(Y\) with boundary, providing conditions for the link \(L\subset F\times I\) that guarantee the hyperbolicity of \(Y\setminus N(L)\). These results not only provide many examples of hyperbolic links in handlebodies and other manifolds, but also provide many examples of stacked links as hyperbolic links.
The main achievements include:
1. **Theorem 1.6**: Let \(F\) be a compact, orientable surface with non - empty boundary and not a disc, and let \(L\subset F\times I\) be a link with a connected, reduced alternating projection diagram \(\pi(L)\subset F\times\{1/2\}\) having at least one crossing. Let \(M =(F\times I)\setminus N(L)\). Then \(M\) is tg - hyperbolic if and only if the following four conditions are all satisfied:
- (i) \(\pi(L)\) is weakly - prime on \(F\times\{1/2\}\);
- (ii) The interior of each complementary region is either an open disc or an open annulus;
- (iii) If two regions \(R_{1}\) and \(R_{2}\) share an edge, then at least one of them is a disc;
- (iv) There does not exist a simple closed curve \(\alpha\) on \(F\times\{1/2\}\) that intersects \(\pi(L)\) exactly in a non - empty set of crossings such that for each such crossing, \(\alpha\) bisects the crossing and the two opposite complementary regions that do not intersect \(\alpha\) at that crossing are both annuli.
2. **Theorem 1.8**: Let \(Y\) be an orientable, irreducible, \(\partial\)-irreducible 3 - manifold with non - empty boundary, and let \(F\) be a properly embedded, orientable, irreducible and \(\partial\)-irreducible connected surface in \(Y\). Assume that all essential tori and annuli in \(Y\) intersect \(F\). Let \(L\) be a link in a regular neighborhood \(N = F\times I\) of \(F\) that has a connected, reduced alternating projection \(\pi(L)\) on \(F\) and satisfies the following conditions:
- (i) \(\pi(L)\) is weakly - prime on \(F\);
- (ii) The interior of each complementary region is either an open disc or an open annulus;
Then \(Y\setminus N(L)\) is tg - hyperbolic.
These theorems provide a theoretical basis for studying the hyperbolic properties of alternating links on thickened surfaces with boundaries, and also make it possible to calculate the hyperbolic volumes of these links.