[논문 리뷰] Categorification of Lagrangian intersections on complex symplectic manifolds using perverse sheaves of vanishing cycles

Vittoria Bussi|arXiv (Cornell University)|2014. 04. 04.

Geometry and complex manifolds참고 문헌 23인용 수 10

한 줄 요약

이 논문은 복소 symplectic 다양체 내의 복소 라그랑주 교차에서, 극화와 복소 해석적 위상에서의 내림(desccent)을 사용하여, 사라지는 순환의 표준 페르세 바르 층을 구성한다. 이는 전역적이고 표준적인 페르세 바르 층이 존재하며, 버드리어 쌍대성과 단형성 구조를 지닌다는 것을 증명하여 오랫동안 남아있던 분류화 문제를 해결하고, 이러한 교차가 해석적 d-비판적 위치 구조를 지닌다는 것을 확립한다.

ABSTRACT

We study intersections of complex Lagrangian in complex symplectic manifolds, proving two main results. First, we construct global canonical perverse sheaves on complex Lagrangian intersections in complex symplectic manifolds for any pair of {\it oriented} Lagrangian submanifolds in the complex analytic topology. Our method uses classical results in complex symplectic geometry and some results from arXiv:1304.4508. The algebraic version of our result has already been obtained by the author et al. in arXiv:1211.3259 using different methods, where we used, in particular, the recent new theory of algebraic d-critical loci introduced by Joyce in arXiv:1304.4508. This resolves a long-standing question in the categorification of Lagrangian intersection numbers and it may have important consequences in symplectic geometry and topological field theory. Our second main result proves that (oriented) complex Lagrangian intersections in complex symplectic manifolds for any pair of Lagrangian submanifolds in the complex analytic topology carry the structure of (oriented) analytic d-critical loci in the sense of arXiv:1304.4508.

연구 동기 및 목표

• 복소 symplectic 기하학에서 라그랑주 교차 수의 장기적인 분류화 문제를 해결하기 위해.
• 복소 해석적 위상에서 복소 라그랑주 교차에 대한 전역적이고 표준적인 페르세 바르 층을 구성하기 위해.
• 방향이 부여된 복소 라그랑주 교차가 해석적 d-비판적 위치 구조를 지닌다는 것을 증명하기 위해.
• 기존의 대수기하학적 결과에 대한 독립적이고 자생적인 해석적 대응을 제공하기 위해.
• 행렬 인수분해와 삼각 범주를 통한 교차 수의 두 번째 분류화를 위한 기초를 마련하기 위해.

제안 방법

• 지역 다르부 좌표와 극화를 사용하여 라그랑주 교차를 헬름홀로 함수의 임계점 집합으로 모델링한다.
• 복소 해석 기하학에서의 사라지는 순환 이론을 사용하여 각 국소 차트에서 사라지는 순환의 페르세 바르 층을 구성한다.
• 극화 변화에 따른 사라지는 순환의 안정화를 통해 겹치는 차트들 사이의 페르세 바르 층 간의 표준적 동형을 확립한다.
• 페르세 바르 층에 대한 내림 이론을 적용하여 국소 페르세 바르 층들을 교차 위에 전역적이고 표준적인 대상으로 붙인다.
• 조이스의 해석적 d-비판적 위치 구조 프레임워크와의 호환성을 보여줌으로써, 교차 공간이 d-비판적 위치 구조를 지닌다는 것을 증명한다.
• 표준 번들에 대한 제곱근의 존재를 사용하여 방향 정보를 정의하고, 전역 페르세 바르 층이 쌍대성과 단형성과의 호환성을 유지하도록 보장한다.

실험 결과

연구 질문

• RQ1 두 개의 방향이 부여된 복소 라그랑주 부분다양체가 복소 symplectic 다양체 내에서 교차하는 경우, 그 교차 위에 표준적이고 전역적으로 정의된 페르세 바르 층을 구성할 수 있는가?
• RQ2 겹치는 차트들에서 국소적으로 정의된 사라지는 순환의 페르세 바르 층들이 극화 변화에 따라 표준적으로 동형이 되는가?
• RQ3 모든 복소 라그랑주 교차가 복소 symplectic 다양체 내에서 해석적 d-비판적 위치 구조를 지닌다?
• RQ4 전역 페르세 바르 층은 문헌에 있는 대수적 d-비판적 위치 및 페르세 바르 층 구성과 어떻게 관련이 있는가?
• RQ5 전역 페르세 바르 층이 행렬 인수분해를 통한 라그랑주 교차 수의 두 번째 분류화를 위한 기초로 사용될 수 있는가?

주요 결과

• 두 개의 방향이 부여된 복소 라그랑주 부분다양체가 복소 symplectic 다양체 내에서 교차하는 복소 해석적 교차 $X = L \bigcap M$ 위에 표준적이고 전역적으로 정의된 페르세 바르 층 $P_{L,M}^{\bullet}$ 이 구성된다.
• 페르세 바르 층 $P_{L,M}^{\bullet}$ 는 표준적 동형을 제외하고 유일하며, 표준적 버드리어 쌍대성과 단형성 동형을 지닌다.
• 교차 $X$ 는 조이스 이론의 관점에서 방향이 부여된 해석적 d-비판적 위치 구조를 자연스럽게 지닌다.
• 이 구성은 대수적 d-비판적 위치 프레임워크에 의존하지 않으며, [BBDJS]의 대수적 결과에 대한 첫 번째 해석적 대응을 제공한다.
• 전역 페르세 바르 층 $P_{L,M}^{\bullet}$ 는 관련된 DQ-모듈 ${\frak D}^{\bullet}, {\frak E}^{\bullet}$ 에 대한 유도된 Hom 복합체 $R\text{Hom}({\frak D}^{\bullet}, {\frak E}^{\bullet})[n]$ 의 초코homology 와 동형이 되며, 변형 양자화와 연결된다.
• 결과는, 유도된 라그랑주에 대한 푸카야 범주에서 ${\binom{\bbZ}{2}}$-주기적인 삼각 범주 구조를 통한 교차 수의 추측적 두 번째 분류화를 지지한다.