https://arxiv.org/api/TwVS+sFiHDIt3SpDoNUQx2Eu0e8 2026-06-22T23:20:40Z 25838 540 15 http://arxiv.org/abs/2604.13544v1 2026-04-15T06:48:41Z

A perforated surface is the complement $\mathringΣ:=Σ\setminus A$ of a countable dense subset $A$ in a connected paracompact surface $Σ$. It is known that the topological type of $Σ\setminus A$ is independent of the choice of $A$. Any perforated surface is one-dimensional, connected, locally path connected, and is not semi-locally simply connected at any of its points. In this paper we obtain a classification theorem for perforated surfaces, using the classification theorem for surfaces. We show that any connected covering of a perforated surface $\mathring Σ$ arises from a covering of a surface $Σ'$ such that $\mathringΣ\cong \mathringΣ'$. We show that the fundamental group of perforated surfaces are large. We also show that the fundamental groups of $\mathring Σ$, the Sierpiński curve and the Menger curve are not Hopfian.

2026-04-15T06:48:41Z 32 pages, 3 figures Khushbu Gulati Parameswaran Sankaran http://arxiv.org/abs/2509.07818v2 2026-04-15T00:46:49Z

We give a formula to estimate the number of fixed points of a pseudo-Anosov homeomorphism of a surface. When the homeomorphism satisfies a mild property called strong irreducibility, the log of the number of fixed points is coarsely equal to the Teichmuller translation length. We also discuss several applications, including an inequality relating the hyperbolic volume of a mapping torus to the rank of its Heegaard Floer homology.

2025-09-09T14:56:13Z 50 pages, 3 figures. v2: Minor edits, to appear in J. Eur. Math. Soc Tarik Aougab David Futer Samuel J. Taylor http://arxiv.org/abs/2303.07499v3 2026-04-14T23:24:11Z

We construct examples of non-bi-orderable one-relator groups without generalized torsion. This answers a question asked in [2].

2023-03-13T22:14:28Z We correct and replace a flawed argument in the proof with a very short argument Azer Akhmedov James Thorne http://arxiv.org/abs/2306.03225v3 2026-04-14T16:42:52Z

We define a (3+1)-TQFT associated with possibly non-semisimple finite unimodular ribbon tensor categories using skein theory. This gives an explicit realization of a TQFT predicted by the cobordism hypothesis, based on recent results on dualizability. State spaces are given by admissible skein modules, and we prescribe the TQFT on handle attachments. We give some explicit algebraic conditions on the input category to define this TQFT, namely to be ''chromatic non-degenerate''. As a by-product, we obtain an invariant of 4-manifolds equipped with a ribbon graph in their boundary, and in the ''twist non-degenerate'' case, an invariant of 3-manifolds. Our construction generalizes the Crane-Yetter-Kauffman TQFTs in the semi-simple case, and the Lyubashenko (hence also Hennings and WRT) invariants of 3-manifolds. The whole construction is very elementary, and we can easily characterize the invertibility of the TQFTs, study their behavior under connected sums and provide some examples.

2023-06-05T20:18:27Z SIGMA 22 (2026), 034, 41 pages Francesco Costantino Nathan Geer Benjamin Haïoun Bertrand Patureau Mirand 10.3842/SIGMA.2026.034 http://arxiv.org/abs/2604.12901v1 2026-04-14T15:48:40Z

The doubling conjecture predicts that a manifold admits positive scalar curvature with mean convex boundary if and only if its double admits positive scalar curvature. We show that it holds true for manifolds where the inclusion of the boundary satisfies a certain split-condition on fundamental groups. Our proof is based on surgery-techniques for positive scalar and mean curvature. If the boundary is non-connected, we use existence of area-minimizing hypersurfaces and the monotonicity-formula. Furthermore, we investigate if a psc-metric on a closed manifold can be adjusted so that a given embedded hypersurface is minimal, stable minimal or totally geodesic. While not true in general, such an adjustment is possible in many cases.

2026-04-14T15:48:40Z 28 pages, 14 figures Georg Frenck http://arxiv.org/abs/2309.00415v3 2026-04-14T11:56:17Z

We give Bennequin-Plamenevskaya-Shumakovich type lower bounds for the concordance invariant $s^{\#}$ introduced by Kronheimer and Mrowka. The proof is a consequence of computations for torus knots and the cobordism inequality of $s^{\#}$ due to Gong, combined with well-known arguments used for slice-torus invariants.

2023-09-01T12:18:34Z 6 pages, Minor corrections, To appear in Journal of Knot Theory and Its Ramifications Nobuo Iida http://arxiv.org/abs/2307.06069v2 2026-04-14T11:35:45Z

We consider the link and three-manifold invariants from arXiv:1912.02063, which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the link only through their simple composition factors, so that in order to detect non-trivial extensions one needs to pass to proper ideals. We compute examples of link and three-manifold invariants for $\mathcal{C}$ being the category of $N$ pairs of symplectic fermions. Using a quasi-Hopf algebra realisation of $\mathcal{C}$, we find that the Lyubashenko-invariant of a lens space is equal to the order of its first homology group to the power $N$, a relation we conjecture to hold for all rational homology spheres. For $N \ge 2$, $\mathcal{C}$ allows for tensor ideals $\mathcal{I}$ with a modified trace which are different from all of $\mathcal{C}$ and from the projective ideal. Using the theory of pull-back traces and symmetrised cointegrals, we show that the link invariant obtained from $\mathcal{I}$ can distinguish a continuum of indecomposable but reducible objects which all have the same composition series.

2023-07-12T10:38:58Z 77 pages; v2: Final version published in Quantum Topology, with more general framework of locally finite tensor categories for Sec 2, new Example 2.2, references corrected in Sec 3.1, Prop 3.13 was corrected, a typo in Prop 4.2 fixed, new Remarks 2.12 & 4.8 & 5.4 Johannes Berger Azat M. Gainutdinov Ingo Runkel http://arxiv.org/abs/2604.12182v1 2026-04-14T01:24:59Z

We introduce and study bridge decompositions for 3-manifolds embedded in the 5-sphere. These generalize both the classical notion of bridge position for knots in the 3-sphere and the bridge trisections of surfaces in the 4-sphere due to Meier and Zupan. Our main technical tool is the multisections of 5-manifolds introduced by Aribi, Courte, Golla, and Moussard. We prove that every embedded 3-manifold admits such a decomposition; in particular, any such embedding is encoded by four trivial tangle diagrams. We also present a range of explicit examples, including $S^2$-spun knots and ribbon 3-knots.

2026-04-14T01:24:59Z 45 pages, 28 figures. Comments welcome! Román Aranda Sarah Blackwell Geunyoung Kim Patrick Naylor Puttipong Pongtanapaisan http://arxiv.org/abs/2507.18250v3 2026-04-13T14:37:25Z

We show that, for a finite spectrum $X$, Spanier-Whitehead duality induces an isomorphism between the cohomological and homological Atiyah-Hirzebruch spectral sequences. As an application, it follows that Poincaré duality for a Poincaré duality complex that is oriented over a ring spectrum $R$ induces an isomorphism between the two spectral sequences.

2025-07-24T09:44:13Z 15 pages; accepted version, to appear in Glasgow Mathematical Journal Maximilian David Hans http://arxiv.org/abs/2106.14378v5 2026-04-13T14:22:42Z

The $L$-space conjecture asserts the equivalence, for prime 3-manifolds, of three properties: not being an $L$-space, having a left-orderable fundamental group, and admitting a co-oriented taut foliation. We investigate these properties for toroidal $3$-manifolds using various notions of slope detection. Our main technical result gives sufficient conditions for certain slopes on the boundaries of rational homology solid tori to be detected by left-orders, foliations, and Heegaard Floer homology, using Thurston's universal circle actions, Li's result on laminar branched surfaces, and Rasmussen-Rasmussen's result on L-space intervals, respectively. This leads to a proof that toroidal integer homology spheres have left-orderable fundamental groups, as predicted by the $L$-space conjecture. It also allows us to show that the cyclic branched covers of prime satellite knots are not $L$-spaces and have left-orderable fundamental groups, as conjectured by Gordon and Lidman. Similarly we show that a cyclic branched cover of a satellite knot admits a co-oriented taut foliation when it has a fibred companion. A partial extension of these results to toroidal links leads to a proof that prime quasi-alternating links are either hyperbolic or $(2, m)$-torus links, which generalises Menasco's classical theorem that non-split alternating links are either hyperbolic or $(2, m)$-torus links.

2021-06-28T03:10:46Z v5: Minor changes to improve exposition; to appear in Adv. Math Steven Boyer Cameron McA Gordon Ying Hu http://arxiv.org/abs/2303.15941v2 2026-04-13T14:13:35Z

We study the divisor of the Reidemeister torsion on the variety of irreducible ${\rm SL}_2\mathbb{C}$-characters of certain knots and links, and provide a geometric interpretation of them. We focus in particular on the family of odd-twisted Whitehead links $W_{2n-1}$ and prove that these divisors have multiplicity two. Furthermore, we apply these results to the study of the $L$-functions of the universal deformations of representations over fields with characteristic $p>2$ of these link groups.

2023-03-28T12:53:13Z 27 pages, 3 figures, thoroughly updated in version 2 Léo Bénard Ryoto Tange Anh T. Tran Jun Ueki http://arxiv.org/abs/2603.14338v2 2026-04-13T06:58:14Z

We prove that any finite subgroup $G \subset Γ_{\boldsymbol{s}}$ of the cluster modular group has fixed points in the cluster manifolds $\mathcal{A}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ and $\mathcal{X}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem [Ker83] for the mapping class group action on the Teichmüller space. The condition holds whenever $Γ_{\boldsymbol{s}}$ admits a cluster DT transformation, and it can be also verified for all finite mutation types except for $X_7$. Our proof closely follows Kerckhoff's argument, based on the convexity of log-cluster variables.

2026-03-15T12:12:30Z 25 pages, 2 figures. v2: Appendix A added Tsukasa Ishibashi http://arxiv.org/abs/2510.10771v2 2026-04-13T03:23:52Z

We report on recent developments in the dynamics and rigidity of infinite-volume homogeneous spaces, viewed through the lens of circles. By addressing four natural questions about circle packings, we highlight the interplay between dynamics, geometry, and rigidity that defines the emerging frontier of homogeneous dynamics.

2025-10-12T19:19:05Z To appear in the Proceedings of the ICM 2026, 33 pages, 24 figures Hee Oh http://arxiv.org/abs/2604.10943v1 2026-04-13T03:22:23Z

We address the question of existence of sections of fibrations in two settings. First, we show that a bundle with base a finite 2-complex admits a section if and only if the inclusion of the fiber is $π_1$-injective and the associated short exact sequence of fundamental groups splits. Second, for Lefschetz fibrations over the disk we provide a complete algebraic criterion characterizing which loops in the boundary mapping torus extend to continuous or smooth sections over the disk. Finally, we apply our results to achiral Lefschetz fibrations over the sphere obtained by doubling along the vertical boundary, and give a criterion ensuring the existence of at least two homologically distinct sections.

2026-04-13T03:22:23Z 20 pages, 2 figures Jonathan A. Hillman Riccardo Pedrotti http://arxiv.org/abs/1312.1654v2 2026-04-12T17:40:52Z

We prove that a dense subgroup of $\mathrm{Homeo}_{+}(I)$ is not elementary amenable. We also show that the topological group $\mathrm{Homeo}_{+}(I)$ does not satisfy the Stability of the Generators Property, moreover, any finitely generated subgroup of $\mathrm{Homeo}_{+}(I)$ admits a faithful discrete representation in it. In the last section, we demonstrate that finitely generated dense subgroups have infinite girth.

2013-12-05T19:45:18Z This is the version that has existed in author's webpage since 2014 with a further modification/addition in the last section to extend the result (by a short argument) to all compact manifolds Azer Akhmedov