Fun for Everyone
Posted by John Baez
There’s a been a lot of progress on the ‘field with one element’ since I discussed it back in “week259”. I’ve been starting to learn more about it, and especially its possible connections to the Riemann Hypothesis. This is a great place to start:
- Oliver Lorscheid, for everyone.
Abstract. This text serves as an introduction to -geometry for the general mathematician. We explain the initial motivations for -geometry in detail, provide an overview of the different approaches to and describe the main achievements of the field.
Lorscheid’s paper describes various approaches. Since I’m hoping the key to -mathematics is something very simple and natural that we haven’t fully explored yet, I’m especially attracted to these:
Deitmar’s approach, which generalizes algebraic geometry by replacing commutative rings with commutative monoids. A lot of stuff in algebraic geometry, like the ideals and spectra of commutative rings, or the theory of schemes, doesn’t really require the additive aspect of a ring! So, for many purposes we can get away with commutative monoids, where we think of the monoid operation as multiplication. Sometimes it’s good to use commutative monoids equipped with a ‘zero’ element. The main problem is that algebraic geometry without addition seems to be approximately the same as toric geometry — a wonderful subject, but not general enough to handle everything we want from schemes over .
Toën and Vaquié’s approach, which goes further and replaces commutative rings by commutative monoid objects in symmetric monoidal categories (which work best when they’re complete, cocomplete and cartesian closed). If our symmetric monoidal category is we’re back to commutative rings, if it’s we’ve got commutative monoids, but there are plenty of other nice choices: for example if it’s we get commutative rigs, which are awfully nice.
One can also imagine ‘homotopy-coherent’ or ‘-categorical’ analogues of these two approaches, which might provide a good home for certain ways the sphere spectrum shows up in this business as a substitute for the integers. For example, one could imagine that the ultimate replacement for a commutative ring is an algebra inside a symmetric monoidal -category.
However, it’s not clear to me that homotopical thinking is the main thing we need to penetrate the mysteries of . There seem to be some other missing ideas….
Lorscheid’s own approach uses ‘blueprints’. A blueprint is a commutative rig equipped with a subset that’s closed under multiplication, contains and , and generates as a rig.
I have trouble, just on general aesthetic grounds, believing that blueprints are final ultimate solution to the quest for a generalization of commutative rings that can handle the “field with one element”. They just don’t seem ‘god-given’ the way commutative monoids or commutative objects are. But they do various nice things.
Maybe someone has answered this already, since it’s a kind of obvious question:
Question. Is there a symmetric monoidal category in which blueprints are the commutative monoid objects?
Maybe something like the category of ‘abelian groups equipped with a set of generators’?
Of course you should want to know what morphisms of blueprints are, because really we should want the category of commutative monoid objects in to be equivalent to the category of blueprints. Luckily Lorscheid’s morphisms of blueprints are the obvious thing: a morphism is a morphism of commutative rigs with .
Anyway, there’s a lot more to say about , but Lorscheid’s paper is a great way to get into this subject.
Re: Fun for Everyone
With regard to the Riemann hypothesis, the point which seems to me to be crucial is what the analogue of the Frobenius morphism in characteristic should be. I don’t think any of the approaches to algebraic geometry over which have been tried so far have even any kind of suggestion for this.
Shai Haran’s work (see for example this paper and this one) is that which seems to me to be deepest with regard to this kind of question.
Some people are cynical about the approach to the Riemann hypothesis via . However, it is a truly beautiful picture, and a proof in this way would open up a new kind of mathematics, probably providing a way to make all kinds of dichotomies (e.g. mixed Hodge modules vs perverse sheaves) precise. Thus it is worth striving for.