Related papers: Higher structures in rational homotopy theory
Following a project of developing conventions and notations for informal type theory carried out in the homotopy type theory book for a framework built out of an augmentation of constructive type theory with axioms governing…
For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov…
We study the deformation theory of pre-symplectic structures, i.e. closed two-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_\infty$-algebra, which we…
Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…
The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute…
We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…
In this paper an algebraic model for unbased rational homotopy theory from the perspective of curved Lie algebras is constructed. As part of this construction a model structure for the category of pseudo-compact curved Lie algebras with…
The Kontsevich-Soibelman solution of the cyclic version of Deligne's conjecture and the formality of the operad of little discs on a cylinder provide us with a natural homotopy calculus structure on the pair (C^*(A), C_*(A)) ``Hochschild…
Our main objective is to demonstrate how homological perturbation theory (HPT) results over the last 40 years immediately or with little extra work give some of the Koszul duality results that have appeared in the last decade. Higher…
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…
We introduce a notion of Koszul A-infinity algebra that generalizes Priddy's notion of a Koszul algebra and we use it to construct small A-infinity algebra models for Hochschild cochains. As an application, this yields new techniques for…
In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…
The pure spinor superfield formalism reveals that, in any dimension and with any amount of supersymmetry, one particular supermultiplet is distinguished from all others. This "canonical supermultiplet" is equipped with an additional…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
In this paper we describe explicit $L_\infty$ algebras modeling the rational homotopy type of any component of the spaces $\map(X,Y)$ and $\map^*(X,Y)$ of free and pointed maps between the finite nilpotent CW-complex $X$ and the finite type…
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
This document is a reorganization of the results on the Master Thesis of the same title written by the author under the supervision of Dr. Christian Blohmann at the University of Bonn in 2014. There are three main results in this document.…
We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for $\mathbb{E}_\infty$ ring spectra. In…
Let $\Lambda=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $\Lambda$ is given in Green-Solberg.…
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…