[論文レビュー] Cores of graded algebras with triangular decomposition

Gwyn Bellamy, Ulrich Thiel|arXiv (Cornell University)|Nov 2, 2017

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

ひとこと要約

本稿では、三角的分解をもつ自己同型的で有限次元かつ順序付き代数の次数零部分（コア）が、tilting理論を用いた最高ウェイト被覆をもつセルフラルであることを確立する。コアがすべての本質的な次数付き表現理論的データを符号化することを示すことにより、著者らは、次数付きキャラクター乗数を捉える quasi-hereditary 代数を構成し、制限付き包あらわし代数、量子群、および関連する代数を研究するための新しい枠組みを提供する。

ABSTRACT

We consider self-injective finite-dimensional graded algebras admitting a triangular decomposition. In a preceding paper, we have shown that the graded module category of such an algebra is a highest weight category and has tilting objects in the sense of Ringel. In this paper we focus on the degree zero part of the algebra, the core of the algebra. We show that the core captures essentially all relevant information about the graded representation theory. Using tilting theory, we show that the core is cellular. We then describe a canonical construction of a highest weight cover, in the sense of Rouquier, of this cellular algebra using a finite subquotient of the highest weight category. Thus, beginning with a self-injective graded algebra admitting a triangular decomposition, we canonically construct a quasi-hereditary algebra which encodes key information, such as graded multiplicities, of the original algebra. Our results are general and apply to a wide variety of examples, including restricted enveloping algebras, Lusztig's small quantum groups, hyperalgebras, finite quantum groups, and restricted rational Cherednik algebras. We expect that the cell modules and quasi-hereditary algebras introduced here will provide a new way of understanding these important examples.

研究の動機と目的

• 自己同型的で有限次元かつ順序付きの三角的分解をもつ代数のコア（次数零部分）が、その次数付き表現理論に関するすべての本質的情報を符号化することを示すこと。
• 最高ウェイトカテゴリ内の tilting 対象を用いて、セルフラル代数の公理を満たす標準的データと反自己同型を導出することにより、コア代数がセルフラルであることを証明すること。
• 最高ウェイトカテゴリの有限部分商を用いて、コア代数の標準的最高ウェイト被覆を構成すること。
• 制限付き包あらわし代数や量子群などの多様な代数において、次数付きキャラクター乗数を一様に計算するための枠組みを提供すること。
• tilting理論からの標準的構成を用いて、広範なクラスの代数にわたる既存の表現論的道具を一般化すること。

提案手法

• 次数付き代数の最高ウェイトカテゴリにおける tilting 対象を用いて、その endomorphism 代数に標準的データを誘導すること。
• カテゴリ上の双対性を活用し、endomorphism 代数に反自己同型を誘導することで、セルフラル代数の公理を満たすようにすること。
• 最高ウェイトカテゴリの有限部分商を構成し、コア代数の quasi-hereditary な被覆を実現すること。
• 相対的な Morita 定理を適用して、商カテゴリとコア代数上の加群との同値性を確立すること。
• コア代数が tilting 対象の endomorphism 代数と同型であるという事実を活用し、カテゴリから代数への構造の転送を行うこと。
• 最高ウェイトカテゴリと tilting 対象に関する [7] の結果を適用し、カテゴリ内に十分な tilting 対象が存在することを保証すること。

実験結果

リサーチクエスチョン

• RQ1 自己同型的で有限次元かつ三角的分解をもつ次数付き代数のコアがセルフラル構造をもつことを示せるか？
• RQ2 コア代数は、次数付き表現理論的データを符号化する標準的最高ウェイト被覆をもつのか？
• RQ3 コア代数は、元の代数の完全な次数付き表現理論をどの程度まで符号化しているのか？
• RQ4 tilting理論をどのように用いて、コア代数の quasi-hereditary な被覆を構成できるか？
• RQ5 この構成は、制限付き包あらわし代数や量子群といった重要な例に一様に適用可能か？

主な発見

• コア代数 $A_0$ はセルフラルである。なぜなら、最高ウェイトカテゴリ内の tilting 対象の endomorphism 代数が標準的データと反自己同型を備えているからである。
• コア代数 $A_0$ は、フィルトレーションの部分と部分商を用いて構成された最高ウェイトカテゴリの有限部分商を用いて、標準的最高ウェイト被覆をもつ。
• コア代数 $A_0$ は、元の代数 $A$ のすべての本質的次数付き表現理論的情報を符号化しており、次数付きキャラクター乗数を含む。
• この構成により、元の代数の次数付き分解数を符号化する quasi-hereditary 代数が得られる。
• 結果は、制限付き包あらわし代数、Lusztig の小さな量子群、および有限量子群を含む広範な代数のクラスに一様に適用可能である。
• この方法により、セルフラル構造と quasi-hereditary 構造を用いた、代数的リー理論における代数の表現論を体系的かつ新規に研究するための枠組みが提供される。