[論文レビュー] Lie 2-Algebras

Alissa S. Crans|arXiv (Cornell University)|Sep 30, 2004

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

ひとこと要約

この論文は、2ベクトル空間を用いたカテゴライゼーションされたリー代数として、半厳密リー2代数を導入する。ここで、ジャコビ恒等式は完全に反対称な3重線形自然変換（ジャコビェーター）による同型として成立する。本論文は、リー2代数、クエンドル、および高次元ブレード理論の間の新しい関係を確立し、任意の半厳密リー2代数がザモロージチコフの四面体方程式の解を与えることを証明する。これはヤン・バクスター方程式の高次元版である。

ABSTRACT

We categorify the theory of Lie algebras beginning with a new notion of categorified vector space, or `2-vector space', which we define as an internal category in Vect, the category of vector spaces. We then define a `semistrict Lie 2-algebra' to be a 2-vector space equipped with a skew-symmetric bilinear functor satisfying the Jacobi identity up to a completely antisymmetric trilinear natural transformation called the `Jacobiator', which in turn must satisfy a certain law of its own. Much of the content of this first chapter has already appeared in a separate paper coauthored with John Baez, Higher Dimensional Algebra VI: Lie 2-algebras. We then explore the relationship between Lie algebras and algebraic structures called `quandles'. A quandle is a set equipped with two binary operations satisfying axioms that capture the essential properties of the operations of conjugation in a group and algebraically encode the three Reidemeister moves. Indeed, we describe the relation to groups and show that quandles give invariants of braids. We further show that both Lie algebras and quandles give solutions of the Yang--Baxter equation, and explain how conjugation plays a prominent role in the both the theories of Lie algebras and quandles. Inspired by these commonalities, we provide a novel, conceptual passage from Lie groups to Lie algebras using the language of quandles. Moreover, we propose relationships between higher Lie theory and higher-dimensional braid theory. We conclude with evidence of this connection by proving that any semistrict Lie 2-algebra gives a solution of the Zamolodchikov tetrahedron equation, which is the higher-dimensional analog of the Yang--Baxter equation.

研究の動機と目的

• ベクトル空間の圏Vectにおける内部圏としての2ベクトル空間の新しい定義を用いて、リー代数のカテゴライゼーション理論を構築すること。
• ジャコビ恒等式が、一貫性の法則を満たすジャコビェーターと呼ばれる三重線形自然変換による同型として成立する、半厳密リー2代数を定義すること。
• リー代数とクエンドルの間の深い構造的類似性、特に共役作用とヤン・バクスター方程式を通じての類似性を調査すること。
• クエンドル構造を用いて、リー群からリー代数への概念的移行を確立すること。
• 高次リー理論と高次元ブレード理論との間の関係を提唱し、その証拠を提供すること。

提案手法

• ベクトル空間の圏における内部圏として2ベクトル空間を定義し、ベクトル空間のカテゴライゼーションを可能にする。
• 半厳密リー2代数を、完全に反対称な双線形ファンクターと、ジャコビ恒等式が三重線形自然変換（ジャコビェーター）による同型として成立する2ベクトル空間として定義する。
• ジャコビェーターが一貫性の法則を満たすことを要請し、カテゴライズド・ジャコビ恒等式の一貫性を保証する。
• 群の共役作用とリーディメイスター移動を符号化する代数的構造としてのクエンドルを用い、リー代数やブレード不変量との類似性を明らかにする。
• リー代数とクエンドルの両方がヤン・バクスター方程式の解を生み出すことを示し、共役作用が両構造において中心的な役割を果たすことを強調する。
• 任意の半厳密リー2代数から、ザモロージチコフの四面体方程式の解を構成し、それが高次元ブレード理論における役割を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、明確な2ベクトル空間の概念を用いてリー代数をカテゴライズ化できるか？
• RQ2 半厳密リー2代数におけるジャコビェーターの役割は何か？また、それが満たすべき一貫性条件は何か？
• RQ3 クエンドルとリー代数の両方がヤン・バクスター方程式の解を生み出す方法は何か？
• RQ4 共役作用は、ブレード不変量の文脈において、リー代数とクエンドルの構造をどのように統合するか？
• RQ5 半厳密リー2代数は、ヤン・バクスター方程式の高次元版であるザモロージチコフの四面体方程式の解を与えることができるか？

主な発見

• Vectにおける内部圏としての2ベクトル空間の新しい定義により、リー代数の体系的なカテゴライゼーションが可能になる。
• 完全に反対称な双線形ファンクターと、一貫性の法則を満たす完全に反対称なジャコビェーターを備えた半厳密リー2代数が定義される。
• クエンドルはリーディメイスター移動を代数的に符号化し、ブレードの不変量を生み出すことが示され、リー代数がブレード理論において果たす役割と類似している。
• リー代数とクエンドルの両方がヤン・バクスター方程式の解を生み出し、共役作用が両構造において中心的な役割を果たす。
• 任意の半厳密リー2代数から、ザモロージチコフの四面体方程式の解が構成され、高次リー理論と高次元ブレード理論との間の関係を裏付ける具体的な証拠が得られた。