Cohomology with local coefficients and knotted manifolds

DOI10.1016/j.jsc.2021.04.004zbMath1472.57004arXiv1911.05152OpenAlexW3158934370MaRDI QIDQ2029020

Graham J. Ellis, Kelvin Killeen

Publication date: 3 June 2021

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.05152

zbMATH Keywords

cohomology with local coefficientsknothomotopy classificationdiscrete Morse theorycomputational algebraknotted surface

Mathematics Subject Classification ID

Covering spaces and low-dimensional topology (57M10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Algebraic topology of manifolds (57N65) Knot theory (57K10) Discrete Morse theory and related ideas in manifold topology (57Q70)

Uses Software

• GAP
• SageMath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Homology of coverings
• Homology of group systems with applications to knot theory
• Morse theory for cell complexes
• A user's guide to discrete Morse theory
• An algorithmic approach to fundamental groups and covers of combinatorial cell complexes
• Computational homotopy of finite regular CW-spaces
• Computing fundamental groups from point clouds
• Polynomial-time homology for simplicial Eilenberg-MacLane spaces
• Free differential calculus. II: The isomorphism problem of groups
• Computing All Maps into a Sphere
• The fundamental crossed module of the complement of a knotted surface
• Homology of Branched Cyclic Covers of Knots
• Invariants of welded virtual knots via crossed module invariants of knotted surfaces
• VIRTUAL KNOT PRESENTATION OF RIBBON TORUS-KNOTS
• Computing with knot quandles
• Polynomial-Time Computation of Homotopy Groups and Postnikov Systems in Fixed Dimension
• Knotting manifolds
• CATEGORICAL GROUPS, KNOTS AND KNOTTED SURFACES
• Combinatorial homotopy. II
• Simple Homotopy Types
• On embeddings of spheres