[논문 리뷰] Categorified Symplectic Geometry and the String Lie 2-Algebra

John C. Baez, Christopher L. Rogers|arXiv (Cornell University)|2009. 01. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 10

한 줄 요약

이 논문은 분류된 심플렉틱 기하학을 이용하여 스트링 리 2대수의 기하적 구성을 수립한다: 컴팩트 단순 리 군에 자연스러운 2-플렉틱 구조를 부여한 경우, 그 위의 왼쪽 이입 관측가능량의 리 2대수는 기존에 알려진 스트링 리 2대수와 동형임을 보여준다. 이 구성은 비퇴화된 3형식이 심플렉틱 2형식의 역할을 하는 2-플렉틱 기하학을 활용하며, 반면에 해밀턴 1형식을 통해 반대칭 브라켓 연산을 통해 리 2대수를 유도하고, 불변 조건 하에서 유한 차원 부분대수로서 스트링 대수를 도출한다.

ABSTRACT

Multisymplectic geometry is a generalization of symplectic geometry suitable for n-dimensional field theories, in which the nondegenerate 2-form of symplectic geometry is replaced by a nondegenerate (n+1)-form. The case n = 2 is relevant to string theory: we call this 2-plectic geometry. Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, the observables associated to a 2-plectic manifold form a "Lie 2-algebra", which is a categorified version of a Lie algebra. Any compact simple Lie group G has a canonical 2-plectic structure, so it is natural to wonder what Lie 2-algebra this example yields. This Lie 2-algebra is infinite-dimensional, but we show here that the sub-Lie-2-algebra of left-invariant observables is finite-dimensional, and isomorphic to the already known "string Lie 2-algebra" associated to G. So, categorified symplectic geometry gives a geometric construction of the string Lie 2-algebra.

연구 동기 및 목표

• 고전적 필드 이론과 양자 중력에서의 고차원 구조의 역할을 고려하여, 2-플렉틱 기하학과 스트링 리 2대수 간의 관계를 탐색한다.
• 컴팩트 단순 리 군 G 위의 자연스러운 2-플렉틱 형식에서 유도되는 리 2대수의 구조를 규명한다.
• G 위의 왼쪽 이입 관측가능량의 부분리 2대수가 기존에 알려진 스트링 리 2대수와 동형임을 보여준다.
• 기하학적 방법(특히 기하학적 또는 기수 기반의 방법이 아닌)을 통해 스트링 리 2대수를 구성한다.

제안 방법

• 매끄러운 다양체 X 위에 닫힘과 비퇴화된 3형식 ω가 주어진 경우, 이를 2-플렉틱 다양체로 정의한다.
• 모든 1형식 α에 대해 dα = −ιvαω 를 만족하는 벡터장 vα 가 존재하는 경우, 이를 해밀턴 1형식으로 정의한다.
• 해밀턴 1형식 위에 두 개의 브라켓을 구성한다: 리 미분을 통한 헤미-브라켓과 ω에 대한 내적을 통한 세미-브라켓.
• 세미-브라켓을 주요 브라켓으로 사용하여, 해밀턴 1형식과 벡터장의 체인 복합체 위에 리 2대수의 구조를 정의한다.
• 컴팩트 단순 리 군 G 위의 왼쪽 이입 구조로 제한하여, 불변 부분리 2대수를 식별한다.
• 체인 사상 φ와 브라켓 호환성 검증을 통해, 이 불변 부분리 2대수가 표준 스트링 리 2대수와 동형임을 확립한다.

실험 결과

연구 질문

• RQ1 컴팩트 단순 리 군 G 위의 자연스러운 2-플렉틱 구조에서 유도된 리 2대수가 알려진 스트링 리 2대수와 일치하는가?
• RQ2 스트링 리 2대수는 기수 기반 또는 중심 확장이 아닌 다중심플렉틱 기하학을 통해 기하학적으로 실현될 수 있는가?
• RQ3 왼쪽 이입성은 유한 차원 부분대수로 줄어드는 무한 차원의 관측가능량 리 2대수를 어떻게 구성하는가?
• RQ4 2-플렉틱 기하학의 맥락에서 해밀턴 1형식 위의 세미-브라켓과 헤미-브라켓의 관계는 어떠한가?
• RQ5 유도된 리 2대수의 구조는 스트링 리 2대수의 기존 대수적 구성과 동치인가?

주요 결과

• 2-플렉틱 다양체 G(자연스러운 3형식을 갖는) 위의 관측가능량 리 2대수는 무한 차원이다.
• 왼쪽 이입 관측가능량의 부분리 2대수는 유한 차원이며, G에 관련된 알려진 스트링 리 2대수와 동형이다.
• 이 동형은 체인 사상 φ₀: 𝔤 → 𝔤*를 통해 왼쪽 이입 벡터장을 왼쪽 이입 해밀턴 1형식으로 매핑함으로써 실현된다.
• 해밀턴 1형식 위의 세미-브라켓 연산은 리 2대수의 공리를 만족하며, 스트링 리 2대수의 브라켓 구조와 일치한다.
• 체인 사상 φ는 가역적이며 브라켓 구조를 유지한다. 이sov의 특성상 자코비에이터와 교환 조건은 자동으로 만족된다.
• 결과적으로 스트링 리 2대수가 2-플렉틱 기하학으로 기하학적으로 구성될 수 있음을 확인하였으며, 이는 기수 이론적 또는 루프 군 기반의 구성과 보완적인 새로운 시각을 제공한다.