[論文レビュー] A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver

Travis Schedler|ArXiv.org|Jun 9, 2004

Algebraic structures and combinatorial models参考文献 3被引用数 11

ひとこと要約

本稿は、クイバーに自然に付随するネックテイス・リーダイアルゲブラを量子化するホップ代数を構成し、ジンツブルクとエティンコフのアイデアにインspiredされたコブラケット構造を用いる。このホップ代数は、ピカード＝バーキホフ＝ワイット（PBW）性質を満たしており、クイバー表現上の微分作用素への表現を提供し、ジンツブルクの古典的トレース表現を量子化する量子トレース写像を実現する。

ABSTRACT

V. Ginzburg, and independently R. Bocklandt and L. Le Bruyn, defined an infinite-dimensional "necklace" Lie algebra canonically associated to any quiver. Following suggestions of V. Turaev, P. Etingof, and Ginzburg, we define a cobracket and prove that it defines a Lie bialgebra structure. We then present a Hopf algebra quantizing this Lie bialgebra, and prove that it is a Hopf algebra satisfying the PBW property. We present representations into spaces of differential operators on representations of the quiver, which quantize the trace representations of the Lie algebra given by Ginzburg.

研究の動機と目的

• クイバーに付随する無限次元ネックテイス・リーリー代数を量子化するホップ代数を、トゥラエフとエティンコフの示唆に従って構成すること。
• ジンツブルクの研究にインspiredされたコブラケット公式を用いて、ネックテイス・リーリー代数にリーダイアルゲブラ構造を定義すること。
• クイバー表現空間上の微分作用素代数へのホップ代数からの量子トレース表現を実現すること。
• 表現論的および組合的（ダイヤモンド補題）な手法の両方を用いて、構成されたホップ代数のPBW性質を証明すること。

提案手法

• 双対クイバー $\overline{Q}$ 上のテンソル代数をその交換子イデアルで割ることで得られる商としてネックテイス・リーリー代数 $\mathcal{L}_Q$ を定義し、$\overline{Q}$ 上のシンプレクティック構造によって誘導されるリーブラケットを持つ。
• ジンツブルクのアイデアにインspiredされた公式を用いて $\mathcal{L}_Q$ にコブラケットを導入し、これによりリーダイアルゲブラ構造を備える。
• ドリンフェルト型のターンを用いてリーダイアルゲブラの形式的変形量子化を構成し、$\mathbb{C}[[\hbar]]$ 上のホップ代数 $A$ を得る。
• クイバー表現空間上の微分作用素への写像 $\rho: A \to \mathcal{D}(\mathcal{R}(Q,\mathbf{V}))^{G(\mathbf{V})}$ を定義し、これによりジンツブルクの古典的トレース写像を量子化する。
• ダイヤモンド補題を用いた組合的証明によりPBW性質を示し、$A \cong S(\mathcal{L}_Q)[[\hbar]]$ が $\mathbb{C}[[\hbar]]$-加群として成り立つことを保証する。
• 順序付き成分と高さ割り当てを用いたリフトの議論により、単項式のリフト同士の差が適切なイデアル内にあることを示し、PBW条件の成立を確立する。

実験結果

リサーチクエスチョン

• RQ1 クイバーに付随するネックテイス・リーダイアルゲブラを量子化するホップ代数を構成することは可能か？
• RQ2 この量子化は、クイバー表現空間上の微分作用素への表現を備え、ジンツブルクの古典的トレース写像を上昇させることができるか？
• RQ3 構成されたホップ代数は、対称代数 $S(\mathcal{L}_Q)$ と $\mathbb{C}[[\hbar]]$ のテンソル積と同型であり、PBW性質を満たすか？
• RQ4 表現論的議論とは独立して、ダイヤモンド補題を用いた組合的証明によりPBW性質を確立できるか？

主な発見

• 本稿は、任意のクイバー $Q$ に対して、明確なコブラケットと積構造を持つホップ代数 $A$ を成功裏に構成し、それに付随するネックテイス・リーダイアルゲブラ $\mathcal{L}_Q$ を量子化した。
• 写像 $\rho: A \to \mathcal{D}(\mathcal{R}(Q,\mathbf{V}))^{G(\mathbf{V})}$ は明示的に定義され、ホモオモルフィズムであることが証明され、量子トレース写像を実現する。
• PBW性質は、ダイヤモンド補題を用いた組合的証明により成立し、$A \cong S(\mathcal{L}_Q)[[\hbar]]$ が $\mathbb{C}[[\hbar]]$-加群として成り立つことが確認された。
• 対称代数上の単項式の任意の2つのリフトの差は、イデアル $\tilde{B}'_n$ 内に存在するため、PBW条件が満たされていることが示された。
• 微分作用素への量子トレース表現の実現により、ジンツブルクの未解決問題であったトレース写像の量子化問題が解決された。
• 高さ割り当てと対称的リフトの手法により、表現が代数的構造を保ち、単項式のレベルで量子化が保存されることを保証した。