https://arxiv.org/api/tf+8Ur8qUbZXgR9QSZfyr7FQXkc 2026-06-22T12:59:14Z 25838 405 15 http://arxiv.org/abs/2605.00346v1 2026-05-01T02:05:49Z

We extend two results known for aspherical 3-manifolds to $PD_3$-pairs $(P,\partial{P})$ with aspherical ambient space $P$. Every such $PD_3$-pair may be assembled by attaching 1-handles to $PD_3$-pairs with aspherical; ambient space and $π_1$-injective boundary. (Thus the study of such pairs reduces to the study of $PD_3$-pairs of groups.) If $π$ is a group of type $FP$ whose indecomposable factors $G$ each have $χ(G_i)=0$ then there are only finitely many such $PD_3$-pairs with $π_1(P)\congπ$.

2026-05-01T02:05:49Z Jonathan A. Hillman http://arxiv.org/abs/2405.12067v2 2026-05-01T01:59:47Z

We show that there is a type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus. As a corollary, we obtain infinitely many commensurability classes of purely pseudo-Anosov surface subgroups of mapping class groups of closed surfaces. This gives the first examples of compact atoroidal surface bundles over surfaces.

2024-05-20T14:37:30Z 39 pages, 1 figure. Updated to incorporate referee comments. To appear in the Annals of Mathematics Autumn E. Kent Christopher J. Leininger http://arxiv.org/abs/2601.10009v2 2026-05-01T01:45:38Z

Our objective is to illuminate the global structure of non-orientable manifolds with signature-changing metrics, with particular emphasis on global topological obstructions. Using explicit geometric constructions based on the topology of the Möbius strip, we produce examples of crosscap manifolds where the gluing junction coincides with the locus of signature change. Our main result shows that on non-orientable compact surfaces, the radical of such metrics cannot be everywhere transverse along the hypersurface of signature change. In particular, metrics arising from the transformation prescription $\tilde{g}=g+fV^{\flat}\otimes V^{\flat}$, with $g$ a Lorentzian metric and $f$ a smooth interpolation function, necessarily fail to satisfy the transversality condition. This obstruction is of purely global origin and is closely related to topological invariants such as the Euler characteristic and the non-existence of nowhere-vanishing vector fields. These results demonstrate that non-orientability imposes intrinsic limitations on the class of admissible signature-type changing metrics.

2026-01-15T02:39:58Z 27 pages, 6 figures Nathalie E. Rieger http://arxiv.org/abs/2605.00263v1 2026-04-30T21:57:28Z

The goal of this work is to continue the study the smoothings of 3-dimensional manifolds with singularities obtained as small covers of non simple right-angle Coxeter polyhedral orbifolds. They appear in the study of coaxial intersections of ellipsoids. In particular we introduce the concept of $n$-pyramitoid generalizing the $n$-pyramid.

2026-04-30T21:57:28Z Enrique Artal Bartolo Santiago López de Medrano María Teresa Lozano Imízcoz http://arxiv.org/abs/2604.28174v1 2026-04-30T17:55:07Z

We classify fillable contact structures on all negative-definite star-shaped plumbings. Along the way, we show that such Seifert fibred spaces admit a unique negative maximal twisting number, and compute it explicitly using the Alexander filtration in lattice cohomology. In particular, we show that the negative-twisting tight structures on these manifolds are induced by the Stein structures on the minimal resolution of the underlying complex surface singularity. As an application, we provide a necessary condition for a negative-definite Seifert fibred space to admit a separating contact-type embedding in a strong symplectic filling of a generalised $L$-space.

2026-04-30T17:55:07Z Alberto Cavallo Irena Matkovič http://arxiv.org/abs/2604.28170v1 2026-04-30T17:53:08Z

We advance Matkovič ideas, originally applied to complete the classification of tight structures on small Seifert fibred $L$-spaces, to show the existence of contact structures on Brieskorn spheres which are tight and zero-twisting. This uncovers a phenomenon that has never appeared in literature before: namely, that a contact structure $ξ$ on a 3-manifold can be such that $\widehat c(ξ)$ is non-vanishing, but $c^+(ξ)$ is zero.

2026-04-30T17:53:08Z Alberto Cavallo Irena Matkovič http://arxiv.org/abs/2604.28162v1 2026-04-30T17:47:52Z

We adapt the Ozsváth-Szabó full path algorithm to every star-shaped graph and establish a correspondence between negative-twisting tight contact structures on any Seifert fibred space over $S^2$, and its Heegaard Floer homology groups equipped with the Alexander filtration induced by the regular fibre. This provides the complete classification of negative-twisting structures on these manifolds; in particular, we distinguish them by their contact invariant $c^+$. We prove that every such structure is symplectically fillable and extend a known obstruction to Stein fillability. In addition, we show that the number of negative-twisting structures can be expressed combinatorially in terms of the Seifert coefficients of the star-shaped graph, while their $d_3$-invariant and homotopy type are determined explicitly through our correspondence. Our results also complete the classification of fillable structures on any small Seifert fibred space.

2026-04-30T17:47:52Z Alberto Cavallo Irena Matkovič http://arxiv.org/abs/2604.27990v1 2026-04-30T15:18:40Z

We associate a musical instrument, a "hyperbolic marimba", to every pair $(X,Γ)$ where $X$ is a hyperbolic surface and $Γ\subset X$ a simple multicurve labeled with musical keys. It works as follows: take a geodesic and every time it hits $Γ$, play the corresponding note. In this paper we investigate to which extent the so-produced melodies characterize $(X,Γ)$ up to isometry. In the accompanying website "HyperMarimba" (available at https://ludox73.github.io/HyperMarimba/story.html ), the reader can actually listen to the produced melodies. They can also visualize some of the phenomena we investigate.

2026-04-30T15:18:40Z 49 pages, 5 Figures. Comments are welcome! Ludovico Battista Juan Souto http://arxiv.org/abs/2604.27984v1 2026-04-30T15:13:45Z

Let $M$ be a smooth manifold without boundary and let $\mathcal{T}$ be a countable collection of manifolds with corners, each equipped with a smooth map to $M$. We show that the singular simplicial set $\mathrm{Sing}(M)$ of $M$ deformation retracts onto the simplicial subset $\mathrm{Sing}^{\mathcal{T}}\!(M)$ of smooth singular simplices that are transverse to every element of $\mathcal{T}$.

2026-04-30T15:13:45Z 10 pages Greg Friedman Anibal M. Medina-Mardones Dev Sinha http://arxiv.org/abs/2604.27912v1 2026-04-30T14:19:43Z

We study scale-invariant geometric quantities associated with embedded closed curves in Euclidean three-space, with an emphasis on their behavior under optimization within a fixed knot type. Given a Euclidean-invariant and scale-covariant size functional \(D\), we define the \(D\)-density of a curve \(γ\) by \(\len(γ)/D(γ)\), the \(D\)-compression radius by \(D(γ)/\Thi(γ)\), and the corresponding packing ratio as its reciprocal. For a single representative, ropelength factors as the product of the \(D\)-density and the \(D\)-compression radius. The main point is not this formal cancellation, but the separation it suggests after optimization: the density, compression, packing, and ropelength problems generally have different minimizing sequences. We develop this factorization framework for general scale-covariant size functionals. We prove the basic optimized inequality, give a criterion for equality after optimization, and compute the unknot case for the diameter and the minimal enclosing radius. We also prove polygonal approximation results for compression radii when \(D=\diam\) and when \(D=R_{\min}\), using standard convergence properties of polygonal thickness, and formulate the corresponding hypotheses for other \(L^p\)-type size functionals. Finally, we discuss relations with distortion, trunk, and supertrunk. The framework is intended as a structural companion to density-type invariants, rather than as an immediate source of stronger ropelength lower bounds. In particular, the optimized factorization by itself does not yield new ropelength bounds; such bounds require independent estimates for the density and compression factors.

2026-04-30T14:19:43Z Makoto Ozawa http://arxiv.org/abs/2211.02124v2 2026-04-30T11:25:00Z

This purpose of this paper is to prove the following result: let phi be a strictly convex, smooth, convex body in the Euclidean plane, if the intersection of n translates of phi has a non-empty interior, and all of the translates contribute to the intersection, then the intersection of these n translates will have exactly n points of singularity along its boundary. Furthermore this result is sharp, in the sense that, removing any one of the assumptions from our statement will render the result unable to hold in general.

2022-11-03T20:00:41Z This article has been superseded by arXiv:2211.16621 Cameron Strachan http://arxiv.org/abs/2604.27717v1 2026-04-30T11:05:51Z

We construct a Lagrangian Floer homology whose chain complex is generically generated by the inscriptions of isosceles trapezoids in a smooth Jordan curve. This is an extension of Greene and Lobb's Jordan Floer homology (arXiv:2404.05179), which we also call Jordan Floer homology. Its non-triviality re-establishes that every smooth Jordan curve inscribes every isosceles trapezoid. By consideration of the spectral invariants associated with the real filtration known as the action filtration, we establish new cases of non-smooth Jordan curves which admit inscriptions of isosceles trapezoids.

2026-04-30T11:05:51Z 36 pages, 7 figures, comments welcome Adam Barber http://arxiv.org/abs/2604.27635v1 2026-04-30T09:24:28Z

It is not known whether the realisation part of the $s$-cobordism theorem holds for smooth 4-manifolds, nor whether every pair of smoothly $h$-cobordant 4-manifolds is also smoothly $s$-cobordant. We provide some new conditions under which these questions admit a positive answer. We also give conditions under which the `standard' method to construct an $h$-cobordism with specified torsion cannot work.

2026-04-30T09:24:28Z 9 pages, 1 figure Alexander Kupers Mark Powell http://arxiv.org/abs/2212.07482v3 2026-04-30T08:48:36Z

This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product of such smooth maps, which provides our geometric cochains with a partially defined product structure inducing the cup product in cohomology. A parallel treatment of homology is also given allowing for a geometric unification of the contravariant and covariant theories.

2022-12-14T20:01:50Z Preprint, 196 pages, index added. Comments and questions are welcome Greg Friedman Anibal M. Medina-Mardones Dev Sinha http://arxiv.org/abs/2602.01507v2 2026-04-30T06:47:31Z

Every stable 4-sphere is identified with the double branched covering space of a trivial surface-knot space. As a result of Wall, it is known that any two orthogonal bases of every stable 4-sphere are transformed into each other by an orientation-preserving diffeomorphism of the stable 4-sphere. In this paper another proof of Wall's result is presented, strengthened in the sense that the lift of an equivalence of the trivial surface-knot space can be taken as the diffeomorphism. Two applications are made. The first shows that every orientation-preserving diffeomorphism of every stable 4-sphere is nothing but the double branched covering lift of an equivalence of a trivial surface-knot space up to a smooth isotopy and a composition with an identity-shift. The second gives a similar result for TOP stable 4-spheres. Here, even if it is a smooth 4-manifold, unless it is diffeomorphic to the stable 4-sphere, the TOP trivial surface-knot space cannot be smooth.

2026-02-02T00:40:55Z Expanded version Akio Kawauchi