Related papers: Higher structures in rational homotopy theory

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

We prove that the algebra of closed differential forms in an (algebraic, formal, or analytic) disk with logarithmic singularities along several coordinate hyperplanes is (both nontopologically and topologically) Koszul. The connection with…

We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more…

We study the differential graded Lie algebra of endomorphisms of the Koszul resolution of a regular sequence on a unitary commutative $K$-algebra $R$ and we prove that it is homotopy abelian over $K$, while it is generally not formal over…

We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.

Several large classes of homogeneous spaces are known to be formal---in the sense of Rational Homotopy Theory. However, it seems that far fewer examples of non-formal homogeneous spaces are known. In this article we provide several…

In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for…

We give a new short proof that the wheeled operad of unimodular Lie algebras is Koszul and use this to explicitly construct its minimal resolution. A representation of this resolution in a finite dimensional vector space V we call a…

Arone and the second author showed that when the dimensions are in the stable range, the rational homology and homotopy of the high dimensional anologues of spaces of long knots can be calculated as the homology of a direct sum of finite…

We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and…

The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-L\"of into…

In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…

We survey the topology which led to the original bar and cobar constructions, for both associative algebras and coalgebras and for Lie algebras and commutative coalgebras. These constructions are often viewed as part of the larger theory of…

Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may…

In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a…

We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same…

Let $M$ be the $6$-manifold $M$ as the total space of the sphere bundle of a rank $3$ vector bundle over a simply connected closed $4$-manifold. We show that after looping $M$ is homotopy equivalent to a product of loops on spheres in…

We construct two algebraic versions of homotopy theory of rational disconnected topological spaces, one based on differential graded commutative associative algebras and the other one on complete differential graded Lie algebras. As an…

We prove that the factorization homologies of a scheme with coefficients in truncated polynomial algebras compute the cohomologies of its generalized configuration spaces. Using Koszul duality between commutative algebras and Lie algebras,…