[논문 리뷰] Minor theory for surfaces and divides of maximal signature

Sebastian Baader, Pierre Dehornoy|arXiv (Cornell University)|2012. 11. 30.

Geometric and Algebraic Topology참고 문헌 14인용 수 4

한 줄 요약

이 논문은 색칠된 그래프에 대한 새로운 평면 마이너 정리와 함께, 압축 불가능한 부분표면으로 정의된 표면 소수 순서가 분할의 섬유 표면에서 잘 순서임을 증명한다. 핵심 결과는 금지된 마이너를 통한 최대 서명을 가진 섬유 표면의 유한한 특성화이며, 이러한 링크와 딜린 지그램 사이의 대응관계가 설정된다.

ABSTRACT

The paper is partially withdrawn: in its current form, Lemma 2.3 is false, so that our proof of Theorem A and Proposition B has an important gap. We were unable to fix it yet. Any help is most welcome. We prove that the restriction of surface minority to fiber surfaces of divides is a well-quasi-order. Here surface minority is the partial order on isotopy classes of surfaces embedded in the 3-space associated with incompressible subsurfaces. The proof relies on a refinement of the Robertson-Seymour Theorem that involves colored graphs embedded into the plane. Our result implies that every property of fiber surfaces of divides that is preserved by surface minority is characterized by a finite number of prohibited minors. For the signature to be equal to the first Betti number is such a property. We explicitly determine the corresponding prohibited minors. As an application we establish a correspondance between divide links of maximal signature and Dynkin diagrams.

연구 동기 및 목표

• 표면 소수 순서가 분할의 섬유 표면에서 잘 순서임을 증명하는 것.
• 최대 서명(서명이 첫 번째 베티 수와 동일)을 갖는 성질을 유한한 금지된 마이너의 집합으로 특성화하는 것.
• 최대 서명을 가진 분할 링크와 무방향 딜린 지그램 사이의 대응관계를 설정하는 것.
• 로버트슨-세이머 그래프 마이너 정리를 평면에 매립된 색칠된 그래프로 확장하는 것.
• 분할 표면의 맥락에서 최대 서명에 대한 쿠라토프스키 유형의 특성화를 제공하는 것.

제안 방법

• 삽입된 정점 색칠이 있는 그래프에 대한 평면 마이너 순서를 개발하여, 표준 그래프 마이너에 평면 매립과 색상 감소를 통합한다.
• 색상 집합이 잘 순서이면, 평면에 매립된 색칠된 그래프의 평면 마이너 순서가 잘 순서임을 증명한다.
• 이 결과를 분할의 섬유 표면에 적용하기 위해, 이들은 분할의 이중 그래프로 연결되며, 이는 매립된 색칠된 그래프이다.
• 표면 소수가 이러한 이중 그래프의 평면 마이너 연산과 대응됨을 이용하여, 잘 순서를 표면 설정으로 이전한다.
• 리드마이스터 이동과 이중 그래프 분석을 통해 특정 금지된 마이너—분할 Q와 X의 섬유 표면—을 식별한다.
• 최대 서명이 표면 마이너에 대해 안정적임을 활용하여, 이러한 표면들이 유한한 금지된 마이너 목록으로 특성화됨을 결론짓는다.

실험 결과

연구 질문

• RQ1 표면 소수 순서는 분할의 섬유 표면의 가족에서 잘 순서인가?
• RQ2 최대 서명을 가진 분할의 섬유 표면을 특성화하는 완전한 유한한 금지된 마이너 목록은 무엇인가?
• RQ3 최대 서명을 가진 분할 링크는 딜린 지그램과 어떻게 관련이 있는가?
• RQ4 로버트슨-세이머 그래프 마이너 정리는 평면에 매립된 색칠된 그래프로 확장될 수 있는가?
• RQ5 분할의 섬유 표면에서 다른 자연스러운 성질 중, 유한한 금지된 마이너로 특성화되는 것은 무엇인가?

주요 결과

• 표면 소수 순서는 색칠된 그래프에 대한 새로운 평면 마이너 정리를 통해 분할의 섬유 표면에서 잘 순서임을 증명하였다.
• 최대 서명(서명이 첫 번째 베티 수와 동일)을 갖는 성질은 두 개의 금지된 마이너—분할 Q와 X의 섬유 표면—으로 특성화된다.
• 분할 P의 섬유 표면가 최대 서명을 갖는 것은, 표면 마이너 Σ(Q) 또는 Σ(X)를 포함하지 않을 때이고, 그 경우에만 성립한다.
• 최대 서명을 가진 분할 링크는 F4를 제외한 무방향 딜린 지그램에 해당하는 분할 링크와 동치이다.
• 최대 서명을 가지며 연결합 자유 구조를 가진 분할의 섬유 표면의 완전한 목록은 A_n, D_n, E_{1,2,2}, E_{1,2,3}, E_{1,2,4}, E_{1,3,3}, E_{1,2,5}, F_{2,3}, F_{2,4}, F_{2,5}의 딜린 유형에 해당한다.
• 증명은 이러한 모든 표면가 리드마이스터 III 이동을 통해 알려진 최소 구성으로 감소시킬 수 있는 이중 그래프로부터 유도됨을 보여, 목록의 완전성을 확인한다.