几何拓扑
We describe a Python module that we developed to calculate cobordism maps induced on Khovanov homology. As applications of our program, we compute these maps for all incompressible Seifert surfaces for prime knots up to 10 crossings, and…
This chapter provides a comprehensive survey of foundational results and recent advances concerning minimal generating sets for the mapping class group of a nonorientable surface, $\mathrm{Mod}(N_{g})$, and its index-two twist subgroup,…
We describe a construction of invariant train tracks with irreducible transition matrix for pseudo-Anosov homeomorphisms. This fills what seems to be a gap in the literature concerning the existence of such train tracks. The construction…
Motivated by knot theory, it is natural to define the orientation-reversal of a quandle orbit by inverting all the translations given by elements of that orbit. In this short note we observe that this natural notion is unsuited to medial…
We answer a question raised in ``Peripheral elements in reduced Alexander modules'' [J. Knot Theory Ramifications 31 (2022), 2250058]. We also correct a minor error in that paper.
We prove two properties of the modules and quandles discussed in this series. First, the fundamental multivariate Alexander quandle $Q_A(L)$ is isomorphic to the natural image of the fundamental quandle in the metabelian quotient…
The core group of a classical link was introduced independently by A.J. Kelly in 1991 and M. Wada in 1992. It is a link invariant defined by a presentation involving the arcs and crossings of a diagram, related to Wirtinger's presentation…
We explain how the medial quandle of a classical or virtual link can be built from the peripheral structure of the reduced Alexander module.
We discuss meridians and longitudes in reduced Alexander modules of classical and virtual links. When these elements are suitably defined, each link component will have many meridians, but only one longitude. Enhancing the reduced Alexander…
Let $\Sigma_g$ be a closed Riemann surface of genus $g$. Let $G$ be a finite subgroup of the automorphism group of $\Sigma_g$. It is well known that there exists a smooth $G$-equivariant embedding from $\Sigma_g$ to some Euclidean space…
We give a flexible construction for knots in the 3-sphere that bound surfaces of unexpectedly low genus in punctured open books on 3-manifolds. We use this construction to give the first examples of knots whose genus differs in different…
We introduce a class of decorated abstract graphs, that we call XC-tangles, that provides a very convenient framework to study quantum invariants of tangles and virtual tangles. These can be viewed as a far-reaching generalisation of…
Consider a robot that remembers only the starting position and walks along a knot once on a knot diagram, switching every undercrossing it meets until it returns to the starting position. We observe that the robot produces an ascending…
We present an explicit construction of closed oriented aspherical smooth 4-manifolds with $\chi = \sigma = n$ for every positive integer $n$. This proves a conjecture of Edmonds by providing a closed oriented aspherical 4-manifold with…
If a complex $X$ is a subcomplex of a diagrammatically reducible 2-complex $Y$ that has locally indicable fundamental group, then $X$ has locally indicable fundamental group. This is a consequence of the Corson-Trace characterization of…
End-periodic homotopy equivalences of infinite, locally finite graphs serve as dimension-one analogs of the end-periodic automorphisms traditionally defined on infinite-type surfaces. We demonstrate that if $\Gamma$ is an infinite graph…
In [Z23], minimal tri-plane diagrams of surface-links listed in the Yoshikawa table are computed using ch-diagrams. In this paper, we obtain upper bounds for the L- and L*-invariants of several surface-links in the Yoshikawa table by using…
We produce combinatorial formulas for invariants of smooth embeddings of $(2\ell-1)$-spheres into $\mathbb{R}^{3\ell}$ for $\ell\geq 2$. Furthermore, we obtain such a formula for the Haefliger invariant, which classifies smooth knots…
Justin Lanier and the authors recently determined the group normally generated by a single bounding pair map of genus $n$. We related this subgroup with the Chillingworth subgroup and the Casson--Morita's $d$ map. In this paper, we extend…
We identify type-preserving representations $\phi: \pi_1(\Sigma)\to \mathrm{PSL}(2,\mathbb{R})$ of the fundamental group of every punctured surface $\Sigma = \Sigma_{g,p}$ that are not Fuchsian yet send all non-peripheral simple closed…