Formal moduli problems and formal derived stacks

zbMATH Open1472.14004arXiv1802.09556MaRDI QIDQ5159147FDOQ5159147

Authors: Damien Calaque, Julien Grivaux 

Publication date: 26 October 2021

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.

Full work available at URL: https://arxiv.org/abs/1802.09556

Recommendations

• Koszul duality for Lie algebroids
• Moduli problems for ring spectra
• A study in derived algebraic geometry. Volume II: Deformations, Lie theory and formal geometry
• Unifying derived deformation theories
• Introductory topics in derived algebraic geometry

zbMATH Keywords

deformation theorymoduli problemsderived stacksdifferential graded Lie algebroidsformal thickeningsKoszul duality contexts

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Formal methods and deformations in algebraic geometry (14D15) Deformations and infinitesimal methods in commutative ring theory (13D10) Research exposition (monographs, survey articles) pertaining to algebraic geometry (14-02) Homotopical algebra, Quillen model categories, derivators (18N40) Generalizations (algebraic spaces, stacks) (14A20) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Infinitesimal methods in algebraic geometry (14B10)

Cited In (12)

• Derived intersections and free dg-Lie algebroids
• A study in derived algebraic geometry. Volume II: Deformations, Lie theory and formal geometry
• Non-Archimedean quantum K-invariants
• Koszul duality for Lie algebroids
• Gel′fand-Fuchs cohomology in algebraic geometry and factorization algebras
• Semi-prorepresentability of formal moduli problems and equivariant structures
• A categorification of the quantum Lefschetz principle
• A \(t\)-structure on the \(\infty\)-category of mixed graded modules
• Constructing derived moduli stacks
• Moduli problems for ring spectra
• Title not available (Why is that?)
• A physical origin for singular support conditions in geometric Langlands theory

This page was built for publication: Formal moduli problems and formal derived stacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5159147)