[논문 리뷰] Existence and classification of overtwisted contact structures in all dimensions

Matthew Strom Borman, Yakov Eliashberg외 1명|arXiv (Cornell University)|2014. 04. 24.

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

한 줄 요약

이 논문은 모든 홀수 차원에서 오버트워스티드 컨택트 구조에 대한 매개변수형 h-원리(파라미터형 h-principle)를 수립하며, 임의의 닫힌 다양체 위의 거의 컨택트 구조가 진정의 오버트워스티드 컨택트 구조와 끈적일 것임을 증명한다. 주요 기여는 대칭 공간의 호군을 통해 구의 오버트워스티드 컨택트 구조를 완전히 분류한 것으로, 일부 구에서는 유한히, 다른 일부에서는 무한히 존재함을 보여준다.

ABSTRACT

We establish a parametric extension $h$-principle for overtwisted contact structures on manifolds of all dimensions, which is the direct generalization of the $3$-dimensional result from \cite{Eli89}. It implies, in particular, that any closed manifold admits a contact structure in any given homotopy class of almost contact structures.

연구 동기 및 목표

• 모든 홀수 차원 다변량에서 오버트워스티드 컨택트 구조에 대한 매개변수형 h-원리를 수립하기.
• 그로모프의 h-원리를 오버트워스티드 경우로 확장하여 닫힌 다변량에서 컨택트 구조의 존재 문제를 해결하기.
• 호군을 통해 $ SO(2n+2)/U(n+1) $ 의 호군을 사용하여 구 $ S^{2n+1} $ 에서 오버트워스티드 컨택트 구조를 분류하기.
• 조각별로 매끄러운 $ 2n $-원판에서의 모델 컨택트 절단 $ heta_{\text{ot}} $ 를 사용하여 3-다양체를 초월해 모든 홀수 차원으로 오버트워스티드성의 개념을 확장하기.
• 오버트워스티드 컨택트 다양체의 순서 가능성 성질을 조사하여, 그것들이 약한 순서 가능성이 아님을 보여주기.

제안 방법

• 조각별로 매끄러운 $ 2n $-원판 $ D_{\text{ot}} $ 에서의 모델 절단 $ \theta_{\text{ot}} $ 를 사용해 모든 홀수 차원에서 오버트워스티드 컨택트 구조의 일반화를 도입하기.
• 오버트워스티드 컨택트 구조에 대한 매개변수형 h-원리 증명: 닫힌 다양체 위의 임의의 거의 컨택트 구조는 진정의 오버트워스티드 컨택트 구조와 끈적일 것임을 증명하기.
• 포함 사상 $ j: \text{Cont}_{\text{ot}}(M;A,\theta_0) \to \text{cont}(M;A,\theta_0) $ 를 사용하고, 이것이 약한 호모토피 동치임을 보이기.
• 리브 흐름을 통해 $ (M \times D^2_R, \theta + xdy - ydx) $ 를 $ (M \times \bR^2 \backslash 0, \theta + xdy - ydx) $ 로 컨택트 임베딩을 구성하여 큰 $ R $ 에서 오버트워스티드성을 보여주기.
• h-원리를 적용하여, 닫힌 다변량에서 거의 컨택트 구조의 모든 호모토피 클래스에 대해 오버트워스티드 컨택트 구조가 존재함을 보여주기.
• 컨택트 동치변형 확장 정리와 $ V^+(2K) $ 가 $ V^+(K) $ 로의 컨택트 동치변형이 존재함을 이용하여 오버트워스티드 다양체의 약한 순서 가능성 부재를 증명하기.

실험 결과

연구 질문

• RQ1 오버트워스티드 컨택트 구조에 대한 매개변수형 h-원리는 3-다양체에서 모든 홀수 차원 다변량으로 확장될 수 있는가?
• RQ2 호모토피 불변량을 통해 구 $ S^{2n+1} $ 에서 오버트워스티드 컨택트 구조의 분류는 무엇인가?
• RQ3 오버트워스티드 컨택트 다양체는 컨택트 해밀토니안 역학의 의미에서 약한 순서 가능성이 있는가?
• RQ4 닫힌 다변량에서 거의 컨택트 구조가 존재하면 컨택트 구조의 존재가 보장되는가? 만약 그렇다면 오버트워스티드 클래스 내에서 동치변형에 대해 유일한가?
• RQ5 표면 또는 고차원 다변량과의 곱에서 오버트워스티드 성질은 어떻게 행동하는가?

주요 결과

• 닫힌 $ (2n+1) $-다양체 위의 임의의 거의 컨택트 구조는 진정의 오버트워스티드 컨택트 구조와 끈적일 수 있으며, 이는 모든 홀수 차원에서 완전한 h-원리를 수립함을 의미한다.
• 닫힌 부분집합 $ A $ 근처에서 고정된 컨택트 구조와 일치하는 다양체 $ M $ 상의 오버트워스티드 컨택트 구조 공간은, 동일한 조건을 만족하는 거의 컨택트 구조 공간과 약한 호모토피 동치이다.
• $ S^5 $ 에서는 오직 하나의 오버트워스티드 컨택트 구조가 존재하지만, $ S^{8k+1} $ 에서는 정확히 $ (4k)! $ 개의 서로 다른 오버트워스티드 컨택트 구조가 존재한다.
• $ S^{8k+5} $ 에서는 $ \frac{(4k+2)!}{2} $ 개의 서로 다른 오버트워스티드 컨택트 구조가 존재하고, $ S^{8k+3} $ 에서는 $ \bZ \times \bZ/2\bZ $ 개의 오버트워스티드 컨택트 구조가 존재한다.
• 모든 닫힌 오버트워스티드 컨택트 다양체는 약한 순서 가능성이 아니며, $ V^+(2K) $ 가 $ V^+(K) $ 로의 동치변형을 구성함으로써 이를 보여주며, 이는 약한 순서 관계가 자명함을 의미한다.
• 3차원 이상의 다양체에서 타이트 컨택트 구조의 분류 문제는 여전히 열려 있으며, $ S^5 $ 에서는 무한히 많은 타이트 컨택트 구조가 존재한다.