Explicit canonical cycle at the virtual cohomological dimension of $\mathrm{SL}_n(\mathbb{Z})$ through Voronoi complex

2026-04-10T13:22:51Z

We construct an explicit canonical cycle in the top-dimensional homology of the Voronoi complex associated with an arithmetic group. This cycle relates to the cohomology of SL$_n(\mathbb{Z})$ with rational coefficients at the virtual cohomological dimension. This cycle has been previously identified in computational works and conjectured to provide an intrinsic generator. Our approach relies on a geometric rigidity property of Voronoi tessellations. Furthermore, an abstract framework for polyhedral tessellations of convex cones under group actions is established, elucidating the underlying mechanism of the construction of such cycles.

Simple homotopy types of even dimensional manifolds

2026-04-10T11:52:49Z

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map, and the homotopy automorphisms of the manifold. We use this to construct the first examples, for all $n \ge 4$ even, of closed $n$-manifolds that are homotopy equivalent but not simple homotopy equivalent. In fact, we construct infinite families of manifolds that are all homotopy equivalent but pairwise not simple homotopy equivalent, and our examples can be taken to be smooth for $n \geq 6$. Our examples are homotopy equivalent to the product of a circle and a lens space. We analyse the simple homotopy manifold sets of these manifolds, determining exactly when they are trivial, finite, or infinite, and investigating their asymptotic behaviour. The proofs involve integral representation theory and class numbers of cyclotomic fields. We also compare with the relation of $h$-cobordism, and produce similar detailed quantitative descriptions of the manifold sets that arise.

Global fixed point in low-dimensional surface group deformation space

2026-04-10T09:50:43Z

Under the natural action of the pure mapping class group of a surface of genus at least three, we show that any global fixed point in the low-dimensional deformation space of the surface group corresponds to the trivial representation. A key observation is that such a global fixed point gives rise to a linear representation of the pure mapping class group of the corresponding surface with a marked point. Our argument works directly on the deformation space, without assuming the semisimplicity of representations, and yields a short alternative proof of a special case of a theorem of Landesman and Litt with a slight improvement. We also discuss a possible extension of this approach from global fixed points to finite orbits of the mapping class group action.

Spectral Dehn functions and a characterisation of word-hyperbolicity

2026-04-10T06:25:17Z

We introduce a \emph{spectral Dehn function} \[ Λ_{\mathcal{P}}(n):=\inf λ_1(Δ), \] where $λ_1(Δ)$ is the first Dirichlet eigenvalue of the random-walk Laplacian on a van Kampen diagram $Δ$, and the infimum runs over area-minimising diagrams with boundary length at most $n$. We prove a spectral-isoperimetric inequality relating $Λ_{\mathcal{P}}$ to the Dehn function, and show that its degree-free face-dual variant $Λ^\ast_{\mathcal P}$ characterises word-hyperbolicity: a finitely presented group is word-hyperbolic if and only if \[ \inf_n Λ^\ast_{\mathcal{P}}(n)>0. \] Every disk diagram satisfies a diagramwise filling-length bound \[ \mathrm{FL}_b(Δ)\cdot \operatorname{Area}(Δ) \ge c/λ_1(Δ); \] combined with a discrete Faber-Krahn inequality, this yields the sharp exponent $1/2$ in the quadratic case, attained by rectangular commutator grids over $\mathbb Z^2$. By passing to the free completion and introducing a hole-free-ancestor hereditary quasi-minimality condition, we obtain a spectral filling profile whose positivity criterion is a quasi-isometry invariant of finitely presented groups and again characterises word-hyperbolicity. The resulting profile carries finer information than the Dehn function: it separates presentations within the linear Dehn class.

Equivariant Unknotting Number and Involutive Khovanov Homology

2026-04-10T05:36:23Z

We demonstrate that the equivariant unknotting number $\widetilde{u}(K)$ of a strongly invertible knot $K$ is bounded below by the $H$-torsion order $\widetilde{\mathrm{ord}}(K)$ of the involutive Bar-Natan homology $\widetilde{\mathrm{BN}}(K)$. This result serves as an equivariant analogue to the bound established by Alishahi. As an application, we identify five strongly invertible prime knots with crossing numbers at most $9$ for which the strict inequality $u(K) < \widetilde{u}(K)$ holds.

Capturing the Atiyah-Patodi-Singer index from the lattice

2026-04-10T04:30:22Z

We construct a formulation of the Atiyah-Patodi-Singer index of Dirac operators in lattice gauge theory for domains with compact boundaries in a flat torus. The key idea is to exploit its equality to the spectral flow of the domain-wall fermion Dirac operators, which we generalize in this work to cases without product structure near the boundary. We prove that, for sufficiently small lattice spacings, this formulation correctly captures the continuum Atiyah-Patodi-Singer index.

Normal generators for mapping class groups

2026-04-10T03:42:32Z

In this chapter, we discuss normal generators for mapping class groups of surfaces. Especially, we focus on the relation between normal generation of a mapping class with its asymptotic translation lengths on the Teichmüller space and the curve graph of the underlying surface. We also discuss several open questions.

Classification of generalized Seifert fiber spaces

2026-04-09T21:02:47Z

We provide a symbolic classification of generalized Seifert fiber spaces, which were introduced by Mitsuishi and Yamaguchi in the classification of collapsing Alexandrov $3$-spaces. Additionally, we show that the canonical double branched cover of a non-manifold generalized Seifert fiber space is a Seifert manifold and compute its symbolic invariants in terms of those of the original space.

Rudyak's conjecture for lower dimensional 1-connected manifolds

2026-04-09T19:40:20Z

Rudyak's conjecture states that for any degree one map $f:M\to N$ between oriented closed manifolds there is the inequality $\cat (M)\ge \cat(N)$ for the Lusternik-Shnirelmann category. We prove the Rudyak's conjecture for $ n$-dimensional simply connected spin manifolds for $n\le 8$.

Boundary actions of Bass-Serre Trees and the applications to $C^*$-algebras

2026-04-09T16:25:32Z

In this paper, we study Bass-Serre theory from the perspectives of $C^*$-algebras and topological dynamics. In particular, we investigate the actions of fundamental groups of graphs of groups on their Bass-Serre trees and the associated boundaries, through which we identify new families of $C^*$-simple groups including certain tubular groups, fundamental groups of certain graphs of groups with one vertex group acylindrically hyperbolic and outer automorphism groups $\operatorname{Out}(BS(p, q))$ of Baumslag-Solitar groups. In addition, we study $n$-dimensional Generalized Baumslag-Solitar ($\text{GBS}_n$) groups. We first recover a result by Minasyan and Valiunas on the characterization of $C^*$-simplicity for $\text{GBS}_1$ groups and identify new $C^*$-simple $\text{GBS}_n$ groups including the Leary-Minasyan group. These $C^*$-simple groups also provide new examples of $C^*$-selfless groups and highly transitive groups. Moreover, we demonstrate that natural boundary actions of these $C^*$-simple fundamental groups of graphs of groups give rise to the new purely infinite crossed product $C^*$-algebras.

On virtual singular braid groups

2026-04-09T11:56:46Z

The virtual singular braid group arises as a natural common generalization of classical singular braid groups and virtual braid groups. In this paper, we study several algebraic properties of the virtual singular braid group $VSG_n$. We introduce numerical invariants for virtual singular braids arising from exponent sums of words in $VSG_n$, and describe explicitly the kernels of the associated homomorphisms onto abelian groups. We then determine all group homomorphisms, up to conjugation, from $VSG_n$ to the symmetric group $S_n$, and obtain corresponding semi-direct product decompositions. In the particular case $n=2$, we provide explicit presentations and algebraic descriptions of the kernels. Moreover, we show that certain relations are forbidden in $VSG_n$, and we introduce and study natural quotients of the virtual singular braid group, including welded and unrestricted versions, for which analogous structural results are obtained.

Universal virtual braid groups

2026-04-09T11:38:43Z

We introduce the universal virtual braid group $UV_n(c)$, which provides a unified algebraic framework for virtual braid--type structures with $c$ types of crossings and admits natural quotient maps onto the standard families in the literature. We prove that $UV_n(c)$ contains a right-angled Artin subgroup of finite index, yielding strong structural consequences: residual finiteness, linearity, solvability of the word and conjugacy problems, and the Tits alternative. For $n\ge 5$, the commutator subgroup $UV_n(c)'$ is perfect, and every non-abelian finite image contains a subgroup isomorphic to the symmetric group $S_n$; in particular, $S_n$ is the smallest non-abelian finite quotient. These rigidity phenomena persist under a broad class of natural quotients, including virtual braid, virtual singular braid, virtual twin and multi-virtual braid groups. We further obtain a complete classification of subgroup separability (LERF) and the Howson property for $UV_n(c)$ and its pure subgroup $PUV_n(c)$, showing that both properties hold precisely for $n\le 3$. We also compute the virtual cohomological dimension, determine the center, prove that the finite-index RAAG subgroup is characteristic, and construct explicit finite quotients of $UV_n(c)$ whose order is strictly larger than $n!$.

Thurston norm and the Euler class

2026-04-09T11:14:09Z

In his influential work, Thurston introduced a norm on the second homology group of compact orientable 3-manifolds M, which by duality also determines a dual norm on the second cohomology group. A natural question, initiated by Thurston, is whether integral points on the boundary of the dual norm ball have a geometric interpretation. Thurston showed that the Euler class of the oriented tangent plane field to any taut foliation of M lies in the dual unit ball, and conjectured that, conversely, any integral point on the boundary of the dual unit ball is realised as the Euler class of a taut foliation. In this chapter, we discuss how several geometric, topological, and dynamical structures on a 3-manifold give rise to integral points in the dual unit ball of the Thurston norm, and what is known about Thurston's Euler class one conjecture in these contexts. These structures are taut foliations, tight contact structures, pseudo-Anosov flows, quasigeodesic flows, and circular orders on the fundamental group.

An algorithm to Legendrian realize a curve on a ribbon surface

2026-04-09T09:12:59Z

We give an explicit algorithm to Legendrian realize a homologically nontrivial simple closed curve on a ribbon surface of a Legendrian graph in the standard contact structure $(\mathbb{R}^3,ξ_{\rm st})$. As an application, we obtain an algorithm that converts an abstract open book whose monodromy is written as a product of Dehn twists along homologically nontrivial curves into a contact surgery diagram for the supported contact manifold. Along the way, we also record a uniqueness statement which is implicit in earlier work but, to our knowledge, was never written in the form needed here: any two Legendrian realizations of the same curve on a ribbon surface are Legendrian isotopic, and likewise for Legendrian knots lying on pages of open books and representing the same isotopy class on the page.

A Dehornoy-Type Ordering on Plat Presentation Classes

2026-04-09T04:38:33Z

For each integer $n\ge 1$, after fixing a proper complexity function on the braid group $\B_{2n}$, we use the Dehornoy order to define a strict total order on the set \[ \mathcal P_{2n}=H_{2n}\backslash \B_{2n}/H_{2n} \] of $2n$--plat presentation classes. For a link type $\mathcal L$ with bridge number $b(\mathcal L)\le n$, this induces a strict total order on the subset $\mathcal P^{(n)}(\mathcal L)$ corresponding to bridge isotopy classes of $n$--bridge positions of $\mathcal L$. We also define a distinguished class $\CanPlat_D^{(n)}(\mathcal L)$ and show that the globally chosen Dehornoy canonical braid agrees with the cosetwise canonical representative of the associated Hilden double coset. As an application, we reformulate the fixed-level bridge finiteness conjecture in terms of boundedness of canonical representatives. This viewpoint supports the role of bridge positions as a structured finite-level model for studying the otherwise vast collection of geometric positions of a link.