Related papers: Homotopy transfer and formality

In this paper we prove that the structure of strong homotopy properad transfers over left homotopy inverses and give explicit formulae for the induced structure.

We extend the geometric Hamilton-Jacobi formalism for hamiltonian mechanics to higher order field theories with regular lagrangian density. We also investigate the dependence of the formalism on the lagrangian density in the class of those…

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…

Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…

We study a mod $p^c$ analog of the notion of transfer for automorphic forms. Instead of existence of eigenforms, such transfers yield congruences between eigenforms but, like transfers, we show that they can be established by a comparison…

Let $\Hol_{x_0}^{{\bf n}} (\C\P^1, X)$ be the space of based holomorphic maps of degree ${\bf n}$ from $\C\P^1$ into a simply connected algebraic variety $X$. Under some condition we prove that the map $\map \Hol_{x_0}^{{\bf n}} (\C\P^1,…

We set up a homological algebra for N-complexes, which are graded modules together with a degree -1 endomorphism d satisfying d^N=0. We define Tor- and Ext-groups for N-complexes and we compute them in terms of their classical counterparts…

If P is a dg-operad acting on a dg-algebra A via algebra homomorphisms, then P acts on the Hochschild complex of A. In the more general case when P is a dg-prop, we show that P still acts on the Hochschild complex, but only up to coherent…

A theorem is proved to verify incremental stability of a feedback system via a homotopy from a known incrementally stable system. A first corollary of that result is that incremental stability may be verified by separation of Scaled…

We show that Willwacher's cyclic formality theorem can be extended to preserve natural Gravity operations on cyclic multivector fields and cyclic multidifferential operators. We express this in terms of a homotopy Gravity quasi-isomorphism…

We give a convenient reformulation, a slight generalization and some applications of the formality transfer theorem for DG-Lie algebras.

We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily p-divisible by passage to proper covers (for a fixed prime p). Under some extra conditions, we also show that p-torsion can be killed…

We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…

We show that the rational homotopy type of the complement of a toric arrangement is completely determined by two sets of combinatorial data. This is obtained by introducing a differential graded algebra over Q whose minimal model is…

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…

We use Galois group actions on \'etale cohomology to prove results of formality for dg-operads and dg-algebras with torsion coefficients. Our theory applies, among other related constructions, to the dg-operad of singular chains on the…

We use homotopy theory to define certain rational coefficients characteristic numbers with integral values, depending on a given prime number q and positive integer t. We prove the first nontrivial degree formula and use it to show that…

We prove a p-adic Labesse-Langlands transfer from the group of units in a definite quaternion algebra to its subgroup of norm one elements. More precisely, given an eigenvariety for the first group, we show that there exists an eigenvariety…

Network topology matrices are algebraic representations of graphs that are widely used in modeling and analysis of various applications including electrical circuits, communication networks and transportation systems. In this paper, we…

We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of…