[논문 리뷰] Planar Contact Structures with Binding Number Three

M. Firat Arikan|arXiv (Cornell University)|2007. 11. 12.

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

한 줄 요약

이 논문은 경계 성분 수가 3인 평면 개방 도서를 통해 지지되는 모든 접촉 3차원 다양체를 분류하며, 단형과 과도한 구조를 단형성 지도를 통해 식별한다. 이는 동치류에 따라 완전한 목록을 제공하며, 첫 번째 체르누 클래스와 $d_3$-불변량을 사용하여 이를 구분하고, 단형성이 단형성 지도의 비음성 디엔 트위스트 지수와 정확히 일치함을 증명한다.

ABSTRACT

In this article, we find the complete list of all contact structures (up to isotopy) on closed three-manifolds which are supported by an open book decomposition having planar pages with three (but not less) boundary components. We distinguish them by computing their first Chern classes and three dimensional invariants (whenever possible). Among these contact structures we also distinguish tight ones from those which are overtwisted.

연구 동기 및 목표

• 경계 수가 3인 모든 접촉 3차원 다양체를 동치류에 따라 분류한다.
• 이 분류에서 단형과 과도한 접촉 구조를 위상 불변량을 사용하여 식별한다.
• 분류에 포함된 각 접촉 구조에 대해 첫 번째 체르누 클래스와 $d_3$-불변량을 계산한다.
• 평면 면을 가진 개방 도서와 세 개의 경계 성분을 지닌 이러한 접촉 구조의 완전한 목록을 확립한다.
• 단형성 지도가 단형 또는 과도한 접촉 구조를 유도하는 조건을 규명한다.

제안 방법

• 경계에 평행한 곡선을 따라의 디엔 트위스트 $D_a^p D_b^q D_c^r$ 를 사용하여 경계 성분 수가 3인 평면 개방 도서의 단형성 지도를 매개변수화한다.
• 각 단형성 지도에 대응하는 접촉 봉제 다이어그램을 통해 접촉 구조를 구성한다.
• 기르우아 과정 정리를 사용하여 개방 도서 분해를 접촉 구조와 연결한다.
• 포incare-레프셰츠 dualit의 원리를 사용하고 연결 행렬 내의 매리디언 클래스를 활용하여 첫 번째 체르누 클래스 $c_1(\xi)$ 를 계산한다.
• 연결 행렬에서 유도된 스테인 망원경의 서명과 오일러 지표를 사용하여 $d_3$-불변량을 계산한다.
• 유한한 $H_1$ 인 경우에 대해 공식 $d_3(\xi) = \frac{8pqr + p^2q + p^2r + 4pq^2 + 4qr^2 - pr^2 - q^2r - pq - pr - qr}{4pq + 4pr + 4qr}$ 를 적용한다.

실험 결과

연구 질문

• RQ1 경계 수가 3인 접촉 3차원 다양체의 완전한 목록은 무엇인가? (동치류에 따라)
• RQ2 이 중 어떤 접촉 구조는 단형이며, 어떤 것은 과도한가?
• RQ3 이러한 접촉 구조에 대해 첫 번째 체르누 클래스와 $d_3$-불변량을 어떻게 계산할 수 있는가?
• RQ4 단형성 지도 $D_a^p D_b^q D_c^r$ 에 대한 조건은 무엇인가 단형성을 결정하는가?
• RQ5 동일한 기저 3차원 다양체 위의 접촉 구조를 식별하는 데 체르누 클래스 $c_1$ 과 $d_3$ 불변량은 어떻게 기여하는가?

주요 결과

• 경계 성분 수가 3인 평면 개방 도서를 통해 지지되는 모든 접촉 구조는 봉제 다이어그램으로 주어진 $Y(p,q,r)$ 와 접촉 구조 $\xi_{p,q,r}$ 와 접촉 동치이다.
• 접촉 구조 $\xi_{p,q,r}$ 는 $p \geq 0$, $q \geq 0$, $r \geq 0$ 일 때에만 단형이 되며, 이는 해석적 망원경에 의해 채워질 수 있다.
• 만일 $p$, $q$, $r$ 가 모두 음수가 아닌 수가 아니라면 $\xi_{p,q,r}$ 는 과도한 구조이다.
• 첫 번째 체르누 클래스는 $c_1(\xi_{p,q,r}) = PD^{-1}(|r| \mu_1)$ 를 만족하며, 여기서 $\mu_1$ 는 $r$-족의 매리디언 클래스이다.
• 유한한 $H_1$ 인 경우, $d_3$-불변량은 분수 함수 $d_3(\xi_{p,q,r}) = \frac{8pqr + p^2q + p^2r + 4pq^2 + 4qr^2 - pr^2 - q^2r - pq - pr - qr}{4pq + 4pr + 4qr}$ 로 주어진다.
• 연결 행렬의 행렬식이 0이라면 $H_1$ 이 무한대이며, $d_3$ 가 정의되지 않으며, 이 경우 $c_1$ 이 토르션일 때만 특별한 처리가 필요하다.