[논문 리뷰] Derived Algebraic Geometry VI: E_k Algebras

Jacob Lurie|ArXiv.org|2009. 10. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 38인용 수 12

한 줄 요약

이 논문은 ∞-카테고리와 ∞-오르페드를 사용하여 E_k-대수의 이론을 개발하고, 파생 대수기하학에서 기본적인 결과를 확립한다. 이는 작은 k-큐브 오르페드를 통한 E_k-대수의 호모토피적 프레임워크를 제안하고, 조율 정리들을 증명하며, 이들을 위상적 카이랄 호모로지와 인수 가능 sheaf에 적용하여, 다양체 위의 E_k-대수에 대한 비아벨리안 푸앵카레 이론을 도출한다.

ABSTRACT

In this paper, we study algebras over the little cubes operads introduced by Boardman and Vogt, using the formalism of higher category theory.

연구 동기 및 목표

• ∞-카테고리와 ∞-오르페드를 사용하여 파생 대수기하학에서 E_k-대수의 호모토피적 프레임워크를 개발한다.
• 작은 k-큐브 오르페드에 대한 조율 정리들을 증명하고, 그 것이 결합 오르페드와의 호모토피적 동치임을 확립한다.
• ∞-카테고리적 방법을 통해 다양체 위의 위상적 카이랄 호모로지와 인수 가능 sheaf을 정의하고 연구한다.
• 향방이 있는 다양체 위의 E_k-대수에 대해 비아벨리안 푸앵카레 이론을 확립한다.
• E_k-대수에 대한 모듈러 카테고리, 코탄젠트 복합체, 그리고 수반 표현에 대한 체계적인 다루기를 제공한다.

제안 방법

• E_k-대수의 모델로 작은 k-큐브 오르페드 C_k를 사용하여, 구성 공간의 수축 가능한 성분을 통해 그의 호모토피적 조율성을 보인다.
• ∞-오르페드 이론과 카테고리적 동치를 적용하여, 단순 복합체의 필터링에서 제약 사상이 자명한 칸 필라션임을 증명한다.
• 필터링된 단순 복합체 부분집합 (K(n,c)≤σ) 에서의 초한 귀납법을 사용하여, 카테고리적 동치를 내부 안디닌 맵에 沿한 푸시아웃으로 환원한다.
• 조일의 단순 복합체 위의 모델 구조를 사용하여, C⊗×N(Γ)Λn+1b(σ′) →C⊗×N(Γ)∆n+1b(σ) 형태의 포함 사상이 카테고리적 동치임을 보인다.
• ∆n⋆⟨k⟩◦ 와 ∂∆n⋆⟨k⟩◦ 위의 함자에 대한 당김 도형을 구성하여 문제를 알려진 자명한 칸 필라션으로 환원한다.
• 세이페르트–반 캄펜 정리와 출구 경로 카테고리들을 적용하여 호모토피 유형과 구조적 sheaf, 버르디에르 대칭성 간의 관계를 연결한다.

실험 결과

연구 질문

• RQ1 파생 대수기하학의 맥락에서 ∞-카테고리를 사용하여 E_k-대수를 엄밀히 정의하고 연구할 수 있는 방법은 무엇인가?
• RQ2 작은 k-큐브 오르페드와 결합 오르페드 사이의 정확한 호모토피적 관계는 무엇인가?
• RQ3 E_k-대수의 위상적 카이랄 호모로지는 다양체 위에서 어떻게 행동하며, 어떤 이중성 정리가 적용되는가?
• RQ4 E_k-대수에 대한 코탄젠트 복합체와 수반 표현의 구조는 어떠한가?
• RQ5 E_k-대수적 구조를 통해 다양체 위의 인수 가능 sheaf에 대해 비아벨리안 푸앵카레 이론을 확립할 수 있는가?

주요 결과

• 위상 오르페드 C1은 결합 오르페드와 약한 동치이며, 이는 E_1-대수가 호모토피적 조율성을 갖는 결합 대수를 모델링함을 보여준다.
• 포함 사상 C⊗×N(Γ)K(n,c−1) →C⊗×N(Γ)K(n,c)A 는 카테고리적 동치이며, 이는 제약 사상 X(n,c)A →X(n,c−1) 가 자명한 칸 필라션임을 암시한다.
• 각 σ ∈An,c 에 대해 포함 사상 C⊗×N(Γ)K(n,c)<σ →C⊗×N(Γ)K(n,c)≤σ 는 카테고리적 동치이며, 내부 호른 포함 사상에 沿한 푸시아웃을 통해 증명된다.
• 사상 X(n,c)B →X(n,c)A 는 B-단순 복합체에서 유사한 카테고리적 동치 논증을 통해 자명한 칸 필라션임을 증명한다.
• 사상 ψ: X(n,c)≤σ →X(n,c)<σ 는 자명한 칸 필라션과 당김 도형을 이룬다. 이는 ψ 도 자명한 칸 필라션임을 증명한다.
• 비아벨리안 푸앵카레 이론은 란 공간 위의 인수 가능 코셰이프 구조를 통해 위상적 카이랄 호모로지와 버르디에르 대칭성을 사용하여 확립된다.