几何拓扑
Starting from the work by Jones on representations of Thompson's group $F$, subgroups of $F$ with interesting properties have been defined and studied. One of these subgroups is called the $3$-colorable subgroup $\mathcal{F}$, which…
The Gardiner-Masur compactification of Teichm\"uller space is homeomorphic to the horofunction compactification of the Teichm\"uller metric. Let $\xi$ and $\eta$ be a pair of boundary points in the Gardiner-Masur compactification that fill…
Let $\Sigma$ be a surface of negative Euler characteristic, homeomorphic to a closed surface, possibly with a finite number of points removed. In this paper, we present a construction method for a wide range of examples of geometric…
We prove that every three-dimensional polyhedron is uniquely determined by its dihedral angles and edge lengths, even if nonconvex or self-intersecting, under two plausible sufficient conditions: (i) the polyhedron has only convex faces and…
In this article, for any Seifert fibered integral homology 3-sphere, we give explicit modular transformation formulas of homological blocks introduced by Gukov-Pei-Putrov-Vafa. Moreover, based on the modular transformation formulas, we have…
Let $S_g$ denote a closed oriented surface of genus $g \geq 2$. A set $\Omega = \{ c_1, \dots, c_d\}$ of pairwise non-homotopic simple closed curves on $S_g$ is called a filling system or simply a filling of $S_g$, if $S_g\setminus \Omega$…
We define a pants distance for knotted surfaces in 4-manifolds which generalizes the complexity studied by Blair-Campisi-Taylor-Tomova for surfaces in the 4-sphere. We determine that if the distance computed on a given diagram does not…
We completely determine the mod $2$ Seiberg-Witten invariants for any spin structure on any closed, oriented, smooth $4$-manifold $X$. Our computation confirms the validity of the simple type conjecture mod $2$ for spin structures. Our…
We study the distribution of arithmetic invariants associated to Alexander polynomials for certain infinite families of links. The families of links we consider arise from braids on a fixed number of strings. We explore analogies with…
There is a map, defined and studied by Jones, from Thompson's group $F$ to knots. Jones proved that every knot is in the image of this map -- that is, that every knot can be seen as the "knot closure" of a Thompson group element. We…
This is the second article in a series devoted to the study of the asymptotic expansions of various quantum invariants related to the twist knots. In this article, following the method and results in \cite{CZ23-1}, we present an asymptotic…
When does the double cover of the three-sphere branched along an alternating link bound a rational homology ball? Heegaard Floer homology generates a necessary condition for it to bound: the link's chessboard lattice must be cubiquitous,…
Iwase and Matsumoto defined `pochette surgery' as a cut-and-paste on 4-manifolds along a 4-manifold homotopy equivalent to $S^2\vee S^1$. The first author in [10] studied infinitely many homotopy 4-spheres obtained by pochette surgery. In…
In the generalized topological quantum field theory constructed by Andersen and Kashaev, invariants of 3-manifolds are defined given the combinatorial structure of a tetrahedral decomposition. Furthermore, a variant of the volume conjecture…
The disk graph of a handlebody H of gneus $g\geq 2$ with $m\geq 0$ marked points on the boundary is the graph whose vertices are isotopy classes of disks disjoint from the marked points and where two vertices are connected by an edge of…
In this paper we present two different ways for computing the Kauffman bracket skein module of $S^1\times S^2$, ${\rm KBSM}\left(S^1\times S^2\right)$, via braids. We first extend the universal Kauffman bracket type invariant $V$ for knots…
We use machine learning to classify examples of braids (or flat braids) as trivial or non-trivial. Our ML takes form of supervised learning using neural networks (multilayer perceptrons). When they achieve good results in classification, we…
We show that there exist split, orientable, 2-component surface-links in $S^4$ with non-isotopic splitting spheres in their complements. In particular, for non-negative integers $m,n$ with $m\ge 4$, the unlink $L_{m,n}$ consisting of one…
Bar-Natan's Zh-construction associates to each $n$ component virtual link diagram $L$ an $(n+1)$ component virtual link diagram $Zh(L)$. If $L_0,L_1$ are equivalent virtual link diagrams, then $Zh(L_0),Zh(L_1)$ are equivalent as semi-welded…
We investigate finite right-distributive binary algebraic structures called shelves. We first use symbolic computations with Python to classify (up to isomorphism) all connected shelves with order less than six. We explore the group…