2022/09/21 by Lucio, Victor Roca i
#18M70 #18N40 #18N60 (Secondary) #22E60 #55P62 #55U10 (Primary) 18N50 #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2209.10282
In this article, we introduce the notion of a curved absolute L_∞-algebra, a structure that behaves like a curved L_∞-algebra where all infinite sums of operations are well-defined by definition. We develop their integration theory by introducing two new methods in integration theory: the complete Bar construction and intrinsic model category structures. They allow us to generalize all essential results of this theory quickly and from a conceptual point of view. We provide applications of our theory to rational homotopy theory, and show that curved absolute L_∞-algebras provide us with rational models for finite type nilpotent spaces without any pointed or connected assumptions. Furthermore, we show that the homology of rational spaces can be recovered as the homology of the complete Bar construction. We also construct new smaller models for rational mapping spaces without any hypothesis on the source simplicial set. Another source of applications is deformation theory: on the algebraic side, we show that curved absolute L_∞-algebras are mandatory in order to encode the deformation complexes of ∞-morphisms of (co)-algebras. On the geometrical side, we construct a curved absolute L_∞-algebra from a derived affine stack and show that it encodes the formal geometry of any finite collection of points living in any finite field extension of the base field.