2026-05-15 | | Total: 9
We use the Heegaard Floer homology cobordism maps to obstruct the existence of a symplectic structure on the Akbulut-Kirby Mazur manifolds whose boundary is a Brieskorn sphere $Y$ among $Σ(2,3,13),$ $Σ(2,5,7)$ and $Σ(3,4,5)$. Furthermore, we describe how our results imply the existence of exotic pairs of simply connected 4-manifolds, with definite intersection form, whose boundary is $Y$.
We establish a formula expressing Miyazawa's 2-knot invariant $|\mathrm{deg}|$ in terms of the Lefschetz number of a map on ordinary (i.e., not real) monopole Floer homology. As an application, we deduce that $|\mathrm{deg}|=1$ for any 2-knot in $S^4$ which has a punctured $L$-space as a Seifert solid. In the course of the proof of the main theorem, we show how Francesco Lin's construction of monopole Floer homology with $\operatorname{Pin}(2)$-equivariant perturbations can be made to work with integer coefficients.
In this work, we investigate the connections between the local Euler obstruction and the Poincaré-Hopf-Nash (PHN) index of a $1$-form in the setting of determinantal singularities. As an application, we provide explicit computations of the Euler obstruction of a function with a stratified isolated singularity at the origin defined on an IDS with rigid singularities.
The fundamental quandle is an invariant for distinguishing surface knots, yet computable presentations have traditionally been limited to surfaces embedded in the $4$-sphere. Building on the framework of banded unlink diagrams introduced by Hughes, Kim, and Miller, we give a Wirtinger type presentation of the fundamental quandle of surface links in arbitrary $4$-manifolds. As applications, we extend the work of Sato and Tanaka to show that for any $b \geq 4$ and $m \geq 0$, there exist infinitely many pairwise non-local surface knots with bridge number $b$ in $\mathbb{C}P^2 \#m\overline{\mathbb{C}P^2}$, and we distinguish infinite families of surface knots with isomorphic knot groups, extending results of Tanaka and Taniguchi.
We use normal-turn estimates for McShane--Rivin norm balls to prove that, for every complete finite-area hyperbolic once-punctured torus $X$, the number of simple closed geodesics of length exactly $L\geq 2$ is at most $C_X(\log L)^2$. For the modular torus, this gives $$ \#λ_M^{-1}(m)\leq C(\log\log(3m))^2 $$ for every Markoff number $m$, improving the previous logarithmic Markoff-fiber bounds. These estimates also give new quantitative information on the local geometry of McShane--Rivin norm balls, including obstructions to infinite-order flatness at certain irrational directions.
Strong hyperbolicity is a coarse notion of negative curvature, stronger than Gromov hyperbolicity, that includes all CAT(-k) metrics for k positive and allows the use of dynamical techniques available in negative curvature, such as thermodynamical formalism. We prove that the subset of geodesic currents whose dual pseudometric is strongly hyperbolic is dense in the space of geodesic currents. The proof combines an elementary finite-cover argument with a characterization of strong hyperbolicity in terms of boundary data for pseudometrics dual to geodesic currents. In contrast, we show that currents arising from non-positively curved metrics on the surface are not dense. As a consequence, we construct infinitely many pairwise non-roughly-isometric invariant strongly hyperbolic geodesic metrics on the universal cover of the surface which are not CAT(0). Finally, we establish correlation counting results for the associated length spectra.
We introduce KnotMosaics, a SageMath package for constructing, visualizing, and analyzing knot mosaic diagrams. The package represents an n-mosaic as a matrix of standard tile labels and implements the local connectivity rules needed to validate mosaics, trace strands and components, compute planar diagram codes, generate random examples, and construct rational tangle mosaics. The planar diagram interface connects the mosaic representation to existing knot and link software, enabling computations such as Jones polynomials and knot Floer homology checks. We describe the package design, its main algorithms, and representative examples that illustrate how KnotMosaics can support computational exploration in knot mosaic theory.
Wild knots--knots with infinite knotting behavior--have resisted traditional methods of knot classification, making them more of a curiosity in topology than a subject of sustained investigation. In this paper, we present a new way to investigate these objects. We extend Lomonaco and Kauffman's knot mosaic theory to represent a substantial subclass of wild knots that have isolated wild points. Our mosaics consist of infinite rooted trees with mosaics assigned to vertices and embedding functions governing connections. In developing this framework, we also introduce a notion of mosaic tangles as well as mosaic rigid vertex spatial graphs of which mosaic singular knots are a special case.
The complexity of the billiard language of regular polygons in the hyperbolic plane with $p$ sides and $2π/q$ internal angles is known to grow exponentially and the exponential growth rate is known to equal the topological entropy of the billiard system. In this paper we compute these exponential growth rates explicitly when $q$ is even and give bounds when $q$ is odd. Additionally, for the $q$ even case, we give complete grammar rules that establish when a word (finite, infinite or bi-infinite) in $p$ letters is realized by a billiard path. This latter result is roughly stated and not rigorously proved in a paper of Giannoni and Ullmo (1995). In this paper, we provide a precise statement and a complete proof using new methods relating to minimal tiling paths.