https://arxiv.org/api/Vm3YEy+fpD5FiVHAGKoOGBrPul8 2026-06-22T03:07:48Z 25838 270 15 http://arxiv.org/abs/2605.15317v1 2026-05-14T18:31:01Z

Let $X=SL_3(\R)/SO(3)$. Let $\cal DFR$ be the space of discrete faithful representations of the modular group into ${\rm Isom\/}(X)$ which map the order $2$ generator to an isometry with a unique fixed point. In this paper, we prove that $\cal DFR$ has a component $\cal B$, the so-called Barbot component, that is homeomorphic to $\R^2 \times [0,\infty)$. The boundary of $\cal B$ parametrizes the Pappus representations and the interior consists of Anosov representations.

2026-05-14T18:31:01Z This is an edited and improved subset of a very long paper of mine, arXiv:2412.18547. In this shorter paper I isolate one of the main results and give a self-contained proof. I also take the opportunity to fix a few glitches and add some helpful details. Computer assisted - Mathematica files downloadable from my website Richard Evan Schwartz http://arxiv.org/abs/2605.15095v1 2026-05-14T17:14:03Z

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$.

2026-05-14T17:14:03Z Alberto Cavallo http://arxiv.org/abs/2605.14996v1 2026-05-14T15:56:44Z

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.

2026-05-14T15:56:44Z 30 pages, 0 figures Judson Kuhrman http://arxiv.org/abs/2604.18994v2 2026-05-14T15:26:16Z

We introduce different notions of separation for families of Anosov representations. We show that, along a diverging sequence of such families, the critical exponent is asymptotic to a combinatorial invariant computable from the spectral data of a finite graph. Our method allows us to derive bounds on the Thurston asymmetric metric. As an application, we study specific degenerations of convex projective structures on a pair of pants, generalizing an example of McMullen.

2026-04-21T02:25:08Z 35 pages, 3 figures v2: fixed some references, improved exposition Joaquín Lejtreger Joaquín Lema http://arxiv.org/abs/2605.12911v2 2026-05-14T14:20:02Z

In his 1999 preprint "Universal Lie Algebra", P. Vogel put forward a hypothesis on the existence of a universal Lie algebra. Although this hypothesis remains open, it is known that many quantities in Lie theory admit universal descriptions. Remarkably, almost all such universal formulas have been obtained through the representation theory of simple Lie (super)algebras, whereas Vogel's original framework was based on a more abstract diagrammatic algebra. Nevertheless, the diagrammatic approach has received little attention over the past two decades, since the last contributions by P. Vogel and J. Kneissler. In this work, we revive the diagrammatic technique grounded in Vogel's $Λ$-algebra and show that it enables truly universal computations. We examine numerous examples and discuss them.

2026-05-13T02:36:58Z 18 pages, 2 tables D. Khudoteplov A. Sleptsov http://arxiv.org/abs/2605.14593v1 2026-05-14T09:02:26Z

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.

2026-05-14T09:02:26Z 25 pages, 10 figures Xiaozhou Zhou http://arxiv.org/abs/2412.03067v3 2026-05-14T08:56:18Z

We continue the study of the geometry of infinite geodesics in first passage percolation (FPP) on Gromov-hyperbolic groups G, initiated by Benjamini-Tessera and developed further by the authors. It was shown earlier by the authors that, given any fixed direction $ξ\in \partial G$, and under mild conditions on the passage time distribution, there exists almost surely a unique semi-infinite FPP geodesic from each $v\in G$ to $ξ$. Also, these geodesics coalesce to form a tree. Our main topic of study is the set of (random) exceptional directions for which uniqueness or coalescence fails. We study these directions in the context of two random geodesics trees: one formed by the union of all geodesics starting at a given base point, and the other formed by the union of all semi-infinite geodesics in a given direction $ξ\in \partial G$. We show that, under mild conditions, the set of exceptional directions almost surely has a strictly smaller Hausdorff dimension than the boundary, and hence has measure zero with respect to the Patterson-Sullivan measure. We also establish an upper bound on the maximum number of disjoint geodesics in the same direction. For groups that are not virtually free, we show that almost surely exceptional directions exist and are dense in $\partial G$. When the topological dimension of $\partial G$ is greater than one, we establish the existence of uncountably many exceptional directions. When the topological dimension of $\partial G$ is $n$, we prove the existence of directions $ξ$ with at least $(n+1)$ disjoint geodesics. Our results hinge on deep facts about hyperbolic groups. En route, we also establish facts about the structure of random bigeodesics that substantially strengthen prior results.

2024-12-04T06:37:47Z 45 pages, 2 figures. To appear in Adv. Math Riddhipratim Basu Mahan Mj http://arxiv.org/abs/2605.14574v1 2026-05-14T08:45:18Z

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.

2026-05-14T08:45:18Z 25 pages, 4 figures. Comments welcome! Nhat Minh Doan Xiaobin Li Van Nguyen http://arxiv.org/abs/2605.14469v1 2026-05-14T07:04:20Z

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.

2026-05-14T07:04:20Z Meenakshy Jyothis Dídac Martínez-Granado http://arxiv.org/abs/2605.14189v1 2026-05-13T23:11:35Z

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.

2026-05-13T23:11:35Z 12 pages, 9 figures Mary Y. Deng Allison K. Henrich Sean H. Kawano Andrew R. Tawfeek http://arxiv.org/abs/2605.14185v1 2026-05-13T23:09:13Z

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.

2026-05-13T23:09:13Z 34 pages, 25 figures Mary Y. Deng Allison K. Henrich Sean H. Kawano Andrew R. Tawfeek http://arxiv.org/abs/2605.14030v1 2026-05-13T18:42:31Z

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.

2026-05-13T18:42:31Z Comments welcome. 30 figures, 1 appendix Sunrose T. Shrestha Jane Wang http://arxiv.org/abs/2605.10883v2 2026-05-13T18:05:39Z

Looking to the fundamental domains of space groups we can investigate in which space they can be realized. If this space is hyperbolic, then the corresponding space group is also hyperbolic. In addition to the usual methods for investigating space of realization, the symmetries of the fundamental polyhedron can give new restricted conditions, here called edge conditions. The aim of the research is to find out in which cases simplicial fundamental domains are hyperbolic with vertices out of the absolute. For this reason, edge conditions for simplicial fundamental domains belonging to Family F12 by the notation of E. Molnár et all in 2006, are considered.

2026-05-11T17:32:08Z 16 pages, 1 figure Milica Stojanović http://arxiv.org/abs/2405.15515v3 2026-05-13T18:02:49Z

We show that the mapping class group of a handlebody is a virtual duality group, in the sense of Bieri and Eckmann. In positive genus we give a description of the dualising module of any torsion-free, finite-index subgroup of the handlebody mapping class group as the homology of the complex of non-simple disc systems.

2024-05-24T13:00:00Z 17 pages. Final version to appear in Journal de l'École polytechnique - Mathématiques Dan Petersen Richard D. Wade http://arxiv.org/abs/2605.13812v1 2026-05-13T17:39:50Z

Given a canonically oriented Brieskorn sphere $Y=Σ(a_1,...,a_n)$, we confirm some statements conjectured by Gompf. More specifically, we obstruct the existence of rational homology ball symplectic fillings for any contact structure on $-Y$ if $n=3$, and when there is no half convex Giroux torsion for $n>3$. Furthermore, we show that the same result holds for the Milnor fillable structure on $Y$ with the possible exception of $Σ(3,4,5),$ $Σ(2,5,7)$ and $Σ(2,3,6k+1)$ for $k\geq1$. Along the way, we determine every canonically oriented Brieskorn sphere with vanishing correction term carrying at most two fillable structures, up to isotopy.

2026-05-13T17:39:50Z Antonio Alfieri Alberto Cavallo Irena Matkovič