https://arxiv.org/api//HEPs8NyGPFA6PdxeGp2uftlDck 2026-06-21T16:40:31Z 25838 135 15 http://arxiv.org/abs/2404.10184v2 2026-05-30T16:24:50Z

We prove an accessibility theorem for finite-index splittings of groups. Given a finitely presented group G there is a number n(G) such that, for every reduced locally finite G-tree T with finitely generated stabilizers, T/G has at most n(G) vertices and edges. We also show that deformation spaces of locally finite trees (with finitely generated stabilizers) are maximal in the partial ordering of domination of G-trees.

2024-04-15T23:52:31Z 10 pages; v2: minor changes Max Forester Anthony Martino http://arxiv.org/abs/2606.00639v1 2026-05-30T09:29:34Z

We apply ideas of geometric measure theory and Baire category theory to topological problems, namely, to topological embeddings of compact sets into Euclidean spaces. In 1947, Borsuk constructed a Cantor set in $\mathbb R^N$, $N\geqslant 3$, such that its projection onto any $(N-1)$-plane contains an $(N-1)$-dimensional ball. This can be strengthened: a desired Cantor set can be obtained from an arbitrary Cantor set by an arbitrarily small isotopy of the space $\mathbb R^N$. The question arises: how do the dimensions of the projections of a compact set $X\subset \mathbb R^N$ behave under a typical ambient isotopy or under a typical ambient homeomorphism? (Typical in the sense of the Baire category.) We solve this problem. As a consequence, we get new criteria of tameness and wildness of a Cantor set in terms of its projections. Our main result strengthens V{ä}isälä's theorem (1979) connecting Hausdorff dimension and Shtan'ko embedding dimension. In its turn, V{ä}isälä's theorem extends results of Nöbeling (1931) and Szpilrajn (1937) on relationship between Hausdorff dimension and topological dimension.

2026-05-30T09:29:34Z 22 pages Olga Frolkina http://arxiv.org/abs/2604.00539v2 2026-05-30T08:41:39Z

Alexander polynomial was born one century ago, but explicit formulas have been found for only a few families of links. In this paper, we present an efficient method of computing Alexander polynomial for arborescent links. Applying this method, we express the Alexander polynomials of Montesinos links in terms of certain polynomials associated to rational tangles which can be computed recursively. Specifically, we deduce explicit closed formulas for all pretzel links.

2026-04-01T06:35:21Z 25 pages, 11 figures. Some errors are corrected, and the writing is improved Haimiao Chen http://arxiv.org/abs/2005.06813v3 2026-05-30T06:53:50Z

We provide a proof that the classes of finitely generated Kleinian groups and of three-manifold groups are quasi-isometrically rigid.

2020-05-14T08:52:38Z V3: revised version including corrections and details (70 pages) Peter Haïssinsky I2M Cyril Lecuire IMT http://arxiv.org/abs/2604.21240v2 2026-05-30T04:56:15Z

In this paper, we define real link Floer homology for strongly invertible and doubly periodic links in closed real $3$-manifolds with connected fixed sets, which generalizes real Heegaard Floer homology and real sutured Heegaard Floer homology. We give a combinatorial description of the theory in $S^3$ via real grid diagrams and use it to investigate structural properties of the theory as well as properties of strongly invertible knots. A computer implementation was written by Zhenkun Li. An appendix including real grid homology for 50+ small knots is made jointly by Zhenkun Li and the author, from which we observe several interesting phenomenon.

2026-04-23T03:15:37Z 75 pages in total= main part of 57 pages, 27 figures plus appendix jointly made with Zhenkun Li of 17 pages. Compare to v1:an extra subsection 6.5 for discussion on connected sum is added, more examples are added to the appendix and minor changes throughout. Comments are welcome! Yonghan Xiao http://arxiv.org/abs/2606.00335v1 2026-05-29T20:20:03Z

Perelman's proof of the Poincare conjecture shows that every simply connected closed 3-manifold is homeomorphic to the 3-sphere. The fundamental groups of 3-manifolds attract lots of interest from mathematicians of different fields. As it was stated in a famous survey of Allen Hatcher "The classification of 3-manifolds", one would want to know exactly which groups occur as fundamental groups of these manifolds. The Stallings-Jaco-Hempel reformulation of the Poincare conjecture inspired several connections between low-dimensional topology, equations over free groups, and combinatorial group theory. The reformulation reduces the problem to study epimorphisms from the fundamental group of a closed orientable surface onto the direct product of two free groups (they correspond to Heegaard splittings of 3-manifolds and were named splitting homomorphisms). Olshankii (1989) constructed (in non-explicit form) first non-trivial examples of such splitting epimorphisms and verified the standardness of some of them. We construct up to equivalence all the splitting coordinate-surjective homomorphisms (among them, the genuine splitting epimorphisms are exactly those for which our constructed associated group balanced presentation is trivial). We give generators and relations of the corresponding balanced presentation (so all closed orientable 3-manifold groups) that can be studied by algebraic methods. We also analyse a big class of such homomorphisms/presentations (including all Olshanskii's epimorphisms) and show that splitting epimorphisms are very rare and in this case the corresponding balanced presentation of the trivial group can be reduced to the standard one by Andrews-Curtis transformations.

2026-05-29T20:20:03Z Olga Kharlampovich Alina Vdovina http://arxiv.org/abs/2605.31588v1 2026-05-29T17:55:11Z

The crucial feature of resurgence theory is the ambiguity of non-perturbative behavior, reflected either in the different choices of integration contours or in the existence of several solutions to Ward identities. This is well illustrated by considering exactly solvable models, of which the prominent example is Chern-Simons theory. Its important chapter, which should have a direct generalization to arbitrary Yang-Mills, is the consideration of Wilson averages in the double-scaling limit of large representation and small coupling. For historical reasons, we call it a Kashaev limit. It possesses a natural interpretation in terms of quasiclassical/WKB approximation, which is, however, somewhat peculiar and thus sheds new light on the old story. The crucial point is the appearance of Alexander polynomials $Δ$ in two seemingly opposite roles: the classical $A$-polynomials have common roots with $Δ$, while Jones polynomials tend to $Δ^{-1}$ in the perturbative expansion. The consistency is provided by the peculiar form of the quantum $A$-polynomial, and the resolution of the puzzle is the co-existence of two different branches (phases) in the quasiclassical limit -- with non-trivial and with vanishing classical actions. The first leads to classical $A$-polynomials and hyperbolic volumes, the second -- to inverse Alexanders.

2026-05-29T17:55:11Z 20 pages, 3 figures Dmitry Galakhov Alexei Morozov http://arxiv.org/abs/2605.31383v1 2026-05-29T14:51:05Z

Let $Σ_g^0\subset S^4$, $g\ge 3$, be the standard unknotted closed oriented surface, and let $a\subsetΣ_g^0$ be an oriented nonseparating curve. For a nontrivial knot $J\subset S^3$, let $Σ_{g,a,J}\subset S^4$ be the surface obtained by ordinary untwisted rim surgery along $a$. Assuming a meridian-longitude rigidity condition on the knot group of $J$, we compute the extendable mapping-class subgroup exactly: \[ E(Σ_{g,a,J})= \operatorname{Stab}_{\operatorname{Mod}(Σ_g)}(q_0)\cap \operatorname{Stab}_{\operatorname{Mod}(Σ_g)}([a]), \] where $q_0$ is the Rokhlin quadratic form of the standard embedding and $[a]\in H_1(Σ_g;\mathbb Z)$ is the oriented homology class.

2026-05-29T14:51:05Z 31 pages. Comments are welcome! Weizhe Niu http://arxiv.org/abs/2408.07596v3 2026-05-29T13:13:30Z

We give a quadratic-time algorithm to compute the stretch factor and the invariant measured foliations for a pseudo-Anosov element of the mapping class group. As input, the algorithm accepts a word (in any given finite generating set for the mapping class group) representing a pseudo-Anosov mapping class, and the length of the word is our measure of complexity for the input. The output is a train track and an integer matrix where the stretch factor is the largest real eigenvalue and the unstable foliation is given by the corresponding eigenvector. This is the first algorithm to compute stretch factors and measured foliations that is known to terminate in sub-exponential time.

2024-08-14T14:51:18Z 51 pages, 8 figures Dan Margalit Balázs Strenner Samuel J. Taylor S. Öykü Yurttaş http://arxiv.org/abs/2604.27531v2 2026-05-29T09:34:40Z

We introduce the notions of $\mathbb{K}$-framings, based $\mathbb{K}$-framings and relative $\mathbb{K}$-framings of a compact connected oriented surface $Σ$ for any commutative ring $\mathbb{K}$ with unit, and a map which maps a based loop on $Σ$ to a homology class of its unit tangent bundle $UΣ$, which recovers Johnson's lifting in the case $\mathbb{K} = \mathbb{Z}/2$. This generalizes the correspondence between a quadratic form and a spin structure established by Johnson to any commutative ring $\mathbb{K}$ with unit. If the genus of $Σ$ is positive, we have a bijection between the set of $\mathbb{K}$-framings and the set of some twisted cocycles of the mapping class group of the surface $Σ$. Through this bijection, in the case where the boundary $\partialΣ$ is non-empty and connected, we discuss some relation between $\mathbb{K}$-framings and the extended first Johnson homomorphism.

2026-04-30T07:34:00Z Nariya Kawazumi http://arxiv.org/abs/2603.18661v2 2026-05-29T05:24:28Z

We give a complete classification of two families of simply connected $7$-manifolds: $\mathcal{G}_{3}(\mathrm{Wu})$-like manifolds and $\mathcal{G}_{3}^{p}(S^{5})$-like manifolds for odd primes $p$. The former are non-spin with $H_{2}\cong H_{4}\cong \mathbb{Z}/2$ as their only nontrivial middle homology; the latter have $H_{2}\cong H_{4}\cong \mathbb{Z}/p$ as their sole nontrivial middle homology. These manifolds attain the minimal homological complexity among simply connected rational homology $7$-spheres that are not $2$-connected. We prove that Milnor's $λ$-invariant gives a bijection from the oriented diffeomorphism classes of $\mathcal{G}_{3}(\mathrm{Wu})$-like manifolds onto $\mathbb{Z}/7$, and each such manifold decomposes as the connected sum of a standard $\mathcal{G}_{3}(\mathrm{Wu})$-like manifold and a homotopy $7$-sphere. Analogously, the Eells-Kuiper $μ$-invariant yields a bijection from the oriented diffeomorphism classes of $\mathcal{G}_{3}^{p}(S^{5})$-like manifolds to $\mathbb{Z}/28$, with every manifold splitting as the connected sum of a standard $\mathcal{G}_{3}^{p}(S^{5})$-like manifold and a homotopy $7$-sphere.

2026-03-19T09:25:02Z 40 pages. This is an extended version of the previous version involving the spin counterparts. Also the proof of Proposition 3.1 is simplified. Comments are welcome! Fupeng Xu http://arxiv.org/abs/2605.30817v1 2026-05-29T04:08:22Z

We study Dehn fillings on two-bridge knots via non-abelian representations into $\mathrm{PSL}(2,\mathbb{R})$ whose meridian image is hyperbolic. For each fixed nontrivial two-bridge knot, we prove that the set of surgery slopes admitting such representations is bounded. Equivalently, Dehn fillings along slopes with sufficiently large absolute value admit no non-abelian $\mathrm{PSL}(2,\mathbb{R})$ representations with hyperbolic meridian image. The proof combines the Riley polynomial with Khoi's surgery-slope formula. On each admissible real algebraic branch, we express the meridian and longitude translation parameters as functions of the branch parameter and derive uniform endpoint estimates for their quotient. The resulting bound is effective in principle but not optimized. We also provide examples illustrating the parameter sets and endpoint behavior.

2026-05-29T04:08:22Z 14 pages, comments are welcome Shunjiang Jiang Ran Tao http://arxiv.org/abs/2605.30799v1 2026-05-29T03:42:08Z

The Moebius-Kantor graph MK=G(8,3) is a Cayley graph of three non-abelian groups, the Pauli group P(1), the semi-dihedral group SD(16), as well as the dihedral group D(16) of order 16. In topological graph theory, it illustrates the Heawood number 7 of the torus and leads to the Tucker group Aut(MK), the unique group of genus 2. We compute the Lefschetz numbers to illustrate the Brouwer-Lefschetz fixed point theorem. MK is also the dual of the 2-skeleton complex of the 3-sphere G. The graph represents one of flat Clifford tori of a Hopf fibration in the 3-sphere G=K(2,2,2,2) reflecting that Coxeter saw that MK is a subgraph of the tesseract G*. It carries a metric d so that (MK,d) has only one algebraic group structure (P(1),*) that preserves the metric. It makes the Pauli group natural, similarly as the Moebius ladder M(16) makes the dihedral group D(16) natural, forcing the algebraic structure from the metric structure.

2026-05-29T03:42:08Z 14 pages, 14 figures Oliver Knill http://arxiv.org/abs/2605.30754v1 2026-05-29T02:33:29Z

Motivated by the recent work of Harper--Kohli--Song--Tahar, we formulate a positivity, hole-free, and log-concavity conjecture for the Links--Gould polynomial of alternating links and verify it for all 51.3 million alternating knots with at most 19 crossings. All but 544 of those knots satisfy a stronger type-B log-concavity condition characterized by the slopes of edges in the subdivision of the monomial support induced by the log coefficients.

2026-05-29T02:33:29Z 17 pages Stavros Garoufalidis Shana Yunsheng Li Josephine Yu http://arxiv.org/abs/2605.28496v2 2026-05-29T01:32:43Z

For any positive integer $n$, the author previously constructed several minimal simplicial $n$-complexes which necessarily contain a non-splittable two-component link, consisting of an $(n-1)$-sphere and an $n$-sphere, in any embedding into $\mathbb{R}^{2n}$. In this paper, we present an additional simplicial $n$-complex with the same property.

2026-05-27T13:55:15Z 8 pages, 2 figures Ryo Nikkuni