[논문 리뷰] Covering moves and Kirby calculus

Ivelina Bobtcheva, Riccardo Piergallini|ArXiv.org|2004. 07. 02.

Geometric and Algebraic Topology참고 문헌 33인용 수 9

한 줄 요약

이 논문은 4차원 2하나몸체의 2-동치(핸들 슬라이드 및 취소)에 대해, 4공간의 리본 표면을 지나는 브랜치 커버링의 단순성에 대해 이분사적 대응을 설정한다. 이는 리본 이동 R1 및 R2가 핸들 슬라이드 및 취소 이동에 정확히 대응함을 보여, 임의의 차수의 S³에서의 링크를 지나는 브랜치 커버링에 대해 완전한 국소 이동 집합을 일반화한다.

ABSTRACT

We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over links, in terms of local moves. This result generalizes to coverings of any degree results by the second author and Apostolakis, concerning respectively the case of degree 3 and 4. We also provide an extension of our equivalence theorem to possibly non-simple coverings of S^3 branched over embedded graphs. This work represents the first part of our study of 4-dimensional 2-handlebodies. In the second part (arXiv:math.GT/0612806), we factor such bijective correspondence between simple coverings of B^4 branched over ribbon surfaces and orientable 4-dimensional 2-handlebodies through a map onto the closed morphisms in a universal braided category freely generated by a Hopf algebra object.

연구 동기 및 목표

• B⁴ 위의 리본 표면을 지나는 단순 커버링이 2-동치의 4차원 2하나몸체로 분류되는 완전한 국소 이동 집합을 확립하는 것.
• 3중 및 4중 브랜치 커버링에 대한 이전 결과를 리본 이동을 사용하여 임의의 차수의 커버링으로 일반화하는 것.
• 간단하지 않은 커버링으로 확장하여 S³에 임bed된 그래프를 지나는 브랜치 커버링에 대한 동치를 제공하는 것.
• 두 번째 부분에서 유니버설 브레이들 카테고리의 구조를 통해 4다양체의 대수적 불변량을 위한 기초 틀을 제공하는 것.

제안 방법

• B⁴ 내의 리본 표면 위의 2차원 1하나몸체 구조와 그 커버링 위의 4차원 2하나몸체 구조 사이의 대응을 정의하는 것.
• 리본 표면 내의 핸들 슬라이드 및 취소가 커버링 공간 내에 해당하는 이동을 유도하며, 2-동치를 유지하는 것을 보이는 것.
• 브랜치 커버링을 연결하는 기본 이동으로서, 서로 다른 레이블 i,j,k,l을 가진 국소 리본 이동 R1 및 R2를 도입하는 것.
• 차수 ≥4로의 안정화, 레이블된 1-위상동형 및 R1/R2 이동을 조합하여 2-동치에 대해 4다양체를 분류할 수 있음을 증명하는 것.
• 커비 다이어그램에서 리본 표면을 구성하는 표준적 방법을 도입하여 다이어그램의 구조를 유지하고, 이동의 해석을 가능하게 하는 것.
• 대응을 활용하여 리본 표면의 위상동형과 2-변형, 미분형태의 관계를 연결하며, 4다양체에서 2-동치와 미분형태를 구별하는 길을 제시하는 것.

실험 결과

연구 질문

• RQ1 B⁴ 위의 리본 표면을 지나는 단순 커버링이 2-동치의 결과 4다양체로 분류되는 완전한 국소 이동 집합을 제공할 수 있는가?
• RQ2 리본 이동 R1 및 R2와 함께 안정화를 사용하면, 동일한 4차원 2하나몸체를 나타내는 두 브랜치 커버링 표현을 항상 연결할 수 있는가?
• RQ3 브랜치 커버링과 4다양체 사이의 동치관계를 단순 커버링을 넘어서 S³에 임베딩된 그래프를 지나는 비단순 커버링으로 확장할 수 있는가?
• RQ4 리본 표면의 위상동형과 4다양체의 미분형태 사이에 구조적 연결 고리가 존재하는가, 특히 2-변형과 3하나몸체 이동과의 관계에서?
• RQ5 4다양체의 리보우 계산법이 브랜치 커버링의 브랜치 데이터에 대한 이동으로 완전히 표현될 수 있는가?

주요 결과

• 두 개의 연결된 단순 커버링이 B⁴ 위의 리본 표면을 지나며, 동일한 차수 ≥4로 안정화된 후, 레이블된 브랜치 표면이 레이블된 1-위상동형과 유한한 R1 및 R2 리본 이동의 순서로 연결되어 있으면, 그 결과로 나오는 4차원 2하나몸체는 2-동치이다.
• 리본 이동 R1 및 R2는 레이블된 위상동형에 대해 역원을 생성하며, 커버링 공간 내의 모든 2-동치 이동을 실현하는 데 충분하다.
• 커비 다이어그램에서 리본 브랜치 표면을 구성하는 방법은 리본 이동에 대해 유일하며, 다이어그램의 구조를 유지하므로 리보우 계산법을 직접적으로 브랜치 데이터로 해석할 수 있다.
• 이전의 3차 및 4차 커버링 연구를 일반화하여, 모든 차수에 대해 유효한 통일된 프레임워크를 제공한다.
• 커버링 이동과 리보우 계산법 사이의 대응은, 두 번째 부분에서 히프 대수의 오브제크트를 포함하는 유니버설 브레이들 카테고리 구조를 통해 4다양체의 대수적 불변량을 위한 기초를 마련한다.
• 논문은 4다양체에서 2-동치와 미분형태의 차이가 1-위상동형과 리본 표면의 위상동형 사이의 차이에 의해 기록될 수 있으며, 후자는 리본이 아닌 교차점과 핸들 쌍의 취소를 허용한다는 점을 시사한다.