sga4hipsters – neverendingbooks

If Chad Orzel is able to teach quantum theory to his dog, surely it must be possible to explain schemes, stacks, toposes and motives to hipsters?

Perhaps an idea for a series of posts?

It’s early days yet. So far, I’ve only added the tag sga4hipsters (pun intended) and googled around for ‘real-life’ applications of sheaves, cohomology, and worse.

Sooner or later one ends up at David Spivak’s MIT-webpage.

David has written a book “category theory for scientists” and has several papers on applications of category theory to databases.

There’s also this hilarious abstract, reproduced below, of a talk he gave in 2007 at many cheerful facts.

If this guy ever decides to write a novel, I’ll pre-order it on the spot.

Presheaf, the cobbler.
by David Spivak

Children have always loved colimits.

Whether it be sorting their blocks according to color, gluing a pair of googly eyes and a pipe-cleaner onto a piece of yellow construction paper, or simply eating a peanut butter sandwich, colimits play a huge role in their lives.

But what happens when their category doesn’t have enough colimits?

In today’s ”ownership” society, what usually happens is that the parents upgrade their child’s category to a Presheaf category. Then the child can cobble together crazy constructions to his heart’s content.

Sometimes, a kid comes up to you with an FM radio she built out of tinkertoys, and says
”look what I made! I call it ’182 transisters, 11 diodes, 6 plastic walls, 3 knobs,…’”

They seem to go on about the damn thing forever.

Luckily, Grothendieck put a stop to this madness.

He used to say to them, ever so gently, ”I’m sorry, kid. I’m really proud of you for making this ’182 transistors’ thing, but I’m afraid it already has a name. It’s called a radio.

And thus Grothendieck apologies were born.

Two years later, Grothendieck topologies were born of the same concept.

In this talk, I will teach you to build a radio (that really works!) using only a category of presheaves, and then I will tell you about the patent-police, known as Grothendieck topologies.

God willing, I will get through SGA 4 and Lurie’s book on Higher Topos Theory.”

Further reading:

David Spivak’s book (old version, but freely available) Category theory for scientists.

The published version, available from Amazon.

Leave a Comment

Nature (the journal) asked David Mumford and John Tate (of Fields and Abel fame) to write an obituary for Alexander Grothendieck.

Probably, it was their first experience ever to get a paper… rejected!

What was their plan?

How did they carry it out?

What went wrong?

And, can we learn from this?

the plan

Mumford and Tate set themselves an ambitious goal. Although Nature would have been happiest with a purely biographical note, they seized the opportunity to explain three ‘simple’ things to a wider audience: (1) schemes, (2) category theory, and, (3) cohomology…

“Since the readership of Nature were more or less entirely made up of non-mathematicians, it seemed as though our challenge was to try to make some key parts of Grothendieck’s work accessible to such an audience. Obviously the very definition of a scheme is central to nearly all his work, and we also wanted to say something genuine about categories and cohomology.”

1. Schemes

Here, the basic stumbling block, as Mumford acknowledged afterwards, is of course that most people don’t know what a commutative ring is. If you’ve never encountered a scheme before in broad daylight, I’m not certain this paragraph tells you how to recognise one:

“… In simplest terms, he proposed attaching to any commutative ring (any set of things for which addition, subtraction and a commutative multiplication are defined, like the set of integers, or the set of polynomials in variables x,y,z with complex number coefficients) a geometric object, called the Spec of the ring (short for spectrum) or an affine scheme, and patching or gluing together these objects to form the scheme. …”

2. Categories

Here they do a pretty good job, I think. They want to explain Grothendieck’s ‘functor of points’ and the analogy they used with several measuring experiments is neat:

“… Grothendieck used the web of associated maps — called morphisms — from a variable scheme to a fixed one to describe schemes as functors and noted that many functors that were not obviously schemes at all arose in algebraic geometry.

This is similar in science to having many experiments measuring some object from which the unknown real thing is pieced together or even finding something unexpected from its influence on known things….”

3. Cohomology

Here, Mumford “hoped that the inclusion of the unit 3-sphere in $\mathbb{C}^2- \{ (0,0) \}$ would be fairly clear to most scientists and so could be used to explain the Mike Artin’s breakthrough that $H^3_{et}(\mathbb{A}^2 – \{ (0,0) \}) \not= 0$.”

I’d love to know the fractional odds an experienced bookmaker would set in case someone (not me!) wants to bet on them successfully getting this message across.

“… Using complex coordinates (z,w), a plane has four real dimensions and taking out a point, what’s left is topologically a three dimensional sphere. Following the inspired suggestions of Grothendieck, Artin was able to show how with algebra alone that a suitably defined third cohomology group of this space has one generator, that is the sphere lives algebraically too. Together they developed what is called étale cohomology at a famous IHES seminar. …”

the aftermath

The good news is that Nature will still publish the Tate-Mumford obit, is some form or another, next week, on januari 15th. According to Mumford they managed to sneak in three examples of commutative rings in passing: polynomials, dual numbers and finite fields.

what went wrong?

The usual?

We mathematicians are obsessed with getting definitions right. We truly believe that no-one can begin to understand the implications of an idea if we don’t teach them the nitty gritty details of our treasured definitions first.

It appears that we are alone on this.

Did physicists smack us in the face with the full standard-model Lagrangian, demanding us to digest the minute details of it first, before they could tell us they had discovered the Higgs boson?

No, most scientists know how to get a message across. You need 3 things:

– a catchy name (the ‘God Particle’)

– good graphics (machines at CERN, collision pictures)

– a killer analogy (the most popular, in relation to the Higgs particle, seems to be “like Maggie Tatcher walking into a room”…)