… abstractly by the formula
Since each finite bijection induces a decomposition of as a disjoint union of subsets (setting and ), this coend formula may be simplified:
(For the remainder of this paragraph, categorical terms such as “category”, “functor”, “colimit”, etc. refer to their -enriched analogues.) The product preserves colimits in the separate arguments and (i.e., and are cocontinuous for all and ). Since and may be canonically presented as colimits of representables, one may define a symmetric monoidal structure on this product, uniquely up to monoidal isomorphism, so that the Yoneda embedding is a symmetric monoidal functor, i.e., so that there is a coherent isomorphism . In conjunction with the universal property of , we may state a universal property of : let be a (-)category which is symmetric monoidally cocomplete (meaning its monoidal product is separately cocontinuous), and let be an object of . Then there exists a cocontinuous symmetric monoidal functor sending to , and this functor is unique up to monoidal isomorphism.
This universal property may be exploited to yield a second monoidal structure on . Let denote the category of cocontinuous symmetric monoidal functors ; then the universal property may be better expressed as saying that the functor which evaluates a species at is an equivalence. In the case , the left-hand side of the equivalence carries a monoidal structure given by endofunctor composition. This monoidal structure transports across the equivalence to yield a monoidal product on , denoted by .
An explicit formula for is given as follows. Under one set of conventions, a -species may be regarded as a right module over the permutation category , so that the component carries an action . The -fold Day convolution carries, under the same conventions, a left -action . Thn the coend formula for may be written as
A special case of this “substitution product” is the analytic functor construction. For each object in there is a -species such that and otherwise. Letting denote the -fold tensor product in , we have
and otherwise; we write the right-hand side of the above equation as . This defines a functor , which we call the analytic functor attached to the species . We often commit an abuse of language and write for the analytic functor, thinking of the as a variable or placeholder for an argument, much as one abuses language by referring to a function .
The analytic functor determines, up to isomorphism, its generating species ; we describe this determination for the category of vector spaces over a ground field . Let denote the -degree component , and let be a vector space freely generated from a set whose cardinality equals that degree. Then the species value can be recovered as the subspace of spanned by equivalence classes of those expressions in which each occurs exactly once. We use the notations and interchangeably for these species values.
If , we have whenever exceeds the cardinality , in which case makes sense for finitely cocomplete. For general we have in that case
where the sum is indexed over ordered partitions of into nonempty subsets . The group permutes such ordered partitions in such a way that the orbits correspond to unordered partitions, which are tantamount to equivalence relations on . Let denote the set of such equivalence relations, and let denote the canonical projection of onto the set of -equivalence classes. Then the substitution product may be rewritten as
An operad in is a monoid in the monoidal category .
The unit for the monoidal product will be denoted ; it is defined by if , and where is the monoidal unit of . (We repeat that we also use as abusive notation for a placeholder or variable with values ranging over objects of .)
Clearly an operad induces a monad , which in turn restricts to the analytic monad along the embedding if is cocomplete. Many algebraic structures arising in practice are algebras of analytic monads. For , we have, e.g.,
The tensor algebra , denoted . The algebras of are associative algebras. The species value is the space freely generated from the set of linear orders on an -element set, with the evident -action.
The symmetric algebra , denoted . Algebras of are commutative associative algebras. The species value is the trivial 1-dimensional representation of .
The Lie operad may be presented as an operad generated by a binary operation , subject to the Jacobi relation and the alternating relation , where is a 3-cycle and is a 2-cycle. The algebras of the analytic monad are Lie algebras.
By way of contrast, Boolean algebras are not algebras of an analytic monad, since the equation inevitably involves the use of a diagonal map not available in .
Although analytic monads are obviously important, we stress that they are simply restrictions of monads , and that it is often more flexible to work in the latter setting. For example, if is only finitely cocomplete, then analytic monads cannot be defined in general; for example, the free commutative monoid construction does not define an analytic monad on finite-dimensional vector spaces. However, if is finitely cocomplete and is a -operad such that , then there is a monad acting on the orthogonal complement , i.e., the full subcategory of -species such that .
This situation occurs often. For example, consider the operad , whose -algebras are commutative monoids without unit. This operad induces a monad on where is the category of finite-dimensional vector spaces; the algebras are again commutative (-)monoids without unit. The operad itself can be regarded as the free commutative algebra without unit, , generated by the monoidal unit considered as living in the subcategory . For other reasons, Markl (see references) has also considered algebras over monads and , more general than algebras of analytic monads; he refers to the former as ”-modules”.
In the next few sections, we will reprise the beautiful work of Joyal which leads up to a computation of the Lie species . Our general methodology is to reinterpret Joyal’s approach via virtual species by appeal to dg-structures on finite-dimensional super vector spaces; ultimately we feel that a proper approach to virtual species should draw on the standard model category structure on this category.
A second point of our approach is to place Joyal’s calculations within the context of a particular bar construction. This will better enable us to compare these calculations with those of Ginzburg-Kapranov, which involve a slightly different bar construction.
From this section on, we fix a ground field of characteristic 0, and henceforth denotes the category of finite-dimensional vector spaces over .
To study the Lie operad , Joyal and others (see reference to Hinich and Schechtman) take as starting point the Poincaré-Birkhoff-Witt (PBW) theorem. If is a Lie algebra, then its universal enveloping algebra carries a canonical filtration, inherited as a quotient of the tensor algebra equipped with the degree filtration. Embedded in as a filtered subspace is the symmetric algebra , whose homogeneous components may be realized as images of symmetrizing operators acting on components :
We obtain a composite of maps of filtered spaces
and the PBW theorem concerns the application of the associated graded space functor to this composite (denoted ):
The graded map induces an isomorphism between and as graded spaces.
If is the free Lie algebra on , then (as algebras even) by an adjoint functor argument. Assembling some prior notation, it follows from PBW that there exists an isomorphism of analytic functors on :
which in turn determines a species-isomorphism, which componentwise is an isomorphism of -representations:
Notice both sides makes sense as -species. A guiding idea behind the species methodology is that the components of such species are structural analogues of coefficients of formal power series. This analogy can be made precise. Let denote the rig (ring without additive inverses) of isomorphism classes of -species, with given by coproduct and given by . Let denote the rig of formal power series
where the coefficients are natural numbers. This may be equivalently defined to be the rig of sequences of natural numbers where two sequences are multiplied according to the rule
The rigs and also have a partially defined composition operation , where is defined whenever . In the case of , it is of course the operation which is descended from the substitution product by passing to isomorphism classes.
(See reference to Joyal’s first paper on species) The function , sending to the sequence of coefficients , is a rig homomorphism which preserves the operation.
It follows from the proposition and the preceding species isomorphism that , since is the formal power series expansion of . We are interested in finding an appropriate lift of to a species in , and hence an identification between and the Lie species .
Before we construct the species , it is convenient to complete the rig to a ring. One proceeds exactly as in K-theory, where one passes from vector bundles to virtual bundles.
is the category of -graded finite-dimensional vector spaces, with monoidal product given by the formula
and symmetry given by the formula
for and .
Let and be -species. Then ( and are virtually equivalent) if as -species.
The realtion is an equivalence relation.
Transitivity follows from cancellation: implies . This in turn follows from the remark.
It is of course crucial here to work with finite-dimensional vector spaces throughout, in order to avoid the Eilenberg swindle.
The relation is respected by , , and .
The proof is left to the reader; see also references to Joyal and Yeh.
A virtual species is a virtual equivalence class of -species. The ring of equivalence classes is denoted .
Many of our calculations refer to manipulations in the ring of virtual species, but methodologically it is useful to distinguish the various ways in which virtual equivalences arise. Part of the philosophy behind species is that clarity is promoted and calculations are under good combinatorial control when power series operations , , and can be viewed as arising from categorified functorial operations , , and . Put differently, passage from to loses categorical information, and it helps to recognize when a virtual equivalence comes from an isomorphism in .
In practice, many virtual equivalences which do not come from isomorphisms in come about by applying the following remark.
This principle can be quite powerful. Its application does not commit one to any particular choice of differential structure on , so that one is enabled to choose differentials to suit the local occasion. The downside is that because there is no canonical way to split exact sequences, it is sometimes harder to give precise formulas that exhibit such virtual equivalences .
One of our goals is to lift the inversion
from the ring to the ring . In either ring, a necessary condition for to have an inverse (with respect to ) is that the coefficient be . Thus, instead of inverting , we invert . Suppose then that is a virtual inverse of :
If and are -species such that , then .
It is immediate that is the free commutative monoid in generated from , and the assertion says that the left adjoint preserves coproducts.
Defining to be
it follows that . In particular,
where of course is defined to be . The species is easily obtained from by the following result.
, where denotes the top exterior power of the vector space freely generated from .
The -species , which by definition is the unit with respect to , is given by and otherwise. Thus and otherwise. Hence
Now is 1-dimensional and is concentrated in degree (whence the sign ). A transposition in induces a sign change in , by definition of symmetry: . This proves the claim.
We proceed to compute the inverse to . Recalling an earlier remark, is the operad such that algebras of the monad (acting on -species such that ) are commutative algebras without unit.
The underlying species satisfies , (i.e., ). Joyal gives a general method due to G. Labelle for inverting such species. Introduce an operator
so that ; here denotes the identity functor. Observe that preserves sums, because is the restriction of a cocontinuous monoidal functor which thus preserves coproducts.
Let denote the bottom element of the lattice ordered by inclusion of equivalence relations. This is the discrete equivalence relation on , so that . We have
and since by our assumptions on , we may rewrite the right-hand side (up to virtual equivalence) as
Define the -species by the above expression, so that will be used to denote a functor on -species , in addition to an operator on . In particular, when , we have
In general, the iterate is a sum of the form
where terms are indexed by strictly increasing chains of equivalence relations on . As soon as , there are no chains of that length, so this sum will be empty. In this way, for each finite , for all sufficiently large , and so the expression
makes sense as a functor on -species .
We may now construct the inverse species :
which telescopes down to .
When carries an operad structure, this construction of admits a more categorical interpretation. Observe that there is an embedding
Let us regard the operad as a monoid with multiplication and unit . There is a (necessarily unique) operad map , called an augmentation, and this may be used to turn into a left -module and also into a right -module, in the usual way. We may thus form a two-sided bar construction , whose component in dimension is isomorphic to .
The bar construction is a simplicial object in an additive category, and hence gives rise to a -graded chain complex, where each differential is a signed sum of face maps of the form
By reduction of the grading, we may regard as a -graded chain complex, provided that the two components are taken as species valued in the category of (possibly infinite-dimensional) vector spaces.
However, since we are dealing with virtual species, we want to cut back to -valued species, where the components are finite-dimensional. To this end, notice that each of the maps restricts to a map
and the form a chain subcomplex. We regard this chain complex as our preferred bar construction for , or more precisely a right bar construction , as we now explain in more detail.
There is an exact sequence
making the functor , for an operad , analogous to tensoring on the right with an augmentation ideal of a group ring , sitting in an exact sequence
Here (resp. ) is regarded as a formal or virtual difference between and (resp. and ). In forming as
we interpret the additive inverse as the result of composing with the degree 1 shift operator acting on -graded species, which plays the structural role of additive inverse. Hence the construction for above is analogous to the normalized bar resolution
originally introduced by Eilenberg-Mac Lane (reference).
To give further weight to the sense in which is a bar construction, we assemble the components of into an acyclic chain complex of -species that will be a (right) -free resolution of the unit operad . Indeed, there is an embedding
where now is the degree component of the two-sided bar resolution (as simplicial object). Again, the face maps
restrict to maps
so that the are components of a subcomplex . This endows the -graded species with a dg-structure.
Then, we may regard the virtual equivalence
as arising from a homotopy equivalence between dg-species:
Indeed, we have an augmentation map between simplicial objects (regarding on the right as a constant simplicial object). This restricts to an augmentation map which, by the Dold-Kan correspondence, corresponds to a map between chain complexes as displayed above. To check that the augmentation is a homotopy equivalence, one checks that the standard contracting homotopy on , with components
restricts to a contracting homotopy on . In more detail, each component breaks up as a coproduct
We now return to our example and the construction of the inverse . By iterating the functor
we derive an expression of as the space whose basis elements are -fold chains of strict inclusions of equivalence relations
where denotes the top element of the lattice , namely the indiscrete equivalence relation with one equivalence class. Each such chain may be identified with an -fold chain in the poset , in other words as cells of dimension in the simplicial complex underlying the nerve of this poset. Let denote the set of cells of dimension (or rather the vector space it generates). Then for , we may identify the complex ,
It follows that is virtually equivalent to reduced homology of the simplicial complex associated with .
Now the lattice of equivalence relations is a geometric lattice, and a result of Folkman is that the reduced homology of such a lattice is trivial except in top degree; more exactly, Folkman’s result implies that the nerve of the poset is a bouquet of spheres of dimension , and the number of spheres is given by the value of Rota’s Möbius function on the lattice .
By the structural Euler formula, as given by the -graded chain complex is virtually equivalent to its homology, which in turn is equivalent to the reduced homology of . By Folkman’s theorem, the reduced homology of is concentrated in top degree , corresponding to the homology of sitting in degree .
The Lie species is isomorphic to .
Starting from the PBW theorem
we were led to the virtual equivalence
Applying Joyal’s rule of signs to the previous theorem, is virtually equivalent to
which boils down to . As virtual species, both this and the Lie species value are concentrated in degree . But if two -species concentrated in degree 0 are virtually equivalent, they are isomorphic.