# What is "Field with One Element"?

I was reading the Wikipedia article about The Field with One Element and I came across the following quotes:

"...$$F_1$$ refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects."

"most proposed theories of $$F_1$$ replace abstract algebra entirely"

I wonder what would the definitions of Algebraic Structures like fields, vector spaces, groups, rings..etc look like if The Field with One Element does exist?

is "The Field with One Element" itself, if does exist, an Algebraic Structure?

– lhf
Commented Oct 30, 2015 at 11:23
• For your consideration: youtu.be/x95hJ6F87fw?t=59m59s Commented Oct 30, 2015 at 11:29
• @AlexYoucis - I was thinking of exactly the same thing! Commented Oct 30, 2015 at 11:47
• @HaiderAtrah I mean, not to be snarky, but what precisely do you even mean by that? What is your definition of an 'algebraic structure'? It does not exist as a scheme in any reasonable sense. It may exist, from what I've heard, in the context of 'generalized rings', but these objects were constructed largely to contain this the theory $\mathbb{F}_1$. The oft cited paper is this one (where the notion was developed). Another good thing to look at if you want to get an idea for the possible uses of $\mathbb{F}_1$ this article of Conne's is nice Commented Oct 30, 2015 at 12:50
• click here. Another good reference for ideas is this article. Of course, someone else might be able to say something more reasonable. Commented Oct 30, 2015 at 12:52

As an example, the Weil conjectures for curves state that for a smooth algebraic curve $$C$$ over a finite field $$\mathbb{F}_q$$, the number of points of $$C$$ defined over $$\mathbb{F}_{q^n}$$ differs from $$q+1$$ by at most $$2g\sqrt{q^n}$$. This is an arithmetic problem, counting the number of solutions to equations defined over finite fields, but it has a beautiful solution using algebraic geometry, utilising the $$2$$ dimensional geometric object $$C\times C$$ to do intersection theory.
To my knowledge, one of the main driving forces behind the desire for a theory of a field with one element is to replicate this argument, viewing $$\mathbb{Z}$$ as an algebra over $$\mathbb{F_1}$$ (whatever this means), if there was a sufficiently developed theory that worked as expected, so we had an "intersection theory", then an analogous argument could be used to prove the Riemann Hypothesis, which is the analogue of the Weil conjecture for curves.
So a good theory of $$\mathbb{F}_1$$ would allow one to make sense of $$\mathbb{Z}\otimes_{\mathbb{F}_1}\mathbb{Z}$$, and would be sufficiently precise to develop intersection theory and the estimates needed to make the above argument work.