Related papers: A closer look at Kadeishvili's theorem

We give a new proof of the fact that Milnor-Witt K-theory has geometric transfers. The proof yields to a simplification of Morel's conjecture about transfers on contracted homotopy sheaves.

Kadeishvili's minimal model theorem establishes the existence of an $A_\infty$-structure, unique up to isomorphism, on the cohomology of a dg associative algebra, which captures its homotopy type. In this note we prove the existence of…

We introduce the concepts of branched coarse coverings and transfers between coarse homology theories along them. We show that various versions of coarse $K$-homology theories admit the additional structure of transfers. We show versions of…

Lada introduced strong homotopy algebras to describe the structures on a deformation retract of an algebra in topological spaces. However, there is no satisfactory general definition of a morphism of strong homotopy (s.h.) algebras. Given a…

This article provides a detailed and rigorous study of $4d$ semi-holomorphic Chern-Simons theories and their associated $2d$ integrable field theories from the homological perspective of $L_\infty$-algebras. Through the use of homotopy…

We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure.

These notes give a proof of the representability of homotopy invariant K-theory in the stable homotopy category of schemes (which was announced by Voevodsky). One deduces from the proper base change theorem in stable homotopy theory of…

We construct an $A_\infty$-structure on the two-sided bar construction involving homotopy Gerstenhaber algebras (hgas). It extends the non-associative product defined by Carlson and the author and generalizes the dga structure on the…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

This paper studies averaging algebras, say, associative algebras endowed with averaging operators. We develop a cohomology theory for averaging algebras and justify it by interpreting lower degree cohomology groups as formal deformations…

We relate R-equivalence on tori with Voevodsky's theory of homotopy invariant Nisnevich sheaves with transfers and effective motivic complexes.

The perturbation lemma and the homotopy transfer for L-infinity algebras is proved in a elementary way by using a relative version of the ordinary perturbation lemma for chain complexes and the coalgebra perturbation lemma.

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…

In the first part of the paper, we formulate several arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in the presence of ramification. The ramification comes from the choice of…

We prove that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This resolves a lingering foundational question about the transfer, which was originally defined in the late 1970s…

In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a…

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…

Early in the history of higher homotopy algebra, it was realized that Massey products are homotopy invariants in a special sense, but it was the work of Tornike Kadeisvili that showed they were but a shadow of an A-infinity-structure on the…

The Rumin algebra of a contact manifold is a contact invariant $C_\infty$-algebra of differential forms which computes the de Rham cohomology algebra. We recover this fact by giving a simple and explicit construction of the Rumin algebra…

We prove thst the deformation complex of a d-algebra (shifted by 1-d) carries a natural structure of (d+1)-algebra. This is a purely algebraic version of a similkar theorem of Kontsevich.