https://arxiv.org/api/1ZKEzR9lccfwCzz+77+S+OKKBm8 2026-06-22T00:39:55Z 25838 240 15 http://arxiv.org/abs/2605.20365v1 2026-05-19T18:18:11Z

We formalize a ramification theory for finite covers of knot exteriors. Given a knot group $G_K$ and a finite-index subgroup $U\le G_K$, we define meridional inertia subgroups $U\cap g\langle m\rangle g^{-1}$ and the global ramification subgroup $M_U\triangleleft U$ as their normal closure. We then analyze $M_U$ from three complementary viewpoints: (1) finite quotients, where $U/M_U$ is shown to be the universal ``maximal meridionally unramified'' quotient of $U$; (2) profinite completions, where we identify the closed ramification subgroup $\widehat M_{\widehat U}$ as the closed normal subgroup generated by closed inertia and prove that meridian-preserving isomorphisms of profinite completions preserve inertia and ramification; (3) cohomology, where ``unramified'' $H^1$-classes (discrete and profinite) are characterized as those vanishing on all inertia subgroups, in direct analogy with number-theoretic inertia conditions in Galois cohomology.

2026-05-19T18:18:11Z Marina Palaisti Federico W. Pasini http://arxiv.org/abs/2512.13329v3 2026-05-19T18:11:00Z

Building on the approach of Bar-Natan and Van der Veen to universal knot invariants using (perturbed) Gaussian functions, we develop a Gaussian model to compute the Alexander polynomial $Δ_{\mathcal{K}}(T)$ of an oriented knot $\mathcal{K}$ in $S^3$. Using the Heisenberg algebra and a tensor-contraction formalism, we associate to a knot a Gaussian function whose partition function recovers $Δ_{\mathcal K}(T)$. Here, a presentation matrix of the Alexander module plays the role of a precision matrix of the Gaussian function.

2025-12-15T13:41:24Z 18 pages, 1 figure, v2: fixed typos, added XC-algebra axiom, v3: improved proof theorem 4.6 Boudewijn Bosch http://arxiv.org/abs/2605.19788v1 2026-05-19T12:52:46Z

We prove the existence of a non-linear recursive relation for the volume of the moduli space of hyperbolic spheres with conical points or geodesic boundaries. This relation generalizes a result by Zograf, where the same was derived for cusps.

2026-05-19T12:52:46Z Michele Ancona UniCA, LJAD Damien Gayet UGA http://arxiv.org/abs/2604.25713v2 2026-05-19T04:45:57Z

We introduce an energy functional for Legendrian knots in the 3-dimensional Heisenberg group $\mathcal{H}$, which serves as a sub-Riemannian analog of the Möbius invariant knot energy in Euclidean 3-space introduced by the second author. The energy is obtained by regularizing a divergent integral of the potential of order -2 with respect to the Korányi distance on $\mathcal{H}$; this choice of distance is essential for the energy to be invariant under the action of PU(2,1). We characterize $\mathbb{R}$-circles in $\mathcal{H}$ as the minimizers of the energy, and establish a Heisenberg analog of the Doyle--Schramm cosine formula. We also show that the energy integrand admits an expression in terms of a complex-valued 2-form on the complement of the diagonal in $\mathcal{H}\times\mathcal{H}$, providing a partial analog of the infinitesimal cross ratio interpretation known from the classical setting.

2026-04-28T14:41:17Z 19 pages; Typos corrected Yoshihiko Matsumoto Jun O'Hara http://arxiv.org/abs/2509.07429v3 2026-05-19T02:53:22Z

Motivated by and extending the technical results in our earlier work on symplectic Calabi-Yau $4$-manifolds, a general and systematic approach for studying certain unions of symplectic embedded surfaces in a rational $4$-manifold $X=CP^2\# N\overline{CP^2}$ is formulated, which may find applications in a broader range of problems. A distinct feature of this method is that it is computer-aided. We address several fundamental theoretical questions concerning the computational aspect. On the other hand, we also establish a symplectic analog of Cremona transformations from algebraic geometry, which is another fundamental feature and a main technical tool of this method. For an illustration, we give a new proof that a certain line arrangement in $CP^2$, called Fano planes, cannot exist in the symplectic category. The nonexistence of Fano planes in the algebraic category follows from a theorem of Hirzebruch, while in the topological category, including the symplectic category, it was first proved by Ruberman and Starkston. Our proof for the symplectic category is independent to both, and is by combining the Cremona transformation technique with Gromov's theory of pseudoholomorphic curves.

2025-09-09T06:34:06Z In this version, we corrected some errors in the statement of Theorem 1.11 and gave a complete proof for the theorem. Much improved exposition, with several figures added. No changes to the main results of the paper. 59 pages Weimin Chen http://arxiv.org/abs/2509.19074v2 2026-05-18T20:11:26Z

We determine when an exotic sphere $Σ$ of dimension $d\not \equiv 1 (4)$ can be detected through the homotopy type of its truncated Disc-presheaf. The latter records the diagram of framed configuration spaces of bounded cardinality in $Σ$ with natural point-forgetting and -splitting maps between them, and it gives rise to the finite stages in Goodwillie--Weiss' embedding calculus tower. Our proof involves three ingredients that could be of independent interest: a gluing result for Disc-presheaves of manifolds divided into two codimension zero submanifolds, a version of Atiyah duality in the context ofDisc-presheaves, and a computation of the finite residual of the mapping class group of the connected sums $\sharp^g(S^{2k+1}\times S^{2k+1})$.

2025-09-23T14:34:32Z 28 pages, 1 figure, to appear in Forum of Mathematics Sigma Forum of Mathematics, Sigma 14 (2026) e91 Manuel Krannich Alexander Kupers Fadi Mezher 10.1017/fms.2026.10244 http://arxiv.org/abs/2505.01398v3 2026-05-18T19:43:58Z

Recently, a plethora of multivariable knot polynomials were introduced by Kashaev and one of the authors, by applying the Reshetikhin-Turaev functor to rigid $R$-matrices that come from braided Hopf algebras with automorphisms. We study the extension of these knot invariants to links, and use this to identify some of them with known link invariants, as conjectured in that same recent work.

2025-05-02T17:19:30Z SIGMA 22 (2026), 050, 22 pages Stavros Garoufalidis Matthew Harper Ben-Michael Kohli Jiebo Song Guillaume Tahar 10.3842/SIGMA.2026.050 http://arxiv.org/abs/2605.18994v1 2026-05-18T18:12:43Z

Fibered multilinks are a generalization of classical fibered knots and open books that arise in the study of surface singularities and Milnor fibrations. We prove that if the canonical contact structure on the link of a surface singularity is supported by a planar multilink open book, then the singularity must be rational, and that sandwiched singularities are characterized by admitting planar multilinks with a component of multiplicity 1. We also show that some topological properties of planar open books extend to planar multilinks: symplectic fillings are negative definite and cannot contain symplectic surfaces of positive genus, and the image of the Heegaard Floer contact invariant vanishes in $HF_{red}$. Our results for singularities are based on these topological considerations, partly using Min--Roy--Wang's work on fillings of planar spinal open books, as well as the combinatorics of lattice embeddings.

2026-05-18T18:12:43Z 23 pages, 4 figures Márton Beke Olga Plamenevskaya http://arxiv.org/abs/2605.18649v1 2026-05-18T16:56:04Z

Given a closed oriented surface $Σ$ of genus at least two, the Goldman trace map defines a function from the vector space generated by the free homotopy classes of oriented closed curves to the Poisson algebra of regular functions on the $G$-character variety where $G$ is a reductive (real or complex) linear Lie group. In this article, we prove that this map is never injective. For each $n$, we construct an explicit nonzero element of the vector space whose associated trace function vanishes on every homomorphism from $π_1(Σ)$ to $GL_n$. The construction is based on the Amitsur-Levitzki identity, together with a choice of words in a free subgroup of $π_1(Σ)$, ensuring that no cancellation occurs at the level of free homotopy classes. This gives a uniform family of explicit kernel elements, proving Goldman's predicted non-injectivity of the trace map in arbitrary rank.

2026-05-18T16:56:04Z Deblina Das Arpan Kabiraj http://arxiv.org/abs/2605.18558v1 2026-05-18T15:39:24Z

Let a three-dimensional hyperbolic polyhedron $\mathcal P$ have finite volume $\mathrm{vol}(\mathcal P)$ and a finite number of vertices $\mathrm{ver}(\mathcal P)$. We call its normalized volume the quantity $ω(\mathcal P) = \mathrm{vol}(\mathcal P)/ \mathrm{ver}(\mathcal P)$. If $\mathcal{R}$ is some set of hyperbolic polyhedra, then we assign to it the set of normalized volumes $Ω(\mathcal R) = \{ ω(\mathcal P) \mid \mathcal P \in \mathcal R \}$, which we call the spectrum of normalized volumes of the set $\mathcal R$. In the paper we consider the set $\mathcal R_{comp}$ of compact right-angled hyperbolic polyhedra and the set $\mathcal R_{ideal}$ of ideal right-angled hyperbolic polyhedra. We prove that the spectrum $Ω(\mathcal R_{ideal})$ belongs to the interval $\left[\frac{1}{6} v_{\mathrm{oct}}, \frac{1}{2} v_{\mathrm{oct}} \right]$ and both bounds are sharp. Moreover, the spectrum is discrete in $\left[ \frac{1}{6} v_{\mathrm{oct}}, \frac{1}{4} v_{\mathrm{oct}} \right)$ and everywhere dense in $\left[ \frac{1}{4} v_{\mathrm{oct}}, \frac{1}{2} v_{\mathrm{oct}} \right]$, where $v_{\mathrm{oct}}$ is the volume of the regular ideal hyperbolic octahedron. We also establish that the spectrum $Ω(\mathcal R_{comp})$ belongs to the interval $\left[ \frac{5}{192} v_{\mathrm{oct}}, \frac{5}{8} v_{\mathrm{tet}} \right]$ and the upper bound is sharp. Moreover, on the interval $\left[ \frac{5}{192} v_{\mathrm{oct}}, \frac{1}{32} v_{\mathrm{oct}} \right)$ the spectrum is discrete, while on the interval $\left[ \frac{5}{16} v_{\mathrm{tet}}, \frac{5}{8} v_{\mathrm{tet}} \right]$ it is everywhere dense, where $v_{\mathrm{tet}}$ is the volume of the regular ideal hyperbolic tetrahedron.

2026-05-18T15:39:24Z 20 pages, 10 figues A. Egorov A. Vesnin http://arxiv.org/abs/2511.06784v2 2026-05-18T14:27:51Z

We establish a structure theorem for rational maps $f:\overline{\mathbb{C}}\to\overline{\mathbb{C}}$: the pullback metric $f^{*}{\rm d}s_{0}^{2}$ of the standard metric ${\rm d}s_{0}^{2}$ admits a canonical decomposition into finitely many footballs -- Riemann spheres with two antipodal conical singularities of equal angle -- by cutting along a finite set of geodesics. This geometric decomposition provides a new framework for the Hurwitz existence problem. As an application, we prove that a collection $\mathcal{D}$ of $k$ nontrivial partitions of a positive integer $d$ satisfying the Riemann--Hurwitz condition is realizable as the branch datum of a rational map whenever $k>l+1$, where $l$ is the minimum partition length. This unifies the classical results of Thom ($l = 1$), Pakovich ($l = 2$) and Barański ($k\geq d$), and confirms a conjecture of Zheng in an important special case.

2025-11-10T07:15:53Z 30 pages,12 figures Zhiqiang Wei http://arxiv.org/abs/2504.06929v4 2026-05-18T11:06:13Z

Using the picture deformation technique of De Jong-Van Straten we show that no singularity whose resolution graph has 3 or 4 large nodes, i.e., nodes satisfying d(v)+e(v)\leq -2, has a QHD smoothing. This is achieved by providing a general reduction algorithm for graphs with QHD smoothings, and enumeration. New examples and families are presented, which admit a combinatorial QHD smoothing, i.e. the incidence relations for a sandwich presentation can be satisfied. We also give a new proof of the Bhupal-Stipsicz theorem on the classification of weighted homogeneous singularities admitting QHD smoothings with this method by using cusp singularities.

2025-04-09T14:36:41Z 23 pages, 15 figures, final version, accepted to Pacific Journal of Mathematics Márton Beke http://arxiv.org/abs/2604.19644v2 2026-05-18T09:57:50Z

We establish a colorful and, more generally, matroidal solution to the problem of Goodman and Pollack on the existence of an $\mathbb{F}$-affine $k$-dimensional transversal to a family of convex sets in $\mathbb{F}^d$, where $0 \le k \le d - 1$ is an integer and $\mathbb{F} \in \{\mathbb{R}, \mathbb{C}\}$ is a field. Our results unify several classical and recent theorems. In the case $k=0$, we recover the colorful Helly theorem of Lovász, together with a matroidal extension due to Kalai and Meshulam. In the opposite extremal case $k=d-1$, we obtain Holmsen's colorful and matroidal generalization of the Goodman-Pollack-Wenger theorem. Additionally, we extend the recent noncolorful solution of the Goodman-Pollack problem by McGinnis and the author. As the main application, we obtain a matroidal and colorful Dol'nikov-type transversal theorem. Our methods are topological. We introduce matroidal joins, defined as homotopy colimits of diagrams over face posets of matroidal complexes, and derive estimates on their connectivity. The proof additionally relies on adaptations of nonexistence results for equivariant maps from Stiefel manifolds to spheres.

2026-04-21T16:33:20Z 16 pages, 3 figures; v2 includes additional corollaries and one new figure Nikola Sadovek http://arxiv.org/abs/2203.15394v6 2026-05-18T09:51:20Z

We consider the mapping $b_L\colon\mathcal{T} \to χ$ from the Fricke-Teichmüller space $\mathcal{T}$ into the $\mathrm{PSL}_2\mathbb{C}$-character variety $χ$ of the surface, obtained by bending Fuchsian representations along a fixed measured lamination $L$. We prove that this mapping is an equivariant symplectic real-analytic embedding, and, for almost all measured laminations, proper. We also show that this ``bending map'' $b_L\colon \mathcal{T} \to χ$ extends continuously almost-everywhere to the canonical inclusion map from the Thurston boundary of $\mathcal{T}$ into the Morgan-Shalen boundary of $χ$. Moreover, we ``complexify" this bending map in a geometric manner. Namely, we symplectically embed this real-analytic subvariety ${\rm Im} b_L$ into the product variety $χ\times χ$ by the diagonal mapping twisted by complex conjugation. Then we construct a closed $\mathbb{C}$-symplectic complex-analytic subvariety of $χ\times χ$ containing $\mathrm{Im} b_L$ as a half-dimensional real-analytic subvariety.

2022-03-29T09:39:30Z 53 pages, 11 figures Shinpei Baba http://arxiv.org/abs/2605.17874v1 2026-05-18T05:36:52Z

We introduce a new type of singularity for smooth maps from $4$-manifolds to surfaces, called an $M$-singularity, whose critical locus is a circle contained in a single fiber. We show that the monodromy around an $M$-singularity is a crosscap transposition in the mapping class group of a non-orientable surface. We also introduce $M$-fibrations, namely smooth maps whose singularities consist only of $M$-singularities, and prove that relations among crosscap transpositions give rise to such fibrations on non-orientable $4$-manifolds. We then study handle decompositions associated with $M$-fibrations and their orientation double coverings. In particular, we describe the attaching circles and framings of the two $2$-handles arising from the orientation double cover of an $M$-singularity. Using this description, we construct a closed non-orientable $4$-manifold which admits an $M$-fibration but admits no Lefschetz fibration. We further discuss singularity-theoretic properties of the local model of an $M$-singularity, namely its infinite $\mathcal{A}_e$-codimension and an explicit stable perturbation.

2026-05-18T05:36:52Z 16 pages, 4 figures Kenta Hayano