Field with one element: Difference between revisions

Revision as of 00:44, 30 January 2022

Revision as of 18:42, 5 February 2022

Line 21:

==Motivations==

===Algebraic number theory===

One motivation for '''F'''₁ comes from [[algebraic number theory]]. [[AndrewAndré 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]] {{math|ζ_''F''}}, and the Riemann hypothesis for finite fields determines the zeroes of {{math|ζ_''F''}}. Weil's proof then uses various geometric properties of ''C'' to study {{math|ζ_''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]] {{math|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'''₁-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''.