Sunday, July 25, 2021

Creation Moment 7/26/2021 - Fargues-Fontaine Curve [Rooting Around in the "Mind of God"?]

Since MATHEMATICS is called sometimes the "Mind of God".... what limitless possibilities lie therein? ...and of his kingdom there shall be no end. Luke 1:33 His Kingdom is like His Mind...
 
"At the center of Fargues and Scholze’s work is a revitalized
geometric object called the Fargues-Fontaine curve
It’s some kind of wormhole between two different worlds,” said Scholze. 
Throughout the 20th century mathematicians devised new ways of studying Galois groups. One main strategy involved creating a dictionary translating between the groups and other objects — often functions coming from calculus — and investigating those as a proxy for working with Galois groups directly. This is the basic premise of the Langlands program, which is a broad vision for investigating Galois groups — and really polynomials — through these types of translations.
 
The Langlands program is a sprawling research vision that begins with a simple concern: finding solutions to polynomial equations like x2 − 2 = 0 and x4 − 10x2 + 22 = 0. Solving them means finding the “roots” of the polynomial — the values of x that make the polynomial equal zero (x = ±2 for the first example, and x ±5±3 for the second).
 
Beginning in the early 1980s Vladimir Drinfeld and later Alexander Beilinson proposed that there should be a way to interpret Langlands’ conjectures in geometric terms. The translation between numbers and geometry is often difficult, but when it works it can crack problems wide open.

To take just one example, a basic question about a number is whether it has a repeated prime factor. The number 12 does: It factors into 2 × 2 × 3, with the 2 occurring twice. The number 15 does not (it factors into 3 × 5). In general, there’s no quick way of knowing whether a number has a repeated factor. But there is an analogous geometric problem which is much easier.

Polynomials have many of the same properties as numbers: You can add, subtract, multiply and divide them. There’s even a notion of what it means for a polynomial to be “prime.” But unlike numbers, polynomials have a clear geometric guise. You can graph their solutions and study the graphs to gain insights about them. For instance, if the graph is tangent to the x-axis at any point, you can deduce that the polynomial has a repeated factor (indicated at exactly the point of tangency). It’s just one example of how a murky arithmetic question acquires a visual meaning once converted into its analogue for polynomials.

You can graph polynomials. You can’t graph a number. And when you graph a [polynomial] it gives you ideas,” said Conrad. “With a number you just have the number.” The “geometricLanglands program, as it came to be called, aimed to find geometric objects with properties that could stand in for the Galois groups and automorphic forms in Langlands’ conjectures.

The new work from Scholze and Fargues, however, finally fulfills the hopes pinned on the geometric Langlands program — by finding the first shape whose properties communicate directly with Langlands’ original concerns.


Scholze’s theory was based on special number systems called the p-adics. The “p” in p-adic stands for “prime,” as in prime numbers. For each prime, there is a unique p-adic number system: the 2-adics, the 3-adics, the 5-adics and so on. P-adic numbers have been a central tool in mathematics for over a century. They’re useful as more manageable number systems in which to investigate questions that occur back in the rational numbers (numbers that can be written as a ratio of positive or negative whole numbers), which are unwieldy by comparison.

The virtue of p-adic numbers is that they’re each based on just one single prime. This makes them more straightforward, with more obvious structure, than the rationals, which have an infinitude of primes with no obvious pattern among them. Mathematicians often try to understand basic questions about numbers in the p-adics first, and then take those lessons back to their investigation of the rationals. “The p-adic numbers are a small window into the rational numbers,” said Kaletha.

All number systems have a geometric form — the real numbers, for instance, take the form of a line. Scholze’s perfectoid spaces gave a new and more useful geometric form to the p-adic numbers. This enhanced geometry made the p-adics, as seen through his perfectoid spaces, an even more effective way to probe basic number-theoretic phenomena, like questions about the solutions of polynomial equations. “He reimagined the p-adic world and made it into geometry,” said Ben-Zvi.

In his Berkeley course, Scholze presented a more general version of his theory of perfectoid spaces, built on even newer objects he’d devised called diamonds. The theory promised to further enlarge the uses of the p-adic numbers. Yet at the time Scholze began teaching, he had not even finished working it out.

Fargues was attending a special semester at the Mathematical Sciences Research Institute. He had thought a lot about the p-adic numbers, too. For the past decade he’d worked with Jean-Marc Fontaine in an area of math called p-adic Hodge theory, which focuses on basic arithmetic questions about these numbers. During that time, he and Fontaine had come up with a new geometric object of their own. It was a curve — the Fargues-Fontaine curve — whose points each represented a version of an important object called a p-adic ring.

But as Fargues sat listening to Scholze, he envisioned an even greater role for the curve in mathematics. The never-realized goal of the geometric Langlands program was to find a geometric object that encoded answers to questions in number theory. Fargues perceived how his curve, merged with Scholze’s p-adic geometry, could serve exactly that role. 

Fargues’ strategy came to be known as the “geometrization of the local Langlands correspondence.” But at the time he made it, existing mathematics didn’t have the tools he needed to carry it out, and new geometric theories don’t come along every day. Luckily, history was on his side.

Specifically, they came up with two different kinds: Coherent sheaves correspond to representations of p-adic groups, and étale sheaves to representations of Galois groups. In their new paper, Fargues and Scholze prove that there’s always a way to match a coherent sheaf with an étale sheaf, and as a result there’s always a way to match a representation of a p-adic group with a representation of a Galois group. In this way, they finally proved one direction of the local Langlands correspondence. But the other direction remains an open question. “It gives you one direction, how to go from a representation of a p-adic group to a representation of a Galois group, but doesn’t tell you how to go back,” said Scholze. The work is one of the biggest advances so far on the Langlands program.

For mathematics as a whole, there’s a sense of awe and possibility in the reception of the new work: awe at the way the theory of p-adic geometry Scholze has been building since
graduate school manifests in the Fargues-Fontaine curve, and possibility because that curve opens entirely new and unexplored dimensions of the Langlands program.
 “You have to rebuild a lot of foundations of geometry in this kind of framework, and it was very surprising to me that it is possible. Quanta