Related papers: Free loop space and the cyclic bar construction

We show that the complex $C_\bullet X$ of rational simplicial chains on a compact and triangulated Poincar\'e duality space $X$ of dimension $d$ is an A$_\infty$ coalgebra with $\infty$ duality. This is the structure required for an…

In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define another type which encodes the space of loops based at this…

We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…

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 construct an $A_\infty$-structure on the two-sided bar construction involving homotopy Gerstenhaber algebras (hgas). It extends the non-associative product defined by Carlson and the author and generalizes the dga structure on the…

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

Let $Y$ be a CW-complex with a single 0-cell, $K$ its Kan group, a model for the loop space of $Y$, and let $G$ be a compact, connected Lie group. We give an explicit finite dimensional construction of generators of the equivariant…

For any space X with the homotopy type of simply-connected, finite-type CW-complex, we construct an associative cochain algebra fls(X) whose cohomology algebra is isomorphic to that of LX, the free loop space on X. For certain X, we define…

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…

We initiate the homotopical study of racks and quandles, two algebraic structures that govern knot theory and related braided structures in algebra and geometry. We prove analogs of Milnor's theorem on free groups for these theories and…

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 will construct differential forms on the embedding spaces Emb(R^j,R^n) for n-j>=2 using configuration space integral associated with 1-loop graphs, and show that some linear combinations of these forms are closed in some dimensions.…

The question was asked by Niranjan Ramachandran: how to describe the fundamental groupoid of LX, the free loop space of a space X? We give an answer by assuming X to be the classifying space of a crossed module over a group, and then…

Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent…

This paper is a sequel to [Caine A., Pickrell D., arXiv:0710.4484], where we studied the Hamiltonian systems which arise from the Evens-Lu construction of homogeneous Poisson structures on both compact and noncompact type symmetric spaces.…

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…

We give a short and streamlined proof of the following statement recently proven by the author and M. Zeinalian: the cobar construction of the dg coassociative coalgebra of normalized singular chains on a path-connected pointed space is…

In this paper, we study equivariant real cycle class maps for group actions on real schemes, with a view toward Witt-sheaf characteristic classes. The cycle class maps take values in singular cohomology of the real points of the quotient…

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,…

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…