[論文レビュー] Gorenstein homological algebra for rngs and Lie superalgebras

Kevin Coulembier|arXiv (Cornell University)|Jul 17, 2017

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

ひとこと要約

この論文は、Gorensteinホモロジー代数とFrobenius拡大を任意のアーベル圏へ一般化し、Lie超代数のBGGカテゴリーレベル 𝒪 が、その基になるLie代数のカテゴリーレベル 𝒪 におけるFrobenius拡大構造を通じてGorensteinであることを確立する。主な貢献は、Lie超代数の加群が基になるLie代数へ制限されたときの射影次元が、内部的不変量である理由を圏論的な説明で与えるもので、SerreファンクターおよびGorenstein拡大群に対する新しい公式が導入されている。

ABSTRACT

We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius extensions of noetherian rings into a setting which allows for direct generalisation to arbitrary abelian categories. The abstract theory is then applied to the BGG category O for Lie superalgebras, which can now be seen as a "Frobenius extension" of the corresponding category for the underlying Lie algebra and is therefore "Gorenstein". In particular we obtain new and more general formulae for the Serre functors and instigate the theory of Gorenstein extension groups.

研究の動機と目的

• 環から任意のアーベル圏へFrobenius拡大およびGorensteinホモロジー代数を一般化すること。
• Lie超代数の加群が基になるLie代数へ制限されたときの射影次元が、内部的な圏論的性質を有することを説明すること。
• 基になるLie代数のカテゴリーレベル 𝒪 へのFrobenius拡大として、Lie超代数のカテゴリーレベル 𝒪 がGorensteinであることを確立すること。
• この一般化された枠組みに適用可能な新しいツール、特にGorenstein拡大群およびSerreファンクターの新しい特徴付けを構築すること。

提案手法

• noetherian環上の加群圏における古典的Frobenius拡大を回復する、アーベル圏におけるFrobenius拡大の新しい定義を導入する。
• 標準的なホモロジー代数の技法を用いて、任意のアーベル圏へのGorenstein射影的対象、G-次元、Tateコホホロジーの一般化を行う。
• 特に、十分な射影的およびインジェクティブな対象を備えた、局所有限k線形アーベル圏（特に、十分なイデムポテンスとnoetherian性を有するrng）を対象として、抽象的枠組みを適用する。
• Lie超代数の普遍包あらわし代数が、その基になるLie代数の普遍包あらわし代数のFrobenius拡大であるという事実を用い、Gorenstein性をカテゴリーレベル 𝒪 へ持ち上げる。
• 理論をgl(m|n)のBGGカテゴリーレベル 𝒪 に適用し、Gorenstein拡大群を計算し、特定の加群類についての消滅結果を証明する。
• 翻訳ファンクターおよび奇数反転を用いて、最高重量加群の性質とその拡大性を、超代数的設定において分析する。

実験結果

リサーチクエスチョン

• RQ1 Frobenius拡大およびGorensteinホモロジー代数を環から任意のアーベル圏へ一般化する方法は何か？
• RQ2 Lie超代数の加群が基になるLie代数へ制限されたときの射影次元が、内部的な圏論的不変量である理由は何か？
• RQ3 Lie超代数のBGGカテゴリーレベル 𝒪 におけるGorenstein拡大群の構造はいかなるものか？
• RQ4 新しい枠組みを用いて、カテゴリーレベル 𝒪 におけるSerreファンクターをより単純に特徴付けられるか？
• RQ5 gl(m|n)のカテゴリーレベル 𝒪 において、単純加群間のGorenstein拡大が何の条件下で消えるか？

主な発見

• Lie超代数のカテゴリーレベル 𝒪 はGorensteinであり、加群のG-次元は、その加群が基になるLie代数へ制限したときの射影次元に等しい。
• Gorenstein拡大群は通常のExt群と長完全系列をなす。これは[AM]の主要結果を一般化する。
• gl(m|1)に対して、任意の有限次元非典型単純加群Lと任意の単純加群L′について、GExt1(L, L′) = 0 である。これは強い消滅性質を示している。
• 重みが典型であるとき、GExt1(L(λ), L(μ)) の次元は、Lie代数設定におけるExt1(L(λ), L(μ)) の次元に等しい。
• gl(2|1)に対して、LまたはL′の少なくとも一方が非典型である限り、GExt1(L, L′) = 0 である。これは低ランクの場合の消滅を確認する。
• Serreファンクターの新しい特徴付けが得られ、[MM]の既存結果を単純化し拡張する。