Related papers: Which homotopy algebras come from transfer?
We consider the classification problem for several classes of countable structures which are "vertex-transitive", meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that…
We show that the sum over planar trees formula of Kontsevich and Soibelman transfers C-infinity structures along a contraction. Applying this result to a cosimplicial commutative algebra A^* over a field of characteristic zero, we exhibit a…
In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type
We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…
We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…
Looking back over 55 years of higher homotopy structures, I reminisce as I recall the early days and ponder how they developed and how I now see them. From the history of $A_\infty$-structures and later of $L_\infty$ -structures and their…
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…
After the first heuristic ideas about `the field of one element' F_1 and `geometry in characteristics 1' (J.~Tits, C.~Deninger, M.~Kapranov, A.~Smirnov et al.), there were developed several general approaches to the construction of…
A well-known result of A. Vaintrob characterizes Lie algebroids and their morphisms in terms of homological vector fields on supermanifolds. We give an interpretation of Lie bialgebroids and their morphisms in terms of odd symplectic…
We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…
Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of…
In this survey article we discuss certain homotopy coherent enhancements of the coalgebra structure on cellular chains defined by an approximation to the diagonal. Over the rational numbers, $C_\infty$-coalgebra structures control the…
We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…
We introduce a model structure on the category of graphs, which is Quillen equivalent to the category of $\mathbb{Z}_2$-spaces. A weak equivalence is a graph homomorphism which induces a $\mathbb{Z}_2$-homotopy equivalence between their box…
In this article, we establish the compatibility between norms and transfers in motivic homotopy theory. More precisely, we construct norm functors for motivic spaces equipped with various flavours of transfer. This yields a norm monoidal…
In this paper we prove that if G is a connected, simply-connected, semi-simple algebraic group over an algebraically closed field of sufficiently large characteristic, then all the blocks of the restricted enveloping algebra (Ug)_0 of the…
We give numerous examples of almost Lie algebroids arising as Dirac structures in pre-Courant algebroids, e.g. from twisted Poisson structures, as well as from twisted actions of a Lie algebra. We moreover define a cohomology for them,…
We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…
We describe structure of quasihomomorphisms from arbitrary groups to discrete groups. We show that all quasihomomorphisms are 'constructible', i.e., are obtained via certain natural operations from homomorphisms to some groups and…
We examine functorial and homotopy properties of the exotic characteristic homomorphism in the category of Lie algebroids which was lastly obtained by the authors in [4]. This homomorphism depends on a triple (A,B,$\nabla$) where B…