[논문 리뷰] More about vanishing cycles and mutation

Paul Seidel|arXiv (Cornell University)|2000. 10. 03.

Homotopy and Cohomology in Algebraic Topology인용 수 8

한 줄 요약

이 논문은 4차원 다양체 내 라그랑주 구의 호플러 코hom로지와 그레디드 퓨카야 카테고리의 유도 카테고리 간 깊은 연결 고리를 제안함으로써 심플렉틱 피카르-레프셰츠 이론을 확장한다. 특정 라그랑주 부분다양체의 호플러 코호몰로지가 유도 카테고리 내 그레디드 사상 공간의 대수적 연산을 통해 계산될 수 있음을 제안하며, 이는 심플렉틱 불변량에 대한 새로운 호몰로지 대수적 접근법을 제공한다.

ABSTRACT

The paper continues the discussion of symplectic aspects of Picard-Lefschetz theory begun in "Vanishing cycles and mutation" (this archive). There we explained how to associate to a suitable fibration over a two-dimensional disc a triangulated category, the "derived directed Fukaya category" which describes the structure of the vanishing cycles. The present second part serves two purposes. Firstly, it contains various kinds of algebro-geometric examples, including the "mirror manifold" of the projective plane. Secondly there is a (largely conjectural) discussion of more advanced topics, such as (i) Hochschild cohomology, (ii) relations between Picard-Lefschetz theory and Morse theory, (iii) a proposed "dimensional reduction" algorithm for doing certain Floer cohomology computations.

연구 동기 및 목표

• 4차원 다양체 내 기하학적 호플러 코호몰로지와 유도 퓨카야 카테고리 내 대수적 불변량 간의 추측적 대응을 수립하기 위해.
• 정확한 모어스 피브리케이션의 위상수학적 불변량과 심플렉틱 모노드로미와 호흐실트 코호몰로지 간의 관계를 더욱 정교히 이해하기 위해.
• 정확한 모어스 피브리케이션에서 실의 변환의 역할과 그 유도 카테고리에 대한 모어스 이론적 기술에 대한 영향을 탐색하기 위해.
• 2n차원 심플렉틱 기하학이 (2n+2)차원 피브리케이션에 대한 불변량을 생성하는 차원 감소 메커니즘을 제안하기 위해.
• 사라지는 순환의 유도 카테고리 데이터만을 사용하여 라그랑주 호플러 코호몰로지의 추측적 알고리즘을 제공하기 위해.

제안 방법

• 정확한 모어스 피브리케이션의 한 섬유 $M$ 내에서 사라지는 순환의 그레디드 라그랑주 구성 $\widetilde{\Gamma}$ 로부터 방향성 있는 $A_\infty$-카테고리 $\mathcal{A} = \mathrm{Lag}^{\rightarrow}(\widetilde{\Gamma})$ 를 구성한다.
• 유도 카테고리 $D^b(\mathcal{A})$ 를 형성하며, 이는 히르츠 이동과 변형에 대한 불변성 덕분에 경로나 그레딩의 선택과 무관하게 삼각형 카테고리가 된다.
• 두 다른 구성 $\Gamma$ 와 $\Gamma'$ 를 연결하는 $A_\infty$-카테고리의 사슬 $\mathcal{A}_0, \dots, \mathcal{A}_r$ 를 사용하며, 이들은 준동형, 그레딩 이동, 또는 변형으로 연결된다.
• 기본 동치의 복합체를 통해 유도 카테고리 간의 동치 $G: D^b(\mathcal{A}) \to D^b(\mathcal{A}')$ 를 정의한다.
• 유도 카테고리 $D^b(\mathcal{A})$ 와 $D^b(\mathcal{A}')$ 내에 매칭되는 사라지는 순환 쌍에 대응하는 구면 대상 $C, C'$ 를 도입한다.
• 기하학적 호플러 코호몰로지와 그레디드 사상 공간 간의 추측적 동형 $HF(\Lambda_c, \Lambda_{c'}) \cong \bigoplus_{d \in \mathbb{Z}} \mathrm{Hom}^d_{D^b(\mathcal{A}')} (G(C), C')$ 를 제안한다.

실험 결과

연구 질문

• RQ1 4차원 다량체 내 라그랑주 구의 호플러 코호몰로지가 사라지는 순환의 유도 퓨카야 카테고리로부터 대수적으로 계산될 수 있는가?
• RQ2 경로 선택, 그레딩, 준동형의 선택이 유도 카테고리와 그 불변량에 미치는 영향은 어떠한가?
• RQ3 그레디드 퓨카야 카테고리의 유도 카테고리 내에서의 구면 대상의 기하학적 의미는 무엇인가?
• RQ4 심플렉틱 기하학의 2차원 데이터를 통해 4차원 다량체의 심플렉틱 불변량을 얼마나 잘 차원 감소를 통해 재구성할 수 있는가?
• RQ5 모어스 피브리케이션의 전역 모노드로미를 그 호흐실트 코호몰로지와 연결짓는 표준적인 방법이 존재하는가?

주요 결과

• 유도 카테고리 $D^b(\mathcal{A})$ 는 정확한 모어스 피브리케이션 $(E, \pi)$ 와 상대 마스лов 사상 $\delta_{E/D}$ 에 대해 불변이며, 경로나 그레딩의 선택과 무관하다.
• 추측 9.4는 두 최종적으로 라그랑주 부분다양체의 호플러 코호몰로지 $HF(\Lambda_c, \Lambda_{c'})$ 가 $\bigoplus_d \mathrm{Hom}^d_{D^b(\mathcal{A}')} (G(C), C')$ 의 그레디드 직접합과 동형임을 제안한다.
• 추측은 준동형의 선택과 무관하게 불변이며, 이를 보여주는 레마 9.2 는 $G$ 에서의 구면 대상의 상이 이러한 선택과 무관함을 보장한다.
• n=1 경우에서 추측은 계산 가능해지며, $\mathcal{A}$ 와 $\mathcal{A}'$ 는 조합적으로 기술될 수 있어 직접 호플러 이론 계산과의 명백한 비교가 가능하다.
• 영차원 경우($n=0$)는 추측을 지지하며, 이는 이중 브랑치 커버 위에서의 교차 수에 대한 알려진 대수적 공식을 복원한다.
• 이 틀은 호몰로지 대수학이 심플렉틱 기하학에 실제로 적용된 첫 번째 사례를 암시한다: 오직 유도 카테고리 연산만으로 호플러 코호몰로지를 계산하는 것이다.