A hyperbolic $4$-orbifold with underlying space $\mathbb{P}^2$

2026-04-17T14:36:14Z

This paper shows that the complex projective plane $\mathbb{P}^2$ can be realized as the underlying space for a closed hyperbolic $4$-orbifold. This is the first example of a closed hyperbolic $4$-orbifold whose underlying space is symplectic, which is related to the open question as to whether or not closed hyperbolic $4$-manifolds can admit symplectic structures.

Volume Conjecture and quantum hyperbolic invariants: the figure eight knot complement

2026-04-17T14:05:06Z

We compute the real part of the semi-classical limit of the sequence of quantum hyperbolic invariants (QHI) of the figure-eight knot complement $M$. We show that it is rigid, in the sense that it does not depend on the choice of holonomy representation of $M$, and it is either $0$ or equal to the hyperbolic volume of $M$ divided by $2π$, depending on a parity condition satisfied by logarithms of the holonomy eigenvalues on the canonical longitude, where the logarithms are parameters of the QHI of $M$. Along the way we also survey some relevant general features of the QHI.

Mostow Rigidity Made Easier

2026-04-17T10:55:49Z

This article gives a self-contained proof of Mostow Rigidity, at least modulo undergrad real analysis. The proof should be accessible to grad students interested in geometry and topology. It has no new research, but I think that this is an unusually clean and analytically light proof of this famous result. I am posting this because I think it will be useful to geometry/topology students.

The Local Lifting Property, Property FD, and stability of approximate representations

2026-04-17T10:36:41Z

We establish Kirchberg's Local Lifting Property and Lubotzky--Shalom's Property FD for classes of finitely generated groups of central importance in geometric and combinatorial group theory: $3$-manifold groups, limit groups, and certain one-relator groups and right-angled Artin groups. We deduce that such groups are very flexibly stable, with respect to normalized unitarily invariant norms. In the appendix, we show that these groups also have Kechris's property (E)MD, and hence are stable in finite actions, in the selse of Gohla--Thom. The exposition is made accessible to operator algebraists and group theorists alike.

A note on reducing spheres for the genus-4 Heegaard surface in the 3-sphere

2026-04-17T05:52:45Z

For the genus-$4$ Heegaard surface in the $3$-sphere, we present a sufficient condition for a non-separating weak reducing pair to be separated by a reducing sphere for the surface. As a consequence, we reduce the connectivity problem in the reducing sphere complex for the surface to the problem of showing that any two vertices, whose representative reducing spheres are disjoint from a fixed non-separating compressing disk for the surface, are connected in the complex.

Absolute $\mathbb{Z}/2$ gradings in real Heegaard Floer homology

2026-04-17T02:28:28Z

Real Heegaard Floer homology is an invariant associated to a three-manifold equipped with an involution with nonempty fixed set of codimension two. We show that when the image of the fixed point set is nullhomologous in the quotient, the real Heegaard Floer homology groups admit an absolute $\mathbb{Z}/2$ grading; in particular this applies to double branched covers of links in $S^3$. As an application, we define a $\mathbb{Z}$-valued invariant of knots, which is the appropriate signed analogue of Miyazawa's degree invariant. Furthermore, we show that this invariant is equal to the Alexander polynomial of the knot evaluated at $i$.

The Pants Graph of a Free Group

2026-04-17T02:22:02Z

We introduce the concept of a pants decomposition for a finitely generated free group and construct the corresponding pants graph. A pants decomposition of a free group leads to the formation of a simplicial graph, referred to as the pants graph of a free group, consisting of all possible pants decompositions. The natural isometric action of the outer automorphism group of the free group on the pants graph induces a coarsely surjective orbit map. Additionally, we construct a coarsely Lipschitz map from the pants graph to the free splitting complex. These results imply that the pants graph of a free group is both connected and unbounded.

Notions of Anosov representation of relatively hyperbolic groups

2026-04-16T22:03:11Z

We prove that divergent, extended geometrically finite (in the sense of Weisman arXiv:2205.07183) representations can be interpreted as restricted Anosov (in the sense of Tholozan--Wang arXiv:2307.02934) representations over certain flow spaces. We also show that the representations of this type are stable under small type preserving deformations. As an example, we show that a representation induced from a geometrically finite one through a Galois covering, constructed in Tholozan--Wang arXiv:2307.02934, is divergent and extended geometrically finite with a non-homeomorphic boundary extension.

Remarks on Topological Rigidity of Real Moment-Angle Manifolds

2026-04-16T18:25:22Z

We study topological rigidity of real moment-angle manifolds associated to flag simplicial complexes. Using the cubical geometry arising from the Davis construction, we identify the universal cover with the Davis complex and deduce that it admits a CAT(0) metric. As a consequence, its fundamental group satisfies the Farrell--Jones conjecture. Applying surgery theory, we deduce that real moment-angle manifolds of dimension at least five associated to flag complexes satisfy the Borel Conjecture. We also explain why this rigidity phenomenon is specific to the real case and fails for complex and quaternionic moment-angle complexes.

On gluing and splitting series invariants of plumbed 3-manifolds

2026-04-16T18:10:01Z

We study series invariants for plumbed 3-manifolds and knot complements twisted by a root lattice. Our series recover recent results of Gukov-Pei-Putrov-Vafa, Gukov-Manolescu, Park, and Ri and apply more generally to 3-manifolds which are not necessarily negative definite. We show that our series verify certain gluing and splitting properties related to the corresponding operations on 3-manifolds. We conclude with an explicit description of the case of lens spaces and Brieskorn spheres.

Classifying spaces for families of virtually abelian subgroups of surface braid groups

2026-04-16T17:18:47Z

Given a group $G$ and an integer $n \geq 0$, let $\mathcal{F}_n$ denote the family of all virtually abelian subgroups of $G$ of rank at most $n$. In this article, we show that for each $n \geq 1$, the minimal dimension of a model for the classifying space $E_{\mathcal{F}_n}G$ for the pure braid group of a surface of non-negative Euler characteristic with at least one boundary component or one puncture is equal to the virtual cohomological dimension of $G$ plus $n$. We prove an analogous result for the full braid group of the sphere. As an application, we compute the minimal dimension of a model for the classifying space associated to the family of amenable subgroups of pure surface braid groups.

Poincaré-Hopf Theorem for Isolated Determinantal Singularities

2026-04-16T15:09:44Z

Let $X \subset\mathbb{P}^r$ be a projective $d$-variety with isolated determinantal singularities and $ω$ be a $1$-form on $X$ with a finite number of singularities (in the stratified sense). Under some technical conditions on $r$ we use two generalization of Poincaré-Hopf index with the goal of proving a Poincaré-Hopf Type Theorem for $X$.

Infinite Schottky groups and group actions on infinite type surfaces

2026-04-16T15:05:02Z

In this paper, we introduce a collection of purely loxodromic free Kleinian groups, called infinite Schottky group, which are defined by a suitable collection of simple loops in a similar way as in the case for Schottky groups of finite rank. An infinite Schottky group $Γ$ admits a $Γ$-invariant connected component $Ω$ of its region of discontinuity, such that every other component is a topological disc and has trivial $Γ$-stabilizer, and $Ω/Γ$ is an infinite type Riemann surface without planar ends. Every infinite type Riemann surface $Σ_{F}$ without planar ends can be so obtained (retrosection theorem). If $G < {\rm Aut}(Σ_{F})$ acts freely and $Σ_{F}/G$ is of finite type, then we observe that it lifts to a group of automorphisms of $Ω$, for a suitable infinite Schottky uniformization of it by a infinite Schottky group $Γ$, if and only if there is a $G$-invariant collection ${\mathcal F}$ of pairwise disjoint essential simple loops on $Σ_{F}$ such that each connected component of $Σ_{F} \setminus {\mathcal F}$ is a finite planar surface, generalizing the situation for the case of Schottky groups of finite rank.

Diffeomorphism groups and gauge theory for families

2026-04-16T14:47:38Z

This article provides a survey of gauge theory for families, with a particular focus on its applications to diffeomorphism groups of $4$-manifolds that were developed during the period 2021--2025.

Gauge theory for families

2026-04-16T14:36:03Z

This article surveys gauge theory for families and its applications to the comparison between the diffeomorphism group and the homeomorphism group of $4$-manifolds, up to 2021.