[논문 리뷰] Remarks on the nonequivariant coherent-constructible correspondence for toric varieties

David Treumann|arXiv (Cornell University)|2010. 06. 30.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 15

한 줄 요약

이 논문은 매끄럽고 프로젝티브인 조노토풀 토릭 다양체에 대해 비등변(coherent-constructible) 대응을 수립한다. 이를 통해 이러한 다양체 위의 완전 복합체의 도파르 범주가 특정 라그랑주 부분다양체에 대해 특이 지지가 있는 토러스 위의 구조적 층의 범주와 준동치(quasi-equivalent) 임을 증명한다. 주요 결과는 조노토풀 팬의 기하학과 분할 층 이론을 활용하여 이 설정에서 본달(Bondal)의 추측을 확인한다.

ABSTRACT

We prove the following result of Bondal's: that there is a fully faithful embedding $κ$ of the perfect derived category of a proper toric variety into the derived category of constructible sheaves on a compact torus. We compare this result to a torus-equivariant version considered in joint work with Fang, Liu, and Zaslow. There we showed that in the torus-equivariant version the image of the embedding is cut out by microlocal conditions. To establish a similar characterization of the image of $κ$ is an open problem.

연구 동기 및 목표

• 특정 토릭 다양체에 대해 비등변(coherent-constructible) 대응이 동치임을 검증하는 것.
• 층 이론적 기법을 사용하여 등변(coherent-constructible) 대응을 비등변 설정으로 확장하는 것.
• 비등변 임bedding의 이미지를 특정 라그랑주 부분다양체에 대해 특이 지지가 있는 층으로 특성화하는 것.
• 이 대응이 dg 범주의 준동치가 되는 조건을 설정하는 것.
• 매끄럽고 프로젝티브인 조노토풀 토릭 다양체에서 특이 지지 조건이 윌슨(Whitney) 분할의 특성 다각형과 일치함을 증명하는 것.

제안 방법

• 등변 프레임워크에서 유도된 $\theta$-층 $\bar{\theta}(\tau)$ 와 $\bar{\theta}'(\tau)$ 의 비등변 판본을 $M_{\mathbb{R}}/M$ 상의 몐드(quotient) 구성으로 구성한다.
• 팬과 그 이중의 조합론을 코딩하는 $\Gamma(\Sigma,M)$ 의 순서집합을 몫으로 취해 범주 $\mathbf{C}(\Sigma)_{\mathsf{R}}$ 를 정의한다.
• 등변 층을 비등변 설정으로 내림내리는 데 사용되는 忘却 함자 $\mathrm{forg}: \mathcal{Q}_T(X) \to \mathcal{Q}(X)$ 를 사용한다.
• 구조적 층 이론과 특이 지지 이론을 적용하여 임베딩 $\bar{\kappa}$ 의 이미지를 $\tilde{\Lambda}_\Sigma \subset T^*(\mathbb{R}^n/\mathbb{Z}^n)$ 에 특이 지지가 있는 층으로 식별한다.
• 팬의 이중 히퍼플레인 배열에 의해 유도되는 윌슨 분할 $\mathcal{H}$ 를 사용하여, 단순형 조노토풀 팬의 경우 $\Lambda_\mathcal{H} = \Lambda_\Sigma$ 임을 보인다.
• 비용표준 층이 $M_{\mathbb{R}}$ 상의 층으로부터 올라오는 것으로 보여 비등변 함자 $\kappa$ 의 이미지에 속함을 보여, 본질적 전성(essential surjectivity)을 확립한다.

실험 결과

연구 질문

• RQ1 매끄럽고 프로젝티브인 조노토풀 토릭 다양체에 대해 비등변(coherent-constructible) 대응이 동치인가?
• RQ2 비등변 임베딩 $\bar{\kappa}$ 의 이미지를 $\tilde{\Lambda}_\Sigma$ 에 특이 지지가 있는 층으로 특성화할 수 있는가?
• RQ3 조노토풀 팬의 경우 윌슨 분할 $\mathcal{H}$ 의 특성 다각형이 $\Lambda_\Sigma$ 와 일치하는가?
• RQ4 비등변 대응이 완전 충실성과 본질적 전성 조건을 만족하는가?
• RQ5 팬의 단순형 조건이 $\Lambda_\mathcal{H} = \Lambda_\Sigma$ 의 등식과 어떤 관련이 있는가?

주요 결과

• 비등변 임베딩 $\bar{\kappa}: \mathrm{Perf}(X) \to \mathrm{Sh}_c(\mathbb{R}^n/\mathbb{Z}^n, \tilde{\Lambda}_\Sigma)$ 는 등변 결과를 비등변 설정으로 확장하여 완전 충실함을 보인다.
• 매끄럽고 프로젝티브인 조노토풀 토릭 다양체에서 특이 지지 조건 $\tilde{\Lambda}_\Sigma$ 는 이중 히퍼플레인 배열에 의해 유도된 윌슨 분할 $\mathcal{H}$ 의 특성 다각형 $\Lambda_\mathcal{H}$ 와 일치한다.
• 팬이 단순형일 때 정확히 $\Lambda_\mathcal{H} = \Lambda_\Sigma$ 가 성립하며, 이는 반사선 생성자가 각 교차점에서 $\mathbb{Z}$-기저를 형성함을 보장한다.
• $\mathrm{Sh}_c(\mathbb{R}^n/\mathbb{Z}^n, \tilde{\Lambda}_\Sigma)$ 는 분할 $\mathcal{H}/M$ 의 스트라타에 관련된 비표준 층들로 생성된다.
• 비용표준 층이 등변 함자 $\kappa$ 의 이미지에 속하므로, 그들의 $M_{\mathbb{R}}$ 에서의 $M_{\mathbb{R}}/M$ 으로의 전이가 $\bar{\kappa}$ 의 이미지에 속함을 보여 본질적 전성 조건을 증명한다.
• 매끄럽고 프로젝티브인 조노토풀 토릭 다양체에서 대응 $\bar{\kappa}$ 는 dg 범주의 준동치로 작용하며, 본달의 추측을 이 경우에 확인한다.