[論文レビュー] From Double Hecke algebra to Fourier transform

Ivan Cherednik, Viktor Ostrik|ArXiv.org|Nov 12, 2001

Mathematical Analysis and Transform Methods参考文献 22被引用数 5

ひとこと要約

本稿は、A1根系に対する二重アフィンヘッケ代数（DAHA）上でqフーリエ変換を確立し、自己双対性を証明するとともに、有限次元非可約表現の完全な分類を提示する。解析的接続、シフト作用素、q測度上のガウス積分を用いて、q特異関数、マクドナルド多項式、p進調和解析を統合する。主な結果として、新しい自己双対qフーリエ変換と、p進理論への極限と整合するプランシュレル公式が得られる。

ABSTRACT

The paper contains a systematic theory of the one-dimensional Double Hecke algebra, including applications to the difference Fourier transform, Macdonald's polynomials, Gaussian sums at roots of unity, and Verlinde algebras. The main result is the classification of finite-dimensional representations for generic q and at roots of unity.

研究の動機と目的

• A1根系に対する二重アフィンヘッケ代数（DAHA）上での自己双対qフーリエ変換を確立すること。
• DAHAのすべての有限次元非可約表現を分類すること、特にフーリエ変換に関して不変な表現を含むこと。
• 解析的接続とq積分を用いて、ハンケル、メリン、ハリシュ・チャンドラのqアナロジーをp進球関数と統合すること。
• シフト作用素と定数項汎関数を用いて、非対称かつ非共役な設定へのマクドナルド–マツモトの反転公式の拡張を行うこと。
• q → ∞の極限においてqフーリエ変換が古典的p進公式と整合することを示し、p進理論に存在しない新しい自己双対構造を明らかにすること。

提案手法

• 非対称マクドナルド多項式を基盤として、DAHA上でのqフーリエ変換を構成する。
• 定数項汎関数⟨⋅⟩とシフト作用素を用い、解析的接続と関数方程式を導出する。
• ジャクソン型和分と虚数積分を含むq積分技法を用い、qフーリエ変換の定義と分析を行う。
• q ↦ q⁻¹への共役を含まない新しいqフーリエ変換を導入し、オプダムの先行研究を一般化する。
• ユニタリ構造を定義するため、ペアリング⟨f, g⟩_pol = ⟨f Tw₀w₀(g(X⁻¹)) μ₀⟩ および ⟨f, g⟩_del = ∑(μ₁(π_b))⁻¹ f_b g_b を用いる。
• q測度上でのガウス積分に関するエティンフォルトの定理を応用し、アペル関数を導出し、解析的構図を完成させる。

実験結果

リサーチクエスチョン

• RQ1 qをq⁻¹に共役しない形でDAHA上のqフーリエ変換をどのように定義できるか、そしてその自己双対性の性質は何か？
• RQ2 二重アフィンヘッケ代数の有限次元非可約表現の完全な分類は何か、特にフーリエ変換に関して不変な表現を含むか？
• RQ3 q → ∞の極限においてqフーリエ変換は、古典的p進マクドナルド–マツモト理論とどのように関係するか？
• RQ4 シフト作用素はqメリン変換およびその反転公式を導出する上で果たす役割は何か？
• RQ5 なぜq理論は、p進極限に存在しないp進的でない自己双対構造（例：⟨ε_b*, ε_c*γ⟩_del）を許容するのか？

主な発見

• qフーリエ変換は自己双対である：2回適用すると元の関数が回復し、反転公式はfb = t^{l(w₀)/2}(μ₁(π_b))⁻¹⟨bf, ε*⟩_pol で与えられる。
• q ↦ q⁻¹への共役を含まない新しいqフーリエ変換が構成され、オプダムの研究を一般化し、w₀の代わりにTw₀が用いられる。
• プランシュレル公式⟨f, g⟩_del = t^{l(w₀)/2}⟨bf, bg⟩_pol が成り立ち、t = q^k, q > 0, k > -1/hのとき正定値である。
• シフト作用素と定数項の作用を用いて、DAHAの有限次元非可約表現の分類が完全に達成され、フーリエ不変な表現を含む。
• q → ∞の極限において、qフーリエ変換は古典的マクドナルド–マツモト反転公式を回復し、ペアリング⟨·, ·⟩_delはm > 0のときδ_{mn} t^{1−m}、m ≤ 0のときt^mに収束する。
• 恒等式⟨ε_b*, ε_c*γ⟩_del = γ(π₀)²γ(π_b)⁻¹γ(π_c)⁻¹ε_c*(π_b)⟨1, γ⟩_del は、p進理論に存在しない新しいp進的でない自己双対構造を示している。