[논문 리뷰] On the embedding complexity of Liouville manifolds

Sheel Ganatra, Kyler Siegel|arXiv (Cornell University)|2020. 12. 08.

Geometric and Algebraic Topology참고 문헌 51인용 수 5

한 줄 요약

이 논문은 선형화된 접촉 homology와 그 $σ_{\infty}$-구조로부터 유도된 새로운 가역형 심플렉틱 불변량을 소개하여 리우빌 다양체 간의 정확한 심플렉틱 임베딩을 금지한다. 주요 기여는 복소 프로젝티브 공간 내 정규 교차 분할자 보존에서의 임베딩을 완전히 특성화한 것으로, 가상의 편향 없이 양각 곡선 기법을 통해 달성된다.

ABSTRACT

We define a family of symplectic invariants which obstruct exact symplectic embeddings between Liouville manifolds, using the general formalism of linearized contact homology and its L-infinity structure. As our primary application, we investigate embeddings between normal crossing divisor complements in complex projective space, giving a complete characterization in many cases. Our main embedding results are deduced explicitly from pseudoholomorphic curves, without appealing to Hamiltonian or virtual perturbations.

연구 동기 및 목표

• 리우빌 다양체 간의 정확한 심플렉틱 임베딩을 금지하는 심플렉틱 불변량을 개발하는 것.
• 이러한 불변량을 복소 프로젝티브 공간 내 정규 교차 분할자 보존 간의 임베딩 분류에 적용하는 것.
• 가상 또는 해밀토니안 편향에 의존하지 않고, 양각 곡선을 통해 명시적인 금지 조건을 제공하는 것.
• 이 프레임워크를 매끄러운 프로젝티브 다양체 내 일반적인 분할자 보존으로 확장하고, 고차수 곡선의 일반화를 탐색하는 것.

제안 방법

• 저자들은 심플렉틱 장 이론(SFT) 모듈리 공간 내의 형식적 곡선과 앵커에 중점을 두어 선형화된 접촉 homology의 $σ_{\infty}$-구조를 사용하여 불변량을 정의한다.
• 임베딩 금지 조건을 곡선 수에 기반하여 캡처하기 위해 단순화된 불변량 $\mathbb{G}\langle\mathcal{T}^{m}p\rangle$을 도입한다.
• 이 방법은 목표 공간에서 특정 곡선 유형의 Gromov–Witten 유형 불변량 $\mathrm{GW}_{M,A}\langle\mathcal{T}^{m}p\rangle$의 비영성으로부터 금지 조건을 도출한다.
• 가상 사이클 기법을 피하기 위해 SFT 프레임워크 내에서 정규적이고 단순한 양각 곡선을 직접 다룬다.
• 코탄제이션 번들의 경우, 이러한 불변량은 유리 호모토피 이론과 스트링 토폴로지와 연결되어 기하학적 및 위상수학적 자료를 통해 계산이 가능하다.

실험 결과

연구 질문

• RQ1 불변량 $\mathbb{G}\langle\mathcal{T}^{m}p\rangle$는 $\mathbb{CP}^n$ 내 분할자 보존 간의 리우빌 임베딩이 존재하지 않음을 감지할 수 있는가?
• RQ2 $\mathbb{CP}^n$ 내에서 주어진 차원에서 심플렉틱적으로 이국적인 아핀 공간에서 $\mathbb{G}\langle\mathcal{T}^{m}p\rangle$가 취할 수 있는 값은 무엇인가?
• RQ3 예를 들어 고차수 리만 곡면의 곱과 같은 유리 곡선이 없는 다양체에서 리우빌 임베딩에 대한 비어 있지 않은 금지 조건이 존재하는가?
• RQ4 이러한 불변량은 고차원 리우빌 도메인 내에서 음의 섹션 곡률을 가진 라그랑주 부분다양체의 부재를 감지할 수 있는가?
• RQ5 이러한 불변량은 분열과 웨인 보르도이즘 하에서 어떻게 행동하는가?

주요 결과

• 불변량 $\mathbb{G}\langle\mathcal{T}^{m}p\rangle$는 $\mathbb{CP}^n$ 내 정규 교차 분할자 보존 간의 리우빌 임베딩에 대해 완전한 금지 조건을 제공하며, SFT 및 Gromov–Witten 불변량을 통해 명시적인 계산이 가능하다.
• $P$가 브리스코른 다항식일 때 $\mathbb{C}^n \setminus P^{-1}(0)$의 경우, 모든 $m \geq 0$에 대해 불변량 $\mathbb{G}\langle\mathcal{T}^{m}p\rangle$는 유한하며, 이는 더 큰 공간으로의 임베딩에 대한 잠재적 금지 조건을 암시한다.
• $M = \mathbb{CP}^1 \times \mathbb{CP}^1$의 경우, 이중도수 $(d,1)$ 곡선에 대해 $\mathrm{GW}_{M,A}\langle\mathcal{T}^{2d}p\rangle = 1 \neq 0$이므로 명시적인 금지 조건 계산이 가능하다.
• $\dim(Q) \geq 6$ 이면, $\mathbb{G}\langle\mathcal{T}^{m}p\rangle(D^*Q) < \infty$ 이면 $Q$는 음의 섹션 곡률을 가진 리만 메트릭을 가질 수 없다.
• 부정적 곡률을 가진 다양체의 코탄제이션 번들의 경우, 불변량 $\mathbb{G}\langle\mathcal{T}^{m}p\rangle$는 무한하며, 이러한 임베딩에 대한 위상수학적 금지 조건을 제공한다.
• $\pi_2(M) = 0$ 인 고차수 곡면의 경우 기존의 불변량은 0이 되므로, 고차수 양각 곡선에 기반한 불변량의 필요성이 제기된다.