[論文レビュー] Hypertoric category O

Tom Braden, Anthony Licata+2 more|arXiv (Cornell University)|Oct 11, 2010

Algebraic structures and combinatorial models参考文献 30被引用数 6

ひとこと要約

本稿では、トーラス作用の下でのウェイル代数の不変部分代数に対するハイパートーリック版BGGカテゴリOを、ハイパートーリック包あらゆる代数と呼ぶものとして導入する。このカテゴリが正則ブロックにおいて最高重み型かつコーゾール型であることを確立し、そのコーゾール双対を同定し、中心を計算し、古典的カテゴリOにおけるシャッフルおよびツイスト関手に類似した導来自己同値を構成する。幾何的表現論を用いて、このカテゴリがハイパートーリック多様体上の層と結びつくことを示す。

ABSTRACT

We study the representation theory of the invariant subalgebra of the Weyl algebra under a torus action, which we call a "hypertoric enveloping algebra." We define an analogue of BGG category O for this algebra, and identify it with a certain category of sheaves on a hypertoric variety. We prove that a regular block of this category is highest weight and Koszul, identify its Koszul dual, compute its center, and study its cell structure. We also consider a collection of derived auto-equivalences analogous to the shuffling and twisting functors for BGG category O.

研究の動機と目的

• トーラス作用の下でのウェイル代数の不変部分代数に対するハイパートーリック版BGGカテゴリOを定義すること。
• このカテゴリの幾何的実現をハイパートーリック多様体上の層として確立すること。
• 正則ブロックが最高重み型かつコーゾール型であること、およびそのコーゾール双対を同定すること。
• カテゴリの中心の構造を計算し、そのセル構造を研究すること。
• 古典的カテゴリOにおけるシャッフルおよびツイスト関手に類似した導来自己同値を構成すること。

提案手法

• トーラス作用の下でのウェイル代数の不変部分代数としてハイパートーリック包あらゆる代数を定義する。
• その代数に対するカテゴリOを定義し、BGGカテゴリOに類似した、カルタンおよびボレル部分代数の半単純的および局所有限的作用の条件を課す。
• ハイパートーリックカテゴリOと、正則特異点を持つハイパートーリック多様体上の有限生成歪みD加群のカテゴリとの間の同値を確立する。
• ボレル＝モアム・ホモロジーおよびBBD分解定理を用いた幾何的技法を用いて、カテゴリの構造を分析する。
• 双模.exportsを用いたテンソル積による導来自己同値を構成し、シャッフルおよびツイスト関手に類似した性質を持つ。
• コーゾール双対性を用いて、順次的および非順次的導来カテゴリを関連付け、シャッフルおよびツイスト関手が双対性の下で入れ替わることを証明する。

実験結果

リサーチクエスチョン

• RQ1 トーラス作用の下でのウェイル代数の不変部分代数に対するハイパートーリック版BGGカテゴリOは、どのように定義可能か？
• RQ2 このハイパートーリックカテゴリOを実現する幾何的対象は何か？また、ハイパートーリック多様体上のD加群とどのように関係するか？
• RQ3 このカテゴリの正則ブロックは最高重み型かつコーゾール型であるか？そのコーゾール双対は何か？
• RQ4 このハイパートーリックカテゴリOにおける正則ブロックの中心の構造は何か？
• RQ5 シャッフルおよびツイスト関手に類似した導来自己同値は、この設定においてどのように振る舞うか？

主な発見

• ハイパートーリックカテゴリOの正則ブロックは、単純対象の部分順序に関して最高重み型である。
• 正則ブロックはコーゾール型であり、対応するコーゾール双対は反変コーゾール同値性によって同定される。
• 正則ブロックの中心は、特異的台の同型写像のもとで、ハイパートーリック多様体のコホモロジー $ H^{2d}_{T}(T^*(G/B);C) $ に同型である。
• グローテンディーク群上のセルフィルトレーションは、コホモロジー上のBBDフィルトレーションに対応し、幾何的・構造的関係を確立する。
• シャッフルおよびツイスト関手に類似した導来自己同値が存在し、可生成モジュール上で全範囲的かつ忠実である。これらは三角カテゴリを生成する。
• コーゾール双対性により、順次的および非順次的設定においてシャッフルおよびツイスト関手の役割が交換され、双対関手間に自然同型が存在する。