[论文解读] Double affine Hecke algebras of rank 1 and affine cubic surfaces

Alexei Oblomkov|ArXiv.org|Jun 27, 2003

Algebraic structures and combinatorial models参考文献 5被引用 18

一句话总结

本文建立了秩1五参数双重仿射赫克代数（DAHA）中心与仿射三次曲面之间的几何对应关系，表明该中心同构于从射影三次曲面中移除一个光滑点三角形后得到的仿射三次曲面的坐标环。关键结果是该曲面是量子环面在 $\mathbb{Z}_2$-作用下不变子代数的泊松代数的普遍形变，且其霍赫希尔德上同调 $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$ 的坐标环，且所有此类曲面均以这种方式出现。
• 证明当 $C$ 为光滑曲面时，$q=e^\hbar$ 下的球对称子代数 $eHe$ 为 $C$ 上的辛结构提供形变量子化。
• 利用霍赫希尔德上同调证明 $H$ 的所有形变均来自参数变化。

提出的方法

• 通过生成元与关系定义代数 $H$，其中包含参数 $t_1,t_2,t_3,t_4$ 与形变参数 $q$，推广了切雷尼克的DAHA。
• 证明中心 $Z(H)$ 由三个元素 $X_1,X_2,X_3$ 生成，满足一个三次关系 $R(X_1,X_2,X_3)=0$，其中系数 $p_i$ 是 $t_j$ 的正则函数。
• 证明中心谱 $C=\mathrm{Spec}(Z(H))$ 的射影完备化 $\bar{C}$ 与 $C$ 的区别在于三条在无穷远处形成光滑点三角形的直线。
• 通过一种类似卢茨蒂格-德穆尔日的表示，将 $H$ 嵌入量子环面与 $\mathbb{Z}_2$ 的半直积的局部化中，从而在 $q=1$ 时证明了萨塔克同构。
• 分析 $\widetilde{PGL(2,\mathbb{Z})}$ 对 $H$ 的作用，当 $q=1$ 时，其核在 $Z(H)$ 上通过自同构作用，且全群 $K=\mathrm{Ker}\,\xi_1$ 在 $Z(H)$ 上作用。
• 通过 $q=e^\hbar$ 下的球对称子代数 $eHe$ 建立形变量子化，该代数对光滑 $C$ 上的辛结构进行量子化，且计算出霍赫希尔德上同调 $HH^2(H)$ 为5维。

实验结果

研究问题

• RQ1 当 $q=1$ 时，五参数DAHA $H(t_1,t_2,t_3,t_4;q)$ 的中心的几何结构是什么？
• RQ2 通过从射影三次曲面中移除一个光滑点三角形而得到的任意仿射三次曲面，是否都能作为此类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}$ 的形变量子化？其霍赫希尔德上同调的维数是多少？
• RQ5 是否存在超越参数 $t_1,t_2,t_3,t_4,q$ 变化的 $H$ 的形变？

主要发现

• 五参数DAHA $H(t_1,t_2,t_3,t_4;q)$ 的中心 $Z(H)$ 同构于一个仿射三次曲面 $C$ 的坐标环，该曲面为射影三次曲面 $\bar{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$ 提供了形变量子化，使 $C$ 成为 $H$ 的经典极限。
• 对于通用参数，霍赫希尔德上同调 $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$ 的普遍形变。