[논문 리뷰] Derived manifolds and d-manifolds

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

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 유도 미분 가능 스킴의 모델 구조를 수립하여 유도 다이나믹스에서 d-다이나믹스로의 잘라내기 2-함수를 연구한다. 유도 다이나믹스와 d-다이나믹스의 호모토피 범주 사이에 유도된 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.

연구 동기 및 목표

• 유도 다이나믹스에서 d-다이나믹스로의 잘라내기 2-함수를 호모토피 대수학을 통해 분석하기 위해.
• 유도 미분 가능 스킴의 범주에 모델 구조를 정의하여 호모토피 분석을 가능하게 하기 위해.
• 유도 다이나믹스와 d-다이나믹스의 호모토피 범주 사이에 유도된 1-함수의 성질을 규명하기 위해.
• 잘라내기 함숫값이 본질적인 범주론적 구조를 유지하는지, 특히 충실성 여부를 조사하기 위해.

제안 방법

• 유도 미분 가능 스킴의 범주에 모델 구조를 구축하여 호모토피적 추론을 가능하게 하기 위해.
• 이 모델 구조를 사용하여 유도 다이나믹스에서 d-다이나믹스로의 잘라내기 2-함수를 분석하기 위해.
• 유도 다이나믹스와 d-다이나믹스의 호모토피 범주 사이에 유도된 1-함수를 연구하기 위해.
• 범주론적 및 호모토피적 기법을 통해 유도된 1-함수가 전사적이고 본질적으로 전사적임을 증명하기 위해.
• 유도된 1-함수가 충실하지 않음을 보여주는 구체적인 반례를 구성하기 위해.

실험 결과

연구 질문

• RQ1 유도 다이나믹스에서 d-다이나믹스로의 잘라내기 2-함수는 호모토피 범주의 수준에서 전사적이고 본질적으로 전사적인가?
• RQ2 유도 다이나믹스와 d-다이나믹스의 호모토피 범주 사이에 유도된 1-함수가 객체의 동치류를 유지하는가?
• RQ3 유도된 1-함수는 충실한가, 아니면 유도 다이나믹스의 호모토피 범주에서 서로 다른 사상들이 d-다이나믹스의 호모토피 범주에서 동일한 사상으로 매핑되는가?
• RQ4 유도된 1-함수가 충실하지 않음을 보여주는 반례를 구성할 수 있는가?
• RQ5 잘라내기 함숫값이 유도 다이나믹스와 d-다이나믹스 사이의 정확한 호모토피적 관계를 어떻게 기록하는가?

주요 결과

• 유도 다이나믹스와 d-다이나믹스의 호모토피 범주 사이에 유도된 1-함수는 전사적이다.
• 유도된 1-함수는 본질적으로 전사적이다. 즉, 모든 d-다이나믹스는 동치 관계에서 어떤 유도 다이나믹스의 잘라내기로 나타난다.
• 유도된 1-함수는 호모토피 범주의 객체들의 동치류 집합 사이에 일대일 대응를 수립한다.
• 유도된 1-함수가 충실하지 않음을, 유도 다이나믹스의 호모토피 범주에서 서로 다른 사상들이 d-다이나믹스의 호모토피 범주에서 동일한 사상으로 매핑되는 구체적인 예를 통해 보여주었다.
• 유도 미분 가능 스킴에 대한 모델 구조는 잘라내기 함숫값과 그 범주론적 성질을 분석하는 데 유효한 프레임워크를 제공한다.