[論文レビュー] The Hall algebra and the composition monoid

Stefan Wolf|ArXiv.org|Jul 7, 2009

Algebraic structures and combinatorial models参考文献 24被引用数 7

ひとこと要約

本稿は、ダイニンク・クイバーおよび向き付けられたサイクルに対して、一般化された合成代数を q=0 で特異化したものの、合成モノイドのモノイド代数と正確な同型を確立する。また、非巡回拡張ダイニンク・クイバーに対して、明示的な核をもつ全射準同型を構成する。著者らは、クイバー・グラスマンニアンおよびクイバー・フラッグに作用するBGP反射函手の幾何的バージョンを導入し、構造定数を計算し、特定の条件下でこれらの多様体の既約性および滑らかさを証明する。これにより、数え上げ多項式が存在する場合、オイラー特徴標数の正値性が得られる。

ABSTRACT

Let Q be a quiver. M. Reineke and A. Hubery investigated the connection between the composition monoid, as introduced by M. Reineke, and the generic composition algebra, as introduced by C. M. Ringel, specialised at q=0. In this thesis we continue their work. We show that if Q is a Dynkin quiver or an oriented cycle, then the composition algebra at q=0 is isomorphic to the monoid algebra of the composition monoid. Moreover, if Q is an acyclic, extended Dynkin quiver, we show that there exists an epimorphism from the composition algebra at q=0 to the monoid algebra of the composition monoid, and we describe its non-trivial kernel. Our main tool is a geometric version of BGP reflection functors on quiver Grassmannians and quiver flags, that is varieties consisting of filtrations of a fixed representation by subrepresentations of fixed dimension vectors. These functors enable us to calculate various structure constants of the composition algebra. Moreover, we investigate geometric properties of quiver flags and quiver Grassmannians, and show that under certain conditions, quiver flags are irreducible and smooth. If, in addition, we have a counting polynomial, these properties imply the positivity of the Euler characteristic of the quiver flag.

研究の動機と目的

• ReinekeおよびHuberyの、合成モノイドと q=0 における一般化された合成代数の特異化との関係に関する研究を拡張すること。
• 特にダイニンク・クイバー、向き付けられたサイクル、非巡回拡張ダイニンク・クイバーを含む、さまざまなクイバー型に対する C₀(Q) の正確な代数的構造を特定すること。
• クイバー・グラスマンニアンおよびクイバー・フラッグに作用するBGP反射函手の幾何的枠組みを構築し、合成代数の構造定数を計算すること。
• 既約性および滑らかさなどの幾何的性質が、クイバー・フラッグおよびグラスマンニアンにどのように現れるかを調査し、数え上げ多項式が存在する場合にオイラー特徴標数の正値性と関連付けること。

提案手法

• 固定された次元ベクトルをもつ部分表現によるフィルトレーションをパラメトライズする多様体であるクイバー・グラスマンニアンおよびクイバー・フラッグに作用する、BGP反射函手の幾何的バージョンを導入する。
• これらの函手を用いて、フラッグおよびグラスマンニアン多様体における軌道とファイバーの幾何を分析することで、合成代数 C₀(Q) の構造定数を計算する。
• 基礎となるクイバーの組合せ論および表現論に基づいて、クイバー・フラッグが既約かつ滑らかになる条件を確立する。
• 数え上げ多項式の理論を適用し、与えられた幾何的条件下でクイバー・フラッグのオイラー特徴標数が非負であることを導く。
• 非巡回拡張ダイニンク・クイバーに対して、全射準同型 Φ: C₀(Q) → ℚℑCM(Q) を構成し、その非自明な核を明示的に記述する。
• 幾何的性質および函手的作用を活用して、ダイニンク・クイバーおよび向き付けられたサイクルに対して C₀(Q) ≅ ℚℑCM(Q) が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 クイバー Q に対して、一般化された合成代数 C₀(Q) の特異化が、モノイド代数 ℚℑCM(Q) と同型となる条件は何か？
• RQ2 Q が非巡回拡張ダイニンク・クイバーであるとき、自然な準同型 Φ: C₀(Q) → ℚℑCM(Q) の核の構造は何か？
• RQ3 BGP反射函手は、クイバー・グラスマンニアンおよびクイバー・フラッグの幾何的設定にどのように適合され、合成代数の構造定数を計算するために用いられるか？
• RQ4 特定のクイバー条件のもとで、クイバー・フラッグおよびグラスマンニアンが示す幾何的性質（例えば既約性および滑らかさ）は何か？
• RQ5 数え上げ多項式が存在する場合、クイバー・フラッグのオイラー特徴標数の正値性が保証されるか？どのような条件下で成立するか？

主な発見

• ダイニンク・クイバーおよび向き付けられたサイクルに対して、特異化 C₀(Q) はモノイド代数 ℚℑCM(Q) と同型である。
• 非巡回拡張ダイニンク・クイバーに対しては、全射準同型 Φ: C₀(Q) → ℚℑCM(Q) が存在し、その非自明な核は明示的に記述されている。
• クイバー・グラスマンニアンおよびクイバー・フラッグに作用する幾何的BGP反射函手は、合成代数 C₀(Q) の構造定数を計算する手法を提供する。
• クイバーおよび部分表現の次元ベクトルに特定の条件が満たされると、クイバー・フラッグは既約かつ滑らかである。
• 数え上げ多項式が存在する場合、幾何的性質からクイバー・フラッグのオイラー特徴標数が非負であることが導かれる。
• 幾何と代数の相互作用により、トポロジカル不変量を介して、合成代数における構造定数の正値性が裏付けられる。