[논문 리뷰] Descent and the Koszul Duality for Locally Constant Factorisation Algebras

Takuo Matsuoka|arXiv (Cornell University)|2014. 01. 01.

Advanced Topics in Algebra인용 수 3

한 줄 요약

이 논문은 대칭 모나드 안정 ∞-카테고리에서 Koszul 쌍대성 구축을 통해 국소적으로 상수인 인수 분해 대수에 대한 Verdier 유형의 동치를 수립한다. 이는 excision와 위상적 치랄 호몰로지에 기반한 Lurie의 비아벨형 Poincaré 쌍대성의 일반화이다. 논문은 인수 분해 커버에 대해 내림내림을 증명하고, 인수 분해 대수와 그 변종에 대한 ∞-카테고리에 대한 곱 공식을 유도한다.

ABSTRACT

Generalizing Jacob Lurie's idea on the relation between the Verdier and the iterated loop space theory, we study the Koszul for locally constant factorization algebras. We formulate an analogue of Lurie's nonabelian Poincare duality theorem (which is closely related to earlier results of Graeme Segal, of Dusa McDuff, and of Paolo Salvatore) in a symmetric monoidal stable infinity category carefully, using John Francis' notion of excision. Its proof is done by first studying the Koszul for E_n-algebras in detail. As a consequence, we obtain a Verdier type equivalence for factorization algebras by a Koszul construction. At a foundational level, we study descent properties of Lurie's topological chiral homology. We prove that this homology theory satisfies descent for a factorizing cover, as defined by Kevin Costello and Owen Gwilliam. We also obtain a generalization of Lurie's approach to this homology theory, which leads to a product formula for the infinity category of factorization algebras, and its twisted generalization.

연구 동기 및 목표

• 대칭 모나드 안정 ∞-카테고리에서 국소적으로 상수인 인수 분해 대수로 Lurie의 비아贝尔형 Poincaré 쌍대성을 일반화하기 위해.
• Koszul 쌍대성을 이용해 인수 분해 대수에 대한 Verdier 유형의 동치를 수립하기 위해.
• Costello와 Gwilliam가 정의한 인수 분해 커버에 대해 위상적 치랄 호몰로지가 내림내림을 만족하는지 증명하기 위해.
• Lurie의 접근 방식을 위상적 치랄 호몰로지로 일반화하여 인수 분해 대수와 그 변종에 대한 ∞-카테고리에 대한 곱 공식을 도출하기 위해.

제안 방법

• John Francis의 excision 개념을 적응하여 대칭 모나드 안정 ∞-카테고리의 맥락에서 Lurie의 비아벨형 Poincaré 쌍대성의 정확한 유사체를 수립하기 위해.
• 주요 쌍대성 결과를 위한 기초 단계로 E_n-대수에 대한 Koszul 쌍대성을 연구하기 위해.
• Lurie의 위상적 치랄 호몰로지 프레임워크를 사용하고, 인수 분해 커버에 대해 그 내림내림을 증명하기 위해.
• 치랄 호몰로지의 일반화된 접근 방식을 통해 인수 분해 대수의 ∞-카테고리에 대한 곱 공식을 구성하기 위해.
• 동일한 호몰로지적 및 카테고리적 기반을 통해 날것으로 된 인수 분해 대수로의 프레임워크 확장하기 위해.
• 유도 대수기하학에서 대칭 모나드 구조와 쌍대성을 다루기 위해 ∞-카테고리적 기법을 활용하기 위해.

실험 결과

연구 질문

• RQ1 Lurie의 비아벨형 Poincaré 쌍대성은 어떻게 대칭 모나드 안정 ∞-카테고리에서 국소적으로 상수인 인수 분해 대수의 맥락으로 일반화될 수 있는가?
• RQ2 이 맥락에서 E_n-대수에 대한 정확한 쌍대성 공식과 그 증명은 무엇인가?
• RQ3 Costello와 Gwilliam의 정의에 따라 인수 분해 커버에 대해 위상적 치랄 호몰로지가 내림내림을 만족하는가?
• RQ4 일반화된 치랄 호몰로지로 인수 분해 대수의 ∞-카테고리에 대한 곱 공식을 도출할 수 있는가?
• RQ5 이 프레임워크에서 Koszul 구축을 통해 어떻게 인수 분해 대수에 대한 Verdier 유형의 동치가 도출되는가?

주요 결과

• 대칭 모나드 안정 ∞-카테고리에서 Koszul 쌍대성 구축을 통해 국소적으로 상수인 인수 분해 대수에 대한 Verdier 유형의 동치가 수립된다.
• 위상적 치랄 호몰로지가 인수 분해 커버에 대해 내림내림을 만족하며, Lurie의 결과를 더 넓은 커버의 범주로 일반화한다.
• 인수 분해 대수의 ∞-카테고리에 대해 일반화된 치랄 호몰로지 접근 방식을 통해 곱 공식이 도출된다.
• Koszul 쌍대성과 내림내림 프레임워크를 날것으로 된 인수 분해 대수로 확장함으로써 곱 공식의 날것으로 된 일반화가 얻어진다.
• E_n-대수에 대한 Koszul 쌍대성 연구는 주요 쌍대성 결과를 위한 기초 단계를 제공한다.
• excision를 활용하여 Lurie의 비아벨형 Poincaré 쌍대성을 국소적으로 상수인 인수 분해 대수의 맥락으로 성공적으로 일반화하였다.