[논문 리뷰] Poisson traces for symmetric powers of symplectic varieties

Pavel Etingof, Travis Schedler|arXiv (Cornell University)|2011. 09. 22.

Advanced Algebra and Geometry참고 문헌 25인용 수 8

한 줄 요약

이 논문은 아핀 심플렉틱 다양체의 대칭 거듭제곱 위에서의 파아손 추적 공간을 계산하며, 제로차 파아손 호모로지의 쌍대공간에 대한 대칭 대수와 대칭 거듭제곱 위의 파아손 추적의 쌍대공간들의 직합 사이에 자연스러운 동형사상이 존재함을 확립한다. 또한 파아손 추적 공간과 일치하는 해의 공간을 갖는 자연스러운 D-모듈의 구조를 규명하여, 이러한 다양체의 양자화에서 유한차원 표현과 소수 이상의 수에 대한 경계를 도출한다.

ABSTRACT

We compute the space of Poisson traces on symmetric powers of affine symplectic varieties. In the case of symplectic vector spaces, we also consider the quotient by the diagonal translation action, which includes the quotient singularities C^{2n-2}/S_n associated to the type A Weyl group S_n and its reflection representation C^{n-1}. We also compute the full structure of the natural D-module, previously defined by the authors, whose solution space over algebraic distributions identifies with the space of Poisson traces. As a consequence, we deduce bounds on the numbers of finite-dimensional irreducible representations and prime ideals of quantizations of these varieties. Finally, motivated by these results, we pose conjectures on symplectic resolutions, and give related examples of the natural D-module. In an appendix, the second author computes the Poisson traces and associated D-module for the quotients C^{2n}/D_n associated to type D Weyl groups. In a second appendix, the same author provides a direct proof of one of the main theorems.

연구 동기 및 목표

• 아핀 심플렉틱 다양체 $ Y $ 에 대해 대칭 거듭제곱 $ S^nY $ 에서의 파아손 추적 공간을 계산하는 것, 특히 심플렉틱 벡터 공간의 경우를 포함하여.
• 대각선 이동 작용에 의한 $ S^n\bb{C}^{2n} $ 의 몫을 분석하며, 특히 $ A $ 형식의 와일 군 $ S_n $ 과 관련된 특이점을 포함한다.
• 해의 공간이 파아손 추적 공간과 일치하는 자연스러운 $ \fancyscript{D} $-모듈의 전체적인 구조를 규명하는 것.
• 대칭 거듭제곱의 양자화에서의 유한차원 기약 표현과 소수 이상의 수에 대한 경계를 이끌어내는 것.
• 심플렉틱 해소의 추측을 제시하고 뒷받침하며, $ D_n $ 형식의 와일 군 몫 $ T^*\bb{C}^n/D_n $ 에도 추가 결과를 제공하는 것.

제안 방법

• 체적 형식에 의한 $ \mathsf{HP}_0(\mathcal{O}_Y) $ 와 $ Y $ 의 최고차 코homology $ H^{\dim Y}(Y) $ 의 식별을 통해, $ \operatorname{Sym}(\mathsf{HP}_0(\mathcal{O}_Y)^* [t]) $ 와 $ \bigoplus_{n\geq 0} \mathsf{HP}_0(\mathcal{O}_{S^nY})^* $ 사이에 자연스러운 동형사상을 수립하며, $ n $ 으로 그레이딩된 상태에서 이를 수행한다.
• 파아손 brackets에 대한 모듈로 $ \mathcal{O}_{Y^n} $ 상의 $ S_n $-불변 함수형식의 공간과 $ \mathsf{HP}_0(\mathcal{O}_{S^nY})^* $ 가 동형임을 이용한다.
• 해의 공간이 파아손 추적 공간과 일치하는 $ S^nY $ 상의 자연스러운 $ \fancyscript{D} $-모듈을 구성한다.
• $ \fancyscript{D} $-모듈의 구조를 활용하여, 임의의 $ \mathcal{O}_{S^nY} $ 의 양자화 $ B_\hbar $ 에 대해 $ \dim \mathsf{HH}_0(B_\hbar[\hbar^{-1}]) $ 에 대한 경계를 이끌어내며, 등식 $ \mathsf{HP}_0(\mathcal{O}_{S^nY})(\!(\hbar)\!) \cong \operatorname{gr} \mathsf{HH}_0(\operatorname{Sym}^n A_\hbar[\hbar^{-1}]) $ 를 활용한다.
• $ \mathcal{O}_V^{S_n} $ 상의 $ \mathfrak{sl}_2 $-작용, 특히 최고 무게 벡터와 대칭화 사상의 사용을 통해, 특정 대칭 다항식이 파아손 아이디얼 $ \{\mathcal{O}_{V}^{S_n}, \mathcal{O}_{V}^{S_{n-1}}\} $ 에 속한다는 것을 증명한다.
• $ j $ (변수의 수) 에 대한 이중 귀납법과 $ m $ ( $ y_n $ 의 차수) 에 대한 역순 귀납법을 사용하여, $ \operatorname{symm}'(x_1^{a_1}y_1^{b_1}\cdots x_j^{a_j}y_j^{b_j} y_n^m) \in \{\mathcal{O}_{V}^{S_n}, \mathcal{O}_{V}^{S_{n-1}}\} $ 를 보임으로써 주요 정리의 증명을 완성한다.

실험 결과

연구 질문

• RQ1 아핀 심플렉틱 다양체 $ Y $ 에 대해 대칭 거듭제곱 $ S^nY $ 에서의 파아손 추적 공간의 구조는 어떻게 되는가?
• RQ2 $ S^nY $ 상의 자연스러운 $ \fancyscript{D} $-모듈은 파아손 추적의 해 공간과 어떻게 관련이 있는가?
• RQ3 대칭 거듭제곱의 양자화에서의 유한차원 기약 표현과 소수 이상의 수에 대한 경계는 무엇인가?
• RQ4 특히 $ T^*\bb{C}^{n-1}/S_n $ 와 같은 $ A $ 형식의 와일 군 $ S_n $ 과 관련된 몫 특이점에 대해 결과는 어떻게 확장되는가?
• RQ5 $ T^*\bb{C}^n/D_n $ 와 같은 $ D $ 형식의 와일 군 몫에 대해 $ \fancyscript{D} $-모듈과 파아손 추적의 구조는 어떻게 되는가?

주요 결과

• 다음과 같은 자연스러운 동형사상이 존재한다: $ \operatorname{Sym}(\mathsf{HP}_0(\mathcal{O}_Y)^* [t]) \cong \bigoplus_{n\geq 0} \mathsf{HP}_0(\mathcal{O}_{S^nY})^* $, 여기서 $ |t| = 1 $ 이며, 이는 $ S^nY $ 위의 파아손 추적 공간을 $ n $-번째 그레이딩 조각과 일치시킨다.
• 연결된 아핀 심플렉틱 다양체 $ Y $ 에 대해 $ \dim \mathsf{HP}_0(\mathcal{O}_{S^nY}) = a_n(\dim H^{\dim Y}(Y)) $ 이며, 여기서 $ a_n(i) $ 는 $ n $ 의 $ i $-다중분할의 수이다.
• 임의의 $ \mathcal{O}_Y $ 의 변형 양자화 $ A_\hbar $ 에 대해, $ \operatorname{gr} \mathsf{HH}_0(\operatorname{Sym}^n A_\hbar[\hbar^{-1}]) $ 는 $ \mathsf{HP}_0(\mathcal{O}_{S^nY})(\!(\hbar)\!) $ 와 동형이며, 파아손 호모로지와 호크시드 호모로지 사이의 연결고리 역할을 한다.
• 임의의 $ \mathcal{O}_{S^nY} $ 의 양자화 $ B_\hbar $ 에 대해 $ \dim_{\bb{C}(\!(\hbar)\!)} \mathsf{HH}_0(B_\hbar[\hbar^{-1}]) \leq a_n(\dim H^{\dim Y}(Y)) $ 이며, 이는 날카운 상계를 제공한다.
• $ S^nY $ 상의 자연스러운 $ \fancyscript{D} $-모듈은 그 해의 공간이 파아손 추적 공간과 일치하는 방식으로 구성된다.
• $ D_n $ 형식의 와일 군 몫 $ T^*\bb{C}^n/D_n $ 에 대해, 제2저자는 부록 A 에서 파아손 추적과 관련된 $ \fancyscript{D} $-모듈을 명시적으로 계산하였으며, 이는 $ D $ 형식 특이점으로의 프레임워크 확장을 가능하게 한다.