[논문 리뷰] Homological Algebra for Superalgebras of Differentiable Functions

David Carchedi, Dmitry Roytenberg|arXiv (Cornell University)|2012. 12. 16.

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

한 줄 요약

이 논문은 초 파르메이 테이어리이(fermat) 이론 위의 미분적 가환 대수(dg-algebras)를 도입하여, $\mathbf{C}^\infty$-환을 통해 매끄러운 함수를 포함시키는 고전적 dg-대수의 일반화를 제시한다. 통합이 가능할 경우 dg-$\mathbf{C}^\infty$-대수의 쿠일렌 모델 구조와 단순형 증강(simplicial enrichment)을 확립하고, 미분적 가환 다양체를 이들의 대수의 반대 범주에 완전히 매장함으로써 유도 미분기하학을 위한 계산 가능한 모델을 가능하게 한다.

ABSTRACT

This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in particular, the notion of a differential graded algebra in the world of C-infinity rings. The opposite of the category of differential graded C-infinity algebras contains the category of differential graded manifolds as a full subcategory. More generally, this notion of differential graded algebra makes sense for algebras over any (super) Fermat theory, and hence one also arrives at the definition of a differential graded algebra appropriate for the study of derived real and complex analytic manifolds and other variants. We go on to show that, for any super Fermat theory S which admits integration, a concept we define and show is satisfied by all important examples, the category of differential graded S-algebras supports a Quillen model structure naturally extending the classical one on differential graded algebras, both in the bounded and unbounded case (as well as differential algebras with no grading). Finally, we show that, under the same assumptions, any of these categories of differential graded S-algebras have a simplicial enrichment, compatible in a suitable sense with the model structure.

연구 동기 및 목표

• 초 파르메이 테이어리이 이론, 특히 $\mathbf{C}^\infty$-환을 포함하여, 이론적 맥락에서 미분적 가환 대수를 정의하여 호모로지 대수학을 초파르메이 테이어리이 이론으로 확장한다.
• 통합이 가능한 모든 초 파르메이 테이어리이 이론 $\mathbf{S}$에 대해, 미분적 가환 $\mathbf{S}$-대수의 범주에 쿠일렌 모델 구조를 확립한다.
• 미분적 가환 $\mathbf{S}$-대수의 범주에, 모델 구조와 호환되는 단순형 증강을 부여한다.
• 미분적 가환 다양체를 dg-$\mathbf{C}^\infty$-대수의 반대 범주에 완전히 매장함으로써, 유도 미분기하학을 위한 기하학적으로 직관적인 프레임워크를 제공한다.
• 일반적인 설정에서 단순형 접근과 대비되어 직접 계산이 가능한, 유도 매끄러운 다양체를 위한 dg-기반 형식론을 제공한다.

제안 방법

• 초 파르메이 테이어리이 이론 $\mathbf{S}$ 위의 미분적 가환 대수를 정의함으로써, $\mathbf{S}$가 매끄러운 함수의 평가를 지원할 수 있도록 고전적 dg-대수의 일반화를 수행한다.
• 기본선 $\mathbb{E}^\times \cong \mathbb{G}_m \ltimes \mathbb{G}_{\mathrm{ad}}^{\underline{1}}$의 자동사상군을 사용하여, 대수 위의 군 작용을 통해 dg-구조를 특성화한다.
• 통합이 가능한 초 파르메이 테이어리이 이론의 개념을 도입하며, 이는 $\mathbf{C}^\infty$-환을 포함한 모든 중요한 예시에서 만족된다.
• 기본 이론과 호환되는 피브레이션, 코피브레이션, 약한 동치를 정의하여, 미분적 가환 $\mathbf{S}$-대수의 범주에 쿠일렌 모델 구조를 구성한다.
• 내부 함자와 텐서곱을 사용하여 dg-$\mathbf{S}$-대수의 범주에 단순형 증강을 제공하며, 이는 모델 구조와 호환된다.
• dg-$\mathbf{C}^\infty$-대수의 반대 범주가 매끄러운 기하학적 기저선의 내부자 모노이드를 통해 미분적 가환 다양체의 범주를 완전한 부분범주로 포함하고 있음을 보인다.

실험 결과

연구 질문

• RQ1 고전적 미분적 가환 대수의 개념은 $\mathbf{C}^\infty$-환과 같은 초 파르메이 테이어리이 이론 위의 대수로 어떻게 일반화될 수 있는가?
• RQ2 초 파르메이 테이어리이 이론 $\mathbf{S}$가 어떤 조건을 만족할 경우, 미분적 가환 $\mathbf{S}$-대수의 범주가 쿠일렌 모델 구조를 갖는가?
• RQ3 미분적 가환 $\mathbf{S}$-대수의 범주는 그 모델 구조와 호환되는 단순형 증강을 갖출 수 있는가?
• RQ4 미분적 가환 $\mathbf{C}^\infty$-대수의 범주는 미분적 가환 다양체의 범주와 어떻게 관련이 있는가?
• RQ5 기하학적으로 직관적이면서도 계산 가능성이 있는, 유도 미분기하학을 위한 dg-기반 형식론은 존재하는가?

주요 결과

• 미분적 가환 $\mathbf{C}^\infty$-대수의 반대 범주는, 완전한 부분범주로서 미분적 가환 다양체의 범주를 포함한다.
• 모든 통합이 가능한 초 파르메이 테이어리이 이론 $\mathbf{S}$에 대해, 유계 및 비유계의 경우 모두에서, 미분적 가환 $\mathbf{S}$-대수의 범주는 쿠일렌 모델 구조를 지닌다.
• 미분적 가환 $\mathbf{S}$-대수의 범주는 쿠일렌 모델 구조와 호환되는 단순형 증강을 지닌다.
• 미분적 가환 대수의 개념은 $\mathbf{C}^\infty$-환, 실해석적, 복소해석적 설정을 포함한 모든 초 파르메이 테이어리이 이론으로 일반화된다.
• 모델 구조와 단순형 증강은 내부 함자와 텐서곱을 사용하여 구성되며, 피브레이션과 약한 동치는 릿지 및 호모토피 성질을 통해 정의된다.
• 이 구성은 단순형 접근과 대비되어 직접 계산이 가능한, dg-기반의 모델을 제공하며, 이는 유도 매끄러운 다양체에 적합하다.