[논문 리뷰] Simplicial approach to derived differential manifolds

Dennis Borisov, Justin Noel|arXiv (Cornell University)|2011. 11. 30.

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

한 줄 요약

이 논문은 유한 유형의 유도 미분다양체를 위한 단순형 $C^{\infty}$-환 모델을 수립하며, Spivak의 호모토피 층 기반 구조가 표준 프로젝티브 모델 구조에서 단순형 $C^{\infty}$-환 프레임워크와 퀼렌 동치임을 보여준다. $C^{\infty}$-환의 부드러움을 활용하여, 층 이론적 설정에서의 국소 약한 동치가 단순형 환 설정에서의 약한 동치에 대응됨을 증명함으로써, 표준 모델 범주인 단순형 $C^{\infty}$-환의 호모토피 쐐기합을 통한 교차 이론이 가능해진다.

ABSTRACT

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This reduction to the usual algebraic homotopy can potentially lead to virtual fundamental classes beyond obstruction theory.

연구 동기 및 목표

• 유도 미분기하학에서 호모토피 $C^\infty$-환의 층을 사용하지 않고도 유도 미분다양체의 필요성을 제거하기 위해.
• 표준 모델 구조 하에서, 유한 유형의 유도다양체가 단순형 $C^{\infty}$-환과 동치임을 보여주기 위해.
• 단순형 환의 호모토피 쐐기합을 통한 고전적 코버디즘 환과 교차이론을 유지하기 위해.
• 순수하게 단순형 설정에서 작업함으로써, 전통적 장애 이론을 초월한 가상 기본류를 가능하게 하기 위해.
• Spivak의 층 기반 유도다양체와 단순형 $C^{\infty}$-환 모델 간의 퀄렌 동치를 수립하기 위해.

제안 방법

• 부드러운 기하학의 기본 대상으로 $C^{\infty}$-환을 사용하며, 이는 특정 대수적 이론에 대한 대수로 정의된다.
• 고전적 $C^{\infty}$-환 이론을 단순형 $C^{\infty}$-환으로 확장하고, 표준 프로젝티브 모델 구조를 갖춘다.
• 고전적 다양체 위의 구조 층의 부드러움을 활용하여, 유한 유형의 유도다양체가 국소적으로 단순형 $C^{\infty}$-환과 약한 동치임을 보여준다.
• 전역 단면 함자(전역 단면)가 약한 동치를 유지함을 증명하여, 층에서 단순형 $C^{\infty}$-환으로의 축소가 호모토피 데이터를 손실 없이 가능함을 보장한다.
• 호모토피 $C^{\infty}$-환을 엄밀한 $C^{\infty}$-환으로 변환하는 정규화 함자를 사용하여, 호모토피 유형을 유지한다.
• 호모토피 쐐기합을 통해 단순형 $C^{\infty}$-환 범주의 단순형 국소화와 Spivak의 유도다양체 범주 간의 약한 동치를 수립한다.

실험 결과

연구 질문

• RQ1 유한 유형의 유도 미분다양체는 호모토피 층 없이도 순수하게 단순형 $C^{\infty}$-환으로 모델링될 수 있는가?
• RQ2 단순형 $C^{\infty}$-환에 대한 표준 모델 구조가 Spivak가 정의한 유도다양체의 호모토피 이론을 포괄하는가?
• RQ3 유도다양체의 코버디즘 환은 단순형 $C^{\infty}$-환 모델 하에서도 유지되는가?
• RQ4 이 단순형 프레임워크를 통해 장애 이론을 초월한 가상 기본류를 구성할 수 있는가?
• RQ5 Spivak의 호모토피 층 모델과 단순형 $C^{\infty}$-환 모델 간에 퀄렌 동치가 존재하는가?

주요 결과

• 유한 유형의 유도다양체는 그 구조 층이 단순형 $C^{\infty}$-환의 부드러운 층인 유도다양체와 국소적으로 약한 동치이다.
• 전역 단면 함자가 약한 동치를 유지하므로, 층에서 단순형 $C^{\infty}$-환으로의 축소가 호모토피 정보를 손실 없이 가능하다.
• Spivak의 호모토피 $C^{\infty}$-환의 층 기반 구조는 단순형 $C^{\infty}$-환 모델과 퀄렌 동치이다.
• 유한 유형의 유도다양체의 범주는 단순형 $C^{\infty}$-환의 전부에서, $\mathbb{R}^0 \leftarrow \mathbb{R}^m \rightarrow \mathbb{R}^n$ 형태의 다이어그램의 국소 호모토피 극한인 부분범주와 약한 동치이다.
• 단순형 $C^{\infty}$-환의 범주의 단순형 국소화는 Spivak의 유도다양체 범주와 약한 동치이며, 이는 단순형 모델의 타당성을 검증한다.
• 이 모델은 표준 단순형 $C^{\infty}$-환 범주 내에서 호모토피 쐐기합을 통한 함수적이고 호모토피적으로 올바른 교차를 가능하게 한다.