[論文レビュー] Introduction to categorification

Alistair Savage|arXiv (Cornell University)|Jan 23, 2014

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

ひとこと要約

この論文は、表現論における統一的枠組みとしてのカテゴリフィケーションを導入し、ウェイル代数やヘイゼンベルク代数などの代数的構造の弱いおよび強いカテゴリフィケーションに焦点を当てる。モジュールカテゴリ、グロテンディーク群、2カテゴリを用いて代数的関係をカテゴリカル同型に昇格させ、主な結果として、多項式表現およびフォック空間表現がニルコクサター代数および対称関数カテゴリを介してカテゴリフィケーション可能であることが示される。

ABSTRACT

These are the notes for a two-week mini-course given at a winter school in January 2014 as part of the thematic semester New Directions in Lie Theory at the Centre de Recherches Mathématiques in Montréal. The goal of the course was to give an overview of the idea of categorification, with an emphasis on some examples where explicit computation is possible with minimal background. The notes begin with a very brief review of the representation theory of associative algebras, before introducing the concept of weak categorification with some simple examples. It then proceeds to a discussion of more sophisticated examples of categorification, including a weak categorification of the polynomial representation of the Weyl group and the Fock space representation of the Heisenberg algebra. The notes conclude with a discussion of strong categorification and a brief overview of some further directions in the field.

研究の動機と目的

• 基礎的な代数学および圏論の知識を持つ大学院生を対象に、カテゴリフィケーションについて自己完結的な紹介を提供すること。
• ウェイル代数やヘイゼンベルク代数といった代数的構造が、モジュールカテゴリとグロテンディーク群を用いてどのようにカテゴリフィケーション可能かを示すこと。
• 弱いカテゴリフィケーションと強いカテゴリフィケーションの違いを、対称関数およびニルコクサター代数からの明示的例を用いて導入すること。
• カテゴリフィケーション表現論における高度なトピック、たとえば図式的ヘイゼンベルクカテゴリおよび2カテゴリカル構造の基盤を築くこと。

提案手法

• モジュールカテゴリとグロテンディーク群を用いて代数的構造と関連づけ、弱いカテゴリフィケーションを可能にする。
• ニルコクサター代数およびそのモジュールを用いて、ウェイル代数の多項式表現の弱いカテゴリフィケーションを実現する。
• 対称関数とホップ代数 Sym を用いて、ヘイゼンベルク代数のフォック空間表現のカテゴリフィケーションを構成する。
• 2カテゴリおよび2ファンクターを導入して強いカテゴリフィケーションを形式化し、特に図式的ヘイゼンベルクカテゴリを用いる。
• 代数の塔とヘイゼンベルク二重構造を用いて、ヘイゼンベルク代数の強いカテゴリフィケーションを実現する。
• イデムポテンス完備化、カローブイ包、加法的2カテゴリといったカテゴリカルな道具を用いて、カテゴリフィケーション代数の構造を豊かにする。

実験結果

リサーチクエスチョン

• RQ1 ウェイル代数の多項式表現は、モジュールカテゴリを用いてどのように弱くカテゴリフィケーション可能か？
• RQ2 ニルコクサター代数は、ウェイル代数の多項式への作用の弱いカテゴリフィケーションを実現するために果たす役割は何か？
• RQ3 ヘイゼンベルク代数のフォック空間表現は、対称関数とモジュールカテゴリを用いてどのようにカテゴリフィケーション可能か？
• RQ4 ヘイゼンベルク代数の強いカテゴリフィケーションを達成するために必要な構造（例：2カテゴリ、図式的カテゴリ）は何か？
• RQ5 モジュールカテゴリのグロテンディーク群は、カテゴリフィケーションにおいて元の代数的構造をどのように回復するか？

主な発見

• ウェイル代数の多項式表現は、ニルコクサター代数およびそのモジュールを介して弱くカテゴリフィケーションされ、グロテンディーク群は多項式環に同型である。
• ヘイゼンベルク代数のフォック空間表現は、対称関数のホップ代数 Sym を用いて弱くカテゴリフィケーションされ、モジュールのカテゴリのグロテンディーク群がフォック空間を実現する。
• 図式的ヘイゼンベルクカテゴリを用いることで、ヘイゼンベルク代数の強いカテゴリフィケーションが達成され、代数的関係の2カテゴリカルな上昇が提供される。
• ヘイゼンベルク二重構造を用いて、代数の塔と双モジュールを用いてヘイゼンベルク代数の強いカテゴリフィケーションが実現される。
• 図式的ヘイゼンベルクカテゴリ上のモジュールの2カテゴリのグロテンディーク群は、元のヘイゼンベルク代数を回復する。
• カテゴリフィケーションされたフォック空間は、対称関数カテゴリ上のモジュールのカテゴリのスプリットグロテンディーク群として実現され、作用はカテゴリ間のファンクターに引き上げられる。