[논문 리뷰] Higher-Dimensional Algebra VI: Lie 2-Algebras

John C. Baez, Alissa S. Crans|arXiv (Cornell University)|2003. 07. 19.

Advanced Topics in Algebra참고 문헌 11인용 수 7

한 줄 요약

이 논문은 벡터 공간의 범주(Vect) 내부의 카테고리로서 2벡터 공간을 사용하여 분류된 리 대수로서 반엄격 리 2대수를 도입한다. 이는 완전히 반대칭적인 삼중선형 자연동형사상인 자코비에이터(Jacobiator)에 의해 자코비 항등식이 완전히 반대칭적인 삼중선형 자연동형사상에 의해 성립하는 스칼라 대칭 비선형 브라켓을 갖춘다. 주요 결과는 모든 반엄격 리 2대수가 자모로드치코프의 테트라헤드론 방정식의 해를 제공하며, 이러한 리 2대수의 2카테고리가 2항목 L∞-대수의 2카테고리와 2-동치임을 보여준다.

ABSTRACT

The theory of Lie algebras can be categorified starting from a new notion of "2-vector space", which we define as an internal category in Vect. There is a 2-category 2Vect having these 2-vector spaces as objects, "linear functors" as morphisms and "linear natural transformations" as 2-morphisms. We define a "semistrict Lie 2-algebra" to be a 2-vector space L 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. This law is closely related to the Zamolodchikov tetrahedron equation, and indeed we prove that any semistrict Lie 2-algebra gives a solution of this equation, just as any Lie algebra gives a solution of the Yang-Baxter equation. We construct a 2-category of semistrict Lie 2-algebras and prove that it is 2-equivalent to the 2-category of 2-term L-infinity algebras in the sense of Stasheff. We also study strict and skeletal Lie 2-algebras, obtaining the former from strict Lie 2-groups and using the latter to classify Lie 2-algebras in terms of 3rd cohomology classes in Lie algebra cohomology. This classification allows us to construct for any finite-dimensional Lie algebra g a canonical 1-parameter family of Lie 2-algebras g_hbar which reduces to g at hbar = 0. These are closely related to the 2-groups G_hbar constructed in a companion paper.

연구 동기 및 목표

• 2벡터 공간을 기초 구조로 사용하여 반엄격 리 2대수를 정의함으로써 리 대수의 분류된 판본을 개발한다.
• 리 대수에서 자코비 항등식을 대체하는 자연동형사상인 자코비에이터를 도입하고, 이를 위한 일관성 법칙을 설정한다.
• 반엄격 리 2대수의 2카테고리와 2항목 L∞-대수의 2카테고리 사이의 2-동치를 확립한다.
• 3차 리 대수의 코homology 클래스를 통해 리 2대수를 분류하고, 임의의 유한차원 리 대수로부터 1매개변수 가중족의 리 2대수를 구성할 수 있음을 보인다.
• 모든 반엄격 리 2대수가 자모로드치코프의 테트라헤드론 방정식의 해를 제공함을 보이며, 리 대수가 양-바이저 방정식을 풀듯이 일반화된 해를 제공함을 보여준다.

제안 방법

• 벡터 공간의 범주(Vect) 내부의 카테고리로 2벡터 공간을 정의하며, 이는 벡터 공간의 2항목 체인 복합체와 동치임을 보인다.
• 반엄격 리 2대수를 스칼라 대칭 비선형 함자 [⋅,⋅]: L×L→L와 삼중선형 자연동형사상(자코비에이터)을 갖춘 2벡터 공간으로 정의한다. 이 자코비에이터는 자코비에이터 항등식을 만족한다.
• 자코비에이터 항등식을 재괄호화 법칙으로 표현하여, 네 개의 괄호를 재괄호할 때의 일관성을 보장한다. 이는 분류된 결합법칙의 펜타곤 방정식과 유사하다.
• 반엄격 리 2대수로부터 어떤 해도 얻을 수 있음을 보이며, 자코비에이터 항등식이 자모로드치코프의 테트라헤드론 방정식과 동치임을 증명한다.
• 명시적인 함자와 자연동형사상으로 반엄격 리 2대수의 2카테고리와 2항목 L∞-대수의 2카테고리 사이의 2-동치를 확립한다.
• 골격형 리 2대수와 리 대수의 코homology를 사용하여 모든 리 2대수를 동치 관계로 분류하며, 이는 리 대수 𝔤에 대해 H³(𝔤, 𝔤)-클래스와의 일대일 대응을 보여준다.

실험 결과

연구 질문

• RQ1 리 대수의 개념을 어떻게 분류하여 일관된 리 2대수의 개념을 정의할 수 있는가?
• RQ2 자코비에이터가 만족해야 할 일관성 법칙은 무엇이며, 이는 자모로드치코프의 테트라헤드론 방정식과 같은 고차 대수적 구조와 어떻게 관련되는가?
• RQ3 반엄격 리 2대수와 2항목 L∞-대수 사이의 관계는 무엇이며, 이들이 카테고리적으로 동치임을 증명할 수 있는가?
• RQ4 리 대수의 코homology를 사용하여 리 2대수를 분류할 수 있으며, 이러한 분류는 새로운 예를 구성하는 데 어떤 의미를 갖는가?
• RQ5 주어진 리 대수 𝔤로부터 1매개변수 가중족의 리 2대수를 구성하는 방법은 리 2군 이론과 그 무한소 대응체와 어떻게 관련되는가?

주요 결과

• 반엄격 리 2대수는 스칼라 대칭 비선형 브라켓과 삼중선형 자코비에이터 자연동형사상으로 구성된 2벡터 공간으로 정의되며, 일관성 법칙을 만족한다.
• 자코비에이터 항등식이 자모로드치코프의 테트라헤드론 방정식과 동치임을 보이며, 고차 리 이론과 양자 필드 이론 사이의 깊은 연관성을 드러낸다.
• 모든 반엄격 리 2대수는 자모로드치코프의 테트라헤드론 방정식의 해를 제공하며, 리 대수가 양-바이저 방정식을 푸는 것과 유사하게 일반화된 해를 제공한다.
• 반엄격 리 2대수의 2카테고리와 2항목 L∞-대수의 2카테고리 사이의 2-동치가 성립함을 보이며, 분류된 리 이론과 호모토피 이론 사이의 다리를 놓는다.
• 골격형 리 2대수는 3차 리 대수의 코homology 클래스 H³(𝔤, 𝔤)로 분류되며, 임의의 유한차원 리 대수 𝔤로부터 1매개변수 가중족 𝔤ℏ를 구성할 수 있다.
• 가중족 𝔤ℏ는 ℏ=0일 때 𝔤로 축소되며, 이 구성은 호모토피 이론에서 포스트니코프 타워 구성의 무한소 해석과 관련되어 있으며, 리 대수의 코homology가 리 n-대수의 분류와 어떻게 연결되는지를 보여준다.