Total Freedom
Posted by John Baez
Wow! I just learned an objective reason why sets and vector spaces are special!
Of course we all know math relies heavily on set theory and linear algebra. And if you know category theory, you can say various things about why the categories and are particularly convenient frameworks for calculation. But I’d never known a theorem that picks out these categories, and just a few others.
Briefly: these are categories of algebraic gadgets where all the objects are free!
- Keith A. Kearnes, Emil W. Kiss and Agnes Szendrei, Varieties whose finitely generated members are free.
We could call these ‘totally free’ algebraic gadgets.
By ‘algebraic gadgets’ I mean sets equipped with some -ary operations obeying equational laws. Examples include monoids, groups, rings, modules over a fixed ring, Lie algebras over a fixed field, etc.
There are three famous formalisms for studying algebraic gadgets. They all describe the same kinds of algebraic gadgets, so which you use is largely a matter of convenience:
varieties in the sense of universal algebra,
Lawvere theories, and
finitary monads on the category of sets.
Given any variety, or Lawvere theory, or finitary monad on the category of sets, we get a category of algebraic gadgets together with a functor
sending each gadget of this kind to its underlying set. And this functor will always have a left adjoint
sending any set to the free gadget on that set.
Steven Givant and later Kearnes, Kiss and Szendrei completely classified the varieties for which every object in is isomorphic to one of the form for some set . We could call these the totally free varieties:
- sets
- pointed sets
- modules over some fixed division ring
- affine spaces over some fixed division ring .
That’s all! (No, not quite.)
A commutative division ring is called a ‘field’, and a module over a field is called a ‘vector space’. The quaternions are a nice example of a noncommutative division ring. Anyone who has studied modules over the quaternions knows that these act a lot like vector spaces, in part because they’re all free.
An affine space over a field is, poetically speaking, just a vector space that has forgotten its origin. If you pick any point in the affine space and call it , you get a vector space. You can’t take linear combinations of points in an affine space, just ‘affine combinations’. These are -ary operations that obey a bunch of equational laws that I’m too lazy to list. But when your affine space comes from a vector space in the way I just described, these affine combinations can be written as linear combinations:
where the coefficients sum to one: . So, for example, if you have two points in an affine space you can get all the points on the line through them by taking affine combinations .
We can also do all this stuff with a division ring replacing a field! In fact, ‘field’ used to mean ‘division ring’, and the noncommutative ones were called ‘skew fields’.
Now, you’ll notice from what I said that a module over a division ring is just the same as a pointed affine space over — that is, an affine space over equipped with a chosen point. Similarly a pointed set is just a set with a chosen point. So we can list the totally free varieties in a more enlightening way:
- sets
- pointed sets
- affine spaces over a division ring
- pointed affine spaces over a division ring.
And this should remind us of the ‘field with one element’. We don’t know what the field with one element is, exactly, but we know that the modules of this mythical beast should be pointed sets. There are lots of reasons for that. Here we see another: it would unify the above classification!
Suppose we could go back in time, redefine ‘field’ to include division rings and also one extra thing: the ‘field with one element’, . We wouldn’t even need to know what is, just that that affine spaces over it are sets. Then this would be the complete classification of totally free varieties:
- affine spaces over a field
- vector spaces over a field.
That would be nice.
But of course, it’s sort of trivial that every set is the free set on some set. In this case our category of algebraic gadgets is just itself, and is the identity functor, so and the monad are also the identity.
This raises the question of ‘relativising’ the ideas I’ve been talking about, by replacing with some other category .
Puzzle. Give me as many interesting examples as you can of categories and monads such that every -algebra is free.
Of course we can always take to be the identity, but that’s boring.
A very interesting small step would be to stick with but drop the requirement that be finitary. This lets us talk about algebraic gadgets with infinitary operations. Are there any interesting ones where every -algebra is free?
But I’m more interested in other categories . For example, what if itself is , or the category of algebras of some other finitary monad on ?
Re: Total Freedom
On Mathstodon Oscar Cunningham wrote: