[논문 리뷰] Lie 2-Algebras

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 23

한 줄 요약

이 논문은 2벡터 공간을 사용하여 분류화된 리 대수로서의 반엄격 리 2대수를 도입한다. 여기서 재귀 항등식은 완전히 반대칭적인 삼항 자연변환인 재귀자(re Jacobiator)에 의하여 상수로 유지된다. 이는 리 2대수, 쿼랜들(quandles), 그리고 고차원 브레인 이론 사이의 새로운 연결고리를 확립하며, 모든 반엄격 리 2대수가 자모로드치코프의 테트라헤드론 방정식(Zamolodchikov tetrahedron equation)의 해를 제공함을 증명한다. 이는 양–바이저 방정식의 고차원 버전이다.

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.

연구 동기 및 목표

• 벡터 공간 범주 내의 내부 범주로서의 새로운 2벡터 공간 정의를 통해 리 대수의 분류화 이론을 개발한다.
• 재귀 항등식이 재귀자(Jacobiator)라 불리는 삼항 자연변환에 의하여 상수로 유지되는 반엄격 리 2대수를 정의하며, 이는 재귀 항등식을 일반화한다.
• 리 대수와 쿼랜들 사이의 깊은 구조적 유사성을 탐구하며, 특히 공액성(conjugation)과 양–바이저 방정식을 중심으로 한다.
• 쿼랜들 구조를 통해 리 군에서 리 대수로의 개념적 전환을 수립한다.
• 고차원 리 이론과 고차원 브레인 이론 간의 연결고리를 제안하고 그에 대한 증거를 제시한다.

제안 방법

• 벡터 공간의 범주에서의 내부 범주로서 2벡터 공간을 정의함으로써, 벡터 공간의 분류화를 가능하게 한다.
• 반엄격 리 2대수를 2벡터 공간에 스칼라 곱이 반대칭이면서 재귀 항등식이 삼항 자연변환인 재귀자에 의하여 상수로 유지되는 이항 함자를 갖는 것으로 정의한다.
• 재귀자가 일관성 있는 분류화된 재귀 항등식을 확보하기 위해 일관성 법칙(coherence law)을 요구한다.
• 군의 공액성과 라이드마이스터 이동을 표현하는 대수적 구조인 쿼랜들을 사용하여 리 대수와의 유사성을 도출한다.
• 리 대수와 쿼랜들이 모두 양–바이저 방정식의 해를 생성하며, 공액성이 이 두 구조에서 중심적인 역할을 한다는 것을 보여준다.
• 모든 반엄격 리 2대수로부터 자모로드치코프의 테트라헤드론 방정식의 해를 구성함으로써, 고차원 브레인 이론에서의 그 역할을 확인한다.

실험 결과

연구 질문

• RQ1 어떻게 잘 정의된 2벡터 공간의 개념을 사용하여 리 대수를 분류화할 수 있는가?
• RQ2 반엄격 리 2대수에서 재귀자의 역할은 무엇이며, 어떤 일관성 조건을 만족해야 하는가?
• RQ3 쿼랜들과 리 대수가 모두 양–바이저 방정식의 해를 어떻게 생성하는가?
• RQ4 공액성이 브레인 불변량의 맥락에서 리 대수와 쿼랜들의 구조를 어떻게 통합하는가?
• RQ5 반엄격 리 2대수가 자모로드치코프의 테트라헤드론 방정식, 즉 양–바이저 방정식의 고차원 버전을 해결할 수 있는가?

주요 결과

• 벡터 공간 범주 내의 내부 범주로서의 새로운 2벡터 공간 정의는 리 대수의 체계적인 분류화를 가능하게 한다.
• 반엄격 리 2대수는 반대칭 이항 함수와 완전히 반대칭적인 재귀자를 갖으며, 일관성 법칙을 만족한다.
• 쿼랜들은 라이드마이스터 이동을 대수적으로 표현하며 브레인 불변량을 생성하며, 리 대수가 브레인 이론에서 수행하는 역할과 유사하다.
• 리 대수와 쿼랜들은 모두 양–바이저 방정식의 해를 생성하며, 공액성이 이 두 구조에서 중심적인 역할을 한다.
• 논문은 모든 반엄격 리 2대수로부터 자모로드치코프의 테트라헤드론 방정식의 해를 구성함으로써, 고차원 리 이론과 고차원 브레인 이론 간의 연결고리를 구체적으로 입증한다.