Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over commutative algebras, which we use to define the notion of a jet module. This in turn generalises the notion of a jet module over a module over a classical commutative algebra. We are able to define Atiyah classes (i.e. obstructions to the existence of connections) in this generalised context. We use certain model structures on the category of $A$-modules to study the properties of these Atiyah classes. The purpose of the paper is not to present any really deep theorem. It is more about the right concepts when dealing with modules over an algebra that is defined over an arbitrary operad, i.e. the aim is to show how to generalise various classical constructions, including modules of jets, the Atiyah class and the curvature, to the operadic context. For convenience of the reader and for the purpose of defining the notations, the basic definitions of the theory of operads and model categories are included.
Associative rings A, B are called Morita equivalent when the categories of left modules over them are equivalent. We call two classical linear operads P, Q Morita equivalent if the categories of algebras over them are equivalent. We transport a part of Morita theory to the operadic context by studying modules over operads. As an application of this philosophy, we consider an operadic version of the sheaf of linear differential operators ona a (super) manifold M and give a comparison theorem between algebras over this sheaf on M and M_{red}. The paper is dedicated to A.N.Tyurin on the occasion …
In this paper, we describe a general theory of modules over an algebra over an operad. We also study functors between categories of modules. Specializing to the operad E_d of little d-dimensional disks, we show that each (d-1)-manifold gives rise to a theory of modules over E_d-algebras and each bordism gives rise to a functor from the category defined by its incoming boundary to the category defined by its outgoing boundary. We describe how to assemble these categories into a map from a certain operad to the operad of (infinity)-categories.
We show that modular operads are equivalent to modules over a certain simple properad which we call the Brauer properad. Furthermore, we show that, in this setting, the Feynman transform corresponds to the cobar construction for modules of this kind. To make this precise, we extend the machinery of the bar and cobar constructions relative to a twisting morphism to modules over a general properad. This generalizes the classical case of algebras over an operad and might be of independent interest. As an application, we sketch a Koszul duality theory for modular operads.
This article aims at a detailed analysis of the PreLie operad. We obtain a more concrete description of the relationship between the anticyclic structure of PreLie and the generators of PreLie as a Lie-module, which was known before only at the level of characters. Building on this, we obtain an inclusion of the cyclic Lie module in the PreLie operad. We conjecture that the image of this inclusion generates an interesting free sub-operad.
The aim of the paper is to give an `elementary' introduction to the theory of modules over operads and discuss three prominent examples of these objects - simplex, associahedron (= the Stasheff polyhedron) and cyclohedron (= the compactification of the space of configurations of points on the circle). Keywords: (right) module over an operad, module associated to a cyclic operad, Koszul module over an operad.
In this article, we show under what additional ingredients a comp (or opposite) module over an operad with multiplication can be given the structure of a cyclic k-module and how the underlying simplicial homology gives rise to a Batalin-Vilkovisky module over the cohomology of the operad. In particular, one obtains a generalised Lie derivative and a generalised (cyclic) cap product that obey a Cartan-Rinehart homotopy formula, and hence yield the structure of a noncommutative differential calculus in the sense of Nest, Tamarkin, Tsygan, and others. Examples include the calculi known for the Ho…
Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be interpreted as a "rectification" result for Lurie operad algebras. A similar result is obtained for modules over operad algebras, as well as for algebras over topological PROPs.
Using methods of computer algebra, especially Gröbner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous) distributive law between the operad of Lie algebras and the operad of commutative associative algebras is given by the Livernet-Loday formula deforming the Poisson operad into the associative operad.
The structure of anticyclic operad on the Dendriform operad defines in particular a matrix of finite order acting on the vector space spanned by planar binary trees. We compute its characteristic polynomial and propose a (compatible) conjecture for the characteristic polynomial of the Coxeter transformation for the Tamari lattice, which is mostly a square root of this matrix.
Given a symmetric operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${\mathsf{U}_{\mathcal{P}}}$ is an associative algebra whose category of modules is isomorphic to the abelian category of $V$-modules. We study the notion of PBW property for universal enveloping algebras over an operad. In case $\mathcal{P}$ is Koszul a criterion for the PBW property is found. A necessary condition on the Hilbert series for $\mathcal{P}$ is discovered. Moreover, given any symmetric operad $\mathcal{P}$, together with a Gröbner basis $G$, a condition is given in…
We show that the family of chain modules over the standard simplices can be equipped with an operad structure. Similarly, the family of cochain modules of the Stasheff polytopes can be equipped with an operad structure. We first show that these operads are Koszul dual to each other, and second that they are both Koszul operads. The algebras over the standard simplices operad, called associative trialgebras, are defined by 3 operations and 11 relations. The algebras over the Stasheff polytopes operad, called dendriform trialgebras, are defined by 3 operations and 7 relations.
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 operad, on the category of modules over a fixed operad algebra. In Sections 2 - 6 we define the necessary structures and provide some standard comparison results. In Section 7 we define cotangent complex. In Section 8 we define a canonical structure of homotopy Lie algebra on the tangent complex.
The present article takes advantage of the properties of algebras in the category of S-modules (twisted algebras) to investigate further the fine algebraic structure of Hopf operads. We prove that any Hopf operad P carries naturally the structure of twisted Hopf P-algebra. Many properties of classical Hopf algebraic structures are then shown to be encapsulated in the twisted Hopf algebraic structure of the corresponding Hopf operad. In particular, various classical theorems of Lie theory relating Lie polynomials to words (i.e. elements of the tensor algebra) are lifted to arbitrary Hopf operad…
We make a first step towards categorification of the dendriform operad, using categories of modules over the Tamari lattices. This means that we describe some functors that correspond to part of the operad structure.
We introduce an anticyclic operad V given by a ternary generator and a quadratic relation. We show that it admits a natural basis indexed by planar binary trees. We then relate this construction to the familly of Tamari lattices (Y_n) for n>=0 by defining an isomorphism between V(2n+1) and the Grothendieck group of the category mod Y_n. This isomorphism maps the basis of V(2n+1) to the classes of projective modules and sends the anticyclic map of the operad V to the Coxeter transformation of the derived category of mod Y_n. One can then use Koszul duality and a Legendre transform to compute th…
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 with the contracting homotopy. To solve this problem, we develop the Koszul duality theory of operads in the category of modules over a cocommutative Hopf algebra. This gives rise to a simpler category of homotopy algebras and infinity-morphisms, which allows us to get a new description of the homotopy category of algebras over such operads. The main exampl…
We develop a higher genus version of Drinfeld associators by means of operad theory. We start by introducing a framed version of rational associators and Grothendieck-Teichmüller groups and show that their definition is independent of the framing data. Next, we define a framed version of the universal KZ connection and we use it to show that over the complex numbers, the rational framed Drinfeld torsor is not empty. Next, we concentrate on the higher genus version of this story. We define an operad module of framed parenthesized higher genus braidings in prounipotent groupoids and we define it…
We introduce notions of open-string vertex algebra, conformal open-string vertex algebra and variants of these notions. These are ``open-string-theoretic,'' ``noncommutative'' generalizations of the notions of vertex algebra and of conformal vertex algebra. Given an open-string vertex algebra, we show that there exists a vertex algebra, which we call the ``meromorphic center,'' inside the original algebra such that the original algebra yields a module and also an intertwining operator for the meromorphic center. This result gives us a general method for constructing open-string vertex algebras…
We study the operadic and categorical formulations of (conformal) full field algebras. In particular, we show that a grading-restricted $\R\times \R$-graded full field algebra is equivalent to an algebra over a partial operad constructed from spheres with punctures and local coordinates. This result is generalized to conformal full field algebras over $V^L\otimes V^R$, where V^L and V^R are two vertex operator algebras satisfying certain finiteness and reductivity conditions. We also study the geometry interpretation of conformal full field algebras over $V^L\otimes V^R$ equipped with a nondeg…
The works of Poincare, Birkhoff, Witt and Cartier, Milnor, Moore on the connected cocommutative Hopf algebras translated in the language of operads means that the triple of operads (Com, As, Lie) endowed with the Hopf compatiblity relation is good. In this paper, we focus on left dipterous (resp. right dipterous) algebras which are associative algebras with an extra left (resp. right) module on themselves and look for good triples were $As$ is replaced by the dipterous operad Dipt. Since the work of Loday and Ronco, the triple of operads (As, Dipt, B_\infty) endowed with the semi-Hopf compatib…
It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We classify their categorical algebras and describe these explicitly in terms of a finite list of functors, natural isomorphisms and coherence equations. In dimension two, the categorical algebras are braided monoidal categories with an anti-involution together with a pointed module category carrying a universal solution to the (twisted) reflection equation. Main exa…
Semi-infinite forms on the moduli spaces of genus-zero Riemann surfaces with punctures and local coordinates are introduced. A partial operad for semi-infinite forms is constructed. Using semi-infinite forms and motivated by a partial suboperad of the partial operad for semi-infinite forms, topological vertex partial operads of type $k<0$ and strong topological vertex partial operads of type $k<0$ are constructed. It is proved that the category of (locally-)grading-restricted (strong) topological vertex operator algebras of type $k<0$ and the category of (weakly) meromorphic ${\Bbb Z}\times {\…
Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region and give applications to subfactorss, including a planar construction of the $E_6$ and $E_8$ subfactors.
For a finitely-generated vertex operator algebra of central charge c, a locally convex topological completion is constructed. We construct on the completion a structure of an algebra over the operad of the c/2-th power of the determinant line bundle over the moduli space of genus-zero Riemann surfaces with ordered analytically parametrized boundary components. In particular, the completion is a module for the semi-group of the c/2-th power of the determinant line bundle over the moduli space of conformal equivalence classes of annuli with analytically parametrized boundary components. The resu…
The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods of homotopical algebra, in the formalisms of stable infinity-categories, stable model categories, and pretriangulated, idempotent-complete dg categories. We characterize the filtered stable infinity-category Fil(C) of a stable infinity-category C as the left exact localization of sequences in C along the infinity-categorical version of completion (and prove a…
Let $Z \subset \mathbb{A}^k$ be an affine scheme over $\C$ and $\J Z$ its jet scheme. It is well-known that $\mathbb{C}[\J Z]$, the coordinate ring of $\J Z$, has the structure of a commutative vertex algebra. This paper develops the orbifold theory for $\mathbb{C}[\J Z]$. A finite-order linear automorphism $g$ of $Z$ acts by vertex algebra automorphisms on $\mathbb{C}[\J Z]$. We show that $\mathbb{C}[\J^g Z]$, where $\J^g Z$ is the scheme of $g$--twisted jets has the structure of a $g$-twisted $\mathbb{C}[\J Z]$ module. We consider spaces of orbifold coinvariants valued in the modules $\mathb…
Let $\fg$ be a simple finite-dimensional complex Lie algebra with a Cartan subalgebra $\fh$ and Weyl group $W$. Let $\fg_n$ denote the Lie algebra of $n$-jets on $\fg$. A theorem of Rais and Tauvel and Geoffriau identifies the centre of the category of $\fg_n$-modules with the algebra of functions on the variety of $n$-jets on the affine space $\fh^*/W$. On the other hand, a theorem of Feigin and Frenkel identifies the centre of the category of critical level smooth modules of the corresponding affine Kac-Moody algebra with the algebra of functions on the ind-scheme of opers for the Langlands …
Algebra Situs is a branch of mathematics which has its roots in Jones' construction of his polynomial invariant of links and Drinfeld's work on quantum groups. It encompasses the theory of quantum invariants of knots and 3-manifolds, algebraic topology based on knots, operads, planar algebras, q-deformations, quantum groups, and overlaps with algebraic geometry, non-commutative geometry and statistical mechanics. Algebraic topology based on knots may be characterized as a study of properties of manifolds by considering links (submanifolds) in a manifold and their algebraic structure. The main …
We define a notion of category enriched over an oplax monoidal category $V$, extending the usual definition of category enriched over a monoidal category. Even though oplax monoidal structures involve infinitely many functors $V^n\to V$, defining categories enriched over $V$ only requires the lower arity maps $(n \leq 3)$, similarly to the monoidal case. The focal point of the enrichment theory shifts, in the oplax case, from the notion of $V$-category (given by collections of objects and hom-objects together with composition and unit maps) to the one of categories enriched over $V$ (genuine c…
In this paper, we classify all simple jet modules for the Neveu-Schwarz algebra $\widehat{\mathfrak{k}}$ and its contact subalgebra $\mathfrak{k}^+$. Based on these results, we give a classification of simple Harish-Chandra modules for $\widehat{\mathfrak{k}}$ and $\mathfrak{k}^+$.
We show that if the cochain complex computing Ext groups (in the category of modules over Hopf algebroids) admits a cocyclic structure, then the noncommutative Cartan calculus structure on Tor over Ext dualises in a cyclic sense to a calculus on Coext over Cotor. More precisely, the cyclic duals of the chain resp. cochain spaces computing the two classical derived functors lead to complexes that compute the more exotic ones, giving a cyclic opposite module over an operad with multiplication that induce operations such as a Lie derivative, a cap product (or contraction), and a (cyclic) differen…
