[논문 리뷰] The nonequivariant coherent-constructible correspondence and tilting

Sarah Scherotzke, Nicolò Sibilla|arXiv (Cornell University)|2014. 02. 14.

Algebraic structures and combinatorial models참고 문헌 17인용 수 4

한 줄 요약

이 논문은 날카로운 스택 팬을 가진 토릭 오비폴드의 일군의 클래스에 대해 비등변(coherent-constructible) 대응을 수립하며, 이러한 스택 위의 완전 복합체의 도파미나르 카테고리와 실수 토르스 위의 구조적 층의 카테고리 사이의 동치를 증명한다. 이는 특이 지지가 날카로운 라그랑주 다양체에 있는 것으로 제한된다. 주요 기여는 이 대응을 통해 토릭 델리-무어포드 스택에 대한 타일팅 복합체를 구성함으로써, 그들의 도파미나르 카테고리가 유한 차원이고 유한 전역 차원을 가진 대수의 도파미나르 카테고리와 준등치(quasi-equivalent)임을 보여주는 것이다.

ABSTRACT

The coherent-constructible correspondence is a relationship between coherent sheaves on a toric variety X, and constructible sheaves on a real torus T. This was discovered by Bondal, and explored in the equivariant setting by Fang, Liu, Treumann and Zaslow. In this paper we collect partial results towards a proof of the non equivariant coherent-constructible correspondence. Also, we give applications to the construction of tilting complexes in the derived category of toric DM stacks.

연구 동기 및 목표

• 넓은 범위의 토릭 델리-무어포드 스택에 대해 비등변 코herent-constructible 대응을 수립하기 위해.
• 스택 팬 $\mathbf{\Sigma}$가 날카로운 경우, 완전 복합체에서 구조적 층으로의 함자 $\kappa$ 가 동치임을 증명하기 위해.
• 이 대응을 적용하여 토릭 DM 스택의 도파미나르 카테고리에서 타일팅 복합체를 구성하기 위해.
• 이러한 스택의 도파미나르 카테고리가 유한 전역 차원을 가진 유한 차원 대수의 도파미나르 카테고리와 준등치임을 보여주기 위해.

제안 방법

• 특정 조건을 만족하는 스택 팬의 조합론적 클래스로 날카로운 스택 팬을 정의하기 위해.
• $T^*M_\mathbb{R}$ 내에 콘형 라그랑주 다양체 $\tilde{\Lambda}_{\mathbf{\Sigma}}$ 와 $T^*\mathbb{T}$ 내에 그 몫 $\Lambda_{\mathbf{\Sigma}}$ 를 구성하기 위해.
• 미세국소 층 이론을 사용하여 $\mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ 가 $\mathbf{\Sigma}$ 가 날카로운 경우 텐서곱에 대해 닫혀 있고 t-구조를 갖는다는 것을 보여주기 위해.
• $\kappa: \mathrm{Perf}(\mathcal{X}_{\mathbf{\Sigma}}) \to \mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ 가 완전 충실하고, 날카로움 조건이 성립할 경우 동치임을 증명하기 위해.
• 이 대응을 적용하여 $\mathrm{Perf}(\mathcal{X}_{\mathbf{\Sigma}})$ 가 유한 차원 대수 $B$ 의 유한 전역 차원을 가진 $D^b_{\mathrm{dg}}(B)$ 와 준등치임을 보여주는 방식으로 타일팅 복합체를 구성하기 위해.
• $\mathcal{P}\mathrm{erf}(\mathcal{X}_{\mathbf{\Sigma}})$ 가 포화되어 있음을 활용하여 수반 함자가 존재함을 보장하고, 이에 따라 준등치를 구성할 수 있도록 하기 위해.

실험 결과

연구 질문

• RQ1 비등변 코herent-constructible 대응은 등변 설정을 초월한 토릭 오비폴드에 대해 성립하는가?
• RQ2 스택 팬의 어떤 조합론적 조건이 일반적인 완전 복합체에 대해 이 대응이 동치가 되게 하는가?
• RQ3 코herent-constructible 대응을 사용하여 토릭 DM 스택의 도파미나르 카테고리에서 타일팅 복합체를 구성할 수 있는가?
• RQ4 특이 지지가 날카로운 라그랑주 다양체에 있는 구조적 층의 카테고리가 텐서곱에 대해 닫혀 있고 t-구조를 갖는가?
• RQ5 날카로운 팬을 가진 매끄러운 토릭 오비폴드의 도파미나르 카테고리가 타일팅 대상을 갖는가?

주요 결과

• 정리 1.3에 의해, 모든 스택 팬이 날카로운 토릭 오비폴드에 대해 비등변 코herent-constructible 대응이 성립함을 증명하였다.
• $\mathbf{\Sigma}$ 가 날카로운 경우, 함자 $\kappa: \mathrm{Perf}(\mathcal{X}_{\mathbf{\Sigma}}) \to \mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ 는 동치이다.
• $\mathbf{\Sigma}$ 가 날카로운 경우, 카테고리 $\mathrm{Sh}_c(\mathbb{T}, \Lambda_{\mathbf{\Sigma}})$ 는 텐서곱에 대해 닫혀 있고 t-구조를 갖는다.
• 모든 매끄러운 토릭 오비폴드에서 스택 팬이 날카로운 경우, $\mathcal{P}\mathrm{erf}(\mathcal{X}_{\mathbf{\Sigma}})$ 는 유한 차원 대수 $B$ 의 유한 전역 차원을 가진 $D^b_{\mathrm{dg}}(B)$ 와 준등치이다.
• 정리 7.5에 의해, 이러한 스택의 도파미나르 카테고리에 타일팅 복합체가 존재한다.
• 이 구성은 타우토로지컬 t-구조와 호환되며, 완전 충실 함자를 dg 카테고리로 확장할 수 있도록 한다.