[논문 리뷰] Formal moduli problems and formal derived stacks

Damien Calaque, Julien Grivaux|arXiv (Cornell University)|2018. 02. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 13

한 줄 요약

이 논문은 유도된 변형 이론을 통해 형식적 모듈리 문제와 미분형 리 대수 사이의 대응을 수립하며, 드리플린의 철학을 일반화한다. 이 틀을 유도된 아핀 스킴 위의 비분할 형식적 모듈리 문제로 확장하기 위해 dg-리 압시드로드를 도입하고, 카오즈 울 듀얼리티 접근법을 통해 변형 맥락을 통합하여, 유도된 대수기하학과 변형 이론을 형식적 두껍게된 유도 스택의 맥락에서 통합한다.

ABSTRACT

This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical formulation for Drinfeld's derived deformation theory philosophy, which gives a correspondence between formal moduli problems and differential graded Lie algebras. The second part deals with Lurie's general theory of deformation contexts, which we present in a slightly different way than the original paper, emphasising the (more symmetric) notion of Koszul duality contexts and morphisms thereof. In the third part, we explain how to apply this machinery to the case of non-split formal moduli problems under a given derived affine scheme; this situation has been dealt with recently by Joost Nuiten, and requires to replace differential graded Lie algebras with differential graded Lie algebroids. In the last part, we globalize this to the more general setting of formal thickenings of derived stacks, and suggest an alternative approach to results of Gaitsgory and Rozenblyum.

연구 동기 및 목표

• 유도된 변형 이론 철학을 형식화하기 위해, 형식적 모듈리 문제의 ∞-카테고리와 미분형 리 대수의 ∞-카테고리 사이의 동치를 수립한다.
• 카오즈 울 듀얼리티 맥락을 통해 재구성된 루리에의 변형 맥락 이론을 사용하여 대칭성과 개념적 명료성을 강조한다.
• 기초 유도 스킴 $Spec(A)$ 위의 비분할 형식적 모듈리 문제에 대해 dg-리 대수의 대응을 dg-리 압시드로드를 통해 일반화한다.
• 유도된 스택의 형식적 두껍게함을 연구하여 이론을 글로벌 설정으로 확장하고, 게이츠기와 로젠블류움의 결과에 대한 대안을 제공한다.
• 유도된 대수기하학에서 접선 복합체, 변형 함자, 호모토피론적 대수학을 연결하는 체계적인 프레임워크를 제공한다.

제안 방법

• dg-리 대수를 통해 변형 함자를 기술하기 위해 $\bar{\nabla}$-코호몰로지와 모어커-카르탕 형식론을 사용한다.
• 루리에의 변형 맥락 이론을 적용하고, 카오즈 울 듀얼리티 맥락을 통해 재해석하여 대칭성과 이중성을 강조한다.
• 기초 유도 스킴 $Spec(A)$ 위의 비분할 형식적 모듈리 문제에 대해 dg-리 압시드로드를 dg-리 대수의 자연스러운 일반화로 도입한다.
• 상대 접선 복합체를 구성하고, 이를 비분할 케이스에서의 변형 함자를 정의하는 데 사용한다.
• 등급을 가진 혼합 cdga와 실현 함자 $|{-}|$를 사용하여 dg-리 압시드로드와 샤펠리-일렌버그 코호몰로지 복합체를 연결한다.
• 유도된 드레함 복합체 $\text{DR}(-/B)$를 적용하여 접선 복합체의 카오즈 울 듀얼리티를 샤펠리-일렌버그 구성과 연결한다.

실험 결과

연구 질문

• RQ1 드리플린의 유도된 변형 이론 철학은 정확히 어떤 방식으로 ∞-카테고리의 동치로 공식화될 수 있는가?
• RQ2 카오즈 울 듀얼리티는 변형 맥락과 그 사이의 사상들을 조직화하는 데 어떤 역할을 하는가?
• RQ3 기초 유도 스킴 위의 비분할 형식적 모듈리 문제 연구에서 dg-리 압시드로드는 어떻게 dg-리 대수를 대체하는가?
• RQ4 유도된 스택의 형식적 두껍게함의 글로벌 구조는 무엇이며, 국소 변형 이론과 어떻게 관련되는가?
• RQ5 카오즈 울 듀얼리티 프레임워크를 사용하여 형식적 모듈리 문제 이론을 아핀 케이스를 초월해 확장할 수 있는가?

주요 결과

• 체 $ℚ$ 위의 점이 있는 형식적 모듈리 문제의 ∞-카테고리와 미분형 리 대수의 ∞-카테고리 사이에 정확한 동치가 수립된다.
• 형식적 모듈리 문제의 한 점에서의 접선 복합체는 $[-1]$ 이동을 하면 자연스럽게 $L_∞$-대수의 구조를 지니며, 카프란옵의 결과를 일반화한다.
• 기초 스킴 $Spec(A)$ 위의 비분할 형식적 모듈리 문제에 대해 변형 이론은 $A$ 위의 dg-리 압시드로드에 의해 제어된다. 이는 dg-리 대수의 경우를 일반화한다.
• 기초 스킴 $Spec(A)$ 위의 형식적 모듈리 문제의 상대 접선 복합체는 관련된 dg-리 압시드로드의 샤펠리-일렌버그 복합체와 동형이다.
• 유도된 드레함 복합체 $\text{DR}(A/B)$는 샤펠리-일렌버그 구성에 대한 카오즈 울 듀얼리티를 제공하며, 등가 $|\mathrm{CE}^\epsilon_{B/A}(\mathbb{T}_{A/B})| \simeq \mathrm{CE}^\bullet_{B/A}(\mathbb{T}_{A/B})$ 가 성립한다.
• 만약 $\mathbb{L}_{A/B}$ 가 유한성과 상부 유계성을 지닌다면, 사상 $\mathbb{DR}(A/B) \to \mathrm{CE}^\epsilon_{B/A}(\mathbb{T}_{A/B})$ 는 등가이며, 이는 이중성 프레임워크의 타당성을 확인한다.