arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.13260

Recognizing oriented knots from finite quotients with one marked element

Indranil Biswas·Shrinit Singh
View original source ↗Read source document ↗Export metadata ↓

Abstract

For an oriented tame knot $K$, let $G_K$ be its group, with positive meridian $μ_K$ and preferred longitude $λ_K$. We prove that the profinite completion $\widehat{G_K}$, marked by the conjugacy class of $μ_Kλ_K$, determines $K$ up to oriented equivalence. In fact, every isomorphism preserving this mark preserves the meridian and longitude with the same conjugator. The proof combines Xu's genuineness theorem with profinite JSJ theory and simultaneous boundary realization, and applies to satellite and composite knots. Consequently, Eisermann's colouring polynomials over all finite groups determine oriented knots.

Explore related subjects

math.GTmath.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Indranil Biswas, Shrinit Singh. 2026-10-09. Recognizing oriented knots from finite quotients with one marked element. https://arxiv.org/abs/2610.13260

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

KEEP EXPLORING

Related papers

arXiv2026

Finite type invariants in low degrees and the Johnson filtration

We study the behaviour of the Casson invariant $λ$, its square, and Othsuki's second invariant $λ_2$ as functions on the Johnson subgroup of the mapping class group. We show that since $λ$ and $d_2 = λ_2 - 18 λ^2$ are invariants that are morphisms on respectively the second and the third level of the Johnson filtration they never vanish on any level of this filtration. In contrast we prove that the invariant $λ_2-18λ^2 +3λ$ vanishes on the fifth level of the Johnson filtration, $\mathcal{M}_{g,1}(5)$, and as a consequence we prove that, for instance, the Poincaré homology sphere does not admit any Heegaard splitting with gluing map an element in $\mathcal{M}_{g,1}(5)$. Finally we determine a surgery formula for Othsuki's second invariant $λ_2$.

math.GT↗
arXiv2026

Profinite rigidity of Kähler groups: Riemann surfaces and subdirect products

This paper establishes strong profinite rigidity results for Kähler groups, showing that certain groups are determined within the class of residually finite Kähler groups by their profinite completion. Examples include products of surface groups and certain groups with exotic finiteness properties studied earlier by Dimca-Papadima-Suciu and Llosa Isenrich. Consequently, there are aspherical smooth projective varieties that are determined up to homeomorphism by their algebraic fundamental group. The main tool is the following: the holomorphic fibrations of a closed Kähler manifold over hyperbolic 2-orbifolds can be recovered from the profinite completion of its fundamental group. We also prove profinite invariance of the BNS invariant.

math.GT↗
arXiv2026

Stable-norm boundary geometry on once-punctured tori

We use normal-turn estimates to study the local and global geometry of the boundaries of stable-norm balls $B_X$ for complete finite-area hyperbolic once-punctured tori $X$. We show that the boundary $\partial B_X$ is a convex-geometric detector of exponential Diophantine approximation: rational directions give genuine corners with exponentially small exterior angles, while at an irrational direction $β$ the graph-flatness order admits an explicit formula in terms of the exponential rate at which rational directions approach $β$ and the $\ell^\infty$-radius of $B_X$ in the projective direction $β$. Thus irrational directions are not uniformly flat to infinite order, correcting the McShane--Rivin local picture. We also determine all possible irrational flatness orders and the size of the corresponding level sets. The computation of the rational corners unexpectedly yields a new McShane-type identity for the area of the dual body $B_X^*$: $$ \operatorname{Area}(B_X^*) = 4\sum_γ \ell_X(γ) \log\coth\left(\frac{\ell_X(γ)}{2}\right), $$ where the sum is over unoriented simple closed geodesics on $X$. As another global application, the normal-turn estimates also give a logarithmic-square bound for the number of integer points on the boundary of each dilated norm ball. Consequently, the number of simple closed geodesics of length exactly $L\geq2$ is at most $C_X(\log L)^2$. For the modular torus this yields $$ \#λ_M^{-1}(m)\leq C(\log\log(3m))^2 $$ for every Markoff number $m$, improving the previous logarithmic bounds for Markoff fibers.

math.GT↗