几何拓扑

We give a simple presentation of the six quaternionic equiangular lines in $\mathbb{H}^2$ as an orbit of the primitive quaternionic reflection group of order 720 (which is isomorphic to 2.A_6 the double cover of $A_6)$. Other orbits of this…

Given a 3-cocycle $\psi$ in the cohomology of a finite group $G$, we can define the Dijkgraaf-Witten invariant of closed 3-manifolds. In this paper, we focus on the case where $\psi$ is a 3-cocycle canonically obtained from the second Chern…

For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the mapping class group $\pi_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there…

Let $N$ be a complete finite-volume hyperbolic $n$-manifold. An efficient cycle for $N$ is the limit (in an appropriate measure space) of a sequence of fundamental cycles whose $\ell^1$-norm converges to the simplicial volume of $N$. Gromov…

Given an oriented closed manifold $M$ of odd dimension and a unitary representation $\rho : \pi_1(M) \ra \GL_n(\F)$, we define a Reidemeister torsion, even if the cohomology associated with $\rho$ is not acyclic. As corollaries, we…

The transient number of a knot K, denoted tr(K), is the minimal number of simple arcs that have to be attached to K, in order that K can be homotoped to a trivial knot in a regular neighborhood of the union of K and the arcs. We give a…

We show that for $n \neq 1,4$ the simplicial volume of an inward tame triangulable open $n$-manifold $M$ with amenable fundamental group at infinity at each end is finite; moreover, we show that if also $\pi_1(M)$ is amenable, then the…

We construct projective (unitary) representations of Hecke groups from the vector spaces associated with the Witten-Reshetikhin-Turaev topological quantum field theory of higher genus surfaces. In particular, we generalize the modular data…

A central problem in low-dimensional topology asks which homology $3$-spheres bound contractible $4$-manifolds or homology $4$-balls. In this paper, we address this question for plumbed $3$-manifolds and we present two new infinite…

Infinite families of 3-dimensional closed graph manifolds and closed Seifert fibered spaces are exhibited, each member of which contains an essential torus not detected by ideal points of the variety of $\text{SL}_2(\mathbb{F})$-characters…

If $L$ is a flag triangulation of $S^{n-1}$, then the Davis complex $\Sigma_L$ for the associated right-angled Coxeter group $W_L$ is a contractible $n$-manifold. A special case of a conjecture of Singer predicts that the $L^2$-homology of…

We construct a continuous map from the space of orders on quandles to the space of quandle actions on one-manifolds, providing an answer to a question posed by Idrissa Ba and Mohamed Elhamdadi. As an application of this map, we characterize…

We construct open domains of discontinuity for Anosov representations acting on some homogeneous spaces, including (pseudo-Riemannian) symmetric spaces. This generalizes work of Kapovich-Leeb-Porti on flag spaces. Our results complement…

Given a nonorientable, locally flatly embedded surface in the $4$-sphere of nonorientable genus $h$, Massey showed that the normal Euler number lies in $\lbrace -2h,-2h+4,\ldots,2h-4,2h \rbrace$. We prove that every such surface with knot…

Let $\Sigma$ be a connected compact oriented surface with boundary and negative Euler characteristic. Let $k$ be a non-Archimedean local field. In this paper, we prove Basmajian's identity for projective Anosov representations $\rho \colon…

We call a non-trivial homology sphere a Kirby-Ramanujam sphere if it bounds both a homology plane and a Mazur or Po\'enaru manifold. In 1980, Kirby found the first example by proving that the boundary of the Ramanujam surface bounds a Mazur…

We determine the contact mapping class group of the standard contact structures on lens spaces. To prove the main result, we use the one-parametric convex surface theory to classify Legendrian and transverse rational unknots in any tight…

In this paper we prove the vanishing of the bounded cohomology of $\text{Diff}^r_+(S^n)$ with real coefficients when $n\geq 4$ and $1\leq r\leq \infty$. This answers the question raised in \cite{FNS24} for $\geq 4$ dimensional spheres.

We provide a complete classification of when the homeomorphism group of a stable surface, $\Sigma$, has the automatic continuity property: Any homomorphism from Homeo$(\Sigma)$ to a separable group is necessarily continuous. This result…

Let $M$ be a $2$-cusped hyperbolic $3$-manifold. By the work of Thurston, the product of the derivatives of the holonomies of core geodesics of each Dehn filling of $M$ is an invariant of it. In this paper, we classify Dehn fillings of $M$…