[논문 리뷰] Deformations of linear Poisson orbifolds

Gilles Halbout, Jean-Michel Oudom외 1명|ArXiv.org|2008. 06. 30.

Advanced Topics in Algebra참고 문헌 9인용 수 4

한 줄 요약

이 논문은 $ S(V^*)\rtimes\Gamma $ 위상에서 상수 및 선형 파아송 구조의 양자화를 통해 선형 파아송 오비폴드의 변형을 연구한다. $ T(V^*)\rtimes\Gamma $의 몫대수들이 파oincaré-Birkhoff-Witt (PBW) 성질을 만족함을 증명한다. 주요 기여는 선형 파아송 구조의 슈타우엔버그-니헨후이 브라켓에서 비자명한 코 boundary 항이 나타나며, 이는 고전적 리 대수 및 심플렉틱 반사 대수의 설정과 구별된다.

ABSTRACT

Let $Γ$ be a finite group acting faithfully and linearly on a vector space $V$. Let $T(V)$ ($S(V)$) be the tensor (symmetric) algebra associated to $V$ which has a natural $Γ$ action. We study generalized quadratic relations on the tensor algebra $T(V) times Γ$. We prove that the quotient algebras of $T(V) times Γ$ by such relations satisfy PBW property. Such quotient algebras can be viewed as quantizations of linear or constant Poisson structures on $S(V) times Γ$, and are natural generalizations of symplectic reflection algebras.

연구 동기 및 목표

• 모델링된 $ S(V^*)\rtimes\Gamma $ 위상에서 선형 및 상수 파아송 구조의 변형 양자화를 조사한다. 여기서 $ \Gamma $ 는 벡터 공간 $ V $ 에 선형으로 작용하는 유한군이다.
• 일반화된 이차 관계에 의해 $ T(V^*)\rtimes\Gamma $ 의 몫대수가 PBW 성질을 만족함을 입증함으로써, 이들이 양자화로서의 역할을 확인한다.
• 양자 대수의 중심과 파아송 중심을 비교함으로써, 오비폴드 파아송 구조의 맥스웰의 등식의 자연스러운 확장에 실패하는 이유를 탐구한다.
• 라우렌트 급수 $ \hbar $ 에서의 유효성으로, 파아송 코homology 를 사용하여 심플렉틱 반사 대수의 호흐실트 코hom로지의 새로운 계산을 제공한다. 이는 측도가 0 인 예외 집합이 없이도 성립한다.
• 실수 평면 $ \mathbb{R}^2/\mathbb{Z}_n $ 에서의 양자 대수의 중심을 분석하여, 이가 원뿔 $ \mathbb{C}^2/\mathbb{Z}_n $ 의 비자명한 변형을 정의함을 보여준다.

제안 방법

• $ T(V^*)\rtimes\Gamma $ 의 몫대수가 일반화된 이차 관계로부터 유도되는 경우, 저자들은 브라바르만-게이츠오 조건을 사용하여 PBW 성질을 증명한다.
• 그들은 호흐실트 코hom로지를 통해 $ S(V^*)\rtimes\Gamma $ 위상에서의 파아송 구조를 분류하며, 두 가지 유형을 식별한다: 상수 (in $ \mathrm{Hom}(\wedge^2 V^*, \mathbb{R}\Gamma) $) 와 선형 (in $ \mathrm{Hom}(\wedge^2 V^*, V^*\otimes_{\mathbb{R}} \mathbb{R}\Gamma) $).
• 선형 파아송 구조의 경우, $ GL(2,\mathbb{C}) $ 의 유한 부분군을 분석하는 것이 필요하며, 이 결과는 메이크레이 대응과 연결된다.
• 중심 계산을 단순화하기 위해 대수의 복소화를 활용하고, 결과를 실수 경우로 확장한다.
• 파아송 코hom로지가 심플렉틱 반사 대수의 호흐실트 코호모로지 계산에 사용되며, 이는 $ \mathbb{R}[[\hbar]] $ 에서도 예외 집합 없이 유효하다.
• $ \mathbb{R}^2/\mathbb{Z}_n $ 에서의 양자 대수 중심의 명시적 계산을 수행하며, 이는 $ u = z^n $, $ v = \bar{z}^n $, 및 $ w = z\bar{z} + \frac{i\hbar}{2(1-q^{-1})}\gamma $ 에 의해 생성되며, 변형된 관계 $ u^n v^n = w^n + \text{보정 항} $ 을 만족함을 보여준다.

실험 결과

연구 질문

• RQ1 일반화된 이차 관계가 $ T(V^*)\rtimes\Gamma $ 에서 유도된 대수들이 PBW 성질을 만족하는가? 이는 $ S(V^*)\rtimes\Gamma $ 위상에서 선형 및 상수 파아송 구조의 양자화를 가능하게 하는가?
• RQ2 선형 파아송 구조의 변형에서 슈타우엔버그-니헨후이 브라켓의 역할은 무엇인가? 특히 비자명한 코 boundary 항이 나타나는 이유는 무엇인가?
• RQ3 양자 대수 $ \mathcal{U}^\hbar(V^*\rtimes\Gamma) $ 의 중심은 파아송 중심 $ H^0_{\pi}[[\hbar]] $ 와 어떻게 비교되는가? 이는 맥스웰의 등식의 자연스러운 확장 위반을 초래하는가?
• RQ4 라우렌트 급수에서 파아송 코호모로지가 심플렉틱 반사 대수의 호흐실트 코호모로지 재계산에 사용될 수 있는가? 이 경우 예외 집합의 가정이 필요 없이 성립하는가?
• RQ5 $ \mathbb{Z}_n $ 작용에 대한 $ \mathbb{R}^2 $ 에서의 양자 대수 중심의 명시적 구조는 무엇인가? 이는 원뿔 $ \mathbb{C}^2/\mathbb{Z}_n $ 의 비자명한 변형을 정의하는가?

주요 결과

• $ T(V^*)\rtimes\Gamma $ 의 몫대수가 상수 파아송 구조로부터 유도된 관계에 의해 정의될 경우, PBW 성질을 만족함을 확인하여, 이들이 양자화로서의 역할을 확인한다.
• 선형 파아송 구조의 경우, $ V $ 에 $ \Gamma $-불변 복소 구조가 존재할 조건 하에 PBW 성질이 성립하며, $ [\pi, \pi] $ 에서 비자명한 코 boundary 항이 나타나며, 이는 리 대수나 심플렉틱 반사 대수의 설정에서는 관찰되지 않는 현상이다.
• 복소화된 양자 대수 $ \big{(}S(\mathbb{R}^2)\rtimes\mathbb{Z}_n[[\hbar]]\big{)}\otimes_{\mathbb{R}}\mathbb{C} $ 의 중심은 $ u = z^n $, $ v = \bar{z}^n $, 및 $ w = z\bar{z} + \frac{i\hbar}{2(1-q^{-1})}\gamma $ 에 의해 생성되며, 관계 $ u^n v^n = w^n + \frac{(i\hbar/2)^n q^{-n(n-1)/2}}{(1-q)^n} \gamma^n $ 를 만족한다.
• 이 중심은 0차 파아송 코호모로지 $ S(\mathbb{R}^2)^{\mathbb{Z}_n}[[\hbar]] $ 와 동형이 아니며, 맥스웰의 등식이 오비폴드 파아송 구조로 확장되지 않음을 보여준다.
• $ F^\hbar(u,v,w) = u^n v^n - w^n - \frac{(i\hbar/2)^n q^{-n(n-1)/2}}{(1-q)^n} = 0 $ 으로 정의된 표면은 $ \hbar \neq 0 $ 에서 매끄럽고, 중심이 원뿔 $ \mathbb{C}^2/\mathbb{Z}_n $ 의 비자명한 변형을 정의함을 확인한다.
• $ n=2 $ 인 경우 중심은 $ \mathbb{C}[u,v,w]/\{uv = w^2 + \hbar^2/16\} $ 와 동형이며, 이는 쌍곡면을 묘사하여 $ A_1 $-특이점의 비자명한 변형을 확인한다.