Core Concepts
호프 아보레센트 링크의 경우, 그 4차원 속성 결함을 결정할 수 있다는 것을 보였다. 이는 평활 및 국소평탄 범주 모두에서 성립한다.
Abstract
이 논문은 호프 아보레센트 링크라고 불리는 특정 링크 클래스를 연구한다. 호프 아보레센트 링크는 호프 밴드의 반복적인 접합을 통해 얻어진다.
저자들은 이러한 링크에 대해 다음과 같은 결과를 보였다:
호프 아보레센트 링크의 세이퍼트 표면들은 마이너 관계에 대해 잘정렬된다.
이로부터 호프 아보레센트 링크의 속성 결함(4차원 속성과 고전적 속성의 차이)이 결정가능하다는 것을 보였다.
이 결과는 4차원 위상 문제에서 결정가능성을 보여주는 중요한 사례이다. 저자들은 이 결과가 향후 4차원 위상 알고리즘 개발에 영감을 줄 것으로 기대한다.
Stats
호프 아보레센트 링크의 속성 결함을 결정하는 것은 결정가능하다.
호프 아보레센트 링크의 세이퍼트 표면들은 마이너 관계에 대해 잘정렬된다.
Quotes
"For some other problems, the decidability is a well-known open problem: this is the case for 4-sphere recognition [48] or embeddability of 2-dimensional complexes in R4 [32]."
"Similarly, no algorithm is known to decide the 4-genus of a knot or even to decide whether it is slice."