https://arxiv.org/api/gdf8BCuuP5RDwxf0ygWibDfTD48 2026-03-16T12:38:44Z 25376 60 15 http://arxiv.org/abs/2603.05236v1 2026-03-05T14:52:02Z

We realize a homological block of a knot complement in $S^3$ for $G_{\mathbb{C}}=SL(2,\mathbb{C})$ as a half-index of a 3d $\mathcal{N}=2$ theory via an expression of the homological block as an inverted Habiro series by working out some examples, which we expect to extend to general knots. Also, by choosing a certain set of poles in the integral expression of the half-index, we obtain the colored Jones polynomial.

2026-03-05T14:52:02Z 23 pages Hee-Joong Chung http://arxiv.org/abs/2505.16909v2 2026-03-05T14:23:22Z

For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced. We use this in the case where $\mathcal{C}$ is the category of modules over a ribbon Hopf algebra to interpret stated skeins as a TQFT, namely a braided balanced functor from a category of cobordisms to this category of algebras and their bimodules. Although our construction works in full generality, we relate in the special case of finite-dimensional ribbon factorizable Hopf algebras the stated skein functor to the Kerler-Lyubashenko TQFT by interpreting the former as the "endomorphisms" of the latter.

2025-05-22T17:09:48Z v2: 64 pages, typos corrected, some remarks added, results unchanged. Final version, accepted for publication in Quantum Topol Francesco Costantino Matthieu Faitg http://arxiv.org/abs/2508.09729v2 2026-03-05T12:47:55Z

We propose a symmetrization relation between BPS quivers encoding 4d $\mathcal{N}=2$ theories and symmetric quivers associated to 3d $\mathcal{N}=2$ theories. We analyse in detail the symmetrization of BPS quivers for a series of $A_m$ Argyres-Douglas theories by engineering 3d-4d systems in geometric backgrounds involving appropriate 3-manifolds and Riemann surfaces. We discuss properties of these geometric backgrounds and derive the corresponding quiver partition functions from the perspective of skein modules, which forms the foundation of the symmetrization map for the minimal chamber. We also prove that the structure of wall-crossing in 4d $A_m$ Argyres-Douglas theories is isomorphic to the structure of unlinking of symmetric quivers encoding their partner 3d theories, which allows for a proper definition of the symmetrization map outside the minimal chamber. Finally, we show that the Schur indices of 4d theories are captured by symmetric quivers that include symmetrization of 4d BPS quivers.

2025-08-13T11:52:32Z 69 pages, 27 figures Piotr Kucharski Pietro Longhi Dmitry Noshchenko Sunghyuk Park Piotr Sułkowski http://arxiv.org/abs/2401.06600v3 2026-03-05T12:20:14Z

We construct analogs of Khovanov-Jacobsson classes and the Rasmussen invariant for links in the boundary of any smooth oriented 4-manifold. The main tools are skein lasagna modules based on equivariant and deformed versions of $\mathfrak{gl}_N$ link homology, for which we prove non-vanishing and decomposition results. Along the way, we characterize precise technical conditions that allow a link homology theory to extend to skein lasagna 4-manifold invariants, we establish a decomposition theorem for deformed $\mathfrak{gl}_N$ skein lasagna modules, and we illustrate how Hopf link homology classes can be used to extend the functoriality of link homology theories to immersed link cobordisms.

2024-01-12T14:30:39Z 22 pages, comments welcome; v2 fixed opacity error in figures; v3 following referee report Kim Morrison Kevin Walker Paul Wedrich http://arxiv.org/abs/2603.05063v1 2026-03-05T11:26:32Z

We show that the $2$-component unlink in $S^4$ admits infinitely many isotopy classes of spanning $3$-disks that are Brunnian.

2026-03-05T11:26:32Z 12 pages. Comments are welcome! Weizhe Niu http://arxiv.org/abs/2506.00824v2 2026-03-05T06:40:17Z

The flip symmetry on knot diagrams induces an involution on Khovanov homology. We prove that this involution is determined by its behavior on unlinks; in particular, it is the identity map when working over $\mathbb{F}_2$. This confirms a folklore conjecture on the triviality of the Viro flip map. As a corollary, we prove that the symmetries on the transvergent and intravergent diagrams of a strongly invertible knot induce the same involution on Khovanov homology. We also apply similar techniques to study the half sweep-around map.

2025-06-01T04:00:21Z 28 pages. v2: added Proposition 7.3; minor changes Daren Chen Hongjian Yang http://arxiv.org/abs/2507.05667v2 2026-03-05T06:16:20Z

A Real structure on a $4$-manifold $X$ is an orientation preserving smooth involution $σ$. We say that an embedded surface $Σ\subset X$ is Real if $σ$ maps $Σ$ to itself orientation reversingly. We prove that a cohomology class $u \in H^2(X ; \mathbb{Z})$ can be represented by a Real embedded surface if and only if $u$ can be lifted to a class in equivariant cohomology $H^2_{\mathbb{Z}_2}(X ; \mathbb{Z}_-)$. We prove that if the Real Seiberg--Witten invariants of $X$ are non-zero then the genus of Real embedded surfaces in $X$ satisfy an adjunction inequality. We prove two versions of the adjunction inequality, one for non-negative self-intersection and one for arbitrary self-intersection. We show with examples that the minimal genus of Real embedded surfaces can be larger than the minimal genus of arbitrary embedded surfaces.

2025-07-08T04:51:09Z 25 pages, minor corrections. To appear in Int. Math. Res. Not David Baraglia http://arxiv.org/abs/2411.15610v2 2026-03-04T22:00:22Z

If $M$ is a hyperbolic 3-manifold fibering over the circle, the fundamental group of $M$ acts faithfully by homeomorphisms on a circle (the circle at infinity of the universal cover of the fiber), preserving a pair of invariant (stable and unstable) laminations. Many different kinds of dynamical structures (e.g. taut foliations, quasigeodesic or pseudo-Anosov flows) are known to give rise to universal circles -- a circle with a faithful $π_1(M)$ action preserving a pair of invariant laminations -- and these universal circles play a key role in relating the dynamical structure to the geometry of $M$. In this paper we introduce the idea of zippers, which give a new and direct way to construct universal circles, streamlining the known constructions in many cases, and giving a host of new constructions in others. In particular, zippers (and their associated universal circles) may be constructed directly from uniform quasimorphisms or from uniform left orders.

2024-11-23T17:18:55Z 30 pages, 6 figures; incorporates feedback from referee Danny Calegari Ino Loukidou http://arxiv.org/abs/2407.14699v4 2026-03-04T19:31:03Z

The celebrated Morlet-Burghelea-Lashof-Kirby-Siebenmann smoothing theory theorem states that the group $\mathrm{Diff}_\partial(D^n)$ of diffeomorphisms of a disc $D^n$ relative to the boundary is equivalent to $Ω^{n+1}\left(\mathrm{PL}_n/\mathrm{O}_n\right)$ for any $n\geq 1$ and to $Ω^{n+1}\left(\mathrm{TOP}_n/\mathrm{O}_n\right)$ for $n\neq 4$. We revise smoothing theory results to show that the delooping generalizes to different versions of disc smooth embedding spaces relative to the boundary, namely the usual embeddings, those modulo immersions, and framed embeddings. The latter spaces deloop as $\mathrm{Emb}_\partial^{fr}(D^m,D^n)\simeqΩ^{m+1}\left(\mathrm{O}_n\backslash\!\!\backslash\mathrm{PL}_n/\mathrm{PL}_{n,m}\right)\simeq Ω^{m+1}\left(\mathrm{O}_n\backslash\!\!\backslash\mathrm{TOP}_n/\mathrm{TOP}_{n,m}\right)$ for any $n\geq m\geq 1$ ($n\neq 4$ for the second equivalence), where the left-hand side in the case $n-m=2$ or $(n,m)=(4,3)$ should be replaced by the union of the path-components of $\mathrm{PL}$-trivial knots (framing being disregarded). Moreover, we show that for $n\neq 4$, the delooping is compatible with the Budney $E_{m+1}$-action. We use this delooping to combine the Hatcher $\mathrm{O}_{m+1}$-action and the Budney $E_{m+1}$-action into a framed little discs operad $E_{m+1}^{\mathrm{O}_{m+1}}$-action on $\mathrm{Emb}_\partial^{fr}(D^m,D^n)$.

2024-07-19T23:18:32Z Section 7 was added to improve the clarity of the exposition Paolo Salvatore Victor Turchin http://arxiv.org/abs/2603.04197v1 2026-03-04T15:46:14Z

We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\widehat{G} \cong \widehat{H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite version of the Rips construction applied to a finitely presented acyclic group $U$ with trivial profinite completion and a strong universality property. A key feature of our approach is the construction of $H$ as a preimage subgroup of $G$ which is conjugate to a proper subgroup of itself. This renders the non-co-Hopfianity of $H$ immediate without requiring a detailed structural analysis of the Rips kernel.

2026-03-04T15:46:14Z 7 pages. Any comments are welcome! Hyungryul Baik Wonyong Jang http://arxiv.org/abs/2311.16157v2 2026-03-04T14:41:11Z

A fundamental challenge in diagnostic imaging is the phenomenon of topological equivalence, where benign and malignant structures share global topology but differ in critical geometric detail, leading to diagnostic errors in both conventional and deep learning models. We introduce GeoTop, a mathematically principled framework that unifies Topological Data Analysis (TDA) and Lipschitz-Killing Curvatures (LKCs) to resolve this ambiguity. Unlike hybrid deep learning approaches, GeoTop provides intrinsic interpretability by fusing the capacity of persistent homology to identify robust topological signatures with the precision of LKCs in quantifying local geometric features such as boundary complexity and surface regularity. The framework's clinical utility is demonstrated through its application to skin lesion classification, where it achieves a consistent accuracy improvement of 3.6% and reduces false positives and negatives by 15-18% compared to conventional single-modality methods. Crucially, GeoTop directly addresses the problem of topological equivalence by incorporating geometric differentiators, providing both theoretical guarantees (via a formal lemma) and empirical validation via controlled benchmarks. Beyond its predictive performance, GeoTop offers inherent mathematical interpretability through persistence diagrams and curvature-based descriptors, computational efficiency for large datasets (processing 224x224 pixel images in less or equal 0.5 s), and demonstrated generalisability to molecular-level data. By unifying topological invariance with geometric sensitivity, GeoTop provides a principled, interpretable solution for advanced shape discrimination in diagnostic imaging.

2023-11-08T23:38:32Z 37 pages, 6 figures Mariem Abaach Ian Morilla http://arxiv.org/abs/2502.18160v3 2026-03-04T14:06:43Z

In this paper, we give a geometric interpretation of virtual knotoids as arcs in thickened surfaces. Then we show that virtual knotoid theory is a generalization of classical knotoid theory. This gives a proof of a conjecture of Kauffman and the first author.

2025-02-25T12:44:51Z 25 pages, 26 figures Neslihan Gügümcü Hamdi Kayaslan http://arxiv.org/abs/2411.17594v2 2026-03-04T13:43:24Z

We study the property $P_{\text {naive }}$ of mapping class groups of surfaces of infinite type, that is, for any finite collection of non-trivial elements $h_{1},h_{2}, \cdots, h_{n}$, there exists another element $g\neq 1$ of infinite order such that for all $i$, $\langle g, h_{i}\rangle \cong \langle g \rangle * \langle h_{i} \rangle$.

2024-11-26T17:02:30Z 12 pages Tianyi Lou http://arxiv.org/abs/2603.03757v1 2026-03-04T06:11:21Z

Masur and Minsky showed that the curve graph is quasi-isometric to the Teichmüller space electrified along its thin part, and hence the Teichmüller space is weakly relatively hyperbolic with respect to the thin part. In this paper, we extend this result to the $k$-multicurve graph by electrifying the Teichmüller space along the thin part where the extremal length of $k$ curves is sufficiently small. A key ingredient is a bound on the $k$-multicurve graph distance in terms of the intersection number, which is obtained by adapting the upper bound for the pants graph due to Lackenby and Yazdi.

2026-03-04T06:11:21Z 19 pages, 6 figures, 1 table. Comments are welcome Kento Sakai http://arxiv.org/abs/2603.03716v1 2026-03-04T04:36:12Z

We give an upper bound for the number of compact essential orientable non-isotopic surfaces, with Euler characteristic at least some constant $χ$, properly embedded in a finite-volume hyperbolic 3-manifold $M$, closed or cusped. This bound is a polynomial function of the volume of $M$, with degree that depends linearly on $|χ|$.

2026-03-04T04:36:12Z 47 pages, 9 figures Marc Lackenby Anastasiia Tsvietkova