[論文レビュー] Groupoidification Made Easy

John C. Baez, Alexander E. Hoffnung+1 more|ArXiv.org|Dec 30, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 7

ひとこと要約

この論文は、ベクトル空間を群oidsに、線形作用素を群oidsのスパンに置き換えることで、線形代数のカテゴリフィケーション的アプローチとして群oids化を導入する。また、群oidsから標準的な線形代数を回復する体系的なプロセスであるdegroupoidificationを提示し、フェニマン図やヘッケ代数に応用することで、量子調和振動子作用素やヤン–バクスター解が、有限群oidsおよび有限体上の射影幾何学から組合せ的に生じることを示している。

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 two 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.

研究の動機と目的

• 群oidsとスパンからベクトル空間と線形作用素への写像を体系的に構築するフレームワークの開発。
• 有限集合と同型写像の群oidsを用いて、量子調和振動子の生成・消滅作用素の組合せ的で基底に依存しない解釈を提供すること。
• q が素数の累乗であるとき、A_2 ダイニキン図に対応するヘッケ代数が、有限体上の射影幾何の公理から自然に生じることを示すこと。
• 複素数や基底に依存しない群oids論的構造を通じて、フェニマン図の計算と表現論を統一すること。

提案手法

• Degroupoidification は群oidsの濃度によって実装される：群oidsの濃度は、同型類ごとにその代表的対象の自己同型の数の逆数を合計することで定義される。
• 群oidsのスパンは、同型類の形式的線形結合のなすベクトル空間上の双線形形式を定義することで、線形作用素に写像される。
• 量子調和振動子のヒルベルト空間は、有限集合と同型写像の群oidsの degroupoidification として構成され、基底要素は有限集合の同型類に対応する。
• 生成・消滅作用素は、1つの要素を追加または削除する群oidsのスパンとして実現され、それらの交換関係は群oidsの合成則から導かれる。
• ヘッケ代数に関しては、q = p^n のとき、3次元ベクトル空間 over \mathbb{F}_q におけるフラグの群oidsを用いて A_2 ヘッケ代数の群oidsモデルを構成し、R行列が幾何的公理からヤン–バクスター方程式を満たすことを示している。
• ヤン–バクスター方程式の解は、\mathbb{F}_q 上の射影平面における接続関係から生じ、代数的構造と有限射影幾何学を結びつける。

実験結果

リサーチクエスチョン

• RQ1 基底や実数を用いずに、ヒルベルト空間や作用素といった線形代数的構造を、群oidsとスパンからどのように再構成できるか？
• RQ2 量子調和振動子の生成・消滅作用素を、群oids化によって完全に組合せ的に解釈できるか？
• RQ3 q が素数の累乗であるとき、A_2 ダイニキン図に対応するヘッケ代数は、群oidsモデルを有するか？
• RQ4 有限体 \mathbb{F}_q 上の射影平面における幾何的公理から、ヤン–バクスター方程式がどのように自然に生じるか？
• RQ5 Degroupoidification は、量子場理論や表現論における母関数や組合せ的恒等式の出現を、より深い構造的説明で提供できるか？

主な発見

• 量子調和振動子のヒルベルト空間は、有限集合と同型写像の群oidsの degroupoidification によって得られるベクトル空間と同型であり、基底要素は有限集合の同型類に対応する。
• 生成・消滅作用素は、1つの要素を追加または削除する群oidsのスパンとして実現され、それらの交換関係 [a, a^\dagger] = 1 は群oidsの合成則から導かれる。
• スタフ型（例えば、有限集合を2色で塗る方法の数）の母関数は、対応する構造の群oidsの濃度として回復される。
• q = p^n のとき、A_2 ヘッケ代数の R 行列解は、\mathbb{F}_q 上の射影平面の接続幾何から生じ、R 行列はフラグの特定のスパンとして群oidsに一致する。
• ヤン–バクスター方程式の解は任意ではなく、射影幾何の公理によって強制されており、代数的構造と有限接続幾何学の間の深い関係を示している。
• 本論文は、スタフ型の圏が有限集合の群oidsへの群oidsの圏と同値であることを確立し、組合せ的母関数の圏的基盤を提供している。