几何拓扑
We compute in many classes of examples the first potentially interesting homotopy group of the space of embeddings of either an arc or a circle into a manifold $M$ of dimension $d\geq4$. In particular, if $M$ is a simply connected…
Khovanov--Rozansky's HOMFLY homology is determined for all prime knots with up to 11 crossings by direct computations.
Given a $d$-dimensional manifold $M$ and a knotted sphere $s\colon\mathbb{S}^{k-1}\hookrightarrow\partial M$ with $1\leq k\leq d$, for which there exists a framed dual sphere $G\colon\mathbb{S}^{d-k}\hookrightarrow\partial M$, we show that…
A spatial refinement of Bar-Natan homology is given, that is, for any link diagram $D$ we construct a CW-spectrum $\mathcal{X}_{\mathit{BN}}(D)$ whose reduced cellular cochain complex gives the Bar-Natan complex of $D$. The stable homotopy…
We show that embedding calculus invariants $ev_n$ are surjective for long knots in an arbitrary $3$-manifold. This solves some remaining open cases of Goodwillie--Klein--Weiss connectivity estimates, and at the same time confirms one half…
Khovanov homology is functorial up to sign with respect to link cobordisms. The sign indeterminacy has been fixed by several authors, by extending the original theory both conceptually and algebraically. In this paper we propose an…
Lee homology (a variant of Khovanov homology) over $\mathbb{Q}$ possesses the "canonical generators" as its basis. The generators (Lee's classes) $[\alpha(D, o)]$ are constructed combinatorially from an oriented link diagram $D$, one for…
In the SnapPy census, there are 9 asymmetric L-space knots. It is known that each of them admits exactly two quasi-alternating surgeries with the aid of a computer. The purpose of this article is to confirm these surgeries by the Montesinos…
From the work of X. S. Lin and Z. Wang, it follows that degree two knot invariant admits a decomposition into the sum of a Gauss diagram count and a term involving Arnold invariants. In this paper we establish an analogous description for…
New explicit procedures for passing among triplane diagrams, braid movies, and braid charts for knotted surfaces in $\mathbb{R}^4$ are presented. To this end, rainbow diagrams, which lie between braid charts and triplanes, are introduced.…
We study a finite sequence of graphs, beginning with the curve graph and ending with a graph quasi-isometric to a tree. There is a Lipschitz map from one graph in the sequence to the next. This sequence was first introduced by Hamenst\"adt.…
We construct and study representations of rational and pretzel tangle and knot groups into the affine group $\mathrm{AGL}(1,\mathbb{C})$, via a TQFT that is valued in the category of spans of singular vector bundles over…
We define the LMO spectrum, a categorification of the Le-Murakami-Ohtsuki (LMO) invariant for 3-manifolds, using factorization homology. The theoretical foundation is our main algebraic result (Theorem A): the algebra of Jacobi diagrams,…
We study Bott and Cattaneo's $\Theta$-invariant of 3-manifolds applied to $\mathbb{Z}\pi$-homology equivalences from 3-manifolds to a fixed spherical 3-manifold. The $\Theta$-invariants are defined by integrals over configuration spaces of…
A free surface-link is a surface-link whose fundamental group is a free group not necessarily meridian-based. Free ribbon lemma says that every free sphere-link in the 4-sphere is a ribbon sphere-link. Four different proofs of Free ribbon…
In this paper we will associate a family $\{K_1,\dots,K_l\}\subset \mathbb{S}^3$ of iterated torus knots to a given free numerical semigroup. We will describe the fundamental group of the knot complement of each knot of the family. Finally,…
The {\em topological symmetry group} of an embedding $\Gamma$ of an abstract graph $\gamma$ in $S^3$ is the group of automorphisms of $\gamma$ which can be realized by homeomorphisms of the pair $(S^3, \Gamma)$. These groups are motivated…
In this article, we introduce a non-negative integer-valued function that measures the obstruction for converting topological isotopy between two Legendrian knots into a Legendrian isotopy. We refer to this function as the Cost function. We…
In this article, we explore a polynomial invariant for Legendrian knots which is a natural extension of Jones polynomial for (topological) knots. To this end, a new type of skein relation is introduced for the front projections of…
We prove an upper bound for the first Betti number of a nontrivial genus-$g$ Lefschetz fibration. We also show that if the monodromy of a Lefschetz fibration is transitive with respect to the mapping class group, the Lefschetz fibration is…