[논문 리뷰] Poisson deformations of symplectic quotient singularities

Victor Ginzburg, D. Kaledin|arXiv (Cornell University)|2002. 12. 19.

Advanced Algebra and Geometry참고 문헌 23인용 수 4

한 줄 요약

이 논문은 $V$가 심플렉틱 벡터 공간이고 $G \subset \mathrm{Sp}(V)$가 유한군일 때, 심플렉틱 몫 특이점 $V/G$에 대해 칼로제로-모저 변형이 범용 심플렉틱 파워슨 변형임을 증명한다. 다항식 매크레이 쌍대성 관계를 증명하여, 임의의 매끄러운 심플렉틱 해소 $X \to V/G$의 코homology 환은 $\mathbb{C}[G]$의 중심에 대한 자연스러운 필터링에 따른 관련 차수 대수와 동형임을 보이며, $G$가 $A$, $B$, 또는 $C$ 유형이 아닐 경우, $D_n$, $E_n$, $F_4$, 또는 $G_2$ 유형의 웨일 군일 때는 그러한 해소가 존재하지 않음을 보인다. 이 결과는 파워슨 기하학, 표현 이론, 대수기하학 사이에 깊은 연결 고리를 제공한다.

ABSTRACT

We establish a connection between smooth symplectic resolutions and symplectic deformations of a (possibly singular) affine Poisson variety. In particular, let V be a finite-dimensional complex symplectic vector space and G\subset Sp(V) a finite subgroup. Our main result says that the so-called Calogero-Moser deformation of the orbifold V/G is, in an appropriate sense, a versal Poisson deformation. That enables us to determine the algebra structure on the rational cohomology H^*(X) of any smooth symplectic resolution X o V/G (multiplicative McKay correspondence). We prove further that if G is an irreducible Weyl group in GL(h) and V=h+ h^* then no smooth symplectic resolution of V/G exists unless G is of types A,B, or C.

연구 동기 및 목표

• 매끄러운 심플렉틱 해소와 아핀 파워슨 다양체의 심플렉틱 변형 사이의 연결 고리를 설정하는 것.
• 파워슨 변형 프레임워크를 통해 임의의 매끄러운 심플렉틱 해소 $X \to V/G$의 코homology 환에 대한 대수적 구조를 규명하는 것.
• $G$가 웨일 군일 경우 $V/G$의 심플렉틱 해소 존재 문제를 해결하여, $D_n$, $E_n$, $F_4$, $G_2$ 유형에 대해서는 존재하지 않음을 보이는 것.
• 코homology $H^\bullet(X, \mathbb{C})$가 $\mathbb{C}[G]$의 중심에 대한 관련 차수 대수 $\mathrm{gr}^F(\mathbb{Z}G)$와 동형임을 보여주는 다항식 매크레이 쌍대성을 증명하는 것.

제안 방법

• 파워슨 코hom로 $V/G$의 파워슨 구조 변형을 분석하는 데 사용, 특히 $HP^2(V/G)$를 통해 무한소 파워슨 변형을 분류.
• 보어의 기하학적 성질과 $G$의 작용을 활용하여 칼로제로-모저 변형을 $V/G$의 범용 파워슨 변형으로 구성.
• $\mathrm{id} - g$의 질량에 의해 정의되는 $\mathbb{C}[G]$ 위의 필터링 $F_k(\mathbb{C}[G])$와 관련 차수 대수 $\mathrm{gr}^F(\mathbb{Z}G)$의 정의.
• 전역 파워슨 변형 이론을 적용하여 $V/G$의 변형 공간을 해소 $X \to V/G$의 코homology와 연결, 매끄러운 심플렉틱 해소가 크립탄트임과 심플렉틱 형식이 올라간다는 사실을 이용.
• 호크시하우드 코호몰로지와 쿠른헴 공식을 사용하여 $X$의 코호몰로지와 $\mathrm{gr}^F(\mathbb{Z}G)$의 구조를 연결.
• 차수 대수 이론과 에탈 데센트를 활용하여 $X$ 위의 코herent sheaf의 범주와 관련 차수 대수 사이의 동치를 확립하고, 텐서 구조를 유지하는 것.

실험 결과

연구 질문

• RQ1 칼로제로-모저 변형은 심플렉틱 몰입 특이점 $V/G$에 대해 범용 파워슨 변형인가?
• RQ2 매끄러운 심플렉틱 해소 $X \to V/G$의 코homology 환 $H^\bullet(X, \mathbb{C})$에 대한 대수적 구조는 무엇인가?
• RQ3 $G \subset \mathrm{Sp}(V)$인 유한부분군에 대해 어떤 경우에 $V/G$의 심플렉틱 해소가 존재하는가?
• RQ4 $X$의 코homology는 표현 이론, 특히 $\mathbb{C}[G]$의 중심을 통해 기술될 수 있는가?
• RQ5 다항식 매크레이 쌍대성이 성립하는가? 즉, $H^\bullet(X, \mathbb{C})$가 $\mathrm{gr}^F(\mathbb{Z}G)$와 동형인가?

주요 결과

• 칼로제로-모저 변형은 $V/G$에 대해 범용 파워슨 변형을 제공하며, 이는 특이점의 모든 무한소 파워슨 변형을 포괄함을 의미한다.
• $G$가 $V = \mathfrak{h} \otimes \mathbb{C}^2$ 위에서 작용하는 웨일 군일 경우, $G$가 $A_n$, $B_n$, 또는 $C_n$ 유형이 아닐 경우 매끄러운 심플렉틱 해소가 존재하지 않는다.
• 임의의 매끄러운 심플렉틱 해소 $X \to V/G$의 코homology 환 $H^\bullet(X, \mathbb{C})$는 $\mathrm{gr}^F(\mathbb{Z}G)$, 즉 $\mathbb{C}[G]$의 중심에 대한 $\mathrm{id} - g$의 질량에 따른 필터링에 따른 관련 차수 대수와 그라디에이션 대수로서 동형이다. 이것이 다항식 매크레이 쌍대성이다.
• $X$는 홀수 차수의 유리 코homology를 가지지 않으며, $H^{2k+1}(X, \mathbb{C}) = 0$ for all $k \geq 0$ 이다. 이는 $\mathrm{gr}^F(\mathbb{Z}G)$가 짝수 차수에 집중되어 있기 때문이다.
• $H^i(X, \mathbb{C})$의 차원은 $\mathrm{gr}^F(\mathbb{Z}G)$의 $i$번째 차수 조각의 차원과 같으며, 이는 기존의 차원 등식을 더 강력한 다항식 형태로 확인한다.
• $HP^1(V/G) = 0$일 경우, 파워슨 도수의 리 대수 작용이 $HP^2(V/G)$에 자명하다. 이는 칼로제로-모저 변형의 범용성 확보에 사용된다.