[논문 리뷰] Microlocal branes are constructible sheaves

David Nadler|arXiv (Cornell University)|2006. 12. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 14

한 줄 요약

이 논문은 컴act한 실해석적 다양체 $X$ 위의 구조적 층의 dg 범주와 그 코탄제인트 번들의 호프카 범주 $T^*X$의 삼각화된 환위의 사이에 준등치를 수립한다. 이는 미세지역 브레인(즉, $T^*X$ 내의 라그랑주 브레인)이 구조적 층과 범주적으로 동치임을 증명하며, 핵심 결과는 미세지역화 함자 $\mu_X$가 단지 전부 충실한 것뿐만 아니라 본질적으로 전사임을 보여, 두 구조를 범주적으로 동일시하고, 특성 사이클 동형사상이 유도 범주 수준으로 확장됨을 보여준다.

ABSTRACT

Let $X$ be a real analytic manifold, and let $T^*X$ be its cotangent bundle. In a recent paper with E. Zaslow \cite{NZ}, we showed that the dg category $Sh_c(X)$ of constructible sheaves on $X$ quasi-embeds into the triangulated envelope $F(T^*X)$ of the Fukaya category of $T^*X$. We prove here that the quasi-embedding is in fact a quasi-equivalence. When $X$ is complex, one may interpret this as a topological analogue of the identification of Lagrangian branes in $T^*X$ and holonomic $D_X$-modules developed by Kapustin and Kapustin-Witten from a physical perspective. As a concrete application, we show that compact connected exact Lagrangians in $T^*X$ (with some modest homological assumptions) are equivalent in the Fukaya category to the zero section. In particular, this determines their (complex) cohomology ring and homology class in $T^*X$, and provides a homological bound on their number of intersection points. An independent characterization of compact branes in $T^*X$ has recently been obtained by Fukaya-Seidel-Smith.

연구 동기 및 목표

• 컴act한 실해석적 다변체 $X$ 위의 구조적 층의 dg 범주와 $T^*X$의 호프카 범주의 삼각화된 환위 사이의 준등치를 수립하기 위해.
• 미세지역화 함자 $\mu_X$를 전부 충실한 임bedding에서 준등치로 확장함으로써, 구조적 층과 미세지역 브레인 간의 범주적 동치를 확립하기 위해.
• $T^*X$ 내의 컴팩트 정확한 라그랑주 부분다양체에 대한 호몰로지적 특성화를 제공하며, 약간의 호몰로지적 가정 하에 이들이 호프카 범주에서 영단면과 동치임을 보여주기 위해.
• 호프카 범주 내의 $A_\infty$-계산이 호환 가능한 거의 복소構조의 선택에 영향을 받지 않음을 보여주며, 이로 인해 구성의 불변성을 확보하기 위해.

제안 방법

• 구조적 층의 dg 범주를 $T^*X$의 호프카 범주의 삼각화된 환위에 임베드하는 미세지역화 $A_\infty$-함자 $\mu_X: Sh_c(X) \to F(T^*X)$를 구성한다.
• $H(\mu_X): D_c(X) \to DF(T^*X)$로 유도된 코homology 함자가 전부 충실할 뿐 아니라 본질적으로 전사임을 증명함으로써 준등치를 확립한다.
• 비특성적 등온변형과 계속성 사상들을 이용해 브레인 간의 플로어 이론 계산을 층 이론적 구성과 연결하며, 특히 대각선 브레인과 곱 브레인을 통해 이를 수행한다.
• $J$-홀로모르픽 디스크의 사전 거리 bound를 적용하여, 호환 가능한 거의 복소構조 $J$의 변화에 대해 $A_\infty$-작용이 불변임을 호모토피적 추론을 통해 보여준다.
• 타밍 편향이 브레인 구조에 영향을 주지 않음을 보이기 위해, 편향 간을 연결하는 $[0,1]$-가지의 거의 복소構조의 가닥을 구성한다.
• 예측 가능한 다각형의 준복소다양체 모듈리 공간의 컴팩턴스와 티민 조건을 이용하여, 유한하게 결정되고 불변하는 계산이 보장됨을 확보한다.

실험 결과

연구 질문

• RQ1 미세지역화 함자 $\mu_X$는 $Sh_c(X)$와 $F(T^*X)$ 사이의 준등치인가, 아니면 단지 전부 충실한 임베딩인가?
• RQ2 구조적 함수와 콘형 라그랑주 사이클 간의 특성 사이클 동형사상은 유도 수준의 범주적 동치로 올라갈 수 있는가?
• RQ3 표준적인 호몰로지적 가정 하에 $T^*X$ 내의 컴팩트 연결 정확한 라그랑주 부분다양체는 호프카 범주에서 영단면과 동치인가?
• RQ4 $T^*X$의 호프카 범주의 $A_\infty$-구조는 호환 가능한 거의 복소構조의 변화와 타밍 편향에 대해 불변하는가?
• RQ5 호프카 범주의 삼각화된 환위는 미세지역화를 통해 구조적 층으로 완전히 기술될 수 있는가?

주요 결과

• 미세지역화 함자 $\mu_X$는 구조적 층의 dg 범주 $Sh_c(X)$와 $T^*X$의 호프카 범주의 삼각화된 환위 $F(T^*X)$ 사이의 준등치를 유도하며, 이는 미세지역 브레인이 구조적 층과 범주적으로 동치임을 증명한다.
• $H(\mu_X): D_c(X) \to DF(T^*X)$의 코homology 수준 함자는 전부 충실할 뿐 아니라 삼각 범주 간의 동치이므로, 단지 전부 충실한 것 이상임을 보여준다.
• $T^*X$ 내의 컴팩트 연결 정확한 라그랑주 부분다양체는 $DF(T^*X)$에서 영단면과 동형이므로, 동일한 호몰로지 환과 호몰로지 클래스를 가짐을 의미한다.
• 호프카 범주의 $A_\infty$-작용은 호환 가능한 거의 복소構조의 변화와 타밍 편향에 대해 불변하므로, 구성이 잘 정의되고 안정됨을 보장한다.
• 특성 사이클 호모모르피즘 $CC$는 $K_0$와 미세지역화 함자와 함께 교환 다이어그램에 포함되며, 고전 결과와의 일관성을 확인한다.
• 삼각화된 환위 $F(T^*X)$는 $\mu_X$의 이미지에 의해 생성되므로, $DF(T^*X)$의 모든 대상은 미세지역화를 통해 구조적 층으로부터 유도된다.