https://arxiv.org/api/9NGlMc6+B15v9OmjtgWQ2zD1Hd0 2026-06-22T14:04:59Z 25838 420 15 http://arxiv.org/abs/2509.04114v3 2026-04-30T06:04:20Z

Charts are oriented labeled graphs in a disk. Any simple surface braid (2-dimensional braid) can be described by using a chart. Also, a chart represents an oriented closed surface embedded in 4-space. In this paper, we investigate embedded surfaces in 4-space by using charts. Let $Γ$ be a chart, and we denote by $Cross(Γ)$ the set of all the crossings of $Γ$, and we denote by $Γ_m$ the union of all the edges of label $m$. For a 4-chart $Γ$, if each connected component of the set $(Γ_1\cup Γ_3)-Cross(Γ)$ is acyclic, then $Γ$ is said to be {\it linear}. In this paper, we shall show that any linear minimal $4$-chart with three crossings is lor-equivalent (Label-Orientation-Reflection equivalent) to the chart describing a $2$-twist spun trefoil knot by omitting free edges and hoops.

2025-09-04T11:24:20Z 37 pages, 34 figures Teruo Nagase Akiko Shima http://arxiv.org/abs/2604.27397v1 2026-04-30T04:07:47Z

In a paper of Mathews, an isomorphism is constructed between two-component complex spinors and horospheres in H^3 carrying `spin decorations'. A recent arXiv preprint of Mathews and Varsha arXiv:2412.06572 extends this result to the case of `quaternionic spinors' and spin decorated horospheres in H^4. The following work generalises these results to an equivariant correspondence between two-component `Lipschitz spinors' with entries drawn from the Lipschitz group of a Clifford algebra, null multiflags in generalised Minkowski space, and higher-dimensional horospheres that carry an extension of the Mathews spin decoration. This correspondence allows spinors to be applied to horospheres in any dimension of hyperbolic space.

2026-04-30T04:07:47Z 73 pages, 2 figures, adapted from the author's thesis available at https://doi.org/10.26180/31361224 Orion Zymaris http://arxiv.org/abs/2604.23621v2 2026-04-30T02:22:22Z

We study a family of scale-invariant $p$-densities of knot types in $R^3$, defined as the ratio of length to an $L^p$-type spread of pairwise distances along a curve. The first point of the paper is that the unconstrained theory has a strong degeneration. Local knotting shows that, for every $p\in(-1,\infty]$ and every knot type $K$, the unconstrained $p$-density of $K$ is no larger than that of the unknot. Using the sharp mean-chord inequality of Exner--Harrell--Loss, we show that this degeneration is complete throughout the range $-1<p\le2$: for $p\ne0$ one has \[ ρ_p(K)= π\left( \fracπ{\int_0^π\sin^pθ\,dθ} \right)^{1/p}, \] while $ρ_0(K)=2π$. At the endpoint $p=\infty$, one also has $ρ_\infty(K)=2$ for every knot type $K$. The remaining finite range $p>2$ is analytically different: the round circle is not the relevant extremal curve in general, and knot-type independence in this range is left as a separate extremal problem. These degenerations motivate a constrained refinement. We introduce ropelength-windowed $p$-densities by imposing the thickness normalization $Thi(γ)\ge 1$ and the length bound $len(γ)\le λRop(K)$. These constraints prevent the collapse caused by arbitrarily small local knotting. We prove basic monotonicity properties and an existence theorem for minimizers of the ropelength-windowed problem. We also retain the polygonal approximation theorem for the unconstrained densities, showing that the continuous and polygonal theories agree asymptotically as the number of edges tends to infinity. The paper concludes with a list of open questions concerning the finite high-exponent range, constrained density spectra, thickness-controlled polygonal approximation, and regularized inverse-power extensions.

2026-04-26T09:29:41Z Makoto Ozawa http://arxiv.org/abs/2507.23239v3 2026-04-30T01:26:02Z

We establish a general min-max type theorem that produces minimal surfaces with prescribed genus in 3-manifolds with positive Ricci curvature. An important intermediate step is to show that, in a generic metric with positive Ricci curvature, any family of smooth embedded surfaces, possibly with finitely many singularities, can be deformed into a certain topologically optimal family. Results in this paper will be crucial to our program on the construction of multiple minimal surfaces with prescribed genus in 3-spheres via topological methods.

2025-07-31T04:34:22Z The v1 manuscript has been split into two parts: the construction of a topologically optimal family is contained in v2, while the existence result for genus 2 minimal surfaces is strengthened and superseded by arXiv:2601.01736. v3: expanded the discussion of the main ideas in section 1.1 Adrian Chun-Pong Chu Yangyang Li Zhihan Wang http://arxiv.org/abs/2604.27213v1 2026-04-29T21:35:53Z

We initiate the study of Reidemeister hardness of Legendrian unknot front projections. Using normal rulings, we obstruct several infinite families of hard unknot diagrams from being drawn with max-tb unknot fronts, along with 1.7 million of the 2.6 million hard unknot diagrams studied in \cite{applebaum2024unknottingnumberhardunknot}. We construct infinitely many smoothly hard max-tb unknot diagrams, and bound their minimum possible writhe. With respect to these bounds, our constructions are conjecturally sharp.

2026-04-29T21:35:53Z 30 pages + references, 42 figures. Comments welcome Joseph Breen Austin Christian Angela Wu http://arxiv.org/abs/2604.27029v1 2026-04-29T14:58:15Z

In this paper we show that the $θ$ invariant generalizes the Rozansky-Overbay invariant.

2026-04-29T14:58:15Z Ramana Murugesan http://arxiv.org/abs/2507.20940v2 2026-04-29T14:30:23Z

A key question for $4$-manifolds $M$ admitting symplectic structures is to determine which cohomology classes $α\in H^2(M,\mathbb R)$ admit a symplectic representative. The collection of all such classes, the symplectic cone $\mathcal C_M$, is a basic smooth invariant of $M$. This paper describes the symplectic cone for elliptic surfaces with positive Euler number.

2025-07-28T15:54:16Z 54 pages. Comments welcome! (This version differs from an earlier version by changing the focus from elliptic surfaces without multiple fibers to elliptic surfaces with positive Euler number.) Josef G. Dorfmeister Tian-Jun Li http://arxiv.org/abs/2604.26596v1 2026-04-29T12:27:31Z

The embeddings of complex plane projective curves in the plane are a cornerstone of the topological study of algebraic varieties. In this work, we deal with the local and global aspects of these embeddings, with a special attention to its historical progress.

2026-04-29T12:27:31Z Enrique Artal Bartolo http://arxiv.org/abs/2210.06612v2 2026-04-29T10:25:55Z

We show that every non-trivial strongly quasipositive link is smoothly concordant to infinitely many pairwise non-isotopic strongly quasipositive links. In contrast to our result, Baker conjectured that smoothly concordant strongly quasipositive fibered knots are isotopic. Our construction uses a satellite operation whose companion is a slice knot with maximal Thurston-Bennequin number -1.

2022-10-12T22:36:37Z V2: 14 pages, 5 figures, comments welcome! Corresponds to version accepted for publication in Proc. Amer. Math. Soc Paula Truöl http://arxiv.org/abs/2603.07955v3 2026-04-29T02:19:47Z

We 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. In addition, we explain a self-improving workbook-driven extension of the pipeline that systematically improves unknotting number upper bounds on the list of prime knots.

2026-03-09T04:43:59Z 19 pages, many figures, comments welcome Anne Dranowski Yura Kabkov Daniel Tubbenhauer http://arxiv.org/abs/2604.26177v1 2026-04-28T23:47:36Z

We obtain a complete classification of components of strata of holomorphic and meromorphic k-differentials. We show that, when genus is at least two and outside of explicit exceptions when k < 4, there is one primitive nonhyperelliptic component unless k is odd and all singularities have even order, in which case there are two distinguished by their Arf invariant. The exceptions include new sporadic components of strata of cubic differentials. Our work provides a new proof of earlier results of Kontsevich-Zorich, Boissy, Lanneau, and Chen-Gendron when k = 1, 2. The proofs are almost purely algebraic, relying on the multiscale compactification of Bainbridge-Chen-Gendron-Grushevsky-Moller. This answers a question of Chen-Yu. We also show that for any component of a stratum of finite area $k$-differentials of positive genus, the smallest GL(2,R)-orbit closure containing all of its holonomy covers is as big as possible. This answers the positive genus analogue of a "long term goal" of Mirzakhani-Wright. The result also holds in genus zero strata that contain surfaces with Euclidean cylinders, thus addressing infinitely many cases of the original question of Mirzakhani-Wright.

2026-04-28T23:47:36Z 49 pages, 6 figures, comments welcome! Paul Apisa Juliet Aygun http://arxiv.org/abs/2409.09630v2 2026-04-28T19:43:52Z

We construct novel examples of finitely generated groups that exhibit seemingly-contradicting probabilistic behaviors with respect to Burnside laws. We construct a finitely generated group that satisfies a Burnside law, namely a law of the form $x^n=1$, with limit probability 1 with respect to uniform measures on balls in its Cayley graph and under every lazy non-degenerate random walk, while containing a free subgroup. We show that the limit probability of satisfying a Burnside law is highly sensitive to the choice of generating set, by providing a group for which this probability is $0$ for one generating set and $1$ for another. Furthermore, we construct groups that satisfy Burnside laws of two co-prime exponents with probability 1. Finally, we present a finitely generated group for which every real number in the interval $[0,1]$ appears as a partial limit of the probability sequence of Burnside law satisfaction, both for uniform measures on Cayley balls and for random walks. Our results resolve several open questions posed by Amir, Blachar, Gerasimova, and Kozma. The techniques employed in this work draw upon geometric analysis of relations in groups, information-theoretic coding theory on groups, and combinatorial and probabilistic methods.

2024-09-15T06:46:52Z Gil Goffer Be'eri Greenfeld Alexander Yu. Olshanskii http://arxiv.org/abs/2604.05956v2 2026-04-28T17:39:17Z

We show that the Charney--Davis strict hyperbolization procedure can preserve stable tangent bundles, answering a question of Charney and Davis. The key input is the construction of many hyperbolizing pieces, obtained using separability properties of hyperbolic cubulable groups. Moreover, these pieces may be chosen so that every face is connected, answering a question of Belegradek. We then apply this construction to suitable cubulations of flat manifolds to produce infinitely many commensurability classes of closed hyperbolic manifolds, both arithmetic and non-arithmetic, with diverse topological features. In particular, we obtain the first examples in which all the Stiefel--Whitney classes are non-trivial below the top degree, and the first orientable examples with non-trivial Pontryagin classes. We also construct infinite towers of finite covers of closed hyperbolic manifolds in which no cover is stably parallelizable or spin. Our methods further yield new pairs of exotic negatively curved Riemannian manifolds.

2026-04-07T14:47:44Z 44 pages, 2 figures. v2 includes applications to exotic pairs of negatively curved manifolds, and non-stably parallelizable hyperbolic manifolds with arbitrarily small systoles. Discussion on geodesic boundaries removed. Other minor changes Mauricio Bustamante Eduardo Reyes Stefano Riolo http://arxiv.org/abs/2411.16924v3 2026-04-28T17:37:57Z

We consider a finite group $G$ acting on a manifold $M$. For any equivariant Morse function, which is a generic condition, there does not always exist an equivariant metric $g$ on $M$ such that the pair $(f,g)$ is Morse-Smale. Here, the pair $(f,g)$ is called Morse-Smale if the descending and ascending manifolds intersect transversely. The best possible metrics $g$ are those that make the pair $(f,g)$ stably Morse-Smale. A diffeomorphism $φ: M \to M$ is a reflection, if $φ^2 = \operatorname{id}$ and the fixed point set of $φ$ forms a codimension-one submanifold (with $M \setminus M^{\operatorname{fix}}$ not necessarily disconnected). In this note, we focus on the special case where the group $G = \{\operatorname{id}, φ\}$. We show that the condition of being stably Morse-Smale is generic for metrics $g$. Given a stably Morse-Smale pair, we introduce a canonical equivariant Thom-Smale-Witten complex by counting certain broken trajectories. This has applications to the case when we have a manifold with boundary and when the Morse function has critical points on the boundary. We provide an alternative definition of the Thom-Smale-Witten complexes, which are quasi-isomorphic to those defined by Kronheimer and Mrowka. We also explore the case when $G$ is generated by multiple reflections. As an example, we compute the Thom-Smale-Witten complex of an upright higher-genus surface by counting broken trajectories.

2024-11-25T20:47:41Z This is the final version published by IMRN. Small corrections on the definition 1.1 and example 4.9 IMRN, Vol. 2026, Issue 9, (2026) Erkao Bao Tyler Lawson Lina Liu http://arxiv.org/abs/2605.08122v1 2026-04-28T15:51:10Z

We prove that the stable tame isomorphism, quasi-isomorphism, and derived Morita equivalence problems for semifree noncommutative differential graded algebras (DGAs) are all undecidable. This resolves half of Problem 5.16 from the K3 Problem List in Low-Dimensional Topology. We present two solutions, both obtained (essentially autonomously) by Gemini Deep Think / Aletheia.

2026-04-28T15:51:10Z 6 pages Ciprian Manolescu Nick Rozenblyum