[論文レビュー] On singularities of quiver moduli

M. Domokos|ArXiv.org|Mar 24, 2009

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

ひとこと要約

この論文は、クイバーのモジュライ空間が滑らかであるための必要十分条件として、そのクイバーがダイニン型または拡張ダイニン型であること、すなわちこれらのクラスの幾何的特徴付けを提供している。任意のクイバーのモジュライ空間が、同一の特異性型を持つ二部クイバーのモジュライ空間へ稠密な開部分多様体として埋め込まれることを示し、有向サイクルを含まないクイバーへの還元を可能にした。さらに、非ダイニン型および非拡張ダイニン型クイバーは、任意に高い次元の特異的モジュライ空間を常に生成することを証明した。

ABSTRACT

Any moduli space of representations of a quiver (possibly with oriented cycles) has an embedding as a dense open subvariety into a moduli space of representations of a bipartite quiver having the same type of singularities. A connected quiver is Dynkin or extended Dynkin if and only if all moduli spaces of its representations are smooth.

研究の動機と目的

• すべての表現のモジュライ空間が滑らかであるクイバーを特徴づけること。
• 任意のクイバーのモジュライ空間が、同一の特異性型を持つ二部クイバーのモジュライ空間へ稠密な開部分多様体として埋め込まれることを示すこと。
• 非ダイニン型および非拡張ダイニン型クイバーは、任意に高い次元の特異的モジュライ空間を常に生成することを確立すること。
• モジュライ空間の特異性を通じて、クイバーの幾何的性質と表現論的性質を統合すること。

提案手法

• 元のクイバー $Q$ の頂点 $v$ を二重化し、新しい二頂点 $v_-$ と $v_+$ を導入し、$v_-$ から $v_+$ への新しい矢印 $e$ を追加することで、新しいクイバー $Q^v$ を構成する。
• クイバー $Q^v$ 上に次元ベクトル $\alpha^v$ と重み $\theta^{v,n}$ を定義し、モジュライ空間 $\mathcal{M}(Q^v, \alpha^v, \theta^{v,n})$ が元の $\mathcal{M}(Q, \alpha, \theta)$ を稠密な開部分多様体として含むようにする。
• 幾何的不変量理論を用いて、$\theta$-半安定表現のための粗いモジュライ空間 $\mathcal{M}(Q, \alpha, \theta)$ を構成する。
• ルナのスライス定理と行列組の不変量を用い、局所クイバー設定における不変式環を通じて、モジュライ空間の局所的特異性を分析する。
• 多項式環の不変量に関する結果を適用し、滑らかさを決定する：モジュライ空間が点で滑らかであることは、局所不変式環が多項式環であることと同値である。
• 既知の半不変量および重み半群に関する結果を活用し、モジュライ空間の幾何学を通じてダイニン型および拡張ダイニン型クイバーを特徴づける。

実験結果

リサーチクエスチョン

• RQ1 どのようなクイバーに対して、次元ベクトルや安定性条件に関係なく、すべてのモジュライ空間が滑らかになるか？
• RQ2 有向サイクルを含むクイバーのモジュライ空間の研究は、特異性型を変えることなく、有向サイクルを含まないクイバーのものに還元可能か？
• RQ3 モジュライ空間の観点から、ダイニン型および拡張ダイニン型クイバーと他のクイバーを区別する幾何的性質は何か？
• RQ4 非ダイニン型および非拡張ダイニン型クイバーは、必然的に特異的モジュライ空間を持つのか？ もしそうならば、その特異性の次元範囲はどのようになるか？

主な発見

• 有限連結クイバーがすべてのモジュライ空間を滑らかに持つための必要十分条件は、それがダイニン型または拡張ダイニン型であることである。
• 任意のクイバーの表現のモジュライ空間は、同一の特異性型を持つ二部クイバーのモジュライ空間へ稠密な開部分多様体として埋め込まれる。
• ダイニン型クイバーのモジュライ空間は空集合または一点である。拡張ダイニン型クイバーのモジュライ空間は空集合またはアフィン空間または射影空間に同型である。
• 非ダイニン型および非拡張ダイニン型クイバーは、負のリングエル形式を持つシュール根の存在により、任意に高い次元の特異的モジュライ空間を有する。
• モジュライ空間の点での滑らかさは、ルナのスライスから得られる局所不変式環が多項式環であることと同値であり、$\langle \gamma, \gamma \rangle < 0$ を満たすクイバーではこれが成立しない。
• $Q^v$ の構成と関連する重み $\theta^{v,n}$ により、二部クイバーのモジュライ空間が射影空間となり、元のモジュライ空間が同次座標の非ゼロ集合として実現される。したがって、これはアフィン空間である。