Topological regularity of Busemann spaces of nonpositive curvature

2026-06-01T14:32:08Z

We extend the topological results of Lytchak-Nagano and Lytchak-Nagano-Stadler for CAT(0) spaces to the setting of Busemann spaces of nonpositive curvature, i.e., BNPC spaces. We give a characterization of locally BNPC topological manifolds in terms of their links and show that the singular set of a locally BNPC homology manifold is discrete. We also prove that any (globally) BNPC topological 4-manifold is homeomorphic to Euclidean space. Applications include a topological stability theorem for locally BNPC G-spaces. Our arguments also apply to spaces admitting convex geodesic bicombings.

Linear representations of the mapping class group of dimension at most $3g-3$

2026-06-01T13:05:54Z

We classify representations of the mapping class group of a surface of genus $g$ (with at most one puncture or boundary component) up to dimension $3g-3$. Any such representation is the direct sum of a representation in dimension $2g$ or $2g+1$ (given as the action on the (co)homology of the surface or its unit tangent bundle) with a trivial representation. As a corollary, any linear system on the moduli space of Riemann surfaces of genus $g$ in this range is of algebro-geometric origin.

Band Bases as Common Triangular Bases in Cluster Algebras from Surfaces

2026-06-01T12:25:21Z

We consider the skein algebra of an unpunctured marked surface. Thurston previously constructed its band basis topologically. We show that this band basis coincides with the common triangular basis, which is a Kazhdan-Lusztig type basis for quantum cluster algebras analogous to the dual canonical basis of quantum groups. Our result confirms a conjecture of Thurston. It also provides new cases for the existence of the common triangular basis. In addition, we discover a phenomenon where certain unknots are arranged in configurations resembling beads on a necklace.

Minimal genus trisection diagrams of the elliptic surfaces $E(n)$ via handle diagrams

2026-06-01T12:22:53Z

Lambert-Cole and Meier showed that the elliptic surface $E(n)$ admits a $(12n-2,0)$-trisection, considering the property that $E(n)$ is a certain double branched cover of $S^2 \times S^2$, which is a minimal genus trisection. In this paper, we clarify a way to construct an explicit $(12n-2,0)$-trisection diagram of $E(n)$ from its handle diagram arising from its Lefschetz fibration.

Infinite-dimensionality of the rational homotopy groups of the space of long embeddings of codimension 2

2026-06-01T08:42:47Z

In this paper, we study the space of compactly supported embeddings between Euclidean spaces, $\mathrm{Emb}_c(\mathbb{R}^j, \mathbb{R}^n)$. By utilizing hairy graphs, we construct elements in the homotopy groups $π_{\bullet}(\overline{\mathrm{Emb}}_c(\mathbb{R}^j, \mathbb{R}^{n})) \otimes \mathbb{Q}$ corresponding to certain uni-trivalent graphs in the model. We then prove that these elements are nontrivial. Consequently, we show that the rational homotopy groups of $\mathrm{Emb}_c(\mathbb{R}^{n-2}, \mathbb{R}^n)$ are infinite-dimensional in infinitely many degrees when $n \ge 5$ is odd.

New geometric structures on 3-manifolds: surgery and generalized geometry

2026-06-01T07:20:19Z

Cosymplectic and normal almost contact structures are analogues of symplectic and complex structures that can be defined on 3-manifolds. Their existence imposes strong topological constraints. Generalized geometry offers a natural common generalization of these two structures: $B_3$-generalized complex structures. We prove that any closed orientable 3-manifold admits such a structure, which can be chosen to be stable, that is, generically cosymplectic up to generalized diffeomorphism.

Growth of coamenable normal subgroups in higher rank

2026-05-31T21:36:41Z

Roblin's theorem asserts that, in rank one, coamenable normal subgroups have the same critical exponent as the ambient group. We investigate the higher-rank analogue of this rigidity phenomenon. In higher rank, growth is directional, and there is no single analogue of Roblin's theorem. Instead, the answer splits into three complementary phenomena. First, the full directional invariants are not preserved: for every odd integer $n\ge 3$, we construct a non-empty open family of Zariski dense Borel-Anosov Schottky subgroups of $\SL_n(\mathbb R)$ admitting cocyclic normal subgroups with strictly smaller limit cones, and hence with different growth indicators. Second, the ordinary Riemannian critical exponent remains rigid: every coamenable normal subgroup of a Zariski dense Borel-Anosov subgroup of a connected semisimple real algebraic group has the same Riemannian critical exponent as the ambient group. Third, the surviving directional rigidity is governed by the opposition involution: for any such coamenable normal subgroup, the two growth indicators agree on the fixed-point locus of the opposition involution. We also show that this symmetry condition is sharp, even for examples in which the two limit cones are the same.

Integer Knot Invariants: Inequalities, Computations, and Open Problems

2026-05-31T18:56:19Z

We study inequalities between integer-valued knot invariants arising from classical knot theory, four-dimensional topology, knot homologies, and knot polynomials. We present a directed graph consisting of 46 inequalities between 33 knot invariants. Using these inequalities together with parity constraints, we construct and propagate a database NewDB, for knots up to 13 crossings, extending data from KnotInfo. The resulting computations produce numerous improvements of known bounds and determine 139 new exact values for the unknotting number and doubly slice genus. We also formulate a collection of conjectural inequalities selected by a systematic transitivity criterion. Among them are 10 basic "interesting" conjectures not implied by the remaining relations.

Simple closed curves contained in~$\varepsilon$-boundaries of planar sets

2026-05-31T15:58:53Z

The $\varepsilon$-boundary of a set ${A}\subseteq\mathbb{R}^2$ is the set $\{{p}\in\mathbb{R}^2:ρ({p},{A})=\varepsilon\}$, where $ρ$ is the Euclidean distance. We prove that if ${A},{B}\subseteq\mathbb{R}^2$ are nonempty, connected sets, ${A}$ is bounded, and $0<\varepsilon<ρ({A},{B})$, then the $\varepsilon$-boundary of ${A}$ contains a simple closed curve (aka a Jordan curve) that separates ${A}$ and ${B}$. This statement follows from the theorem which says that if $\varepsilon>0$ and ${A}\subseteq\mathbb{R}^2$ is a nonempty, bounded, connected set, then the boundary of each component of $\{{p}\in\mathbb{R}^2: ρ({p},{A})>\varepsilon\}$ is a simple closed curve. Another corollary of this theorem is that the $\varepsilon$-boundary of a nonempty, bounded, connected set ${A}\subseteq\mathbb{R}^2$ contains a simple closed curve bounding the domain that contains the open $\varepsilon$-neighbourhood of ${A}$. In all these statements the connectivity condition can be significantly weakened. We also show that, for all $\varepsilon>0$, the $\varepsilon$-boundary of a nonempty, bounded set ${A}\subseteq\mathbb{R}^2$ contains a simple closed curve.

Local indicability in the presence of diagrammatic reducibility

2026-05-31T15:03:35Z

If a complex $X$ is a subcomplex of a diagrammatically reducible 2-complex $Y$ that has locally indicable fundamental group, then $X$ has locally indicable fundamental group. This is a consequence of the Corson-Trace characterization of diagrammatic reducibility. In this paper we use a Corson-Trace like characterization of diagrammatic reducibility away from a subcomplex to obtain a considerable stronger result. We apply this to the question of local indicability in the context of Whitehead's asphericity conjecture. We show that an injective labeled oriented tree (LOT) that is diagrammatically reducible of degree 2, and all its quotients are as well, is locally indicable.

On submersions with definite folds of manifolds with boundary into Euclidean spaces

2026-05-31T13:27:15Z

Submersions with definite folds are submersions on manifolds with boundary whose restrictions to the boundary are definite fold maps. In this paper, we study differential-topological properties of manifolds with boundary admitting such maps into Euclidean spaces. When the target is $\mathbb{R}$, we obtain restrictions on the diffeomorphism types of the source manifolds by using results for m-functions. For targets of dimension greater than one, we focus on the cases where the restrictions to the boundary are round fold maps or image simple fold maps, both defined by conditions on the singular value set. Then, we study the diffeomorphism types and Euler characteristics of manifolds admitting such maps. These results have applications to non-singular extensions of definite fold maps.

Delta-Unknotting Number for Pretzel Knots

2026-05-31T11:21:32Z

The $Δ$-unknotting number for a knot is defined as the minimum number of $Δ$-moves needed to deform the knot into the trivial knot. It is known that, for positive pretzel knots, the $Δ$-unknotting number coincides with the second coefficient of their Conway polynomial. In this paper, we compute the $Δ$-unknotting number for positive pretzel knots. As a consequence of the above result, among positive pretzel knots of odd type with a fixed crossing number $n$, where $n$ is odd, the $Δ$-unknotting number is maximized by $P(1, 1, ... , 1) \quad \big( \cong T(2,n) \big)$, and the maximum value is $\frac{1}{8}(n^2 - 1)$. We also obtain a similar result for torus knots. We further determine the $Δ$-unknotting number for pretzel knots of type $P(-1, p_2, ..., p_n)$, where $p_i$ is a positive odd integer for $2 \leq i \leq n$ and $n$ is odd.

MCS Spaces are CS

2026-05-31T09:37:36Z

In this paper we further develop the theory of MCS spaces. Our main result shows that MCS spaces, as defined by Perelman, are CS sets with respect to their MCS stratification, and that in fact, the intrinsic stratification agrees with the MCS stratification. As a consequence, we improve on Perelman's result and answer affirmatively a question by Fujioka.

Strict Equivalence of Multi-Virtual Linkoids

2026-05-31T05:52:12Z

We utilize multi-virtual knot theory where there are a multiplicity of virtual crossings to study strict virtual linkoids. In strict virtual linkoid theory, local moves define all virtual moves and Reidemeister moves. In the strict equivalence, no moves, classical or virtual, can transfer an arc across a linkoid endpoint. By taking closures of strict virtual linkoids that are multi-virtual knots and links, we obtain new invariants for strict virtual linkoids. Generalized bracket polynomial invariants and generalized loop bracket polynomial invariants (for planar strict virtual linkoids) are studied in this context. The paper defines virtual polar links where there are degree two nodes in virtual link diagrams across which isotopies are forbidden. The paper shows how multi-virtual theory and its concepts can be applied to obtain invariants for polar virtual links.

Real analytic lift of foliations of Thurston and Tsuboi

2026-05-31T05:21:08Z

Thurston constructed codimension one foliations on $S^3$ thereby proved that the homomorphism $gv: π_3(B\overlineΓ^\infty_1)\rightarrow \mathbb{R}$ induced by the Godbillon-Vey invariant is surjective. By another real analytic construction, he proved that the homomorphism $gv: H_3(B\overlineΓ^ω_1)\rightarrow \mathbb{R}$ is also surjective where $B\overlineΓ^ω_1$ is a $K(π,1)$ space by Haefliger. Tsuboi proved that the former surjection splits so that $π_3(B\overlineΓ^\infty_1)= \mathbb{R}\oplus \mathrm{Ker}\,gv$. He further showed that the subgroup of $H_3(B\overlineΓ^\infty_1;\mathbb{Z})$ generated by all the Thurston's constructions coincides with his direct summand $\mathbb{R}$. In this paper, we prove that Thurston's second surjection splits and also that the subgroup of $H_3(B\overlineΓ^ω_1;\mathbb{Z})$ generated by all the Thurston's cycles is equal to our direct summand $\mathbb{R}$ which is a lift of Tsuboi's one. To show this, we modify the arguments of Thurston and Tsuboi by replacing Reeb components with a real analytic construction. We prove certain {\it uniqueness} of them by showing acyclicity of the affine group in the Haefliger group $π_1(B\overlineΓ^ω_1)$. We also prove the existence of a new kind of characteristic class of foliations in $H^4(B\overlineΓ^ω_1;\mathbb{Z})$.