Related papers: Derived logarithmic deformation theory and moduli …
In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log \'etale maps and use this to define derived log stacks.
These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of To\"en-Vaqui\'e that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories.…
This is a report on recent progress concerning the interactions between derived algebraic geometry and deformation quantization. We present the notion of derived algebraic stacks, of shifted symplectic and Poisson structures, as well as the…
We extend a classical fact about deformations of groups of units of commutative rings to $\mathbb{E}_{\infty}$-ring spectra, and we use this result to provide a map of spectra generalizing the ordinary logarithmic derivative induced by an…
We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we…
In this note, we give a formulation of log structures for derived stacks using Olsson's log stack. The derived cotangent complex is then Olsson's logarithmic cotangent complex, which (unlike Gabber's) is just given by log differential forms…
These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
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…
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…
The geometric Langlands program is distinguished in assigning spectral decompositions to all representations, not only the irreducible ones. However, it is not even clear what is meant by a spectral decomposition when one works with…
The goal of this paper is to show that Stokes data coming from flat bundles form a locally geometric derived stack locally of finite presentation. This generalizes existing geometricity results on Stokes data in four different directions:…
We exhibit a relationship between motivic homotopy theory and spectral algebraic geometry, based on the motivic $\tau$-deformation picture of Gheorghe, Isaksen, Wang, Xu. More precisely, we identify cellular motivic spectra over $\mathbf C$…
In a previous paper [FT1], for any logarithmic symplectic pair (X,D) of a symplectic manifold X and a simple normal crossings symplectic divisor D, we introduced the notion of log pseudo-holomorphic curve and proved a compactness theorem…
We give an explicit finite-dimensional model for the derived moduli stack of flat connections on $\mathbb{C}^k$ with logarithmic singularities along a weighted homogeneous Saito free divisor. We investigate in detail the case of plane…
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…
This paper develops a systematic approach to infinitesimal variations of Hodge structure for singular and equisingular families by means of logarithmic geometry and residue theory. The central idea is that logarithmic vector fields encode…
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…
We develop a framework for derived deformation theory, valid in all characteristics. This gives a model category reconciling local and global approaches to derived moduli theory. In characteristic 0, we use this to show that the homotopy…
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…