John Baez
Schur functors II

Preface

This is a paper that John Baez and Todd Trimble are writing, a kind of continuation of Schur functors I.

Introduction

The ring of symmetric functions, commonly called Λ, has a wealth of fascinating structure. It is not only a commutative ring, but also a ‘cocommutative coring’, and these structures are compatible in way that makes it into a ‘biring’. As noted by Tall and Wraith (ref), the category of birings has an interesting monoidal structure that makes Λ into is a monoid object. Borger and Wieland have dubbed a monoid object in the category of birings a ‘plethory’.

But what is Λ, and why is it a plethory? While Λ may be defined using generators and relations, a more elegant definition is also possible: it is the Grothendieck group of the category of ‘Schur functors’, which we denote by Schur This fact not only allows us to efficiently obtain the plethory structure on Λ, it allows us to ‘categorify’ all this structure: that is, to see it as present in the category Schur. That is our aim here.

In the usual treatment of Schur functors, five monoidal structures are studied on the category Schur. Four of these come from the fact that Schur is equivalent to the functor category

[,FinVect][\mathbb{P}, FinVect]

where is the ‘permutation groupoid’ (a skeleton of the groupoid of finite sets) and FinVect is the category of finite-dimensional vector space over a field k of characteristic zero. Direct sum and tensor product in FinVect thus give Schur two monoidal structures: given functors F,G:FinVect we may define

(FG)(V)=F(V)G(V)(F \oplus G)(V) = F(V) \oplus G(V)

and

(FG)(V)=F(V)G(V)(F \otimes G)(V) = F(V) \otimes G(V)

The first is usually called the ‘direct sum’ of Schur functors, while the second has been called the ‘Hadamard product’ (ref). Together, they make Schur into a rig category.

But Schur acquires two more monoidal structures coming from + and × in , with the help of a device known as ‘Day convolution’ (ref). (Here + means the monoidal structure coming from coproduct of finite sets, while × means the monoidal structure coming from product; of course these are not the product and coproduct in the groupoid .) The structure coming from + is usually called ‘multiplication’ of linear species, or ‘Cauchy product’, while the structure coming from × appears to have no standard name. Together, these additional monoidal structure make Schur into a rig in a second way.

One of our innovations is to treat the latter two monoidal structures as ‘co-operations’ rather than operations. This reveals that Schur has the structure of a biring category.

On the other hand, the category Schur is equivalent to a certain subcategory of endofunctors F:FinVectFinVect, the so-called ‘Schur functors’. The fact that Schur functors are closed under composition gives Schur a fifth monoidal structure: the ‘plethystic tensor product’. This makes Schur into a categorified plethory, which in turn makes Λ into a plethory.

Now, our use of finite-dimensional vector spaces above is somewhat arbitrary: Λ is also the Grothendieck group of

[,Vect][\mathbb{P}, Vect ]

where we drop the finite-dimensionality restriction on our vector spaces and work with all of Vect. This suggests that the plethory structure of Λ may emerge naturally from a categorified plethor structure on [,Vect]. In the following sections we sketch how such a categorified biring might be constructed, based on the assumption that there is a tensor product of cocomplete linear categories with good universal properties.

Birings and plethories

First, recall that a biring is a commutative ring R equipped with ring homomorphisms called coaddition:

coadd:RRRcoadd: R \to R \otimes R

cozero:

cozero:Rcozero: R \to \mathbb{Z}

co-additive inverse:

cominus:RRcominus: R \to R

comultiplication:

comult:RRRcomult: R \to R \otimes R

and the multiplicative counit:

counit:Rcounit: R \to \mathbb{Z}

satisfying the usual axioms of a commutative ring, but ‘turned around’.

More tersely, but also more precisely, a biring is a commutative ring object in the category CommRing op, also known as the category of ‘affine schemes’.

Equivalently, a biring is a commutative ring R equipped with a lift of the functor

hom(R,):CommRingSethom(R, -) : CommRing \to Set

to a functor

hom(R,):CommRingCommRinghom(R, -) : CommRing \to CommRing

As noted by Tall and Wraith (ref), birings form a monoidal category thanks to the fact that functors of this form are closed under composition. A monoid object in this monoidal category is called a plethory.

Categorified birings

Let us assume that given cocomplete linear categories X and Y, there is a cocomplete linear category XY such that:

  • There is a linear functor i:X×YXY which is cocontinuous in each argument.

  • For any cocomplete linear category Z, the category of linear functors XYZ is equivalent to the category of linear functors X×YZ that are cocontinuous in each argument, with the equivalence being given by precomposition with i.

With any luck these two assumptions will let us show that for any categories A and B,

(1)[A×B,Vect][A,Vect][B,Vect][A \times B, Vect] \simeq [A,Vect] \otimes [B, Vect]

where we use [,] to denote the functor category.

Assuming all this, we obtain the following operations on the category [,Vect]:

  1. Addition: form the composite functor

    [,Vect]×[,Vect][,Vect×Vect][,Vect][\mathbb{P}, Vect] \times [\mathbb{P}, Vect] \to [\mathbb{P}, Vect \times Vect] \to [\mathbb{P}, Vect]

    where the last arrow comes from postcomposition with

    :Vect×VectVect\oplus : Vect \times Vect \to Vect

    This composite is our addition:

    :[,Vect]×[,Vect][,Vect]\oplus : [\mathbb{P}, Vect] \times [\mathbb{P}, Vect] \to [\mathbb{P}, Vect]

    It’s really just the coproduct in [,Vect].

  2. Multiplication: first form the composite functor

    [,Vect]×[,Vect][,Vect×Vect][,Vect][\mathbb{P}, Vect] \times [\mathbb{P}, Vect] \to [\mathbb{P}, Vect \times Vect] \to [\mathbb{P}, Vect]

    where the last arrow comes from postcomposition with

    :Vect×VectVect\otimes : Vect \times Vect \to Vect

    This composite is our multiplication:

    :[,Vect]×[,Vect][,Vect]\otimes : [\mathbb{P}, Vect] \times [\mathbb{P}, Vect] \to [\mathbb{P}, Vect]

    Since this product preserves colimits in each argument, if we use the hoped-for universal property of the tensor product of cocomplete linear categories, we can reinterpret this as a cocontinuous functor

    :[,Vect][,Vect][,Vect]\otimes: [\mathbb{P}, Vect] \otimes [\mathbb{P}, Vect] \to [\mathbb{P}, Vect]
  3. Coaddition: Form the composite functor

    [,Vect][×,Vect][,Vect][,Vect][\mathbb{P}, Vect] \to [\mathbb{P} \times \mathbb{P} , Vect] \to [\mathbb{P}, Vect] \otimes [\mathbb{P}, Vect]

    where the first arrow comes from precomposition with the addition operation on (a restriction of the coproduct in FinSet), and the second comes from our hoped-for relation (1). This is our coaddition:

    coadd:[,Vect][,Vect][,Vect]coadd: [\mathbb{P}, Vect] \to [\mathbb{P}, Vect] \otimes [\mathbb{P}, Vect]
  4. Comultiplication: Form the composite functor

    [,Vect][×,Vect][,Vect][,Vect][\mathbb{P}, Vect] \to [\mathbb{P} \times \mathbb{P} , Vect] \to [\mathbb{P}, Vect] \otimes [\mathbb{P}, Vect]

    where the first arrow comes from precomposition with the multiplication operation on (a restriction of the product in FinSet), and the second comes from our hoped-for relation (1). This is our comultiplication:

    comult:[,Vect][,Vect][,Vect]comult: [\mathbb{P}, Vect] \to [\mathbb{P}, Vect] \otimes [\mathbb{P}, Vect]

The additive and multiplicative unit and counit may be similarly defined. Note that we are using rather little about and Vect here. For example, the category of ordinary species, [,Set], should also become a categorified biring if there is a tensor product of cocomplete categories with properties analogous to those assumed for cocomplete k-linear categories above. But we could also replace by any rig category. So, ‘biring categories’, or more precisely ‘birig categories’, should be fairly common.

The subtler features of [,Vect] arise from special features of that allow us to define the ‘plethystic tensor product’ on this category. This, in turn, is what makes Λ into a plethory.

References

  • J. Borger, B. Wieland, Plethystic algebra, Advances in Mathematics 194 (2005), 246–283. (web)

  • S. Joni and G. Rota, Coalgebras and bialgebras in combinatorics, Studies in Applied Mathematics 61 (1979), 93-139.

  • G. Rota, Hopf algebras in combinatorics, in Gian-Carlo Rota on Combinatorics: Introductory Papers and Commentaries, ed. J. P. S. Kung, Birkhauser, Boston, 1995.

  • D. Tall and G. Wraith, Representable functors and operations on rings, Proc. London Math. Soc. 3 (1970), 619–643.

Revised on May 12, 2011 07:47:41 by John Baez (137.132.250.12)