Invariants of rational links represented by reduced alternating diagrams

Yuanan Diao; Claus Ernst; Gabor Hetyei

Home/Archive/arXiv

arXiv · 1908.09458

Invariants of rational links represented by reduced alternating diagrams

Yuanan Diao·Claus Ernst·Gabor Hetyei

View original source ↗Read source document ↗Export metadata ↓

Abstract

A rational link may be represented by any of the (infinitely) many link diagrams corresponding to various continued fraction expansions of the same rational number. The continued fraction expansion of the rational number in which all signs are the same is called a {\em nonalternating form} and the diagram corresponding to it is a reduced alternating link diagram, which is minimum in terms of the number of crossings in the diagram. Famous formulas exist in the literature for the braid index of a rational link by Murasugi and for its HOMFLY polynomial by Lickorish and Millet, but these rely on a special continued fraction expansion of the rational number in which all partial denominators are even (called {\em all-even form}). In this paper we present an algorithmic way to transform a continued fraction given in nonalternating form into the all-even form. Using this method we derive formulas for the braid index and the HOMFLY polynomial of a rational link in terms of its reduced alternating form, or equivalently the nonalternating form of the corresponding rational number.

Explore related subjects

math.GN math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Yuanan Diao, Claus Ernst, Gabor Hetyei. 2019-08-26. Invariants of rational links represented by reduced alternating diagrams. https://arxiv.org/abs/1908.09458

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The circle as a topological fractal

We prove that no family of two continuous self-maps witnesses that the circle is a topological fractal, answering a question of Karasová and the present author. Since three maps are known to suffice, this bound is optimal. In contrast, for every $\varepsilon>0$ there are two continuous self-maps of the circle, depending on $\varepsilon$, whose images cover the circle and an integer $N$ such that every composition of $N$ of them has image of diameter less than $\varepsilon$. Thus two maps suffice at any prescribed scale, but no fixed pair works at all scales.

math.GN↗

arXiv2026

Finite-Point Metrizable Coarsenings: Compatible Gauges, Simplicial Metrics, and Hausdorff Lower Bounds

Let $(X,τ)$ be metrizable and let $F=\{a_1,\ldots,a_k\}\subseteq X$, where $2\le k<\infty$. We represent all metrizable topologies $σ\subseteqτ$ agreeing with $τ$ on $X\setminus F$ by compatible systems of continuous gauges $s_i:X\to[0,1]$ with $s_i^{-1}(0)=\{a_i\}$. The condition $\inf_X\max\{s_i,s_j\}>0$ for $i\ne j$ is equivalent to both Hausdorffness and metrizability of the prescribed gauge topology. A normalized product map into the standard simplex gives an explicit metric; its triangle inequality follows from a simplex slack inequality. This metric is complete whenever the auxiliary bounded compatible metric is complete. For two compatible systems, their coordinatewise minimum describes the intersection topology. It is compatible exactly when the two coarsenings have a common Hausdorff lower bound; in that case the intersection is metrizable and is their meet. Otherwise every common lower topology is non-Hausdorff. A closed-discrete construction produces such an obstructed pair for every noncompact metrizable space and every finite exceptional set with at least two points. Consequently, for these exceptional sets, the family is downward directed, or is a lattice, if and only if $(X,τ)$ is compact, in which case it consists only of $τ$.

math.GN↗

arXiv2026

Journey into special $T_1$-spaces

In this survey, we review certain types of special $T_{1}$ spaces and their associated fixed-point theorems. Kupka introduced the notion of a feeble topological contraction, which naturally generalizes Lipschitz contractions defined on metric spaces. Specifically, Kupka established a fixed-point theorem for feeble topological contractions possessing a closed graph within the product of arbitrary $T_{0}$ spaces. Furthermore, the $T_{1}$ separation axiom is shown to guaranty the uniqueness of such fixed points. Finally, we discuss peripheral Hausdorff and locally Hausdorff spaces within the context of these fixed-point results.

math.GN↗