activity
20242026
most citedFormality of hypercommutative algebras of Kähler and Calabi-Yau manifolds

1 citations · 1 across the 4 of their papers we have counts for

collaborators

11 papers

math.AT2026

On the l-adic homotopy type of configuration spaces

Joana Cirici, Geoffroy Horel

We give algebraic models for the tame homotopy type of the configuration spaces of certain algebraic varieties of Tate type. Such tame models carry information on the l-adic homoto…

math.AT2026

Equivariant formality of the little disks operad

Pedro Boavida de Brito, Joana Cirici, Geoffroy Horel

The little -disks operad is and -equivariantly formal over the rationals. Equivalently, the oriented and unoriented framed little disks operads are rationally form…

math.AT2026

E2 formality via obstruction theory

Geoffroy Horel

We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a…

math.AT20261 cited

Formality of hypercommutative algebras of Kähler and Calabi-Yau manifolds

Joana Cirici, Geoffroy Horel

Any Batalin-Vilkovisky algebra with a homotopy trivialization of the BV-operator gives rise to a hypercommutative algebra structure at the cochain level which, in general, contains…

math.AT2025

Etale cohomology, purity and formality with torsion coefficients

Joana Cirici, Geoffroy Horel

We use Galois group actions on étale cohomology to prove results of formality for dg-operads and dg-algebras with torsion coefficients. Our theory applies, among other related con…

math.AT2025

Two remarks on spaces of maps between operads of little cubes

Geoffroy Horel, Manuel Krannich, Alexander Kupers

We record two facts on spaces of derived maps between the operads of little -cubes. Firstly, these mapping spaces are equivalent to the mapping spaces between the non-unit…