[논문 리뷰] Orbifolds as stacks?

Eugene Lerman|arXiv (Cornell University)|2008. 06. 25.

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

한 줄 요약

이 논문은 오비폴드를 1-범주가 아니라 2-범주로 간주해야 한다고 주장하며, 두 가지 상호보완적인 프레임워크를 제안한다: (1) 분할 선형군의 군oids, 비버들, 비버들 간의 동차형 사상으로 이루어진 약한 2-범주이며, (2) 매끄러운 다양체 위의 델리-무담 스택의 엄격한 2-범주이다. 주요 기여는 자연 변환으로 인해 오비폴드 간의 사상이 자연스럽게 군oids를 이룬다는 것을 보여주며, 고전적 및 현대적 오비폴드 정의의 기초적 문제를 해결한다는 데 있다.

ABSTRACT

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" definition of orbifolds as proper etale Lie groupoids up to Morita equivalence. The second goal is to describe two complementary ways of thinking of orbifolds as a 2-category: 1. the weak 2-category of foliation Lie groupoids, bibundles and equivariant maps between bibundles and 2. the strict 2-category of Deligne-Mumford stacks over the category of smooth manifolds.

연구 동기 및 목표

• 고전적 오비폴드 정의에서 발생하는 기초적 문제, 특히 사상의 잘못 정의된 합성과 벡터 번들의 풀어내림 문제를 해결하기 위해.
• 함수 간의 자연 변환을 고려해야 하므로, 오비폴드를 군oids로 간주할 때 2-범주로 간주해야 한다고 주장하기 위해.
• 비버들과 스택을 통해 기하학적으로 자연스럽고 상호보완적인 두 가지 2-범주적 기술을 제공하기 위해.
• Lie 군oids를 스택의 2-범주에 통합함으로써 미분기하학에서 스택과 비버들의 역할을 명확히 하기 위해.
• 등가 사상에 대해 군oid 범주의 국소화가 내림내림 성질을 유지하지 못하는 이유를 밝히기 위해, 2-범주적 설정에서만 성립함을 보여주기 위해.

제안 방법

• Hilsum-Skandalis의 Lie 군oids 범주를 사용하여, 사상이 비버들(적절한 작용을 갖춘 주기적 번들의)로 표현되는 약한 2-범주적 오비폴드를 구성하기 위해.
• 오비폴드 간의 사상으로 비버들을 정의하고, 비버들 간의 동차형 사상으로 2-사상을 정의함으로써 약한 2-범주를 형성하기 위해.
• 2-Yoneda 보조정리와 내림내림 이론을 활용하여 Lie 군oids를 매끄러운 다변수의 스택의 2-범주에 통합하기 위해.
• 아틀라스를 통해 오비폴드를 기하학적 스택으로 특성화하기 위해, 아틀라스가 적절한 등차적 매끄러운 Lie 군oids에 대응함을 보여주기 위해.
• 스택 조건(내림내림)을 사용하여, 어떤 다변수 위의 주기적 번들이라도 국소적으로 전역 단면을 가짐을 보여주며, 스택 이론적 프레임워크에서의 본질적 전성성을 구성하기 위해.
• 동일한 스택에 대한 두 아틀라스는 모리타 동치 군oids를 유도하며, 역전할 수 있는 비버들이 기저 다변수의 섞임곱을 통해 명시적으로 구성될 수 있음을 보여주기 위해.

실험 결과

연구 질문

• RQ1 왜 고전적 및 현대적 오비폴드 정의는 사상의 합성과 기하적 구조의 풀어내림을 제대로 정의하지 못하는가?
• RQ2 왜 오비폴드 간의 사상 공간이 자연스럽게 군oids로 간주되어야 하는가?
• RQ3 오비폴드를 적절한 등차적 매끄러운 Lie 군oids로 간주할 때, 적절한 2-범주적 프레임워크는 무엇인가?
• RQ4 등가 사상에 대해 오비폴드 범주를 국소화할 수 있으며 내림내림 성질을 유지하는가? 그렇지 않다면 이유는 무엇인가?
• RQ5 비버들과 스택의 두 접근 방식이 오비폴드를 2-범주로서 어떻게 상호보완적이고 동치적인 기술을 제공하는가?

주요 결과

• 함수 간의 자연 변환으로 인해 두 오비폴드 간의 사상 공간이 자연스럽게 군oids를 이룬다. 이는 오비폴드의 미분기하학에 필수적이다.
• 등가 사상에 대해 Lie 군oids 범주의 국소화는 내림내림 성질을 유지하지 못하며, 이는 Lemma 3.41에서 보여지듯이 2-범주적 설정이 필요함을 보여준다.
• 비버들은 약한 2-범주적 오비폴드에서 1-사상의 기하학적 실현을 제공하며, 비버들 간의 동차형 사상이 2-사상이 된다.
• 매끄러운 다변수 위의 델리-무담 스택은 오비폴드를 위한 엄격한 2-범주적 프레임워크를 제공하며, 아틀라스는 적절한 등차적 매끄러운 Lie 군oids에 대응한다.
• 동일한 스택에 대한 두 아틀라스는 모리타 동치 군oids를 유도하며, 역전할 수 있는 비버들은 기저 다변수의 섞임곱을 통해 명시적으로 구성될 수 있다.
• 스택 이론적 접근은 어떤 주기적 번들이라도 국소적으로 단면을 가지며, 내림내림과 함께 스택에서 번들의 함자에 대한 본질적 전성성을 보장한다.