https://arxiv.org/api/WOnB6bLZyALbwOp4J6/AGbBTeN42026-03-16T09:43:04Z253763015http://arxiv.org/abs/2603.08439v1Finiteness of specializations of the $q$-deformed modular group at roots of unity2026-03-09T14:37:01ZRecently, Morier-Genoud and Ovsienko introduced the $q$-deformed modular group.
For construction, they first gave a group $G_q \subset \operatorname{GL}(2, {\mathbb Z}[q^{\pm}])$ and then set $\operatorname{PSL}_q(2,{\mathbb Z}):=G_q/Z(G_q)$. We show that for $ζ\in {\mathbb C}^*$, $\operatorname{PSL}_q(2,{\mathbb Z})|_{q=ζ}$ is finite, if and only if so is $G_q(ζ):=G_q|_{q=ζ} \subset \operatorname{GL}(2,{\mathbb C})$, if and only if $ζ=ζ_n$ for $n=2,3,4,5$, where $ζ_n$ is a primitive $n$-th root of unity. Moreover, $G_q(ζ_n) \cap \operatorname{SL}(2,\mathbb{C})$ is isomorphic to the binary tetrahedral group (resp. the binary icosahedral group), if $n=3,4$ (resp. $n=5$). When $n=6$, the groups are infinite, but still "mild". We also give several applications (e.g., the special values of the normalized Jones polynomials of rational links).2026-03-09T14:37:01Z15 pages, comments welcome!Takuma ByakunoXin RenKohji Yanagawahttp://arxiv.org/abs/2410.09860v2Invariants of almost embeddings of graphs in the plane2026-03-09T13:37:22ZA graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. Almost embeddings (more precisely, their higher-dimensional analogues) naturally appear in combinatorial geometry, in topological combinatorics, and in studies of embeddings. We prove some relations between the invariants. We demonstrate the connection of some of these relations to homology of the deleted product of a graph. We construct almost embeddings realizing some values of these invariants.
We present some ideas of algebraic and geometric topology in a language accessible to non-topologists (in particular, to students). All the necessary definitions are recalled. However elementary, this paper is motivated by frontline of research; there are some conjectures and open problems.2024-10-13T14:42:02Z38 pages, many figures, in Russian language. The paper is rewritten to improve expositionE. AlkinA. MiroshnikovA. Skopenkovhttp://arxiv.org/abs/2502.10370v4Explicit Formulas for the Alexander Polynomial of Pretzel Knots2026-03-09T13:30:58ZWe provide explicit formulas for the Alexander polynomial of pretzel knots and establish several immediate corollaries, including the characterization of pretzel knots with a trivial Alexander polynomial. As an application, we construct a new family of knots that are topologically slice but not smoothly slice.2025-02-14T18:49:42Z9 pages, 3 figures; v4: revised exposition, added an appendixY. Belousovhttp://arxiv.org/abs/2409.08015v2Certifying Anosov representations2026-03-09T09:13:49ZBy providing new finite criteria which certify that a finitely generated subgroup of $\mathrm{SL}(d,\mathbb{R})$ or $\mathrm{SL}(d,\mathbb{C})$ is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in $\mathrm{SL}(3,\mathbb{R})$ by verifying the criteria for all words of length 8. The previous version required checking all words of length $2$ million.2024-09-12T12:57:26Z15 pages. Exposition and a figure addedJ. Maxwell Riestenberghttp://arxiv.org/abs/2603.08094v1Introduction to non-Abelian Patchworking2026-03-09T08:36:31ZThe note introduces a novel concept of non-Abelian patchworking arising as real locus of non-Abelian complex-phase tropical hypersurfaces, the theory of which is now developed enough to allow the proposed spin-off. Although, non-Abelian Tropical Geometry makes sense for an arbitrary reductive complex group, the state of the art is that of full understanding of tropicalizations of surfaces within three dimensional groups $PGL_2(\mathbb{C})$ and $SL_2(\mathbb{C}),$ which are closely related via the two-fold covering. We stress our point, that this is an announcement of a framework, taking care of explaining explicitly the input, which is more geometric and less combinatorial than in the original Viro's method, to construct possible types of real algebraic surfaces in the real projective 3-space, and verify that it reproduces all the existing isotopy types of surfaces up to degree three. We obtain two general theorems concerning the topology of primitive PGL2 surfaces, observing in particular that they may have different Euler charteristic for a fixed degree greater than one, not necessarily equal to the signature of the corresponding complex surface, which would be the case for primitive combinatorial patchworking due to a result of Itenberg.2026-03-09T08:36:31ZTurgay AkyarMikhail Shkolnikovhttp://arxiv.org/abs/2402.12294v2Convex-cocompact representations into the isometry group of the infinite-dimensional hyperbolic space2026-03-09T04:45:14ZWe prove that convex-cocompact representations of finitely generated groups in the group of isometries of the infinite-dimensional hyperbolic space form an open set in the space of representations, allowing us to deform these convex-cocompact representations. We then use bending to obtain convex-cocompact representations of surface groups that are not conjugate to any exotic representation of PSL(2,R) classified by Monod and Py.2024-02-19T17:17:53ZAn error was found in the proof of the main theorem in the previous version. The argument has been revised accordingly, and the present version proves a weaker form of the main theoremDavid Xuhttp://arxiv.org/abs/2603.07955v1RL unknotter, hard unknots and unknotting number2026-03-09T04:43:59ZWe develop a reinforcement learning pipeline for simplifying knot diagrams. A trained agent learns move proposals and a value heuristic for navigating Reidemeister moves. The pipeline applies to arbitrary knots and links; we test it on ``very hard'' unknot diagrams and, using diagram inflation, on $4_1\#9_{10}$ where we recover the recently established and surprising upper bound of three for the unknotting number.2026-03-09T04:43:59Z15 pages, many figures, comments welcomeAnne DranowskiYura KabkovDaniel Tubbenhauerhttp://arxiv.org/abs/2602.15636v2On certain subspaces of $2$-configuration spaces of graphs2026-03-09T02:38:59ZWe investigate the large-scale geometry of graph braid groups \(\bbB_n(\graf)\), realized as the fundamental groups of the discrete configuration spaces \(UD_n(\graf)\), which are special cube complexes in the sense of Haglund--Wise. We first give a complete classification of when a graph \(n\)-braid group is free, using only the cubical structure and avoiding discrete Morse theory.
We then focus on graph $2$-braid groups. Exploiting the structure of the special square complex \(UD_2(\graf)\) through its maximal product subcomplexes and the intersection complex introduced in \cite{Oh22}, we show that, under natural connectivity and embeddedness assumptions, the union of maximal product subcomplexes of \(UD_2(\graf)\) captures essential quasi-isometry information about \(\bbB_2(\graf)\).
Applying this framework to an infinite family of graphs, we obtain infinitely many graph \(2\)-braid groups that are quasi-isometric to right-angled Artin groups and infinitely many that are not, extending the examples of \cite{Oh22}, and we indicate new phenomena in relative hyperbolicity.2026-02-17T15:05:18ZComments are welcome!Byung Hee AnSangrok Ohhttp://arxiv.org/abs/2603.07876v1A Generalization of Pretzel Links via Spatial Graphs2026-03-09T01:23:49ZIn this paper, we introduce \textit{graph-pretzel links}, a generalization of classical pretzel links based on spatial graph projections. As our main result, we investigate a subfamily associated with the complete graph on four vertices to construct an infinite family of distinct ribbon knots. Furthermore, although they all share a trivial Alexander polynomial, they can be distinguished from one another by their Jones polynomials.2026-03-09T01:23:49Z8 pages, 6 figuresKotaro Shojihttp://arxiv.org/abs/2603.07808v1An Efficient Triangulation of $\mathbb{R}P^5$2026-03-08T21:22:15ZWe present a $6$-dimensional centrally symmetric simplicial polytope for which the antipodal quotient of its boundary forms a $24$-vertex triangulation of the $5$-dimensional real projective space. This $6$-polytope is highly symmetric with an automorphism group of order $192$, and is of independent interest. We conjecture that our construction uses the fewest number of vertices among all triangulations of $\mathbb{R}P^5$. Our method also produces two triangulations of $\mathbb{R}P^6$ on $45$ and $49$ vertices; both improve the previously best known construction in dimension $6$ that used $53$ vertices.2026-03-08T21:22:15Z10 pages, 3 figuresDan GuyerStefan SteinerbergerYirong Yanghttp://arxiv.org/abs/2603.07807v1Manifold models for hyperbolic graph braid groups on three strands2026-03-08T21:19:44ZGiven a finite graph $Γ$, the associated graph braid group $B_n(Γ)$ is the fundamental group of the unordered $n$-point configuration space of $Γ$. Genevois classified which graph braid groups are Gromov hyperbolic and asked the question: When do these groups arise as $3$-manifold groups? In this paper, we give a partial answer for $B_3(Θ_m)$, where $Θ_m$ is the generalized $Θ$-graph, a suspension of $m$-points. We show that $B_3(Θ_5)$ is a $3$-manifold group while $B_3(Θ_m)$ is not even quasi-isometric to a $3$-manifold group for $m \geq 7$.2026-03-08T21:19:44Z12 pages, 10 figuresSaumya JainHuong Vohttp://arxiv.org/abs/2603.07785v1On the isotopy classes of embeddings of surfaces in 5-manifolds2026-03-08T20:05:55ZLet f, g be two homotopic smooth embeddings of a closed surface in a closed oriented 5-dimensional manifold. We show that if f admits a common algebraic dual 3-sphere, or if the fundamental group of the ambient space is trivial, then f and g must be isotopic. This generalizes a result of Kosanovic, Schneiderman, and Teichner. The proof is based on the construction of an invariant that classifies the isotopy classes of smooth embeddings of surfaces in ambient 5-dimensional manifolds within a homotopy class, which may be of independent interest. The invariant is defined in terms of the homotopy groups of the 5-dimensional manifold.2026-03-08T20:05:55Z17 pages, 6 figuresRuoyu Qiaohttp://arxiv.org/abs/2505.19251v4Skein theory for the Links-Gould polynomial2026-03-08T11:29:03ZBuilding further on work of Marin and Wagner, we give a cubic braid-type skein theory of the Links--Gould polynomial invariant of oriented links and prove that it can be used to evaluate any oriented link, adding this polynomial to the list of polynomial invariants that can be computed by skein theory. As a consequence, we prove that this skein theory is also shared by the $V_1$-polynomial defined by two of the authors, deducing the equality of the two link polynomials. This implies specialization properties of the $V_1$-polynomial to the Alexander polynomial and to the $\mathrm{ADO}_3$-invariant, the fact that it is a Vassiliev power series invariant, as well as a Seifert genus bound for knots.2025-05-25T17:58:55Z29 pagesStavros GaroufalidisMatthew HarperRinat KashaevBen-Michael KohliJiebo SongGuillaume Taharhttp://arxiv.org/abs/2603.07565v1Fundamental Groups of Genus-$0$ Quadratic Differential Strata via Exchange Graphs2026-03-08T10:02:06ZWe investigate how exchange-graph techniques can be used to study the topology of strata of meromorphic quadratic differentials. The exchange graph provides natural generators for the fundamental group. By extending the combinatorics of triangulations to weighted mixed-angulations, we generalise the familiar relations arising in the simple-zero case and introduce an additional relation that appears only around higher-order zeroes. In the genus-zero case with four singularities, we show that these relations suffice to give explicit presentations of the fundamental group.2026-03-08T10:02:06ZJeonghoon Sohttp://arxiv.org/abs/2603.07337v1Khovanov Homology for Tangles in Connected Sums2026-03-07T20:55:12ZKhovanov homology is an invariant for links in the three sphere that categorizes the Jones polynomial. We extend Khovanov's construction to links in 3-manifolds that are connected sums of orientable interval bundles over surfaces. Cutting the 3-manifold along a separating sphere, we construct type D and type A structures that are invariants of tangles in the two halves following the work of Roberts. Gluing the type D and type A structures along the common boundary recovers the Khovanov homology of the link.2026-03-07T20:55:12Z48 pages, 26 figures, submitted to Quantum TopologyAlan Du