[論文レビュー] Diagonal Coinvariants and Double Affine Hecke Algebras

Ivan Cherednik|ArXiv.org|May 16, 2003

Advanced Algebra and Geometry参考文献 11被引用数 4

ひとこと要約

本稿は根系の対角余不変量と二重アフィンヘッケ代数（DAHA）の間の直接的な代数的関係を確立し、q-DAHAの有理的極限における二重多項式の商として、ランクnにおける対角余不変量の空間の次元が(1 + h)^nであることを証明する。ルスティグ型の同型と、単位根におけるウェイル代数の唯一の既約表現を用いて、ゴードンの定理に対する新しい代数的証明を提示し、Verlinde代数の一般化とk = -1 - 1/hにおけるDAHA表現理論を統合する。

ABSTRACT

We establish a q-generalization of Gordon's theorem that the space of diagonal coinvariants has a quotient identified with a perfect representation of the rational double affine Hecke algebra. It leads to a simple proof of his theorem and relates it to the Weyl algebras at roots of unity. The universal double affine Hecke algebra and the corresponding universal double Dunkl operators acting in noncommutative polynomials in terms of two sets of variables are introduced.

研究の動機と目的

• ランクnの根系に対する対角余不変量の次元に関するハイマン予想の直接的な代数的証明を確立すること。
• ゴードンの対角余不変量空間の構成を有理的DAHAからq-変形DAHAの設定へと拡張すること。
• 次元(1 + h)^nが、単位根におけるランクnのウェイル代数の唯一の既約表現から自然に生じることを示すこと。
• 普遍二重アフィンヘッケ代数とその関連する普遍ダンクル作用素を導入し、それらを研究すること。
• ルスティグ型同型が、DAHAの有限次元表現とその有理的極限との関係をどのように果たすかを明確にすること。

提案手法

• q-変形DAHAとその有理的極限との間の関係を、ルスティグ型同型を用いて確立し、表現論的結果の移行を可能にする。
• qが(1 + h)乗単位根であるとき、ランクnのウェイル代数が唯一の既約表現を持ち、その次元が(1 + h)^nであるという事実を適用する。
• 符号性を有する非アフィンワイル群の特徴から誘導される有理的DAHAの作用の下で、二重多項式環C[x, y]の商として対角余不変量空間を構成する。
• 変数XとYの2組の非可換多項式に作用する普遍DAHAと普遍ダンクル作用素を導入する。
• 対称性と双対性を探索するために、対合εおよびτ±^x、τ±^yのτ-自己同型を用いる。
• q-ケースにおける関係式(4.5)および(4.6)を用いて、生成子Tiおよびπrの二重多項式への作用の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 DAHA表現論を用いて、対角余不変量の次元に関するハイマン予想をどのように証明できるか。
• RQ2 単位根におけるウェイル代数の唯一の既約表現と対角余不変量空間との間の明確な関係は何か。
• RQ3 ルスティグ型同型は、q-DAHAとその有理的極限の表現論をどのように橋渡しするか。
• RQ4 普遍DAHAと普遍ダンクル作用素は、対角余不変量空間を実現するために果たす役割は何か。
• RQ5 PSL3(Z)作用は、二重アフィンブレード群の自己同型群からどのように生じ、KZB方程式と関係するか。

主な発見

• ランクnの根系に対する対角余不変量空間の次元は(1 + h)^nであり、ハイマンの予想を裏付ける。
• この空間は、有理的DAHA作用の下で二重多項式代数C[x, y]の商として得られ、核は定数項を除くW-不変多項式のイデアルに対応する。
• qが(1 + h)乗単位根であるとき、ランクnのウェイル代数の唯一の既約表現の次元は(1 + h)^nであり、ハイマンの数と一致する。
• ルスティグ型同型は、q-DAHAとその有理的極限との関係を直接的に示すことにより、ゴードンの定理の代数的証明を可能にする。
• 普遍DAHAはPBW型定理を満たし、X ↔ Y双対性の対称的作用を支持する。これはDAHA双対性を一般化する。
• 二重多項式設定における普遍ダンクル作用素は、対角余不変量モジュールとその自己双対性を自然に実現するフレームワークを提供する。