{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/non-formality-of-voronov-s-swiss-cheese","title":"Non-formality of Voronov's Swiss-Cheese operads","arxiv_id":"2303.16979","date":"2023-03-29","proceeding":null,"authors":["Najib Idrissi","Renato Vasconcellos Vieira"],"abstract":"The Swiss-Cheese operads, which encode actions of algebras over the little $n$-cubes operad on algebras over the little $(n-1)$-cubes operad, comes in several variants. We prove that the variant in which open operations must have at least one open input is not formal in characteristic zero. This is slightly stronger than earlier results of Livernet and Willwacher. The obstruction to formality that we find lies in arity $(2, 2^n)$, rather than $(2, 0)$ (Livernet) or $(4, 0)$ (Willwacher).","url_abs":"https://arxiv.org/abs/2303.16979v2","url_pdf":"https://arxiv.org/pdf/2303.16979v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"non-formality-of-voronov-s-swiss-cheese","repo_url":"https://github.com/nidrissi/non-formality-swiss-annex","is_official":1,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}