Skip to content
DraconiticResearch
Search Sources API
194,164 studies31 sourcesUpdated 12 min ago
PreprintCC BY 4.0HAL

Formality transmission

  • Coline Emprin
Open at sourcePDFDOICite

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.

Related

  1. Formality theorem with coefficients in a module
    Sophie Chemla
    Transformation GroupsPeer-reviewedLicence not statedGeneral mathematicsHAL
  2. Equivariant formality for rational Cpk-spaces
    Rekha Santhanam, Bittu Singh, Soumyadip Thandar
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  3. A quiver presentation of the type D arc algebras and intrinsic formality of 𝔻4
    Eliot Grimont
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  4. Multicomplexes in Action: Strong Formality of Compact Hyperkähler Manifolds
    Antonio Pio Contrò
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryGeometry & topologyarXiv
  5. Kaledin classes and formality criteria
    Coline Emprin
    Advances in MathematicsPeer-reviewedCC BY12 citedMathematical physicsOpenAlex

Cite

BibTeXRIS
BibTeX
@misc{emprin2026formality,
  title = {{Formality transmission}},
  author = {Coline Emprin},
  howpublished = {HAL},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.39767},
  eprint = {2610.39767},
  archivePrefix = {arXiv},
  url = {https://hal.science/hal-05845568v1},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Formality transmission
AU  - Coline Emprin
PY  - 2026
DA  - 2026/10/29
PB  - HAL
DO  - 10.48550/arxiv.2610.39767
UR  - https://hal.science/hal-05845568v1
AB  - 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.
ER  -