Slope norm 与计算 crosscap number 的算法

Computing the crosscap number of a knot using integer programming and normal surfaces

The crosscap number of a knot is an invariant describing the non-orientable surface of smallest genus that the knot bounds. Unlike knot genus (its orientable counterpart), crosscap numbers are difficult to compute and no general algorithm is known. We present three methods for computing crosscap number that offer varying trade-offs between precision and speed: (i) an algorithm based on Hilbert basis enumeration and (ii) an algorithm based on exact integer programming, both of which either compute the solution precisely or reduce it to two possible values, and (iii) a fast but limited precision…

Geometrically incompressible non-orientable closed surfaces in lens spaces

We consider non-orientable closed surfaces of minimum crosscap number in the $(p,q)$-lens space $L(p,q) \cong V_1 \cup_{\partial} V_2$, where $V_1$ and $V_2$ are solid tori. Bredon and Wood gave a formula for calculating the minimum crosscap number. Rubinstein showed that $L(p,q)$ with $p$ even has only one isotopy class of such surfaces, and it is represented by a surface in a standard form, which is constructed from a meridian disk in $V_1$ by performing a finite number of band sum operations in $V_1$ and capping off the resulting boundary circle by a meridian disk of $V_2$. We show that the…

欧几里得长度与斜率的Culler-Shalen范数

Euclidean lengths and the Culler-Shalen norms of slopes

研究例外Dehn填充中两个斜率函数（horotorus上的欧几里得长度和Culler-Shalen范数）的关系，建立两个不等式，并给出边界斜率直径的界。

Exceptional surgery and boundary slopes

Let X be a norm curve in the SL(2,C)-character variety of a knot exterior M. Let t = || b || / || a || be the ratio of the Culler-Shalen norms of two distinct non-zero classes a, b in H_1(\partial M, Z). We demonstrate that either X has exactly two associated strict boundary slopes \pm t, or else there are strict boundary slopes r_1 and r_2 with |r_1| > t and |r_2| < t. As a consequence, we show that there are strict boundary slopes near cyclic, finite, and Seifert slopes. We also prove that the diameter of the set of strict boundary slopes can be bounded below using the Culler-Shalen norm of …

Efficient triangulations and boundary slopes

For a compact, irreducible, $\partial$-irreducible, an-annular bounded 3-manifold $M\ne\mathbb{B}^3$, then any triangulation $\mathcal{T}$ of $M$ can be modified to an ideal triangulation $\mathcal{T}^*$ of $\stackrel{\circ}{M}$. We use the inverse relationship of crushing a triangulation along a normal surface and that of inflating an ideal triangulation to introduce and study boundary-efficient triangulations and end-efficient ideal triangulations. We prove that the topological conditions necessary for a compact 3-manifold $M$ admitting an annular-efficient triangulation are sufficient to mo…

Enumerating fundamental normal surfaces: Algorithms, experiments and invariants

Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is essential for understanding the limits of practicality, as well as for gauging the relative merits of competing algorithms. In this paper we focus on normal surface theory, a key tool that appears throughout low-dimensional topology. Stepping beyond the well-studied problem of computing vertex normal surfaces (essentially extreme rays of a polyhedral cone), we …