[논문 리뷰] A biased view of symplectic cohomology

Paul Seidel|arXiv (Cornell University)|2007. 04. 16.

Geometric and Algebraic Topology참고 문헌 36인용 수 15

한 줄 요약

이 논문은 리우빌 도메인과 그 완비화를 포함한 열린 심플렉틱 다양체에 대해 심플렉틱 cohomology를 강력한 불변량으로서 주장하는 종합적이고 입장이 뚜렷한 개요를 제시한다. 심플렉틱 토폴로지, 대수기하학, 플로어 이론과의 연결을 강조하며, 심플렉틱화, 완비화, 등변 구조와 같은 핵심 구성요소를 소개하고, 심플렉틱 cohomology와 루프 공간 호몰로지, 그로모프-원워인버리언트 사이의 비영 제타와 스펙트럴 시퀀스를 수립한다.

ABSTRACT

These are lecture notes from my talks at the "Current Developments in Mathematics" conference (Harvard, 2006). They cover a variety of topics involving symplectic cohomology. In particular, a discussion of (algorithmic) classification issues in symplectic and contact topology is included.

연구 동기 및 목표

• 심플렉틱 cohomology를 심플렉틱 토폴로지의 핵심 도구로 주장하기 위해 그 직접적인 기하학적 및 위상수학적 의의를 부각시키는 것.
• 특히 애핀 다양체와 그 심플렉틱 불변량을 통해 심플렉틱 cohomology와 대수기하학을 연결하는 것.
• 비영 제타와 핸들 부착 기법을 통해 심플렉틱 cohomology가 비자명한 위상을 탐지하는 데서의 역할을 명확히 하는 것.
• 특히 BV 및 중력 대수학적 구조를 포함한 등변 심플렉틱 cohomology에서 발생하는 대수적 구조를 탐색하는 것.
• 심플렉틱 cohomology 연산과 그로모프-원워인버리언트 사이의 깊은 연결을 추측하는 것—특히 심플렉틱 초표면에서의 선 수 계산의 맥락에서.

제안 방법

• 심플렉틱화를 통한 리우빌 도메인의 완비화를 이용해 완비화된 다양체의 불변량으로서 심플렉틱 cohomology를 정의한다.
• 자기적 해밀토니안의 폐포 궤도를 통해 완비화된 다양체 위에서 해밀턴 플로어 이론을 적용하여 심플렉틱 cohomology를 정의한다.
• 행동 필터링에서 유래한 스펙트럴 시퀀스와 같은 도구를 사용하여 심플렉틱 cohomology를 자유 루프 공간 호몰로지와 연결한다.
• 더 풍부한 대수적 구조, 예를 들어 리 괄호와 중력 대수학적 작용을 접근하기 위해 $S^1$-등변 심플렉틱 cohomology를 도입한다.
• 구멍이 난 리만 곡면의 모듈리 공간(예: 3개의 구멍이 난 디스크)을 이용해 등변 계수를 가진 심플렉틱 cohomology 위의 연산을 정의한다.
• 특히 $M = D^*S^2$의 경우, 심플렉틱 cohomology와 자유 루프 공간 호몰로지 사이의 대응을 통해 결과를 계산하고 해석한다.

실험 결과

연구 질문

• RQ1 심플렉틱 cohomology는 리우빌 도메인의 비자명한 위상을 어떻게 탐지하는가? 특히 부하우드 서브스타일 스틸 맨포ลด에 비해 어떻게 다를까?
• RQ2 심플렉틱 cohomology는 리우빌 도메인에서의 이국적 구조(예: 브레이드 군 데이터로 구성된 $D^6$)를 어느 정도 탐지할 수 있는가?
• RQ3 정확히 $S^1$-등변 심플렉틱 cohomology의 대수적 구조는 무엇이며, 중력 대수학과 루프 공간 호몰로지와의 관계는 어떠한가?
• RQ4 심플렉틱 cohomology의 연산(예: 리 괄호)은 그로모프-원워인버리언트, 예를 들어 허위-해석선의 수를 복원할 수 있는가?
• RQ5 심플렉틱 co호몰로지의 스펙트럴 시퀀스는 루프 공간에서의 고전적 모르스-보트 스펙트럴 시퀀스를 어떻게 반영하는가? 그리고 $u$-작용의 역할은 무엇인가?

주요 결과

• 특히 $M = D^*S^2$의 경우, $S^1$-등변 심플렉틱 cohomology $SH^{*}_{eq}(M)$는 등변 호몰로지 $H_{-*}^{eq}\big(\tilde{L}S^2\big)$와 동형이며, 스펙트럴 시퀀스는 모르스-보트 스펙트럴 시퀀스를 복원한다.
• 스펙트럴 시퀀스 $E_1^{pq}$는 $r \geq 1$에 대해 $d_r: E_r^{-r,-r-1} \to E_r^{0,-2r}$인 비영이 아닌 미분을 가지며, 이는 유일한 비영이 아닌 미분이며, 기존의 루프 공간 호몰로지 계산과 일치한다.
• 등변 계수를 가진 3개의 구멍이 난 디스크의 모듈리 공간에서 유래하는 리 괄호는 $SH^{*}_{eq}(M)[2-n]$에서 그레이드 리 대수학적 구조를 생성한다.
• 사상 $H^{*+n}(M;\mathbb{K}) \to SH^{*}_{eq}(M)$의 상은 열린 이상의 형태를 띠며, 이는 모든 다른 원소와의 괄호 연산에서 영이 된다.
• 특히 $k=1$의 경우, $d_1$ 미분 $E_1^{-1,-n} \to E_1^{0,-n}$은 그로모프-원워인버리언트 $\Psi$—일반적인 점을 통과하는 선의 수—에 의한 곱셈으로 추측된다.
• $k=2$의 경우, 스펙트럴 시퀀스는 $H^0(D;\mathbb{K})^{igotimes 2} \to H^0(M;\mathbb{K})$로 가는 잠재적 리 괄호 사상이 존재함을 시사하며, 이는 $2\Psi$를 나타내며 높은 종수의 불변량과의 잠재적 연결을 암시한다.