Field with one element: Difference between revisions

Revision as of 07:57, 14 April 2025

Latest revision as of 09:32, 13 August 2025

(4 intermediate revisions by 4 users not shown)

Line 22:

== Motivations ==

=== Algebraic number theory ===

One motivation for '''F'''₁ comes from [[algebraic number theory]]. [[André Weil|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 of an algebraic variety|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 (mathematics)|scheme]] {{nowrap|Spec '''Z'''}}. 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'''₁{{nbh}}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''.

Line 31:

== Expected properties ==

=== F₁ is not a field ===

'''F'''₁ iscannot usually not consideredbe a field because by some definitionsdefinition 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 [[Module (mathematics)|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'''₁{{nbh}}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 a ring|spectrum]] of the trivial ring is empty, but the spectrum of a field has one point.

=== Other properties ===

Line 148:

* [http://cage.ugent.be/~kthas/Fun F_un Mathematics], Lieven le Bruyn, [[Thas, Koen|Koen Thas]].

* Vanderbilt conference on [http://www.math.vanderbilt.edu/~ncgoa/workshop2008.html Noncommutative Geometry and Geometry over the Field with One Element] {{Webarchive|url=https://web.archive.org/web/20131212171146/http://www.math.vanderbilt.edu/~ncgoa/workshop2008.html |date=12 December 2013 }} ([http://www.math.vanderbilt.edu/~ncgoa/schedule_workshop08.pdf Schedule] {{Webarchive|url=https://web.archive.org/web/20120215091922/http://www.math.vanderbilt.edu/~ncgoa/schedule_workshop08.pdf |date=15 February 2012 }})

* [httphttps://noncommutativegeometry.blogspot.com/2008/05/ncg-and-fun.html NCG and F_un], by [[Alain Connes]] and K. Consani: summary of talks and slides

{{DEFAULTSORT:Field With One Element}}