[논문 리뷰] The universal property of derived geometry

Andrew W. Macpherson|arXiv (Cornell University)|2017. 01. 29.

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

한 줄 요약

이 논문은 기존의 파생 기하학 프레임워크와 밀접하게 관련된 구성이 유한 호모토피적 극한을 다양체에 항상 첨가하면서 곱과 붙임 연산을 유지함을 확립한다. 이는 미분 설정에서 이러한 보편 성질이 성립하며, D. 스피바크의 파생 C-infinity 기하학에 대한 공리와도 호환됨을 보여준다.

ABSTRACT

Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling existing approaches to derived geometry in fact produces a geometry with this universal property. I also investigate consequences of this definition in particular in the differentiable setting, and compare the theory so obtained to D. Spivak's axioms for derived C-infinity geometry.

연구 동기 및 목표

• 유한 호모토피적 극한을 다양체의 범주에 첨가하는 보편적인 방법으로서 파생 기하학을 정의하기.
• 이 구성이 곱과 붙임 연산과 호환되도록 보장하기.
• 이 정의가 미분 설정에서 초래하는 결과를 조사하기.
• 이러한 이론이 D. 스피바크의 파생 C-infinity 기하학에 대한 공리와 어떻게 비교 가능한지 분석하기.

제안 방법

• 기하학적 범주에서 유한 호모토피적 극한에 대한 보편 완비화로써 파생 기하학을 체계화하기.
• 호모토피적 극한과 곱의 호환성을 기록하기 위해 단순 복합체의 층에 대한 모델 구조를 사용하기.
• 내림내림 조건과 붙임 조건을 적용하여 층 이론적 구성과의 호환성 보장하기.
• 파생 기하학 프레임워크와 스피바크의 파생 C-infinity 기하학 사이의 비교 함자를 구성하기.
• 다양체의 범주 위에서의 끌림 성질을 통해 구성이 보편 성질을 만족함을 입증하기.
• 호모토피 대수 기법을 사용하여 미분 설정에서의 결과 기하학 분석하기.

실험 결과

연구 질문

• RQ1 기존의 파생 기하학 프레임워크와 유사한 구성이 다양체에 유한 호모토피적 극한을 첨가하는 보편 성질을 만족하는가?
• RQ2 이러한 파생 기하학은 미분 설정에서 어떻게 행동하는가?
• RQ3 이 파생 기하학은 어느 정도까지 D. 스피바크의 파생 C-infinity 기하학에 대한 공리와 호환되는가?
• RQ4 보편 성질은 모델 이론적 또는 범주론적 프레임워크를 통해 증명될 수 있는가?
• RQ5 이 보편 구성에 따른 구조적 결과는 극한과 층 조건 측면에서 어떻게 나타나는가?

주요 결과

• 이 구성은 곱과 붙임을 유지하면서 다양체에 유한 호모토피적 극한을 첨가하는 보편 성질을 만족한다.
• 파생 기하학 프레임워크는 미분 구조와 호환되어 잘 정의된 극한과 쌍극한을 보장한다.
• 이론은 D. 스피바크의 파생 C-infinity 기하학에 대한 공리와 일치하여 두 접근 방식 사이의 공식적 다리를 쌓는다.
• 유한 호모토피적 극한의 보편 성질은 다양체 위의 단순 복합체 층의 범주에서의 끌림 성질을 통해 입증된다.
• 결과 기하학은 호모토피적 극한을 통해 고전적 다양체를 일반화하는 잘 정의된 파생 다양체 개념을 지원한다.
• 이 구성은 다른 모든 유사 완비화가 이를 통과함으로써 최소성과 보편성을 보장한다.