几何拓扑
We define new algebras, local bimodules, and bimodule maps in the spirit of Ozsvath-Szabo's bordered knot Floer homology. We equip them with the structure of 2-representations of the categorified negative half U^- of U_q(gl(1|1)),…
We show that, under weak assumptions, the automorphism group of a ${\rm CAT(0)}$ cube complex $X$ coincides with the automorphism group of Hagen's contact graph $\mathcal{C}(X)$. The result holds, in particular, for universal covers of…
We describe a procedure to deform cubulations of hyperbolic groups by "bending hyperplanes". Our construction is inspired by related constructions like Thurston's Mickey Mouse example, walls in fibred hyperbolic $3$-manifolds and…
Many geometric structures associated to surface groups can be encoded in terms of invariant cross ratios on their circle at infinity; examples include points of Teichm\"uller space, Hitchin representations and geodesic currents. We add to…
We construct a graph TQFT for the minus flavor of Heegaard Floer homology. Our graph TQFT extends Ozsv\'{a}th and Szab\'{o}'s TQFT for closed and connected 3-manifolds, and allows for cobordisms with disconnected ends. As an application, we…
We prove a conjecture of Migdail and Wehrli regarding the odd Khovanov cobordism maps associated to knotted spheres. Our key tool is Daemi's plane Floer homology, which we use in place of a Lee deformation. Continuing the analogy with Lee…
We introduce a numerical invariant $\zeta(\Sigma)$ measuring the end-complexity of $\Sigma$ and use it to organize coarse-geometric features of Map($\Sigma$). Our main tool is the \emph{non-peripheral curve graph} $C_{\rm np}(\Sigma)$,…
We present some natural crystallizations of the generalized lens spaces $L(p, q_1, \dots, q_n)$ for integers $p\geq 2$, $n\geq 1$ and integers $q_1, \dots, q_n$ relatively prime to $p$. These crystallizations are quotients of triangulations…
We derive new formulas for the Jones polynomial and the Kauffman bracket polynomial of a rational link represented by a standard diagram that is not necessarily alternating. These formulas generalize the results of Qazaqzeh, Yasein, and…
Let $S$ be an arbitrary Riemann surface whose Teichm\"uller space $T(S)$ has dimension at least two. A long standing problem is to determine whether the Carath\'eodory metric $d_C$ agrees with the Teichm\"uller metric $d_T$ on $T(S)$. It…
For any two-bridge link or 3-tangle Montesinos link $L\subset S^3$ (including knot), this paper proves that $\pi_1(S^3-L)$ is profinitely rigid among the fundamental groups of compact orientable 3-manifolds.
Given any weak Perron number $\lambda$, we construct an end-periodic homeomorphism $f:\Sigma\rightarrow \Sigma$ with Handel-Miller stretch factor equal to $\lambda$ where $\Sigma$ is a connected infinite-type surface with finitely many ends…
We construct analogues of Fenchel-Nielsen coordinates on an open and dense subset of the space of holonomies of branched hyperbolic structures on a closed genus-2 surface. We show that these coordinates satisfy an analogue of Wolpert's…
Sleator, Tarjan, and Thurston asked: Given a triangulation $\sigma$ of the 2-sphere, what is the minimum number of tetrahedra needed to extend $\sigma$ to a triangulation of the ball? Call this minimum $\mathrm{tetvol}(\sigma)$. Let $X$ be…
We study a relationship between the Heegaard Floer homology correction terms of integral homology spheres and the word metric on the Torelli group. For example, we give an elementary proof that the Cayley graph of the Torelli group has…
The degree of a map between orientable manifolds is a fundamental concept in topology, providing deep insights into the structure of manifolds and the behavior of maps between them. Recently, this notion has been extensively studied,…
A crystallization of a PL manifold is an edge-colored graph that corresponds to a contracted triangulation of the manifold, facilitating the study of its topological and combinatorial properties. A small cover over a simple convex…
Perron and Quinn gave independent proofs in 1986 that every topological pseudo-isotopy of a simply-connected, compact topological 4-manifold is isotopic to the identity. Another result of Quinn is that every smooth pseudo-isotopy of a…
Karakurt and \c{S}avk computed the Ozsv\'ath-Szab\'o $d$-invariants of Brieskorn homology $3$-spheres arising as surgeries on almost simple linear graphs. In this paper, we refine their formula for these $d$-invariants. Furthermore, we…
We present some algorithms that provide useful topological information about curves in surfaces. One of the main algorithms computes the geometric intersection number of two properly embedded 1-manifolds $C_1$ and $C_2$ in a compact…