[논문 리뷰] Multiplicative McKay correspondence in the symplectic case

D. Kaledin|ArXiv.org|2003. 11. 24.

Algebraic structures and combinatorial models참고 문헌 32인용 수 5

한 줄 요약

이 논문은 파울슨 구조와 호크시ลด 코homology를 포함하는 새로운 변형 이론적 접근을 통해, 심플렉틱 몰케이 복수의 경우에 다중성 매크레이 복수를 확립한다. 즉, 임의의 크립탄트 해소 $X \to V/G$의 코homology 대수는 첸-루안 오비폴드 코homology 대수 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$와 동형임을 증명한다. 주요 결과는 Y. Ruan의 추측을 확인하며, 심플렉틱 몰케이 복수의 경우에 다중성 구조가 일치함을 보여준다.

ABSTRACT

This is a write-up of my talk at the Conference on algebraic structures in Montreal, July 2003. I try to give a brief informal introduction to the proof of Y. Ruan's conjecture on orbifold cohomology multiplication for symplectic quotient singularities given in V. Ginzburg and D. Kaledin, math.AG/0212279. Version 2: minor changes, added some references.

연구 동기 및 목표

• 심플렉틱 경우에서 임의의 크립탄트 해소 $X \to V/G$의 코homology 대수와 첸-루안 오비폴드 코homology 대수 간의 동형을 증명한다.
• G \subset \mathrm{Sp}(V) \subset \mathrm{SL}(V)$가 심플렉틱 형식을 보존하는 심플렉틱 몰케이 복수에 대해 다중성 매크레이 복수를 수립한다.
• 모티브적 통합을 피하는 개념적 변형 이론적 증명을 제공하며, 주로 파울슨 변형과 호크시ลด 코homology에 초점을 맞춘다.
• 직접 비교 방법이 부족한 상황에서도 오비폴드 코homology 대수와 해소의 코homology 대수가 교환 대수로서 동형임을 보여준다.

제안 방법

• 스마시 곱 대수 $S(V)\#G$의 중심의 평탄한 변형 $Z_c$를 사용하여, 몰케이 복수 $V/G$의 파울슨 변형을 매개한다.
• EG의 결과를 적용하여 $\operatorname{Spec}Z_c$의 드람 코homology가 $H^\bullet_{\text{DR}}(\operatorname{Spec}Z_c) \cong H^\bullet_{\text{orb}}([V/G], \mathbb{C})$임을 보이며, $\operatorname{Spec}Z_c$가 매끄럽을 때 이를 증명한다.
• 모듈러스 공간의 아핀 파울슨 스킴 범주에서 몰케이 복수 $Y = V/G$의 변형 $\widetilde{Y}/B$가 보편적임을 증명한다. 즉, 모든 파울슨 변형이 $\widetilde{Y}/B$의 한 조각으로 나타남을 의미한다.
• 일반적인 $c$에 대해, $\operatorname{Spec}Z_c$의 섹션 $\widetilde{Y}_b$는 매끄럽고, 이에 따라 드람 코homology가 일치함을 증명한다.
• 덧셈 매크레이 복수를 통해 $H^\bullet_{\text{DR}}(\operatorname{Spec}Z_c) \cong H^\bullet_{\text{DR}}(X)$임을 이용하며, 이는 $B = H^2_{\text{DR}}(X)$가 변형의 기저임을 식별한다.
• 심플렉틱 형식을 통해 다중장의 이중성 $\mathcal{T}_X \cong \Omega^1_X$를 이용하여, 호크시ลด 코homology와 드람 코homology 간의 숨겨진 $HH_\bullet \cong HH^\bullet$ 동형을 유도하며, 이는 코homological 비교에 핵심적이다.

실험 결과

연구 질문

• RQ1 G \subset \mathrm{Sp}(V)$일 때, 임의의 크립탄트 해소 $X \to V/G$에 대해 첸-루안 오비폴드 코homology 대수 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$가 $H^\bullet(X, \mathbb{C})$와 동형인지 여쭙는다.
• RQ2 모티브적 통합에 의존하지 않고, $H^\bullet(X, \mathbb{C})$의 다중성 구조가 오비폴드 코homology의 곱과 일치하는지 여쭙는다.
• RQ3 파울슨 구조 $V/G$와 그 크립탄트 해소의 코homology를 연결하는 변형 이론적 메커니즘이 존재하는가 여쭙는다.
• RQ4 변형 $\widetilde{Y}/B$의 보편성은 일반적인 섹션에서 매끄러움과 코homological 동형을 증명하는 데 사용될 수 있는가 여쭙는다.
• RQ5 이 맥락에서 심플렉틱 형식은 호크시ลด 코homology와 드람 코homology를 어떻게 연결하는가?

주요 결과

• G \subset \mathrm{Sp}(V)$일 때, 임의의 크립탄트 해소 $X \to V/G$의 코homology 대수 $H^\bullet(X, \mathbb{C})$는 첸-루안 오비폴드 코homology 대수 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$와 동형이다.
• 일반적인 $c$에 대해, 파울슨 변형 $Z_c$의 섹션 $\operatorname{Spec}Z_c$는 매끄럽고, 이는 [EG]의 결과 적용에 유리하다.
• $\widetilde{Y}/B$는 아핀 파울슨 스킴 범주에서 보편적 변형이므로, 모든 파울슨 변형이 그의 섹션으로 나타남을 의미한다.
• $\operatorname{Spec}Z_c$의 드람 코hom로지 $H^\bullet_{\text{DR}}(\operatorname{Spec}Z_c)$는 $H^\bullet_{\text{DR}}(X)$와 동형이며, [EG]에 의해 이는 $H^\bullet_{\text{orb}}([V/G], \mathbb{C})$와 같으며, 따라서 원하는 동형이 확립된다.
• 이 증명은 심플렉틱 형식에 의해 유도되는 숨겨진 동형 $HH_\bullet \cong HH^\bullet$에 의존하며, 이는 부피 형식에 대한 쿠퍼 곱에 의한 것이 아니다.
• 결과적으로 이는 모티브적 통합을 대체하는 개념적 접근을 제공하며, 심플렉틱 경우에서 Ruan의 추측을 확인한다.