[논문 리뷰] Constructible Sheaves and the Fukaya Category

David Nadler, Eric Zaslow|ArXiv.org|2006. 04. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 5

한 줄 요약

이 논문은 실 분석다양체 $X$ 위의 국소적으로 상수층의 도파르 카테고리가 $T^*X$의 정확한 라그랑주 브레인의 삼각형 $A_\infty$-카테고리로의 준위상적 임베딩을 수립한다. 모이어 이론과 호환되는 미세지오메트리 및 편미분 기법을 사용하여, 표준층 대상이 관련 라그랑주 브레인으로 보내지는 함자를 구성하며, 특성 사이클 구성의 카테고리화된 판본을 실현하고, 푸카야 카테고리 프레임워크 내에서 국소적으로 상수층의 기하적 실현을 제공한다.

ABSTRACT

Let $X$ be a compact real analytic manifold, and let $T^*X$ be its cotangent bundle. Let $Sh(X)$ be the triangulated dg category of bounded, constructible complexes of sheaves on $X$. In this paper, we develop a Fukaya $A_\infty$-category $Fuk(T^*X)$ whose objects are exact, not necessarily compact Lagrangian branes in the cotangent bundle. We write $Tw Fuk(T^*X)$ for the $A_\infty$-triangulated envelope of $Fuk(T^*X)$ consisting of twisted complexes of Lagrangian branes. Our main result is that $Sh(X)$ quasi-embeds into $Tw Fuk(T^*X)$ as an $A_\infty$-category. Taking cohomology gives an embedding of the corresponding derived categories.

연구 동기 및 목표

• 실 분석다양체 $X$ 위의 국소적으로 상수층과 그의 코타angent 번들의 푸카야 카테고리 사이의 기하학적 다리를 수립하기 위해.
• 비콤팩트이면서 정확한 라그랑주 브레인을 포함하고, 잘 정의된 점근적 행동을 보이는 푸카야 $A_\infty$-카테고리 $Fuk(T^*X)$를 정의하기 위해.
• 국소적으로 상수층의 도파르 카테고리 $D_c(X)$를 푸카야 카테고리의 삼각형 외접 $TwFuk(T^*X)$로의 준위상적 임베딩을 구성하기 위해.
• 라그랑주를 변형함으로써 모이어 이론적 구성과 푸카야 카테고리 연산 간의 호환성을 보장하기 위해.
• 경계에서 내향/외향 벡터장이 혼합된 경우를 고려하여, 기울기 편향 편향층을 라그랑주 브레인으로 확장하기 위해.

제안 방법

• 모든 $T^*X$의 컴팩티피케이션을 정의하고, 라그랑주가 컴팩티피케이션에서 부분해석기하학적임을 요구함으로써, 경계가 무한대에서 레지온드로닉이 되도록 보장한다.
• 점근적으로 정규화된 지오데식 흐름의 변형을 사용하여, 준해석적 디스크의 매니폴드 공간을 제어하고 컴팩턴스를 확보한다.
• 하위다양체 $Y \subset X$ 위의 정의 함수 $m$과 $n$과 관련된 미분 1형식의 그래프로서 라그랑주 브레인 $L_{Y,m}$을 구성한다.
• 무한대 근처에서 지오데식 흐름과 일치하는 변형을 통해, 모이어 이론적 $A_\infty$-카테고리와 푸카야 카테고리 간의 호환성을 확립한다.
• 푸카야와 오의 정리를 적용하여, 변형된 설정에서의 해석 다각형의 매니폴드 공간이 모이어 카테고리의 것과 일치함을 확인한다.
• 미분형식 $\operatorname{Re}(dz/z^n)$과 같은 형태의 라그랑주를 연결하여, 기울기 편향 편향층의 임베딩을 확장한다. 이는 경계에서 혼합된 내향/외향 행동을 나타낸다.

실험 결과

연구 질문

• RQ1 실 분석다양체 $X$ 위의 국소적으로 상수층의 도파르 카테고리가 $T^*X$의 정확한 라그랑주 브레인의 삼각형 $A_\infty$-카테고리로 준위상적으로 임베딩될 수 있는가?
• RQ2 비콤팩트이면서 정확한 라그랑주가 $T^*X$에서 어떻게 체계적으로 구성되고 변형되어야 하며, 준해석적 디스크의 매니폴드 공간이 컴팩트해지도록 보장할 수 있는가?
• RQ3 모이어 이론적 구성이 $X$에서 이루어질 때, 그것이 $T^*X$의 푸카야 카테고리 연산과 어느 정도 일치하는가?
• RQ4 표준 및 코표준 확장 사이의 기하학적 중간에 위치하는 기울기 편향 편향층은 어떻게 라그랑주 브레인으로 실현되는가?
• RQ5 $\mathcal{D}_X$-모듈의 특성 사이클과 제안된 임베딩에 의한 그 상응하는 이미지 사이의 정확한 기하학적 대응은 무엇인가?

주요 결과

• 실 분석다양체 $X$ 위의 국소적으로 상수층의 도파르 카테고리 $D_c(X)$는 삼각형 $A_\infty$-카테고리 $DFuk(T^*X)$로의 자연스러운 준위상적 임베딩을 갖는다.
• 이 임베딩은 하위다양체 $Y \subset X$에 관련된 표준층 대상이, 철저히 선택된 함수 $f$에 대해 $df$의 그래프로서 구성된 정확한 라그랑주 브레인 $L_{Y,m}$으로 보냄으로써 실현된다.
• 무한대 근처에서 정규화된 지오데식 흐름을 통한 라그랑주 변형은 준해석적 디스크의 매니폴드 공간의 컴팩턴스를 보장하며, 이는 푸카야 카테고리의 정의를 가능하게 한다.
• 모이어 이론적 $A_\infty$-카테고리 $Mor(X)$는 임베딩의 이미지와 준위상적 동치이며, 이는 모이어와 푸카야 구성 간의 일致성을 확인한다.
• 실 분석다양체 $X$ 위의 기울기 편향 편향층은 $\operatorname{Re}(dz/z^n)$과 같은 미분형식과 관련된 라그랑주로 실현되며, 이는 경계에서 혼합된 내향/외향 행동을 나타낸다.
• 이 구성은 특성 사이클 사상의 카테고리화를 제공하며, 고전적인 미세지오메트리 대응을 $A_\infty$-카테고리 수준으로 확장한다.