[論文レビュー] A survey of Heisenberg categorification via graphical calculus

Anthony Licata, Alistair Savage|arXiv (Cornell University)|Apr 25, 2011

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

ひとこと要約

この論文は、平面的図式論と導来圏を用いた無限ランクヘイゼンベルク代数およびそのフォック空間表現の図式的なカテゴライゼーションについて包括的なサーベイを提供する。弱カテゴライゼーション（ホエック代数およびヒルベルトスキームのコホモロジーを介して）と最近の強カテゴライゼーションを統合し、グラフィカルカルキュイスと幾何的構成を通じてGrothendieck群が元の代数的構造を回復する仕組みを示している。

ABSTRACT

In this expository paper we present an overview of various graphical categorifications of the Heisenberg algebra and its Fock space representation. We begin with a discussion of "weak" categorifications via modules for Hecke algebras and "geometrizations" in terms of the cohomology of the Hilbert scheme. We then turn our attention to more recent "strong" categorifications involving planar diagrammatics and derived categories of coherent sheaves on Hilbert schemes.

研究の動機と目的

• 無限ランクヘイゼンベルク代数およびそのフォック空間表現の弱カテゴライゼーションと強カテゴライゼーションを統一的に概説すること。
• 平面的図式論と一様な層の導来圏がどのように強カテゴライゼーションを実現するかを説明すること。
• ヒルベルトスキームのコホモロジーを介した幾何的実現と、カフノフの仕事にインspiredされた図式的カテゴライゼーションを結びつけること。
• グラフィカルカルキュイスが代数的構造を高階圏的レベルに上げる役割を明確にすること。
• 未解決問題と、頂点演算子代数や楕円的ホール代数といった関連構造との関係を強調すること。

提案手法

• ヘイゼンベルク代数の交換関係に対応する生成子と関係式を有する圏をグラフィカルカルキュイスによって定義する。
• q-変形された図式論を用いてカフノフの元来の構成を一般化し、平面的図式論による強カテゴライゼーションを構成する。
• ADE型表面特異点上の点のヒルベルトスキームの一様な層の導来圏を用いて、幾何的カテゴライゼーションを実現する。
• Grothendieck群の構成を活用し、カテゴリー的構造から元のヘイゼンベルク代数およびフォック空間を回復する。
• ナカジマ、グロイノフスキーらのヒルベルトスキームのコホモロジーに関する結果を統合し、フォック空間の幾何的モデルとしての役割を明示する。
• 図式的および幾何的手段を通じて、ホエック代数および対称群加群による弱カテゴライゼーションと強カテゴライゼーションを比較する。

実験結果

リサーチクエスチョン

• RQ1 無限ランクヘイゼンベルク代数はどのように平面的図式論を用いてカテゴライズ可能か？
• RQ2 図式的カテゴライゼーションと点のヒルベルトスキームによる幾何的実現の間にはどのような関係があるか？
• RQ3 ホエック代数およびヒルベルトスキームのコホモロジーによる弱カテゴライゼーションは、どのように強カテゴライゼーションに上昇するか？
• RQ4 ヒルベルトスキーム上の一様な層の導来圏は、フォック空間の強カテゴライゼーションをどのように提供するか？
• RQ5 ヘイゼンベルクカテゴライゼーションと、頂点演算子代数や楕円的ホール代数といった他の構造との間にどのような関係があるか？

主な発見

• 対称群およびホエック代数の加群の圏のGrothendieck群は、フォック空間表現を実現し、弱カテゴライゼーションを提供する。
• ADE型表面特異点の解消上の点のヒルベルトスキームのコホモロジーは、フォック空間を幾何的に実現し、表現の幾何化を提供する。
• 平面的図式論による強カテゴライゼーションは、ホエック代数による弱カテゴライゼーションを上昇させ、関係式がグラフィカルカルキュイスに符号化されている。
• q-変形された図式論を用いて、量子化ヘイゼンベルク代数のカテゴライゼーションが達成され、カフノフの構成が一般化される。
• $\mathbb{C}^2$ 上の点のヒルベルトスキーム上の一様な層の導来圏は、フォック空間の強カテゴライゼーションを提供し、楕円的ホール代数およびマクドナルド多項式と関連付ける。
• 本論文は、ヒルベルトスキームの局所化された等長的K理論の構成を強カテゴライゼーションに上昇させるという未解決問題を特定している。