Characteristic Class of Isotopy for Surfaces

It is an important problem in topology to verify whether two embeddings are isotopic. This work proposes an algorithm for computing Haefliger-Wu invariants for isotopy based on algebraic topological methods. Given a simplicial complex embedded in the Euclidean space, the deleted product of it is the...

Full description

Saved in:
Bibliographic Details
Published in:Journal of systems science and complexity 2020-12, Vol.33 (6), p.2139-2156
Main Authors: Ren, Yuxue, Wen, Chengfeng, Zhen, Shengxian, Lei, Na, Luo, Feng, Gu, David Xianfeng
Format: Article
Language:English
Subjects:
Complex Systems
Control
Mathematics
Mathematics and Statistics
Mathematics of Computing
Operations Research/Decision Theory
Statistics
Systems Theory
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:It is an important problem in topology to verify whether two embeddings are isotopic. This work proposes an algorithm for computing Haefliger-Wu invariants for isotopy based on algebraic topological methods. Given a simplicial complex embedded in the Euclidean space, the deleted product of it is the direct product with diagonal removed. The Gauss map transforms the deleted product to the unit sphere. The pull-back of the generator of the cohomology group of the sphere defines characteristic class of the isotopy of the embedding. By using Mayer Vietoris sequence and Künneth theorem, the computational algorithm can be greatly simplified. The authors prove the ranks of homology groups of the deleted product of a closed surface and give explicit construction of the generators of the homology groups of the deleted product. Numerical experimental results show the efficiency and efficacy of the proposed method.
ISSN:1009-6124
1559-7067
DOI:10.1007/s11424-020-9053-8