[논문 리뷰] Derived Algebraic Geometry III: Commutative Algebra

Jacob Lurie|arXiv (Cornell University)|2007. 03. 07.

Advanced Topics in Algebra참고 문헌 18인용 수 63

한 줄 요약

이 논문은 ∞-카테고리와 ∞-오르소이드를 사용하여 유도 대수기하학의 기초를 수립하며, 안정 호모토피 이론에서 교환 법칙을 가진 링의 대수적 유사체로 간주되는 커뮤터티브 링 스펙트럼(E∞-링스)을 위한 프레임워크를 구축한다. ∞-카테고리적 대칭 모노이드 구조를 도입하고, 커뮤터티브 대수 객체의 자유 대수와 기하적 실현이 잘 정의되어 있음을 증명함으로써, 유도 대수기하학에서 모듈러와 코로짓의 강력한 이론을 가능하게 한다.

ABSTRACT

This paper describes a higher-categorical version of the theory of colored operads, giving applications to the study of commutative ring spectra.

연구 동기 및 목표

• ∞-카테고리와 ∞-오르소이드를 사용하여 고전적 교환 법칙을 가진 대수기하학의 호모토피적으로 일관된 일반화를 개발하기 위해.
• 유도 대수기하학에서 기본적인 대수적 대상으로서 E∞-링 스펙트럼의 이론을 수립하기 위해.
• ∞-카테고리에서 커뮤터티브 대수 객체의 카테고리가 잘 정의된 코로짓과 자유 대수를 갖는다는 것을 증명하기 위해.
• 대칭 모노이드 ∞-카테고리의 맥락에서 기하적 실현과 호모토피 코로짓이 호환된다는 것을 보여주기 위해.
• 자기 자신이 자유 대수인 프레임트 리플레이스먼트가 자유 대수의 성질을 유지함으로써 호모토피적 구성과의 호환성을 보장하기 위해.

제안 방법

• ∞-오르소이드를 사용하여 ∞-카테고리에서 대칭 모노이드 구조를 형식화하고, 고전적 오르소이드를 호모토피적 맥락으로 일반화하기 위해.
• 특히 교환 법칙을 가진 ∞-오르소이드에 초점을 맞춰, ∞-카테고리에서 커뮤터티브 대수 객체를 ∞-오르소이드를 통해 정의하기 위해.
• 좋은 호모토피적 성질을 갖는 대수의 전순서 수열을 구성하기 위해 프레임트 리플레이스먼트와 프로젝티브 코프리브레이션 이론을 적용하기 위해.
• 코로짓이 기하적 실현에 대해 보존된다는 것을 보이며, 쿠릴렌의 정리(좌측 수반자에 대한 정리)를 사용하기 위해.
• 프로젝티브 코프리브레이션을 포함하는 피시업 다이어그램을 사용하여 순서적으로 대수를 구축하고, 그들의 기저 객체 사이의 사상이 잘 정의되어 있음을 증명하기 위해(즉, 호모토피적 구조를 유지함).
• 기술적 편의를 위해 논문은 전적으로 단순 복합체를 사용하지만, 덴트로이드럴 세트 이론을 암묵적으로 적용하여 다른 모델과 비교하기 위해.

실험 결과

연구 질문

• RQ1 고전적 교환 법칙을 가진 대수기하학은 ∞-카테고리를 사용하여 어떻게 호모토피적으로 일관된 맥락으로 일반화될 수 있는가?
• RQ2 ∞-카테고리에서 커뮤터티브 대수 객체의 코로짓이 잘 정의되고 계산 가능해지기 위한 조건은 무엇인가?
• RQ3 ∞-카테고리적 맥락에서 자유 대수들이 호모토피 코로짓을 보존함으로써 파생 구조와의 호환성을 보장할 수 있는가?
• RQ4 E∞-링스 맥락에서 자유 대수의 프레임트 리플레이스먼트는 원래 자유 대수의 구조와 어떻게 관련되어 있는가?
• RQ5 기하적 실현은 커뮤터티브 대수 객체의 카테고리에서 어떤 역할을 하는가? 그리고 보존 함수자와의 상호작용은 어떻게 되는가?

주요 결과

• 현존하는 ∞-카테고리에서 커뮤터티브 대수 객체의 카테고리는 단순 복합체의 기하적 실현을 갖는다. 이는 잘 정의된 호모토피적 행동을 보장한다.
• 커뮤터티브 대수 객체에서 그 기저 ∞-카테고리로 가는 함자는 보존적이며 기하적 실현을 보존한다. 이는 호모토피적 정보가 유지됨을 보장한다.
• ∞-카테고리적 맥락에서 자유 대수들은 호모토피 코로짓과 호환되며, 총 대칭 거듭제곱 코로짓이 호모토피 코로짓임을 보여준다.
• 두 개의 커뮤터티브 대수의 모델에서 좌측 수반자의 복합 함수에 대한 표준 사상은 동치임을 보여주며, 서로 다른 구성 간의 일관성을 입증한다.
• 각 단계가 프로젝티브 코프리브레이션을 沿한 피시업인 대수의 전순서 수열을 구성할 수 있으며, 최종 객체는 원래 객체의 리트랙트이므로, 프레임트 리플레이스먼트가 구조와 호환됨을 보장한다.
• 코프리브런트 객체 사이의 프로젝티브 코프리브레이션을 따라 피시업을 한 사상은 기저 객체 사이의 사상이 잘 정의되어 있으며, 호모토피적 구조를 유지한다.