[논문 리뷰] Double affine Hecke algebras of rank 1 and affine cubic surfaces

Alexei Oblomkov|ArXiv.org|2003. 06. 27.

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

한 줄 요약

이 논문은 1차 랭크의 다섯 매개변수 이중 아핀 히케 대수(DAHA)의 중심과 애핀 입체 표면 사이의 기하학적 대응을 확립한다. 중심은 프로젝티브 입체 표면에서 삼각형의 매끄러운 점들을 제거한 애핀 입체 표면의 좌표환과 동형임을 보이며, 이 표면은 양자 토러스 위의 $\mathbb{Z}_2$ 작용에 대한 불변량의 파울슨 대수의 보편적 변형임을 보인다. 주요 결과는 Hochschild 코hom로지 $HH^2(H)$가 5차원이므로, 매개변수 변화 외에 추가 변형이 존재하지 않음을 의미한다.

ABSTRACT

We study the algebraic properties of the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of double affine Hecke algebras of type $C^\vee C_1$. This family generalizes Cherednik's double affine Hecke algebras of rank 1. It was introduced by Sahi and studied by Noumi and Stokman as an algebraic structure which controls Askey-Wilson polynomials. We show that if $q=1$, then the spectrum of the center of $H$ is an affine cubic surface $C$, obtained from a projective one by removing a triangle consisting of smooth points. Moreover, any such surface is obtained as the spectrum of the center of $H$ for some values of parameters. This result allows one to give a simple geometric description of the action of an extension of $PGL_2(\Bbb Z)$ by $\Bbb Z$ on the center of $H$. When $C$ is smooth, it admits a unique algebraic symplectic structure, and the spherical subalgebra $eHe$ of the algebra $H$ for $q=e^\hbar$ provides its deformation quantization. Using that $H^2(C,\Bbb C)=\Bbb C^5$, we find that the Hochschild cohomology $HH^2(H)$ (for $q=e^\hbar$) is 5-dimensional for generic parameter values. From this we deduce that the only deformations of $H$ come from variations of parameters. This explains from the point of view of noncommutative geometry why one cannot add more parameters into the theory of Askey-Wilson polynomials. We also prove that the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of algebras yields the universal deformation of $q$-Weyl algebra crossed with ${\Bbb Z}_2$ and the family of cubic surfaces $C=C_{\underline{t}}$, $\underline{t}\in \CC^4_{\underline{t}}$ gives the universal deformation of the Poisson algebra $\CC[X^{\pm 1},P^{\pm 1}]^{{\Bbb ZZ}_2}$.

연구 동기 및 목표

• 형식 $C^\vee C_1$의 다섯 매개변수 이중 아핀 히케 대수 $H(t_1,t_2,t_3,t_4;q)$의 대수적 구조를 이해하기 위해.
• $q=1$일 때 중심 $Z(H)$의 기하학적 성질을 규명하고, 특히 입체 표면과의 관계를 밝히기 위해.
• $q=1$일 때 중심 $Z(H)$가 애핀 입체 표면 $C$의 좌표환과 동형이며, 모든 이러한 표면이 이 방식으로 나타남을 보장하기 위해.
• $q=e^\hbar$일 때 구형 부분대수 $eHe$가 $C$ 위의 심플렉틱 구조를 변형 양자화함을 보이며, $C$가 매끄럽다면 이를 위해.
• Hochschild 코호몰로지의 활용을 통해 $H$의 유일한 변형이 매개변수 변화로부터 비롯됨을 증명하기 위해.

제안 방법

• 매개변수 $t_1,t_2,t_3,t_4$와 변형 매개변수 $q$를 포함한 생성자와 관계로 대수 $H$를 정의하며, 체레닉의 DAHA를 일반화한다.
• 중심 $Z(H)$가 세 개의 원소 $X_1,X_2,X_3$에 의해 생성되며, 계수 $p_i$가 $t_j$의 정칙 함수인 삼차 관계 $R(X_1,X_2,X_3)=0$를 만족함을 보인다.
• 중심 스펙트럼 $C=\mathrm{Spec}(Z(H))$의 프로젝티브 완비화 $\bar{C}$가 $C$와 세 개의 무한원선(삼각형의 매끄러운 점들로 이루어진)으로 다름을 보인다.
• Lusztig-Demazure 유형의 표현을 통해 $H$를 양자 토러스와 $\mathbb{Z}_2$의 외적곱의 국소화에 매립함으로써, $q=1$일 때 Satake 동형을 증명한다.
• $\widetilde{PGL(2,\mathbb{Z})}$의 $H$ 위 작용을 분석하며, $q=1$일 때 핵심 $K=\mathrm{Ker}\,\xi_1$이 $Z(H)$ 위에서 자동형사상으로 작용함을 보인다.
• 변형 양자화는 $q=e^\hbar$일 때 구형 부분대수 $eHe$를 통해 확립되며, 이는 매끄러운 $C$ 위의 심플렉틱 구조를 양자화하고, Hochschild 코호몰로지 $HH^2(H)$가 5차원임을 계산한다.

실험 결과

연구 질문

• RQ1 $q=1$일 때 다섯 매개변수 DAHA $H(t_1,t_2,t_3,t_4;q)$의 중심의 기하학적 구조는 무엇인가요?
• RQ2 프로젝티브 입체 표면에서 삼각형의 매끄러운 점들을 제거하여 얻는 모든 애핀 입체 표면 $C$는 이러한 DAHA의 중심 스펙트럼으로 나타날 수 있는가요?
• RQ3 $q=1$일 때 $\widetilde{PGL(2,\mathbb{Z})}$의 $H$ 위 작용이 중심 $Z(H)$로 어떻게 내림내림되며, 기하학적 해석은 무엇인가요?
• RQ4 $q=e^\hbar$일 때 구형 부분대수 $eHe$는 파울슨 대수 $\mathbb{C}[X^{\pm1},P^{\pm1}]^{\mathbb{Z}_2}$의 변형 양자화인가요? 그리고 그 Hochschild 코호몰로지의 차원은 얼마인가요?
• RQ5 $t_1,t_2,t_3,t_4,q$의 매개변수 변화 외에 $H$의 추가 변형이 존재하는가요?

주요 결과

• DAHA $H(t_1,t_2,t_3,t_4;q)$의 중심 $Z(H)$는 프로젝티브 입체 표면 $\bar{C}$에서 세 개의 무한원선(삼각형의 매끄러운 점들로 이루어진)을 제거한 애핀 입체 표면 $C$의 좌표환과 동형이다.
• 매끄러운 프로젝티브 입체 표면에서 삼각형의 매끄러운 점들을 제거하여 얻는 모든 애핀 입체 표면 $C$는 적절한 매개변수 $t_1,t_2,t_3,t_4$의 선택에 따라 $\mathrm{Spec}(Z(H))$로 나타나며, 이는 보편적인 기하학적 실현을 확립한다.
• $q=1$일 때 중심 $Z(H)$는 자연스러운 파울슨 구조를 지니며, $C$가 매끄럽다면 이 구조는 심플렉틱이며 스케일링을 제외하고는 유일한 비영인 2형식 $\omega$를 가진다.
• $q=e^\hbar$일 때 구형 부분대수 $eHe$는 $C$를 변형 양자화하여 $H$의 고전적 극한으로서 $C$를 실현한다.
• 일반적인 매개변수에서 Hochschild 코호몰로지 $HH^2(H)$는 5차원이며, 이는 $H$의 유일한 변형이 다섯 매개변수 $t_1,t_2,t_3,t_4,q$의 변화로부터 비롯됨을 의미하며, 추가 변형은 존재하지 않는다.
• 입체 표면의 가중족 $C_{\underline{t}}$는 파울슨 대수 $\mathbb{C}[X^{\pm1},P^{\pm1}]^{\mathbb{Z}_2}$의 보편적 변형을 제공하며, $H$는 반직접곱 $\mathbb{C}_q[X^{\pm1},P^{\pm1}]\rtimes\mathbb{Z}_2$의 보편적 변형이다.