[論文レビュー] The Categorified Heisenberg Algebra I: A Combinatorial Representation

Jeffrey C. Morton, Jamie Vicary|arXiv (Cornell University)|Jul 9, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 8

ひとこと要約

本稿は、群コホモのスパンを用いた組合せ的モデルを通じて、カフォノフのカテゴライズ化されたヘイゼンベルク代数を提示し、有限集合と双対写像の観点から明示的な実現を与える。代数的関係が群コホモの文脈における組合せ的同型から生じることを確立し、線形化により生成関数を介して標準的なフォック空間表現が回復されることを示す。

ABSTRACT

We give an introductory account of Khovanov's categorification of the Heisenberg algebra, and construct a combinatorial model for it in a 2-category of spans of groupoids. We also treat a categorification of $U(sl_n)$ in a similar way. These give rise to standard representations on vector spaces through a linearization process.

研究の動機と目的

• 本稿の目的は、群コホモ化を用いてカフォノフのカテゴライズ化されたヘイゼンベルク代数の組合せ的解釈を提供することにある。
• 本稿は、有限集合の組合せ論的構造を通じて、カテゴライズ化されたヘイゼンベルク代数の代数的構造を説明することを目的としている。
• 本研究は、多色有限集合と色を保存する双対写像を用いた、カテゴライズ化されたU(sln)代数のモデルを構築する。
• 本稿は、群コホモ的構造から標準的な線形表現が、自然な線形化プロセスによってどのように回復されるかを示す。
• 目的には、抽象的なカテゴライズ化量子群と、マルチソート・スタッフタイプのような具体的な組合せ的構造との間の関係を確立することを含む。

提案手法

• カテゴライズ化されたヘイゼンベルク代数は、群コホモのスパンの2カテゴリにモデル化され、上向き・下向きのストランドを表す生成対象Q+とQ−が用いられる。
• 射は群コホモのスパンとして表現され、関係は図式上の位相的恒等式によって課される。
• 鍵となる同型は、Q−⊗Q+ ≃ (Q+⊗Q−)⊕I であり、これはヘイゼンベルクの交換関係aa†−a†a=1をカテゴライズ化する。
• U(sln)に対して、n色有限集合と色を保存する双対写像からなる群コホモSn上に、消滅作用素と生成作用素のスパンAiとA†iを定義する。
• 作用素Ei、Fi、Niはこれらのスパンの合成として構成され、カテゴライズ化されたU(sln)関係を満たす。
• デグループコホモ化ファンクターによる線形化により、C[[z1,…,zn]]における標準的なフォック空間表現が回復される。

実験結果

リサーチクエスチョン

• RQ1 カフォノフのカテゴライズ化されたヘイゼンベルク代数は、群コホモのスパンのような組合せ的構造を用いて、どのように明示的に実現できるか？
• RQ2 カテゴライズ化された交換関係の背後にある組合せ的同型は何か？
• RQ3 U(sln)の生成子は、多色有限集合上の群コホモのスパンからどのように生じるか？
• RQ4 デグループコホモ化ファンクターは、群コホモ的モデルから標準的な線形表現を回復する際に果たす役割は何か？
• RQ5 マルチソート・スタッフタイプは、どのように組合せ的種の一般化として、U(sln)のカテゴライズ化フォック空間の状態をモデル化するか？

主な発見

• カテゴライズ化されたヘイゼンベルク代数は、有限集合上の群コホモのスパンの2カテゴリとして実現され、関係は組合せ的同型から導出される。
• 群コホモモデルにおいて、同型Q−⊗Q+ ≃ (Q+⊗Q−)⊕I が成立し、これは交換関係aa†−a†a=1をカテゴライズ化する。
• U(sln)に対して、作用素Ei、Fi、Niはn色有限集合上のスパンの合成として構成され、カテゴライズ化された関係式(126)〜(128)を満たす。
• 各色i, jについて、集合内で0個または1個の要素を区別する方法の数は、同型(EiFj)⊕δijNi ≃(FjEi)⊕δijNi+1に対応する。
• スパンのデグループコホモ化により、C[[z1,…,zn]]における標準的な多項式表現が得られ、係数は組合せ的数え上げと一致する。
• マルチソート・スタッフタイプ（Sn上の群コホモとして定義される）は、フォック空間状態の組合せ的モデルを提供し、デグループコホモ化により複数変数の母関数が得られる。