arXiv subjects
Publications and source records attributed to Zsombor Fehér.
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 distinguish many ribbon disks arising from symmetries of the boundary knots.
We give families of knots and links with pairs of Seifert surfaces that are topologically non-isotopic in $D^4$. This generalizes the main example of Hayden-Kim-Miller-Park-Sundberg and the proof is similarly based on the double branched cover and the Seifert form. Moreover, using Conway's theory of topographs, we implement an algorithm that decides whether two integral quadratic forms in two variables are isomorphic over $\mathbb Z$.