[논문 리뷰] Diffeology: A Concrete Foundation for Stacks

Jordan Watts, Seth Wolbert|arXiv (Cornell University)|2014. 06. 05.

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

한 줄 요약

이 논문은 다발적 위상공간(diffeological spaces)이 스택(stacks)에 대한 구체적인 기초로 작용함을 보이며, 구체적 층(concrete sheaves, 다발적 위상공간)에서 스택으로의 그로텐디크 구성(Grothendieck construction)이 왼쪽 수반(left adjoint)을 가짐을 보여, 각 스택에 대해 그 다발적 위상공간의 근본 모oduli 공간(diffeological coarse moduli space)을 부여하는 함자(functor)를 정의한다. 핵심 기여는 표현 리 군oids(representative Lie groupoids)를 통한 기하학적 해석을 통해, 미분 가능 스택에서의 기본 미분형식(basic differential forms)과 그 궤도 공간(orbit spaces)에서의 다발적 위상형식(diffeological forms) 간의 동치 관계를 밝혀내는 데 있다.

ABSTRACT

In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the underlying diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and show that the Grothendieck construction sending these sheaves to stacks has a left adjoint: the functor sending any stack to its diffeological coarse moduli space. As an application, we restrict our attention to differentiable stacks and examine the geometry behind the coarse moduli space construction in terms of Lie groupoids and their principal bundles. Additionally, we define basic differential forms for stacks and confirm in the differentiable case that these agree (under certain conditions) with basic differential forms on a representative Lie groupoid. These basic differentiable forms in turn match the diffeological forms on the orbit space.

연구 동기 및 목표

• 다발적 위상공간을 매끄러운 다양체의 사이트(site) 위의 구체적 층(concrete sheaves)로 정의한다.
• 구체적 층에서 스택으로의 그로텐디크 구성이 왼쪽 수반을 갖는다는 것을 보이며, 이는 임의의 스택에 대해 그 다발적 위상공간의 근본 모oduli 공간을 부여하는 함자를 얻는다.
• 미분 가능 스택과 리 군oids의 맥락에서 근본 모oduli 공간의 기하학을 분석한다.
• 스택에서의 기본 미분형식을 정의하고 특성화하며, 이를 궤도 공간의 형식과 연결한다.

제안 방법

• 다발적 위상공간을 매끄러운 다양체의 사이트 위의 구체적 층으로 모델링한다.
• 그로텐디크 구성에 의해 구체적 층에서 스택을 부여한다.
• 각 스택에 대해 그 다발적 위상공간의 근본 모oduli 공간을 부여하는 왼쪽 수반 함자(functor)를 구성한다.
• 미분 가능 스택을 리 군oids로 표현하고, 그들의 주요 다발(principal bundles)을 분석한다.
• 표현 리 군oids의 구조를 이용해 스택에서의 기본 미분형식을 정의한다.
• 적절한 조건 하에서, 스택에서의 기본 미분형식이 표현 리 군oids의 궤도 공간에서의 다발적 위상형식과 정확히 일치함을 보인다.

실험 결과

연구 질문

• RQ1 다발적 위상공간은 대수기하학과 미분위상수학에서 스택에 대해 어떻게 구체적 기초로 작용할 수 있는가?
• RQ2 구체적 층과 스택의 맥락에서 그로텐디크 구성과 그 왼쪽 수반 간의 정확한 관계는 무엇인가?
• RQ3 미분 가능 스택에서의 기본 미분형식은 그 궤도 공간에서의 형식과 어떻게 관련되는가?
• RQ4 어느 정도의 범위에서 스택에서의 기본 형식은 표현 리 군oids의 궤도 공간에서의 다발적 위상형식과 일치하는가?
• RQ5 다양체의 범주에서 스택의 근본 모oduli 공간 구성에 기초하는 기하학적 구조는 무엇인가?

주요 결과

• 구체적 층(diffeological spaces)에서 스택으로의 그로텐디크 구성은 왼쪽 수반을 갖는다. 이는 각 스택에 대해 그 다발적 위상공간의 근본 모oduli 공간을 부여하는 것이다.
• 다발적 위상공간의 근본 모oduli 공간 구성은 매끄러운 다양체에서의 매핑을 통해 임의의 스택에 대한 구체적 기하학적 실현을 제공한다.
• 미분 가능 스택에서의 기본 미분형식은 표현 리 군oids의 궤도 공간에서의 다발적 위상형식의 역상(pullbacks)과 동치이다.
• 적절한 조건 하에서, 리 군oids의 작용에서의 기본 미분형식 공간은 스택의 궤도 공간에서의 다발적 위상형식 공간과 정확히 일치한다.
• 이 구성은 스택의 미분기하학과 그 근본 모oduli 공간의 다발적 위상구조 사이에 자연스러운 대응을 수립한다.