https://arxiv.org/api/A25FJwF/SWbF+KDxPKVcqbpURO0 2026-06-22T11:45:48Z 25838 390 15 http://arxiv.org/abs/2605.01976v1 2026-05-03T17:25:44Z

The problem of whether different projectivizations of the same affine knot $K\subset\mathbb{S}^3$ are equivalent in $\mathbb{R}\mathbb{P}^3$ can be found in [11] and has also been posed as an open question in [15]. In this note we provide a constructive solution to the problem. In particular, we adapt an idea due to A. Hatcher developed in the realm of embedding spaces and we describe an algorithm that produces an explicit isotopy between any two given projectivizations of the same affine knot. More generally, we introduce the notion of lensification of a knot in any lens space $L(p,q)$ and describe an algorithm that works in that more general setting, of which $\mathbb{R}\mathbb{P}^3\simeq L(2,1)$ is a particular instance. Finally, we apply this algorithm to several pairs of knots from the literature for which the equivalence problem was raised as an open question, finding explicit isotopies.

2026-05-03T17:25:44Z 16 pages, 14 figures Sergio de María Javier Martínez-Aguinaga http://arxiv.org/abs/1708.05121v3 2026-05-03T17:23:20Z

We show that bordered Heegaard Floer homology detects incompressible surfaces and bordered-sutured Floer homology detects partly boundary parallel tangles and bridges, in natural ways. For example, there is a bimodule Lambda so that the tensor product of CFD(Y) and Lambda is Hom-orthogonal to CFD(Y) if and only if the boundary of Y admits an essential compressing disk. In the process, we sharpen a nonvanishing result of Ni's. We also extend Lipshitz-Ozsváth-Thurston's "factoring" algorithm for computing HF-hat to compute bordered-sutured Floer homology, to make both results on detecting incompressibility practical. In particular, this makes Zarev's tangle invariant manifestly combinatorial.

2017-08-17T03:06:17Z 34 pages, 11 figures. V2: now also detects bridge tangles. V3: theorem numbering matches published version Ann. Inst. Fourier (Grenoble) 69 (2019), no. 4, 1525-1573 Akram Alishahi Robert Lipshitz 10.5802/aif.3276 http://arxiv.org/abs/2604.27919v2 2026-05-03T14:32:42Z

The Circle Pattern Theorem characterizes the existence and rigidity of circle patterns with prescribed intersection angles on simplicial triangulations of closed surfaces. In this paper we extend the theorem to quasi-simplicial triangulations -- triangulations that may contain loops and multiple edges, but whose lifts to the universal cover are simplicial. Chow and Luo first considered such triangulations -- under the name \emph{generalized triangulations} (J.~Differential Geom.~\textbf{63}(1):97--129, 2003) -- but with the strong restriction that any three vertices determine at most one triangle; this condition keeps the combinatorics within the simplicial complex framework and consequently excludes most quasi-simplicial triangulations. We remove this restriction, work instead with the more flexible framework of Delta complexes, and use a finite covering technique to reduce the problem to the simplicial case. We prove that the curvature image is completely characterized by KAT inequalities imposed on all subsets of the lifted vertex set.

2026-04-30T14:22:30Z 19 pages, 3 figures Aijin Lin Qingyi Liu http://arxiv.org/abs/1910.05045v2 2026-05-03T13:34:41Z

We demonstrate that three maximal subgroups of infinite index in the rectangular subgroup \( K_{(2,2)} \) of the Thompson group \( F \), each containing Jones's \( 3 \)-colorable subgroup \( \mathcal{F} \), can be characterized as stabilizer subgroups. Additionally, we show that the \( \vec{F} \)-index, an elementary knot invariant introduced thanks to Jones's construction of knots from Thompson groups, may increase at most by $3$ after changing the orientation of a knot.

2019-10-11T09:37:12Z accepted for publication on Revista de la Unión Matemática Argentina Valeriano Aiello 10.33044/revuma.5585 http://arxiv.org/abs/2601.11481v2 2026-05-03T00:01:30Z

We study the entanglement complexity of a system consisting of two simple-closed curves (self-avoiding polygons) that span a lattice tube, referred to as a 2SAP. 2SAPs are of interest as the first known model of confined ring polymers where the linking probability goes to 1 exponentially with the size of the system. Atapour et al proved this in 2010 by showing that all but exponentially few sufficiently large 2SAPs contain a pattern that guarantees the 2SAP is non-split, provided that the requisite pattern fits in the tube. This result was recently extended to all tubes sizes that admit non-trivial links. Here we develop and apply knot theory results to answer more general questions about the entanglement complexity of 2SAPs. We first extend the 1992 concept of a good measure of knot complexity to a good measure, $F$, of spanning-link complexity for $k$-component links. Using tangle products, we show, for example, that the more complex the prime knot decomposition of any component of a given link type, the greater its $F$-measure. We then prove that all but exponentially few size $m$ 2SAPs have $F$ complexity that grows at least linearly in $m$ as $m\to \infty$. We establish that good measures of knot complexity yield good measures of spanning-link complexity. We also establish conditions whereby more general link invariants can yield good measures. In particular, we establish that measures based on several classical invariants are good measures by our definition, eg bridge number or the splitting number. Finally, we consider how the tube dimensions affect which links are embeddable as 2SAPs as well as geometric restrictions on the entanglement complexity of the embeddings. For example, we establish that there are two-component links that occur as 2SAPs in a given tube size only when one of the components is forced into a non-minimal bridge number conformation.

2026-01-16T18:03:14Z Ryan Blair Puttipong Pongtanapaisan Christine E. Soteros http://arxiv.org/abs/2407.04178v3 2026-05-02T19:45:03Z

We give a new proof of a slightly modified version of a result of Queffelec--Rose, by constructing a linear basis for the $\mathrm{SL}(n)$ skein algebra of the twice punctured sphere for any non-zero complex number $q$, excluding finitely many roots of unity of small order. In particular, the skein algebra is a commutative polynomial algebra in $n-1$ generators, where each generator is represented by an explicit $\mathrm{SL}(n)$ web, without crossings, on the surface. This includes the case $q=1$, where the skein algebra is identified with the coordinate ring of the $\mathrm{SL}(n)$ character variety of the twice punctured sphere. The proof of both the spanning and linear independence properties of the basis depends on the so-called $\mathrm{SL}(n)$ quantum trace map, due originally to Bonahon--Wong in the case $n=2$. Two consequences of our method are that the quantum trace map and the so-called splitting map embed the polynomial algebra into the Fock--Goncharov quantum higher Teichmüller space and the Lê--Sikora stated skein algebra, respectively, of the annulus. We end by discussing the relationship with Fock--Goncharov duality.

2024-07-04T22:37:57Z 62 pages (double-spaced), 19 figures. Version 3: Final version after publication Tommaso Cremaschi Daniel C. Douglas http://arxiv.org/abs/2605.01584v1 2026-05-02T19:12:43Z

Sophisticated Khovanov-Rozansky (KhR) description of knot invariants in the fundamental representation can be reformulated in terms of bicomplex with a simple physical meaning. Namely, the counterintuitive matrix factorization is substituted by simple operators $D$, locally constructed for every MOY resolution of a link diagram, which becomes nilpotent when the diagram has no external lines. Operators for different resolutions are related by equally simple conjugations $χ^{(\pm)}$. The KhR procedure then splits in two steps - defining ``vertical'' cohomologies of $D$, which are associated with particular resolutions and will be put at vertices of the hypercube, and conjugations $χ^{(\pm)}$, that define morphisms along its edges. As usual, standard combinations of morphisms are nilpotent, and one can define ``horizontal'' cohomologies - which are then combined into Poincaré polynomial, called KhR polynomial in application to links. This construction remains global in the sense that resulting cohomologies depend on the entire link diagram, but all its building blocks, including the operators and morphisms are local in the sense that they are defined for its particular vertices. Sometimes, this allows simple local reductions, allowing to eliminate or change particular vertices or sets of those. Along with the obvious case of Reidemeister equivalencies this happens also for antiparallel-lock tangles, what is responsible for simplification of bipartite calculus. In the $N=2$ and arbitrary $N$ bipartite cases, one can also provide global reductions transferring the local construction of the KhR double-complex to the global construction of the Khovanov(-like) single-complex.

2026-05-02T19:12:43Z 45 pages D. Galakhov E. Lanina A. Morozov http://arxiv.org/abs/2506.15401v2 2026-05-02T08:49:10Z

An $n$-plat 1-knot is one isotopic to the plat closure of some $2n$-braid, which is also called an $n$-bridge 1-knot. Schubert classified 2-bridge 1-knots by considering their double branched covers which are homeomorphic to lens spaces. A 2-knot is a 2-sphere smoothly embedded in 4-space or 4-sphere. An $n$-plat 2-knot is one isotopic to the plat closure of some 2-dimensional $2n$-braid. The aim of this paper is to classify 2-plat 2-knots. By a result of Montesinos, double branched covers do not distinguish 2-plat 2-knots. Thus, we introduce a new invariant to classify them. Our invariant serves as an analogue of a torsion invariant. Furthermore, it is an obstruction to invertibility of 2-knots.

2025-06-18T12:18:42Z 18 pages, 20 figures, 1 table, comments are welcome! Jumpei Yasuda http://arxiv.org/abs/2605.01279v1 2026-05-02T06:26:50Z

A non-self OU sequence is a cyclic sequence of crossing information of non-self crossings that is obtained by traversing a knot component of an oriented link diagram. In this paper, we investigate what information can be derived from non-self OU sequences, and we completely characterize pairs of non-self OU sequences of diagrams of two-component links. We also characterize the pairs for specific prime links with crossing number up to five.

2026-05-02T06:26:50Z 21 pages, 15 figures Naoki Sakata Ayaka Shimizu Koya Shimokawa http://arxiv.org/abs/2605.01027v1 2026-05-01T18:43:28Z

We discuss geometric properties of covers of closed hyperbolic manifolds of dimension $n\geq 3$, branched along a totally geodesic codimension two submanifold $Σ$. The results are mostly known to the experts but hard to find in the literature in this form.

2026-05-01T18:43:28Z 17 pages. The article was written in the style of a survey as a final report for the DFG priority program "Geometry at infinity", licensed by Springer Publ. Comp Ursula Hamenstädt http://arxiv.org/abs/2605.01026v1 2026-05-01T18:39:41Z

Pseudo links generalize classical links by allowing crossings with missing over/under information, called pre-crossings. While the pseudo braid framework provides an algebraic description of pseudo links via a Markov-type theorem, the construction of polynomial invariants using Hecke algebra techniques is obstructed by the presence of the pseudo Reidemeister 1 move. In this paper, we construct a HOMFLYPT-type invariant for oriented pseudo links via the pseudo Hecke algebra of type \(A\). The construction is based on a resolution homomorphism that maps each pseudo generator to a linear combination of a braid generator and its inverse, interpreting pre-crossings as algebraic superpositions of classical crossings. Composing this map with the Ocneanu trace and applying a suitable normalization yields an invariant satisfying a natural pseudo skein relation. We further show that the invariant admits a state-sum formulation as a weighted sum of classical HOMFLYPT-type invariants over all classical resolutions of the pseudo crossings, as well as a skein-theoretic characterization in terms of its values on classical links and the pseudo skein relation.

2026-05-01T18:39:41Z 21 pages, 6 figures Ioannis Diamantis http://arxiv.org/abs/2009.13461v7 2026-05-01T16:01:33Z

We study locally flat, compact, oriented surfaces in $4$-manifolds whose exteriors have infinite cyclic fundamental group. We give algebraic topological criteria for two such surfaces, with the same genus $g$, to be related by an ambient homeomorphism, and further criteria that imply they are ambiently isotopic. Along the way, we prove that certain pairs of topological $4$-manifolds with infinite cyclic fundamental group, homeomorphic boundaries, and equivalent equivariant intersection forms, are homeomorphic.

2020-09-28T16:45:21Z v2 fixes an error in the proof of Theorem 1.3. The issue in the proof Theorem 5.10 (now Theorem 5.11) has been corrected. v3, v4 are reorganisations; new figures and applications are added. v5: Added report number. v6: Fixed the definition of a trivial 1-handle stabilisation. To appear in Geometry & Topology. v7: Fixes an error: Theorems 1.7, 1.8 on n-roll 1-twist rim surgery only hold for n=0 Geom. Topol. 27 (2023) 739-821 Anthony Conway Mark Powell 10.2140/gt.2023.27.739 http://arxiv.org/abs/2301.00052v3 2026-05-01T11:56:41Z

We prove that an HNN extension of a torsion-free nilpotent group is left-orderable. We also construct examples of non-left-orderable HNN extensions of left-orderable groups

2022-12-30T20:41:15Z This is a slight extension of the original version. We strengthen the statement of one of the major results Azer Akhmedov Cody Martin http://arxiv.org/abs/2601.07552v3 2026-05-01T10:31:09Z

This paper is an introduction to Coxeter polyhedra in spherical, Euclidean, and hyperbolic geometries. It consists of essentially two parts that could be read independently. In the first we introduce non-obtuse polyhedra in the spherical, Euclidean, and hyperbolic spaces, and prove various fundamental theorems originated from Andreev, Coxeter, and Vinberg. In the second we introduce Coxeter polyhedra and use them to describe regular, semiregular, and uniform polyhedra and tessellations, mostly via the Wythoff construction.

2026-01-12T14:01:14Z 48 pages, 32 figures. Some parts have been expanded after referee comments Bruno Martelli http://arxiv.org/abs/1701.07592v4 2026-05-01T03:37:15Z

We classify up to diffeomorphism all smooth manifolds homeomorphic to the complex projective m-space $\mathbb{C}P^{m}$ for $m = 5, 6, 7$ and $8$. As an application, for $m = 7$ and $8$, we compute the smooth tangential structure set of $\mathbb{C}P^{m}$ and obtain a bound on the number of smooth homotopy complex projective m-spaces with given Pontryagin classes up to orientation-preserving diffeomorphism. We also show that there exists a smooth manifold which is tangentially homotopy equivalent but not homeomorphic to $\mathbb{C}P^{8}$.

2017-01-26T07:04:14Z This manuscript has been substantially revised, resulting in a new version with largely non-overlapping text, although it addresses the same research problem. The revised paper has been submitted separately and is available under the arXiv ID: 2604.27521. In light of this, I kindly ask for your approval to withdraw the earlier version Ramesh Kasilingam