field with one element

In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F₁, or, in a French–English pun, F_un. The name "field with one element" and the notation F₁ are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F₁ 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. Many theories of F₁ have been proposed, but it is not clear which, if any, of them give F₁ all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one.

Most proposed theories of F₁ replace abstract algebra entirely. Mathematical objects such as vector spaces and polynomial rings can be carried over into these new theories by mimicking their abstract properties. This allows the development of commutative algebra and algebraic geometry on new foundations. One of the defining features of theories of F₁ is that these new foundations allow more objects than classical abstract algebra does, one of which behaves like a field of characteristic one.

The possibility of studying the mathematics of F₁ was originally suggested in 1956 by Jacques Tits, published in , on the basis of an analogy between symmetries in projective geometry and the combinatorics of simplicial complexes. F₁ has been connected to noncommutative geometry and to a possible proof of the Riemann hypothesis.

History

In 1957, Jacques Tits introduced the theory of buildings, which relate algebraic groups to abstract simplicial complexes. One of the assumptions is a non-triviality condition: If the building is an ''n''dimensional abstract simplicial complex, and if , then every ''k''simplex of the building must be contained in at least three ''n''simplices. This is analogous to the condition in classical projective geometry that a line must contain at least three points. However, there are degenerate geometries that satisfy all the conditions to be a projective geometry except that the lines admit only two points. The analogous objects in the theory of buildings are called apartments. Apartments play such a constituent role in the theory of buildings that Tits conjectured the existence of a theory of projective geometry in which the degenerate geometries would have equal standing with the classical ones. This geometry would take place, he said, over a ''field of characteristic one''. Using this analogy it was possible to describe some of the elementary properties of F₁, but it was not possible to construct it.

After Tits' initial observations, little progress was made until the early 1990s. In the late 1980s, Alexander Smirnov gave a series of talks in which he conjectured that the Riemann hypothesis could be proven by considering the integers as a curve over a field with one element. By 1991, Smirnov had taken some steps towards algebraic geometry over F₁, introducing extensions of F₁ and using them to handle the projective line P¹ over F₁. Algebraic numbers were treated as maps to this P¹, and conjectural approximations to the Riemann–Hurwitz formula for these maps were suggested. These approximations imply solutions to important problems like the abc conjecture. The extensions of F₁ later on were denoted as F_''q'' with . Together with Mikhail Kapranov, Smirnov went on to explore how algebraic and number-theoretic constructions in prime characteristic might look in "characteristic one", culminating in an unpublished work released in 1995. In 1993, Yuri Manin gave a series of lectures on zeta functions where he proposed developing a theory of algebraic geometry over F₁. He suggested that zeta functions of varieties over F₁ would have very simple descriptions, and he proposed a relation between the Ktheory of F₁ and the homotopy groups of spheres. This inspired several people to attempt to construct explicit theories of F₁geometry.

The first published definition of a variety over F₁ came from Christophe Soulé in 1999, who constructed it using algebras over the complex numbers and functors from categories of certain rings. In 2000, Zhu proposed that F₁ was the same as F₂ except that the sum of one and one was one, not zero. Deitmar suggested that F₁ should be found by forgetting the additive structure of a ring and focusing on the multiplication. Toën and Vaquié built on Hakim's theory of relative schemes and defined F₁ using symmetric monoidal categories. Their construction was later shown to be equivalent to Deitmar's by Vezzani. Nikolai Durov constructed F₁ as a commutative algebraic monad. Borger used descent to construct it from the finite fields and the integers.

Alain Connes and Caterina Consani developed both Soulé and Deitmar's notions by "gluing" the category of multiplicative monoids and the category of rings to create a new category $\mathfrak\mathfrak,$ then defining F₁schemes to be a particular kind of representable functor on $\mathfrak\mathfrak.$ Using this, they managed to provide a notion of several number-theoretic constructions over F₁ such as motives and field extensions, as well as constructing Chevalley groups over F_1². Along with Matilde Marcolli, Connes and Consani have also connected F₁ with noncommutative geometry. It has also been suggested to have connections to the unique games conjecture in computational complexity theory.

Oliver Lorscheid, along with others, has recently achieved Tits' original aim of describing Chevalley groups over F₁ by introducing objects called blueprints, which are a simultaneous generalisation of both semirings and monoids. These are used to define so-called "blue schemes", one of which is Spec F₁. Lorscheid's ideas depart somewhat from other ideas of groups over F₁, in that the F₁scheme is not itself the Weyl group of its base extension to normal schemes. Lorscheid first defines the Tits category, a full subcategory of the category of blue schemes, and defines the "Weyl extension", a functor from the Tits category to Set. A Tits–Weyl model of an algebraic group $\mathcal$ is a blue scheme ''G'' with a group operation that is a morphism in the Tits category, whose base extension is $\mathcal$ and whose Weyl extension is isomorphic to the Weyl group of $\mathcal.$

F₁geometry has been linked to tropical geometry, via the fact that semirings (in particular, tropical semirings) arise as quotients of some monoid semiring N 'A''of finite formal sums of elements of a monoid ''A'', which is itself an F₁algebra. This connection is made explicit by Lorscheid's use of blueprints. The Giansiracusa brothers have constructed a tropical scheme theory, for which their category of tropical schemes is equivalent to the category of Toën–Vaquié F₁schemes. This category embeds faithfully, but not fully, into the category of blue schemes, and is a full subcategory of the category of Durov schemes.

Motivations

Algebraic number theory

One motivation for F₁ comes from algebraic number theory. Weil's proof of the Riemann hypothesis for curves over finite fields starts with a curve ''C'' over a finite field ''k'', which comes equipped with a function field ''F'', which is a field extension of ''k''. Each such function field gives rise to a Hasse–Weil zeta function ''ζ''_''F'', and the Riemann hypothesis for finite fields determines the zeroes of ''ζ''_''F''. Weil's proof then uses various geometric properties of ''C'' to study ''ζ''_''F''.

The field of rational numbers Q is linked in a similar way to the Riemann zeta function, but Q is not the function field of a variety. Instead, Q is the function field of the scheme . This is a one-dimensional scheme (also known as an algebraic curve), and so there should be some "base field" that this curve lies over, of which Q would be a field extension (in the same way that ''C'' is a curve over ''k'', and ''F'' is an extension of ''k''). The hope of F₁geometry is that a suitable object F₁ could play the role of this base field, which would allow for a proof of the Riemann hypothesis by mimicking Weil's proof with F₁ in place of ''k''.

Arakelov geometry

Geometry over a field with one element is also motivated by Arakelov geometry, where Diophantine equations are studied using tools from complex geometry. The theory involves complicated comparisons between finite fields and the complex numbers. Here the existence of F₁ is useful for technical reasons.

Expected properties

F₁ is not a field

F₁ cannot be a field because by definition all fields must contain two distinct elements, the additive identity zero and the multiplicative identity one. Even if this restriction is dropped (for instance by letting the additive and multiplicative identities be the same element), a ring with one element must be the zero ring, which does not behave like a finite field. For instance, all modules over the zero ring are isomorphic (as the only element of such a module is the zero element). However, one of the key motivations of F₁ is the description of sets as "F₁vector spaces" – if finite sets were modules over the zero ring, then every finite set would be the same size, which is not the case. Moreover, the spectrum of the trivial ring is empty, but the spectrum of a field has one point.

Other properties

* Finite sets are both affine spaces and projective spaces over F₁.
* Pointed sets are vector spaces over F₁.
* The finite fields F_''q'' are quantum deformations of F₁, where ''q'' is the deformation.
* Weyl groups are simple algebraic groups over F₁:
*: Given a Dynkin diagram for a semisimple algebraic group, its Weyl group is the semisimple algebraic group over F₁.
* The affine scheme Spec Z is a curve over F₁.
* Groups are Hopf algebras over F₁. More generally, anything defined purely in terms of diagrams of algebraic objects should have an F₁analog in the category of sets.
* Group actions on sets are projective representations of ''G'' over F₁, and in this way, ''G'' is the group Hopf algebra F₁ 'G''
* Toric varieties determine F₁varieties. In some descriptions of F₁geometry the converse is also true, in the sense that the extension of scalars of F₁varieties to Z are toric. Whilst other approaches to F₁geometry admit wider classes of examples, toric varieties appear to lie at the very heart of the theory.
* The zeta function of P^''N''(F₁) should be .
* The ''m''th ''K''group of F₁ should be the ''m''th stable homotopy group of the sphere spectrum.

Computations

Various structures on a set are analogous to structures on a projective space, and can be computed in the same way:

Sets are projective spaces

The number of elements of , the dimensional projective space over the finite field F_''q'', is the ''q''integer
: q := \frac=1+q+q^2+\dots+q^.
Taking yields .

The expansion of the ''q''integer into a sum of powers of ''q'' corresponds to the Schubert cell decomposition of projective space.

Permutations are maximal flags

There are ''n''! permutations of a set with ''n'' elements, and 'n''_''q'' maximal flags in F, where
: _q := q q \dots q
is the ''q''factorial. Indeed, a permutation of a set can be considered a filtered set, as a flag is a filtered vector space: for instance, the ordering of the set corresponds to the filtration .

Subsets are subspaces

The binomial coefficient
: $\frac$
gives the number of ''m''-element subsets of an ''n''-element set, and the ''q''binomial coefficient
: $\frac$
gives the number of ''m''-dimensional subspaces of an ''n''-dimensional vector space over F_''q''.

The expansion of the ''q''binomial coefficient into a sum of powers of ''q'' corresponds to the Schubert cell decomposition of the Grassmannian.

Monoid schemes

Deitmar's construction of monoid schemes has been called "the very core of F₁geometry", as most other theories of F₁geometry contain descriptions of monoid schemes. Morally, it mimicks the theory of schemes developed in the 1950s and 1960s by replacing commutative rings with monoids. The effect of this is to "forget" the additive structure of the ring, leaving only the multiplicative structure. For this reason, it is sometimes called "non-additive geometry".

Monoids

A multiplicative monoid is a monoid ''A'' that also contains an absorbing element 0 (distinct from the identity 1 of the monoid), such that for every ''a'' in the monoid ''A''. The field with one element is then defined to be , the multiplicative monoid of the field with two elements, which is initial in the category of multiplicative monoids. A monoid ideal in a monoid ''A'' is a subset ''I'' that is multiplicatively closed, contains 0, and such that . Such an ideal is prime if is multiplicatively closed and contains 1.

For monoids ''A'' and ''B'', a monoid homomorphism is a function such that
* $f(0) = 0 ;$
* $f(1) = 1 ,$ and
* $f(ab) = f(a)f(b)$ for every $a$ and $b$ in $A .$

Monoid schemes

The ''spectrum'' of a monoid ''A'', denoted , is the set of prime ideals of ''A''. The spectrum of a monoid can be given a Zariski topology, by defining basic open sets
: $U_h = \,$
for each ''h'' in ''A''. A ''monoidal space'' is a topological space along with a sheaf of multiplicative monoids called the ''structure sheaf''. An '' affine monoid scheme'' is a monoidal space that is isomorphic to the spectrum of a monoid, and a monoid scheme is a sheaf of monoids that has an open cover by affine monoid schemes.

Monoid schemes can be turned into ring-theoretic schemes by means of a base extension functor that sends the monoid ''A'' to the Zmodule (i.e. ring) , and a monoid homomorphism extends to a ring homomorphism that is linear as a Zmodule homomorphism. The base extension of an affine monoid scheme is defined via the formula
: $\operatorname(A)\times_\operatorname(\mathbf)=\operatorname\big( A\otimes_\mathbf\big),$
which in turn defines the base extension of a general monoid scheme.

Consequences

This construction achieves many of the desired properties of F₁geometry: consists of a single point, so behaves similarly to the spectrum of a field in conventional geometry, and the category of affine monoid schemes is dual to the category of multiplicative monoids, mirroring the duality of affine schemes and commutative rings. Furthermore, this theory satisfies the combinatorial properties expected of F₁ mentioned in previous sections; for instance, projective space over F₁ of dimension ''n'' as a monoid scheme is identical to an apartment of projective space over F_''q'' of dimension ''n'' when described as a building.

However, monoid schemes do not fulfill all of the expected properties of a theory of F₁geometry, as the only varieties that have monoid scheme analogues are toric varieties. More precisely, if ''X'' is a monoid scheme whose base extension is a flat, separated, connected scheme of finite type, then the base extension of ''X'' is a toric variety. Other notions of F₁geometry, such as that of Connes–Consani, build on this model to describe F₁varieties that are not toric.

Field extensions

One may define field extensions of the field with one element as the group of roots of unity, or more finely (with a geometric structure) as the group scheme of roots of unity. This is non-naturally isomorphic to the cyclic group of order ''n'', the isomorphism depending on choice of a primitive root of unity:Mikhail Kapranov, linked at The F_un folklore
: $\mathbf_ = \mu_n.$
Thus a vector space of dimension ''d'' over F_1^''n'' is a finite set of order ''dn'' on which the roots of unity act freely, together with a base point.

From this point of view the finite field F_''q'' is an algebra over F_1^''n'', of dimension for any ''n'' that is a factor of (for example or ). This corresponds to the fact that the group of units of a finite field F_''q'' (which are the non-zero elements) is a cyclic group of order , on which any cyclic group of order dividing acts freely (by raising to a power), and the zero element of the field is the base point.

Similarly, the real numbers R are an algebra over F_1², of infinite dimension, as the real numbers contain ±1, but no other roots of unity, and the complex numbers C are an algebra over F_1^''n'' for all ''n'', again of infinite dimension, as the complex numbers have all roots of unity.

From this point of view, any phenomenon that only depends on a field having roots of unity can be seen as coming from F₁ – for example, the discrete Fourier transform (complex-valued) and the related number-theoretic transform (Z/''n''Zvalued).

See also

* Arithmetic derivative
* Semigroup with one element

Notes

Bibliography

*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*

External links

* John Baez's This Week's Finds in Mathematical Physics
Week 259


at the ''n''category cafe

The Field With One Element
at Secret Blogging Seminar

Looking for F_un
an
The F_un folklore
Lieven le Bruyn.

Mapping F₁land: An overview of geometries over the field with one element
Javier López Peña, Oliver Lorscheid

F_un Mathematics
Lieven le Bruyn, Koen Thas.
* Vanderbilt conference o
Noncommutative Geometry and Geometry over the Field with One Element

Schedule
)


by Alain Connes and K. Consani: summary of talks and slides

{{DEFAULTSORT:Field With One Element
Algebraic geometry
Noncommutative geometry
Finite fields
1 (number)
Abc conjecture