[論文レビュー] Heisenberg algebra and a graphical calculus

Mikhail Khovanov|arXiv (Cornell University)|Sep 16, 2010

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

ひとこと要約

この論文は、無限個の変数におけるヘーゼンベルク代数をカテゴライズ化するための、平面図形を用いた新しい図式的記法を導入する。双随伴関手と退化型アフィンヘッケ代数からなるモノイダル圏を構成することで、著者たちはその圏のグロテンディーク環が、ヘーゼンベルク代数の整形式を実現することを示している。特に、K理論におけるクイレンの定理を用いて、特殊な場合においてグロテンディーク群と代数の整形式との間の同型が予想され、確認されている。

ABSTRACT

A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of the Heisenberg algebra in infinitely many variables. We construct bases of vector spaces of morphisms between products of generating objects in this category.

研究の動機と目的

• 無限個の変数におけるヘーゼンベルク代数をカテゴライズ化するための新しい図式的記法の開発。
• そのグロテンディーク環がヘーゼンベルク代数の整形式を含むモノイダル圏の構成。
• ヘーゼンベルク代数の整形式から圏のグロテンディーク群への標準的写像が単射であることを証明すること。
• K理論とクイレンの定理を用いて、この写像が全単射であるという同型の予想を提示し、部分的に証明すること。

提案手法

• 局所的関係式による商をとる平面図形で与えられる生成元 Q+ と Q- をもつ厳密モノイダル圏 H' を定義する。
• カルービ・エンvelope を導入し、生成対象の対称冪と外積冪を構成する。それぞれ S^n_+ と Λ^n_+ と表記される。
• 対称群と有限群の間の誘導・制限関手の図式的表現を用いて、代数的構造をモデル化する。
• ベルグマンのダイヤモンド補題を用いて、圏のグロテンディーク環の基底を確立する。
• K理論におけるクイレンの定理を適用し、群代数と退化型アフィンヘッケ代数のグロテンディーク群の関係を確立する。
• 対称群代数の K0 と退化型アフィンヘッケ代数の K0 の間の同型を用いて、全同型の予想を支援する。

実験結果

リサーチクエスチョン

• RQ1 平面図形に基づく図式的記法は、無限個の変数におけるヘーゼンベルク代数をカテゴライズ化できるか？
• RQ2 ヘーゼンベルク代数の整形式から圏のグロテンディーク群への標準的写像が単射であるか？
• RQ3 この圏のグロテンディーク群は、ヘーゼンベルク代数の完全な整形式を実現するか？
• RQ4 カルービ・エンvelope は、圏における生成対象の対称冪と外積冪を構成する上で果たす役割は何か？
• RQ5 クイレンの定理のようなK理論的技法は、K0群の間の同型の予想を証明するためにどのように役立つか？

主な発見

• 圏 H のグロテンディーク環は、無限個の変数におけるヘーゼンベルク代数の整形式 H_Z に同型である。
• 標準的写像 γ: H_Z → K₀(H) は、3.3節で単射であることが証明されている。
• 予想1.1（γ が同型である）は、m=0 の場合にクイレンの定理とK理論の同型を用いて証明されている。
• 自己準同型代数 End(+ⁿ⁻ᵐ) の K₀ は K₀(DHₙ,ₘ) ⊕ K₀(Jₙ,ₘ) に分解され、予想は K₀(Jₙ,ₘ) の消失に帰着される。
• すべての n に対して K₀(ℤ[Sₙ]) ≅ K₀(DHₙ) が成り立ち、n に関する直接極限へと拡張され、全予想を支持する。
• ヘーゼンベルク代数の代数的関係は、対称冪と外積冪の図式的同型を通じてグロテンディーク群に回復される。