几何拓扑

We make use of the 3D nature of knots and links to find savings in computational complexity when computing knot invariants such as the linking number and, in general, most finite type invariants. These savings are achieved in comparison…

We create an invariant of virtual Y-oriented trivalent spatial graphs using colorings by virtual Niebrzydowski algebras. This paper generalizes the color invariants using virtual tribrackets and Niebrzydowski algebras by Nelson and Pico,…

In this note we prove that two seemingly different smooth 4-manifolds arising as quotients of $S^2\times S^2$ by free actions of $\mathbb{Z}/4$ are in fact diffeomorphic, answering a question of Hambleton and Hillman.

We prove that if the $n$th $\ell^2$-Betti number of a group is non-zero then its $n$th BNSR invariant over $\mathbb{Q}$ is empty, under suitable finiteness conditions. We apply this to answer questions of Friedl--Vidussi and Llosa…

We introduce and investigate oriented dichromatic singular links. We also introduce oriented disingquandles and use them to define counting invariants for oriented dichromatic singular links. We provide some examples to show that these…

Nanophrases have a filtered structure consisting of an infinite number of categories, and each category has a homotopy structure. Among these categories, the one that we are most familiar with is the category of links. Interestingly, the…

This is a companion paper to earlier work of the author, which generalizes to an infinite family of $(2,2w+1)$-cabling of the figure eight knot ($|w|>3$) and proposes general formulas for the two-variable series invariant of the family of…

We undertake a systematic study of the infinitesimal geometry of the Thurston metric, showing that the topology, convex geometry and metric geometry of the tangent and cotangent spheres based at any marked hyperbolic surface representing a…

The partial-dual genus polynomial $^\partial\varepsilon_G(z)$ of a ribbon graph $G$ is the generating function that enumerates all partial duals of $G$. In this paper, we give a categorification for this polynomial. The key ingredient of…

The Apollonius theorem gives the length of a median of a triangle in terms of the lengths of its sides. The straightforward generalization of this theorem obtained for m-simplices in the n-dimensional Euclidean space for n greater than or…

The Goldman Lie algebra of an oriented surface was defined by Goldman. By the natural involution that opposes the orientation of curves, the Goldman Lie algebra becomes a $\mathbb{Z}_{2}$-graded Lie algebra. Its even part is isomorphic to…

Let $\mathfrak{G}$ be the subgroup $\mathfrak{S}_{n-q} \times \mathfrak{S}_{q}$ of the $n$-th symmetric group $\mathfrak{S}_{n}$ for $n-q \geq q$. In this paper, we study the $\mathfrak{G}$-invariant part of the rational cohomology group of…

We study the number of short geodesics and small eigenvalues on Weil-Petersson random genus zero hyperbolic surfaces with $n$ cusps in the regime $n\to\infty$. Inspired by work of Mirzakhani and Petri \cite{Mi.Pe19}, we show that the random…

In this survey, we present most recent highlights from the study of the homology cobordism group, with a particular emphasis on its long-standing and rich history in the context of smooth manifolds. Further, we list various results on its…

For a finite-type surface $\mathfrak{S}$, we study a preferred basis for the commutative algebra $\mathbb{C}[\mathscr{R}_{\mathrm{SL}_3(\mathbb{C})}(\mathfrak{S})]$ of regular functions on the $\mathrm{SL}_3(\mathbb{C})$-character variety,…

We resolve a case of the oriented knot complement conjecture by showing that knots in an orientable circle bundle $N$ over a genus $g \geq 2$ surface $S$ are determined by their complements. We apply this to the setting of canonical knots…

The twisted Alexander polynomial of a knot is defined associated to a linear representation of the knot group. If there exists a surjective homomorphism of a knot group onto a finite group, then we obtain a representation of the knot group…

A Divide with cusps is the image of a proper generic immersion from finite intervals and circles into a $2$-disk which allows to have cusps. A divide with cusps is the generalization of the notion of the divide which is introduced by…

We show that given a fully-punctured pseudo-Anosov map $f:S \to S$ whose punctures lie in at least two orbits under the action of $f$, the expansion factor $\lambda(f)$ satisfies the inequality $\lambda(f)^{|\chi(S)|} \ge \mu^4 \approx…

We introduce veering branched surfaces as a dual way of studying veering triangulations. We then discuss some surgical operations on veering branched surfaces. Using these, we provide explicit constructions of some veering branched surfaces…