Abstract: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...) or bialgebras (associative and coassociative, Lie, Frobenius...), that is algebraic structures parametrized by props. A central aspect is that we define and study moduli spaces of deformations of algebraic structures up to quasi-isomorphisms (and not just isotopies or isomorphisms). To do so, we implement methods coming from derived algebraic geometry, by encapsulating these deformation theories as classifying (pre)stacks with good infinitesimal properties and derived formal geometry, by means of derived formal moduli problems and derived formal groups. In particular, we prove that the Lie algebra describing the deformation theory of an object in a given $\infty$-category of dg algebras can be obtained equivalently as the tangent complex of loops on a derived quotient of this moduli space by the homotopy automorphims of this object. Moreover, we provide explicit formulae for such derived deformation problems of algebraic structures up to quasi-isomorphisms and relate them in a precise way to other standard deformation problems of algebraic structures. This relation is given by a fiber sequence of the associated dg-Lie algebras of their deformation complexes. Our results provide simultaneously a vast generalization of standard deformation theory of algebraic structures which is suitable (and needed) to set up algebraic deformation theory both at the $\infty$-categorical level and at a higher level of generality than algebras over operads. In addition, we study a general criterion to compare formal moduli problems of different algebraic structures and apply our formalism to $E_n$-algebras and bialgebras.

Formal deformations of algebraic spaces and generalizations of the motivic Igusa zeta function

Automorphic Forms with Degenerate Fourier Coefficients

A generalization of formal multiple zeta values related to multiple Eisenstein series and multiple q-zeta values

Formal deformations of modular forms and multiple L-values

Motivic interpretations for iterated integrals on some specific algebraic curves

Formal multiple Eisenstein series and their derivations

Potential automorphy of certain non self-dual 3-dimensional Galois representations

Hyperderivatives of the deformation series associated with arithmetic gamma values and characteristic $p$ multiple zeta values

Deformations and Inversion Formulas For Formal Automorphisms in Noncommutative Variables

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Motivic classes of curvilinear Hilbert schemes and Igusa zeta functions

Zeta-polynomials, superpolynomials, DAHA and plane curve singularities

Zeta functions and oscillatory integrals for meromorphic functions

Derived deformation theory of algebraic structures

Non-holomorphic modular forms from zeta generators

Canonicalizing zeta generators: genus zero and genus one

A Formal Equivalence of Deformation Quantization and Geometric Quantization (of Higher Groupoids) and Non-Perturbative Sigma Models

The six-functor formalism for rigid analytic motives

Deforming motivic theories I: Pure weight perfect Modules on divisorial schemes

The integral identity conjecture in motivic homotopy theory