[논문 리뷰] Derived Differentiable Manifolds

Kai Behrend, Hsuan-Yi Liao외 1명|arXiv (Cornell University)|2020. 06. 02.

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

한 줄 요약

이 논문은 곡선 $L_{\infty}[1]$-대수의 번들의 활용을 통해 유도 미분기하학을 개발하며, 유도 다양체를 호모토피 이론적 구조를 갖춘 fibrant 대상의 범주로 설정하여 호모토피 섞인 곱과 유도 교차를 가능하게 한다. 경로 공간과 호모토피 이전을 통해 대각선의 유한차원 인수분해를 구성하고, 역함수 정리를 증명하며, 유도 기하학에서 약한 동치와 준동형사상 간의 관계를 명확히 한다.

ABSTRACT

We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore, we can make sense of "homotopy fibered product" and "derived intersection" of submaifolds in a smooth manifold in the homotopy category of derived manifolds. We construct a factorization of the diagonal using path spaces. First we construct an infinite-dimensional factorization using actual path spaces motivated by the AKSZ construction, then we cut down to finite dimensions using the Fiorenza-Manetti method. The main ingredient is the homotopy transfer theorem for curved $L_\infty[1]$-algebras. We also prove the inverse function theorem for derived manifolds, and investigate the relationship between weak equivalence and quasi-isomorphism for derived manifolds.

연구 동기 및 목표

• 유한차원의 $L_{\infty}[1]$-대수의 번들의 활용을 통해 유도 미분기하학의 프레임워크를 개발하는 것.
• 유도 다형체를 호모토피 이론적 구성이 가능한 fibrant 대상의 범주로 설정하는 것.
• 경로 공간과 호모토피 이전을 통해 대각선의 유한차원 인수분해를 구성하는 것.
• 유도 설정에서의 역함수 정리를 증명하고, 약한 동치와 준동형사상 간의 관계를 명확히 하는 것.
• 유도 다형체의 부분다양체들의 유도 교차를 호모토피 섞인 곱을 통해 기하학적으로 실현하는 것.

제안 방법

• 유도 다형체를 $(M, L, \lambda)$의 삼중항으로 모델링하며, 여기서 $M$은 $C^\infty$-다양체이고, $L$은 계량화된 벡터 번들의이고, $\lambda$는 각 섬유 위에 곡선 $L_{\infty}[1]$-대수의 구조를 정의한다.
• 무한차원 경로 공간 구성에서 유한차원으로의 축소를 위해 곡선 $L_{\infty}[1]$-대수의 호모토피 이전 정리를 활용한다.
• 실제 경로 공간을 사용하여 다형체의 유도 경로 공간을 구성한 후, Fiorenza-Manetti 방법을 적용하여 유한차원으로 잘라내는 방식을 취한다.
• AKSZ 구성법을 경로 공간 인수분해의 동기를 제공하며, 이는 이동자 번들의 이동된 접속 공간 위에 호모로지 벡터장 $PQ$를 이끌어낸다.
• 유도 다형체의 호모토피 범주에서 유도 교차를 호모토피 섞인 곱으로 정의한다.
• 타투로지컬 벡터장 $\tau$와 그 호모로지 벡터장 $PQ$의 상호작용을 통해 경로 공간의 접속 공간 위에 dg-구조를 정의한다.

실험 결과

연구 질문

• RQ1 고전적 미분기하학에서 섞인 곱이 자주 존재하지 않는 상황에서, 부분다양체들의 유도 교차는 어떻게 의미 있게 정의될 수 있는가?
• RQ2 유도 기하학에서 대각선의 인수분해를 구성하는 데 경로 공간이 수행하는 역할은 무엇인가?
• RQ3 무한차원 경로 공간 구성에서 호모토피적 구조를 유지하면서 어떻게 이를 유한차원 모델로 축소할 수 있는가?
• RQ4 유도 다형체의 범주에서 약한 동치와 준동형사상 간의 정확한 관계는 무엇인가?
• RQ5 유도 설정에서 역함수 정리는 어느 정도 성립하며, 이는 유도 다형체의 호모토피 이론과 어떻게 관련되는가?

주요 결과

• 유도 다형체의 범주는 fibrant 대상의 범주이므로, 호모토피 섞인 곱과 유도 교차를 호모토피 범주에서 구성할 수 있다.
• Fiorenza-Manetti 방법과 호모토피 이전을 통해 경로 공간과 유도 경로 공간을 활용하여 대각선의 유한차원 인수분해를 구성하였다.
• 유도 다형체의 경로 공간은 자연스러운 dg-구조를 지닌다. 이는 $T(P{\mathscr{M}})[-1]$로 표현되며, 호모로지 벡터장 $\iota_\tau + \widehat{PQ}[-1]$을 갖는다. 여기서 $\tau$는 타투로지컬 벡터장이다.
• 유도 다형체에 대해 역함수 정리가 성립하며, 고전적 결과를 호모토피 설정으로 일반화한다.
• 유도 다형체에서의 약한 동치는 해당하는 $L_{\infty}[1]$-대수의 준동형사상과 정확히 일치한다. 이는 호모토피 이론과 코homological 대수학 간의 핵심 연결 고리를 확립한다.
• 모든 경로 $a: I \to M$에 대해, $\Gamma(I, a^*T{\mathscr{M}}[-1])$의 복합체는 $a'\,dt + a^*\mu$에 의해 유도된 곡선 $L_{\infty}[1]$-구조를 지닌다. 이는 2.5조의 결과와 일치한다.