Formality transmission
Coline Emprin
Source abstract
Across mathematics, formality results are usually established through general criteria rather than by constructing explicit equivalences. These criteria include domination, puncturing, highly-connected formality, intrinsic formality, formality descent, formality in families, purity, etc. In this article, we prove that all these criteria are instances of a single theorem, formality transmission. This unifying framework allows us to extend these criteria in several directions, beyond characteristic zero and to differential graded algebras over operads or properads, leading to diverse new formality results.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.