8
$\begingroup$

According to the nLab page, for an algebraic theory V a Tall–Wraith V-monoid is "the kind of thing that acts on V-algebras". Well, it certainly does act on V-algebras, but in which sense is it "the kind of thing"?

Can one express explicitly (in terms of elements and operations of the V-algebra) what is an action of the kind taken into account by TW-V-monoids?

In general TW-V-monoids do not form a variety, and they probably are not related to the structure of the set of endomorphisms of a V-algebra. But is it true that, for V a commutative theory, TW-V-monoids form a variety again, with operations given by those of V (applied pointwise on endomorphisms) plus the monoid structure coming from composition - i.e. the structure of the set endomorphisms?

(This plethory of questions remained after looking into Stacey/Whitehouse's "Hunting Hopf"-paper and the google-browsable parts of the Bergman/Hausknecht book, are there other references for the general V-algebra case?)

$\endgroup$
2
  • $\begingroup$ Incidentally, we have a new paper out that is a little more algebraic than the "hunting of the hopf ring" paper. You might find it interesting: math.ntnu.no/~stacey/Research/Preprints/free.html $\endgroup$ Feb 22, 2011 at 14:16
  • $\begingroup$ Thanks! I had noticed its appearance on the arXiv but didn't go after it. Now after this personal notification I took a look, and the paper looks so nice that it went straight to my reading agenda. It will have to queue there for some days, though... $\endgroup$ Feb 22, 2011 at 16:43

3 Answers 3

4
$\begingroup$

But is it true that, for V a commutative theory, TW-V-monoids form a variety again, with operations given by those of V (applied pointwise on endomorphisms) plus the monoid structure coming from composition - i.e. the structure of the set endomorphisms?

Yes, this is true. And the simplest example of a TW-V-monoid is where V is abelian groups whereupon TW-V-monoids are simply rings (unital, not necessarily commutative).

What led us to write our paper is that we couldn't find an accurate description of what we wanted (the full structure on unstable operations in a "generator-relation" type description). After a paper chase through near rings and composition rings, we finally came across Tall and Wraith's 1970 paper in PLMS and the Borger-Wieland paper. Neither was quite what we wanted, though, since the algebras from cohomology theories are more complicated than "mere" algebras. The Hunting of the Hopf Ring paper (we were sure that a referee was going to complain about the title, by the way) concentrates on those technicalities rather than trying to explain the simple details of TW V-monoids. We're currently writing another paper which tries to lay out the simpler ideas and which will include a proof of the commutative case (not that this is difficult).

The slogan "TW V-monoids are that-which-acts-on-V-monoids" is intended as an adaptation of the slogan "Rings are that-which-acts-on-abelian-groups". The story is more complicated because it is not automatic that Hom(V,V) is a TW V-monoid. One simple case where it is is when V is a finite ring, but in general one needs a Kunneth-type formula to hold. Nonetheless, it is quite easy to find lots of examples of TW V-monoids and the Tall-Wraith paper, and the Borger-Wieland paper contain plenty of examples (as will ours). The point about TW V-monoids being the thing that acts is that they are the representable things that act. The general idea is that whenever you have a set-with-structure acting on a V-algebra then there is an associated Tall-Wraith V-monoid. Of course, one might wonder why bother with that bloated gadget, but then one might wonder why bother with group rings when you already have the group.

I feel that this isn't really a sufficient answer, though. My problem is that we came at this with examples in hand that we already knew about and wanted some algebraic way of encoding the structure that we already had. As we couldn't find such a description, we invented one (and we hope that Tall and Wraith don't object to the approbation of their names!). So for us, the intuition is all in cohomology operations and not in "bare algebra". If you can expand on what you are looking for a little, I may be able to refine my answer somewhat.

$\endgroup$
3
  • $\begingroup$ Thanks for the answer! I am looking forward to reading your paper! I am asking this because I am kind of in a brainstorming phase, wanting to glue all kinds of algebraic structures (with motivations from nr. theory and logic). In particular I would like to get some conceptual understanding of Durov's work. The theory of commutative monads is a many-sorted algebraic theory. Is it the variety of TW-V-monoids of some commutative theory? $\endgroup$ Oct 30, 2009 at 13:54
  • 1
    $\begingroup$ "Tall-Wraith monoids" sound kind of ominous actually. Perhaps I will dress up as a tall-wraith monoid for Halloween ... $\endgroup$ Oct 30, 2009 at 14:46
  • $\begingroup$ Don't forget to wear an eye-patch! All I can say is, how could we resist with the possibility of a name like that? $\endgroup$ Oct 30, 2009 at 15:57
2
$\begingroup$

I don't know the paper well enough but the notion of plethory in
J. Borger, B. Wieland, Plethystic algebra, Advances in Mathematics 194/2 (2005), pp 246-283
(which is available from Borger's website) is I think pretty much the notion of Tall-Wraith monoid for commutative rings so it might be worth a look to see if why a plethory is "the thing" that acts on commutative rings is better explained there and if it is whether it makes it clear why this should be true in general.

$\endgroup$
2
  • $\begingroup$ I was aware of the paper (see the pun in my question), and I know of no conceptual explanation in there, but I should probably read it anyway... $\endgroup$ Oct 30, 2009 at 2:43
  • $\begingroup$ Yeh - I noticed the pun but wasn't sure if it was deliberate or not ;) I also figured (given Leiden) that you knew of the paper but thought I'd point it out anyway. $\endgroup$ Oct 30, 2009 at 2:49
1
$\begingroup$

If I read the nLab page correctly, the TW V-monoids turn out to be the monads T on the category of V-algebras such that the underlying functor T: V-Alg -> V-Alg preserves colimits.

You could say that monads on V-Alg the things that act on it; these are just particularly nice actions.

Edited to address Peter's comment: The nLab page does not say what I said. But what I think happens is that the underlying functor T: V-Alg -> V-Alg has a right adjoint C. It is formal that C is a comonad. I believe that in this algebraic setting (edit: no this happens always), T-algebras turn out to be the same thing as C-coalgebras.

The functor C: V-Alg -> V-Alg is the gadget that is "corepresentable"; that is, there is a co-V-object P in V-Alg such that

CA = Hom(P, A)

for any V-algebra A.

This is certainly what happens in the case I understand best: plethories (as mentioned in Greg's answer).

$\endgroup$
2
  • $\begingroup$ Aha, true, they are monads, this also proves the remark that modules over TW-V-monoids form varieties again. But you still have to say that they are representable, or is this automatic somehow? And where did you read off the colimit preservation? $\endgroup$ Oct 30, 2009 at 2:21
  • $\begingroup$ Part of this is general nonsense about locally presentable categories, such as V-Alg, the category of models of an algebraic theory: in general the category of co-W-objects in V-Alg is the same as Hom^L(W-Alg, V-Alg)--the category of functors which are left adjoints, or equivalently preserve all colimits. $\endgroup$ Oct 30, 2009 at 16:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.