Braid positive surgery diagrams

2026-04-21T15:36:06Z

In this short note, we prove that every closed, oriented, connected 3-manifold arises as Dehn surgery along a braid positive link.

Whitehead torsion and the kernel of assembly

2026-04-21T08:13:05Z

For a topological space that is homeomorphic to a finite simplicial complex, we prove that the Bartels--Nikolaus assembly functor has a fully faithful right adjoint. Using this, we define for each such topological space $X$ a {\em Whitehead category}, whose K-theory is canonically identified with the Whitehead spectrum of $X$; and for a homotopy equivalence between two such spaces, we define an object in the Whitehead category of $X$ called the {\em torsion cosheaf} of the map, whose K-theory class recovers the classical Whitehead torsion.

Uniqueness of free 2-periodicities of links

2026-04-21T00:28:19Z

We show that if two links in the real projective 3-space $\mathbb{RP}^{3}$ have isotopic preimages in the 3-sphere $S^{3}$ by the double covering map, then they are themselves isotopic in $\mathbb{RP}^{3}$.

The Dehn-Nielsen-Baer Theorem for Bounded Surfaces

2026-04-20T20:35:16Z

Let $Σ$ be a bounded surface. We prove the Dehn-Nielsen-Baer theorem for bounded surfaces to show that the mapping class group of $Σ$ is isomorphic to the automorphisms of the fundamental groupoid of $Σ$ that fix loops around the boundary.

Wormhole Nucleation via Topological Surgery in Lorentzian Geometry

2026-04-20T20:11:02Z

We construct a model for the nucleation of a wormhole within a Lorentzian spacetime by employing techniques from topological surgery and Morse theory. In our framework, a 0-surgery process describes the neighborhood of the nucleation point inside a compact region of spacetime, yielding a singular Lorentzian cobordism that connects two spacelike regions with different topologies. To avoid the singularity at the critical point of the Morse function, we employ the Misner trick of taking a connected sum with a closed 4-manifold -- namely $\mathbb{CP}^{2}$ -- to obtain an everywhere nondegenerate Lorentzian metric. This connected sum replaces the naked singularity with a region containing closed timelike curves. The obtained spacetime is nonsingular, but violates all the standard energy conditions. Our construction, thus, shows that a wormhole can be "created" without singularities in classical general relativity.

Obstruction theory and the complexity of counting group homomorphisms

2026-04-20T20:10:55Z

Fix a finite group $G$. We study the computational complexity of counting problems of the following flavor: given a group $Γ$, count the number of homomorphisms $Γ\to G$. Our first result establishes that this problem is $\#\mathsf{P}$-hard whenever $G$ is a non-abelian group and $Γ$ is provided via a finite presentation. We give several improvements showing that this hardness conclusion continues to hold for restricted $Γ$ satisfying various promises. Our second result shows that if $G$ is class 2 nilpotent and $Γ= π_1(M^3)$ for some input 3-manifold triangulation $M^3$ with $|H^2(M,Z(G)|$ bounded above, then there is a polynomial time algorithm to compute the number of homomorphisms from $Γ$ to $G$. This algorithm is explained in part by the fact that 3-manifolds are close enough to being Eilenberg-MacLane spaces for us to solve the necessary group cohomological obstruction problems efficiently using the given triangulation. A similar polynomial time algorithm for counting maps to finite, class 2 nilpotent $G$ exists when $Γ$ is itself a finite group encoded via a multiplication table, provided that $|H^2(Γ,Z(G))|$ is similarly bounded from above.

The minimal Rickard complexes of braids on two strands

2026-04-20T17:46:13Z

The Rickard complex of a braid with strands colored by positive integers is a chain complex of singular Soergel bimodules. The complex determines the colored triply-graded homology and colored sl(N) homology of the braid closure, when closure is color-compatible. For each braid on two strands with any colors, we construct a minimal complex that is homotopy equivalent to its Rickard complex. It is not obtained by laborious simplification; instead, it is defined directly by explicit formulas obtained by educated guesswork and reverse engineering.

Soft tilings

2026-04-20T17:37:51Z

By means of constructing a new edge-bending algorithm, we prove that every locally polyhedral tiling of $\mathbb{R}^3$ can be completely softened. A weaker form of this statement, for polyhedral space tilings, was conjectured by Domokos, Goriely, G. Horváth and Regős in 2024. We also provide a short proof for a result of Domokos, G. Horváth, and Regős, stating that in a balanced polygonic tiling of the plane, the average number of spikes is at least 2 per cell.

$C^*$-simplicity, confined subalgebras, and operator algebraic uniform recurrence

2026-04-20T16:15:24Z

We introduce the notion of confined subalgebras in the context of the group von Neumann algebra. We also define Uniformly Recurrent States -- an operator-algebraic analog of Uniformly Recurrent Subgroups. Using this framework, we show that a countable discrete group is $C^*$-simple if and only if it admits no non-trivial amenable confined subalgebras. This generalizes the well-known result of Kennedy that characterizes $C^*$-simplicity in terms of trivial amenable uniformly recurrent subgroups.

Topological rigidity of complex and quaternionic moment--angle manifolds

2026-04-20T16:11:54Z

We investigate the equivariant topological rigidity of complex and quaternionic moment--angle manifolds. By reducing the classification to the equivariant rigidity of their quasitoric (or quoric) quotients and the classification of the associated principal bundles, we establish new rigidity results within the category of locally linear actions. We prove that complex moment-angle manifolds are equivariantly rigid: any locally linear manifold equivariantly homotopy equivalent to a complex moment--angle manifold is equivariantly homeomorphic to it. In the quaternionic setting, we establish full equivariant rigidity for manifolds with four-dimensional quoric quotients and provide a primary rigidity statement for higher dimensions based on degree-4 characteristic classes. These results characterize moment--angle manifolds as equivariant strong Borel manifolds, demonstrating that their equivariant homotopy type completely determines their equivariant homeomorphism type.

Involutive Floer Invariants for Closed Four-Manifolds

2026-04-20T13:48:59Z

Inspired by the Ozsváth-Szabó mixed invariant in ordinary Heegaard Floer theory, we define a mixed invariant $Φ_{X, \mathfrak{s}}^{I}$ for closed, spin four-manifolds $(X, \mathfrak{s})$ using the cobordism maps on involutive Heegaard Floer homology. The invariant is well-defined whenever $b_{2}^{+}(X) > 4$. We furthermore construct an involutive Seiberg-Witten invariant that is well-defined whenever $b_{2}^{+}(X) > 3$. We show that these involutive invariants obstruct the existence of disjoint pairs of embedded surfaces which both violate the adjunction inequality. As an application, we find that $K3\#(S^2 \times S^2)$ contains no such pair.

Towards Symmetry-sensitive Pose Estimation: A Rotation Representation for Symmetric Object Classes

2026-04-20T12:55:36Z

Symmetric objects are common in daily life and industry, yet their inherent orientation ambiguities that impede the training of deep learning networks for pose estimation are rarely discussed in the literature. To cope with these ambiguities, existing solutions typically require the design of specific loss functions and network architectures or resort to symmetry-invariant evaluation metrics. In contrast, we focus on the numeric representation of the rotation itself, modifying trigonometric identities with the degrees of symmetry derived from the objects' shapes. We use our representation, SARR, to obtain canonic (symmetry-resolved) poses for the symmetric objects in two popular 6D pose estimation datasets, T-LESS and ITODD, where SARR is unique and continuous w.r.t. the visual appearance. This allows us to use a standard CNN for 3D orientation estimation whose performance is evaluated with the symmetry-sensitive cosine distance $\text{AR}_{\text{C}}$. Our networks outperform the state of the art using $\text{AR}_{\text{C}}$ and achieve satisfactory performance when using conventional symmetry-invariant measures. Our method does not require any 3D models but only depth, or, as part of an additional experiment, texture-less RGB/grayscale images as input. We also show that networks trained on SARR outperform the same networks trained on rotation matrices, Euler angles, quaternions, standard trigonometrics or the recently popular 6d representation -- even in inference scenarios where no prior knowledge of the objects' symmetry properties is available. Code and a visualization toolkit are available at https://github.com/akriegler/SARR .

Bounded volume class and Cheeger isoperimetric constant for negatively curved manifolds

2026-04-20T12:11:31Z

We prove that for manifolds with negative curvature bounded away from $0$ of infinite volume and bounded geometry, the bounded fundamental class, defined via integration of the volume form over straight top-dimensional simplices, vanishes if and only if the Cheeger isoperimetric constant is positive. This gives a partial affirmative answer to a conjecture of Kim and Kim. Furthermore, we show that for all manifolds with negative curvature bounded away from $0$ of infinite volume, the positivity of the Cheeger constant implies the vanishing of the bounded volume class, solving one direction of the conjecture in full generality.

An Elliptic Curve Governing Hopf Linking in an $A_4$-Symmetric Tensegrity

2026-04-20T11:34:30Z

We study in detail an A4-symmetric tensegrity appearing in Connelly's catalog. The realizable configurations form a one-parameter family that can be parametrized by points on the elliptic curve with Cremona label 30a2. The curve has only twelve rational points, among which only one corresponds to a stable tensegrity configuration whose cable framework forms a cuboctahedron. From a topological viewpoint, however, the underlying pair of the strut triangles preserves a Hopf link structure throughout the entire interval 0 < ω_1 < 1 of the stress parameter.

The Cactus Criterion: When Nonlinear Hodge Theory Reduces to Linear on Graphs

2026-04-20T03:53:24Z

Let $G$ be a finite connected simple graph with a chosen orientation of its edges. For the edge potential $ψ(t)=\cosh t-1,$ we minimize $\sum_{e\in E^\to}ψ(z_e)$ over each affine class $ω+dC^0(G)\subset C^1(G)$. The minimizer is the unique representative satisfying the nonlinear coclosed equation $δ\sinh z=0,$ and hence defines a nonlinear selector $\Picc:C^1(G)\to C^1(G).$ We show that $\Picc$ is real analytic, identify its image as $\imop \Picc=\Mcc=\operatorname{arsinh}(\kerδ),$ and compute its differential as a weighted Hodge projector. In particular, $\Picc$ agrees with the ordinary Hodge projector $\PiH$ to first order at the origin, and the first nonlinear correction is cubic. Our main global theorem is a graph-theoretic criterion: for every admissible edge potential -- even, $C^2$, strictly convex, and non-quadratic -- the associated nonlinear selector coincides with $\PiH$ on all of $C^1(G)$ if and only if $G$ is a cactus graph. Finally, we work out the two-triangle graph, the smallest connected simple obstruction, and record a self-concordant Newton method for computing $\Picc$.