[논문 리뷰] Calculating isotopy classes of Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|2010. 04. 26.

Geometric and Algebraic Topology참고 문헌 17인용 수 7

한 줄 요약

이 논문은 3차원 다중체 $M$의 경계를 가진 경우, 부분적으로 평탄한 각을 가진 이상삼각형 분할을 사용하여 모든 호환성 분할의 동치류를 계산하는 알고리즘을 제시한다. 표면의 유한한 종수를 갖는 것을 고려하는 2차원 복합체 $\mathcal{D}^2(M,\mathcal{T}^1)$를 구성함으로써, 두 거의 정규 표면이 동치인 헤가르드 분할을 나타내는지 여부를 판단하고, 임의의 두 분할에 대한 최소 종수 공통 안정화를 계산할 수 있다.

ABSTRACT

We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each isotopy class appears exactly once. In particular, this algorithm determines precisely when two almost normal surfaces represent Heegaard splittings that are isotopic in the ambient 3-manifold. A closely related algorithm determines the smallest genus common stabilization of any two Heegaard splittings on the list. The methods, in fact, characterize isotopies between Heegaard surfaces in any triangulation, but the existence of infinitely many normal surfaces of the same genus prevents this characterization from being algorithmic in general.

연구 동기 및 목표

• 3차원 다중체 $M$의 경계를 가진 경우, 주어진 종수 $g$ 이하의 모든 헤가르드 분할의 동치류를 나열하는 알고리즘을 개발하는 것.
• 환경 3차원 다중체 내에서 두 거의 정규 표면이 동치인 헤가르드 분할을 나타내는지 여부를 알고리즘적으로 판단하는 것.
• 목록에 포함된 두 헤가르드 분할에 대한 최소 종수 공통 안정화를 계산하는 것.
• 삼각형 분할된 3차원 다중체에서 헤가르드 표면 간의 호환성을 알고리즘적으로 특성화하는 것.
• 1-스켈레톤에 수직인 표면에 대한 세포 복합체의 구조를 사용하여 동치류의 유한하고 알고리즘적인 특성화를 제공하는 것.

제안 방법

• 부분적으로 평탄한 각을 가진 이상삼각형 분할의 1-스켈레톤 $\mathcal{T}^1$에서 2차원 복합체 $\mathcal{D}^2(M,\mathcal{T}^1)$를 구성한다.
• 복합체 $\mathcal{D}^2$의 정점으로서 $\mathcal{T}^1$에 대해 종수 0, 1, 또는 2인 정규 및 거의 정규 표면를 정의하며, 각 정점에 종수를 할당한다.
• 모서리를 정점 간의 압축체로 정의하고, 복합체 내 경로 간의 면 슬라이드 시퀀스로 면을 정의한다.
• 선형 프로그래밍 기법을 사용하여 종수 $\leq g$인 모든 인덱스 0, 1, 2의 정규 및 거의 정규 표면을 계산한다.
• 각 모서리 가중치 벡터에 대해 굽은 표면의 그래프를 구성하여, 인덱스 1 이하 및 인덱스 2 이하의 정점에 도달하는 모든 가능한 압축 경로를 열거한다.
• 서로 다른 인덱스를 가진 고리 형태의 모서리에 삼각형을 부착하여 $\mathcal{D}^2(M,\mathcal{T}^1)$의 모든 면을 형성하고, 모든 호환성 데이터를 포괄함을 보장한다.

실험 결과

연구 질문

• RQ1 3차원 다중체 $M$가 부분적으로 평탄한 각을 가진 이상삼각형 분할을 갖는 경우, 주어진 종수 $g$ 이하의 모든 헤가르드 분할의 동치류를 알고리즘적으로 나열할 수 있는가?
• RQ2 두 거의 정규 표면이 $M$ 내에서 동치인 헤가르드 분할을 나타내는지 여부를 알고리즘적으로 판단하는 방법은 무엇인가?
• RQ3 임의의 두 헤가르드 분할에 대한 최소 종수 공통 안정화는 무엇인가?
• RQ4 헤가르드 분할의 동치류는 제어된 복잡도를 갖는 표면의 유한한 복합체를 통해 특성화될 수 있는가?
• RQ5 $\mathcal{D}(M,\mathcal{T}^1)$ 내의 경로가 기약 헤가르드 분할을 나타내는 조건은 무엇인가?

주요 결과

• 부분적으로 평탄한 각을 가진 이상삼각형 분할이 주어진 경우, 종수 $\leq g$인 표면에 대응하는 $\mathcal{D}^2(M,\mathcal{T}^1)$의 모든 정점들을 계산하는 데 유한한 알고리즘이 존재한다.
• 두 경로가 $v_-$에서 $v_+$로 가는 $\mathcal{D}^1(M,\mathcal{T}^1)$ 내에서 동치인 헤가르드 분할을 나타내는 것은, 그들 사이에 일정한 종수를 유지하는 면 슬라이드 시퀀스가 존재할 때이고 그때에만 성립한다.
• 경로가 기약 헤가르드 분할을 나타내는 것은, 그 경로에서 시작하는 어떤 면 슬라이드 시퀀스도 종수를 감소시키지 않으며, 종수가 감소하지 않는 경로로 이어지지 않을 때에만 성립한다.
• 복합체 $\mathcal{D}^2(M,\mathcal{T}^1)$는 $M$ 내의 헤가르드 분할의 동치류를 완전히 캡처하며, 동치성은 일정한 종수를 유지하는 면 슬라이드 시퀀스를 통해 탐지된다.
• 알고리즘은 종수 $\leq g$인 정점들에 의해 생성되는 $\mathcal{D}^2(M,\mathcal{T}^1)$의 전체 부분복합체를, 굽은 표면 그래프에 대한 유한한 계산을 통해 구성한다.
• 부분적으로 평탄한 각을 가진 삼각형 분할 내에서 종수의 범위가 제한된 정규 및 거의 정규 표면의 수가 유한하므로, 알고리즘의 종료성과 효율성이 보장된다.