[논문 리뷰] Integrating central extensions of Lie algebras via Lie 2-groups

Chenchang Zhu, Christoph Wockel|arXiv (Cornell University)|2012. 04. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 42인용 수 4

한 줄 요약

이 논문은 무한차원 리 대수에 대해 리의 세 번째 정리의 일반화를 수립한다. 중심 확장을 통해 이러한 대수들이 에탈 리 2군의 중심 확장으로 통합됨을 보여주며, 무한차원에서 비자명한 π₂에 의한 장애를 극복한다. 이 접근법은 미분 가능 하이퍼코homology와 리 군oids의 2-범주 내의 일반화된 사상들을 사용하여, 전통적인 리 군 통합이 실패하는 상황에서도 전역적 통합을 가능하게 한다.

ABSTRACT

The purpose of this paper is to show how central extensions of (possibly infinite-dimensional) Lie algebras integrate to central extensions of étale Lie 2-groups. In finite dimensions, central extensions of Lie algebras integrate to central extensions of Lie groups, a fact which is due to the vanishing of π_2 for each finite-dimensional Lie group. This fact was used by Cartan (in a slightly other guise) to construct the simply connected Lie group associated to each finite-dimensional Lie algebra. In infinite dimensions, there is an obstruction for a central extension of Lie algebras to integrate to a central extension of Lie groups. This obstruction comes from non-trivial π_2 for general Lie groups. We show that this obstruction may be overcome by integrating central extensions of Lie algebras not to Lie groups but to central extensions of étale Lie 2-groups. As an application, we obtain a generalization of Lie's Third Theorem to infinite-dimensional Lie algebras.

연구 동기 및 목표

• 비자명한 π₂에 의한 장애로 인해 무한차원 리 대수의 중심 확장을 리 군으로 통합하는 데에 발생하는 문제를 해결하기 위해.
• 위상적으로 분리된 중심을 가진 무한차원 국소 지수 리 대수에 대해 리의 세 번째 정리를 일반화하기 위해.
• 지난 접근 방식에서의 국소 매끄러움의 한계를 극복하기 위해 리 군 대신 에탈 리 2군을 사용하여 전역적 통합 이론을 개발하기 위해.
• 매끄러운 스택과 일반화된 사상의 프레임워크를 통해 리 대수와 그 중심 확장의 통합을 통합하기 위해.

제안 방법

• 리 대수 코호몰로지의 족과 그 매끄러운 군 코호몰로지 클래스로의 통합을 모델링하기 위해 미분 가능 하이퍼코homology를 사용한다.
• 지역적으로 볼록한 다양체와 서면 덮개를 갖는 범주에서 군oids 객체로서 리 2군 이론을 적용한다.
• 리 군oids의 2-범주 내에서 일반화된 사상과 약한 동치를 사용하여 전역적 매끄러움과 모리타 동치를 다룬다.
• 고차 군의 구조를 표현하기 위해 2-연결 덮개와 스택 이론적 모델을 사용한다.
• 호모토피(삼각형)를 따라 곡률 2-형식을 통합하여 국소적으로 매끄러운 코homology 내에서 통합 코호몰로지의 생성을 위해.
• 동치 코호몰로지의 족과 모리타 동치인 리 2군 사이의 대응관계를 설정하여 통합 과정의 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 무한차원 리 대수의 중심 확장을 리 군의 중심 확장으로 통합할 수 있으며, 그렇지 않다면 통합에서 리 군의 역할을 대체할 수 있는 고차적 구조는 무엇인가?
• RQ2 무한차원에서 리 대수 중심 확장의 리 군으로의 통합을 방해하는 π₂의 역할은 무엇인가?
• RQ3 국소적 매끄러움이 부족할 경우 리 대수 코호몰로지의 통합을 어떻게 전역적으로 달성할 수 있는가?
• RQ4 무한차원 리 대수의 비자명한 π₂를 가진 경우, 에탈 리 2군이 무엇을 의미하는 바로 통합 객체로 적합한가?
• RQ5 이전의 접근 방식에서의 엄격한 사상 대비 일반화된 사상과 매끄러운 스택을 사용함으로써 통합 과정이 어떻게 향상되는가?

주요 결과

• 위상적으로 분리된 중심을 가진 무한차원 리 대수의 중심 확장은 π₂ 장애를 우회하여 에탈 리 2군의 중심 확장으로 통합된다.
• 통합 과정은 전역적이며, 리 군oids의 2-범주 내에서 일반화된 사상을 사용하여 이전의 국소적 결과를 확장한다.
• 이 방법은 국소 지수 리 대수에 대해 무한차원에서 리의 세 번째 정리의 일반화를 수립한다.
• 이 방법은 미분 가능 하이퍼코homology에 기반하며, 호모토피를 따라 곡률 2-형식을 통합함으로써 코호몰로지의 기하학적 실현을 통해 구현된다.
• 리 2군의 모리타 동치는 통합 코호몰로지의 동치와 대응되며, 통합 절차의 일관성을 보장한다.
• 이 프레임워크는 매끄러운 스택을 사용하여 리 대수와 그 확장의 통합을 통합하여 강력한 고차 범주론적 모델을 제공한다.