几何拓扑

In this paper we define the equivariant double-slice genus and equivariant super-slice genus of a strongly invertible knot. We prove lower bounds for both the equivariant double-slice genus and the equivariant super-slice genus. Using these…

For strongly invertible knots, we define an involutive version of Khovanov homology, and from it derive a pair of integer-valued invariants $(\underline{s}, \bar{s})$, which is an equivariant version of Rasmussen's $s$-invariant. Using…

Any pair of intersecting cylinders on a translation surface is "coherent," in that the geometric and algebraic intersection numbers of their core curves are equal (up to sign). In this paper, we investigate when a pair of multicurves can be…

The operation of crushing a normal surface has proven to be a powerful tool in computational $3$-manifold topology, with applications both to triangulation complexity and to algorithms. The main difficulty with crushing is that it can…

The surface Houghton groups $\mathcal{H}_{n}$ are a family of groups generalizing Houghton groups $H_n$, which are constructed as asymptotically rigid mapping class groups. We give a complete computation of the BNSR-invariants…

In 2014 Jones showed how to associate links in the $3$-sphere to elements of Thompson's group $F$. We provide an analogue of this program for annular links and Thompson's group $T$. The main result is that any edge-signed graph embedded in…

A meromorphic quadratic differential on a compact Riemann surface defines a complex projective structure away from the poles via the Schwarzian equation. In this article we first prove the analogue of Thurston's Grafting Theorem for the…

We show that the complement of arithmetic modular links found in arXiv:2307.09409 is homeomorphic to the complement of augmented chainlinks. In particular, these link complements arise as n-fold cyclic covers of the Whitehead link…

We describe an algorithm to decide whether two genus-two surfaces embedded in the 3-sphere are isotopic or not. The algorithm employs well-known techniques in 3-manifolds topology, as well as a new algorithmic solution to a problem on free…

In this paper, we show that two flat fully augmented links with homeomorphic complements must be equivalent as links in $\mathbb{S}^{3}$. This requires a careful analysis of how totally geodesic surfaces and cusps intersect in these link…

We present three large families of new examples of plumbed 3-manifolds that bound rational homology 4-balls. These are constructed using two operations, also defined here, that preserve the lack of a lattice embedding obstruction to…

For every finite collection of curves on a surface, we define an associated (semi-)norm on the first homology group of the surface. The unit ball of the dual norm is the convex hull of its integer points. We give an interpretation of these…

We determine the framed instanton homology with coefficients in $\mathbb F = \mathbb Z/2$ for Dehn surgeries on a knot in the $3$-sphere. The dimension of these groups is seen to have a close relationship with a homology cobordism invariant…

We provide some explicit algebraic criteria in terms of the Goldman bracket to decide whether two free homotopy classes of loops on an oriented surface admit disjoint representatives. We extend Kabiraj's method using the hyperbolic geometry…

We prove that each prime knot union an essential arc on a minimal genus Seifert surface is a prime theta-curve.

Suppose $K \subset S^3$ is a knot and suppose $p$ and $q$ are co-prime integers with $q\ge 1$. For any field $\mathbb{K}$, we establish a dimension formula for the framed instanton homology of knot surgeries: $$ \dim I^\sharp(S^3_{p/q}(K);…

We consider the isomonodromic deformations of irregular-singular connections defined on principal bundles over complex curves: for any complex reductive structure group G, and any polar divisor; allowing for a twisted/ramified formal normal…

Let $\mathcal{M}_g$ be the moduli space of hyperbolic surfaces of genus $g$ endowed with the Weil-Petersson metric. We view the regularized determinant $\log \det(\Delta_{X})$ of Laplacian as a function on $\mathcal{M}_g$ and show that…

In 1974, D. Rolfsen asked: If two PL links in $S^3$ are isotopic (=homotopic through embeddings), then are they PL isotopic? We prove that they are PL isotopic to another pair of links which are indistinguishable from each other by finite…

Khovanov homology is a powerful link invariant: a categorification of the Jones polynomial that enjoys a rich and beautiful algebraic structure. This homology theory has been extensively studied and it has become an ubiquitous topic in…