Homotopy transfer and formality

DOI10.5802/AIF.3444MaRDI QIDQ2115499zbMATH OpenOpenAlexFDO

Authors Gabriel C. Drummond-Cole, Geoffroy Horel

Publication date 17 March 2022

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://arxiv.org/abs/1906.03475

zbMATH Keywords

configuration spacesalgebraic operadsformalityhyperplane arrangementstoric arrangementshomotopy transfer theorem

Mathematics Subject Classification ID

Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) Discriminantal varieties and configuration spaces in algebraic topology (55R80) Applied homological algebra and category theory in algebraic topology (55U99) Operads (general) (18M60)

Abstract: In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a homology-level degree twisting automorphism using a unit of multiplicative order at least $n$. Here we give another proof of this result of independent interest and under slightly different hypotheses. We use the homotopy transfer theorem and an explicit inductive procedure in order to kill the higher operations. As an application of our result, we prove formality with coefficients in the $p$-adic integers of certain dg-algebras coming from hyperplane and toric arrangements and configuration spaces.

Recommendations

• Which homotopy algebras come from transfer?
• Formality theorem for Hochschild cochains via transfer
• Homological perturbation theory for algebras over operads
• scientific article; zbMATH DE number 1161571
• Transferring homotopy commutative algebraic structures

Cites work

• scientific article; zbMATH DE number 475343 (Why is no real title available?)
• scientific article; zbMATH DE number 3436327 (Why is no real title available?)
• scientific article; zbMATH DE number 1510507 (Why is no real title available?)
• Algebraic operads
• Cochains and homotopy type
• Cohomology rings and formality properties of nilpotent groups.
• Deformation quantization of Poisson manifolds
• Formality of Donaldson submanifolds
• Formality of chain operad of little discs
• Homological perturbation theory for algebras over operads
• Homotopy algebras are homotopy algebras
• Infinitesimal computations in topology
• Koszul A_∞-algebras and free loop space homology
• Koszul duality for operads
• Massey products of complex hypersurface complements
• Minimal models, GT-action and formality of the little disk operad
• Minimality of toric arrangements
• Mixed Hodge structures and formality of symmetric monoidal functors
• Moduli spaces and formal operads
• Noncommutative formality implies commutative and Lie formality
• ON THE HOMOLOGY THEORY OF FIBRE SPACES
• On loop spaces of configuration spaces
• On the formality of the little disks operad in positive characteristic
• Orlik-Solomon type presentations for the cohomology algebra of toric arrangements
• Pre-Lie deformation theory
• Purity, formality, and arrangement complements
• Real homotopy theory of Kähler manifolds
• Rectification of algebras and modules
• Théorie de Hodge. II. (Hodge theory. II)
• Théorie de Hodge. III
• Weights in Cohomology Groups Arising from Hyperplane Arrangements

Cited in

(3)

• scientific article; zbMATH DE number 5230820 (Why is no real title available?)
• Étale cohomology, purity and formality with torsion coefficients
• scientific article; zbMATH DE number 3901631 (Why is no real title available?)

This page was built for publication: Homotopy transfer and formality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2115499)