Related papers: $L_\infty$ and $A_\infty$ structures: then and now
The present article is devoted to the study of transfers for $A_\infty$ structures, their maps and homotopies, as developed in \cite{Markl06}. In particular, we supply the proofs of claims formulated therein and provide their extension by…
This note was originated many years ago as my reaction to questions of several people how free strongly homotopy algebras can be described and what can be said about the structure of the universal enveloping A(m)-algebra of an L(m)-algebra,…
Higher structures - infinity algebras and other objects up to homotopy, categorified algebras, `oidified' concepts, operads, higher categories, higher Lie theory, higher gauge theory... - are currently intensively investigated in…
Homotopy coherence has a considerable history, albeit also by other names. We provide a brief semi-historical survey providing some links that may not be common knowledge.
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…
By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…
Higher bundles are homotopy coherent generalisations of classical fibre bundles. They appear in numerous contexts in geometry, topology and physics. In particular, higher principal bundles provide the geometric framework for higher-group…
Let $H$ be a cocommutative Hopf algebra. The notion of Lie $H$-pseudoalgebra is a multivariable generalization of Lie conformal algebras. In this paper, we study some higher structures related to Lie $H$-pseudoalgebras where we increase the…
We give explicit formulas for transfers of $A_\infty$-structures and related maps and homotopies in the most easy situation in which these transfers exist. One half of our formulas was already known to Kontsevich-Soibelman and to Merkulov…
We study the relationship between the higher Massey products on the cohomology $H$ of a differential graded algebra, and the $A_\infty$ structures induced on $H$ via homotopy transfer techniques.
We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…
Observations are inconsistent with a homogeneous and isotropic universe with ordinary matter and gravity. The universe is far from exact homogeneity and isotropy at late times, and the effect of the non-linear structures has to be…
These notes are based on a series of three lectures given (online) by the first named author at the workshop "Higher Structures and Operadic Calculus" at CRM Barcelona in June 2021. The aim is to give a concise introduction to rational…
Homotopy coherence has a considerable history, albeit also by other names. For this volume highlighting symmetries, the appropriate use is: Homotopy coherence of representations, at one time known as strong homotopy representations. We…
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then…
We study $A_{\infty}$-structures extending the natural algebra structure on the cohomology of $\oplus_n L^n$, where $L$ is a very ample line bundle on a projective $d$-dimensional variety $X$ such that $H^i(X,L^n)=0$ for $0<i<d$ and all…
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 characterize $A_\infty$-structures that are transfers over a chain homotopy equivalence or a quasi-isomorphism, answering a question posed by D. Sullivan. Along the way, we present an obstruction theory for weak $A_\infty$-morphisms over…
The search for higher homotopy Hopf algebras (known today as A_\infty-bialgebras) began in 1996 during a conference at Vassar College honoring Jim Stasheff in the year of his 60th birthday. In a talk entitled "In Search of Higher Homotopy…
This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.