Related papers: Formal moduli problems and formal derived stacks
We prove a Darboux theorem for formal deformations of Hamiltonian operators of hydrodynamic type (Dubrovin-Novikov). Not all deformations are equivalent to the original operator: there is a moduli 2-stack of normal forms. The paper utilizes…
We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability…
We introduce a notion of elliptic differential graded Lie algebra. The class of elliptic algebras contains such examples as the algebra of differential forms with values in endomorphisms of a flat vector bundle over a compact manifold, etc.…
The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…
The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…
In the first part of this paper we construct a model structure for the category of filtered cochain complexes of modules over some commutative ring $R$ and explain how the classical Rees construction relates this to the usual projective…
We study modules over stacks of deformation quantization algebroids on complex Poisson manifolds. We prove finiteness and duality theorems in the relative case and construct the Hochschild class of coherent modules. We prove that this class…
Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational…
We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…
We summarise the chain of comparisons showing Hinich's derived Maurer-Cartan functor gives an equivalence between differential graded Lie algebras and derived Schlessinger functors on Artinian differential graded-commutative algebras. We…
Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show that representability naturally follows…
We develop an analogue of the deformation to the normal cone in the context of derived algebraic geometry. This provides any given morphism of derived stacks with a degeneration to the zero section of its normal bundle (i.e., its 1-shifted…
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…
A new proof of an old theorem of Drinfeld concerning the representability of the moduli problem of special formal $\mathcal{O}_{D}$-modules by Deligne's $p$-adic formal model of Drinfeld's upper half-plane is given for $d=2.$ The display…
We develop a formal moduli theory for the splitting problem of complex supermanifolds. Starting from Green's obstruction tower, we construct a finite-step filtered dg Lie algebra which controls splittings by filtered Maurer-Cartan theory.…
Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…
We construct a smooth algebraic stack of tuples consisting of genus two nodal curves, simple effective divisors away from the nodes, and twisted fields. It provides a desingularization of the moduli of genus two stable maps to projective…
We relate analytically defined deformations of modular curves and modular forms from the literature to motivic periods via cohomological descriptions of deformation theory. Leveraging cohomological vanishing results, we prove the existence…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…