[論文レビュー] Representations of Quivers over F1

Matthew Szczesny|arXiv (Cornell University)|Jun 4, 2010

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

ひとこと要約

本稿は、1つの元からなる仮想の体 $\mathbb{F}_1$ 上のクーヴィー表現の圏、$\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ を導入し、その圏が核、余核、直和といった主要な代数的構造を備えていることを示す。この圏のホール代数 $\mathbf{H}_{\operatorname{Q}}$ を構成し、ホップ代数の準同型 $\rho' : \operatorname{U}(\mathfrak{n}_+) \to \mathbf{H}_{\operatorname{Q}}$ を証明する。これにより、$\mathbf{H}_{\operatorname{Q}}$ がクーヴィーの基礎となるグラフに付随するカック＝ムーディ代数の冪零部分の普遍包あらわし代数に同型であることが示され、ホール代数の $q=1$ における極限を実現する。

ABSTRACT

We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U( _+) ightarrow \HQ$, from the enveloping algebra of the nilpotent part $ _+$ of the Kac-Moody algebra with Dynkin diagram $\bar{\Q}$ - the underlying unoriented graph of $\Q$. We study $ρ'$ when $\Q$ is the Jordan quiver, a quiver of type $A$, the cyclic quiver, and a tree respectively.

研究の動機と目的

• クーヴィーの $\mathbb{F}_1$ 上の表現理論を、$\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ を、適切に整った圏的構造を持つ圏として定義することによって発展させる。
• $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ がジョルダン＝ホルダーの定理およびクラル・シュミットの定理の類似を満たすことを確立し、ホール代数の構成を可能にする。
• $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ のホール代数 $\mathbf{H}_{\operatorname{Q}}$ を定義し、それが階数付きホップ代数構造を持つことを示す。
• $\mathfrak{n}_+$ がクーヴィー $\operatorname{Q}$ の基礎となるグラフに付随するカック＝ムーディ代数の冪零部分であるとき、ホップ代数の準同型 $\rho' : \operatorname{U}(\mathfrak{n}_+) \to \mathbf{H}_{\operatorname{Q}}$ の存在を証明する。

提案手法

• $\mathbb{F}_1$ 上のベクトル空間をモデル化するため、部分的双対写像を射とする、点付き集合の圏 $\operatorname{Vect}(\mathbb{F}_1)$ を定義する。
• $\operatorname{Vect}(\mathbb{F}_1)$ 内のクーヴィー表現の圏 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ を構成し、頂点に点付き集合、辺に部分的双対写像を割り当てる。
• $\mathbf{H}_{\operatorname{Q}}$ を、$\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ の同型類上の、有限巾付き複素数値関数の空間として定義し、拡張構造を符号化する畳み込み積を備える。
• $\Delta(f)([M],[N]) = f([M \oplus N])$ を用いて $\mathbf{H}_{\operatorname{Q}}$ にコプロダクトを導入し、これは階数付き連結な余可換バイアルゲブラであることを保証する。
• ミルナー＝ムーアの定理を適用して、$\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{n}_{\operatorname{Q}})$ を結論づけ、ここで $\mathfrak{n}_{\operatorname{Q}}$ は原始的元のなすリー代数である。
• $\mathfrak{a}_+$ をあるインシデント構造からなるリー代数とし、$\psi: \mathfrak{a}_+ \to \mathfrak{n}_{\operatorname{Q}}$ を明示的なリー代数同型として構成することで、$\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{a}_+)$ かつしたがって $\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{n}_+)$ を示す。

実験結果

リサーチクエスチョン

• RQ1 $\operatorname{Vect}(\mathbb{F}_1)$ に加法的構造が存在しないにもかかわらず、クーヴィーの $\mathbb{F}_1$ 上に意味のある表現理論を構築できるか？
• RQ2 圏 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ は、核、余核、直和といった圏的構成をサポートするか。また、ジョルダン＝ホルダーの定理やクラル・シュミットの定理の類似は成り立つか？
• RQ3 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ のホール代数 $\mathbf{H}_{\operatorname{Q}}$ を定義し、それがホップ代数構造を持つことを示せるか？
• RQ4 クーヴィー $\overline{\operatorname{Q}}$ に付随するカック＝ムーディ代数の冪零部分 $\mathfrak{n}_+$ の普遍包あらわし代数 $\operatorname{U}(\mathfrak{n}_+)$ から $\mathbf{H}_{\operatorname{Q}}$ への自然な準同型が存在するか？
• RQ5 $\mathbf{H}_{\operatorname{Q}}$ の正確な代数的構造は何か。また、ホール代数の $q=1$ における極限で既知のリー代数とどのように関係するか？

主な発見

• 圏 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ は、核、余核、直和を備えた $\mathbb{F}_1$-線形圏であり、ジョルダン＝ホルダーの定理およびクラル・シュミットの定理の類似を満たす。
• $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ のホール代数 $\mathbf{H}_{\operatorname{Q}}$ は、階数付き連結な余可換バイアルゲブラであるため、ホップ代数である。ミルナー＝ムーアの定理により、$\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{n}_{\operatorname{Q}})$ である。
• $\mathfrak{n}_+$ がクーヴィー $\operatorname{Q}$ の基礎となるグラフ $\overline{\operatorname{Q}}$ のカック＝ムーディ代数の冪零部分であるとき、ホップ代数の準同型 $\rho' : \operatorname{U}(\mathfrak{n}_+) \to \mathbf{H}_{\operatorname{Q}}$ が存在する。
• ジョルダンクーヴィーに対しては、$\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{a}_+)$ であり、リー代数 $\mathfrak{a}_+$ は $\mathfrak{n}_{\operatorname{Q}}$ に同型であるため、$\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{n}_+)$ である。
• 準同型 $\rho'$ は単射であり、$\rho: \operatorname{U}(\mathfrak{b}') \to \widetilde{\mathbf{H}}_{\operatorname{Q}}$ も単射である。これにより、$\mathbf{H}_{\operatorname{Q}}$ と $\operatorname{U}(\mathfrak{n}_+)$ の間の深い構造的関係が確認される。
• ホール代数 $\mathbf{H}_{\operatorname{Q}}$ は、順序集合の区間のインシデント構造から構成されるリー代数 $\mathfrak{a}_+$ の普遍包あらわし代数に同型であり、この同型は $\operatorname{U}(\mathfrak{n}_+)$ への所望の写像を誘導する。