Homotopy transfer and formality

DOI10.5802/AIF.3444zbMATH Open1491.55015arXiv1906.03475OpenAlexW4206225909MaRDI QIDQ2115499FDOQ2115499

Geoffroy Horel, Gabriel C. Drummond-Cole

Publication date: 17 March 2022

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

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.

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Étale cohomology, purity and formality with torsion coefficients
• Title not available (Why is that?)

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)