transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
One proposal for a precise realization of the idea of “absolute” arithmetic geometry over Spec(F1) is Borger’s absolute geometry (Borger 09). Here the structure of a Lambda-ring on a ring , hence on its spectrum , is interpreted as a collection of lifts of all Frobenius morphisms and hence as descent data for descent to (which is defined thereby). This definition yields an essential geometric morphism of gros etale toposes
where on the right the notation is just suggestive, the topos is a suitable one over Lambda-rings. Here the middle inverse image is the forgetful functor which forgets the Lambda structure, and its right adjoint direct image is given by the ring of Witt vectors construction and may be thought of as producing arithmetic jet spaces. In this sense the adjoint triple here would be directly analogous to the base change along the unit of an infinitesimal shape modality whose induced comonad is the jet comonad.
This proposal seems to subsume many aspects of other existing proposals (see e.g. Le Bruyn 13) and stands out as yielding an “absolute base topos” which is rich and genuinely interesting in its own right.
The following is an attempt to motivate or make intuitively clear why lifts of Frobenius morphisms may be related to “absolute geometry” over F1.
First of all, the function field analogy says that is analogous to the polynomial ring over a finite field , as well as to the ring of (entire) holomorphic functions on the complex plane.
To make this analogy more concrete, notice that one characteristic property of the rings and , witnessing their affine-ness in one variable, is that they carry a canonical derivation, namely , and that the ground field is recovered as the quotient by the ideal generated by . More to the point, for each maximal ideal there is the first order translation operator and the quotient by its difference from the identity is the residue field of functions at the point .
Therefore if is analogous to and to , then it ought to admit analogous operators, one for each of its maximal ideals given by a prime number . Remarkably, such a collection of operations indeed exists on : the -power operations (acting on the underlying set of ) which by Fermat's little theorem is indeed of the above form
Here the expression is uniquely defined by this equation, it is given by the Fermat quotient operation
Hence by analogy it makes sense to think of as being like a derivation on – it is called a p-derivation. This is the beginning of the theory of arithmetic differential equations (Buium 05).
More generally, a -algebra is to be thought of as a space over . The canonical derivation on the latter canonically lifts to the former, and is given by the same formula: . This exhibits the fact that is simply a product of with the affine line over the ground field . Analogously, any commutative ring is to be thought of as a space over and the above arithmetic translation operator canonically lifts to , by the same formula: . However, inspecting this one finds that not only is the derivation-like part lifted non-trivially, but also the identity-part is lifted in general to some homomorphism: in particular if is an -algebra, so that is supported over the point in , then the standard fact that in characteristic the -power operation is a ring homomorphism now means that the derivation-like action vanishes here, as expected from the analogy, but that a pure homomorphism part covering the identity remains – the Frobenius homomorphism . If by some abuse of notation we allow ourselves to write formally dual morphisms for maps between rings that are not necessarily homomorphisms, then this situation is, possibly, usefully visualized as follows.
This suggests that we are to think of the operation on not just as analogous to the identity transformation plus a derivation, but as analogous to the sum of a general finite transformation plus a derivation. In other words, a lift of this operation to some is to be a choice of ring homomorphism (a “finite translation”) in addition to a derivation-like operation (the “infinitesimal translation”), such that
As before, when is invertible in , hence away from the fiber over , then is uniquely fixed by this equation once is chosen, and hence it is alone which is to be chosen on . A pair satisfying the above equation is equivalently a “-ring” (see at Lambda ring). Or rather, by the analogy we are to lift the whole collection of operators for all primes and hence are to ask that satisfies the above equation for all and hence defines for all primes the derivation-like operator (function on the underlying set of )
This is the general form of an “arithmetic differential operator”, see for instance the first pages of (Buium 13) for review.
In terms of the abuse of notation already employed previously, this situation is usefully visualized as follows.
A ring equipped with such an endomorphism is equivalently a Lambda ring (an insight highlighted by James Borger). In this way a -ring structure on a commutative ring is the arithmetic geometry-analog of exhibiting as being like a product by the affine line over the non-existent field of a map to “”. This should be one way to think of how -rings embody “geometry over ” as proposed in (Borger 09).
Finally notice that the refinement of the -operation from arithmetic geometry to E-infinity arithmetic geometry is given by the power operations in multiplicative cohomology theory (Lurie, remark 2.2.9)
under construction
Write CRing for the category of (finitely generated) commutative rings and for that of Lambda-rings.
By the discussion at here the forgetful functor from Lambda-rings to commutative rings has
a left adjoint, given by forming the ring of symmetric functions;
a right adjoint given by forming the ring of Witt vectors .
Hence
rings of Witt vectors are the co-free Lambda-rings;
rings of symmetric functions are the free Lambda-rings.
Regarding as a site for arithmetic geometry, the order of the adjoints is reversed by forming opposite categories
Write for equipped with the etale topology. Hence
is the gros etale topos of arithmetic geometry.
Put a compatible Grothendieck topology on (…) and write the resulting site .
In analogy we write
and speak of the “etale topos over ”, or the “absolute base topos” or something like this.
The above adjoint triple on sites then induces a sequence of adjoint functors on the categories of presheaves by left and right Kan extension
The top three restrict to sheaves
The induced adjoint pair of monad/comonad is
infinitesimal disk bundle jet comonad
The original article which proposes the topos over Lambda-rings as a realization of F1-geometry is
This is based on technical details laid out in
James Borger, The basic geometry of Witt vectors, I: The affine case (arXiv:0801.1691)
James Borger, The basic geometry of Witt vectors, II: Spaces (arXiv:1006.0092)
More discussion relating to this includes
Related discussion of arithmetic jet spaces is in
Alexandru Buium, Arithmetic differential equations, volume 118 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2005.
Alexandru Buium, Differential calculus with integers (arXiv:1308.5194, slighly differing pdf)
Related discussion of power operations in E-infinity arithmetic geometry is around remark 2.2.9 of
Further discussion of and speculation on an analogy between power operations and Borger’s absolute geometry is in
Pierre Guillot, Adams operations in cohomotopy (arXiv:0612327)
Jack Morava, Rakha Santhanam, Power operations and Absolute geometry (pdf)
Last revised on February 9, 2020 at 17:27:13. See the history of this page for a list of all contributions to it.