The Heegaard Floer d-invariant for more rational homology spheres

2026-05-06T18:04:57Z

The Heegaard Floer d-invariant for a rational homology sphere Y and spin$^c$-structure $\mathfrak{s}$ is defined as the minimal absolute grading of a generator of $HF^+(Y; \mathfrak{s})$. In 2005, Némethi used lattice homology to compute the d-invariant for a particular class of negative-definite plumbed rational homology spheres, and conjectured that his formula should hold for all negative-definite plumbed rational homology spheres. In this paper, we use Zemke's isomorphism between lattice and Heegaard Floer homology to prove Némethi's conjecture.

The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings

2026-05-06T16:23:04Z

For $R$ a Euclidean number ring, and let $Γ_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(R)$. Borel--Serre showed that the cohomology of $Γ_n(p)$ vanishes above a degree $ν$ that is quadratic in $n$. Let $K$ be the fraction field of $R$, and $\mathcal{T}_n(K)$ the Tits building of $\text{SL}_n(K)$. For $R=\mathbb{Z}$, Lee--Szczarba asked when $\text{H}^ν(Γ_n(p))$ is isomorphic to $\widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/Γ_n(p))$, which was answered by Miller--Patzt--Putman. We study a generalized version of Lee--Szczarba's question. We prove that for a prime $p$ in a Euclidean number ring $R$ with fraction field $K$, that a natural map $\text{H}^ν(Γ_n(p)) \to \widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/Γ_n(p))$ is always surjective, and give a sufficent set of conditions on $p \in R$ that guarantee when this map is an isomorphism.

Racah matrices for the symmetric representation of the SO(5) group

2026-05-06T15:24:26Z

Approaches to calculate SU(N) colored knot invariants (HOMFLY-PT polynomials) are well and widely developed. However, SO(N) case is mostly forgotten. With this paper we want to start the discusion of how to generalize Reshetikhin-Turaev approach to the SO(2n+1) case and which difficutlies arise in this discussion. We provide R and Racah matrices for the symmetric representation of the SO(5) group and show how to find the corresponding Kauffmann polynomials.

Small genus, small index critical points of the systole function

2026-05-06T13:14:45Z

In this paper the index of a family of critical points of the systole function on Teichmüller space is calculated. The members of this family are interesting in that their existence implies the existence of strata in the Thurston spine for which the systoles do not determine a basis for the homology of the surface. Previously, index calculations of critical points with this pathological feature were impossible, because the only known examples were in surfaces with huge genus. A related concept is that of a ``minimal filling subset'' of the systoles at the critical point. Such minimal filling sets are studied, as they relate to the dimension of the Thurston spine near the critical point. We find an example of a minimal filling set of simple closed geodesics in genus 5 with cardinality 8, that are presumably realised as systoles. More generally, we determine the smallest and largest cardinality of a minimal filling set related to a tesselation of a hyperbolic surface by regular, right-angled $m$-gons for $m \in \{ 5, 6, 7 \}$. For this, we use integer linear programming together with a hand-tailored symmetry breaking technique.

Higher Smooth Surgery Structure Sets of Complex Projective Spaces, Part I

2026-05-06T12:06:50Z

This is the first of the two articles where we determine the higher smooth surgery structure sets of complex projective spaces (up to some extension problems) and the forgetful map to their topological versions in low dimensions. In this part, we concentrate on the free subgroup, where we obtain information in all dimensions. In the second part, we study the torsion.

Convex Hull Volumes in Hyperbolic 3-Space

2026-05-06T11:55:42Z

In this paper we provide a geometric condition satisfied by certain closed subsets of the Riemann sphere which implies that their hyperbolic convex hulls in $\mathbb{H}^3$ have infinite volume. As a corollary, we characterize continua in the Riemann sphere whose hyperbolic convex hulls have infinite volume, answering a question of Danny Calegari. Furthermore, we give a geometric characterization of planar self-similar sets whose hyperbolic convex hulls have infinite volume.

Cobordism-equivalence for codimension-one submanifolds

2026-05-06T11:47:34Z

We show that two hypersurfaces in a manifold are related by a sequence of embedded cobordisms if and only if they represent the same homology class. By applying handle decompositions we turn these cobordisms into a sequence of embedded surgeries. Specializing to Seifert surfaces we obtain a conceptual proof that two Seifert surfaces of a fixed link are related by tube attachments and tube removals.

Divides with cusps, shadows, and transvergent diagrams

2026-05-06T10:23:37Z

A link $L$ in $S^3$ is called a symmetric link if it is preserved by a $π$ rotation around a closed geodesic in $S^3$. Any symmetric link can be depicted by a diagram with a symmetry axis lying on the plane of the diagram, called a transvergent diagram. Recently, Sugawara proved that any symmetric link can be represented by a divide with cusps, which is a generalization of A'Campo's divide that allows a finite number of cusps. In this paper, we introduce a generalization of A'Campo's divide in terms of Turaev's shadow, called a divide with gleams. By using divides with gleams, we provide an algorithm to obtain a divide with cusps that represents a symmetric link from its given transvergent diagram. Conversely, we also provide an algorithm to draw a transvergent diagram of the link of a given divide with cusps.

A Fast, Strong, Topologically Meaningful and Fun Knot Invariant

2026-05-06T10:18:44Z

In this paper we discuss a pair of polynomial knot invariants $Θ=(Δ,θ)$ which is: * Theoretically and practically fast: $Θ$ can be computed in polynomial time. We can compute it in full on random knots with over 300 crossings, and its evaluation at simple rational numbers on random knots with over 600 crossings. * Strong: Its separation power is much greater than the hyperbolic volume, the HOMFLY-PT polynomial and Khovanov homology (taken together) on knots with up to 15 crossings (while being computable on much larger knots). * Topologically meaningful: It gives a genus bound, and there are reasons to hope that it would do more. * Fun: Scroll to Figures 1.1-1.4, 3.1, and 6.2. $Δ$ is merely the Alexander polynomial. $θ$ is almost certainly equal to an invariant that was studied extensively by Ohtsuki, continuing Rozansky, Kricker, and Garoufalidis. Yet our formulas, proofs, and programs are much simpler and enable its computation even on very large knots.

Knot Floer homology and fixed points

2026-05-06T08:06:30Z

If $K$ is a fibered knot in a closed, oriented $3$--manifold $Y$ with fiber $F$, and $\widehat{HFK}(Y,K,[F], g(F)-1;\mathbb Z/2\mathbb Z)$ has rank $r$, then the monodromy of $K$ is freely isotopic to a diffeomorphism with at most $r-1$ fixed points. This generalizes earlier work of Baldwin--Hu--Sivek and Ni. We also clarify a misleading formula in Cotton-Clay's computation of the symplectic Floer homology of mapping classes of surfaces.

Bounds on saddle connections for flat spheres

2026-05-06T06:58:27Z

We consider a flat metric with conical singularities on the sphere. Under the assumption that no partial sum of angle defects is equal to $2π$, we draw on the geometry of immersed disks to obtain an explicit upper bound on the number of saddle connections with at most $k$ self-intersections. Additionally, we establish an upper bound on their lengths for a surface with a normalized area. Finally, we apply these bounds to the counting of singular trajectories in irrational polygonal billiards.

Twisted Alexander Polynomials and Fibered Classes in Ribbon Homology Cobordisms

2026-05-06T00:33:36Z

Let $Y_-$ and $Y_+$ be two compact 3-manifolds with empty or toroidal boundary. A 4-dimensional ribbon homology cobordism is a homologically trivial cobordism built with 1-handles and 2-handles. In this note, following the work of Friedl and collaborators, we apply twisted Alexander polynomials to show that the fibered classes of $Y_+$ map to those of $Y_-$.

Thurston norm for coherent right-angled Artin groups via $L^2$-invariants

2026-05-05T19:09:48Z

We define a new notion of splitting complexity for a group $G$ along a non-trivial integral character $φ\in H^1(G; \mathbb{Z})$. If $G$ is a one-ended coherent right-angled Artin group, we show that the splitting complexity along an epimorphism $φ\colon G \to \mathbb{Z}$ equals the $L^2$-Euler characteristic of the kernel of $φ$. This allows us to define a Thurston-type semi-norm $\| \cdot \|_T \colon H^1(G ; \mathbb{R}) \to \mathbb{R}$ that measures the splitting complexity of integral characters. Our main tool is Friedl--Lück's $L^2$-polytope.

On the biggest purely non-free conformal actions on compact Riemann surfaces and their asymptotic properties

2026-05-05T18:54:39Z

A continuous action of a finite group $G$ on a closed orientable surface $X$ is said to be gpnf (Gilman purely non-free) if every element of $G$ has a fixed point on $X$. We prove that the biggest order {$μ(g)$}, of a gpnf-action on a surface of even genus $g \geq 2$, is bounded below by $8g$ and that this bound is sharp for infinitely many even $g$ as well. This provides, for even genera, a gpnf-action analog of the celebrated Accola-Maclachlan bound $8g+8$ for arbitrary finite continuous actions. We also describe the asymptotic behavior of $μ$. We define $\mathcal{M}$ as the set of values of the form $$\widetildeμ(g)=\frac{μ(g)}{g+1},$$ and its subsets $\mathcal{M}_+$ and $\mathcal{M}_-$ corresponding to even and odd genera $g$. We show that the set $\mathcal{M}_+^d$, of accumulation points of $\mathcal{M}_+$, consists of a single number $8$. If $g$ is odd, then we prove that $4g \leq μ(g)<8g$. We conjecture that this lower bound is sharp for infinitely many odd $g$. Finally, we prove that this conjecture implies that $4$ is the only element of $\mathcal{M}_-^d$, leading to $\mathcal{M}^d=\{4,8\}.$

Cyclic-Schottky strata of Schottky space

2026-05-05T18:44:34Z

Schottky space ${\mathcal S}_{g}$, where $g \geq 2$ is an integer, is a connected complex orbifold of dimension $3(g-1)$; it provides a parametrization of the ${\rm PSL}_{2}({\mathbb C})$-conjugacy classes of Schottky groups $Γ$ of rank $g$. The branch locus ${\mathcal B}_{g} \subset {\mathcal S}_{g}$, consisting of those conjugacy classes of Schottky groups being a finite index proper normal subgroup of some Kleinian group, is known to be connected. If $[Γ] \in {\mathcal B}_{g}$, then there is a Kleinian group $K$ containing $Γ$ as a normal subgroup of index some prime integer $p \geq 2$. The structural description, in terms of Klein-Maskit Combination Theorems, of such a group $K$ is completely determined by a triple $(t,r,s)$, where $t,r,s \geq 0$ are integers such that $g=p(t+r+s-1)+1-r$. For each such a tuple $(g,p;t,r,s)$ there is a corresponding cyclic-Schottky stratum $F(g,p;t,r,s) \subset {\mathcal B}_{g}$. It is known that $F(g,2;t,r,s)$ is connected.In this paper, for $p \geq 3$, we study the connectivity of these $F(g,p;t,r,s)$.