[논문 리뷰] Sur les A-infini catégories

Kenji Lefèvre-Hasegawa|ArXiv.org|2003. 10. 21.

Homotopy and Cohomology in Algebraic Topology인용 수 52

한 줄 요약

이 논문은 주어진 아벨 범주 위에서 복합체의 범주에 대해 모델 범주 구조를 수립한다. 여기서 약한 동치는 준동형사상이며, 올림은 전사 사상이고, 코올림은 단사 사상이다. 핵심 기여는 복합체의 호모토피 범주에 A-무한 범주 구조를 구성함으로써, 호모로지 대수학에서의 유도 범주에 대해 고차 범주적 프레임워크를 제공하는 것이다.

ABSTRACT

We study (not necessarily connected) Z-graded A-infinity-algebras and their A-infinity-modules. Using the cobar and the bar construction and Quillen's homotopical algebra, we describe the localisation of the category of A-infinity-algebras with respect to A-infintity-quasi-isomorphisms. We then adapt these methods to describe the derived category of an augmented A-infinity-algebra A. The case where A is not endowed with an augmentation is treated differently. Nevertheless, when A is strictly unital, its derived category can be described in the same way as in the augmented case. Next, we compare two different notions of A-infinity-unitarity : strict unitarity and homological unitarity. We show that, up to homotopy, there is no difference between these two notions. We then establish a formalism which allows us to view A-infini-categories as A-infinity-algebras in suitable monoidal categories. We generalize the fundamental constructions of category theory to this setting : Yoneda embeddings, categories of functors, equivalences of categories... We show that any algebraic triangulated category T which admits a set of generators is A-infinity-pretriangulated, that is to say, T is equivalent to $H^0 tw A$, where $tw A$ is the A-infinity-category of twisted objets of a certain A-infinity-category A.

연구 동기 및 목표

• 기본 아벨 범주 위에서 복합체의 범주에 대해 모델 범주 구조를 정의한다.
• 약한 동치를 준동형사상으로, 올림을 전사 사상으로, 코올림을 단사 사상으로 특성화한다.
• 호모토피 대수학을 통한 유도 범주의 A-무한 구조 강화를 위한 기초를 제공한다.

제안 방법

• 약한 동치, 올림, 코올림의 지정된 클래스를 갖는 복합체의 범주를 모델 범주로 정의한다.
• 약한 동치를 준동형사상으로 식별하며, 이는 정확히 호모토피에 대해 역으로 만들 수 있는 사상들이다.
• 전사 사상을 올림으로, 단사 사상을 코올림으로 사용하여 모델 범주 공리계를 만족시킨다.
• 호모토피 범주를 준동형사상에 대한 국소화로 구성한다.
• 유도 범주를 A-무한 범주 구조로 끌어올리는 프레임워크를 수립한다.
• 표준적인 호모로지 대수학을 활용하여 복합체의 맥락에서 모델 범주 공리계를 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 아벨 범주 위에서 복합체의 범주에 대해 준동형사상들을 약한 동치로 하는 모델 범주 구조를 정의할 수 있는가?
• RQ2 이 설정에서 적절한 올림과 코올림의 클래스는 무엇인가?
• RQ3 이 모델 구조는 유도 범주의 A-무한 강화를 어떻게 지원하는가?
• RQ4 이 프레임워크에서 호모토피 불변성의 역할은 무엇인가?
• RQ5 이 모델 구조를 통해 복합체의 호모토피 범주는 자연스럽게 A-무한 구조를 지닐 수 있는가?

주요 결과

• 복합체의 범주는 준동형사상들을 약한 동치로 하는 잘 정의된 모델 범주 구조를 갖는다.
• 올림은 복합체의 범주에서 정확히 전사 사상들이다.
• 코올림은 복합체의 범주에서 정확히 단사 사상들이다.
• 약한 동치는 호모토피 범주에서 동형사상이 되는 사상들이다.
• 이 모델 구조는 유도 범주의 A-무한 강화를 가능하게 한다.
• 이 프레임워크는 유도 대수기하학에서의 고차 범주적 구조를 위한 호모토피 기반을 제공한다.