106
$\begingroup$

I've heard of this many times, but I don't know anything about it.

What I do know is that it is supposed to solve the problem of the fact that the final object in the category of schemes is one-dimensional, namely $\mathop{\text{Spec}}\mathbb Z$.

So, what is the field with one element? And, what are typical geometric objects that descend to $\mathbb F_1$?

$\endgroup$
5
  • 1
    $\begingroup$ Perhaps f-1 should have its own tag... but may be absolute-motives? $\endgroup$ Oct 24, 2009 at 16:24
  • 2
    $\begingroup$ The problem with tag about F_1 is that it's not clear how to call it. f-1 looks like the "Help" button on Windows. And then how to make a non-arbitrary selection between f-1, f-un, f-one, field-with-one-element? $\endgroup$ Oct 24, 2009 at 16:26
  • 5
    $\begingroup$ I wasn't terribly happy with "f-1", but I don't care for "absolute-motives" either--sounds very scary for a phenomenon which has many elementary manifestations. $\endgroup$ Oct 24, 2009 at 16:35
  • $\begingroup$ Good point, you're right. $\endgroup$ Oct 24, 2009 at 16:43
  • $\begingroup$ I created the other f-1 tag too, and I have no preference among ilya's other suggestions, so if someone does have a preference, please feel free to change them. $\endgroup$ Oct 24, 2009 at 17:09

7 Answers 7

63
$\begingroup$

As other have mentioned, F_1 does not exist of a field. Tits conjectured the existence of a "field of characteristic one" F_1 for which one would have the equality G(F_1) = W, where G is any Chevalley group scheme and W its corresponding Weyl group.

Later on Manin suggested that the "absolute point" proposed in Deninger's program to prove the Riemann Hypothesis might be thought of as "Spec F_1", thus stating the problem of developing an algebraic geometry (and eventually a theory of motives) over it.

There are several non-equivalent approaches to F_1 geometry, but a common punchline might be "doing F_1 geometry is finding out the least possible amount of information about an object that still allows to speak about its geometrical properties". A "folkloric" introduction can be found in the paper by Cohn Projective geometry over F_1 and the Gaussian binomial coefficients.

It seems that all approaches so far contain a common intersection, consisting on toric varieties which are equivalent to schemes modeled after monoids. In the case of a toric variety, the "descent data" that gives you the F_1 geometry is the fan structure, that can be reinterpreted as a diagram of monoids (cf. some works by Kato). What else are F_1 varieties beyond toric is something that depends a lot on your approach, ranging from Kato-Deitmar (for which toric is all there is) to Durov and Haran's categorical constructions which contains very large families of examples. A somehow in-the-middle viewpoint is Soule's (and its refinement by Connes-Consani) which in the finite type case is not restricted only to toric varieties but to something slightly more general (varieties that can be chopped in pieces that are split tori). No approach is yet conclusive, so the definitions and families of examples are likely to change as the theory develops.

Last month Oliver Lorscheid and myself presented an state-of-the-art overview of most of the different approaches to F_1 geometry: Mapping F_1-land: An overview of geometries over the field with one element (sorry for the self promotion).

$\endgroup$
2
  • 4
    $\begingroup$ Also, I forgot to mention, next month there will be a workshop on F_1 geometry for young researchers at Granada. If you are interested check the website: ugr.es/~nc_alg/f1 $\endgroup$
    – javier
    Oct 24, 2009 at 18:23
  • 2
    $\begingroup$ This gets my +1 since it's much better informed than my own answer. $\endgroup$ Oct 24, 2009 at 23:38
27
$\begingroup$

Here's probably the simplest manifestation of the field-with-one-element phenomenon. Define a projective $n$-space of order $q$ to be a collection of points, lines, planes, etc. satisfying the usual incidence relations with the additional condition that every line has $q+1$ points on it, every plane has $q^2+q+1$ points on it, and so forth. For $q$ a prime power, all such spaces come from the usual definition of projective $n$-space $\Bbb P^n(\Bbb F_q)$ over a finite field.

But a projective $n$-space of order $1$ is precisely the Boolean algebra of subsets of a set with $n$ elements!

(This example is due to Henry Cohn, and it has the virtue that any theorems one wants to prove in this abstract setting don't depend on the value of $q$.)

$\endgroup$
3
  • 3
    $\begingroup$ Are you sure that the example is due to Henry Cohn? From what I have heard in lectures on F1 theory, including one lecture by Manin, this example was due to Jacques Tits. $\endgroup$
    – Anurag
    May 30, 2015 at 18:43
  • 3
    $\begingroup$ @Anurag: yes, sorry, I should've been more precise. I mean that I first heard of it from Henry Cohn (here: arxiv.org/abs/math/0407093). $\endgroup$ May 30, 2015 at 18:45
  • $\begingroup$ Thanks for the clarification and for the reference. My office mate works on this stuff and I think he would enjoy reading that article as well. $\endgroup$
    – Anurag
    May 30, 2015 at 18:49
26
$\begingroup$

Update: at the bottom there's a wonderful and fresh reference.


There's no field with one element in the literal sense, but there are constructions that work over different fields $\mathbb F_q$ and which sometimes make sense when $q=1$. Examples would include representation theory of $GL_n(\mathbb F_q)$ which, if I'm correct, becomes the representation theory of $S_n$ under that limit.

In particular, indeed, vector spaces — the objects on which $GL_n(\mathbb F_q)$ act — should become sets, the objects on which $S_n$ acts.

Though I'm not an expert on $\mathbb F_1$, I've encountered the viewpoint you're referring to. It's not hard to see why people expect $\mathbb F_1$ to be the universal base: you usually expect that $\mathop{\text{Spec}} \mathbb F_n \to \mathop{\text{Spec}} \mathbb F_m$ exists iff $m$ divides $n$, so $\mathop{\text{Spec}} \mathbb F_1$ should be terminal. Of course, things are not literally that simple, e.g. what is $\mathop{\text{Spec}} \mathbb Z \times \mathop{\text{Spec}} \mathbb Z$ over $\mathop{\text{Spec}} \mathbb F_1$?

Also, $\mathop{\text{Spec}} \mathbb Z$ should be thought of the object of dimension 3 (I think it has dualizing complex in degree 3, and primes are similar to 1-dimensional knots), so there's a pressing need for existence of some smaller scheme. That smaller scheme better "have real dimension 1" so we can claim that $\mathop{\text{Spec}} \mathbb Z$ is an algebraic curve over it. One then tries to compactify it.

When you get stuck geometrically, it helps to lose some information and go to zeta functions. There this approach leads to some direct conjectures. The problem with zeta functions is that everything is hard. Still, search for absolute zeta and you'll see some real things being discussed.

It's been called absolute motives in the works I read, I think by Manin, Kontsevich, and some IHES people. The search for kontsevich absolute motives brought me up the article that I found a while ago, math/0702206.

This is also somehow related to noncommutative geometry of Connes (endomotives), in fact I think $\mathbb F_1$ is one of his favorite ideas (also owes a lot to Soulé and other people of course) The two articles I found to be of special interest are 0806.2401 and 0809.2926.

Also, here's a blog post about $\mathbb F_1$ with link to the introductory paper. In fact there was a whole blog about $F_{un}$, which disappeared (articles, unfortunately, also disappeared from my RSS reader).


Here's a paper by Connes and Consani that seems to explain most the topics mentioned above:

Schemes over F1 and zeta functions, 0903.2024

$\endgroup$
1
  • 3
    $\begingroup$ Funnily, the answer was converted to community wiki because I (the author!) edited it too many times... $\endgroup$ Oct 24, 2009 at 18:19
15
$\begingroup$

There was a great series on this on neverending books. Sadly, the spin off website, "F_un mathematics" seems to have disappeared from the web.

$\endgroup$
6
  • 1
    $\begingroup$ Yes, I've been also looking for it in vain... $\endgroup$ Oct 24, 2009 at 16:06
  • 7
    $\begingroup$ It exists! It's just not a field. $\endgroup$
    – Ben Webster
    Oct 24, 2009 at 16:09
  • 3
    $\begingroup$ ...And so the quest for F_un continues... $\endgroup$ Oct 24, 2009 at 17:05
  • 4
    $\begingroup$ "F_un mathematics" spin off exists, it's just isn't a website $\endgroup$ Jan 19, 2013 at 11:42
  • 3
    $\begingroup$ No, it's active again: cage.ugent.be/~kthas/Fun $\endgroup$
    – Alex M.
    May 4, 2018 at 10:29
10
$\begingroup$

One of the many resources pointed out above linked to the unpublished preprint by Kapranov and Smirnov called Cohomology determinants and reciprocity laws: the number field case. It's posted page by page in jpgs, but it is definitely worth looking at. They work out the details of vector spaces over F_1^n in detail and also relate the classical power residue symbol to determinants of morphisms of these vector spaces.

$\endgroup$
4
  • $\begingroup$ do you have an alternative link for that paper? It doesn't seem to be working for me. $\endgroup$
    – Jacob Bell
    Oct 4, 2012 at 15:57
  • $\begingroup$ @Jason: I don't have another link, but if you find my e-mail from UCLA's website and send me a message, I'll send you the paper. $\endgroup$ Oct 4, 2012 at 21:06
  • 2
    $\begingroup$ Here is a link that works, but it is a bit annoying to read due to being a series of pictures: cage.ugent.be/~kthas/Fun/library/KapranovSmirnov.pdf $\endgroup$
    – Vincent
    Jun 21, 2017 at 9:54
  • $\begingroup$ The link in the answer no longer works and Wayback Machine does not help much, either. Perhaps it would be reasonable to replace it by the link mentioned in the previous comment (considering that the question was bumped anyway). $\endgroup$ Sep 1, 2023 at 5:51
9
$\begingroup$

Not an expert, but the idea is that there should be some "thing" over which we can define functors which, after base change, are schemes. Over this "thing", rings of integers should be literal curves. The big example of things that I know is that a vector space over F_1 (or F_un, if you're the sort who likes fun notation) is a pointed set. For more info, there have been some "This Week's Finds" posts about them, and also this series at neverendingbooks.

$\endgroup$
6
$\begingroup$

Charles mentioned "This Week's Finds" posts on the field with one element. There are a number of posts, but the following link is probably the best place to start.

$\endgroup$

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.