[논문 리뷰] Dunkl operator and quantization of $\mathbb{Z}_2$-singularity

Gilles Halbout, Xiang Tang|arXiv (Cornell University)|2009. 08. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $Z_2$-symplectic 오비폴드의 보편적 변형 양자화를 구축하며, $Z_2$-대칭을 반영하기 위해 덩클 연산자를 사용해 모일 스타곱을 일반화함으로써 이를 달성한다. 이는 도글루셰프-에팅고프 추측의 핵심 부분을 확인하며, 변형이 존재하고 그 매개변수로 고정점 부분다양체의 codimension-2 성분이 사용된다는 것을 보여주며, 페도소프의 방법을 통해 심플렉틱 반사 대수를 전역적으로 확장한다.

ABSTRACT

Let $(X,ω)$ be a symplectic orbifold which is locally like the quotient of a $\mathbb{Z}_2$ action on $ eals^n$. Let $A^{((\hbar))}_X$ be a deformation quantization of $X$ constructed via the standard Fedosov method with characteristic class being $ω$. In this paper, we construct a universal deformation of the algebra $A^{((\hbar))}_X$ parametrized by codimension 2 components of the associated inertia orbifold $\widetilde{X}$. This partially confirms a conjecture of Dolgushev and Etingof in the case of $\mathbb{Z}_2$ orbifolds. To do so, we generalize the interpretation of Moyal star-product as a composition of symbol of pseudodifferential operators in the case where partial derivatives are replaced with Dunkl operators. The star-products we obtain can be seen as globalizations of symplectic reflection algebras.

연구 동기 및 목표

• 심플렉틱 오비폴드 $X = M/\nZ_2$ 상에서 $A^{((\nH))}_{X}$의 스타대수에 대한 보편적 변형을 구축한다.
• 표준 편미분 대신 덩클 연산자를 사용하여 모일 스타곱을 일반화함으로써 $\nZ_2$-대칭을 반영한다.
• 도글루셰프와 에팅고프의 추측을 확인한다. 이 추측은 스타대수의 변형이 차단되지 않으며, 관계자 오비폴드 $\tX$의 codimension-2 성분에 의해 매개변수화된다는 것이다.
• 덩클 유형의 임의의 미분형 연산자의 전역화를 통해 심플렉틱 반사 대수의 전역적 실현을 제공한다.

제안 방법

• 차분-임의의 미분형 연산자의 기호 조합을 사용하여 모일 곱을 일반화하며, 표준 편미분 대신 덩클 연산자가 사용된다.
• 결합성과 $\nZ_2$-등변성을 만족하는 두 가지 $\nZ_2$-국소 이항 연산자 가닥을 정의함으로써 $\nZ_2$-국소 스타곱을 도출한다.
• 고정점 부분다양체의 codimension-2 부분의 이웃 영역을 제외한 영역에서 페도소프의 표준 방법을 적용하며, 여기서 스타곱은 국소적으로 모일 유사하다.
• 고정점 부분다양체의 codimension-2 부분에서, 일반화된 모일 곱을 사용하여 수정된 페도소프 구성법을 적용한다.
• 표준 스타곱과 일반화된 스타곱의 $\nZ_2$-국소성 덕분에 오버랩 영역에서의 호환성을 확보한다.
• 생성함수와 테일러 전개를 사용하여 스타곱의 계수를 계산하며, $\nZ_2$-대칭 생성함수 $1/(1-x)^{s+1}$ 및 $1/(1+x)^{s+1}$를 통해 조합론적 구조를 식별한다.

실험 결과

연구 질문

• RQ1 심플렉틱 오비폴드 상에서 $A^{((\nH))}_{X}$의 보편적 변형은 관계자 오비폴드의 codimension-2 성분에 의해 매개변수화될 수 있는가?
• RQ2 어떻게 덩클 연산자를 사용하여 모일 스타곱을 $\nZ_2$-대칭을 반영하도록 일반화할 수 있는가?
• RQ3 일반화된 스타곱은 $\nZ_2$-작용과 호환되는 일관되고 결합성 있는 변형 양자화를 제공하는가?
• RQ4 페도소프의 방법을 사용하여 이 구성은 컴act 심플렉틱 오비폴드로 전역적으로 확장될 수 있는가?
• RQ5 만일 $M = \nR^{2n}$ 이라면, 결과로 얻어진 변형 양자화는 심플렉틱 반사 대수의 형식적 판본과 동형인가?

주요 결과

• 스타대수 $A^{((\nH))}_{X}$의 보편적 변형이 $H^0(M^\nG_2/\nZ_2)((\nH))$에 의해 매개변수화되며, 이는 $\nZ_2$-오비폴드에 대한 도글루셰프-에팅고프 추측의 핵심 부분을 확인한다.
• 일반화된 스타곱은 결합성과 $\nZ_2$-국소성을 만족하며, 결합성은 생성함수 $1/(1-x)^{\nL_0+n_0+1}(1+x)^{\nL_1+n_1}$로부터 유도된 조합론적 계수에 의해 지배된다.
• 스타곱 전개의 계수 $c_\nu$는 $a(x,1/t)$와 $t^{m+n}/(1 - t p_1)^{\nL_0 + n_0 + 1}(1 + t p_1)^{\nL_1 + n_1}$의 곱에 대한 로렌트 급수의 $t^0$ 계수로 식별된다.
• 연산자-기호 곱 공식은 반복된 분할 차분 연산자 $\nD^{m+n}$의 작용과 동치이며, 대칭적인 점들의 튜플에 대한 평가가 $\nZ_2$-대칭을 반영한다.
• $M = \nR^{2n}$ 인 경우, 결과로 얻어진 스타곱은 심플렉틱 반사 대수의 형식적 판본이며, 이러한 대수의 전역적 실현을 제공한다.
• 표준 페도소프 양자화와 일반화된 모일 곱 간의 호환성이 열린 집합의 오버랩 영역에서 확보되어 잘 정의된 전역적 변형이 된다.