[논문 리뷰] The Coherent-Constructible Correspondence for Toric Deligne-Mumford Stacks

Bohan Fang, Chiu-Chu Melissa Liu외 2명|arXiv (Cornell University)|2009. 11. 24.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 16

한 줄 요약

이 논문은 스택의 팬을 사용하여 토릭 다양체에서 토릭 딜레인-머포드 스택으로 일관성-구성 가능 대응(CC)을 확장하며, 스택의 이행적 완전 복합체와 쌍대 격자에서 코 tangent bundle의 콘형 라그랑주 다양체에 있는 특이 지지의 구조를 가진 구성 가능 층 사이의 준동치를 수립한다. 주요 결과는 마이크로국소 기하학과 T-duality를 통해 토릭 DM 스택에 대한 이행적 호모로지 미러 대칭을 확립하는 것이다.

ABSTRACT

We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,β)$, where $N$ is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $Λ_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M_\bR$ with singular support in $\LbS$.

연구 동기 및 목표

• 토릭 다양체에서 토릭 딜레인-머포드(DM) 스택으로 일관성-구성 가능 대응(CC)을 일반화하는 것.
• 구성 가능 층의 특이 지지를 분류하는 쌍대 격자의 코 tangent bundle 안에 있는 콘형 라그랑주 다양체를 정의하는 것.
• 토릭 DM 스택에서의 이행적 완전 복합체와 관련 라그랑주 다양체에 특이 지지를 가진 구성 가능 층 사이의 준동치를 수립하는 것.
• 마이크로국소화와 T-duality를 사용하여 토릭 DM 스택에 대한 이행적 호모로지 미러 대칭(HMS)의 버전을 유도하는 것.
• 스택의 팬에 대한 사상과 관련 맵에 대해 대응의 함의성과 텐서 호환성을 증명하는 것.

제안 방법

• 유한 생성 아벨 군 $N$과 스택 데이터를 캡슐화하는 $\beta$를 가진 스택의 팬 $(N, \Sigma, \beta)$에서 토릭 DM 스택을 구성하는 것.
• 스택의 팬 데이터를 사용하여 쌍대 실벡터 공간 $M_{\mathbb{R}}$의 코 tangent bundle $T^*M_{\mathbb{R}}$ 안에 콘형 라그랑주 다양체 $Λ_{\mathbf{\Sigma}}$를 정의하는 것.
• 스택 $Χ_{\mathbf{\Sigma}}$에서의 $T$-이행적 완전 복합체의 dg-카테고리와 $M_{\mathbb{R}}$ 위의 구성 가능 층의 카테고리 사이의 준동치를 수립하는 것, 이는 $Λ_{\mathbf{\Sigma}}$에 특이 지지를 가진다.
• 나들러와 트리만의 마이크로국소화 정리를 적용하여 구성 가능 층을 $T^*M_{\mathbb{R}}$의 프리쿠베이트 카테고리와 $Λ_{\mathbf{\Sigma}}$에 지지된 것으로 연결하는 것.
• T-duality를 사용하여 스택의 유도 카테고리와 프리쿠베이트 카테고리 사이의 관계를 설정하고, T-duality 함자 $τ = \mu \circ \kappa$를 구성하는 것.
• 덧셈 사상과 그래프의 정규 벡터다발을 사용하여 콘볼루션과 라그랑주 대응 함자로 함의성과 텐서 호환성을 증명하는 것.

실험 결과

연구 질문

• RQ1 일관성-구성 가능 대응는 어떻게 토릭 다양체에서 토릭 딜레인-머포드 스택으로 확장될 수 있는가?
• RQ2 토릭 DM 스택에 대해 쌍대 격자 위의 구성 가능 층의 특이 지지를 분류하는 기하적 대상(라그랑주 다양체)은 코 tangent bundle 안에 무엇인가?
• RQ3 마이크로국소화 함자는 유도 카테고리와 프리쿠베이트 카테고리의 텐서 곱에 대해 어떻게 상호작용하는가?
• RQ4 스택의 팬에 대한 사상에 대해 T-duality 함자는 함의적으로 만들 수 있는가?
• RQ5 토릭 DM 스택의 이행적 유도 카테고리와 그 미러의 프리쿠베이트 카테고리 사이에 완전 충실하고 모노이드적인 준동치가 존재하는가?

주요 결과

• 논문은 스택의 팬 $Σ = (N, Σ, \beta)$에 대해 쌍대 격자 $M_{\mathbb{R}}$ 위의 구성 가능 층의 특이 지지를 분류하는 콘형 라그랑주 다양체 $Λ_{\mathbf{\Sigma}}$를 구성한다.
• 이행적 완전 복합체와 특이 지지가 $Λ_{\mathbf{\Sigma}}$에 있는 구성 가능 층 사이의 준동치 $κ: Π͐͐_{T}(\u03a7_{\mathbf{\Sigma}}) \to Sh_{cc}(M_{\mathbb{R}}; \u039b_{\mathbf{\Sigma}})$가 수립된다.
• 마이크로국소화 함자 $μ$는 $Sh_{cc}(M_{\mathbb{R}}; \u039b_{\mathbf{\Sigma}})$와 프리쿠베이트 카테고리 $F(T^*M_{\mathbb{R}}; \u039b_{\mathbf{\Sigma}})$ 사이의 준동치를 제공하며, 이는 호모로지 미러 대칭을 가능하게 한다.
• 합성 $τ = \mu \circ \u03ba$는 단순히 $A_\infty$-카테고리의 모노이드 준동치인 T-duality 함자를 유도한다.
• 대응은 함의적이다: 스택의 팬에 대한 사상에 대해 유도된 스택, 쌍대 격자, 라그랑주 다양체에 대한 사상은 CCC와 마이크로국소화 함자와 가환한다.
• 마이크로국소화 함자는 구성 가능 층의 콘볼루션 곱과 프리쿠베이트 카테고리의 $⊡$-곱 사이를 뒤섞으며, 이는 텐서 호환성을 보장한다.