[논문 리뷰] A landscape of contact manifolds via rational SFT

Agustín Moreno, Zhengyi Zhou|arXiv (Cornell University)|2020. 12. 08.

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

한 줄 요약

이 논문은 접촉 다양체의 복잡도를 측정하기 위해 유리 심플렉틱 장 이론(RSFT)에서 유도된 계층적 함자—알제브라적 평면 토르션, 평면성, 준확장의 차수—를 제안한다. 이 틀은 ℕ∪{∞}에 값을 갖는 계산 가능한 불변량을 제공하며, 세 함자가 모두 전사임을 증명하고, 특히 고차원 및 특이점의 링크에서 정확한 코버디즘과 반복적 평면 구조의 존재에 대한 차단 조건을 설정한다.

ABSTRACT

We define a hierarchy functor from the exact symplectic cobordism category to a totally ordered set from a $BL_\infty$ (Bi-Lie) formalism of the rational symplectic field theory (RSFT). The hierarchy functor consists of three levels of structures, namely algebraic planar torsion, order of semi-dilation and planarity, all taking values in $\mathbb{N}\cup \{\infty\}$, where algebraic planar torsion can be understood as the analogue of Latschev-Wendl's algebraic torsion in the context of RSFT. The hierarchy functor is well-defined through a partial construction of RSFT and is within the scope of established virtual techniques. We develop computation tools for those functors and prove all three of them are surjective. In particular, the planarity functor is surjective in all dimension $\ge 3$. Then we use the hierarchy functor to study the existence of exact cobordisms. We discuss examples including iterated planar open books, spinal open books, affine varieties with uniruled compactification and links of singularities.

연구 동기 및 목표

• 유리 SFT를 사용하여 접촉 다양체에 대한 계산 가능한 대수적 계층 불변량을 개발하고, 기존의 알제브라적 토르션과 같은 불변량을 보다 정교하게 다루기.
• 알제브라적 평면 토르션, 평면성, 준확장의 차수라는 세 가지 새로운 불변량을 정의하고, 각각 ℕ∪{∞}에 값을 갖는다. 이는 증가하는 접촉 복잡도 수준을 캡처한다.
• 세 불변량이 모두 전사임을 증명하여, 광범위한 접촉 위상적 행동을 탐지할 수 있음을 보여준다.
• 이 계층을 정확한 심플렉틱 코버디즘의 존재를 차단하고 고차원 접촉 다양체에서 반복적 평면 구조가 아닌 구조를 탐지하는 데 응용한다.
• 특히 몰입 특이점과 아핀 다양체에 대해, 대수기하학적 성질과 접촉 불변량 간의 연결을 계층 함자로 탐색한다.

제안 방법

• 정확한 심플렉틱 코버디즘 범주에서, 유리 SFT(RSFT)의 $BL_{\backslash infty}$ 형식을 사용하여, 종수 0의 구멍이 있는 힐버트 곡선에 중점을 두어, 전체 순서 집합으로 가는 계층 함자를 구성한다.
• 알제브라적 평면 토르션(APT)을, RSFT 증강에 대한 차단 조건을 측정하는 불변량으로 정의한다. 이는 Latschev-Wendl의 알제브라적 토르션과 유사하지만, 유리 SFT 설정에서의 것이다.
• 평면성 불변량(P)을, 심플렉틱화에서 점 제약 조건이 있는 유리 곡선의 수를 측정하는 것으로 정의하며, 비영인 값에 대해 최대값을 통해 모노이드 구조를 갖는다.
• 평면성 1인 다양체의 부분범주에서, 선형화된 접촉 homology의 ${\mathbb{Q}}[U]$-모듈러 구조를 사용하여 준확장의 차수(SD)를 정의한다.
• RSFT의 부분적 구성과 기존의 가상 기법을 사용하여 불변량의 함자성과 잘 정의됨을 보장한다.
• 이 불변량을 사용하여 정확한 코버디즘에 대한 장애를 탐지하고, 아핀 다양체, 특이점의 링크, 코스피어 포장에서 유래하는 접촉 다양체를 분류한다.

실험 결과

연구 질문

• RQ1 유리 SFT에서 유도된 보다 정교한 불변량 계층을 구성할 수 있는가? 이는 과도한 토르션을 넘어서 접촉 다양체의 복잡도 증가를 캡처할 수 있는가?
• RQ2 모든 차원 ≥3 에서 평면성 불변량이 전사인가? 그 전사성은 접촉 다양체의 구조에 어떤 의미를 갖는가?
• RQ3 계층 함자와 특이점의 링크의 접촉 위상 기하학 사이의 관계는 무엇인가? 특히 종단형 몰입 특이점의 경우에 대해.
• RQ4 계층 함자가 반복적 평면 오픈 북 분해에 대한 장애를 탐지할 수 있는가? 특히 하이퍼볼릭 다양체 위의 코스피어 포장에서의 경우에 대해.
• RQ5 대수기하학적 성질(예: 종단 특이점)과 특이점 경계의 접촉 불변량 값 사이에 대응 관계가 존재하는가?

주요 결과

• 알제브라적 평면 토르션(APT) 불변량은 ℕ∪{∞}에 값을 갖는다. 그 유한성은 접촉 다양체가 강한 심플렉틱 채움을 갖지 못함을 의미하며, 이는 전체 SFT에서 알제브라적 토르션의 역할을 일반화한다.
• 평면성 불변량 P는 모든 차원 ≥3 에서 전사이며, ℕ∪{∞}의 전체 값 범위가 접촉 다양체 전반에 걸쳐 실현됨을 보여준다.
• 준확장의 차수(SD)는 P=1인 다양체의 부분범주에서 전사이며, 채움과 코버디즘 관계에 대한 고차 장애를 탐지한다.
• 차원 ≥3 인 하이퍼볼릭 다양체 $Q$ 위의 코스피어 포장 $S^*Q$ 에 대해, 계층 불변량은 $\operatorname{H_{cx}}(S^*Q) > 0^{\operatorname{SD}}$ 를 만족하며, 이는 임의의 리우빌 도메인 $V$ 에 대해 $\partial(V \times \mathbb{D})$ 로의 정확한 코버디즘이 존재하지 않음을 의미한다. 이는 그로모프의 결과를 일반화한다.
• 차원 $n \geq 3$ 에 대해, 무한한 평면성을 갖는 이국적 3-구의 연결합을 통해, $S^{2n-1}$ 에서 반복적 평면이 아닌 타이트한 접촉 구조가 존재한다.
• 차원 ≥5 에서, 단순연결된 5-다양체의 거의 접촉 구조는 비평면 모델과의 연결합을 통해 항상 접촉 대표를 갖는다. 이는 계층 불변량이 $\infty^P$ 에 도달하기 때문이다.