Nyani Quarmyne for Quanta Magazine

Save Save Save Save Save Save Save Save Save Save

In 2010, a startling rumor filtered through the number theory community and reached Jared Weinstein. Apparently, some graduate student at the University of Bonn in Germany had written a paper that redid “Harris-Taylor” — a 288-page book dedicated to a single impenetrable proof in number theory — in only 37 pages. The 22-year-old student, Peter Scholze, had found a way to sidestep one of the most complicated parts of the proof, which deals with a sweeping connection between number theory and geometry.

“It was just so stunning for someone so young to have done something so revolutionary,” said Weinstein, a 34-year-old number theorist now at Boston University. “It was extremely humbling.”

Mathematicians at the University of Bonn, who made Scholze a full professor just two years later, were already aware of his extraordinary mathematical mind. After he posted his Harris-Taylor paper, experts in number theory and geometry started to notice Scholze too.

Since that time, Scholze, now 28, has risen to eminence in the broader mathematics community. Prize citations have called him “already one of the most influential mathematicians in the world” and “a rare talent which only emerges every few decades.” He is spoken of as a heavy favorite for the Fields Medal, one of the highest honors in mathematics.

Read the related Abstractions post:
Handicapping the 2018 Fields Medal

Scholze’s key innovation — a class of fractal structures he calls perfectoid spaces — is only a few years old, but it already has far-reaching ramifications in the field of arithmetic geometry, where number theory and geometry come together. Scholze’s work has a prescient quality, Weinstein said. “He can see the developments before they even begin.”

Many mathematicians react to Scholze with “a mixture of awe and fear and exhilaration,” said Bhargav Bhatt, a mathematician at the University of Michigan who has written joint papers with Scholze.

That’s not because of his personality, which colleagues uniformly describe as grounded and generous. “He never makes you feel that he’s, well, somehow so far above you,” said Eugen Hellmann, Scholze’s colleague at the University of Bonn.

Instead, it’s because of his unnerving ability to see deep into the nature of mathematical phenomena. Unlike many mathematicians, he often starts not with a particular problem he wants to solve, but with some elusive concept that he wants to understand for its own sake. But then, said Ana Caraiani, a number theorist at Princeton University who has collaborated with Scholze, the structures he creates “turn out to have applications in a million other directions that weren’t predicted at the time, just because they were the right objects to think about.”

Learning Arithmetic

Nyani Quarmyne for Quanta Magazine

The Mathematical Institute of the University of Bonn in Germany.

Scholze started teaching himself college-level mathematics at the age of 14, while attending Heinrich Hertz Gymnasium, a Berlin high school specializing in mathematics and science. At Heinrich Hertz, Scholze said, “you were not being an outsider if you were interested in mathematics.”

At 16, Scholze learned that a decade earlier Andrew Wiles had proved the famous 17th-century problem known as Fermat’s Last Theorem, which says that the equation xn + yn = zn has no nonzero whole-number solutions if n is greater than two. Scholze was eager to study the proof, but quickly discovered that despite the problem’s simplicity, its solution uses some of the most cutting-edge mathematics around. “I understood nothing, but it was really fascinating,” he said.

So Scholze worked backward, figuring out what he needed to learn to make sense of the proof. “To this day, that’s to a large extent how I learn,” he said. “I never really learned the basic things like linear algebra, actually — I only assimilated it through learning some other stuff.”

As Scholze burrowed into the proof, he became captivated by the mathematical objects involved — structures called modular forms and elliptic curves that mysteriously unify disparate areas of number theory, algebra, geometry and analysis. Reading about the kinds of objects involved was perhaps even more fascinating than the problem itself, he said.

Scholze’s mathematical tastes were taking shape. Today, he still gravitates toward problems that have their roots in basic equations about whole numbers. Those very tangible roots make even esoteric mathematical structures feel concrete to him. “I’m interested in arithmetic, in the end,” he said. He’s happiest, he said, when his abstract constructions lead him back around to small discoveries about ordinary whole numbers.

After high school, Scholze continued to pursue this interest in number theory and geometry at the University of Bonn. In his mathematics classes there, he never took notes, recalled Hellmann, who was his classmate. Scholze could understand the course material in real time, Hellmann said. “Not just understand, but really understand on some kind of deep level, so that he also would not forget.”

Scholze began doing research in the field of arithmetic geometry, which uses geometric tools to understand whole-number solutions to polynomial equations — equations such as xy2 + 3y = 5 that involve only numbers, variables and exponents. For some equations of this type, it is fruitful to study whether they have solutions among alternative number systems called p-adic numbers, which, like the real numbers, are built by filling in the gaps between whole numbers and fractions. But these systems are based on a nonstandard notion of where the gaps lie, and which numbers are close to each other: In a p-adic number system, two numbers are considered close not if the difference between them is small, but if that difference is divisible many times by p.

It’s a strange criterion, but a useful one. The 3-adic numbers, for example, provide a natural way to study equations like x2 = 3y2, in which factors of three are key.

P-adic numbers are “far removed from our everyday intuitions,” Scholze said. Over the years, though, they have come to feel natural to him. “Now I find real numbers much, much more confusing than p-adic numbers. I’ve gotten so used to them that now real numbers feel very strange.”

Mathematicians had noticed in the 1970s that many problems concerning -adic numbers become easier if you expand the p-adic numbers by creating an infinite tower of number systems in which each one wraps around the one below it p times, with the p-adic numbers at the bottom of the tower. At the “top” of this infinite tower is the ultimate wraparound space — a fractal object that is the simplest example of the perfectoid spaces Scholze would later develop.

Scholze set himself the task of sorting out why this infinite wraparound construction makes so many problems about p-adic numbers and polynomials easier. “I was trying to understand the core of this phenomenon,” he said. “There was no general formalism that could explain it.”

He eventually realized that it’s possible to construct perfectoid spaces for a wide variety of mathematical structures. These perfectoid spaces, he showed, make it possible to slide questions about polynomials from the p-adic world into a different mathematical universe in which arithmetic is much simpler (for instance, you don’t have to carry when performing addition). “The weirdest property about perfectoid spaces is that they can magically move between the two number systems,” Weinstein said.

This insight allowed Scholze to prove part of a complicated statement about the p-adic solutions to polynomials, called the weight-monodromy conjecture, which became his 2012 doctoral thesis. The thesis “had such far-reaching implications that it was the topic of study groups all over the world,” Weinstein said.

Scholze “found precisely the correct and cleanest way to incorporate all the previously done work and find an elegant formulation for that — and then, because he found really the correct framework, go way beyond the known results,” Hellmann said.

Nyani Quarmyne for Quanta Magazine

Peter Scholze in June at a geometry seminar at the University of Bonn.

Flying Over the Jungle

Despite the complexity of perfectoid spaces, Scholze is known for the clarity of his talks and papers. “I don’t really understand anything until Peter explains it to me,” Weinstein said.

Scholze makes a point of trying to explain his ideas at a level that even beginning graduate students can follow, Caraiani said. “There’s this sense of openness and generosity in terms of ideas,” she said. “And he doesn’t just do that with a few senior people, but really, a lot of young people have access to him.” Scholze’s friendly, approachable demeanor makes him an ideal leader in his field, Caraiani said. One time, when she and Scholze were on a difficult hike with a group of mathematicians, “he was the one running around making sure that everyone made it and checking up on everyone,” Caraiani said.

Yet even with the benefit of Scholze’s explanations, perfectoid spaces are hard for other researchers to grasp, Hellmann said. “If you move a little bit away from the path, or the way that he prescribes, then you’re in the middle of the jungle and it’s actually very hard.” But Scholze himself, Hellmann said, “would never lose himself in the jungle, because he’s never trying to fight the jungle. He’s always looking for the overview, for some kind of clear concept.”

Scholze avoids getting tangled in the jungle vines by forcing himself to fly above them: As when he was in college, he prefers to work without writing anything down. That means that he must formulate his ideas in the cleanest way possible, he said. “You have only some kind of limited capacity in your head, so you can’t do too complicated things.”

While other mathematicians are now starting to grapple with perfectoid spaces, some of the most far-reaching discoveries about them, not surprisingly, have come from Scholze and his collaborators. In 2013, a result he posted online “really kind of stunned the community,” Weinstein said. “We had no idea that such a theorem was on the horizon.”

Scholze’s result expanded the scope of rules known as reciprocity laws, which govern the behavior of polynomials that use the arithmetic of a clock (though not necessarily one with 12 hours). Clock arithmetics (in which, for example, 8 + 5 = 1 if the clock has 12 hours) are the most natural and widely studied finite number systems in mathematics.

Reciprocity laws are generalizations of the 200-year-old quadratic reciprocity law, a cornerstone of number theory and one of Scholze’s personal favorite theorems. The law states that given two prime numbers p and q, in most cases p is a perfect square on a clock with q hours exactly when q is a perfect square on a clock with p hours. For example, five is a perfect square on a clock with 11 hours, since 5 = 16 = 42, and 11 is a perfect square on a clock with five hours, since 11 = 1 = 12.

“I find it very surprising,” Scholze said. “On the face of it, these two things seem to have nothing to do with each other.”

“You can interpret a lot of modern algebraic number theory as just attempts to generalize this law,” Weinstein said.

In the middle of the 20th century, mathematicians discovered an astonishing link between reciprocity laws and what seemed like an entirely different subject: the “hyperbolic” geometry of patterns such as M.C. Escher’s famous angel-devil tilings of a disk. This link is a core part of the “Langlands program,” a collection of interconnected conjectures and theorems about the relationship between number theory, geometry and analysis. When these conjectures can be proved, they are often enormously powerful: For instance, the proof of Fermat’s Last Theorem boiled down to solving one small (but highly nontrivial) section of the Langlands program.

Mathematicians have gradually become aware that the Langlands program extends far beyond the hyperbolic disk; it can also be studied in higher-dimensional hyperbolic spaces and a variety of other contexts. Now, Scholze has shown how to extend the Langlands program to a wide range of structures in “hyperbolic three-space” — a three-dimensional analogue of the hyperbolic disk — and beyond. By constructing a perfectoid version of hyperbolic three-space, Scholze has discovered an entirely new suite of reciprocity laws.

“Peter’s work has really completely transformed what can be done, what we have access to,” Caraiani said.

Scholze’s result, Weinstein said, shows that the Langlands program is “deeper than we thought … it’s more systematic, it’s ever-present.”

Fast Forward

Nyani Quarmyne for Quanta Magazine

Known for his work on perfectoid spaces, the 28-year-old Scholze has been called “one of the most influential mathematicians in the world.”

Discussing mathematics with Scholze is like consulting a “truth oracle,” according to Weinstein. “If he says, ‘Yes, it is going to work,’ you can be confident of it; if he says no, you should give right up; and if he says he doesn’t know — which does happen — then, well, lucky you, because you’ve got an interesting problem on your hands.”

Yet collaborating with Scholze is not as intense an experience as might be expected, Caraiani said. When she worked with Scholze, there was never a sense of hurry, she said. “It felt like somehow we were always doing things the right way — somehow proving the most general theorem that we could, in the nicest way, doing the right constructions that will illuminate things.”

There was one occasion, though, when Scholze himself did hurry — while trying to finish up a paper in late 2013, shortly before the birth of his daughter. It was a good thing he pushed himself then, he said. “I didn’t get much done afterwards.”

Becoming a father has forced him to become more disciplined in how he uses his time, Scholze said. But he doesn’t have to make a point of blocking off time for research — mathematics simply fills all the spaces between his other obligations. “Mathematics is my passion, I guess,” he said. “I always want to think about it.”

Yet he is not at all inclined to romanticize this passion. Asked if he felt he was meant to be a mathematician, he demurred. “That sounds too philosophical,” he said.

A private person, he is somewhat uncomfortable with his growing celebrity (in March, for example, he became the youngest recipient ever of Germany’s prestigious Leibniz Prize, which awards 2.5 million euros to be used for future research). “At times it’s a bit overwhelming,” he said. “I try to not let my daily life get influenced by it.”

Scholze continues to explore perfectoid spaces, but he has also branched out into other areas of mathematics touching on algebraic topology, which uses algebra to study shapes. “Over the course of the last year and a half, Peter has become a complete master of the subject,” Bhatt said. “He changed the way [the experts] think about it.”

It can be scary but also exciting for other mathematicians when Scholze enters their field, Bhatt said. “It means the subject is really going to move fast. I’m ecstatic that he’s working in an area that’s close to mine, so I actually see the frontiers of knowledge moving forward.”

Yet to Scholze, his work thus far is just a warm-up. “I’m still in the phase where I’m trying to learn what’s there, and maybe rephrasing it in my own words,” he said. “I don’t feel like I’ve actually started doing research.”

This article was reprinted on Wired.com.










View Reader Comments (22)

Leave a Comment

Reader CommentsLeave a Comment

  • His work is beautiful and his is truly a singularly powerful mathematical mind. A "relatively" (if you are a phd student) accessible technical essay on his work is 'What is a Perfectoid Space' by Bhargav Bhatt in the Notices of AMS.

    He is what most mathematically-inclined non-mathematicians (such as programmers, data scientists etc.) think the wonderful Terry Tao is like. Tao is just much more well known because combinatorics – an extremely difficult branch of mathematics – is accessible to even those who only know calculus-level mathematics.

  • Maybe he can explain why, when I use geometry, I can draw a line that's exactly the square root of 2 units long, (by drawing a right angle triangle with the two equal arms that are 1 unit long), yet I can't state using numbers exactly how long this line is. This has bothered me since junior high and I'm now well over 70.

  • @Richard Merriman … the requirent for exact is the problem though, as square root of two basically isn't an exact number… I do like 99/70 for my mind though. I get what you are saying though… that number looks to be finite, we are sitting there looking at the darn thing, but it's value trails on for ever… same with pi… a circle looks finite but that pi keeps on going and going. Has something to do with mathematical concepts and infinity, and the real physical world… I think the physical world puts a hard limit on "infinity" somewhere, i.e. infinity is an idea, it isn't literally real… that line has a darn decimal number value, with an end… somewhere. In my mind I go to the limit of accuracy being at the plank scale… wikipedia shows 665,857/470,832 to be within 1.13×10^12, so to me whatever fraction is valid within 1 x 10^35 is the answer to how long that triangle side is… I don't know that answer yet…

  • In fact √2 is an exact number, but a real number (a system that includes whole numbers and fractions and much more, including π) . Most of us intuitively think "number" means rational number, that is a fraction. For rational numbers the decimal expansion either terminates, like 12.34 (=1234/100), or repeats, like 1/3=0.333333…. But √2 isn't a rational number. For a standard proof, see http://www.math.utah.edu/~pa/math/q1.html or many other places. In fact we can approximate √2 (or any other real number) as closely as we like by rational numbers , e.g., √2≈1.4142136(=14142136/1000000 if I counted the zeros right!)

    Matt's point is interesting, all approximations have a practical limit, but as Richard points out the hypotenuse of the isosceles right triangle is a real object, so its length exists (the same for the circumference of a circle) I would say these are real world objects, but I am a mathematician, not a philosopher.

  • I simply don't understand the moderation policy here. I write a comment on the topic at hand where I link to a fairly understandable and short summary of Scholze's work and offer personal opinion on him and it gets swallowed up while a comment on a middle school topic with no connection with Scholze's work gets through.

    @Richard Merriman: The symbols with which you want to state the length in is in a number base thats makes its representation unsuitable. There is nothing special about writing numbers in decimal. Its just marks on paper that stands for the number. You can write the length in base square root 2 if you want to have finite symbols representing it. On the other hand, we understand square root of 2 as well as we understand the number 4 (but possibly less than the number 2).

  • @DS: Your first comment somehow ran afoul of our automatic spam filter, so our moderators never saw it. It's approved now. Thanks for bringing it to our attention.

  • @Daniel J. Curtin; true on root 2 being really exact, but that brings up the different aspects of exactness… physical/mathematical… I agree the calculated length of the hypotenuse with sides 1 is root 2, but in the world of measurements… I don't think it is possible to measure the length and get anything but an approximation of root 2… the ratio of the sides of A4 paper is supposed to be root 2… except it isn't down to the millimeter… and I doubt down to the micrometer or lower… so to me, the length of that line drawn on that piece of paper Richard talks about, is not really root 2 if you actually draw it. The act of actually carrying out the drawing breaks the purity of the triangle. The physical world is fuzzy.

    Anyhow, my point is that Richard's paradox doesn't really exist as stated… if you actually draw the triangle, create the triangle, etc… the length has a rational answer… that approaches root 2 but never reaches, with increased accuracy of drawing…

    p.s. I am not smart enough to go much further and all of my statements need to be proceeded by "in my humble opinion"… now off to find Quanta articles on mathematics in the physical universe…

  • @Richard Merriman: read today's "Insights' regarding infinity per "triangles are really abstract approximations, because no real world line has zero width"

  • @Matt Hopper: Your point about precision holds true for plain old natural numbers as well. Can you say you have measured a 3 and not a 3 + (sqrt 2)*10^(-35) ?

  • @ Steve Solomon… Awesome!… this convo would be better placed there! https://www.quantamagazine.org/20160630-infinity-puzzle-solution/

    @DS, I agree, in the physical world I cannot measure 3 to infinite precision… (I do believe it exists in reality… just not physical reality… not denigrating math(s) here…)but math(s) does not claim three goes on and on… it has an end point, so an object 3 units long can exist in the physical world (would still be fuzzy though)… i don't believe a stick root 2 units long can exist in the physical world because of the infinity trailing decimal values to truly make root 2.

    Basically mathematics kind of supersedes physical reality… shows the foundations for it in pure form, put the physical just can't quite get there.

  • @Matt Hopper The fact that we represent numbers in decimal is a human convention. If we used base sqrt 2 instead, 3's expansion would be 1000.000001001… while sqrt 2 would be 10.

    The point is you are confusing numbers with how human beings represent them. The 'infinity trailing decimal values' of sqrt 2 has little to do with the mathematics and absolutely nothing to do with physics or existence in the physical world. Its merely a more cumbersome glyph than √2.

    This is a peculiarly widespread misunderstanding. Its like mistaking a cow for the mandarin symbol standing for 'cow' and saying you can't believe such things can be milked because the glyph doesn't have udders.

  • @D5: "The point is you are confusing numbers with how human beings represent them"

    This is a Platonic view of mathematics. But numbers are inventions of humans.

    However, the problem of infinite precision is real and goes beyond mathematical doctrines and into the realms of infinite divisibility. The right question Matt may ask is: is spacetime, assuming it exists, infinitely divisible?

    According to Jonathan Barnes (Presocratic Philosophers) one cannot prove false the hidden premise of Zeno that nothing can execute infinite many tasks. Then Zeno's paradox is not solved. The alternative is that we live in a virtual reality: For example see: http://www.digitalcosmology.com/Blog/2012/09/14/is-our-world-a-simulation-or-even-an-interactive-computer-game/

  • @DS, most likely so on my confusion, I definitely don't know enough… switching around the base system certainly changes things and I am not sure of the significance of that regards to physical objects, which is what I am really referring to… I suppose if someone can hand me a stick that really really is root 2 units long, in whatever base system used to represent the number, than I am satisfied.

  • “It was just so stunning for someone so young to have done something so revolutionary…”

    Oh, please.

    All the great mathematicians made their most important contributions when they were young.

    Only somebody young is too stupid to know when something is impossible.

  • Clock arithmetic, is that the Mod funktion? If it is then I humbly suggest that more of your readers know the Mod function than know what clock arithmetic, and if they dont they would understand a word of the article anyway.

  • Such an exhaustive biography of a person just 34, by itself is commendable. Mathematics is not everyone's cup of tea. I found his depth on the subject are all ahead of the time. All is well and best of wishes.

  • @Richard Merriman You can't though, because it won't be exactly square root 2 units long but it will be close.

  • @Richard Merriman Because in base 10, sqrt(2) is a nonrepeating, nonterminating decimal real number. As @DS noted, in a different base it could be stated in a finite number of numerals in a way you would approve, I believe.

Comments are closed.