几何拓扑
Let a three-dimensional hyperbolic polyhedron $\mathcal P$ have finite volume $\mathrm{vol}(\mathcal P)$ and a finite number of vertices $\mathrm{ver}(\mathcal P)$. We call its normalized volume the quantity $\omega(\mathcal P) =…
We introduce a new type of singularity for smooth maps from $4$-manifolds to surfaces, called an $M$-singularity, whose critical locus is a circle contained in a single fiber. We show that the monodromy around an $M$-singularity is a…
Applying our recent classification of negative-twisting tight contact structures on Seifert fibered spaces whose base orbifold is a sphere, we provide the complete list of all the Brieskorn spheres carrying at most two symplectically…
A classical question in quantitative topology is to bound the mapping degree $\operatorname{deg}(f)$ in terms of its Lipchitz constant $\operatorname{Lip}(f)$. For a closed, oriented manifold $M$, the flexible exponent $\alpha(M)$ is the…
In this paper, we explore the algebraic structure of GL-racks, and demonstrate that finite GL-racks decompose canonically into permutation GL-racks and block GL-racks. As a corollary, we verify that two Legendrian knots with the same…
Habegger and Lin gave a classification of link-homotopy classes of links in terms of that of string links modulo certain group actions. As an application, they constructed an algorithm for determining whether given two links are…
We prove that every smooth $n$-dimensional knot in $\mathbb{R}^{n+2}$ can be ambiently isotoped into the Menger $n$-dimensional continuum. In contrast with classical embedding theorems for universal compacta, our construction is explicit…
Using the picture deformation technique of De Jong-Van Straten we show that no singularity whose resolution graph has 3 or 4 large nodes, i.e., nodes satisfying d(v)+e(v)\leq -2, has a QHD smoothing. This is achieved by providing a general…
We present an algorithm for sampling tightly confined random equilateral closed polygons in three-space which has runtime linear in the number of edges. Using symplectic geometry, sampling such polygons reduces to sampling a moment…
In this note we investigate three kinds of applications of the Painlev\'e-Kuratowski convergence of closed sets in analysis that are motivated also by questions from singularity theory. Firstly, we generalise to Lipschitz functions the…
We consider the mapping $b_L\colon\mathcal{T} \to \chi$ from the Fricke-Teichm\"uller space $\mathcal{T}$ into the $\mathrm{PSL}_2\mathbb{C}$-character variety $\chi$ of the surface, obtained by bending Fuchsian representations along a…
If the group of a 2-knot group $K$ has an abelian normal subgroup of rank $\geq1$ which is not finitely generated then either $K$ has no minimal Seifert hypersurface or $K$ is topologically equivalent to Example 10 of Ralph Fox's``{\it A…
The conjectures of Low and Natario--Tod, and Penrose's question on Arnold's Problem list ask if causality in spacetimes can be formulated in terms of linking of spheres of light rays in the manifold of all light rays. For…
Let $X=SL_3(\R)/SO(3)$. Let $\cal DFR$ be the space of discrete faithful representations of the modular group into ${\rm Isom\/}(X)$ which map the order $2$ generator to an isometry with a unique fixed point. In this paper, we prove that…
Previous work of the author and N. Reshetikhin defines an invariant $\operatorname{Z}_{N}^{\psi}(K, \rho, \mu)$ of a knot $K$, a representation $\rho : \pi_{1}(S^{3} \setminus K) \to \operatorname{SL}_2(\mathbb{C})$, and a logarithm $\mu$…
We use the Heegaard Floer homology cobordism maps to obstruct the existence of a symplectic structure on the Akbulut-Kirby Mazur manifolds whose boundary is a Brieskorn sphere $Y$ among $\Sigma(2,3,13),$ $\Sigma(2,5,7)$ and $\Sigma(3,4,5)$.…
We establish a formula expressing Miyazawa's 2-knot invariant $|\mathrm{deg}|$ in terms of the Lefschetz number of a map on ordinary (i.e., not real) monopole Floer homology. As an application, we deduce that $|\mathrm{deg}|=1$ for any…
The fundamental quandle is an invariant for distinguishing surface knots, yet computable presentations have traditionally been limited to surfaces embedded in the $4$-sphere. Building on the framework of banded unlink diagrams introduced by…
We use normal-turn estimates for McShane--Rivin norm balls to prove that, for every complete finite-area hyperbolic once-punctured torus $X$, the number of simple closed geodesics of length exactly $L\geq 2$ is at most $C_X(\log L)^2$. For…
Strong hyperbolicity is a coarse notion of negative curvature, stronger than Gromov hyperbolicity, that includes all CAT(-k) metrics for k positive and allows the use of dynamical techniques available in negative curvature, such as…