[논문 리뷰] A Finite-Dimensional String 2-Group

Christopher Schommer‐Pries|arXiv (Cornell University)|2009. 11. 12.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 리 군oids, 왼쪽 주목적 비버들, 비버들 사상으로 이루어진 2-범주 내에서 유한 차원 중심 확장을 통해 스트링 2군을 구성한다. 이는 스트링(n) 공간을 호모토피 상에서 실현하는 기하학적이고 스무스한 모델을 제공한다. 위상군 코homology를 통해 스트링 2군의 유일하고 유한 차원적인 실현을 확립함으로써 오랫동안 지속된 무한 차원 모델의 문제를 해결한다.

ABSTRACT

We provide a model of the String group as a central extension of finite-dimensional 2-groups in the bicategory of Lie groupoids, left-principal bibundles, and bibundle maps. This bicategory is a geometric incarnation of the bicategory of smooth stacks and generalizes the more naive 2-category of Lie groupoids, smooth functors, and smooth natural transformations. In particular this notion of smooth 2-group subsumes the notion of Lie 2-group introduced by Baez-Lauda. More precisely we classify a large family of these central extensions in terms of the topological group cohomology introduced by G. Segal, and our String 2-group is a special case of such extensions. There is a nerve construction which can be applied to these 2-groups to obtain a simplicial manifold, allowing comparison with with the model of A. Henriques. The geometric realization is an $A_\infty$-space, and in the case of our model, has the correct homotopy type of String(n). Unlike all previous models our construction takes place entirely within the framework of finite dimensional manifolds and Lie groupoids. Moreover within this context our model is characterized by a strong uniqueness result. It is a unique central extension of Spin(n).

연구 동기 및 목표

• 스무스 스택의 프레임워크 내에서 스트링 2군의 유한 차원 기하학적 실현을 제공하기 위해.
• 이전의 무한 차원 모델의 한계를 극복하기 위해, 이 건설을 리 군oids와 비버들을 포함하는 2-범주에 통합하기 위해.
• G. 세갈의 위상군 코homology를 사용하여 리 2군의 중심 확장을 분류하기 위해.
• 스트링 2군이 스피너(n)의 중심 확장으로서 강한 유일성 결과를 확립하기 위해.
• 네비의 기하학적 실현이 스트링(n)의 정확한 호모토피 유형을 갖는지 보장하기 위해.

제안 방법

• 리 군oids, 왼쪽 주목적 비버들, 비버들 사상으로 이루어진 2-범주 내에서 스트링 2군을 중심 확장으로 모델링하기 위해.
• G. 세갈의 위상군 코homology를 사용하여 이러한 중심 확장의 넓은 가족을 분류하기 위해.
• 2군의 네비를 구성하여 단순형 다양체를 생성함으로써 헨리크스의 모델과 비교 가능하게 하기 위해.
• 네비의 기하학적 실현을 적용하여 정확한 호모토피 유형을 갖는 $A_\infty$-공간을 도출하기 위해.
• 모든 구성이 유한 차원 다양체와 리 군oids 내에서 완전히 유지됨을 보여주기 위해.
• 이 프레임워크 내에서 스피너(n)의 중심 확장으로서 스트링 2군의 유일성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 스트링 2군은 리 군oids와 비버들을 사용하여 유한 차원 스무스 2군으로 실현될 수 있는가?
• RQ2 제안된 모델은 호모토피 유형 측면에서 헨리크스의 단순형 다양체 모델과 어떻게 비교되는가?
• RQ3 G. 세갈의 위상군 코homology는 리 2군의 중심 확장을 분류하는 데 어떤 역할을 하는가?
• RQ4 스피너(n)의 중심 확장으로서 스트링 2군을 실현하는 고유한 유한 차원 확장이 존재하는가?
• RQ5 이 2군의 네비의 기하학적 실현은 스트링(n)의 호모토피 유형을 갖는 $A_\infty$-공간을 생성하는가?

주요 결과

• 구성된 스트링 2군은 리 군oids와 비버들을 포함하는 2-범주 내에서 스피너(n)의 유한 차원 중심 확장이다.
• 네비의 기하학적 실현을 통해 스트링(n)의 정확한 호모토피 유형이 실현된다.
• 구성은 유한 차원 다양체 내에서 완전히 유지되어 무한 차원 접근 방식의 문제를 해결한다.
• 이 맥락에서 스피너(n)의 중심 확장으로서의 강한 유일성 성질을 만족한다.
• 네비 구성은 기하학적 실현이 $A_\infty$-공간이 되는 단순형 다양체를 생성한다.
• 이러한 확장의 분류는 G. 세갈의 위상군 코homology를 통해 달성되어 체계적인 프레임워크를 제공한다.