[논문 리뷰] A-infinity-categories, their infinity-category, and their localizations

Yong‐Geun Oh, Hiro TANAKA|arXiv (Cornell University)|2020. 03. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 37인용 수 6

한 줄 요약

이 논문은 dg-카테고리의 무한군 카테고리와 A-무한 카테고리의 무한군 카테고리 사이의 동치성을 확립하고, Lyubashenko-Manzyuk과 Lyubashenko-Ovisienko의 두 가지 A-무한 카테고리 몫 생성 방식이 무한군 카테고리 몫의 보편 성질을 만족함을 증명한다. 이는 A-무한 카테고리 호모토피 이론을 위한 간결한 프레임워크를 제공하며, 국소화에 대한 구체적 모델을 제시하여 파생 대수기하학과 위상적 장 이론에서의 고차 카테고리 구조 응용에 기여한다.

ABSTRACT

We collect results regarding the homotopy theory of A-infinity-categories. Our two main results are (1) An equivalence between the infinity-category of dg-categories and of A-infinity-categories, and (2) A proof that two models for quotients of A-infinity-categories (as constructed by Lyubashenko-Manzyuk and Lyubashenko-Ovisienko) satisfy the universal property of quotients in the infinity-categorical sense. Our aims are to give succinct accounts of infinity-categorical language for users of A-infinity-categories, and to exhibit concrete models of localizations of A-infinity-categories. Indeed, we apply the results here in a companion work to prove a Liouville version of a conjecture of Teleman from the 2014 ICM.

연구 동기 및 목표

• A-무한 카테고리에 대해 일하는 연구자들이 사용할 수 있는 간결하고 접근하기 쉬운 무한군 카테고리 언어의 계정을 제공하는 것.
• dg-카테고리의 무한군 카테고리와 A-무한 카테고리의 무한군 카테고리 사이의 동치성을 확립하는 것.
• 기존의 두 가지 A-무한 카테고리 몫 생성 모델이 무한군 카테고리적 의미에서 보편 성질을 만족하는지 검증하는 것.
• 고급 응용을 위해 A-무한 카테고리에서의 국소화에 대한 구체적 모델을 제공하는 것.
• 2014년 ICM에서 발표된 Teleman의 추측에 대한 Liouville 유형 버전을 증명하는 데에 보조적인 역할을 하는 것.

제안 방법

• 고전적 비교 함수의 유도적 강화를 통해 dg-카테고리와 A-무한 카테고리 사이를 비교하기 위해 무한군 카테고리 기법을 활용한다.
• 모델 카테고리 이론과 Quillen 동치를 적용하여, 무한군 카테고리 설정에서 dg-카테고리와 A-무한 카테고리 사이의 동치를 확립한다.
• 무한군 카테고리에서의 국소화 프레임워크를 사용하여 Lyubashenko-Manzyuk과 Lyubashenko-Ovisienko의 몫 생성 방식을 분석한다.
• 무한군 카테고리에서 몫의 보편 성질을 활용하여 두 생성 방식이 요구되는 호모토피적 보편성 조건을 만족함을 검증한다.
• 특히 국소화와 안정화에 관한 기존 결과를 바탕으로, 생성 방식의 타당성을 검증하기 위해 무한군 카테고리 이론의 확립된 결과에 의존한다.
• 안정된 무한군 카테고리와 향상된 삼각형 카테고리의 프레임워크를 사용하여 기존 호모토피적 구조와의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 dg-카테고리의 무한군 카테고리와 A-무한 카테고리의 무한군 카테고리 사이에 정규 동치가 존재하는가?
• RQ2 Lyubashenko-Manzyuk과 Lyubashenko-Ovisienko의 몫 생성 방식이 무한군 카테고리적 의미에서 몫의 보편 성질을 만족하는가?
• RQ3 이 두 몫 모델은 A-무한 카테고리 호모토피 이론에서의 국소화의 구체적 실현으로 사용될 수 있는가?
• RQ4 무한군 카테고리 언어는 A-무한 카테고리 사용자들에게 어떻게 접근 가능하고 적용 가능하게 만들 수 있는가?
• RQ5 이 생성 방식들은 Teleman의 추측에 대한 Liouville 유형 버전을 증명하는 데 어떤 역할을 하는가?

주요 결과

• dg-카테고리의 무한군 카테고리와 A-무한 카테고리의 무한군 카테고리 사이에 동치가 확립되었으며, 이는 호모토피적 맥락에서 카테고리적으로 구분 불가능하다는 것을 보여준다.
• Lyubashenko-Manzyuk의 몫 생성 방식은 무한군 카테고리적 의미에서 국소화의 보편 성질을 만족한다.
• Lyubashenko-Ovisienko의 몫 생성 방식 역시 무한군 카테고리적 국소화의 보편 성질을 만족한다.
• 두 몫 모델 모두 호모토피적으로 잘 행동하며 안정된 무한군 카테고리의 구조와 호환됨이 입증되었다.
• 결과적으로 이는 무한군 카테고리 방법을 A-무한 카테고리에 적용할 수 있는 기초를 제공하며, 특히 파생 대수기하학과 위상적 장 이론의 맥락에서 유용하다.
• 이 프레임워크는 보조 논문에서 Teleman의 추측에 대한 Liouville 유형 버전을 증명하는 데에 기여하여, 이 생성 방식의 실용적 유용성을 입증한다.