[論文レビュー] Simple roots of deformed preprojective algebras

Lieven Le Bruyn|ArXiv.org|Jul 4, 2001

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

ひとこと要約

本稿では、エタール局所同型と拡張されたディンキン・クイバーの構造を用いて、変形された前射影的代数 Πλ の単純表現の次元ベクトルの集合 Σλ の2つの代替的特徴付けを提供する。主な結果は、同型類多様体 issαΠλ が既約であるという仮定の下で、α ∈ Σλ であることの必要十分条件が、導来クイバー・グラフにおけるターム設定条件を満たす表現型であることである。

ABSTRACT

W. Crawley-Boevey has given a description of the set of dimension vectors of simple representations of the deformed preprojective algebras. In this note we give alternative descriptions. Note however that our descriptions depend on irreducibility of the quotient varieties, so they do NOT give a shorter proof of Crawley-Boevey's result.

研究の動機と目的

• 幾何学的およびクイバー理論的道具を用いて、Crawley-Boevey が提示した Σλ — 単純 Πλ-表現の次元ベクトルの集合 — の特徴付けを再定式化すること。
• 拡張されたディンキン・クイバーと同型類多様体 issαΠλ の構造に焦点を当てた、Σλ の代替的記述を提供すること。
• issαΠλ が既約であるものと仮定して、拡張されたディンキン部分グラフの虚根に基づく Σλ の再帰的構成法を確立すること。
• 表現型とグラフ論的不変量の観点から、次元ベクトル α が Σλ に属するための幾何的条件を明確にすること。

提案手法

• issαΠλ の表現点の近傍と、issατΠ0(ḠB) の自明な表現におけるエタール同型を用い、局所幾何学と表現論を結びつける。
• 表現型 τ の単純次元ベクトル βi の集合から、Euler 形式をエッジおよびループ数によって符号化するグラフ GB を構成する。
• 既約性の仮定の下で、α ∈ Σλ であることの必要十分条件が、ατ が Π0(ḠB) の単純表現の次元ベクトルであることであると適用する。
• α が Σλ に属するための必要十分条件として、(GB, ατ) における非ループのターム設定の存在を用いる。
• 根の分類と、表現が単純であるか、非自明な不変量を持つかを特定するための不変量 p(β) = 1 − χ(β, β) を用いる。
• 次元に関する帰納法を用い、1パラメータ作用の極限が表現の自明な表現に収束することを用いて、ατ の単純性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、次元ベクトル α が変形された前射影的代数 Πλ の単純表現の次元ベクトルとなるか？
• RQ2 同型類多様体 issαΠλ の幾何学的性質とエタール局所モデルを用いて、集合 Σλ をどのように再特徴付けられるか？
• RQ3 拡張されたディンキン・クイバーとその虚根は、Σλ の再帰的構成においてどのような役割を果たすか？
• RQ4 表現型に付随するグラフ GB に非ループのターム設定が存在するとき、それが α ∈ Σλ を示唆するのはどのような場合か？
• RQ5 issαΠλ の既約性は、ザリスキー閉包順序における (1,α) 表現型の最大性とどのように関係するか？

主な発見

• 次元ベクトル α が Σλ に属するのは、α の非自明な表現型 τ に対して、関連するグラフ (GB, ατ) が非ループのターム設定を含むときである。
• issαΠ0 が既約であると仮定すると、Σ0 は、GB の拡張されたディンキン部分グラフ D の虚根 δ に従って、単純根 βi の線形結合を繰り返し構成することで生成される。
• ατ が Π0(ḠB) の単純表現の次元ベクトルであることと、issατΠ0(ḠB) の原点の任意の近傍に表現型 (1, ατ) の点が存在することとは同値である。
• issαΠλ が既約であることは、ザリスキー閉包順序における (1, α) 表現型が一意に最大の型であることを意味する。
• ατ が Π0(ḠB) の単純次元ベクトルであれば、α ∈ Σλ が成り立ち、この条件は既約性の仮定のもとで必要十分である。
• issατΠ0(ḠB) の座標環に非ループ多項式不変量が存在することは、表現型 τ の最大性に矛盾し、したがって最大となるのは (1, α) のみであると示唆する。