https://arxiv.org/api/gdf8BCuuP5RDwxf0ygWibDfTD48 2026-06-21T10:28:33Z 25838 60 15 http://arxiv.org/abs/2606.11073v1 2026-06-09T16:33:37Z

We define an infinite family of quiver representation-valued invariants of classical and virtual knots associated to a choice of data vector consisting of a biquandle, abelian group, set of biquandle arrows weights with values in the abelian group, coefficient ring and set of biquandle endomorphisms. As an application we extract four new polynomial invariants as decategorifications. We provide examples to show that these invariants are proper enhancements of the biquandle counting invariant and biquandle coloring quiver.

2026-06-09T16:33:37Z 11 pages Sam Nelson Migiwa Sakurai http://arxiv.org/abs/2511.02517v3 2026-06-09T14:16:14Z

In this paper, we show that a random hyperbolic surface in the Brooks-Makover model has a spectral gap greater than $\left(\frac{1}{4}-\frac{c}{\log n}\right)$ for some universal constant $c>0$ , confirming the nearly optimal spectral gap conjecture in this model.

2025-11-04T12:08:28Z 50 pages, 9 figures, add an Appendix Yang Shen Yunhui Wu http://arxiv.org/abs/2606.10871v1 2026-06-09T13:47:53Z

This paper shows that the Alexander-Briggs code of a knot gives rise to a new invariant that distinguishes prime alternating knots. The restriction to prime alternating knots precisely follows from the fact that our approach relies on Tait s flyping theorem. We also provide examples where the new invariant succeeds in separating knots that the well known invariants, such as some knot polynomials, fail.

2026-06-09T13:47:53Z Altan B. Kilic Ruud Pellikaan Alberto Ravagnan http://arxiv.org/abs/2606.10764v1 2026-06-09T12:16:52Z

We study Stein fillings of planar contact 3-manifolds under certain constraints on their relative trisections. We partially classify the diffeomorphism types of such fillings admitting relative trisections with genus at most 2.

2026-06-09T12:16:52Z 19 pages, 17 figures Nobutaka Asano Natsuya Takahashi http://arxiv.org/abs/2606.10761v1 2026-06-09T12:14:26Z

Positive structures in Lie groups with respect to a subset $Θ$ of the set of positive roots provide a generalization of Lusztig's total positivity in split real Lie groups to the setting of general real semisimple Lie groups. In [GW25] Lie groups G admitting a positive structure were classified and many key properties of the unipotent positive semigroups were established. In this article we focus on the positive semigroup in G. We establish key geometric properties of elements in the positive semigroup. Further we introduce corresponding positive and non-negative parts of flag varieties and determine the topology of the non-negative parts of flag varieties in many cases. For symplectic flag varieties we provide explicit descriptions of the positive and non-negative flag varieties.

2026-06-09T12:14:26Z Olivier Guichard UNISTRA, IRMA Anna Wienhard http://arxiv.org/abs/2512.12369v2 2026-06-09T12:08:57Z

In [DP12], Delzant and Py showed that there exist continuous irreducible isometric actions of $\mathrm{PSL}_2(\mathbb{R})$ on the infinite-dimensional hyperbolic space $\mathbb{H}^\infty$. Such continuous irreducible actions do not exist on the hyperbolic spaces $\mathbb{H}^n$ when $n>2$ and their associated embeddings $\mathbb{H}^2 \to \mathbb{H}^\infty$ given by the orbit maps were later called \emph{exotic} by Monod and Py in [MP14]. In this article, we produce a continuous and irreducible representation of $\mathrm{PSL}_2(\mathbb{R})\to \mathrm{Isom}(\mathbb{H}^\infty)$ using the hyperbolic model for convex bodies introduced in [DF22]. This yields a convex cocompact $\mathrm{PSL}_2(\mathbb{R})$-action on the infinite-dimensional hyperbolic space $\mathbb{H}^\infty$, of which the compact quotient over the minimal $\mathrm{PSL}_2(\mathbb{R})$-invariant convex set is homeomorphic to the 2-dimensional oriented Banach--Mazur compactum. Moreover, we study the geometry of one of its orbit maps and compute the Hausdorff dimension of the limit set of this representation.

2025-12-13T15:52:00Z v2: 37 pages, 5 figures, minor modifications, comments are welcome François Fillastre Yusen Long David Xu http://arxiv.org/abs/2606.10362v1 2026-06-09T03:22:11Z

In recent years, numerous polynomial invariants of knotoids have been constructed, some of which are defined with the signs of the crossings. In this paper, the coloring-allowed invariants of planar knotoids, which is a class of planar knotoid invariants defined with the coloring number are introduced. We demonstrate several basic properties of the coloring number and some examples of coloring-allowed invariants, among which the 4-phases functions are discussed in detail, including their invariance and properties.

2026-06-09T03:22:11Z 25 pages, 22 figures, comments are welcome! Haocong Chen Jiacheng An Fengling Li http://arxiv.org/abs/2606.10351v1 2026-06-09T02:58:45Z

We give formulas for the $ τ$ and $ \varepsilon $ concordance invariants of satellite knots whose patterns are braided, meaning they wind around the solid torus without reversing. Our methods lead us to define the class of squeezed patterns, analogous to squeezed knots as defined by Feller-Lewark-Lobb. We show that all braided patterns are squeezed, and we give a $ τ$ formula for squeezed patterns as well. Towards a conjecture of Hedden, we show that no squeezed pattern, and thus no braided pattern, with winding number at least 2 induces a homomorphism on the concordance group.

2026-06-09T02:58:45Z 14 pages, 8 figures Alex Eldridge http://arxiv.org/abs/2605.21905v2 2026-06-09T00:56:29Z

For a genus $g$ Heegaard splitting of the $3$-sphere, the Goeritz group is defined to be the group of isotopy classes of diffeomorphisms of the $3$-sphere that preserve the splitting setwise. In this paper, we prove the following conjecture proposed by Powell: For every $g \ge 3$, the Goeritz group of a genus $g$ Heegaard splitting is generated by four specific elements. Our proof relies crucially on the fact that a Heegaard surface of the $3$-sphere is topologically minimal, that is, its disk complex has nontrivial homotopy group in some dimension. Along the way, we also give a new proof of the fact that a genus $g$ Heegaard surface of the $3$-sphere has topological index $2g-1$.

2026-05-21T02:26:12Z 24 pages, 13 figures. Comments welcome; v2: minor changes Daiki Iguchi http://arxiv.org/abs/2606.10239v1 2026-06-08T22:58:55Z

We classify, up to almost diffeomorphism, the smooth closed oriented manifolds homotopy equivalent to each of the sphere products $S^{4k-1}\times S^{4k}$, $S^{4k}\times S^{4k}$, and $S^{4k}\times S^{4k+1}$. In each case we realize the image of the normal-invariant map in the smooth surgery exact sequence by explicit families of manifolds: sphere bundles over $S^{4k}$; pinch maps and Milnor plumbings of disk bundles; and Novikov sphere bundles together with connected sums of homotopy spheres.

2026-06-08T22:58:55Z Sagnik Biswas http://arxiv.org/abs/2402.04839v2 2026-06-08T19:57:39Z

This paper investigates a real-valued topological invariant of 3-manifolds called topological volume. For a given 3-manifold M it is defined as the smallest volume of the complement of a (possibly empty) hyperbolic link in M. Various refinements of this invariant are given, asymptotically tight upper and lower bounds are determined, and all non-hyperbolic closed 3-manifolds with topological volume of at most 3.07 are classified. Moreover, it is shown that for all but finitely many lens spaces, the volume minimiser is obtained by Dehn filling one of the cusps of the complement of the Whitehead link or its sister manifold.

2024-02-07T13:41:42Z 28 pages, 5 figures; V2: Revisions following a referee report. To appear in Expositiones Mathematicae Marc Kegel Arunima Ray Jonathan Spreer Em Thompson Stephan Tillmann http://arxiv.org/abs/2606.10079v1 2026-06-08T18:53:47Z

We prove the realizability of genus-$0$ branch data of the form $(2^r,a \mathop{|} 3^s,b \mathop{|} 3^t,c)$ and $(2^r,a \mathop{|} 3^s \mathop{|} 3^t,b,c)$, where $a$, $b$, $c$ are not divisible by $2$, $3$, $3$ respectively. The proof uses an explicit combinatorial description of coverings of the sphere branched over $3$ points via dessins d'enfants. As a corollary, we establish realizability for a broader class of branch data with more critical values.

2026-06-08T18:53:47Z Nikolai M. Adrianov Elena M. Kreines http://arxiv.org/abs/2606.10047v1 2026-06-08T18:19:41Z

\emph{Magic braids} are used in leatherworking to make intricate straps and bands. They appear to be impossible to make. To determine which braids can be made with this leatherworking technique, we explore their relation to several braid groups.

2026-06-08T18:19:41Z 8 pages, 13 figures William Hobkirk Abigail Hollingsworth Elisabetta A. Matsumoto Corbin Reid http://arxiv.org/abs/2510.21593v2 2026-06-08T16:38:43Z

We extend the notion of congruence subgroups of the braid group to the virtual braid group using an extension of the integral Burau representation. We prove that the level 2 congruence subgroup of the virtual braid group is the pure virtual braid group, recovering a virtual analogue of a result of Arnol'd. We pose several questions which highlight the difference between the classical and virtual braid groups.

2025-10-24T16:00:46Z Wade Bloomquist Alexa Goldberg Nancy Scherich http://arxiv.org/abs/2606.09702v1 2026-06-08T16:22:46Z

The second homology group is of central importance in the study of profinite rigidity of $3$-manifold groups. Although general and deep results imply that the integral homology of cocompact hyperbolic $3$-orbifold groups is computable in principle, the resulting algorithm is not practical. We develop an effective method for computing $H_2$ in the case of orbifold groups arising as finite extensions of the fundamental group of hyperbolic rational homology $3$-spheres. As a special case, this yields explicit computations of the second homology groups of all cocompact lattices between $π_1(\mathcal{W})$ and its normalizer in $\mathrm{PSL}_2(\mathbb C)$, where $\mathcal{W}$ is the Weeks manifold. We also show that these lattices are absolutely profinitely rigid, completing work by Bridson, McReynolds, Reid & Spitler in this setting. As a special case, we determine that $H_2(Γ_{\mathcal{O}}, \mathbb Z) \cong \mathbb{Z} / 2\mathbb{Z}$, where $Γ_{\mathcal{O}}$ is the normalizer of the group of units $Γ_{\mathcal{O}}^1$ in a choice of maximal order $\mathcal{O}$ of the quaternion algebra associated to $\mathcal{W}$, thereby answering a question of Bridson & Reid. Although this non-vanishing obstructs one possible construction of Grothendieck pairs in $Γ_{\mathcal{O}}^1 \times Γ_{\mathcal{O}}^1$, we use our computations to show the vanishing of the second homology of another lattice whose derived subgroup is $Γ_{\mathcal{O}}^1$, which then yields Grothendieck pairs in this direct product by a theorem of Bridson & Reid. Finally, to showcase the generality of the techniques, we also compute the second homology of some finite extensions by orientable isometries of the fundamental group of some Fibonacci manifolds $M_n$.

2026-06-08T16:22:46Z Comments welcome! Carl-Fredrik Nyberg-Brodda