>>397
＞James Borger

https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
一元体 F1
Borger は有限体や整数環からdescentを用いて[8]、F1 を構成している。

[8]
Borger, James (2009), Λ-rings and the field with one element

https://en.wikipedia.org/wiki/Field_with_one_element
Field with one element F1
Borger used descent to construct it from the finite fields and the integers.[12]

[12]
https://arxiv.org/abs/0906.3146
https://arxiv.org/pdf/0906.3146.pdf
Λ-RINGS AND THE FIELD WITH ONE ELEMENT JAMES BORGER 2009
Abstract. The theory of Λ-rings, in the sense of Grothendieck’s Riemann?
Roch theory, is an enrichment of the theory of commutative rings. In the
same way, we can enrich usual algebraic geometry over the ring Z of integers
to produce Λ-algebraic geometry. We show that Λ-algebraic geometry is in a
precise sense an algebraic geometry over a deeper base than Z and that it has
many properties predicted for algebraic geometry over the mythical field with
one element. Moreover, it does this is a way that is both formally robust and
closely related to active areas in arithmetic algebraic geometry.

つづく