[논문 리뷰] Derived manifolds and Kuranishi models

Dennis Borisov|arXiv (Cornell University)|2012. 12. 05.

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

한 줄 요약

이 논문은 유한형의 유도 $C^{\infty}$-스킴 위에 오른쪽 가짜모델 구조를 사용하여 유도 다발에 대한 호모토피 이론적 프레임워크를 수립한다. 이에 따라 유도 다발에서 $d$-다발으로의 절단 함자(functor)는 호모토피 범주 위에 전사적이고 본질적으로 전사적인 1-함자를 유도하며, 객체들의 동치류 집합 사이에 전단사 사상이 존재한다. 그러나 이는 충실하지 않으며, 비호모토피적 사상들이 절단 후 동일해지는 반례를 통해 이를 입증한다.

ABSTRACT

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy categories is full and essentially surjective, giving a bijection between the sets of equivalence classes of objects. An example is constructed, showing that this 1-functor is not faithful.

연구 동기 및 목표

• 유한형 객체 위에 오른쪽 가짜모델 구조를 사용하여 유도 $C^{\infty}$-스킴에 대한 호모토피 이론을 개발한다.
• 쿠라누시 모델 간 사상의 선형화로부터 유도되는, 유도 다발에서 $d$-다발으로의 절단 2-함자를 분석한다.
• 절단 함자가 카테고리적 구조를 얼마나 유지하는지, 특히 충실성에 대해 분석한다.
• 유도 범주 간 1-함자가 전사적이고 본질적으로 전사적이지만 충실하지 않음을 입증함으로써, 호모토피적으로 비자명한 자료가 손실됨을 보여준다.

제안 방법

• 유한형 유도 $C^{\infty}$-스킴의 범주 위에 오른쪽 가짜모델 카테고리 구조를 구성하여, 호모토피 첨가공간과 사상 공간의 계산을 가능하게 한다.
• 범주는 단순형 집합으로의 강화를 통해, 벡터 번들의 단면의 0-위치에 대한 단순형 $C^{\infty}$-환의 구조를 통해 사상 공간을 명시적으로 계산할 수 있다.
• 유도 다발은 단순형 $C^{\infty}$-환의 스펙트럼으로 정의되며, 명시적 계산을 통해 다발 위의 벡터 번들의 단면의 0-위치에 대한 단순형 환은 $\{C^{\infty}(E^{\times_{\mathcal{M}}^{k}})\}_{k\geq 0}$ 임을 보여준다.
• $d$-다발의 2-범주는 코herent sheaf의 전이와 미분을 사용하여 재해석되며, 추론을 피하고 유도 기하학 프레임워크와 일치시킨다.
• 절단 2-함자는 단순형 모델 구조를 사용하여 분석되며, 유도 다발에서 $d$-다발로의 사상은 사상 공간의 기본군을 취하는 방식으로 이루어진다.
• 비호모토피적 사상들이 절단 후 동일해지는 반례를 구성한다. 이는 단순형 $C^{\infty}$-환의 $\pi_1$에 비자명한 원소가 존재하지만 절단 후에는 0이 되는 경우를 사용한다.

실험 결과

연구 질문

• RQ1 유도 다발에서 $d$-다발로의 절단 함자는 호모토피 범주에서 전사적이고 본질적으로 전사적인가?
• RQ2 유도 다발과 $d$-다발 간의 객체 동치류는 절단 과정에서 유지되는가?
• RQ3 절단 함자는 어느 정도 충실한가? 이 과정에서 어떤 호모토피 정보가 손실되는가?
• RQ4 유한형 유도 $C^{\infty}$-스킴 위에 호모토피 계산을 지원하는 모델 구조를 구성할 수 있는가?
• RQ5 유도 다발에서 비호모토피적 사상 두 개가 $d$-다발으로의 절단 후 동일해지는 구체적인 예가 존재하는가?

주요 결과

• 유도 다발에서 $d$-다발로의 절단 2-함자는 그들의 호모토피 범주 간 1-함자를 유도하며, 이는 전사적이고 본질적으로 전사적이다.
• 유도 다발과 $d$-다발의 객체 동치류 집합 사이에 전단사 사상이 존재한다.
• 반례를 통해 1-함자가 충실하지 않음을 입증한다. 이는 단순형 $C^{\infty}$-환의 $\pi_1$에 비자명한 원소가 존재하지만 절단 후에는 0이 되는 경우를 사용한다.
• 반례는 유도 다발 $\mathbf{Y}$ 에서 $\mathbf{X}$ 로의 사상 $\Phi$ 와 $\Psi$ 를 사용한다. $\Phi$ 는 좌표 $t$ 를 0으로 보낸다. $\Psi$ 는 $u_1u_2 - u_3^2$ 로 보낸다. 이는 $\pi_1(A_\bullet)$ 에서 비자명하지만, $d$-다발 절단에서는 자명하다.
• 유한형 다발 위의 벡터 번들의 단면의 0-위치에 대한 단순형 $C^{\infty}$-환은 명시적으로 $\{C^{\infty}(E^{\times_{\mathcal{M}}^{k}})\}_{k\geq 0}$ 로 계산되며, 이는 반례의 구축에 기초가 된다.
• 절단 함자는 유도 설정에서 동치를 감지한다. 이는 $\mathbf{T}(\Phi)$ 가 동치이면 $\Phi$ 가 유도 범주에서 약한 동치임을 증명함으로써 보여진다.