[論文レビュー] Quiver-graded Richardson Orbits

Ögmundur Eiríksson, Julia Sauter|arXiv (Cornell University)|Jul 11, 2017

Algebraic structures and combinatorial models被引用数 1

ひとこと要約

本稿は、リー理論における古典的リチャードソン軌道の一般化として、クーヴィー表現空間上の放物型群の作用を用いて定義されるクーヴィー・グレーディング付きリチャードソン軌道を導入する。これにより、零ベキクーヴィー代数 Ns(Q) 上の剛性を持つ ∆-フィルター付きモジュールと対応づけることが可能となり、A2 クーヴィーに対しては、これらの軌道を明示的に構成するためのアルゴリズムが得られる。軌道の存在は、これらのモジュールの剛性と関連している。

ABSTRACT

In Lie theory, a dense orbit in the unipotent radical of a parabolic group under the adjoint action is called a Richardson orbit. We define a quiver-graded version of Richardson orbits generalising the classical definition in the case of the general linear group. In our setting a product of parabolic subgroups of general linear groups acts on a closed subvariety of the representation space of a quiver. Such dense orbits do not exist in general. We define a quasi-hereditary algebra called the nilpotent quiver algebra whose isomorphism classes of $\Delta$-filtered modules correspond to orbits in our generalised setting. We translate the existence of a Richardson orbit into the existence of a rigid $\Delta$-filtered module of a given dimension vector. We study an idempotent recollement of this algebra whose associated intermediate extension functor can be used to produce Richardson orbits in some situations. This can be explicitly calculated in examples. We also give examples where no Richardson orbit exists.

研究の動機と目的

• 表現論を用いて、リー理論における古典的リチャードソン軌道をクーヴィー・グレーディング付きの設定に一般化すること。
• クーヴィー・グレーディング付きリチャードソン軌道をパrametrizeする零ベキクーヴィー代数 Ns(Q) を定義すること。
• リチャードソン軌道の存在と Ns(Q) 上の ∆-フィルター付きモジュールの剛性との間の対応関係を確立すること。
• A2 クーヴィーの場合に、このような軌道を明示的に構成するためのアルゴリズムを開発すること。
• イデムポテンツ再構成と中間拡張関手が、これらの軌道を生成する上で果たす役割を調査すること。

提案手法

• クーヴィー Q と切断パス代数のテンソル代数として零ベキクーヴィー代数 Ns(Q) を構成し、層関数 L によって定義される左強力な準ヘレドライト構造を持つこと。
• 放物型部分群 Pd が部分空間 Rd_d に作用する密度軌道としてクーヴィー・グレーディング付きリチャードソン軌道を定義し、ユニポテンツルートの作用を一般化すること。
• ∆-フィルター付き Ns(Q)-モジュールの圏 F(∆) を用い、埋め込みを通じて単射関手の圏とクーヴィー・フラッグ多様体と関連づけること。
• 最高層に対応するイデムポテンツ e ∈ Ns(Q) を導入し、eNs(Q)e ≅ kQ/Js が成り立つようにし、構造を零ベキコーンと関連づけること。
• イデムポテンツ再構成からの中間拡張関手を適用してモジュールを構成し、その剛性を分析すること。
• A2 クーヴィーに対して、∆-次元ベクトルに基づいて標準モジュール ∆(xi) と非可約モジュール E(i,j) を反復的に加えることで、剛性を持つ ∆-フィルター付きモジュールを構成するアルゴリズムを開発すること。

実験結果

リサーチクエスチョン

• RQ1 与えられたクーヴィー Q と次元フィルトレーション d に対して、クーヴィー・グレーディング付きリチャードソン軌道が存在する条件は何か？
• RQ2 このような軌道の存在は、零ベキクーヴィー代数 Ns(Q) の表現論的性質をどのように特徴づけられるか？
• RQ3 クーヴィー・グレーディング付きリチャードソン軌道と Ns(Q) 上の剛性を持つ ∆-フィルター付きモジュールとの間の正確な対応関係は何か？
• RQ4 零ベキクーヴィー代数の構造とその再構成を用いて、このような軌道をアルゴリズム的に構成できるか？
• RQ5 中間拡張関手は、クーヴィー・グレーディング付き設定におけるリチャードソン軌道の生成にどのように寄与するか？

主な発見

• A2 クーヴィーに対しては、任意の次元フィルトレーション d に対して、剛性を持つ ∆-フィルター付きモジュールを構成する有限なアルゴリズムが存在し、リチャードソン軌道の存在を保証する。
• アルゴリズムは、∆-次元ベクトル δd に基づいて ∆(xi) または E(i,j) モジュールを反復的に加えることでモジュール M を構成し、すべての和因子において Ext1 が消えるようにする。
• 本稿では、構成されたモジュール M が剛性を持つことを証明しており、その和因子間のすべての Ext1 群が消えることから、密度軌道に対応することが確認される。
• A2 クーヴィーに対しては、圏 Ns(A2) に有限個の非可約対象しか存在しないため、任意の次元ベクトル d に対してリチャードソン軌道が存在することが保証される。
• リチャードソン軌道の存在は、Ns(Q) 上の次元ベクトル d の剛性を持つ ∆-フィルター付きモジュールの存在と同値であり、完全な分類が得られる。
• 本稿では、リチャードソン軌道が存在しない明示的な例を提示しており、非巡回クーヴィーに対しても条件が常に満たされるわけではないことが示されている。