🔢 mathematics

On the Absolute Geometry of $\operatorname{Spec}\mathbf{Z}$

This paper constructs a concrete absolute $\mathbf{F}_1$ -arithmetic curve $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ that unifies $p$ -adic Hodge theory, complex analysis, and adelic geometry by providing a universal geometric realization of Scholze's untilt paradigm and revealing a canonical decomposition of the complex Tate curve into an adelic periodic orbit and a real analogue of the Fargues–Fontaine curve.

Original authors: Alain Connes, Caterina Consani

Published 2026-06-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Alain Connes, Caterina Consani

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the number line, specifically the integers ( $\mathbb{Z}$ ), not just as a list of numbers, but as a geometric landscape with hidden shapes and dimensions. For a long time, mathematicians have suspected that this landscape has a "secret layer" underneath it, a place where the rules of arithmetic and geometry merge in a way that only becomes visible when you look at them through a very specific, abstract lens.

This paper, written by Alain Connes and Caterina Consani, is about building a map of that secret layer. They call it the "Absolute F1-Arithmetic Curve."

Here is a simple breakdown of what they did, using everyday analogies:

1. The "Universal Translator" (The F1-Curve)

Think of the standard number line ( $\mathbb{Z}$ ) as a building. Usually, we look at this building from the outside. But the authors built a new kind of "foundation" for this building, which they call the F1-curve.

The Analogy: Imagine the F1-curve is a universal translator or a "master key." It doesn't care if you are speaking the language of complex numbers (like in calculus), p-adic numbers (a weird way of measuring distance used in number theory), or even fields of characteristic $p$ (a specific type of math universe).
The Claim: This curve is so fundamental that it sits "below" the integers. When you use this curve to look at different mathematical worlds, it automatically translates the rules of those worlds into a common geometric language.

2. The "Scholze Heuristic" (The Magic Filter)

The paper starts with a brilliant idea proposed by mathematician Peter Scholze. He guessed that if you look at the integers through a specific type of "perfect" lens (a perfectoid field), the points you see aren't just random numbers. Instead, they correspond to special "uplifts" or "untilts" of that lens.

The Analogy: Imagine you have a prism (the lens). Scholze said, "If you shine a light through this prism, the pattern of light you see on the wall isn't random; it's a map of all the possible ways the prism could have been made."
What the Paper Does: The authors built the F1-curve to prove Scholze right. They showed that this curve acts as a geometric sieve (a filter).
- If you shine a light through the sieve at the "wrong" prime numbers (primes that don't match the lens), the light gets blocked. The geometry collapses into a single, boring point.
- If you shine the light at the "right" prime number (the one matching the lens), the sieve opens up, revealing a rich, complex landscape of points. This landscape is exactly what Scholze predicted.

3. The "Fargues-Fontaine Curve" (The Hidden City)

One of the most famous objects in modern number theory is the Fargues-Fontaine curve. It's a complex shape that helps mathematicians solve deep problems about prime numbers.

The Analogy: Think of the Fargues-Fontaine curve as a hidden city that only appears when you look at the integers through the F1-curve's "perfect" lens.
The Discovery: The authors show that this hidden city isn't just an abstract idea; it naturally emerges from the F1-curve. When you look at the curve through the right lens, the "points" of the curve automatically arrange themselves into the exact shape of this city. It's like the curve knows how to build the city without being told.

4. The "Complex Numbers" Twist (The Tate Curve)

The paper gets even more interesting when they look at the F1-curve through the lens of Complex Numbers (the numbers used in engineering and physics, involving $i = \sqrt{-1}$ ).

The Analogy: Usually, complex numbers and prime numbers live in different worlds. But the F1-curve acts as a bridge. When the authors look at the curve through the complex lens, they find a shape called the Tate Curve.
The "Rectangular" Secret: They discovered that this Tate Curve can be split into two distinct parts, like a rectangle made of two different fabrics:
1. The Arithmetic Fabric: This part depends entirely on the specific prime number ( $p$ ) you are looking at. It's like a repeating pattern that changes size based on the prime.
2. The Geometric Fabric: This part is a smooth, round circle that has nothing to do with the prime number. It's a pure shape.
The Result: The complex shape of the Tate Curve is just these two fabrics woven together. The "arithmetic" part gives it its size, and the "geometric" part gives it its shape. This explains why the Tate Curve looks the way it does.

5. The "Tropical" Connection (The Skeleton)

Finally, the paper connects this to a field called "tropical geometry" (which is like a simplified, skeleton version of math where addition becomes taking the maximum).

The Analogy: Imagine the complex, wiggly Fargues-Fontaine curve is a detailed, high-resolution 3D model. The authors show that if you squint your eyes and look at the "shadows" cast by this model, you get a simple, flat, piecewise-linear skeleton.
The Claim: This skeleton is exactly the "Scaling Site" they studied in previous work. It proves that the complex, high-tech geometry of the Fargues-Fontaine curve is built on top of a simpler, more fundamental "skeleton" geometry.

Summary

In simple terms, Connes and Consani built a universal geometric machine (the F1-curve).

It proves a famous guess by Peter Scholze about how prime numbers behave.
It shows that a mysterious shape called the Fargues-Fontaine curve naturally pops out of this machine.
It reveals that complex shapes (like the Tate Curve) are actually just a mix of "number crunching" (arithmetic) and "pure shape" (geometry).
It connects these high-level shapes to a simpler, "skeleton" version of geometry.

They didn't invent a new medical treatment or a new engine; they invented a new way of seeing the fundamental structure of numbers, showing that arithmetic and geometry are two sides of the same coin, and that this coin has a hidden, universal face.

Technical Summary: On the Absolute Geometry of Spec Z and the Fargues-Fontaine curve

Problem Statement
The paper addresses a heuristic principle proposed by P. Scholze regarding $p$ -adic geometry: the set of $F$ -valued points of $\text{Spec } \mathbb{Z}$ , where $F$ is an algebraically closed perfectoid field of characteristic $p$ , should be classified (up to equivalence) by the "untilts" of $F$ . While Scholze's insight provides a powerful conceptual framework, the authors seek a concrete geometric realization and a generalization of this paradigm that operates "below" the integers, independent of the characteristic of the test field. The goal is to construct an absolute geometric object that naturally encodes the structures of $p$ -adic Hodge theory, complex analytic geometry, and the adelic scaling site.

Methodology
The authors employ the framework of $\mathbb{F}_1$ -geometry (geometry over the field with one element) and topos theory. Their methodology proceeds through the following steps:

Construction of the $\mathbb{F}_1$ -Arithmetic Site: They define the $\mathbb{F}_1$ -arithmetic site $\text{Pic}^*$ as the pair $(\widehat{\mathbb{N}^\times_0}, \mathcal{O}_{\mathbb{F}_1})$ , where $\widehat{\mathbb{N}^\times_0}$ is the presheaf topos of sets with an action of the multiplicative monoid $\mathbb{N}_{\geq 0}$ , and $\mathcal{O}_{\mathbb{F}_1} = \mathbb{F}_1[T]$ is the spherical algebra of the free commutative monoid generated by $T$ . The structure sheaf is acted upon by universal Frobenius endomorphisms $Frob_k(T^n) = T^{nk}$ .
Lifting the Abel-Jacobi Map: They utilize a geometric morphism $\Theta: \text{Spec } \mathbb{Z} \to \widehat{\mathbb{N}^\times_0}$ (constructed in prior work) to lift the classical Abel-Jacobi map. This morphism assigns to a prime $p$ the ordered additive group of the ring $\mathbb{Z}[1/p]$ and to the generic point the trivial group.
Pullback to the Absolute Curve: They define the absolute $\mathbb{F}_1$ -arithmetic curve $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ as the pair $(\text{Spec } \mathbb{Z}, \mathcal{F})$ , where $\mathcal{F} = \Theta^{-1}(\mathcal{O}_{\mathbb{F}_1})$ is the pullback of the structure sheaf. The stalk $\mathcal{F}_p$ at a prime $p$ is identified as the spherical algebra $\mathbb{F}_1[T^{\mathbb{Z}[1/p]^+}]$ .
Evaluation and Locality: The authors evaluate the points of this curve over various fields (perfectoid fields of characteristic $p$ , perfectoid fields of arbitrary residue characteristic, and the complex numbers $\mathbb{C}$ ). A crucial methodological tool is the imposition of a "locality condition": morphisms from the stalks must be continuous with respect to the intrinsic topologies of the local fields (either $p$ -adic or archimedean) associated with the ordered groups defining the stalks.

Key Contributions and Results

Realization of Scholze's Heuristic: The paper proves that the moduli space of local points of $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ over an algebraically closed perfectoid field $F$ of characteristic $p$ , modulo intrinsic symmetries, decomposes such that:
- At any prime $\ell \neq p$ , the moduli space collapses to a single trivial orbit.
- At the prime $p$ , the moduli space is canonically in bijection with the space of all untilts of $F$ modulo the Frobenius. This provides a direct geometric realization of Scholze's heuristic, where the $\mathbb{F}_1$ -curve acts as a "geometric sieve" that isolates the prime $p$ .
Universal Tilting Functor: The authors demonstrate that the $\mathbb{F}_1$ -curve is characteristic-independent. When evaluated over an arbitrary perfectoid field $C$ of residue characteristic $p$ (regardless of whether $C$ has characteristic $p$ or $0$), the stalk at $p$ acts as a universal tilting functor. The space of $C$ -points is canonically identified with the open unit disk $1 + \mathfrak{m}_{C^\flat}$ inside the tilt $C^\flat$ . Quotienting by the symmetries of the completed stalk ( $\mathbb{Q}_p^\times$ ) recovers the closed points of the Fargues-Fontaine curve $X_{C^\flat, \mathbb{Q}_p}$ .
Geometric Decomposition of the Tate Curve: By evaluating the curve over the complex numbers $\mathbb{C}$ at a prime $p$ , the authors identify two distinct places: the non-archimedean place $p$ and the archimedean place $\infty$ .
- At the archimedean place, the non-trivial local points form a principal homogeneous space (torsor) under the Weil group $W_\infty = \mathbb{C}^\times$ .
- Quotienting this torsor by the discrete Frobenius symmetry ( $p\mathbb{Z}$ ) yields the complex Tate curve $E_p \cong \mathbb{C}^\times / p\mathbb{Z}$ .
- The paper establishes a canonical global decomposition of the Tate curve: $E_p \cong C_p \times \tilde{X}_\infty$ . Here, $C_p = \mathbb{R}^\times_+ / p\mathbb{Z}$ is the periodic orbit from the adelic scaling site (carrying the arithmetic dependence on $p$ ), and $\tilde{X}_\infty$ is a $p$ -independent phase space described as a real analogue of the Fargues-Fontaine curve.
- This decomposition explains the rectangular complex structure of the Tate curve, where the holomorphic 1-form $\omega = d\lambda/\lambda + i d\theta$ intertwines the invariant measures of the arithmetic and geometric factors.
Connection to Characteristic 1 Geometry: The paper shows that the analytic structure underlying the Fargues-Fontaine curve (specifically the family of Gauss valuations on the period ring) canonically tropicalizes to the idempotent geometry of the scaling site $S$ . The valuation profiles of analytic functions correspond to global sections of the structure sheaf of the scaling site, which consists of convex, piecewise affine functions with integral slopes.

Significance and Claims
The paper claims to provide a "concrete geometric realization" of Scholze's heuristic, moving beyond a mere classification to a structural construction. The primary significance lies in the unification of disparate geometric realms:

Universality: The $\mathbb{F}_1$ -arithmetic curve $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ serves as a universal receptacle for perfectoid fields, accommodating fields of arbitrary characteristic and canonically extracting their tilts.
Geometric Origin: It demonstrates that fundamental structures in $p$ -adic Hodge theory (untilts, the Fargues-Fontaine curve) and complex geometry (Tate curves) share a common geometric origin in the absolute $\mathbb{F}_1$ -geometry of $\text{Spec } \mathbb{Z}$ .
Symmetry and Sieving: The work elucidates how the "locality condition" acts as a geometric sieve, forcing the geometry to concentrate at the prime matching the residue characteristic of the test field while collapsing at all others.
Bridge to Tropical Geometry: It establishes a rigorous link between the analytic geometry of the Fargues-Fontaine curve and the idempotent (characteristic 1) geometry of the scaling site, suggesting that the latter is the canonical tropicalization of the former.

The authors do not claim to solve open problems in $p$ -adic Hodge theory but rather to provide a new geometric framework that explains the existence and interrelation of known structures (untilts, Tate curves, Fargues-Fontaine curves) through the lens of absolute arithmetic geometry.