Formality of little disks and algebraic geometry
arXiv:2103.15054
Abstract
We construct a canonical chain of formality quasiisomorphisms for the operad of chains on framed little disks and the operad of chains on little disks. The construction is done in terms of logarithmic algebraic geometry and is remarkable for being rational (and indeed definable integrally) in de Rham cohomology.
arXiv comment33 pages
References in corpus (15)
- Higher Topos Theory
- Operads and Motives in Deformation Quantization
- Operads, homotopy algebra and iterated integrals for double loop spaces
- Another proof of M. Kontsevich formality theorem
- On operad structures of moduli spaces and string theory
- Logarithmic Geometry and Moduli
- Formality of the chain operad of framed little disks
- Action of the Grothendieck-Teichmueller group on the operad of Gerstenhaber algebras
- Mixed Hodge structures and formality of symmetric monoidal functors
- Etale cohomology, purity and formality with torsion coefficients
- Logarithmic structures of Fontaine-Illusie. II
- On the formality of the little disks operad in positive characteristic
- Logarithmic Prismatic Cohomology I
- Moduli of framed formal curves
- Categorical Logarithmic Hodge Theory, I