[논문 리뷰] Equivariant symplectic homology, linearized contact homology and the Lagrangian capacity

Miguel Pereira|arXiv (Cornell University)|2022. 05. 26.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 4차원 볼록 토릭 도메인의 라그랑주 용량을 계산하며, McDuff–Siegel 및 Gutt–Hutchings 심플렉틱 용량과의 비교를 통해 이것이 대각선 용량과 일치함을 증명한다. 가상의 펌프팅 조건 하에 등변 심플렉틱 호모로지와 선형화된 접촉 호모로지(Linearized contact homology)를 사용하여 타원체 내의 헬름홀로피크 곡선에 대한 전치성(transversality)을 확립함으로써, 임의의 차원에서 볼록 또는 오목한 토릭 도메인에 대한 계산이 가능해진다.

ABSTRACT

We establish computational results concerning the Lagrangian capacity from "Cieliebak and Mohnke - Punctured holomorphic curves and Lagrangian embeddings". More precisely, we show that the Lagrangian capacity of a 4-dimensional convex toric domain is equal to its diagonal. The proof involves comparisons between the Lagrangian capacity, the McDuff-Siegel capacities from "McDuff and Siegel - Symplectic capacities, unperturbed curves, and convex toric domains", and the Gutt-Hutchings capacities from "Gutt and Hutchings - Symplectic capacities from positive S1-equivariant symplectic homology". Working under the assumption that there is a suitable virtual perturbation scheme which defines the curve counts of linearized contact homology, we extend the previous result to toric domains which are convex or concave and of any dimension. For this, we use the higher symplectic capacities from "Siegel - Higher symplectic capacities". The key step is showing that moduli spaces of asymptotically cylindrical holomorphic curves in ellipsoids are transversely cut out.

연구 동기 및 목표

• 4차원 볼록 토릭 도메인의 라그랑주 용량을 계산하는 것.
• 고급 심플렉틱 용량을 사용하여 고차원 볼록 또는 오목한 토릭 도메인으로 계산을 확장하는 것.
• 타원체 내의 점근적으로 실린더 모양의 헬름홀로피크 곡선의 모듈리 공간에 대한 전치성을 확립하는 것.
• 부등식 체인을 통해 라그랑주 용량을 다른 심플렉틱 용량(McDuff–Siegel, Gutt–Hutchings)과 연결하는 것.
• 가상의 펌프팅 조건 하에 등변 심플렉틱 호모로지와 선형화된 접촉 호모로지의 계산 프레임워크를 제공하는 것.

제안 방법

• 행동 필터링과 단어 길이 필터링을 통해 정의된 Gutt–Hutchings 용량 $ c^{ ext{GH}}_k $ 및 고차 심플렉틱 용량 $ ilde{rak{g}}^{ ext{≤1}}_k $, $ rak{g}^{ ext{≤1}}_k $ 를 사용한다.
• 선형화된 접촉 호모로지에서 행동 필터링 $ rak{A}^{ ext{≤a}} $ 와 단어 길이 필터링 $ rak{B}^{ ext{≤ℓ}} $ 를 적용하여 용량을 정의한다.
• 심플렉틱 다양체에 $ S^1 $-작용이 존재할 경우 헬름홀로피크 곡선을 분석하기 위해 등변 심플렉틱 호모로지를 활용한다.
• 선형화된 접촉 호모로지에서 곡선 수를 정의하기 위해 가상의 펌프팅 기법을 활용하며, 그 존재를 가정한다.
• 타원체 내의 점근적으로 실린더 모양의 헬름홀로피크 곡선의 모듈리 공간에 대한 전치성 전치성(transverse transversality)을 증명한다.
• 용량 간의 부등식을 조합하여, 특정 호모로지 사상이 0이 아닐 때의 행동 수준의 하한으로서 라그랑주 용량을 도출한다.

실험 결과

연구 질문

• RQ1 4차원 볼록 토릭 도메인의 라그랑주 용량은 무엇인가?
• RQ2 심플렉틱 기하학에서 라그랑주 용량, McDuff–Siegel 용량, Gutt–Hutchings 용량은 어떻게 관련되어 있는가?
• RQ3 헬름홀로피크 곡선 불변량을 사용하여 고차원 볼록 또는 오목한 토릭 도메인의 라그랑주 용량을 계산할 수 있는가?
• RQ4 타원체 내의 점근적으로 실린더 모양의 헬름홀로피크 곡선의 모듈리 공간이 언제 전치적으로 잘린다?
• RQ5 선형화된 접촉 호모로지에서 스펙트럴 불변량을 통해 라그랑주 용량을 어느 정도까지 계산할 수 있는가?

주요 결과

• 4차원 볼록 토릭 도메인의 라그랑주 용량은 그 대각선 용량과 일치한다.
• 선형화된 접촉 호모로지에 대한 가상의 펌프팅 기법이 존재한다고 가정할 경우, 임의의 차원의 볼록 또는 오목한 토릭 도메인으로 계산이 확장된다.
• 타원체 내의 점근적으로 실린더 모양의 헬름홀로피크 곡선의 모듈리 공간에 대한 전치성이 확립되었으며, 이는 핵심적인 기술적 단계이다.
• 심플렉틱 용량 부등식의 사슬을 통해 라그랑주 용량이 상한과 하한이 동일한 값으로 유계임을 보였다.
• 선형화된 접촉 호모로지의 필터링을 통해 정의된 고차 심플렉틱 용량 $ rak{g}^{ ext{≤1}}_k $ 와 $ ilde{rak{g}}^{ ext{≤1}}_k $ 는 계산에 핵심적인 역할을 한다.
• 결과는 라그랑주 용량이 임베디드 라그랑주 토러스를 통해 정의되지만, 심플렉틱 토폴로지에서 헬름홀로피크 곡선 불변량을 통해 계산될 수 있음을 보여준다.