[論文レビュー] Higher-Dimensional Algebra VII: Groupoidification

John C. Baez, Alexander E. Hoffnung+1 more|arXiv (Cornell University)|Aug 29, 2009

Algebraic structures and combinatorial models参考文献 30被引用数 38

ひとこと要約

この論文は、ベクトル空間を群oidsに、線形作用素を群oidsのスパンに置き換えることで、量子力学や代数的構造の組合せ的解釈を可能にする、カテゴリフィケーションの枠組みとしての群oids化を導入する。degroupoidificationを用いて標準的な線形代数を回復し、フェ Feynman 図、ヘッケ代数、ホール代数に応用することで、有限集合の構造と有限体上の射影幾何学から量子群やヤン–バクスター方程式の解がどのように生じるかを示す。

ABSTRACT

Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of "degroupoidification": a systematic process that turns groupoids and spans into vector spaces and linear operators. Then we present three applications of groupoidification. The first is to Feynman diagrams. The Hilbert space for the quantum harmonic oscillator arises naturally from degroupoidifying the groupoid of finite sets and bijections. This allows for a purely combinatorial interpretation of creation and annihilation operators, their commutation relations, field operators, their normal-ordered powers, and finally Feynman diagrams. The second application is to Hecke algebras. We explain how to groupoidify the Hecke algebra associated to a Dynkin diagram whenever the deformation parameter q is a prime power. We illustrate this with the simplest nontrivial example, coming from the A2 Dynkin diagram. In this example we show that the solution of the Yang-Baxter equation built into the A2 Hecke algebra arises naturally from the axioms of projective geometry applied to the projective plane over the finite field with q elements. The third application is to Hall algebras. We explain how the standard construction of the Hall algebra from the category of representations of a simply-laced quiver can be seen as an example of degroupoidification. This in turn provides a new way to categorify - or more precisely, groupoidify - the positive part of the quantum group associated to the quiver.

研究の動機と目的

• ベクトル空間を群oidsに、線形作用素をスパンに置き換えることで、群oids化をカテゴリフィケーションの一形態として体系的な枠組みとして開発すること。
• 群oidsから群oidsの可縮化（degroupoidification）が、特に群oidsの濃度を用いて、標準的な線形代数的構造を回復する方法を示すこと。
• 群oids化を量子調和振動子に適用し、有限集合と同型写像の群oidsの群oids化を通じて、生成/消滅作用素とフェ Feynman 図の組合せ的解釈を明らかにすること。
• q が素数の累乗である場合、A₂ ダイニキン図に対応するヘッケ代数が群oids化可能であり、その解が有限体 𝔽_q 上の射影幾何学から生じることを示すこと。
• 単純にラスケのクイバーに対するホール代数が、自然に可縮化から得られ、これにより量子群の正部分の新しい群oids化が得られることを示すこと。

提案手法

• 可縮化は、群oidsとスパンをベクトル空間と線形作用素に写像するプロセスとして形式化され、ベクトル空間の次元は群oidsの濃度によって定義される。
• 群oidsの濃度は、同型類ごとの 1/|Aut(x)| の和として定義され、群作用を伴う集合のサイズの一般化である。
• 有限集合の群oidsへの関手（特に構造型とスタフ型を含む）を用いた構成が行われる。
• 群oidsのスパンは線形写像をモデル化し、合成はプルバックを用いて定義され、可縮化の下で構造が保存されることを示す。
• 本手法は3つの主要な応用例に適用される：有限集合と同型写像の群oidsによる調和振動子、有限集合に構造を備えた群oidsによるヘッケ代数、𝔽_q 上の表現によるホール代数。
• カテゴリの同値と自然変換を用いて、適切な条件下で可縮化関手がカテゴリの同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 群oidsとスパンから、体系的な可縮化プロセスを経て、線形代数的構造をどのように再構成できるか？
• RQ2 量子調和振動子のフォック空間とその生成/消滅作用素は、有限集合と同型写像の群oidsの群oids化を通じて、組合せ的に解釈可能か？
• RQ3 q が素数の累乗である場合、A₂ ダイニキン図に対応するヘッケ代数は群oids化可能か？もし可能であれば、𝔽_q 上の射影幾何学とどのように関係するか？
• RQ4 単純にラスケのクイバーに対する𝔽_q-表現のホール代数は、群oids論的構成から導出可能か？そして、これにより量子群の正部分の新しいカテゴリフィケーションが得られるか？
• RQ5 A₂ ヘッケ代数におけるヤン–バクスター方程式の解は、𝔽_q 上の射影平面上の幾何的公理から自然にどのように生じるか？

主な発見

• 量子調和振動子のヒルベルト空間は、有限集合と同型写像の群oidsの可縮化と同型であり、フォック空間の基底要素は有限集合の同型類に対応する。
• この空間上の生成・消滅作用素は群oidsのスパンから生じ、それらの交換関係は群oidsの準同型写像から組合せ的に導出される。
• A₂ ダイニキン図と q が素数の累乗の場合、ヘッケ代数は𝔽_q 上の射影平面上のフラッグの群oidsを用いて群oids化され、ヤン–バクスターの解は射影幾何学の接続公理から生じる。
• 単純にラスケのクイバーに対する𝔽_q-表現のホール代数は、表現の群oidsの可縮化と同型であり、これにより関連する量子群の正部分の新しい群oids論的構成が得られる。
• 適切な群oidsに適用された可縮化関手が、カテゴリの同値であることが証明され、この方法の厳密な圏論的基盤が確立される。