https://arxiv.org/api//Tala7vu+lAwGlvXAOUSdghyr7g 2026-06-22T01:50:00Z 25838 255 15 http://arxiv.org/abs/2510.22794v2 2026-05-17T22:42:49Z

We prove that every smooth $n$-dimensional knot in $\mathbb{R}^{n+2}$ can be ambiently isotoped into the Menger $n$-dimensional continuum. In contrast with classical embedding theorems for universal compacta, our construction is explicit and proceeds via cubical models, combining the cubical realization theorem of Boege--Hinojosa--Verjovsky with the affine self-similarity of the Menger continuum.

2025-10-26T18:52:52Z 11 pages, 6 figures Juan Pablo Díaz Gabriela Hinojosa Alberto Verjovsky http://arxiv.org/abs/2605.17567v1 2026-05-17T17:55:47Z

Applying our recent classification of negative-twisting tight contact structures on Seifert fibered spaces whose base orbifold is a sphere, we provide the complete list of all the Brieskorn spheres carrying at most two symplectically fillable structures, up to isotopy, compatible with a given orientation.

2026-05-17T17:55:47Z Alberto Cavallo http://arxiv.org/abs/2605.17257v1 2026-05-17T04:58:05Z

A classical question in quantitative topology is to bound the mapping degree $\operatorname{deg}(f)$ in terms of its Lipchitz constant $\operatorname{Lip}(f)$. For a closed, oriented manifold $M$, the flexible exponent $α(M)$ is the infimum of $α\geq 0$ such that $|\operatorname{deg} f|\leq C(\operatorname{Lip} f)^α$ holds for all differentiable map $f:M\to M$. The flexible exponent measures how effectively a manifold can wrap itself through self-maps. For geometric 3-manifolds $M$ in the sense of Thurston, we give the complete result for $α(M)$: \[ α(M)= \begin{cases} 3 & M \text{ modeled on } \mathbb S^3,\mathbb E^3,\mathbb S^2\times\mathbb E^1,\\ \frac83 & M \text{ modeled on Nil},\\ 2 & M \text{ modeled on Sol},\\ 1 & M \text{ modeled on }\mathbb H^2\times\mathbb E^1,\\ 0 & M \text{ modeled on } \mathbb H^3,\widetilde{\rm SL_2}. \end{cases} \] To prove $α(M)=8/3$ for Nil 3-manifold $M$, we construct the so-called Legendrian map: a smooth self-map $f: M\to M$ such that $f$ is homotopic to the identity and $f$ maps all $S^1$-fibers into the orthogonal contact plane field simultaneously. Moreover, we prove that any Legendrian map must not be a diffeomorphism.

2026-05-17T04:58:05Z 34 pages, comments welcomed Jianru Duan Jianfeng Lin Shicheng Wang Zhongzi Wang Dongyi Wei http://arxiv.org/abs/2405.06314v4 2026-05-16T19:25:54Z

In this note we investigate three kinds of applications of the Painlevé-Kuratowski convergence of closed sets in analysis that are motivated also by questions from singularity theory. Firstly, we generalise to Lipschitz functions the classical theorem stating that given a sequence of smooth functions with locally uniformly convergent derivatives, we obtain the local uniform convergence of the functions themselves (provided they were convergent at one point). Secondly, we prove the reverse theorem for the squared distance function. Next, we turn to the study of the behaviour of the fibres of a given function. We prove some general real counterparts of the Hurwitz theorem from complex analysis (stating that the local uniform convergence of holomorphic functions implies the convergence of their sets of zeroes). From the point of view of singularity theory our two theorems concern the convergence of the sets when their descriptions are convergent. They are also of interest in approximation theory and they give some partial results to the problem of when is the limit of a convergent sequence of real algebraic sets algebraic.

2024-05-10T08:36:15Z Daniel Fatuła http://arxiv.org/abs/2309.08735v3 2026-05-16T13:17:09Z

We study relatively hyperbolic group pairs whose boundaries are Schottky sets. We characterize the groups that have boundaries where the Schottky sets have incidence graphs with 1 or 2 components.

2023-09-15T19:52:52Z 31 pages Math. Z., 313 (2026), no. 2, Paper No. 28 Peter Haïssinsky Luisa Paoluzzi Genevieve Walsh 10.1007/s00209-026-04018-3 http://arxiv.org/abs/2605.16968v1 2026-05-16T12:42:35Z

In this paper, we explore the algebraic structure of GL-racks, and demonstrate that finite GL-racks decompose canonically into permutation GL-racks and block GL-racks. As a corollary, we verify that two Legendrian knots with the same classical invariants share equivalent coloring invariants with respect to any given finite GL-rack.

2026-05-16T12:42:35Z 17 pages, 4 figures Zhiyun Cheng Zhiyi He http://arxiv.org/abs/2605.06499v2 2026-05-16T03:05:02Z

Borel--Serre proved that for a number ring $R$ with fraction field $K$, the symplectic group $\text{Sp}_{2n}(R)$ is a virtual duality group of degree quadratic in $n$, and that the symplectic Steinberg module $\text{St}^ω_{2n}(K)$ is its dualizing module. We construct a projective resolution of this symplectic Steinberg module as an $\text{Sp}_{2n}(R)$-representation, that is similar in form to a resolution of Lee--Szczarba for the special linear group, but whose construction is more involved. When $R$ is a Euclidean number ring, we use this resolution to compute the top degree cohomology of principal level-$p$ congruence subgroups of $\text{Sp}_{2n}(R)$, for primes $p \in R$ such that the natural map $R^\times \to (R/(p))^\times$ is surjective.

2026-05-07T16:17:56Z 41 pages. Comments welcome! v2: some typos corrected; slightly rephrased some proposition statements Urshita Pal http://arxiv.org/abs/2605.04433v2 2026-05-16T01:57:44Z

Habegger and Lin gave a classification of link-homotopy classes of links in terms of that of string links modulo certain group actions. As an application, they constructed an algorithm for determining whether given two links are link-homotopic. In \cite{KM4}, we explicitly computed these group actions for the 4- and 5-component cases. Consequently, the Habegger--Lin algorithm can be effectively applied in these cases. In this paper, we present an implementation of this algorithm, which is available at \cite{KMcode}, and exhibit new pairs of links that are not link-homotopic yet cannot be distinguished by Milnor's link-homotopy invariants, called $\overlineμ$-invariants.

2026-05-06T02:53:44Z 7 pages, 6 gigures Yuka Kotorii Atsuhiko Mizusawa http://arxiv.org/abs/1807.00293v5 2026-05-16T01:05:58Z

If the group of a 2-knot group $K$ has an abelian normal subgroup of rank $\geq1$ which is not finitely generated then either $K$ has no minimal Seifert hypersurface or $K$ is topologically equivalent to Example 10 of Ralph Fox's``{\it A quick trip through knot theory}".

2018-07-01T08:37:57Z v2: Scrutiny of the use of inverse limits in v1 revealed a need for a coherence condition in the present argument. v3: Lemmas 3 and 4 have been replaced by one short lemma, based on a reference. v4: a new \S3 and theorem have been added. v5 rewritten, with change of emphasis Jonathan A. Hillman http://arxiv.org/abs/2605.16658v1 2026-05-15T21:54:13Z

Let $\mathcal{C}$ be the moduli space of smooth complex cubic surfaces and let $π_1(\mathcal{C})$ be its (orbifold) fundamental group. We prove that the ``divisor subgroup'' of $π_1(\mathcal{C})$ is characteristic. This can be interpreted as saying that the group theory of $π_1(\mathcal{C})$ ``remembers'' the divisor of nodal cubic surfaces. We deduce from this group-theoretic result and some basic complex analysis that $\mathcal{C}$ has no nontrivial biholomorphic automorphisms as complex analytic orbifold.

2026-05-15T21:54:13Z Gregorio Baldi Benson Farb Ariyan Javanpeykar Matthew Stover http://arxiv.org/abs/2601.05136v2 2026-05-15T16:27:51Z

Previous work of the author and N. Reshetikhin defines an invariant $\operatorname{Z}_{N}^ψ(K, ρ, μ)$ of a knot $K$, a representation $ρ: π_{1}(S^{3} \setminus K) \to \operatorname{SL}_2(\mathbb{C})$, and a logarithm $μ$ of a meridian eigenvalue of $ρ$. It can be interpreted as a geometric twist of the Kasahev invariant or as a quantization of the $\operatorname{SL}(\mathbb{C})$ Chern-Simons invariant and is defined using a discrete state-sum involving quantum dilogarithms. In this paper we show how to express $\operatorname{Z}_{N}^ψ(K, ρ, μ)$ as a sum over contour integrals in a space parametrizing hyperbolic structures on the knot complement. Such integral presentations are an important step in determining the asymptotics of quantum invariants as predicted by the Volume Conjecture. We discuss this perspective and the remaining obstacles to establishing exponential growth of $\operatorname{Z}_{N}^ψ$.

2026-01-08T17:28:08Z 15 + 4 pages. v2 updated to match new version of arXiv:2509.02365 Calvin McPhail-Snyder http://arxiv.org/abs/2509.02365v3 2026-05-15T15:19:03Z

We define a sequence of invariants $\mathcal{Z}_{N}^ψ$ of tangles with flat $\mathfrak{sl}_{2}$ connections (i.e. hyperbolic structures) on their complements. These can be interpreted as a geometric twist of the Kashaev invariant or as a quantization of the $\operatorname{SL}_{2}(\mathbb{C})$ Chern-Simons invariant. To support the second interpretation we give a new description $\mathcal{I}^ψ$ of the Chern-Simons invariant of a tangle exterior. $\mathcal{Z}_{N}^ψ$ directly recovers $\mathcal{I}^ψ$ when $N = 1$. We build $\mathcal{Z}_{N}^ψ$ using modules over unrestricted quantum $\mathfrak{sl}_{2}$ at a root of unity and the holonomy $R$-matrices previously constructed by the author and Reshetikhin (arXiv:2509.02354). Unlike most previous constructions of geometric quantum invariants $\mathcal{Z}_{N}^ψ$ is defined without any phase ambiguity. It is natural to conjecture that $\mathcal{Z}_{N}^ψ$ is related to the quantization of Chern-Simons theory with complex, noncompact gauge group $\operatorname{SL}_{2}(\mathbb{C})$ and we discuss how to interpret our results in this context.

2025-09-02T14:26:11Z v2: Results strengthened, exposition rewritten. v3: Minor corrections. 69 + 6 pages Calvin McPhail-Snyder http://arxiv.org/abs/2606.12431v1 2026-05-15T14:44:09Z

We prove that the unknotting number of the knot 11n102 is 2.

2026-05-15T14:44:09Z 1 page Tye Lidman http://arxiv.org/abs/2605.15740v1 2026-05-15T08:50:37Z

In 1999, Lawrence and Zagier expressed the Witten-Reshetikhin-Turaev (WRT) invariant of the Poincaré homology sphere as the limiting value of the Eichler integral of a weight 3/2 modular form. Habiro's construction of the unified WRT invariant subsequently recast this result as an identity for a $q$-hypergeometric series at roots of unity. This motivated Hikami to prove analogous $q$-series identities involving the unified WRT invariants of certain Brieskorn homology spheres. Hikami also made several conjectures of a similar type for $q$-series with no apparent connection to quantum invariants. In this paper we use the Bailey pair machinery and a novel relation between incomplete quadratic Gauss sums with periodic coefficients to construct infinite families of identities between $q$-multisums at roots of unity and limiting values of Eichler integrals of weight 3/2 modular forms. These identities include all of Hikami's results and conjectures as well as a generalization of the result of Lawrence and Zagier.

2026-05-15T08:50:37Z 26 pages Jeremy Lovejoy Robert Osburn Matthias Storzer http://arxiv.org/abs/2605.15515v1 2026-05-15T01:19:40Z

The conjectures of Low and Natario--Tod, and Penrose's question on Arnold's Problem list ask if causality in spacetimes can be formulated in terms of linking of spheres of light rays in the manifold of all light rays. For $(2+1)$-dimensional spacetimes, this link happens in the manifold coverable by a solid torus $S^1\times \mathbb R^2$. This was solved positively by Chernov and Nemirovski, which raises the question of which link invariants can be used to study causality. Chernov, Martin and Petkova proved that Heegaard--Floer and Khovanov homology completely capture causality. Allen--Swenberg conjectured that the Jones polynomial, which is obtained as an alternating Euler characteristic from Khovanov homology, is also sufficient. But they constructed complicated examples of links $\mathrm{AS}(n)_{n=1}^{\infty}$ that suggest that the Alexander--Conway polynomial -- which is the Euler characteristic of Heegaard--Floer homology -- is not enough. The Links--Gould polynomial is a quantum invariant that specializes to the classical Alexander--Conway polynomial in two different ways and somewhat surprisingly inherits some of its characteristic classical features. We show that it distinguishes all the Allen-Swenberg links from the link of causally unrelated events and hence detects causality in all known examples where the Alexander--Conway polynomial is not sufficient. This suggests that it may completely capture causality. The work on the categorification of the Links--Gould Polynomial is an ongoing and hard problem, and it is not a subject of this paper. As a corollary, we also compute the Seifert genus of all Allen--Swenberg links.

2026-05-15T01:19:40Z 15 pages Vladimir Chernov Matthew Harper Ben-Michael Kohli