Related papers: Cyclic operad formality for compactified moduli sp…
Chas and Sullivan proved the existence of a Batalin-Vilkovisky algebra structure in the homology of free loop spaces on closed finite dimensional smooth manifolds using chains and chain homotopies. This algebraic structure involves an…
We set up a general framework for enriching a subcategory of the category of noncommutative sets over a category C using products of the objects of a non-\Sigma operad P in \C. By viewing the simplicial category as a subcategory of the…
We prove that the operad B of natural operations on the Hochschild cohomology has the homotopy type of the operad of singular chains on the little disks operad. To achieve this goal, we introduce crossed interval groups and show that B is a…
Two related constructions are studied: (1) The diagonal complex $\mathcal{D}$ and its barycentric subdivision $\mathcal{BD}$ related to a \textit{punctured} oriented surface $F$ equipped with a number of labeled marked points. (2) The…
Let O be a cyclic topological operad with multiplication. In the framework of the cosimplicial machinery by McClure and Smith, we prove that the totalization of the cosimplicial space associated to O has an action of an operad equivalent to…
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…
We give a direct proof that the proalgebraic graded Grothendieck-Teichm\"uller group $\mathsf{GRT}_{\mathbb{K}}$ is isomorphic to the group of automorphisms of the prounipotent cyclic operad of parenthesized ribbon chord diagrams based on…
A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic…
Usually bundle gerbes are considered as objects of a 2-groupoid, whose 1-morphisms, called stable isomorphisms, are all invertible. I introduce new 1-morphisms which include stable isomorphisms, trivializations and bundle gerbe modules.…
\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…
The goal of the present paper is to provide a mathematically rigorous foundation to certain aspects of rational orbifold conformal field theory, in other words the theory of rational vertex operator algebras and their automorphisms. Under a…
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model…
Any Batalin-Vilkovisky algebra with a homotopy trivialization of the BV-operator gives rise to a hypercommutative algebra structure at the cochain level which, in general, contains more homotopical information than the hypercommutative…
We construct the moduli stack of torsors over the formal punctured disk in characteristic p > 0 for a finite group isomorphic to the semidirect product of a p-group and a tame cyclic group. We prove that the stack is a limit of separated…
We prove that the chain operad of small squares is formal. This fact clarifies situation with the proof of M. Kontsevich formality theorem in the paper of the author math.QA/9803025, revised Sept 24. The formality of the operad follows…
We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are…
For an open-closed homotopy algebra (OCHA), the previous work indicates that there is an open-closed version of Hochschild cohomology with a canonical Gerstenhaber algebra structure. If this OCHA is further cyclic and unital in the sense of…
Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal…
The Swiss-Cheese operads, which encode actions of algebras over the little $n$-cubes operad on algebras over the little $(n-1)$-cubes operad, comes in several variants. We prove that the variant in which open operations must have at least…
We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable…