Discrete minimal surfaces: Old and New

2026-04-11T13:45:11Z

We survey structure-preserving discretizations of minimal surfaces in Euclidean space. Our focus is on a discretization defined via parallel face offsets of polyhedral surfaces, which naturally leads to a notion of vanishing mean curvature and a corresponding variational characterization. All simply connected discrete minimal surfaces of this type can be constructed from circle patterns via a discrete Weierstrass representation formula. This representation links the space of discrete minimal surfaces to the deformation space of circle patterns, and thereby to classical Teichmüller theory. We also discuss variants of discrete minimal surfaces obtained by modifying the definition of mean curvature, restricting the variational criterion, or replacing circle pattern data with discrete conformal equivalence, Koebe-type circle packings, or quadrilateral meshes with factorized cross ratios. We conclude with open questions on discrete minimal surfaces.

Methods of constructing spaces with non-trivial self covers

2026-04-11T11:49:59Z

We survey techniques for constructing spaces with non-trivial self covers. These processes include methods for building low and high dimension continua which non-trivially self. We also discuss several related group theoretic and topological concerns. Statements of a number of open problems related to self covering phenomena are included.

Kauffman bracket skein module of the connected sum of two solid tori

2026-04-11T01:03:37Z

We determine the structure of the Kauffman bracket skein module of the connected sum of two genus one handlebodies over the ring of Laurent polynomials $\mathbb Z[q^{\pm 1}]$, thereby proving a conjecture posed by the first and third authors. Our results lay the groundwork for computing the Kauffman bracket skein module of arbitrary connected sums over the ring $\mathbb Z[q^{\pm 1}]$.

A Neukirch-Uchida Theorem for 3-Manifolds

2026-04-10T16:27:26Z

The classical Neukirch-Uchida theorem states that the absolute Galois group determines a number field up to isomorphism. We prove an analogue of this theorem for 3-manifolds in the framework of arithmetic topology. We study infinite links in 3-manifolds that behave like the set of primes, satisfying a Chebotarev density property. Relative to such a stably Chebotarev link, we define the absolute Galois group of a 3-manifold as the inverse limit of profinite completions of finite sublink complements. Our main result shows that two branched covers of the three-sphere over a stably Chebotarev link are homeomorphic if and only if their absolute Galois groups are isomorphic via a characteristic-preserving isomorphism. The proof translates the key ideas from the number-theoretic argument into topology, relying on Hilbert ramification theory for infinite covers and local-global principles. In doing so, it also provides a systematic justification for viewing Chebotarev links as the precise topological analogue of prime numbers in anabelian geometry. In addition, we discuss further conditions for links to play the role of prime numbers

Bridge Multisections of Knotted Surfaces in $S^4$

2026-04-10T16:00:17Z

Bridge multisections are combinatorial descriptions of surface links in 4-space using tuples of trivial tangles. They were introduced by Islambouli, Karimi, Lambert-Cole, and Meier to study curves in rational surfaces. In this paper, we prove a uniqueness result for bridge multisections of surfaces in 4-space: we give a complete set of moves relating to any two multiplane diagrams of the same surface. This is done by developing a surgery operation on multiplane diagrams called band surgery. Another application of this surgery move is that any $n$-valent graph with an $n$-edge coloring is the spine of a bridge multisection for an unknotted surface. We also prove that any multisected surface in $S^4$ can be unknotted by finitely many band surgeries.

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.