[논문 리뷰] Derived equivalences by quantization

D. Kaledin|ArXiv.org|2005. 04. 28.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 5

한 줄 요약

이 논문은 양의 특성에서의 양자화를 이용하여 특이 아핀 다양체 $Y$ 의 심플렉틱 분해상수 $X$ 의 코herent sheaf의 유도 범주와 비가환 대수 $R$ 의 유한 생성 모듈러스의 유도 범주 사이의 유도 동치를 수립한다. 주요 결과는 이러한 동치가 $Y$ 상에서 국소적으로 성립하며, $G_m$-작용과 기저를 갖는 기저를 가정할 경우 3차원을 초월하는 고차원 심플렉틱 분해상수로의 McKay 대응의 일반화를 가능하게 한다.

ABSTRACT

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves on $X$ is equivalent to the dervied category of finitely generated left modules over a non-commutative algebra $R$, a non-commutative resolution of $Y$ in a sense close to that of M. Van den Bergh. We also prove some applications, such as: two resolutions are derived-equivalent; every resolution $X$ admits a "resolution of the diagonal"; the cohomology groups of the fibers of the map $X o Y$ are spanned by fundamental classes of algebraic cycles.

연구 동기 및 목표

• 3차원을 초월하는 고차원 심플렉틱 분해상수로의 McKay 대응을 일반화하기 위해.
• 심플렉틱 분해상수 $X$ 의 코herent sheaf의 유도 범주와 비가환 대수 $R$ 의 유한 생성 모듈러스의 유도 범주 사이의 유도 동치를 수립하기 위해.
• 동일한 다양체 $Y$ 의 두 심플렉틱 분해상수 $X$ 와 $X'$ 에 대해, $Y$ 상에서 국소적으로 $D^b_{\text{coh}}(X)$ 와 $D^b_{\text{coh}}(X')$ 가 동치임을 증명하기 위해.
• 감소법을 통해 유한체에서의 Fedosov 양자화를 응용하여 $X$ 상에서 기저를 갖는 기저를 구성하는 방법을 개발하기 위해.
• 양의 가중치를 갖는 $G_m$-작용을 가정할 경우, $X$ 의 유도 범주가 $Y$ 의 비가환 분해상수 $R$ 의 모듈러스의 유도 범주와 동치임을 보여주기 위해.

제안 방법

• BK3에서 개발된 lin-특성에서의 감소법과 유한체 위에서의 Fedosov 양자화를 적용하여 비가환 대수 $R$ 를 구성하기 위해.
• 심플렉틱 $\mathbb{G}_m$-작용에 대해 $\mathbb{G}_m$-등변인 양자화 절차를 통해 $X$ 상에서 기저를 갖는 벡터(bundle) $\mathcal{E}$ 를 구성하기 위해.
• 스펙트럴 시퀀스와 Künneth 공식을 사용하여 그의 코homology 군이 차수 $l$ 에서 무게 $l$ 의 순수성을 보임을 증명함으로써, $\mathcal{E}$ 가 기저를 갖는 기저임을 증명하기 위해.
• 등변 cohomology 의 국소화 정리를 사용하여 자연스러운 사상 $\tau: H^*_{\mathbb{G}_m,c}(X,\Lambda) \to H^*_{\mathbb{G}_m}(X,\Lambda)$ 가 매개변수 $u$ 를 역으로 하면 동형이 되며, 그 이미지가 대수적 사이클에 의해 생성된 $k[u]$-부분모듈러스에 포함됨을 보여주기 위해.
• 해당 분해의 대각선 해소 존재성(정리 1.9)을 활용하여, 해소의 모든 항목이 $\mathcal{E}^N$ 의 직합성분임을 보장함으로써, 카르탕 특성과 Poincaré 대칭성을 증명에 사용할 수 있도록 하기 위해.
• 투영 공식과 등변 cohomology 스펙트럴 시퀀스를 적용하여 문제를 코homology 순수성과 $\mathbb{G}_m$-작용과의 호환성으로 축소하기 위해.

실험 결과

연구 질문

• RQ1 McKay 대응은 3차원을 초월하는 고차원 심플렉틱 분해상수로 일반화될 수 있는가?
• RQ2 심플렉틱 분해상수 $X$ 의 코herent sheaf의 유도 범주와 비가환 대수 $R$ 의 모듈러스의 유도 범주 사이에 유도 동치가 존재하는 조건은 무엇인가?
• RQ3 동일한 특이 다양체 $Y$ 의 두 심플렉틱 분해상수 $X$ 와 $X'$ 의 유도 범주가 동치인가?
• RQ4 감소법과 Fedosov 양자화를 통해 $X$ 상에서 기저를 갖는 기저를 구성할 수 있는가?
• RQ5 양의 가중치를 갖는 $\mathbb{G}_m$-작용이 존재할 경우, 등변 cohomology 사상의 이미지가 대수적 사이클에 의해 생성된 $k[u]$-부분모듈러스에 포함되는가?

주요 결과

• $Y$ 상에서 국소적으로 심플렉틱 분해상수 $X$ 의 코herent sheaf의 유도 범주 $D^b_{\text{coh}}(X)$ 는 비가환 대수 $R$ 의 유한 생성 왼쪽 모듈러스의 유도 범주와 동치이다.
• 동일한 다양체 $Y$ 의 두 심플렉틱 분해상수 $X$ 와 $X'$ 에 대해, $Y$ 상에서 국소적으로 $D^b_{\text{coh}}(X)$ 와 $D^b_{\text{coh}}(X')$ 가 동치이며, 이는 Kawamata의 $K$-등치성은 $D$-등치성을 함의한다는 것을 일반화한다.
• 감소법과 Fedosov 양자화를 통해 구성된 $\mathbb{G}_m$-등변인 기저를 갖는 기저 $\mathcal{E}$ 가 $X$ 상에 존재한다.
• 코homology 순수성으로 인해 등변 cohomology 스펙트럴 시퀀스가 붕괴하여 $H^*_{\mathbb{G}_m}(X,\Lambda) \cong H^*(X,\Lambda)[u]$ 를 얻는다.
• $\tau: H^*_{\mathbb{G}_m,c}(X,\Lambda) \to H^*_{\mathbb{G}_m}(X,\Lambda)$ 는 $u$ 를 역으로 하면 동형이 되며, 그 이미지는 대수적 사이클에 의해 생성된 $k[u]$-부분모듈러스에 포함된다.
• 정리 1.9의 대각선 해소를 통해, 해소의 모든 항목이 $\mathcal{E}^N$ 의 직합성분임을 보장하여, 카르탕 특성과 Poincaré 대칭성을 증명에 활용할 수 있다.