[논문 리뷰] Non-uniqueness of high distance Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|2013. 08. 21.

Geometric and Algebraic Topology참고 문헌 12인용 수 6

한 줄 요약

이 논문은 고거리 히가드 분할을 갖는 3차원 다양체를 구성하여, 정확히 d/2의 종수를 갖는 비압축 표면와 d/2 + g - 1의 종수를 갖는 비안정화된 히가드 분할을 동시에 갖는다는 것을 보이며, 해츠혼의 비압축 표면 종수에 대한 하한 bound가 정확히 맞고, 샤크레만-톰وف라의 안정화 하한 bound가 거의 최적임을 보여준다. 구성은 곡선 복합체에서의 제어된 지오데식선과 하ndl바디 집합의 사영에 기반한다.

ABSTRACT

Kevin Hartshorn showed that if a three-dimensional manifold $M$ admits a Heegaard surface $Σ$ with Hempel distance $d$ then every incompressible surface in $M$ has genus at least $\frac{d}{2}$. Scharlemann-Tomova generalized this, proving that in such a manifold, every other Heegaard surface for $M$ of genus $g' < \frac{d}{2}$ is a stabilization of $Σ$. In the present paper, we show that Hartshorn's bound is sharp and Scharlemann-Tomova's bound is very close to sharp. In particular, for every pair of integers $g \geq 2, d \geq 2$, we construct a three-manifold $M$ with a genus $g$, distance $d$ Heegaard splitting and an incompressible surface of genus $\frac{d}{2}$. We also construct, for every $d \geq 4$, a three-manifold with a genus $g$, distance $d$ Heegaard surface $Σ$ and a second Heegaard surface with genus $g' = \frac{1}{2} d + g - 1$ that is not a stabilization of $Σ$.

연구 동기 및 목표

• 고거리 히가드 분할을 갖는 3차원 다양체에서 비압축 표면의 종수에 대한 하한 d/2가 정확한지 여부를 결정하는 것.
• 샤크레만-톰프라의 안정화 정리—모든 낮은 종수의 히가드 표면가 안정화임을 주장함—이 유일성으로 강화될 수 있는지 조사하는 것.
• 고거리 히가드 분할과 함께 여러 개의 비안정화되고 서로 동치가 아닌 히가드 표면를 갖는 명시적 3차원 다양체를 구성하는 것.
• 고거리 설정에서 비압축 표면와 별개의 히가드 분할 간의 관계를 탐색하는 것.

제안 방법

• 곡선 복합체에서 길이 d인 제어된 부분표면 사영을 갖는 거의 엄격한 플렉시패스를 구성하는 것.
• 곡선 복합체 경로를 이용해 경계 성분을 따라 붙여 경로 다양체 M'을 정의한 후, 이를 메워 닫힌 3차원 다양체 M를 얻는 것. 이 다양체는 고거리 히가드 분할을 갖는다.
• 경로로부터 인덱스-1 평면 표면 S를 정의하고, S에 의해 분할된 하ndl바디를 구성함으로써 M의 히가드 분할을 유도하는 것.
• 경계 곡선의 교차 패턴을 분석하고 곡선 복합체의 델타-하이퍼볼릭성(δ-hyperbolicity)을 이용하여 표면 S가 강력히 비가역적임을 증명하는 것.
• 접합된 구성 요소들 사이에서 종수의 덧셈 법칙을 적용하여 별개의 히가드 표면의 종수를 계산하여 d/2 + g - 1를 도출하는 것.
• 종수와 비가역성의 비교를 통해 별개의 표면 S가 원래 분할의 안정화가 아님을 검증하는 것.

실험 결과

연구 질문

• RQ1 고저수 g, 거리 d를 갖는 히가드 분할을 가진 3차원 다양체에서 비압축 표면의 종수에 대한 해츠혼의 하한 d/2가 정확한가?
• RQ2 샤크레만-톰프라의 결과는 고거리 히가드 분할이 다양체의 유일한 비가역적 히가드 분할임을 주장할 수 있는가?
• RQ3 고거리 히가드 분할을 갖는 3차원 다양체는 반드시 d/2보다 큰 종수를 갖는 비안정화되고 서로 동치가 아닌 히가드 분할을 갖는가?
• RQ4 저종수의 비압축 표면을 포함하는 다양체와 저종수의 별개의 히가드 분할을 포함하는 다양체 사이에 구조적 차이가 있는가?
• RQ5 곡선 복합체에서 하ndl바디 집합 간의 다수의 지오데식선이 서로 동치가 아닌 별개의 히가드 분할을 유도할 수 있는가?

주요 결과

• 모든 짝수 d ≥ 2와 g ≥ 2에 대해, 종수 g, 거리 d를 갖는 히가드 분할과 정확히 d/2의 종수를 갖는 비압축 표면를 갖는 닫힌, 양면성 3차원 다양체 M이 존재하며, 이는 해츠혼의 하한이 정확함을 증명한다.
• 모든 짝수 d ≥ 4와 g ≥ 2에 대해, 종수 g, 거리 d를 갖는 히가드 분할과 첫 번째 분할의 안정화가 아닌 종수 d/2 + g - 1를 갖는 두 번째 히가드 표면를 갖는 다양체 M가 존재하며, 이는 샤크레만-톰프라의 하한이 거의 최적임을 보여준다.
• 생성된 별개의 히가드 표면는 강력히 비가역적이며 따라서 안정화되지 않았고, 그 종수는 샤크레만-톰프라의 하한을 아주 작은 폭으로 초과한다.
• 구성은 길이 d인 거의 엄격한 플렉시패스에 기반하며, 이는 제어된 부분표면 사영을 보장하고 정밀한 종수 계산을 가능하게 한다.
• 별개의 히가드 표면의 종수는 표면에 의해 유도된 하ndl바디 분할의 구성 요소들의 종수를 합하여 d/2 + g - 1로 계산된다.
• 결과는 저종수의 비압축 표면의 존재와 비안정화된 별개의 히가드 분할의 존재가 서로 다른 종류의 다양체에서 발생할 수 있음을 시사하며, 이러한 다양체가 동시에 양쪽을 모두 갖을 수 있는지 여부는 여전히 열려있다.