[논문 리뷰] On the agreement of symplectic capacities in high dimension

Dan Cristofaro‐Gardiner, Richard Hind|arXiv (Cornell University)|2023. 07. 22.

Geometry and complex manifoldsMathematics인용 수 3

한 줄 요약

이 논문은 4차원에서의 심플렉틱 용적에 대한 Gutt-Hutchings-Ramos 정리를 임의의 차원으로 확장한다. 주요 결과는 모든 정규화된 심플렉틱 용적이 단조성 토릭 도메인에서 일치한다는 것이다. 핵심 기여는 임의의 차원에서 $L$-형태 도메인을 무한 원통에 심플렉틱 임베딩하는 구축 증명을 통해 이루어지며, 이는 Gutt-Pereira-Ramos의 추측을 해결하고 4차원을 초월한 용적 일치의 확장을 가능하게 한다.

ABSTRACT

A theorem of Gutt-Hutchings-Ramos asserts that all normalized symplectic capacities give the same value for monotone four-dimensional toric domains. We generalize this theorem to arbitrary dimension. The new ingredient in our proof is the construction of symplectic embeddings of "$L$-shaped" domains in any dimension into corresponding infinite cylinders; this resolves a conjecture of Gutt-Pereira-Ramos in the affirmative.

연구 동기 및 목표

• 4차원에서의 Gutt-Hutchings-Ramos 정리에 따른 심플렉틱 용적 일치를 임의의 차원으로 일반화하는 것.
• Gutt-Pereira-Ramos가 제기한 고차원에서 $L$-형태 도메인을 무한 원통에 심플렉틱 임베딩할 수 있는지에 대한 추측을 해결하는 것.
• 단조성 토릭 도메인에서 그로모프 폭과 원통형 용적이 일치함을 보여, 용적의 유일성을 증명하는 것.
• 복소 프로젝티브 공간에서의 해밀턴 변형을 이용한 고차원에서의 심플렉틱 임베딩을 위한 새로운 구축 방법을 제공하는 것.
• 심플렉틱 축소와 모멘트 맵의 프레임워크를 확장하여 $\mathbb{C}P^{n-1}(S)$에서 지원이 제어된 임베딩을 구성하는 것.

제안 방법

• $\mathbb{C}P^{n-1}(S)$에서의 해밀턴 변형을 사용하여 $L$-형태 도메인 $L(a_1,\dots,a_n)$을 무한 원통 $Z(r)$에 임베딩한다. 이때 $r > \sum a_k$이다.
• 임베딩 문제를 $\mathbb{C}P^{n-1}(S)$ 위의 매끄러운 해밀턴 함수의 가속도에 의해 $V_S$의 여집합이 $U_S$의 여집합으로 맵핑되는 것으로 줄인다.
• 심플렉틱 축소를 통해 $\partial B(S)$의 모멘트 맵 영상이 $\mathbb{R}^{n-1}$ 안의 삼각형 $\Delta_S$와 일치함을 확인하여 토릭 피브어 분석이 가능하도록 한다.
• $\mathbb{C}$ 위에서의 1차원 해밀턴 변형 $\phi_i^t$의 곱을 사용하여 $\phi_i(D(S-r)) \subset A(a_i, S - \sum_{j \neq i} a_j)$를 확보함으로써 면적 제어를 이룬다.
• 해밀턴 흐름에 컷오프를 적용하여 지원이 $B(S)$ 내부에 있도록 보장함으로써 $\mathbb{C}P^{n-1}(S)$로의 확장을 가능하게 한다.
• 심플렉틱 흐름이 $\pi|z|^2$와 삼각부등식에 대한 추정을 통해 요구되는 도메인 포함관계를 유지함을 검증한다.

실험 결과

연구 질문

• RQ1 모든 정규화된 심플렉틱 용적이 임의의 차원에서 단조성 토릭 도메인에서 일치하는가? (4차원의 결과를 일반화하는가?)
• RQ2 $\mathbb{C}^n$ 내의 $L$-형태 도메인이 $r > \sum a_k$일 때 무한 원통 $Z(r)$에 심플렉틱 임베딩될 수 있는가?
• RQ3 4차원에서 사용된 편평한 호로프시스컬러 기법의 고차원 해석이 존재하는가?
• RQ4 단조성 토릭 도메인에서 그로모프 폭 $c_G(X_\Omega)$와 원통형 용적 $c_Z(X_\Omega)$가 일치함을 증명할 수 있는가?
• RQ5 이러한 임베딩의 존재가 모든 단조성 토릭 도메인에서 정규화된 심플렉틱 용적의 유일성을 암시하는가?

주요 결과

• 모든 정규화된 심플렉틱 용적이 임의의 차원에서 단조성 토릭 도메인에서 일치하며, 이는 Gutt-Hutchings-Ramos의 4차원 결과를 일반화한 것이다.
• $L$-형태 도메인 $L(a_1,\dots,a_n)$은 $r > \sum_{k=1}^n a_k$일 때 항상 $Z(r)$에 심플렉틱 임베딩 가능하며, 이는 Gutt-Pereira-Ramos의 추측을 확인한다.
• 모든 단조성 토릭 도메인 $X_\Omega$에 대해 그로모프 폭 $c_G(X_\Omega)$와 원통형 용적 $c_Z(X_\Omega)$가 일치함을 보여, 용적의 유일성을 암시한다.
• 구성은 $\overline{B(S-r)}$를 $U_S$의 여집합으로 맵핑하는 $\mathbb{C}P^{n-1}(S)$ 위의 해밀턴 변형에 기반하며, 지원은 아핀 부분에 국한된다.
• 면적 성장이 제어된 1차원 해밀턴 흐름의 곱을 사용하여, 작은 $\epsilon$과 $t \in [0,1]$에 대해 $\sum \pi|\phi_i^t(z_i)|^2 < S - a_n$을 확보함으로써 도메인 포함관계를 유지한다.
• 정리 4.3 [8]을 함께 고려할 경우 $r = \sum a_k$인 경우에도 결과가 성립하지만, 주요 용적 일치 결과에 있어서는 엄밀한 부등식이 충분하다.