[논문 리뷰] McKay equivalence for symplectic resolutions of singularities

Roman Bezrukavnikov, D. Kaledin|arXiv (Cornell University)|2004. 01. 01.

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

한 줄 요약

이 논문은 양자화와 양의 특성으로의 축소를 통해 몰티플라이드 심플렉틱 해소 $X$의 유한 차수 코herent sheaf의 유도 범주와 $V$ 위의 $\Gamma$--equivariant 코herent sheaf의 유도 범주 사이의 파생 매크케이 상등성을 수립한다. 주요 결과는 $D^b(\operatorname{Coh}(X)) \cong D^b(\operatorname{Coh}^\Gamma(V))$의 동치관계이며, 아즈마야 대수와 브라우어 군 기법을 통해 이전 결과를 고차원으로 확장한다.

ABSTRACT

Let $V$ be a finite-dimensional symplectic vector space over a field of characteristic 0, and let $G \subset Sp(V)$ be a finite subgroup. We prove that for any crepant resolution $X o V/G$, the bounded derived category $D^b(Coh(X))$ of coherent sheaves on $X$ is equivalent to the bounded derived category $D^b_G(Coh(V))$ of $G$-equivariant coherent sheaves on $V$.

연구 동기 및 목표

• 유도 범주를 사용하여 2차원 이상의 심플렉틱 몰티플라이드 특이점에 대한 매크케이 대응을 일반화한다.
• 심플렉틱 해소 $X$의 코herent sheaf의 유도 범주와 $V$ 위의 $\Gamma$-equivariant 코herent sheaf의 유도 범주 사이의 유도 동치관계를 수립한다.
• 모듈리 해석을 통한 $\mathbb{A}^2$ 위의 점들에 대한 힐베르트 스킴에 대한 $n!$-추측의 새로운 증명을 제공한다.
• 적절한 안정 조건 하에서 심플렉틱 몰티플라이드 특이점 $V/\Gamma$의 모든 찌그러짐 해소 $X$가 $\Gamma$-컨스테이션레이션의 모듈리 공간임을 보인다.

제안 방법

• 큰 특성 $p>0$의 체 $\mathsf{k}$로의 기저 변경을 통한 양의 특성으로의 축소.
• $\mathsf{k}[[h]]$ 위의 변형으로서 $\mathcal{O}_X$의 구조층의 양자화인 $\mathcal{O}_h(X)$를 구성하며, 이는 $\Gamma$-불변 와일 대수 $\mathcal{W}^\Gamma$와 동형인 전역 단위를 가진다.
• 양자화된 대수 $\mathcal{O}_h$를 프로베누스 전환 $X^{(1)}$ 위의 아즈마야 대수로 식별함으로써 게르베 구조를 이끌어낸다.
• 브라우어 군 위의 노름 사상의 활용을 통해 아즈마야 대수를 풀어내고, $\mathsf{k}$ 위에서의 유도 동치관계를 복원한다.
• 큰 특성에서 $\mathcal{W}^\Gamma$와 $\mathcal{W}\#\Gamma$ 사이의 모리타 동치를 활용하여 유도 범주를 연결한다.
• 한계 추론과 기저 변경을 통한 양의 특성에서의 동치관계를 특성 0으로 옮기는 데 응용한다.

실험 결과

연구 질문

• RQ1 임의의 차원에서 몰티플라이드 특이점에 대한 유도 매크케이 상등성이 성립하는가?
• RQ2 양자화를 통해 2차원 이상의 경우에도 $D^b(\operatorname{Coh}(X))$와 $D^b(\operatorname{Coh}^\Gamma(V))$ 사이의 동치관계를 수립할 수 있는가?
• RQ3 $V/\Gamma$의 해소 $X$가 적절한 안정 조건 하에서 $\Gamma$-equivariant sheaf(또는 G-컨스테이션레이션)의 모듈리 공간인가?
• RQ4 이 동치관계를 통해 $\mathbb{A}^2$ 위의 점들에 대한 힐베르트 스킴에 대한 $n!$-추측을 직접 계산 없이 증명할 수 있는가?

주요 결과

• 모든 심플렉틱 해소 $X \to V/\Gamma$에 대해 $D^b(\operatorname{Coh}(X))$와 $D^b(\operatorname{Coh}^\Gamma(V))$ 사이의 동치관계가 성립하며, 이는 2차원 경우를 일반화한다.
• 양자화 $\mathcal{O}_h(X)$는 전역 단위가 $\Gamma$-불변 와일 대수 $\mathcal{W}^\Gamma$와 동형이며, 양의 특성에서 $X^{(1)}$ 위의 아즈마야 대수이다.
• $X^{(1)}$ 위의 아즈마야 대수의 전역 단위는 $\mathcal{W}\#\Gamma$와 모리타 동치이며, 이는 $\mathsf{k}$ 위에서의 유도 동치관계를 가능하게 한다.
• 큰 양의 특성에서의 동치관계는 기저 변경과 완비화를 통한 극한 추론을 통해 특성 0으로 옮겨져 정리 1.1을 증명한다.
• $X$가 $\Gamma$-컨스테이션레이션의 모듈리 공간임을 보였지만, 정확한 안정 조건은 향후 연구에 남겨졌다.
• 동치관계는 Hochschild 호모로지의 불변성에 기인하여 $H^p(X, \Omega^q_X) = 0$ for $p > q$임을 암시한다.