http://arxiv.org/api/+Cx6TbsZbfueLoAIFdR2ULkp39A 2025-04-22T00:00:00-04:00 23969 120 15 http://arxiv.org/abs/2504.05010v1 2025-04-07T12:37:48Z 2025-04-07T12:37:48Z

The discrete isoperimetric inequality states that among all n -gons with a fixed area, the regular n -gon has the least perimeter. We prove analogues of the discrete isoperimetric inequality (involving circumradius or inradius) for cyclic and tangential polygons in hyperbolic geometry, considering both single and multiple polygons. Furthermore, we establish two versions of the isoperimetric inequality for multiple polygons in hyperbolic geometry with some restriction on their area or perimeter.

Subash Chandra Behera Shiv Parsad 10 pages, 3 figures http://arxiv.org/abs/2504.04875v1 2025-04-07T09:31:20Z 2025-04-07T09:31:20Z

In this note, we will compute some Gromoll filtration groups $\Gamma^{n+1}_{i+1}$ for certain $i$ when $8\leq n \leq 17$ and $n=4k+2\geq 18$. We will also use these results to obtain some information of $\pi_1\mathrm{Diff}_{\partial} (D^n)$ when $6\leq n \leq 15$ and $\pi_2 \mathrm{Diff}_{\partial} (D^{4k+3})$ when $4k+3\geq 15$.

Wei Wang 27 pages, comments and suggestions are welcome! http://arxiv.org/abs/2501.09942v2 2025-04-07T02:54:26Z 2025-01-17T03:45:23Z

In this paper, we give a method to evaluate minimum numbers of Dehn colors for knots by using symmetric local biquandle cocycle invariants. We give answers to some questions arising as a consequence of our previous paper [6]. In particular, we show that there exist knots which are distinguished by minimum numbers of Dehn colors.

Eri Matsudo Kanako Oshiro Gaishi Yamagishi http://arxiv.org/abs/2501.09941v3 2025-04-07T02:47:16Z 2025-01-17T03:42:58Z

In this paper, we consider minimum numbers of colors of knots for Dehn colorings. In particular, we will show that for any odd prime number $p$ and any Dehn $p$-colorable knot $K$, the minimum number of colors for $K$ is at least $\lfloor \log_2 p \rfloor +2$. Moreover, we will define the $\R$-palette graph for a set of colors. The $\R$-palette graphs are quite useful to give candidates of sets of colors which might realize a nontrivially Dehn $p$-colored diagram. In Appendix, we also prove that for Dehn $5$-colorable knot, the minimum number of colors is $4$.

Eri Matsudo Kanako Oshiro Gaishi Yamagishi http://arxiv.org/abs/2504.04593v1 2025-04-06T19:31:17Z 2025-04-06T19:31:17Z

The topic of fixed points in digital metric spaces continues to draw publications with assertions that are incorrect, incorrectly proven, trivial, or incoherently stated. We continue the work of our earlier papers that discuss publications with bad assertions concerning fixed points of self-functions on digital images.

Laurence Boxer All quoted and paraphrased materials are cited http://arxiv.org/abs/2412.16810v2 2025-04-06T16:58:11Z 2024-12-22T00:44:29Z

Given a partition $\mu$ of $-2$, the stratum $\mathcal{H}(\mu)$ parametrizes meromorphic differential one-forms on the Riemann sphere $\mathbb{CP}^{1}$ with~$n$ zeros and $p$ poles of orders prescribed by $\mu$. The isoresidual fibration is defined by assigning to each differential in $\mathcal{H}(\mu)$ its configuration of residues at the poles. In the case of differentials with $n=2$ zeros, generic isoresidual fibers are complex curves endowed with a canonical translation structure, which we describe extensively in this paper. Quantitative characteristics of the translation structure on isoresidual fiber curves, including the orders of the singularities and a period central charge encapsulating the linear dependence of periods on the underlying configuration of residues, provide rich discrete invariants for these fibers. We also determine the Euler characteristic of generic isoresidual fiber curves from intersection-theoretic computations, relying on the multi-scale compactification of strata of differentials. In particular, we describe a wall and chamber structure for the Euler characteristic of generic isoresidual fiber curves in terms of the partition $\mu$. Additionally, we classify the connected components of generic isoresidual fibers for strata in genus zero with an arbitrary number of zeros.

Dawei Chen Quentin Gendron Miguel Prado Guillaume Tahar 51 pages, 10 figures http://arxiv.org/abs/2406.09108v2 2025-04-06T11:45:17Z 2024-06-13T13:36:23Z

We prove a simple identity relating the length spectrum of a Riemann surface to that of the same surface with an arbitrary number of additional cusps. Our proof uses the Brownian loop measure introduced by Lawler and Werner. In particular, we express the total mass of Brownian loops in a fixed free homotopy class on any Riemann surface in terms of the length of the geodesic representative for the complete constant curvature metric. This expression also allows us to write the electrical thickness of a compact set in $\mathbb C$ separating $0$ and $\infty$, or the Velling--Kirillov K\"ahler potential, in terms of the Brownian loop measure and the zeta-regularized determinant of Laplacian as a renormalization of the Brownian loop measure with respect to the length spectrum.

Yilin Wang Yuhao Xue 27 pages, 2 figures. To appear in Communications on Pure and Applied Mathematics http://arxiv.org/abs/2504.04434v1 2025-04-06T10:08:52Z 2025-04-06T10:08:52Z

Gems are a particular type of edge-colored graphs, dual to colored triangulations, which represent compact PL-manifolds of arbitrary dimension, both in the closed and boundary case. In the present paper, gem theory is used to approach trisections of PL 4-manifolds, so as to prove that: - the graph-defined invariant regular genus is an upper bound for the trisection genus of each closed 4-manifold; - a trisection diagram can be directly obtained from any gem of a closed 4-manifold. Moreover, suitable extensions of the above results are presented for compact 4-manifolds with connected boundary.

Maria Rita Casali Paola Cristofori 16 pages, 3 figures http://arxiv.org/abs/2504.04407v1 2025-04-06T08:14:53Z 2025-04-06T08:14:53Z

We prove that a family of complex hyperbolic ultra-parallel $[m_1, m_2, m_3]$-triangle group representations, where \( m_3 > 0 \), is discrete and faithful if and only if the isometry \( R_1(R_2R_1)^nR_3 \) is non-elliptic for some positive integer \( n \). Additionally, we investigate the special case where \( m_3 = 0 \) and provide a substantial improvement upon the main result by Monaghan, Parker, and Pratoussevitch.

Wei Liao Baohua Xie 32 pages, 7 figures http://arxiv.org/abs/2504.04184v1 2025-04-05T14:08:39Z 2025-04-05T14:08:39Z

In this note we clarify general properties of the Hausdorff-like metric on the power set ${\cal S}(G)$ of a group $G$ induced from word length norm and obtain some results on quasi-isometries between some subspaces of ${\cal S}(G)$ and ${\cal S}(H)$ for a group epimorphism $f : G \to H$, when ${\cal S}({\rm Ker}\,f)$ is metrically bounded.

Tatsuhiko Yagasaki 24 pages http://arxiv.org/abs/2203.15394v4 2025-04-05T03:32:37Z 2022-03-29T09:39:30Z

We consider the mapping $b_L\colon\mathcal{T} \to \chi$ of the Fricke-Teichm\"uller space $\mathcal{T}$ into the $\mathrm{PSL}_2\mathbb{C}$-character variety $\chi$ of the surface, obtained by holonomy representations of bent hyperbolic surfaces 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. In addition, we show that this "being map'' $b_L\colon \mathcal{T} \to \chi$ continuously extends to a mapping from Thurston's boundary of $\mathcal{T}$ to the Morgan-Shalen boundary of $\chi$ as the identity map almost everywhere. Moreover, we complexify the real analytic subvariety ${\rm Im}\, b_L$ after symplecitcaly embedding it in the product variety $\chi \times \chi$ by the diagonal mapping twisted by complex conjugation. More precisely, we geometrically construct a closed $\mathbb{C}$-symplectic complex analytic subvariety of $\chi \times \chi$ containing ${\rm Im}\, b_L$ as a half-dimensional real analytic subvariety.

Shinpei Baba Theorem B and E are added. 47 pages, 11 figures http://arxiv.org/abs/2504.03968v1 2025-04-04T22:22:02Z 2025-04-04T22:22:02Z

We construct and study the skein lasagna module obtained by importing the Bar-Natan Khovanov homology package. For 4-manifolds satisfying a non-vanishing condition, we produce pairs of exotic surfaces (with boundary) by using the behavior of skein lasagna gluing maps associated to connect sums of 4-manifolds. We show that one internal stabilization is generally not enough for these exotic knotted surfaces, generalizing results of Hayden to 4-manifolds that contain homologically diverse surfaces admitting primitive fillings.

Ian A. Sullivan 18 pages, 4 figures, Comments welcome http://arxiv.org/abs/2305.12548v3 2025-04-04T22:02:30Z 2023-05-21T19:19:46Z

We show that the complex of homologous curves of a closed, oriented surface of genus g is (g-3)--acyclic.

Daniel Minahan Major revision. Simplified arguments and added citations. Submitted version http://arxiv.org/abs/2307.07082v2 2025-04-04T21:46:36Z 2023-07-13T22:34:42Z

We prove that second rational homology of the Torelli group of an orientable closed surface of genus g is finite dimensional for g at least 51. This rules out the simplest obstruction to the Torelli group being finitely presented and provides a partial answer to a question of Bestvina.

Daniel Minahan This work has been subsumed and significantly improved upon by work of the author and Putman. This work is a permanent preprint http://arxiv.org/abs/2504.03942v1 2025-04-04T21:19:23Z 2025-04-04T21:19:23Z

We present an algorithm for computing the prime factorisation of a knot, which is practical in the following sense: using Regina, we give an implementation that works well for inputs of reasonable size, including prime knots from the $19$-crossing census. The main new ingredient in this work is an object that we call an "edge-ideal triangulation", which is what our algorithm uses to represent knots. As other applications, we give an alternative proof that prime knot recognition is in coNP, and present some new complexity results for triangulations. Beyond knots, our work showcases edge-ideal triangulations as a tool for potential applications in $3$-manifold topology.

Alexander He Eric Sedgwick Jonathan Spreer 36 pages, 14 figures. A short version will appear in the proceedings for SoCG 2025; this full version includes details omitted from the SoCG version