[논문 리뷰] Deformation Theory and Partition Lie Algebras

Lukas Brantner, Akhil Mathew|arXiv (Cornell University)|2019. 04. 15.

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

한 줄 요약

이 논문은 특성에 관계없이 일반화된 미분합동군 리 대수의 일반화로 분할 리 대수를 도입하며, 임의의 특성에서 형식적 모듈리 문제를 위한 리 대수적 프레임워크를 제공한다. 체 또는 완비 국소 기저 위에서 형식적 모듈리 문제와 분할 리 대수 사이의 동치를 확립하여, 특성 0 이외의 영역으로까지 확장된 Lurie–Pridham 대응관계를 일반화한다.

ABSTRACT

A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant of differential graded Lie algebras, called partition Lie algebras, in arbitrary characteristic. We then explicitly compute the homotopy groups of free algebras, which parametrise operations. Finally, we prove generalisations of the Lurie-Pridham correspondence classifying formal moduli problems via partition Lie algebras over an arbitrary field, as well as over a complete local base.

연구 동기 및 목표

• . 이 논문은 원래 특성 0 에서만 유효한 Lurie–Pridham 대응관계를 양의 특성 및 혼합 특성으로까지 확장하고자 한다.
• . 유한 특성 및 혼합 특성에서 유도된 변형의 리 이론적 기술이 부족한 점을 다룬다.
• . 임의의 특성에서 형식적 모듈리 문제의 무한소 구조를 캡처하는 새로운 유형의 호모토피적 리 대수, 즉 분할 리 대수를 정의하고자 한다.
• . 자유 분할 리 대수의 호모토피 군을 계산하여, Dyer–Lashof 연산과 유사한 자연스러운 연산을 매개함을 목표로 한다.
• . 궁극적인 목표는 임의의 체 및 완비 국소 환 위에서 형식적 모듈리 문제와 분할 리 대수 사이의 정확한 대응관계를 확립하는 것이다.

제안 방법

• . 저자들은 ∞-카테고리와 모나드의 프레임워크를 사용하여 분할 리 대수를 정의하며, 분할 복합체의 등변 위상수학적 성질을 활용한다.
• . 하이퍼커버링 이론과 칸 확장 이론을 사용하여 컴act 객체의 부분범주에 沿한 왼쪽 칸 확장을 구성한다.
• . 이 구성은 비양의도도에서 호모토피 군에 대한 전사 사상 유도를 유도하는 사상의 집합 S에 의존한다.
• . 저자들은 분할 복합체 |Πn| 와 그 호모토피 군의 구조를 이용하여 자유 분할 리 대수의 호모토피 군을 계산한다.
• . 일부 하이퍼커버링이 코리미트 다이어그램임을 보이기 위해 그로텐디크 구성과 네르브 추론을 적용한다.
• . 핵심 기술 도구는 컴 pact 객체에서 전체 카테고리로의 함자 확장을 유지하는 필터링된 코리미트 보존 확장으로, 왼쪽 칸 확장을 계산하는 데에 기여한다.

실험 결과

연구 질문

• RQ1 . 특성 0 이외의 양의 특성 및 혼합 특성으로까지 Lurie–Pridham 대응관계(형식적 모듈리 문제와 미분합동군 리 대수 사이의 대응)를 일반화할 수 있는가?
• RQ2 . 임의의 특성에서 유도된 변형을 지배하는 올바른 호모토피적 리 대수적 구조는 무엇인가?
• RQ3 . 자유 분할 리 대수의 호모토피 군은 임의의 분할 리 대수의 호모토피 군 위에서 자연스러운 연산을 어떻게 매개하는가?
• RQ4 . 완비 국소 기저 위에서 형식적 모듈리 문제와 분할 리 대수 사이의 정확한 관계는 무엇인가?
• RQ5 . 하이퍼커버링을 사용하여 ∞-카테고리의 모듈 및 대수에서 왼쪽 칸 확장을 어떻게 계산할 수 있는가?

주요 결과

• . 이 논문은 분할 리 대수를 미분합동군 리 대수의 특성에 관계없는 일반화로 구성한다.
• . 임의의 체 k 에 대해, 형식적 모듈리 문제와 k 위의 분할 리 대수 사이의 ∞-카테고리 동치를 증명한다.
• . 완비 국소 기저 위에서도 유사한 동치를 확립하여, 이 대응관계를 산술적 맥락으로까지 확장한다.
• . 자유 분할 리 대수의 호모토피 군을 계산하고, 이들이 임의의 분할 리 대수의 호모토피 군 위에서 Dyer–Lashof 유사 연산을 매개함을 보여준다.
• . T-대수 위에서의 필터링된 코리미트 보존 함자는 자유 대수 위의 공연결 모듈 위에서 왼쪽 칸 확장됨을 보여준다.
• . (F, S)-하이퍼커버링을 통한 왼쪽 칸 확장의 구성은 기하학적 실현을 모두 보존하지 않는 함수의 경우에도 함수의 계산을 가능하게 한다.