[논문 리뷰] $S^1$-equivariant symplectic homology and linearized contact homology

Frédéric Bourgeois, Alexandru Oancea|arXiv (Cornell University)|2012. 12. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 38인용 수 40

한 줄 요약

이 논문은 $S^1$-동차 심플렉틱 호모로지의 세 가지 동치 정의를 수립하고, 이론이 정의될 때 유리수 계수에서 그 양의 부분이 선형화된 접촉 호모로지와 동형임을 증명한다. 핵심 기여는 캄파니/선형화된 접촉 호모로지의 대체로 잘 정의된 $S^1$-동차 구조를 제공함으로써, 심플렉틱 위상수학과 동차 플로어 이론을 통해 접촉 호모로지의 기초적 문제를 해결하는 것이다.

ABSTRACT

We present three equivalent definitions of $S^1$-equivariant symplectic homology. We show that, using rational coefficients, the positive part of $S^1$-equivariant symplectic homology is isomorphic to linearized contact homology, when the latter is defined. We present several computations and applications, and introduce a rigorously defined substitute for cylindrical/linearized contact homology based on an $S^1$-equivariant construction.

연구 동기 및 목표

• 실린드릭 및 선형화된 접촉 호모로지의 기초적 문제를 해결하기 위해 잘 정의된 $S^1$-동차 대체를 제공한다.
• 보렐 구축, 가족의 플로어 호모로지, 조인 구축을 통해 $S^1$-동차 심플렉틱 호모로지의 세 가지 동치 정의를 제공한다.
• 유리수 위에서 $S^1$-동차 심플렉틱 호모로지의 양의 부분과 선형화된 접촉 호모로지 사이의 표준적 동형을 수립한다.
• 이 동형을 통해 접촉 호모로지의 불변성을 리우빌 도메인으로 확장한다.
• 이론을 부분하향 스티븐 다양체와 코탄제이언트 번들의 사례에 적용하여 일관성을 검증한다.

제안 방법

• 자유 루프 공간의 심플렉틱 완비화에 대한 호모토피 몫을 통해 보렐 구축을 사용하여 $S^1$-동차 심플렉틱 호모로지를 정의한다.
• 가족의 플로어 호모로지를 적용하여 동차 복합체를 구성하며, 해밀토니안 궤도에 대한 $S^1$-작용을 통합한다.
• 특히 무게 공간으로의 분해를 통해 $S^1$의 표현 이론을 활용하여 복합체를 단순화한다.
• 조인 구축을 사용하여 $S^1$-동차 복합체를 자유 루프 공간의 유한차원 근사의 코초한 극한으로 실현한다.
• 양의 $S^1$-동차 심플렉틱 호모로지에 대해 지스인 정적사를 사용하여 비동차 및 접촉 호모로지 이론과 연결한다.
• torsion 장애를 피하기 위해 유리수 계수에 의존하여 선형화된 접촉 호모로지와의 동형을 보장한다.

실험 결과

연구 질문

• RQ1 실린드릭 접촉 호모로지의 전이성 문제를 피할 수 있는 잘 정의된 $S^1$-동차 심플렉틱 호모로지 구축이 존재하는가?
• RQ2 $S^1$-동차 심플렉틱 호모로지가 여러 동치 방식으로 정의될 수 있으며, 이들이 서로 동형인가?
• RQ3 유리수 위에서 선형화된 접촉 호모로지가 정의될 때, $S^1$-동차 심플렉틱 호모로지의 양의 부분이 그와 동형인가?
• RQ4 이 동형은 실린드릭 접촉 호모로지의 대체로 사용될 수 있으며, 불변성과 잘 정의됨을 보장하는가?
• RQ5 특정 다양체, 예를 들어 부분하향 스티븐 도메인과 코탄제이언트 번들의 경우, 그리고 부분하향 수술에 대해 호모로지 군은 어떻게 행동하는가?

주요 결과

• 유리수 계수에서 $S^1$-동차 심플렉틱 호모로지의 양의 부분은 선형화된 접촉 호모로지와 동형이며, 이를 통해 후자의 엄밀한 대체를 제공한다.
• 부분하향 스티븐 도메인 $W$에 대해 $SH_*^{+,S^1}(W) \simeq \bigoplus_{k \geq 0} H_{*+n-1-2k}(W, \partial W)$이며, 이는 기존 결과를 새로운 방법으로 복원한다.
• 차원 $\geq 4$인 닫힘, 정향, 스피너 다발 $L$의 단위 코탄제이언트 번들의 경우 $SH_*^{+,S^1}(ST^*L) \simeq H_*(\mathcal{L}L/S^1, L)$이며, Cieliebak과 Latschev의 계산과 일치한다.
• 표준 전이성 가정 $(A^{cyl})$ 및 $(B_c^{cyl})$를 초월하여 동형이 성립함을 보여, $S^1$-동차 프레임워크의 강건성을 입증한다.
• 접촉 호모로지가 유한 이소트로피를 갖는 $S^1$-동차 호모로지의 몫임을 지지하는 이론적 통찰을 제공하며, 유리수 위에서 동형임을 보여준다.
• 부분하향 수술 정삼각형이 $SH_*^{+,S^1}$에 대해 수립되었으며, 기존 결과를 일반화하고 새로운 계산 도구를 제공한다.