几何拓扑
Meier and Zupan introduced bridge trisections of surface links in $S^4$ as a 4-dimensional analogue to bridge decompositions of classical links, which gives a numerical invariant of surface links called the bridge number. We prove that…
The $\nu^+$-equivalence is an equivalence relation on the knot concordance group. This relation can be seen as a certain stable equivalence on knot Floer complexes $CFK^{\infty}$, and many concordance invariants derived from Heegaard Floer…
For any knot $K$ which bounds non-orientable and null-homologous surfaces $F$ in punctured $n\mathbb{C}P^2$, we construct a lower bound of the first Betti number of $F$ which consists of the signature of $K$ and the Heegaard Floer…
In this paper, we prove a conjecture by Gukov-Pei-Putrov-Vafa for a wide class of plumbed 3-manifolds. Their conjecture states that Witten-Reshetikhin-Turaev (WRT) invariants are radial limits of homological blocks, which are $ q $-series…
We give a conjectural algebraic description of the Fukaya category of a complexified hyperplane complement, using the algebras defined in arXiv:0905.1335 from the equivariant cohomology of toric varieties. We prove this conjecture for…
The action of the mapping class group $\mathrm{Mod}_g$ of an oriented surface $\Sigma_g$ on the lower central series of $\pi_1(\Sigma_g)$ defines the descending filtration in $\mathrm{Mod}_g$ called the Johnson filtration. The first two…
Cone spherical surfaces are orientable Riemannian surfaces with constant curvature one and a finite set of conical singularities. A subset of these surfaces, referred to as dihedral surfaces, is characterized by their monodromy groups,…
In this note we prove that the mapping class group of a compact topological manifold $M$ with boundary is of finite type, under assumptions on its dimension and connectivity.
We prove a finiteness theorem for subgroups of bounded rank in hyperbolic $3$-manifold groups. As a consequence, we show that every bounded rank covering tower of closed hyperbolic $3$-manifolds is a tower of finite covers associated to a…
A knot mosaic is a representation of a knot or link on a square grid using a collection of tiles that are either blank or contain a portion of the knot diagram. Traditionally, a piece of the knot on one tile connects to a piece of the knot…
Garoufalidis and Levine defined a filtration for 3-manifolds equipped with some degree 1 map ($\mathbb{Z}\pi$-homology equivalence) to a fixed 3-manifold $N$ and showed that there is a natural surjection from a space of…
We introduce a new class of possibly noncompact n-dimensional manifolds without boundary associated to finite data which we call topological automata. This class is large enough to contain many interesting examples of open 2-dimensional and…
In a recent note F. Lin showed that if a rational homology sphere $Y$ admits a taut foliation then the Heegaard Floer module $HF^-(Y)$ contains a copy of $\mathbf{F}[U]/U$ as a summand (arXiv:2309.01222). This implies that either the…
In this paper we study welded knots and their invariants. We focus on generating examples of non-trivial knotted ribbon tori as the tube of welded knots that are obtained from classical knot diagrams by welding some of the crossings.…
We prove that the extremal length systole of the cube punctured at its vertices is realized by the 12 curves surrounding its edges and give a characterization of the corresponding quadratic differentials, allowing us to estimate its value…
Quandle Coloring Quivers are directed graph-valued invariants of classical and virtual knots and links associated to finite quandles. Quandle action quivers are subquivers of the full quandle coloring quiver associated to quandle actions by…
We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic…
We construct certain maps from buildings associated to td-groups to a space closely related to the classifying numerable $G$-space for the family $\mathcal{C}$vcy of covirtually cyclic subgroups. These maps are used in forthcoming paper to…
The classical Poincar{\'e} conjecture that every homotopy 3-sphere is diffeomorphic to the 3-sphere is confirmed by Perelman in arXiv papers solving Thurston's program on geometrizations of 3-manifolds. A new confirmation of this conjecture…
Ozsvath and Stipsicz showed that the LOSS invariant is natural under +1 contact surgery. We extend their result and prove the naturality of the LOSS invariant of a Legendrian L under any positive integer contact surgery along another…