Instanton knot invariants with rational holonomy parameters and an application for torus knot groups
Hayato Imori
TL;DR
The work extends instanton knot invariants to general rational holonomy parameters, removing the traceless constraint in key extension results for torus knots. It builds a robust $ ext{S}$-complex framework with Frøyshov-type invariants for general holonomy, establishing a lifting/branched-cover correspondence and an absolute counting formula linking representation varieties to Tristram–Levine signatures. A central outcome is that for a knot $K$ concordant to a torus knot $T_{p,q}$, any $SU(2)$ representation of the torus knot group extends over the concordance complement, and the irreducible instanton knot homology of torus knots can be explicitly described for almost all rational holonomy parameters. The results provide evidence towards a gauge-theoretic formulation of slice-ribbon phenomena and offer new tools for analyzing knot concordance through fundamental-group representations and branched-cover techniques.
Abstract
There are several knot invariants in the literature that are defined using singular instantons. Such invariants provide strong tools to study the knot group and give topological applications. For instance, it gives powerful tools to study the topology of knots in terms of representations of fundamental groups. In particular, it is shown that any traceless representation of the torus knot group can be extended to any concordance from the torus knot to another knot. Daemi and Scaduto proposed a generalization that is related to a version of the Slice-Ribbon conjecture to torus knots. The results of this paper provide further evidence towards the positive answer to this question. The method is a generalization of Daemi-Scaduto's equivariant singular instanton Floer theory following Echeverria's earlier work. Moreover, the irreducible singular instanton homology of torus knots for all but finitely many rational holonomy parameters are determined as $\mathbb{Z}/4$-graded abelian groups.
