jump to navigation

The Field With One Element August 14, 2007

Posted by Noah Snyder in crazy ideas, Mathcamp.

During the fifth week of Mathcamp we let the campers vote on which classes they want to take, and so there’s often a few difficult but exciting classes. One that I attended (along with our own Scott Carnahan) was Mike Shulman’s on the field with one element.

The first day of the class was a delightful trip through counting problems in finite dimensional linear algebra. He derived the formulae for the number of flags and for the number of subspaces of a given dimension. Things were set up well enough that one of the students pointed out the analogy with factorials on his own. The first day ended with the fact that the q=1 limit of these formula gives formulas from combinatorics. This motivated the goal of finding a definition for the field of one element whose linear algebra is combinatorics.

The next two days were a bit trickier going, Mike gave a definition of the field with one element taken from the recent giant paper by Nikolai Durov. The key notion here is a module over an algebraic theory. This notion is very similar to that of an algebra over an operad.

An algebraic theory is collection of n-ary operations together with a rule for composing them. Think of an n-ary operation as a machine with n inputs and 1 output, composition is a way of plugging some operations into another. However, the big difference with operads is that in a theory you can plug the same thing into different holes, or plug an output into no input at all. The only two requirements are the existence of an identity 1-ary operation and associativity of composition.

The basic examples are all similar to the examples of operads. Mike mostly concentrated on the example of R-modules. Here the n-ary operations are \left[r_1, r_2, ... r_n\right]: r_1 x_2 + r_2 x_2 + ... + r_n x_n with the r’s in some ring R. The rule for composition is (just one simple example to illustrate the general rule) \left[a,b\right](\left[c,d\right],\left[e\right]) = a(cx_1+dx_2)+bex_3 = \left[ac, ad, be\right].

A module over a theory is a like an algebra over an operad. It is a way of plugging in actual elements of some set into the inputs and getting an actual output. For the theory of R-modules, a module over the theory is just an R-module.

If R is a commutative ring, then the theory of R-modules has a rather surprising property, namely it is a “commutative theory.” That is,

Let’s give some examples of what it means for the theory of R-modules to be commutative. 1-ary operations commuting with each other is equivalent to commutativity of multiplication. The 0-ary operation 0 commuting with 1-ary operations says that 0a=0. 1-ary operations commuting with 2-ary operations gives distributivity. 2-ary operations commuting with 2-ary operations (combined with cleverly plugging in 0) yields associativity of addition. (You should work these out yourself.)

When is a commutative theory just the theory of R-modules for some ring R? First off, there needs to be 0, which means that there’s a unique 0-ary operation [ed. Mike points out that uniqueness follows from existence]. Having an addition turns out to be shockingly week, all you need is a 2-ary operation with the property that 0+a = a = a+0. That plus commutativity gives all the necessary properties of addition! This is enough to force the theory to be R-modules for some rig R. Getting a minus requires a certain 1-ary operation -.

The field with 1 element is just the initial commutative theory with 0 (but not with addition). That is it has n+1 different n-ary operations, one of which is called 0 and picks out a marked point, and the other n pick out each of the n different points. Here’s one example of such an n-ary operation where only one of the inputs gets sent through and the others are ignored:

Modules over the field with 1 element are just modules over this theory. It is easy to see that these are just pointed sets.

About these ads


1. John Armstrong - August 14, 2007

I actually like the next step. Morally, it goes like this: vector spaces are pointed affine spaces, so affine spaces over the field with one element are sets.

There was a whole big discussion of this over at the n-Category Café you might like to skim.

2. The geometry of Soergel bimodules « Secret Blogging Seminar - August 23, 2007

[...] groups (as best expressed by Jacques Tit’s theory of (B,N)-pairs). Those of you who enjoyed Noah’s post might note that this is one way of understanding the idea that the symmetric group is over the [...]

3. Looking for F_un - September 22, 2008

[...] are a few I know of : David Corfield at the n-category cafe and at his old blog, Noah Snyder at the secret blogging seminar, Kea at the Arcadian functor, AC and K. Consani at Noncommutative geometry and John Baez wrote [...]

4. Durov2007 - September 22, 2008

[...] The field with one element at the Secret Blogging Seminar. [...]

5. secret blogging seminar on F_un | phantom mathematics - October 1, 2008

[...] Snider has a nice post on the field with one element at the Secret Blogging Seminar on Durov’s [...]

6. one week F_un blogging | F_un mathematics - October 10, 2008

[...] to remove links to other blogs which resulted in a few unwanted trackbacks in the comments of the Field with one element post over at the Secret Blogging [...]

7. Young diagrams, q-analogues, and one of my favorite proofs « Annoying Precision - June 11, 2009

[...] discussion of this idea at the Wikipedia article, week186, week259, the n-category cafe, the Secret Blogging Seminar, Neverending Books, …. In any case, isn’t it great that mathematicians can think about [...]

8. New survey on Durov’s approach to the field with one element « Motivic stuff - August 29, 2009

[...] For more on the field with one element, see F_un Mathematics. Durov’s work has also been discussed earlier at the n-category cafe and the Secret Blogging Seminar. [...]

9. Do We Need Mysticism In Theory? « Gödel’s Lost Letter and P=NP - August 23, 2012

[...] I am puzzled. See these for more comments on the idea: Peter Cameron here, Noah Snyder here, and Lieven Le Bruyn here. The last one has the most fun with what is also called in a [...]

Sorry comments are closed for this entry


Get every new post delivered to your Inbox.

Join 610 other followers

%d bloggers like this: