Audio Player
Starting at:
Edward Frenkel: Revolutionary Math Proof No One Could Explain...Until Now
August 13, 2024
•
2:22:29
•
undefined
Audio:
Download MP3
ℹ️ Timestamps visible: Timestamps may be inaccurate if the MP3 has dynamically injected ads. Hide timestamps.
Transcript
Enhanced with Timestamps
333 sentences
22,607 words
Method: api-polled
Transcription time: 140m 49s
The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science, they analyze culture, they analyze finance, economics, business, international affairs across every region.
I'm particularly liking their new insider feature was just launched this month it gives you gives me a front row access to the economist internal editorial debates where senior editors argue through the news with world leaders and policy makers and twice weekly long format shows basically an extremely high quality podcast whether it's scientific innovation or shifting global politics the economist provides comprehensive coverage beyond headlines.
As a Toe Listener, you get a special discount. Head over to Economist.com slash TOE to subscribe. That's Economist.com slash TOE for your discount. Close your eyes. Exhale. Feel your body relax.
And let go of whatever you're carrying today. Well, I'm letting go of the worry that I wouldn't get my new contacts in time for this class. I got them delivered free from 1-800-CONTACTS. Oh my gosh, they're so fast! And breathe. Oh, sorry. I almost couldn't breathe when I saw the discount they gave me on my first order. Oh, sorry. Namaste. Visit 1-800-CONTACTS.COM today to save on your first order.
How are you doing today, Edward? I'm doing great, Kurt. It's great to see you and it's great to be back on the Theories of Everything podcast. Yes, and to give some context for people who are wondering, what is this particular episode about? The reason we're here is that my good friend, professor of physics, Lucas Cardoso, WhatsApp messaged me a webpage titled, proof of the geometric Langlands conjecture.
And then he asked me if this was legitimate. So I then WhatsApp my other good friend, namely you, professor of mathematics, Edward Frankel, to find out if it was indeed. And you said yes. And moreover, we talked about how you're like Forrest Gump and many mathematical achievements have you peppered in either in the foreground or in the background of mathematics. Yes, exactly.
So Love and Math covers some of that. That's your popular book and the link to that will be on screen and in the description and in that book you provide an accessible introduction to what's one of the most abstract of all the mathematical topics, namely the Langlands conjectures. And since this isn't a recent
I'm happy to be back and I also want to say that from watching your videos of your
interviews of your conversations on this podcast theories of everything. I feel like your audience is more interested kind of in more in depth discussion of some fairly sophisticated topics in the mathematics, quantum physics and other areas. So that's why I was actually happy to accept your invitation to talk about the subject, which is very, it's quite esoteric and quite sophisticated and quite technical because I know that there is a sufficient at least sufficient number of
So I just want to say from the beginning that this is really a very important achievement indeed. And like you said, it caps several decades of work by a large group of mathematicians. I have been involved in this since about 1990. So it was
You know, I was very small. So I was, uh, uh, I met actually at the time I met, uh, Vladimir Drenfeld, who is, was one of the pivotal figures in the subject, uh, fields medalist and so on. It's probably got all the major awards by now. He's a professor at university of Chicago at that time. This is 1990. We were both at Harvard university visiting. And, uh, he was actually very interested in my work because it actually, he was anticipating starting this new,
I'm kind of a new part of the language program which became known as a geometric language program and he thought that my results my ideas were useful for that and so then we would meet every day and talk about it.
and so then i was like curious what is this language program this is 1990 so there were not so many it wasn't in the air like we were talking about this that much especially it's new but it was quite removed from my initial area of interest which was representations of infinite dimensional algebra and so i had the luck of actually having one of the main figures in the subject teach me about this the basics and so this is 34 years ago so that's
how many years I have been involved in this. And indeed my work was important in Drinfeld's work with Bellinson, which launched this conjecture, geometric Langlands conjecture that kind of like flowered recently in this series of works by, I think it's nine mathematicians, but led a team of mathematicians team work. It's really like 500 pages or more.
I'm led by Dennis Gaizguri, who is an old friend of mine. We've written like, I counted today, 11 papers together, eight of which are very closely related to the subject and in fact are used in the proof. And there are many other great, you know, young mathematicians like Sam Ruskin and Dario Beraldo, whom I have known. I was basically his co-advisor when he was a graduate student here at Berkeley. So in other words, I'm kind of like well positioned to
to see the the big picture and I'm happy to share it with you and with your audience because the subject is quite abstract like you said and so one needs some guidance to kind of penetrate through this this abstraction this you know kind of maybe somewhat obscure notions and and concepts but they are important and I think that I think it's
People don't necessarily have to understand the technical stuff precisely, but just have an idea, have a gist of an idea of what these concepts are, how they relate to each other. Because after all, you know, a lot of people know about quantum physics, they know about entanglement, they know about various other kind of weird aspects of quantum mechanics or quantum field theory. People know a little bit about string theory, for example, and so on because
Physicists have done a great job explaining these ideas in down-to-earth terms. But mathematicians haven't. Mathematicians haven't as much. You mentioned my book, Love and Math. One of the motivations for writing this book was exactly to present these ideas in an accessible form for the general audience. It was published in 2013, so about 10 years ago. I've always tried to do it. I've always tried to share these ideas with the general audience.
I think this is a great opportunity to do this again because we are witnessing kind of a landmark achievement in the subject being done in this recent series of works. I think it's a very opportune time to revisit some of the aspects of the Langlands program, to look at the big picture, to talk about some of the concepts and ideas that go into this proof because these are concepts and ideas not only important for the Langlands program but they are kind of bread and butter of modern mathematics.
And the more of us, the more people are aware of this, these things become coming to, you know, in kind of in the air in the conversation. I think the more we will benefit from it. Mathematicians benefit because it helps us also to to leave, you know, our little office or a little desk, you know, and go talk to talk to other people and kind of get maybe it helps us to also get kind of a
Bigger picture and but also helps other people to understand what these guys are doing. What kind of ideas are being played being played with today in modern mathematics? Some of those people you mentioned that you collaborated with did you ever collaborate with Langlands himself? Yes, I have just as an aside for people who are listening the name Langlands has been around for so long decades now the Langlands program that it sounds
It would sound like he's no longer around because it's such an historic name, but he's alive and well at the Institute for Advanced Study. So I just want to show you Robert Langlands here. So here he is sitting at his office at the Institute for Advanced Study in Princeton. This picture was taken in 1999. Interesting fact, this is the office previously occupied by Albert Einstein.
I'm serious. It's not a joke. That's the office occupied by Albert Einstein. And in fact, if you look, if you compare the photographs of Langlands at this office, also he's given some talks, there are videos online and so on. With the picture of Einstein, you will see it's the same office.
Now, as I mentioned, I have collaborated with Langlands. We actually wrote a paper together with another mathematician, Baoqiang Guo, who is a Fields Medalist at the University of Chicago. That paper, I think, we published in 2010 or something. So I've known Langlands for many years and we talked a lot, but especially between 2008 and 2010, we collaborated quite closely. I visited him a number of times at the Institute for Advanced Study.
I've spent a lot of time at this office, sometimes arguing with him, you know, he's a tough, he's a tough client, you know, to say he doesn't take any bullshit. So sometimes we kind of went a little bit, you know, looked our horns. Can you give an example? Well, you know, he would be sometimes skeptical about things. And, you know, I was kind of I was I guess I was I was younger and I felt a little bit like I had to prove myself. Occasionally I would push back and say, no, it is correct. You don't understand.
I ended up being correct. Well, I would be biased, but I think two sides to every story. I think that I was, I held my own and well, we did complete the paper and I'm proud of it. It was published, like I said, about 2010. Uh, and, and, you know, so obviously, uh, he accepted some of it, but his comments were always on point. I have to say also all jokes aside, you know, that,
um, even though he was already like in his seventies and so on, but he was still sharp and kind of like, you know, quick on his toes and like, yeah, what is this about? He would pick up exactly the things where things were not quite fitting together, for example. So anyway, that was a lot of fun. So that's, that's who he is. So he's a mathematician, Canadian born by the way, Canadian born from British Columbia.
And it's a beautiful story, actually, because he was, you know, lived in a small town. His father was a carpenter. And for all he knew, he would just inherit family business and, you know, make the windowsills and install windowsills and stuff like that. But there was a teacher, there was a mathematics teacher at his school who inspired him to go to university. He went to UBC, University of British Columbia. He wasn't planning to.
This is after the war, you know, he was like, okay, well, this might, this is my town. This is where I'm going to live here and, you know, do the stuff that my father is doing. But his, his teacher, this is all according to like, he wrote a couple of biographical sketches, notes for when he received some major awards, you know, so that's where I picked this up. He said something like his teacher shamed him in front of the classroom full of kids, his classmates saying that,
you have
Kind of inferior to the kids from Europe who seem to know a lot more stuff than he did. He studied, you know, in this in this provincial town, small town, and he felt a little bit inferior to them. But I think it gave him a little bit of fuel, like I'm going to show them guys. And so, of course, you know, years later, he comes up with these ideas, which became known as the Langlands program.
So how did it happen? So this was in late sixties. In fact, 1967 is the year when he formulated his ideas for the first time in writing and it was in a letter. In those days, there was no email, obviously. So sometimes mathematicians would write things or type things and either send it by mail or if somebody was close enough, as was the case, Andre Wey was a great mathematician who was in Princeton.
the same
where he shared these ideas. It's not clear that Andre Wey, who was himself a towering figure in mathematics, a very important mathematician of the 20th century, a professor at the Institute for Advanced Study. At that time, Langlands was not a professor at the Institute for Advanced Study. He was at Princeton University, I believe. And so, but they were in the same town and the same place in Princeton. And I'm not sure Andre Wey actually understood what he wrote, but it was a great opportunity for Langlands to kind of like
put these things organized on paper. And then the whole thing just launched because this, this letter was, was shared was, you know, people made photocopies, Xerox copies, you know, at that time. And a lot of people got interested in this stuff and that's how Langlands program was launched. So now, uh, fast forward, uh, 67. So fast forward 2007, so 40 years.
I wrote this book, I wrote this book before love and math. I wrote this book, like correspondence for look groups. The correspondence doesn't mean like sending letters to each other, even though letters are very important in this story. Correspondence here means a kind of like one-to-one correspondence, a relation between two kinds of objects. And we will talk about this later on. And at very first sentence in the, in the preface to this book, this was published by Cambridge university press in 2007.
And the first thing, the very first sentence I wrote is that the Langlands program has emerged in recent years as a blueprint for a grand unified theory of mathematics. I just wrote it, you know, so it was a bit of a showmanship, you know, like, okay, well, that's, you know, kind of like to present it in the most favorable light. But interestingly enough, this expression caught on. And now I'm quoted in all kinds of places as one who said that this is a grand unified theory of mathematics.
So now this gave me that an idea of for the opening. So because I know that you are interested. Well, first of all, your podcast is called theories of everything. So obviously you're interested in this general idea. It's another question whether what we mean by a theory of everything and so on. But obviously it's something that is very much on the mind of a lot of physicists these days, right? And actually not on these days, but for many decades.
And so in physics, that's grand unified theory, theory of everything is something that people talk about all the time, right? So then the question then is, okay, so what about mathematics? Do we have a grand unified theory in any sense? And so in what sense the Langlands program is a grand unified theory. And so I thought I would just take a moment to discuss the difference between physics and mathematics. At Capelli University, learning online doesn't mean learning alone.
You'll get support from people who care about your success, like your enrollment specialist who gets to know you and the goals you'd like to achieve. You'll also get a designated academic coach who's with you throughout your entire program. Plus, career coaches are available to help you navigate your professional goals. A different future is closer than you think with Capella University.
I think it's a very essential point which is actually missed by a lot of people because somehow there is sort of like people kind of merge the two and kind of like don't differentiate them enough.
people as in the general public or mathematics? Well, I would say mathematicians faces do know, but in general public, it's this, this line between the two is not clearly marked somehow in the minds of most people. I think it's important to talk about this, to understand it's essential because this way we can understand all kinds of, all kinds of recent controversies, for instance, about string theory, because as you and I talked about about a year ago on your podcast,
In my opinion, string theory has been great for mathematics, but it has not been great for physics. So see, there is a difference between the two because the original promise of string theory was to give us the unified theory of this universe and it failed spectacularly doing so. But it's not all bad. In other words, yes, it has helped mathematicians to come up with some interesting ideas and exposed mathematics.
So if we if we blur the lines between math and physics, we will say string theory is a success, right? But so that's why it's very important to understand that mathematicians and physicists actually have different goals, different tools, and there are different expectations, different responsibilities, if you will. So what is the difference? Let's talk about this. Yeah. Sure. Okay. So let me go back to the beginning of my of my slides.
And so I want to talk about the unification because, you know, what does, what does the idea of unification in mathematics actually mean? And so I want to start by, with a famous quote by Galileo at the times of Galileo, the two things were really close to each other, natural sciences and mathematics. And the Galileo said famously wrote the book of nature is written in the language of mathematics, right?
and he continued its characters are the characters in the language are triangles, circles and other geometric figures without which it's impossible to understand a single word without which one is left wandering in a dark labyrinth. So in other words, mathematics is a language of nature. Okay. So now let's talk about, so let's talk about physics.
In physics, we have this nomenclature. We have unified field theory, which actually started with early attempts by Albert Einstein to unify general relativity, which described his theory describing the force of gravity and electromagnetism. There were only two forces of nature known at the time. Then eventually, physicists found that there are two other forces, the weak and strong, the nuclear forces, subatomic forces,
And we have now the standard model, which describes three out of four known forces of nature, electromagnetic, weak and strong with spectacular experimental success. But of course, a lot of questions remain. For example, it has a Lagrangian of standard model has something like 19 parameters. A lot of people are not satisfied with it. They feel that there are much deeper theories yet to be discovered. Right. And so then grand unified theory in physics, it refers to an attempt to merge these forces
into a single unified force, including gravity. So for now, we don't have a quantum field theory of gravity. String theory promised us to give one, but they failed in doing so during the period of 40 years. And it looks like
It doesn't look very good. If you had to bet, I think you shouldn't put your money on this investment advice. I don't put any money on this. Maybe short it in the markets. Shorting is probably still a good idea, but I think the stock has come down quite a lot because more and more people wake up from this dream and
Look, look at the reality of the situation and say, look, you know, we have to move on to other things. All right. It's just a moment. Do you say that with any reservation because you've published in string theory in the past or you've published with one of the most famous string theorists? So speaking of Forrest Gump, right? So not only did I publish with Langlands and other people I've mentioned, I also published a paper with Ed Whitten. Okay. And in 2007, around the time when this book that I mentioned was published,
But see, this is the thing. With Witten, we published a paper about mathematical ideas involved in string theory. And actually, it was not even string theory, but more like quantum field theory in higher dimensions, you see. Well, high dimensions is not a proper term. You see, string theory kind of turns things upside down because in string theory, the field theory which is involved is a two-dimensional field theory.
Because you're considering propagation of strings, right? And what is a string? It's like a circle. And when it moves, it sweeps an area. So it sweeps something two-dimensional. So in effect, you're studying embeddings of what we'll discuss later called, these objects called Riemann surfaces. Think of the surface of a donut or of a Danish pastry or a sphere. Okay? They're maps, they're maps or embeddings into the space-time. So the space-time is on the receiving end.
of this maps. But the theory itself is defined on the surface, you see on the Riemann surface. That's weird, because you're taking two dimensional field theory in which the target space is a space time. Normally we take yes, the theory is defined on the space time. So the roles kind of switch, which is kind of like, it's really cool if you think about it. Now, but string theory is not just a theory of quantum field theory on the Riemann surface, because in string theory, once you study these models,
The quantum field theory is defined on surfaces. That's not enough. That's the first step. The second step is to integrate over all possible human surfaces. And that involves summation over all possible topological types like sphere or surface of a donut and so on. They call the parameter, topological parameter is called a genus. So sphere is of genus zero. The thorus is of genus one.
The Danish space tree with two holes is a genus two and the pretzel is a genus three. So you have to sum up the results corresponding to each topological type of a human surface. And then for each of them, you have to sum up over all possible complex structures. Basically, in fact, you have to sum up over all the metrics, but because the theory is what's called conformity invariant, you actually end up with a finite dimensional integral over what's called the modular space of complex structures.
on the Riemann surface.
And you have a little spider who lives on that globe. So that's spiders space. Well, it's more space than space time. But okay, let's forgive me for this for this difference. Let's assume that the space time of the spider is a sphere is the surface of the globe. So then the quantum theory that the spider would observe if it were indeed his or her space time would be a two dimensional theory defined on a specific human surface, namely the surface of this globe. You see what I mean?
Yes, but that's not string theory yet. String theory is when you can see the spiders living on all possible human surfaces and you sum up the every calculation you sum up over what happens for across all of them. So that's string theory. So that's a very simple explanation of the difference between quantum field theory and string theory. So first of all, quantum field theory is not defined on the space time, rather space time is on the receiving end of maps from a two dimensional surface.
To this space time. So the theory effectively is two dimensional. Then the theory is what's called conformal invariant, which allows, which gives us a possibility to actually sum up over all possible choices over over over human surface. And it's, it's when you sum up, you get amplitudes from string theory. You see, so that's, that's the, and you have to admit that it's a very cool idea. It's a very cool idea. You do, you turn things upside down kind of that your, your space time becomes the, um,
The target space of the theory, it's not the space, the ground of the theory. It's a kind of additional ingredient of the theory. The theory itself is defined on human surfaces, but it's sort of like it's a cool idea. But at the same time, it's actually kind of like precipitates its own demise. Because then the question is, which space time do you have to choose? You see,
So it does not lock you because you don't define your theory on your space time that is given to you, which is this our universe, which is has three spatial and one time dimension, but it becomes a parameter, right? Right. Of your theory. And so, but the point is that it's an essential, um, condition is that the theory be conformal invariant on the, on the human surfaces.
which means that all the metrics, that if you rescale your metrics locally, then you will get the same result. And this enables you to go from an integration over some infinite dimensional spaces, which is basically intractable, to actually finite dimensional spaces. Instead of integrating all metrics, what's called metrics on the Riemann surface, you go to the integral over all complex structures, which is a finite dimensional manifold, so that the integral in principle could be computed, even though there are all kinds of singularities that need to be
regularized, which no one as far as I know has been able to do in general, actually. But at least there is a path to doing it. But the problem is that your space time is a kind of an external thing that you put into the theory. And the question is, how do you differentiate between them? How do you say, oh, our space time has to be this. And so one condition is that the theory has to be confirmed invariant. And that means that it's halabiyao. So you probably heard this said many times that the target space of string theory
is a Calabi-Yau manifold. Calabi-Yau manifold is one for which the corresponding two dimensional theory of maps from your human surface, say donut, source of a donut, a sphere and so on, to your space time is conformally invariant. But the problem is that there are too many Calabi-Yaus and the problem is the string theory is only when defined when this manifold is 10 dimensional. Right. Super string theory to be precise, super string theory. For string theory, it would have to be 26 dimensional.
So it's a much bigger gap from what we observe to what string theory allows you to work with. So the first string revolution in the 1980s was going from bosonic string theory to supersymmetric string theory, where you have a sort of a balance between bosons and fermions, which enabled to bring the dimension down to 10.
And then it's kind of, it's much closer to four than 26. So you have six extra dimensions. And then you say, okay, well, the six dimensions that curl onto this little Calabi-Yau manifold. But which one? And the problem is nobody has been able to find. And the problem is also that it's not just a single one, but it's moving also with the dynamics of the theory, this Calabi-Yau manifold, this extra six dimensions.
is also changing and nobody was able to and and those changes lead to some long-range forces which nobody has been able to observe. So therefore it's like immediately in contradiction with experiment not to mention that is supersymmetric so you have to and we don't observe supersymmetry in this universe. So anyway that was a long kind of aside
digression
But if you are quantum physicists who works, you know, on finding the theory of everything or if you're a high energy physicist in fundamental physics, your high energy, the high energy physicist, you only have one job, which is to describe this damn universe. That's your job. You don't, you're not interested in describing all possible universes, 10 dimensional and so on.
But mathematicians
Mathematician is interested in the space of any dimension. A high-energy physicist is only interested in four-dimensional spaces. And not just some generic spaces, but the ones which are realized in this universe. Now, there may be some other universes which are ten-dimensional, and maybe this theory describes those universes. Okay, first of all, you know, how do you find out if it's true or not? Do you have, like, pick up a phone and they talk to some aliens who are even ten-dimensional and say, congratulations, you have found the
What is it for us now what now I have to also add there is also another aspect that by doing this more general theories you can actually stumble upon some ideas which you may find it more difficult to
you know, understand in in the realistic theory and then you can try to adopt it to tweak it to apply to to this universe. So for instance, lower dimensional theories are usually simpler than higher dimensional theory. So for instance, two dimensional theories have been a great playground
for physicists to try to develop ideas or some three-dimensional theories as well. It's a famous work by Alexander Polikov, a brilliant Russian Soviet physicist about three-dimensional gauge theories, which became classic because it gave you a mechanism of how instantons contribute to creation functions, which we still don't understand how to apply in four dimensions. And if we could, we would be able to solve the confinement problem, trying to understand why quarks cannot be separated.
Well, as you, you know, as you move them apart, which is a feature of four dimensional gauge theory. This is just one example. There's this phenomenon called instant tones, which is understood much better in three dimensions and in two dimensions than it is in four dimensions. But this is that province, that area of research where you try different models in other dimensions is called mathematical physics proper. Really. That's the overlap. If you think of Zenn diagram, I said Zenn diagram, well, Venn diagram. Okay. Something else.
So if you look at the Venn diagram of mathematics and physics, yes, there is this overlap and that's called mathematical physics. So all my life I was very interested in that because, you know, I actually, as a kid, I was actually very interested in high energy physics and quarks and so on. And then I learned that actually you have to understand mathematics to even speak about those theories.
And as I delve deeper and deeper into math, I realized that I actually love mathematics proper, but also occasionally it was SU three that got you inspired. That's right. The, the, the quirks, the description of elementary particles, uh, in terms of quirks, which goes back to, uh, Mori Gelman and this Russian mathematician Swike as well.
So anyway, my work with Whitten was kind of in mathematical physics because it was about understanding certain models which are closely related to quantum field theory and potentially string theory as well. But it doesn't, for example, those models are supersymmetric. The geometric Langlands conjecture that Whitten worked on is in four dimensions, though. Yes, in a sense, yes. But yes, true.
But supersymmetric theories, that's what I'm trying to say. People think the general public thinks of supersymmetry as just one supersymmetry, but there are extensions. There are perversions of supersymmetry, n equals two, n equals three extensions. So typically, we study n equals one, n equals two, n equals four.
and the max that's called maximal supersymmetry so what supersymmetry by the way is a very simple idea it's just that you have you have one of the requirements of quantum field theory is the invariance under the Poincare group right the Poincare group combines the Lorentz group which is a kind of all rotations or pseudo rotations in a Minkowski space right and translations so Poincare group
is built as a semi what called semi direct product of the Lawrence group and group on the group of translations in super symmetric and everything in your theory has to be invariant under this action. So for instance, the space of fields, the space of states has to be what's called the representation of this group of the punk array group in a super symmetric theory. This representation has to be extended to a bigger group, but in fact, not a group is called super group.
Because it has both bosonic degrees of freedom and fermionic degrees of freedom. The bosonic degrees of freedom will stay the same. It will be the same Poincare group, but there will be some fermionic transformations, the kind of weird little transformations. They're kind of like little shifts. They are not even bona fide transformations in the ordinary way. And so this way you get an enlarged super group, which
Depending on the size is classified as an equal one equal equal two and call three and call four. But the biggest one you can get given all the requirements of cornfield theory is an equal four. And that's the theory we're talking about. That's the theory which exhibits what's called electromagnetic duality gauge theory. Super young males or super gauge theory and equal four in four dimensions exhibits something that's closely connected to the geometric language correspondence, which is called electromagnetic duality.
So anyway, so this was just to put things in perspective of how similar phenomena actually arise in both mathematics and physics. Although today this phenomenon that we're talking about, the Langlands correspondence or Langlands program or Langlands duality, Langlands conjecture can use all these terms. They actually, so far we only know how to apply them to supersymmetric theories. So therefore it's not physics proper, it's mathematical physics.
You see what I mean?
This episode is brought to you by State Farm. Listening to this podcast? Smart move. Being financially savvy? Smart move. Another smart move? Having State Farm help you create a competitive price when you choose to bundle home and auto. Bundling. Just another way to save with a personal price plan. Like a good neighbor, State Farm is there. Prices are based on rating plans that vary by state. Coverage options are selected by the customer. Availability, amount of discounts and savings, and eligibility vary by state.
Yes. Okay, but now let's go back to this idea of unification. So in physics, in theoretical physics, proper, not mathematical physics, like string theory, but real physics. Okay, so I'm not trying to offend anybody. I'm just saying real physics means
And I'm not a physicist, so I'm kind of looking from outside. I have no horse in this race, to be honest with you. I'm just like, I'm kind of an independent observer. And all I know is theoretical physics, you have to describe this universe. And I don't think anyone would argue with that. So then in the perspective of theoretical physics, there are these notions of standard model, grand unified theory and theory of everything, TOE. OK, that's the one which unifies all forces.
So I guess yes, Grand Unified Theory. That last one sounds familiar. It sounds familiar, right? I mean, so, but I have to say, GUT, Grand Unified Theory, usually references kind of a better understanding of the Standard Model. So it's still three forces. So TOE means that you include gravity. I think that's the nomenclature. Okay. Yes. And so now this is a beautiful quote from Einstein.
I think it's something he said during his Nobel lecture when he received the Nobel Prize in 1923. He said the intellect seeking after an integrated theory cannot rest content with the assumption that there exists two distinct fields totally independent from each other.
Well, to be fair, he does say if you're seeking after an integrated theory, so by saying integrated theory, he already has the assumption that you can't have two distinct parts. That's right. So you could say that you could be like, because there's a philosopher named
Nancy Cartwright
regions where there is no law. No, I agree. I agree. Absolutely agree. And in fact, in mathematics, it's more like that. In mathematics, we do not seek. So that was my next point. In mathematics, we do not seek to have an integrated theory of everything. We do not. I didn't mean to preempt your point. So yes. So in a sense, what you described is more like how mathematicians approach it. But you see a lot of it also has a social element. So when we brought up, and I can speak for myself because, you know, I studied mathematics since I was a kid,
you know, and I went through, you know, school, graduate school and so on. And so I can say that never ever at any moment were my teachers telling me, Edward, find the grand unified theory of mathematics. It was never an issue. Nobody. First of all, I think it's impossible. You have just mathematics just so diverse. There's just so many different subjects. It's like, I like to talk about them. You know, this is another analogy I used in love and math, the continents of mathematics. So there is like number theory, there is,
harmonic analysis, there's functional analysis, there's geometry, there is algebra and so on. And they are all connected somehow, but it's not like one field will subsume all other fields. We don't have that idea. But physicists, I've spoken to a lot of my colleagues, physicists. Oh yes, when they are studying, there is a lot of premium on this idea that maybe I'll be the one to come up with this theory of everything.
So I'm actually, I'm hopeful that the next generation of physicists will see through this and understand that in some ways it is, it gives you kind of a kick. It gives you kind of, it makes it more fun, it's more competitive, but also there is a great downside. And quite honestly, I think that the debacle with string theory is in many ways the result of, of this sort of attempt to subjugate everything to what you already know, you see.
and then discard all other ideas and say that they are, they are not serious. They are, their ideas are propagated by amateurs and stuff like that. Instead of looking in the mirror and kind of like understanding what am I, what am I doing here? And on what ground am I to claim that the theory I'm working on is the only game in town, which was an expression used by many string theorists for a long time.
so um well you know one day you know it's like reality intrudes so like you can pretend that it's not there but reality will look at you in the face every day and will say okay edward when are you going to accept reality
I wonder you will have to or you will die not accepting it and other people will come and do it for you. Just a moment. Why do you think because the string theorists will say that look in the past in physics when we've been on to something it did produce mathematical results as well. Now look in string theory while it's not producing physical results at least not experimentally testable in our range currently it's producing plenty of mathematical results and we could use that as some proxy indication that we're on to the right physics. What do you say to that?
i disagree i just explained the difference between mathematics and physics so what they're what strength theory does is it where strength theory has been positive is in the area of mathematical physics because it points us to some very interesting phenomena in a whole range of theories which have nothing to do with our universe you see and that's useful for many reasons number one it helps pure mathematics and the strength theory has been tremendously helpful
to mathematicians has led us to some onto some paths, which we probably would not have discovered in the 20s or 21st century. So in other words, it was some kind of mathematics just just fell on mathematicians lab in the 20s, 21st century because it was inspired by string theory. Yes. Also, this this ideas, this theory is 10 dimensional with 10 dimensional space time.
They are not useless at all. They are useful because studying those theories, you observe some phenomena which can help you eventually to come up with a realistic theory of this universe. There are these things like electromagnetic duality, which we're going to talk about, which is connected to the Langlands program. There are things like ADS-CFT, which are absolutely beautiful mathematically, but not only mathematically because they are the phenomena in theories
which are in the same class as quantum field theory describing this universe. You see, they are different because they are different dimensions, they are supersymmetric and so on. So they are not quite fitting the clothes that you have to put on.
But you have to put on the clothes of your universe. Otherwise, it's not physics. You see, that's a very simple thing. Yes, it's true that you could say that in the first 10 years of development of string theory, that its success in mathematics gives you a kind of confidence that you should keep going and working on it because there must be something there. But after 40 years,
After 40, actually more than 40 now, because we're talking about 40. I would say, yeah, 85 would be the first string revolution. And then they saw the cancellation, the Green-Schwarz cancellation of anomalies. That was brilliant, a brilliant work that gave people, and I understand the human element of it. Of course you get carried away. Of course you get excited. Of course you want to run around like, who was it? Archimedes who jumped out of a bathtub when they understood how the bodies float.
Of course, you want to jump and run around naked and say, guys, it's amazing. I have come up with this incredible discovery. I understand it. And of course, please do that. But not for 40 years, after 10, 20 years. And I think the crucial moment was about 2012 when LHC was fully online and it was clear that there is no site of supersymmetric super partners. That was the time for reckoning in the field. That was a time for kind of a serious conversation.
Where the adults, the elders of the theory should have talked, should have come out and said, look, you know, it's not working out and allow other ideas to come in. That's the, that's the problem. The problem is not just, yeah, please, of course, keep going, keep working on it. But when you deny resources to everybody else, then it becomes a bigger issue. Now I don't want to spend the whole conversation talking about strength. I think it's important to talk about it because I am on record on your podcast a year ago.
on the heels of my keynote talk, keynote lecture, or it's called challenge talk at the big strength theory conference in at the perimeter Institute near Toronto, I guess near where you are in July of last year, where I saw up close this community and I saw up close what's going on and I was very disturbed by it. So then I went on your podcast and I spoke about the failure, what I call the failure of the original promise of string theory.
So, in today's conversation, I would like to bring up the connection between the Langlands correspondence, which is the main or Langlands program, which is the main topic of our conversation, and electromagnetic dualities in supersymmetric Young-Mills theories, four-dimensional superman means this. So some people, some viewers may be puzzled by this. So how can this guy be criticizing string theory? And at the same time, he's saying that, you know, that it's very interesting to study this supersymmetric theories. So that's why I took some time to explain
This major difference in approaches of mathematicians and physicists, as well as mathematical physicists, what is appropriate, what's not appropriate and where you have responsibility as a physicist to make sure that your results actually apply to this universe and not claim something that is not there. Because a lot of, you know, I'm not going to call names, but you can easily find quotes where people saying string theory has unified Einstein's
a theory of gravity with quantum field theory. Yes, it has in 10 dimensions and even then it's still incomplete because of various issues which have not been addressed because it's only defined perturbatively and so on. But let's just say that yes, in 10 dimensions they have combined but they don't put that in the sentence they say we have combined you see
I don't know about that.
Yeah, wow, interesting. Wow, a plus plus plus, you know, I usually when I teach I give a plus and I you know, kind of like, okay, let's know be realistic, like I never give a plus plus, especially for someone who actually couldn't solve any problem exam, you know, but that's just me. So
I wanted to explain this difference. It's important in mathematics. We don't have this issue. Any consistent mathematical theory is valid. It doesn't have to be in four dimensional space time. It can be 10 dimensional space time. That's why mathematicians love string theory, but it doesn't mean that physicists should love it. Understood. Okay. All right. Let's move on. So there is another aspect of it, which is that physical theories get updated.
And mathematical theories appear to be objective, necessary, and timeless. How do you explain that? That's a mystery to me. So what does mathematics actually describe? And the point is that there are a lot of concepts and ideas in mathematics which a priori have nothing to do with the physical universe, with nature.
In other words, they don't fit into the four-dimensional space-time, you see. So, for instance, in this geometric language correspondence, we talk about sheaves, not even functions, which are kind of like, okay, function is something that is rooted deeply in physical reality. For instance, think about temperature. At every point in the room, there is a certain number, which is a temperature at that room, or barometric pressure. And so, to every point, you assign a number, and that's what mathematicians call a function. So, functions are very much, you know, bread and butter of physics,
But she is like who was last time you saw a sheaf on the street. So that's just one example or infinite dimensional hybrid spaces or periodic numbers like this numerical systems. This is a theory of numerical systems that are bread and butter of mathematics. And yet we don't observe them in the physical reality. So, so then if so, what could unification mean for mathematics? You see, and so my, my favorite example is that I say, you know, if Leo Tolstoy did not
Um, right. Anna Karenina, nobody else would have written exactly the same novel, but if Pythagoras did not live or did not discover his theorem, we would still have Pythagoras theorem. It would still be a squared plus B squared equals C squared and not equal C cube. And it stays the same for the last 2,500 years. And by the way, it was actually, as it turns out, was discovered by others in other places like in Babylon, in, uh, in, um,
So there's something very special about mathematics. Some mathematicians believe that there is this platonic world of mathematical ideas named after the Greek philosopher Plato, who I must say was really following in the footsteps of Pythagoras. These ideas really go back to Pythagoras in my opinion.
And so the question then is usually posed this, do we discover mathematics or do we invent it? And I used to be on this squarely on the side of like, it is discovered. In other words, there is this ideal world of mathematical objects and concepts. And we just go there somehow. Like,
ESP.
Mind you, no smaller figure than Charles Darwin actually wrote that mathematicians are endowed with an extra sense. He actually wrote that. Closer to the end of his life, he wrote that he regretted not to have studied mathematics more as a young adult or as a child because he wrote, and I think it's a direct quote,
So there is this, there is this perception and I have to say as a working mathematician, you do feel it. So a friend of mine recently asked me like what, how do you experience it? How do you experience the mathematical discovery? And so the best I could come up with is that, you know, like imagine like there is this deep fog. So, you know, there's something there, but you don't know what. And then occasionally some part of it, the mist kind of starts dissolving and you see the contours, the contours.
of the trees or a castle or some exotic animals. And then maybe it will close again. But that's the sense that you have. You don't feel that you invent something. You don't feel that you come up with something just on your own. You feel like it's always been there but obscured by our inability to see it, was invisible. So there is this sense. But now I kind of also feel that mathematics is a human activity.
And therefore I kind of like, I'm reluctant to these days to just say, yeah, it's discovered, it's just out there because who discovers, who discovers this mathematical ideas, uh, human mathematicians, right? And so as far as we know, maybe some other animals too, and apparently some animals can count up to a certain number, some, some can't and so on.
But for now, all the mathematics that we know came from human beings. So there's something to be said about that. And so I'm kind of like, now I feel it's a mystery. It's one of those questions where it's neither and both, like an electron is both a particle and a wave, neither and both, kind of like that. But it's a very interesting thing to think about and contemplate. So Kurt Gödel, actually the great logician, the greatest logician of all time, as far as I'm concerned, wrote
that mathematical ideas form an objective reality of their own, which we cannot create or change, but only perceive and describe. Of course, this is very close to the conversation about artificial intelligence and so on, but I'm not going to go there because we want to get to the language program. So, well, I have this one example of the universality of mathematics. I don't know if we should go there or should move more fast faster to the
Do you want to say it quickly? Yeah. So there is this idea about numbers. So just to give you a sense of how weird mathematics is, weird in a good way. I want to pose this question. Is there only one mathematics or there are like different, imagine there is another universe, not another universe, like another exoplanet, like there is another civilization and they have their own mathematics. What if we meet?
And we start comparing our notes. Is it possible that their mathematics is totally different? And so the traditional argument that it may be so goes like this.
Imagine that this new civilization has like many different aliens and then you can imagine all kinds of pictures of these elements. So then they are like us because we see ourselves, we see other people kind of like similar to us. So naturally we start counting things. So numbers arise from the idea that there are many things which are kind of similar to each other, right? But what if you have like a Solaris type intelligence? Solaris was a novel by Stanislav Leom, a great
Polish science fiction writer. And it's been made into film by, uh, by Andrej Tarkovsky. And then also was a Hollywood remake of this movie, which I highly recommend the Tarkovsky version where the intelligence was, this is one thing was this whole planet was intelligent. So then the argument goes, okay, for that intelligence, there's no reason to come up with numbers because it's only one of the only observed one of it.
There's no need for it to develop the idea of numbers because it cannot count. There are no essential things to count. So, right. And so, but I have an answer to that. And I want to explain how Solaris like intelligence would actually discover numbers, not by counting the way we usually do or the way we teach our kids, which by the way, I think it's a very, uh, there are some subtle points there that we are not properly teaching additional multiplication.
but that's another story. The, the, uh, let me, let me not go there at the moment, but I can talk later. So here's, here is an alternative way to discover numbers. Here's an alternative way to discuss it, which is more clean in some sense and, um, kind of devoid of the deficiencies of the traditional way of, of, of teaching kids, uh, numbers of counting.
namely we can discover them through winding. You see, so this is, this comes from what's called topology. So this, I have a flow, I have a floss here to demonstrate. So the point is that I can take, I put it on my finger and then I can go around. I can go once, I can go twice, can go three times, four times and so on. So if it's an infinite long, infinitely long floss in principle, I can wind this string.
Any number of times, but so this way I represent all natural numbers, one, two, three, four, and so on. But also observe that I can represent negative numbers if I go in the opposite direction. You see, I guess instead of going this way, I can go this way. And so this way I can actually introduce all integers without counting just as a by realizing that the
Topological structure.
This thing once or twice, three times or a negative number. In the Solaris case, what would be the analogy? The solar prominence. So the analogy in Solaris case is that instead of wrapping a circle onto itself, you can think of my finger. First of all, you don't need the whole finger. You can just look at the section of the finger. It's kind of the intersection of my finger was a plane. And then you can look at this picture that I put out on the slide where
Basically the circle is just is just wrapping onto onto itself like many times right and so But likewise the sphere can wrap onto itself many times this is this is much harder to imagine because you see You can easily see it in 40 minutes from the four-dimensional perspective But in 3d it's very hard to imagine a sphere wrapping into itself, but you kind of can grasp it by analogy. Uh-huh
that just like a circle wrapping on itself, gives us an invariant, what might be called an invariant, topological invariant, which is the winding number. Likewise, there is an invariant of a map from a sphere to a sphere. And the coverings of sphere by sphere is also labeled by all integers, because also there are two orientations possible, so you get both positive numbers, negative numbers. This is a rough rendering of what this might look like. This is an example of what's called a homotopy group.
So in fact here, this corresponds to the pi one, the fundamental group, the first homotopic group. And here we're talking about pi two. Every time you have a sphere, you're talking about pi two, the second homotopic group. When you have a circle, you talk about pi one and that's the first homotopic group, also known as a fundamental group. Anyway, this is just a kind of a something to
Realize how many interesting aspects of mathematics there are, which go far beyond what we use ordinarily, like counting. So what it shows is that the same concept can actually arise from different continents of mathematics. In the first approach, you get to numbers through counting, so kind of from the point of view of number theory, right? But in the second approach... It seems to be evidence for the discovery of mathematics. Right.
Discovery but this is this is a baby version of unification. That's what I mean by unification mathematics that numbers or natural numbers or whole numbers Actually live on the intersection of two fields number theory and topology. You see You can discover the same numbers
from this to different points of view. And to me, that's an example of unification. In other words, you're not trying to say that topology is subsumed by number theory or the other way around. But you observe that there are certain phenomena which are reflected in both fields or which are manifested in both fields. And that's why it's prized in mathematics to have this type of situation, because it gives you a different perspective. It's like you're looking at the same object, but from a different angle.
And this is where a lot of great discoveries are made when you are able to realize the same thing from these two different angles or more, two or three or more different angles. So for me, mathematics is like a giant jigsaw puzzle where you're kind of trying to build this picture from the small pieces without really knowing what this final picture is going to look like. And so when you solve a jigsaw puzzle with your friends,
The user usually the strategy is to try to build like small islands so you try to you find a few pieces of you together and you try to enlarge them and your friend or if your friends do the same and so then at some point you kind of build several islands in this picture right which kind of like looks consistent.
But the greatest advance happens when you know how to fit different islands together, when you play jigsaw puzzle. And it is like that. That's what the Langlands program comes in. So Langlands program is like this, is one, is a set of ideas which suggest how different continents could fit together. That's kind of like a brief summary of what it's about. Great. So that's like,
So then what are the continents that we're talking about? And so you have number theory, which is obvious. You have harmonic analysis, which is this very important idea in mathematics, which is that you can decompose different signals as a superposition.
a signal, you can decompose a signal as a superposition of some basic signals and basic signals are given by what's called harmonics, that they have frequencies which are multiples of each other. Oh, okay. So for people who are familiar with the terms Fourier series, this would be an example of that. What I'm referencing right now is the idea of Fourier series where you can write a given function as a combination, sometimes infinite,
of sine and cosine functions, but not just to sine X cosine X, but sine and X and cosine and X, where N is a whole number is an integer. So the different sine functions have graphs which look like this. But if you, as you increase N, it becomes more and more squished. And so that corresponds to a higher and higher pitch in the sun. Right. And so we know that in the
Chromatic scale. Essentially, the frequencies are differed by rational numbers. No, not quite. There is a gap. There is this wolf tone and so on. But roughly speaking, you can generate them from going up an octave where the frequency doubles and going to the Pythagorean fifth, where the frequency gets multiplied by approximately three halves. And by using this, you can then realize other notes
with a small gap at the end somewhere by rational number. But if it's by rational, it means you can always find kind of a smallest denominator frequency so that every other frequency is a multiple of it. So that brings you into that framework that I was talking about, where you can see the nodes with frequencies which are multiples of each other, integer multiples of each other. And then if you think about an orchestra playing, then the sound of an orchestra
is a combination of sounds of different instruments and each sound of an instrument at any moment is a particular note and that note has a frequency. And so you can think of this decomposition of breaking into pieces of a sound as the composition of a signal into a combination of different notes
each of them with its own intensity and that's the idea of Fourier analysis or Fourier series. So that's the subject which studies this type of decomposition. So what do we need here? You need a particular space of functions and you need some preferred functions, some special functions, a collection of functions like sine nx and cosine nx and then they should be rich enough to give you every function as a superposition.
It also has a continuous analog which is called Fourier integral as opposed to Fourier series.
This bubbles appear, by the way. It liked what you were saying. This bubbles, it means that the AI overlords are liking what I'm saying, which is great. It did some harmonic analysis on it. I think they like it. It's kind of like a meta level realizing. It's harmonic, right? You're in sync with it. Yes. Okay. So you're outlining, there's a harmonic analysis, there's topology, there's number theory or numbers. Geometry. So you have this Riemann surface we talked about earlier when I talked about string theory.
For example,
And so what is the Langlands program? The Langlands program is this giant project aimed at finding common patterns in different fields of mathematics. And so the original formulation by Langlands in the 1960s, in 1967, in that letter to Andre Wey, which I mentioned, was actually about connecting two specific fields, number theory on one side and harmonic analysis on the other side. But not harmonic analysis in the naive sense of just Fourier series on the circle, so to speak, or on the line.
You see, that's just a kind of a baby version of harmonic analysis. You can have harmonic analysis for other spaces, multidimensional spaces instead of the real line where the role of the sine functions and the cosine functions will be played by some other functions. And the example which is relevant to this is the example of what's called modular forms. Modular forms on the upper half plane or on the complex disk. We'll talk about this in a moment.
So now, if it were just that, connecting questions in number theory to questions in harmonic analysis, probably wouldn't get as much attention. But what happened is that over the years, people in other fields of mathematics started discovering very similar patterns as well.
And so, therefore, we actually have Langlands program developing not only in the original formulation, but also in these other fields, which I'm going to talk about. And so, now to circle back to this recent achievement in the geometric Langlands correspondence, what's the geometric Langlands correspondence? The geometric Langlands correspondence appeared as a particular way of generalizing these ideas, original ideas of Langlands of connecting number theory and harmonic analysis,
and adopting them in the world of Riemann surfaces. Riemann surfaces like this. And the reason why it's connected to physics is because, as I explained, so there are these models of quantum physics where you also have Riemann surfaces.
You see, so that's two dimensional and then you have to make a leap. You have to, there is a way to connect four dimensional young mills to the theories defined on this human surfaces. So that's another step, but that's roughly why. So why the geometric language is relevant to physics and not the original one. The original one has to do with number theory, whereas the geometric one has to do with geometry of human surfaces. And that's much closer to the kind of stuff that physicists, high energy physicists are studying or quantum physicists are studying. You see. All right.
So that's the picture of Langlands that I already showed before. So I would say that Langlands program is kind of about building bridges between different continents of mathematics. And as a baby version of it, think about the example I gave with numbers. Natural numbers or whole numbers appear both from counting and from homotopy groups, the winding in topology. So that's a bridge between the two fields, right? It's a kind of a rudimentary version of unification.
in mathematics. Langlands program is much more sophisticated program or set of ideas for connecting fields at a much more abstract level. And so unification therefore consists of finding hidden connections, kind of invisible connections between areas of mathematics which seem to be far apart. That's what unification is about in mathematics, not about finding one overarching theory which subsumes everything. It's bridge-making.
So if you are into building bridges, then mathematics is for you. Great. All right. So now I wanted to, I can't resist showing this. So remember I mentioned how Langlands first summarized his ideas in a letter to Andre Wey and Andre Wey will play an important part later on in the story. It was a great mathematician, a French born who moved to the United States during the war and
has been a professor at the Institute for Advanced Study where Einstein was a professor as well as Langlands, Witten and so on. So he gave, so he was the luminary in this field and so therefore Langlands felt that he should run these ideas by him, by Andre Wey. W-E-I-L is how we spell his name. It's very confusing because there is also Herman Weil,
Another great mathematician who was also the Institute for Advanced Study at the same time, his name is spelled W-E-Y-L and is pronounced while, whereas Andre... How is it? It's not vile? So, Andre Wey, that we are talking about right now, to whom Langlis wrote his letter, his last name is pronounced... Like vile sinners.
Like vile spinners, W E Y L spinners. Isn't that Herman? No, no, the vile spinners go to is due to is in honor of Herman while W E Y L. Yeah, that's right. But here we are talking about someone whose last name is spelled W E I L.
Right, right, right. And it's pronounced very differently because he is from France. So it's pronounced in a distinctly French way without pronouncing the last letter, the last consonant. You say way and the way. Whereas Herman Weil was German. So his name is pronounced in the German fashion. Weil.
Or vile. I'm not quite sure. More like vile. Vile. Right. Vile. So, but not to be confused also with Andrew Wiles. W-I-L-E-S. As if mathematics was not already confusing. These people then come up with these names that are really hard to
So for people like myself and yourself, we see these all the time. It never even occurred to me that there was also Andrew Wiles that would be confused with Andre Wiles. Andre Wiles is very close to the subject. If they all worked in areas which were far away from each other, that would be one thing. But actually their works overlap considerably. Herman Wiles definitely works, actually he was kind of a polymath.
He worked in so many different areas under under a very algebraic geometry number theory and so on. So it's very close to Andrew Wiles. And for example, the proof of Fermat's last theorem was actually based on the proof of what was called Shimura-Tanyama-Wei conjecture, where we actually is involved. So you have both Wei and Wiles in this in the same sentence.
You see so, but you know, it's okay. Bear with us. Meanwhile. Yes. In the meanwhile, meanwhile we have this letter. We have this letter from, uh, from Robert Langlands. So Robert Langlands, imagine he is, he's 30 or 31. I think it's 30 years old. So this is like January of 67. He was born in 1936, like in October, I think. So he's a 30 year old man, very ambitious. You know, he's a guy, he's a kind of a really tough guy, very full of energy.
and he meets Andre in the corridor before some seminar and he hands him this letter and this letter is not just like one page it's like 30 pages okay handwritten and what you're looking at right now is a cover page which was preserved in the archive of the Institute for Advanced Study where Langlands worked
I wrote the enclosed letter. After I wrote it, I realized there was hardly a statement in it of which I was certain
If you're willing to read it as pure speculation, I would appreciate that. If not, I'm sure you have a wastebasket handy. That's what it says. I kind of show man a little bit, you know. Yes.
Also 30 pages. I would have so much anxiety sending that and thinking it may get lost in the mail. And then it would happen. My understanding is I haven't looked into this in a while. I mean, I looked at it a lot when I was writing my book and it's quoted in the book. But my collection is that actually Andre Vey, there was like silence and after a week,
He sent a message through his secretary saying that, could you please type, type the letter? Cause I cannot, I cannot understand your handwriting. Yeah. If you look at the handwriting, it's not, it's not exactly the easiest one to decipher anyway. So here's where we are. So we are now in January of 1967 and we have Robert Langlands, one of the greatest mathematicians of the 20th century. He doesn't know it yet. He's 30 years old.
He is looking up to his, Andre was not really his mentor, but he was a towering figure in the field. And Langlands felt that he should be the first judge, the first one to judge his new ideas. Right. So he, uh, these days you would send an email to was an attachment, you know, like PDF file to, uh, to Andre way. But in those days, he actually wrote the letter, um, by hand. And so,
And then the story went stratospheric. And so, but there are several steps that we have to to get to the to the recent work by Gates, Goodie, Ruskin and others about the proof of the geometrical angles conjecture, we have to make a number of steps. And as we make those steps, it the story becomes more and more abstract and more and more sophisticated. So I feel that I have to give an example.
At the outset of what this is about because otherwise it feels like kind of like why are we doing this? You see, I want to give an example of what kind of questions Langlands actually was trying to solve and in what way his ideas were so powerful in solving them. What do you think? Yeah. And the link to the recent work will be put on screen and in the description. Okay. And so to explain this, we have to recall what's called the clock arithmetic. Okay.
So, to explain this, we have to recall what's called the clock arithmetic. And the clock arithmetic is an arithmetic like on a clock where, let's say, in North America, as we go beyond 12 o'clock, we don't say 13 o'clock, but we say 1 p.m. We don't say 14, but we say 2. So, we identify the numbers which differ by a multiple of 12.
And we can do the same for a clock with any number of hours. But it's especially nice to do it when the clock has P hours, where P is a prime number, because then the addition and multiplication of numbers with this identification satisfies all the usual rules of what we call a field. So, for instance, on this picture, you have a clock with seven
our seven is a prime number. So effectively, the only numbers you're focusing on are 0123456, because seven is back brings you back to zero. You can add two numbers like this. If the result is in the same range, then that's your answer. If the result is out of this range, you replace it by a number in this range, which differs from it by seven, right? And likewise, what's multiplication?
So that's what we call the arithmetic modulo, a prime number, in this case, modulo number seven. And so the next notion that we have to introduce is a notion of an elliptic curve. So an elliptic curve for our purposes right now is an equation of the kind, the cubic equation of the kind that is written on the slide. Namely, you have basically
two variables, y and x, and the highest power that you raise y to is two and the highest power you raise x to is three. And so that's it. That's like a normal equation. If you think about it. So what is the solution of this equation? Solution is a pair of numbers, x and y, such that the left hand side, when you substitute that number y will be equal to the, what you get from the right hand side by substituting number x, right?
but the question is what do you mean by number and so typically we could say okay well real numbers right that's a good choice or it could be complex numbers if we do so to kind of jump ahead if we do that if we consider solutions in complex numbers what we're going to get is precisely a Riemann surface the set of solutions is more or less
The surface of a donut, the surface of a donut is an elliptical particular genus. It's a curve of genus one specifically. I see. And this curve of genus one is called the elliptic curve. Is there a straightforward way of seeing that or is that some result that will take us off course? Not immediately. Yeah, you have to do a little work and honestly you have to get the entire torus. You have to also allow solutions at infinity.
So without that, it will be the torus without a point, actually. But this is what gives the name elliptic curve is traditionally was used as a name for this complex torus. But since we look at the same equation and we look at solutions in another numerical system, we also call it an elliptic curve within that context, you see.
That's right. So in other words, let's say you have a basket, you have a basket here has tiny balls inside, you pull out one of the balls, it's ball number two, pull out another one, it's ball number 10. Another one is ball number 12. You're like, okay, this is you look at the label, it says this is the integer basket. That's right. So now you're thinking, okay, so if I was to take one of these integers, put it into my equation, and it comes out with a solution. That's like saying,
What are the balls
putting into my equation, what basket are they coming from? That's the field that is over. Exactly. Or, or we now have our new numerical system, right? This modulo P. So we can actually look at this equation because it has coefficients which are, you know, one and minus one, one and minus one makes sense modulo P as well. So therefore the equation also makes sense modulo P, where P is a prime. So now what would be a solution, say, modulo seven?
If you take p equals, so that's the equation, right?
And so take P equal five. So what are the solutions? For example, X equals zero, Y equals zero is a solution. It's actually solution on the nose. Left hand side is zero, right hand side is zero. Or X equals one, Y equals zero also on the nose because this is zero and this is zero. But there are two more solutions. What do you mean on the nose? Do you mean like it's quite obvious that it's zero? No, they're actually equal to each other. Not only modular five, but just as integers. You see?
But here's an example of something which is not on the nose, which is X equals zero and Y equals four. Let's calculate. Y squared is going to be 16, right? Plus four, 20. Left-hand side is 20 for this choice, right? And the right-hand side is going to be zero still. So the left-hand side is zero and the right-hand side is zero. If we wanted to consider solutions in real numbers or in integers,
Then this would not be a solution because they don't agree with each other left hand side and right hand side. But in our new world of clock arithmetic, modular five, they do agree with each other because in this new numerical system, number 20 is the same as number zero, but modular seven, it would not be because modular seven, 21 is zero, but 20 is not zero. It's minus one. Right. So that's how you see that. It is very subtle question because the
Let's suppose you calculate how many solutions you get module of five. In fact, it's easy by inspection to just plug in all possible values for X and Y, namely zero, one, two, three, four into the left-hand side and right-hand side and see when the results differ by a multiple of five, you see. If you do that, you will find that these are the only solutions. There are four solutions. But when you move from five to seven, which is an X prime number,
and you address the same question, find the solutions module seven, you see that all the previous calculations are completely useless. Well, except maybe this first two will still give you solutions module every prime. But like last two solutions, they're not going to be helpful because the fact that the left hand side and the right hand side differ by a multiple of five is not going to help you to find a solution where they differ by multiple seven. You see, so it's a very strange kind of question where
for every prime number every prime number has its own quirks and for every prime number you get a particular number of solutions and so the question is can you actually describe all of them in one stroke somehow obviously for very small p's you can just do it on a calculator and for large p's you can easily write a computer program say to do it up to thousand ten thousand and so on but try to do it for all p and so this is where langlands program comes in langlands program
gives you a solution to a completely unexpected solution to this problem, all in one stroke. And that's the it's a really good example, because it shows you the power of this ideas, because absolutely out of the blue, out of the left field, you get the solution. So what is it? What is the solution? So let's arrange this as a as in the table. So for every prime number, right, so for every prime number, like
two, three, five, seven, 11, 13. We have the number of solutions and I've calculated them for you. For five, we found them on the previous slide, four, and these are the numbers for other primes between two and 13. But it turns out that it's better to consider not the number of solutions itself, but rather this number, which is kind of the difference between the number of solutions and the prime itself. So P minus the number of solutions. And the thing is that- How is one supposed to get this idea?
If you look at these numbers, you will see that these numbers grow almost linearly with p. So let's just put it this way. It's a kind of an error, because naively you could say it's probably about p solutions, because after all, think about it this way. You have two free variables, right? And each of them takes p values, for example.
If you, if you, if P is five, you have zero, one, two, three, four, and then five is not an extra element because five is zero, right? So you have five values for X and you have five values for Y. So altogether you have five times five, 25, but you have one equation, which means one degree of freedom drops. So you have five squared because there are two degrees of freedom X and Y, but there is one equation. So, so kind of like as a rough estimate, you could say the number of solutions should be close to five.
and number of solutions close to dimension drops by one if you have an equation right so for instance if you have a circle is defined by one equation or a line let's say a line on the plane the plane has x and y two coordinates so it's two dimensional but if you write the equation x equals y you get a diagonal so the equation drops the dimension by one one equation drops dimension by one two equations usually draw by two and so on that's kind of like rough back of the envelope calculation
But one dimensional in this new world means P possibilities, like for five it means five possibilities, two dimensional means 25, three dimensional means 125. So that's how you come up with this rough estimate that two variables with one equation should give you approximately P solutions. And then you say, OK, well, let's calculate what is what is the error. So the actual numbers, the P minus the actual number of solutions.
Then of course, once you understand the language program, there is another explanation why this is a good number to consider. There is another way to explain it, but let's stick with that.
So here's a miracle. This number is AP. So AP is what's in the last slide, colon. So it's not exactly the number of solutions, but it's the difference between P and the number of solutions. But of course, if you know AP, then you know the number of solutions because you simply take, you know, the number of solutions can be found as P minus AP. So the two problems are equivalent to each other, right?
So what we're going to describe is not numbers of solutions for every prime, but we're going to describe these numbers AP, but that's equivalent to the original problem. And so it turns out that these numbers can be described all at once in the language of harmonic analysis. So remember I said the original formulation of the Langlands program was
uh, in relating or connecting number theory and harmonic analysis. The problem we have discussed with counting numbers of solutions is squarely in the field of number theory, right? Because we are, well, all we are doing is arithmetic with numbers, right? And comparing like left hand side, right hand side, modular prime and so on. And harmonic analysis is about functions of some special kind. And so here's how the two fields come together.
Number theory and harmonic analysis. Consider the following infinite product. And at first it looks intimidating, but if you look closely, you will see that there is a system here. So Q is a variable. In high school, we usually denote variable by X. That's the traditional notation. But in this subject, this particular variable is traditionally denoted by Q. Don't ask why, nobody knows. It's just like the name.
In every field, my position is usually X and then it gets mapped to Q and Hamiltonian mechanics. It's I don't know why it's weird because Q is also Q is also used in the field, which is called quantum groups, you know, the quantum algebra. So for quantum and interesting enough, there are many results which were obtained in arithmetic a long time ago or modular forms where for some reason people chose the variable Q. They they connect to results in quantum groups, for example, in quantum algebra.
And this is like, how did they know? Because when you translate them, you don't even have to make a change of variables. Right. So it's a mystery. But anyway, somehow people did it with Q and it caught on. And it's a traditional notation in this theory for for this variable. OK, it's Q. It's called Q not S. Just for the sake of of explaining or perhaps not explaining this function here, Q times one minus Q squared times one blah, blah, blah.
That also looks like it's dropped from the sky. So yes, are we going to explain that or are you just going to say that? Yes, I will explain. But first I give I want to give the answer. Okay. Sure. So first I have to explain what it is so that you're not intimidated by it. So first of all, there is this queue, you just write it once and you forget about it. Then you have this this guy, this guy, this guy, and this guy and it goes on. What what do they look like? It's one minus q squared, right?
This is Q to the first power basically, but then squared. This is one minus Q squared, squared, right? This is one minus Q to the third power squared. So each of these terms is a square of something which looks like one minus Q, one minus Q squared, one minus Q cubed, one minus Q to the fourth. So you can easily guess the next one will be one minus Q to the fifth squared and so on, right? That's clear. Then in addition, you have, you have these guys,
Q to the 11 squared, Q to the 22 squared, Q to the 33 squared. So what are these numbers? 11, 22, 33, right? These are multiples of 11. So you have one progression where you have Q, Q squared, Q cubed, and Q to the fourth. And every time you put a square. And then you have a second progression. The first one is underlined with red. Second one is underlined with blue.
and you got here q to the 11th, q to the 22, q to the 33, and each time you square it. So you can see what the next two terms are. First, you will have 1 minus q to the 44 squared, and then you have 1 minus q to the 5 squared. So after that, we open the brackets. Now, in principle, you could say, okay, well, how can we possibly open the brackets? There are infinitely many terms here. So this dot dot dot means that we continue ad infinitum.
But the point is that the degrees grow, these powers grow. So if you're interested in just the coefficients in front of Q or Q squared and so on, there will only be finitely many terms which will contribute. For example, Q is already there. So Q times one in each of these factors will give you Q. But there is no other way to get Q because every other term will have Q times Q to some other power, some positive power, right?
That's how you know for sure that Q will appear with coefficient 1. What about Q squared? So for Q squared we write actually this is 1 minus 2Q plus Q squared. That's this term, right? So you see there is minus 2Q and this minus 2Q will conspire with Q to produce minus 2Q squared. This.
And there is no other way in which you can get Q squared out of this product and so on. So what I'm trying to say is that this is well defined. The coefficient in front of every finite power, like Q to the fifth, Q to the sixth and so on, is well defined, is a combination of things that come from just finite sums and products. Even though the whole thing is infinite, you see? In other words, only finitely many terms will affect a particular power of Q when we open the brackets.
And so now we get this expression where you have each power of q has a particular coefficient like we have just calculated in front of q you have one in front of q squared you have minus two and then if you continue along this path you will see that the coefficient front of q to q cube is minus one in front of q to the force is two and so on right so what does this have to do with the original problem and the amazing thing is that you recover all these numbers as the coefficient
in front of q to the p. Can you believe this? So, for example, in front of q cube, you have minus one, right? Okay. And so this doesn't work for the non-prime numbers because there's no data. For what? Well, for the non-prime numbers, it doesn't work. So in fact, this series has more information that we needed, right? Because it also has coefficients in front of non-prime powers.
And there's an interesting question of what that corresponds to, which can be answered as well. But let's just, let's just focus. Is that information about what it corresponds to new work that should be covered some more intricate, intricate properties of these equations, but it's not really relevant. It's not really necessary to understand the original question. So that's why we'll ignore it. We will just take the coefficients in front of prime powers. And I claim that in fact they match
Perfectly this number is AP that we have in this. Let's do it. So for P equal two is minus two and that's the coefficient in front of Q squared, right? Yes for P equals three is minus one and that's the coefficient in front of Q cube for Q equals five. Remember we're not considering four because we only want prime powers.
So we don't care about the coefficient in front of q to the fourth, but we do care about the coefficient in front of q to the fifth, right? And this coefficient is one, which is the number AP for P equal five, which by the way is what we found because we found four solutions. But remember AP is not the number of solutions. It's P minus the number of solutions. So P here is five. And so P minus four is one. And that's exactly the coefficient in front of q to the five.
In front of q to the 7, we have minus 2, and that's exactly what we have here. In front of, for p equal 11, we should get 1, and that's exactly what we get. And for 13, we should get 4, and that's what we get. And it is a theorem, it is a mathematical theorem.
Extra value meals are back. That means 10 tender juicy McNuggets and medium fries and a drink are just $8 only at McDonald's for limited time only. Prices and participation may vary. Prices may be higher in Hawaii, Alaska and California and for delivery. No, no human being can ever go through the entire sequence, right? Which is infinite because there are infinitely many prime numbers. This is well known fact. It's a well known theorem, right? So no human being can actually
Behold all these numbers at once, in some sense. However, they are all defined. And you can check for any finite element of this infinite sequence. You can check that the left hand side corresponds to the right hand side. But imagine how much stronger this result is. It doesn't tell you that
That it works for P from one to 30 from two to 13 or two from two to the smallest prime, less than 10,000. It actually tells you that it's true for every P and that's that statement contains within an infinite sequence of statements. It's amazing if you think about it. So one one formula rules them all. Right.
And so we call it the finding order in seeming chaos, the coefficient. If you take the coefficient of the power of Q in this infinite series, then it will give you exactly this AP, which is P minus number of solutions for all primes, for all primes. And so what happens is a kind of a colossal compression of information. Cause just one, think about just one line of code and I explained how this
how this to produce this code, right? So it's, it's, it's some regularity here. You don't need infinite amount of information. It's finite amount of information. You just say one minus Q to the I where I is equal to one and then repeat for I plus one. So you are not as Q squared. I was Q square square and each time square it, right? So this, this, this, this term, this term, this term, this term, and then do the same with Q to the 11 instead of Q.
So Q to the 11, Q to the 22, Q to the 33. It's easy to program. It's extremely easy to program it on the computer in such a way that for any prime number that is accessible, that you have access to on your computer, on your, in your hard drive or your memory, that you can actually store it. You can, you can find infinite amount of time, the coefficient in front of Q to the P.
and guess what it's going to be exactly the number of solutions well more precisely is going to be p minus number of solutions for that for that cubic equation that's an example of the lingman's program and that's the most beautiful it's the simplest most beautiful example i have to say i learned it from uh richard taylor
The great mathematician is at the Institute for Advanced Study. He was a co-author of Andrew Wiles in their famous paper, Solving Fermat's Last Theorem. So I learned an example from him, actually. And it's in my book as well. It's in Love and Math, in chapter seven, I think. So if you want to know more, to learn more about this kind of slow reading, that's where you can find it.
So I also recommend that book just for people who are listening. I read it approximately a year ago or so. And in one of the early chapters, you cover braid braid groups and knot theory, which is something you learn in third year in university. But it's covered in one of the early chapters. That was my first mathematical that was my first mathematical work. That's why I talk about it. Right. So that was my first excitement of solving something which nobody knew that making discovery.
What I'm trying to say is that this just one line of code
kind of gives us gives us a simple rule for solving this infinite counting problem for all prime numbers at once. That's what I mean by finding hidden connections. Remember, I said to me, unification in mathematics is about finding hidden connections between different fields, which seem to be far apart. Here, it's between the field of number theory and the field of harmonic analysis. All right, so now let's talk about what is this what is this product? Okay, in what sense does it reside in harmonic analysis?
Okay, and so the point is that when we talked about it first, we talked about it as a kind of a formal expression, right? So it's like a product Q. So Q was just a variable, but actually it turns out that we can assign a numerical value to Q and this product will converge. So even though it is a product of infinitely many numbers,
It turns out that this product actually makes sense and not in a kind of esoteric sense is like one plus two plus three plus four, but actually like the rigid, precise, rigorous sense of limits that we study in calculus. The product of finitely many terms of this from the first to the nth of this expression is actually going to have a limit as n goes to infinity. And that therefore, but only if q is a number between minus one and one,
a real number between minus one and one. Or we could also work with a complex unit disk. You know, the complex numbers live on a plane because they have both real and imaginary part. And every complex number has a norm, which is the distance from this from a geometric representation of this number as a point on a complex plane and the point zero. So, for example, number i has has normal one because that's the distance from i to zero.
If you take
If you view it as a complex number and substitute in this infinite expression, we will get a well-defined number. It will have a limit. This product will have a limit, you see. So therefore, we get a function on the unit disk. For every Q, we get a specific value, which is encoded by this infinite product. So we get a function on the unit disk, and it is called a modular form. And the point is that it has very special transformation properties under the group of symmetries of the unit disk, which is denoted PSL2Z.
So instead of explaining exactly how this group acts on the unit disk, I'm going to show you how a similar group acts by showing you what's called the fundamental domains. So the action of a group like this, it's actually going to be a subgroup of PSL to Z.
This is not exactly the same subgroup, but it will do as an illustration. So here's what I'm talking about. Remember our harmonic analysis on the circle. Can you go back just a moment? Can you go back to slide 40? Okay, so this function is defined on the complex unit disk. Yes, which is, think about this. It's like this, right? So two complex numbers.
to all of complex. That's right. So look, here's a complex. So here's a complex plane, which has two axes, X and Y, where if you have a point here, a point with coordinates X, Y, we assign to it number X plus Y, I that's a complex number assigned to a point, right? And so you have number one here, you have number I here, you have number minus one here, you have number minus I here.
And then you can draw this circle of radius one. And so your number Q is going to be some number inside this circle, you see. So that's your Q. The condition is that Q is less than one, which means that x squared plus y squared is less than one. Does make sense?
My question is, where is it going to? What's the target space? Okay. Some complex and some complex number and it's unique.
it's unique yes it's unique absolutely yes otherwise it's not a function right so when we say function we mean single value function which means a rule which assigns to every q some complex number but every q not everywhere q is constrained by the property that it is within the unit disk the value is the only constraint is that is unique is is is finite it's well defined and it's uniquely defined so now explain where sl2z comes in so sl2z
Yes, so there is a SL2Z. Before I explain this, let's look at a simpler situation. OK, so at the simpler example, namely the harmonic analysis that we discussed earlier when we talked about sounds of music. Right. So we have this basic harmonics sine and X and cosine and X where N is an integer. And
We discuss the fact that every function on the circle, so they are periodic functions, because if you send x plus x to pi, the value will be the same. So they're periodic with period two pi. Right. And the point is, so the invariant under the shift x plus two pi. And the point is that harmonic analysis allows us to write any function on the circle, essentially any continuous function, let's say, as
a linear combination of these guys. That's called Fourier series. And you can think about it as decomposing the sound of a symphony, of an orchestra, into the notes of different instruments in time. So that in this case, the X is a time because it plays music in time and each note, roughly speaking, is a wave like sine of an X or cosine of an X. And as I said, we can arrange things in such a way that
The nodes have approximately proportional to a specific frequency. The frequencies of these nodes are proportional to a specific frequency with integer multiples, with rational multiples more precisely, but we can always find a kind of a common denominator so that they will be just integer multiples.
So that's the setup of harmonic analysis. But what I want to focus our attention on is the fact that actually there is this there is this invariance. What's special about these functions sine and X and cosine and X is that they are invariant under the shift X goes to X plus two pi. But if so, it's also invariant under the shift X plus two pi times some integer, for example, four pi, six pi, eight minus two pi and so on. So you see what happens that actually there is a group of symmetries that is lurking in the background.
When you talk about these functions, this function really is defined. Think about it. This function is defined on the real line. So that's your real line, right? And so your function is going to be a cosine function or sine function. So it's going to look something like this. Right? It's a wave like this. But now the point is that if you shift it, you see, if you shift it by this amount,
If you shifted by this amount, it will stay the same, right? So if you imagine shifting this whole, this whole curve from here to here, so this point goes to here, this point goes to here. So it will go to itself. That's what I mean by being invariant, right? I think that's the best approach for this part. And then in part two, we can go to the graduate student level. Yeah, I do. I do. I do. I want people to understand it because it's really basic and beautiful stuff. So, so what I'm trying to say is that there is a shift.
under which the whole thing
It's also invariant under shift by four pi, which would be like twice this, twice this and one more time, right? So as a result, it's invariant under all of the shifts and all of the shifts gives you an action of the group of integers on the real line. And what I would like to focus on is what's called the fundamental domain of this section. And the fundamental domain of this section is just this interval because
It's like remember like when we talked about arithmetic module of five, then we identify things which are related by a multiple of five. So the fundamental domain consists of just zero, one, two, three, four. Every other thing you can get by adding to one of those a multiple of five. And likewise, now on this picture, every real number can be obtained from a number on just on this interval. Plus a multiple of two pi.
So that's called the fundamental domain. Fundamental domain. But actually it's not the only fundamental domain. The whole real line breaks into fundamental domains which are going to be from this point to this point, from this point to the next and so on. They all have lengths 2 pi. And now let's go back to this. So here on the unit disk there is another group which is called PSL2C which plays the role of Z
two pi Z in our baby version, which is here, right? Two by M and the analogs of this intervals are precisely this kind of a hyperbolic triangles, both black, both red and white. So this gives you a sense of how this group acts. It is by hyperbolic transformations and this visualizes how is what it does. It exchanges different triangles, exchanges points in red triangles with points in other red triangles or white triangles. You see,
So this gives you a rough idea of the special properties of this function that we are considering. This function, which is obtained from our infinite series that solved for us all the counting problems for all prime numbers all at once. This function that we obtained from this series by evaluating it at points in the unit disk actually has special symmetry properties with respect to the group which acts like so.
which is similar to how sine and cosine functions act with respect to the action of a much simpler group, namely the group 2 pi z, z being the integers. You see? So that's a rough explanation. And again, if you want to know more, for instance, you can read about this in chapter 7 of Love and Maths and so on. But that's kind of a rough explanation of what is so special about this function.
Now the weight in this one is what is two, you said here, or is it one? The weight because modular weight is to weight is to weight is to because roughly speaking, because well, it's elliptical. So it's like to demand it has to do something, something two dimensional is in the background. Sure. Now, this is actually so now,
This is one example, remember. What we're considering is just one example. There is one counting problem, there is a specific cubic equation, right? It was y squared plus y equals x cubed minus x. And we are looking for every prime number, we get a number of solutions, then we slightly modify it by subtracting it from p. Those are coefficients in front of prime powers of q in this infinite series.
In other words, you were just given an elliptic equation.
in modulo primer or the clock arithmetic prime number. That's right. And then actually you took a modified form of that with some error term, but it doesn't matter. That's right. Found a correspondence between that and a modular form. That's right. Now you're wondering specific modular for a specific modular form, right, which we could actually write out explicitly. Right. And now you're wondering, okay, well, that was for one elliptic curve. Can I be greedy? Is there a class of elliptic curves that this may work on? Does it work for every single type of elliptic curve? Exactly.
Was this just a coincidence? Is there something special here? It actually works for all smooth elliptic curves. So there is some kind of condition, not degenerate kind of equations. So there are lots of equations you can write of this nature that we wrote, infinitely many in fact, and for each of them there will be its own modular form which will encode
Numbers of solutions for all primes, save maybe finitely many. In this case, we lucked out actually every single prime. For every single prime we got matching, perfect matching with the coefficients. In general, there will be finitely many prime numbers for which it will not work. But okay, it's not a big deal compared to infinity of other primes for which it will work, you see. So, and that is called the Shimura-Tanyama-Wei conjecture.
And it's a beautiful story. So this is the 1950s. There were two Japanese mathematicians, Yutaka Taniyama and Goro Shimura and Andre Wey, the recipient of that infamous letter from Robert Langlands. They were actually at a conference in Japan. There was a famous Tokyo Niko Symposium in 1955. Remember, this is after World War II. And obviously, Japanese mathematicians were isolated from American mathematicians. This was essentially the first meeting
of the mathematicians from the two nations. And it was extremely influential. So there's a picture. The talks were held in two cities in Tokyo and Nikko. And they are on the train here going from Tokyo to Nikko or maybe the other way around. And who do you see here? So you have this is Andre Wei. This is Yutaka Atanyama, who is this brilliant Japanese mathematician committed suicide at the age of 31.
I talk about this more in love and math. And so if you're interested, it's a very interesting story. Uh, this is Goro Shimura. I was another Japanese mathematician who actually worked most of his life at Princeton university. And this is Jean-Pierre Serre, a legend from Paris. You see a beautiful picture. Yeah. And so the Shimura-Tanayama conjecture, Tanayama-Wei conjecture is what is it again? Let me say it one more time. So
It's a statement that for every cubic equation, what we call the elliptic curve over finite fields or elliptic curve of the rationals. And then we specialize modular prime numbers. Every cubic equation of the kind we consider it will have its partner in a different world in the world of modular forms.
uh... so they're going to be of weight two and also satisfy some condition some additional condition they're going to be what's called a new form which i'm not going to get into it it's a technical but not very complicated condition and uh... it turns out that there is a bijection and it goes in both directions one to one correspondence isn't it amazing one to one correspondence that for every modular form there is its own cubic equation waiting in the you know
in the wings whose counting problem will be given by the coefficients of this modular form at prime powers, save maybe for finitely many of those. And conversely, for every cubic equation, there is a modular form waiting to give the solution to the counting problem.
So that's the kind of things we're talking about. It's really mind boggling. And how did they come up with this is absolutely genius. Like now we look back after so many years, like what, 70 years, it looks kind of, yeah, sure, it makes sense, but it absolutely did not fall from anything. Just the fact that there were several examples known, it doesn't mean that there should be really one to one correspondence. And yet there is, you see, that's, that's how groundbreaking this is. And to add to the kind of the glory of this result, I want to mention that Fermat's last theorem actually follows from it.
In 1986, my colleague here at UC Berkeley, Ken Ribbett, proved that if you control Trimot-Anhemovic Conjecture, then you get Fermat's Last Theorem. And Fermat's Last Theorem, of course, I imagine most of the viewers have heard about. It's an impossibility of solving this equation with positive integer numbers.
You see, so Ken Ribbett comes in 90, so that Fermat's last theorem was proposed by Pierre Fermat on the margin of the Deophantus book on arithmetic 350 years ago. And he wrote famously on the margin that he found a beautiful proof of it, but the margin is too small to contain it. So for the next 350 years, people try to prove it professionals and amateurs only to have their hopes dashed that people found would find mistakes and so on.
until finally in 1996 Ken Ribbett, my colleague here at UC Berkeley, was able to relate it to something, to a different conjecture, which is the Schmortanian wave conjecture we just talked about. In fact, we talked about one specific example of this conjecture, but the Schmortanian wave conjecture is much vaster than that. It services every cubic equation and every modular form, which is of weight two and a new form.
So finally, what remains to prove is the Shimur-Tanyamovay Conjecture, and that was done by Andrew Wiles and Richard Taylor in 1995, I believe. In other words, Fermat's Lysterium follows from Shimur-Tanyamovay, but Shimur-Tanyamovay is a special case of the Langlands program.
So now already the Schmur-Tanin-Move is a vast generalization of this one example we considered, right? Because our one examples reference specifically a particular cubic equation and a particular modular form, which was given by the infant product. So Schmur-Tanin-Move is a vast generalization of that to arbitrary cubic equations, satisfying some conditions and modular forms.
And that's just a very special case of the Langlands program. So that's what it's about. Now, the original program Langlands program was about this type of questions in number theory and a possibility of solving them in terms of much more easily tractable questions in harmonic analysis. Now I have a feeling that this way approaching kind of a nice middle point.
in this conversation. I feel like we won't be able to get to the end of it today unless we talk all day, you know. So do you think it would make sense to
have a second installment where I will pick up on this. We have now a very nice kind of like we build the foundation. We see now an example of what this is about, a very concrete example of what this is about. So this will give us motivation to study this further and to think about generalizations of this Langlands program, moving it away from questions in number theory to the questions in geometry that are related to Riemann surfaces and things like that.
And that will bring us to up to date to the most recent achievement of this recent papers that we talked about. Sure. So here's what we'll do. People who are watching, if you have any questions, leave them in the comments below, because then this way we can pull from them to ask next time if you're confused at any point. And a quick question I have is the language program is usually formulated as if I have a question in number theory, I can more easily answer it in harmonic analysis.
Right, but I don't hear the opposite, that if there's a question in harmonic analysis, can I throw it over to number theory? It's much more easily solved there and throw it back to harmonic analysis.
Interesting enough, such questions did emerge because obviously if you have a bijection, then initially it looked like harmonic analysis is much simpler. And so this is kind of an advantageous approach is to reformulate number theoretic questions. Not all number theoretic questions, mind you, I want to make sure that there is no misunderstanding. I'm not saying every single question in number theory can be formulated in these terms. No, very specific questions like the questions that we discussed, right?
So it's less like a bridge between two continents and more like a bridge between a city in one continent to another one. It's more than the city. It's more like a
The point of it being it's a subset, proper subset. It's a proper subset, but it's a very big subset. And the question is, and one could hope that maybe for now we think it's a subset, but maybe eventually we'll see. In a sense, it is much more than just a subset because
Let me comment on this because it's important. So the proper formulation of this correspondence is not in terms of equations that we did on the side of number theory. It's in terms of the Galois group. It's in terms of the Galois group. So Galois group is a very important concept in mathematics. And Galois group is, roughly speaking, describes symmetries of numerical systems that you can get out of rational numbers. By rational numbers, I mean fractions. A divided by B, like one half or three fifths.
They form a field of its own, and we can throw in solutions of various polynomial equations into it, like square root of two, or i. As a result, we get what's called algebraic closure, a much vaster field. And one could argue, and I think this is a very good argument, that every problem in number theory boils down to a problem about this Galois group. Now, if you accept that, the Langlands program actually gives you
Something very simple, more or less gives you an answer to most reasonable questions about Galois groups, because it describes n dimensional representations of the Galois group for all dimensions. What we are discussing now has to do with two dimensional representations that have to do with this elliptic curves. But in fact, the conjectures are much cover much raster spectrum of questions about Galois groups.
so in some sense it's not a big exaggeration is that we are actually covering a very big territory it's not a city for sure it's not even a it's not even like a state it's much more it's like a coast it's a coast is a big half of the country okay at least half of the country let's just say
So it is really serious. It's not like a small, a small probe. Understood. Understood. Okay. I didn't mean to do it. No, no, I'm not. I'm not trying to. I'm not trying to. By the way, it's not, it's not really my field. So I'm not, I don't have a horse. Okay. So because people are going to be championing at the bit thinking like, Oh, I wish that I had more to chew on when it comes to what are the recent results about, why don't you just give a fly over teaser for what's coming next? So first of all,
Well, that's the kind of a summary of what we talked about. The cubic equations are connected to modular forms and the general correspondence is about representation of Galois group is what's called automorphic functions which generalize these and these generalize this. So when I say it's not really my field, I mean, I come into Langlands program more from the side of geometry. So this is something that I don't necessarily work on on a daily basis. So it's kind of like a
I'm more of a hobby this area of the Langlands program for me. But now we're going to move closer to what my field is, the field in which I have worked for the last 40 years. And if you'd like to save time, address a graduate student audience in math or physics. Okay. So first there is one twist, which I haven't mentioned, which is what's called the Langlands dual group.
Because in fact, there is a group was called a group appearing on both sides, but these two groups are not the same. One of them is a dual so-called dual. And why it is so is a big mystery, but it's one of the indications that there's something very non-trivial. These groups are described in terms of thinking diagrams. So there's some beautiful, beautiful combinatorics. There's a beautiful story underneath.
And so finally, we get to the crucial point, which is that, in fact, we talked about number theory and about how the questions in number theorem can be related to some questions in harmonic analysis, right? But
There is a separate idea in mathematics, which is called the Rosetta Stone of math, which is due to Andre Vey. That's the guy to whom Robert Langlands wrote his initial letter in 1967. Andre Vey in turn wrote a letter to his sister, Simone Vey, who was a great philosopher and mystic and humanist from jail, from prison in 1940. He was jailed because he refused to serve in the army during the war.
And Andriy Vey in this letter formulated an analogy between three different areas of mathematics. Number theory, curves over finite fields and Riemann surfaces. So that's not the same kind of list as what we have here. So Langlands correspondence is from number theory to harmonic analysis. But number theory has analogues to other fields, this and this. And so the question arose as to whether there are analogues
of harmonic analysis for this guy and for this guy. Did we not just do curves over finite fields? That's right. So curves over finite fields have already occurred, but in fact, for a different reason, and this is a bit confusing, but bear with me.
The reason why, what occurred here is not really a curve over a specific finite field, but remember we had one equation which actually made sense, modulo every prime. So in fact, it was an equation over the integers because the coefficients were integers. That's what enabled us to relate it to an equation over modulo prime, right? So in other words, here you actually have, the truth is that
What we have here is an elliptic curve, elliptic curve over the integers or over the field of rational numbers. And if you have such a curve, you can consider, you attach to it a curve over all primes, for a module of all primes. You see? All primes.
but here we consider finite field with a specific with a fixed prime so it's a different setup even though the same objects appear here and here but they appear in a different way in a different they have different meanings so even though they appear in both they actually kind of
There are three relationships here. There's number theory to harmonic and back and then there's curves over finite field to something else not defined yet and remount surfaces to something else. So we have to find, and this is a question, what are these connections in these two other realms? So it's a conjecture about conjectures. That's right.
Interesting and so you see the point is actually to be honest this this connection was kind of obvious because these two areas are so close to each other that it was very easy to find an analog of the harmonic analysis that is necessary for these guys. There are already connections going downward from number theory to curves over finite fields and then from number theory to Riemann surfaces. These are not connections so that you see horizontally it's really like a correspondence
because we saw that for that cubic equation that corresponds to that cubic equation that corresponds a particular modular form, so that numbers of solutions of the equation modular primes can be expressed as coefficients of this modular form. So it is not just an analogy, it's actually bona fide one-to-one correspondence.
So horizontal is a correspondence where one thing on the left object on the left corresponds to object on the right. But the vertical is not a correspondence. It's an analogy that you're saying whatever happens for number theory questions like that should also be true for questions, similar questions for God over finite field. And something like that should also be true for human surfaces. So it's much more vague, much more less, much less defined. You see Andre vague.
Why vague? Oh, vague. I got you. That's a good one. Yes. That's it. So under this genius was to see the analogy between these three fields and not just to see them kind of like as a dream, but in fact, come up with some tangible conjectures, the so-called, you know, the very conjectures, which is very closely related to this stuff, which is kind of Riemann hypothesis for this middle field.
which was eventually proved by various people including Alexander Grothendieck and Pierre Deligne. But here we're not talking about that. We're talking about now a hypothetical generalization of this one-to-one correspondence called Langlands correspondence in the original setup to a similar correspondence for this field and for this field. You see, that's the idea. And the point is that go from here to here is relatively easy. And it was actually clear from the outset
But to go here is complicated. Okay. Okay. So we've lingered on slide 50 for, for too long. So for the synoptical glimpse that we want to give rapidly, can you go over just for the graduate students as a tease? Yeah. Okay. So look, the Rosetta stone is going like this, analogies between these three fields. Number theory here. I have a nice picture of the various Galois because it's all about Galois groups. Like I said, curves over finite fields.
Equations like this, but for a fixed prime and we don't care about it. It's not just about solutions of this, but about some more concrete questions and only for a fixed prime. And then there is a theory of Riemann surfaces and kind of geometric objects that are associated to them. So here I want to, and perhaps this was, this is where we will stop. So, because I think that otherwise it's kind of going to be a little bit overwhelming, but I want to, I want to quote Andre Vey from that letter.
My work consists in deciphering and trilingual text. Remember the actual Rosetta Stone. Rosetta Stone was a stone with three texts in three different languages about the same thing. And archaeologists were able to decipher them because they knew that these three texts referenced the same thing. So that's an apt analogy.
that he was talking about this trilingual text, trilingual because of these three fields that he's discussing, number theory, curves over finite fields, and Riemann surfaces. And of each of the three colons, I only have disparate fragments. I have some ideas about each of the three languages, but I also know that there are great differences in meaning from one colon to another. In the several years I have worked at it, I have found little pieces of the dictionary.
And I want to quote another place from that letter, where he talks about how the process of mathematicians, how at first you come up with some conjectures, with some analogies, and it's all very vague at that point. It's all like a dream. But eventually some of it may work out and kind of solidify and crystallize into something which is a rigorous bona fide theory. And in this passage, Andre Wey talks about not only what is gained when you go from this kind of
from this dream to its realization, but also what is lost. He says, when this happens, gone are the two theories, the two theories that you tried to, that you saw, of which you saw some kind of nebulous analogies, but you know, which you have now connected to each other, gone their troubles and delicious reflections in one another, their furtive caresses, remember his French, their inexplicable quarrels,
Alas, we have but one theory whose majestic beauty can no longer excite us. Nothing is more fertile than this illicit liaisons. Nothing gives more pleasure to the connoisseur. The pleasure comes from the illusion and the kindling of the senses. Once the illusion disappears and knowledge is acquired, we attain indifference. In the Gita, he's referencing Bhagavad Gita, the sacred text of Hinduism. He actually spent a lot of time
In India, he learned Sanskrit. He met personally Gandhi. So it was a very deep guy and he's referencing Gita here in Gita. There are some lucid versus to that effect. And then he goes, that's my favorite part, but let's go back to algebraic functions. So I think it's a good place to, to, to take a break and, uh,
Wonderful. I have to get you to expand on the pleasure comes from the illusion.
So that to me sounds like a difference between Buddhism and Hinduism, because in Buddhism, they would say that the suffering comes from the illusion, or more specifically, attachment, though still there's a heavy emphasis on removing an illusion. And here it says the pleasure comes from it. Yeah, well, suffering comes from attachment, I would say, in Buddhism, since that's the Buddhist idea, from attachment. So the question is, can you have an illusion without an attachment?
I think so. I think so. An illusion is something, you know, how in both of these traditions and other Eastern traditions, there is this concept of Maya. The world is an illusion, is a play of Maya. And so in a sense, we have our own Maya in mathematics as well. You know, so I think that I kind of see it a little bit as a comment on that.
In other words, there is a play, there is a play. And this is important, I think, also, by the way, in terms of discussion about what is creativity and what is the difference between the human consciousness and artificial intelligence, human intelligence and artificial intelligence. And so there is a temptation, given how powerful our current models, large language models and so on, of artificial intelligence. It's very tempting to say that they can do everything human beings can do.
I disagree. I think that the work of the great mathematician such as Andre Wey, Robert Langlands, Alexander Grothendieck and others shows that true discoveries in mathematics are really points of departure from what is known. It's very hard to imagine that these discoveries can be made by simply reshuffling and correlating and interpolating known data.
It comes from somewhere else. It comes from this inspiration, which is very hard to quantify. But all of us, mathematicians, scientists in general, in fact, all of us, I think, who do what we love. We all know this feeling of inspiration, this feeling when you start flying, when you are not
Thank you, Professor.
I'm glad I WhatsApp messaged you.
Firstly, thank you for watching. Thank you for listening. There's now a website, curtjymongle.org and that has a mailing list. The reason being that large platforms like YouTube, like Patreon, they can disable you for whatever reason, whenever they like. That's just part of the terms of service.
Now a direct mailing list ensures that I have an untrammeled communication with you. Plus, soon I'll be releasing a one-page PDF of my top ten toes. It's not as Quentin Tarantino as it sounds like. Secondly, if you haven't subscribed or clicked that like button, now is the time to do so. Why? Because each subscribe, each like helps YouTube push this content to more people like yourself
Plus, it helps out Kurt directly, aka me. I also found out last year that external links count plenty toward the algorithm, which means that whenever you share on Twitter, say on Facebook or even on Reddit, etc., it shows YouTube, hey, people are talking about this content outside of YouTube, which in turn
Greatly aids the distribution on YouTube. Thirdly, there's a remarkably active Discord and subreddit for theories of everything where people explicate toes. They disagree respectfully about theories and build as a community our own toe. Links to both are in the description. Fourthly, you should know this podcast is on iTunes. It's on Spotify. It's on all of the audio platforms. All you have to do is type in theories of everything and you'll find it. Personally, I gained from rewatching lectures and podcasts.
I also read in the comments
and donating with whatever you like. There's also PayPal. There's also crypto. There's also just joining on YouTube. Again, keep in mind it's support from the sponsors and you that allow me to work on toe full time. You also get early access to ad free episodes, whether it's audio or video. It's audio in the case of Patreon video in the case of YouTube. For instance, this episode that you're listening to right now was released a few days earlier. Every dollar helps far more than you think.
Either way, your viewership is generosity enough. Thank you so much. Think Verizon, the best 5G network is expensive? Think again. Bring in your AT&T or T-Mobile bill to a Verizon store today and we'll give you a better deal. Now what to do with your unwanted bills? Ever seen an origami version of the Miami Bull?
Jokes aside, Verizon has the most ways to save on phones and plans where you can get a single line with everything you need. So bring in your bill to your local Miami Verizon store today and we'll give you a better deal.
▶ View Full JSON Data (Word-Level Timestamps)
{
"source": "transcribe.metaboat.io",
"workspace_id": "AXs1igz",
"job_seq": 4902,
"audio_duration_seconds": 8449.1,
"completed_at": "2025-11-30T23:28:29Z",
"segments": [
{
"end_time": 26.203,
"index": 0,
"start_time": 0.009,
"text": " The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science, they analyze culture, they analyze finance, economics, business, international affairs across every region."
},
{
"end_time": 53.234,
"index": 1,
"start_time": 26.203,
"text": " I'm particularly liking their new insider feature was just launched this month it gives you gives me a front row access to the economist internal editorial debates where senior editors argue through the news with world leaders and policy makers and twice weekly long format shows basically an extremely high quality podcast whether it's scientific innovation or shifting global politics the economist provides comprehensive coverage beyond headlines."
},
{
"end_time": 70.367,
"index": 2,
"start_time": 53.558,
"text": " As a Toe Listener, you get a special discount. Head over to Economist.com slash TOE to subscribe. That's Economist.com slash TOE for your discount. Close your eyes. Exhale. Feel your body relax."
},
{
"end_time": 95.435,
"index": 3,
"start_time": 70.538,
"text": " And let go of whatever you're carrying today. Well, I'm letting go of the worry that I wouldn't get my new contacts in time for this class. I got them delivered free from 1-800-CONTACTS. Oh my gosh, they're so fast! And breathe. Oh, sorry. I almost couldn't breathe when I saw the discount they gave me on my first order. Oh, sorry. Namaste. Visit 1-800-CONTACTS.COM today to save on your first order."
},
{
"end_time": 119.974,
"index": 4,
"start_time": 96.459,
"text": " How are you doing today, Edward? I'm doing great, Kurt. It's great to see you and it's great to be back on the Theories of Everything podcast. Yes, and to give some context for people who are wondering, what is this particular episode about? The reason we're here is that my good friend, professor of physics, Lucas Cardoso, WhatsApp messaged me a webpage titled, proof of the geometric Langlands conjecture."
},
{
"end_time": 142.858,
"index": 5,
"start_time": 119.974,
"text": " And then he asked me if this was legitimate. So I then WhatsApp my other good friend, namely you, professor of mathematics, Edward Frankel, to find out if it was indeed. And you said yes. And moreover, we talked about how you're like Forrest Gump and many mathematical achievements have you peppered in either in the foreground or in the background of mathematics. Yes, exactly."
},
{
"end_time": 162.295,
"index": 6,
"start_time": 143.643,
"text": " So Love and Math covers some of that. That's your popular book and the link to that will be on screen and in the description and in that book you provide an accessible introduction to what's one of the most abstract of all the mathematical topics, namely the Langlands conjectures. And since this isn't a recent"
},
{
"end_time": 186.408,
"index": 7,
"start_time": 162.637,
"text": " I'm happy to be back and I also want to say that from watching your videos of your"
},
{
"end_time": 216.578,
"index": 8,
"start_time": 186.783,
"text": " interviews of your conversations on this podcast theories of everything. I feel like your audience is more interested kind of in more in depth discussion of some fairly sophisticated topics in the mathematics, quantum physics and other areas. So that's why I was actually happy to accept your invitation to talk about the subject, which is very, it's quite esoteric and quite sophisticated and quite technical because I know that there is a sufficient at least sufficient number of"
},
{
"end_time": 245.077,
"index": 9,
"start_time": 217.176,
"text": " So I just want to say from the beginning that this is really a very important achievement indeed. And like you said, it caps several decades of work by a large group of mathematicians. I have been involved in this since about 1990. So it was"
},
{
"end_time": 274.241,
"index": 10,
"start_time": 245.469,
"text": " You know, I was very small. So I was, uh, uh, I met actually at the time I met, uh, Vladimir Drenfeld, who is, was one of the pivotal figures in the subject, uh, fields medalist and so on. It's probably got all the major awards by now. He's a professor at university of Chicago at that time. This is 1990. We were both at Harvard university visiting. And, uh, he was actually very interested in my work because it actually, he was anticipating starting this new,"
},
{
"end_time": 288.251,
"index": 11,
"start_time": 274.718,
"text": " I'm kind of a new part of the language program which became known as a geometric language program and he thought that my results my ideas were useful for that and so then we would meet every day and talk about it."
},
{
"end_time": 315.759,
"index": 12,
"start_time": 288.695,
"text": " and so then i was like curious what is this language program this is 1990 so there were not so many it wasn't in the air like we were talking about this that much especially it's new but it was quite removed from my initial area of interest which was representations of infinite dimensional algebra and so i had the luck of actually having one of the main figures in the subject teach me about this the basics and so this is 34 years ago so that's"
},
{
"end_time": 339.821,
"index": 13,
"start_time": 316.152,
"text": " how many years I have been involved in this. And indeed my work was important in Drinfeld's work with Bellinson, which launched this conjecture, geometric Langlands conjecture that kind of like flowered recently in this series of works by, I think it's nine mathematicians, but led a team of mathematicians team work. It's really like 500 pages or more."
},
{
"end_time": 368.592,
"index": 14,
"start_time": 340.333,
"text": " I'm led by Dennis Gaizguri, who is an old friend of mine. We've written like, I counted today, 11 papers together, eight of which are very closely related to the subject and in fact are used in the proof. And there are many other great, you know, young mathematicians like Sam Ruskin and Dario Beraldo, whom I have known. I was basically his co-advisor when he was a graduate student here at Berkeley. So in other words, I'm kind of like well positioned to"
},
{
"end_time": 397.022,
"index": 15,
"start_time": 368.899,
"text": " to see the the big picture and I'm happy to share it with you and with your audience because the subject is quite abstract like you said and so one needs some guidance to kind of penetrate through this this abstraction this you know kind of maybe somewhat obscure notions and and concepts but they are important and I think that I think it's"
},
{
"end_time": 425.828,
"index": 16,
"start_time": 397.432,
"text": " People don't necessarily have to understand the technical stuff precisely, but just have an idea, have a gist of an idea of what these concepts are, how they relate to each other. Because after all, you know, a lot of people know about quantum physics, they know about entanglement, they know about various other kind of weird aspects of quantum mechanics or quantum field theory. People know a little bit about string theory, for example, and so on because"
},
{
"end_time": 455.077,
"index": 17,
"start_time": 426.323,
"text": " Physicists have done a great job explaining these ideas in down-to-earth terms. But mathematicians haven't. Mathematicians haven't as much. You mentioned my book, Love and Math. One of the motivations for writing this book was exactly to present these ideas in an accessible form for the general audience. It was published in 2013, so about 10 years ago. I've always tried to do it. I've always tried to share these ideas with the general audience."
},
{
"end_time": 483.916,
"index": 18,
"start_time": 455.538,
"text": " I think this is a great opportunity to do this again because we are witnessing kind of a landmark achievement in the subject being done in this recent series of works. I think it's a very opportune time to revisit some of the aspects of the Langlands program, to look at the big picture, to talk about some of the concepts and ideas that go into this proof because these are concepts and ideas not only important for the Langlands program but they are kind of bread and butter of modern mathematics."
},
{
"end_time": 510.145,
"index": 19,
"start_time": 484.838,
"text": " And the more of us, the more people are aware of this, these things become coming to, you know, in kind of in the air in the conversation. I think the more we will benefit from it. Mathematicians benefit because it helps us also to to leave, you know, our little office or a little desk, you know, and go talk to talk to other people and kind of get maybe it helps us to also get kind of a"
},
{
"end_time": 535.776,
"index": 20,
"start_time": 510.145,
"text": " Bigger picture and but also helps other people to understand what these guys are doing. What kind of ideas are being played being played with today in modern mathematics? Some of those people you mentioned that you collaborated with did you ever collaborate with Langlands himself? Yes, I have just as an aside for people who are listening the name Langlands has been around for so long decades now the Langlands program that it sounds"
},
{
"end_time": 558.985,
"index": 21,
"start_time": 536.032,
"text": " It would sound like he's no longer around because it's such an historic name, but he's alive and well at the Institute for Advanced Study. So I just want to show you Robert Langlands here. So here he is sitting at his office at the Institute for Advanced Study in Princeton. This picture was taken in 1999. Interesting fact, this is the office previously occupied by Albert Einstein."
},
{
"end_time": 572.21,
"index": 22,
"start_time": 559.462,
"text": " I'm serious. It's not a joke. That's the office occupied by Albert Einstein. And in fact, if you look, if you compare the photographs of Langlands at this office, also he's given some talks, there are videos online and so on. With the picture of Einstein, you will see it's the same office."
},
{
"end_time": 599.002,
"index": 23,
"start_time": 572.534,
"text": " Now, as I mentioned, I have collaborated with Langlands. We actually wrote a paper together with another mathematician, Baoqiang Guo, who is a Fields Medalist at the University of Chicago. That paper, I think, we published in 2010 or something. So I've known Langlands for many years and we talked a lot, but especially between 2008 and 2010, we collaborated quite closely. I visited him a number of times at the Institute for Advanced Study."
},
{
"end_time": 628.2,
"index": 24,
"start_time": 599.002,
"text": " I've spent a lot of time at this office, sometimes arguing with him, you know, he's a tough, he's a tough client, you know, to say he doesn't take any bullshit. So sometimes we kind of went a little bit, you know, looked our horns. Can you give an example? Well, you know, he would be sometimes skeptical about things. And, you know, I was kind of I was I guess I was I was younger and I felt a little bit like I had to prove myself. Occasionally I would push back and say, no, it is correct. You don't understand."
},
{
"end_time": 656.357,
"index": 25,
"start_time": 629.224,
"text": " I ended up being correct. Well, I would be biased, but I think two sides to every story. I think that I was, I held my own and well, we did complete the paper and I'm proud of it. It was published, like I said, about 2010. Uh, and, and, you know, so obviously, uh, he accepted some of it, but his comments were always on point. I have to say also all jokes aside, you know, that,"
},
{
"end_time": 679.394,
"index": 26,
"start_time": 656.732,
"text": " um, even though he was already like in his seventies and so on, but he was still sharp and kind of like, you know, quick on his toes and like, yeah, what is this about? He would pick up exactly the things where things were not quite fitting together, for example. So anyway, that was a lot of fun. So that's, that's who he is. So he's a mathematician, Canadian born by the way, Canadian born from British Columbia."
},
{
"end_time": 707.637,
"index": 27,
"start_time": 679.804,
"text": " And it's a beautiful story, actually, because he was, you know, lived in a small town. His father was a carpenter. And for all he knew, he would just inherit family business and, you know, make the windowsills and install windowsills and stuff like that. But there was a teacher, there was a mathematics teacher at his school who inspired him to go to university. He went to UBC, University of British Columbia. He wasn't planning to."
},
{
"end_time": 736.732,
"index": 28,
"start_time": 708.336,
"text": " This is after the war, you know, he was like, okay, well, this might, this is my town. This is where I'm going to live here and, you know, do the stuff that my father is doing. But his, his teacher, this is all according to like, he wrote a couple of biographical sketches, notes for when he received some major awards, you know, so that's where I picked this up. He said something like his teacher shamed him in front of the classroom full of kids, his classmates saying that,"
},
{
"end_time": 756.118,
"index": 29,
"start_time": 737.466,
"text": " you have"
},
{
"end_time": 782.432,
"index": 30,
"start_time": 756.442,
"text": " Kind of inferior to the kids from Europe who seem to know a lot more stuff than he did. He studied, you know, in this in this provincial town, small town, and he felt a little bit inferior to them. But I think it gave him a little bit of fuel, like I'm going to show them guys. And so, of course, you know, years later, he comes up with these ideas, which became known as the Langlands program."
},
{
"end_time": 812.824,
"index": 31,
"start_time": 783.08,
"text": " So how did it happen? So this was in late sixties. In fact, 1967 is the year when he formulated his ideas for the first time in writing and it was in a letter. In those days, there was no email, obviously. So sometimes mathematicians would write things or type things and either send it by mail or if somebody was close enough, as was the case, Andre Wey was a great mathematician who was in Princeton."
},
{
"end_time": 837.841,
"index": 32,
"start_time": 813.37,
"text": " the same"
},
{
"end_time": 867.261,
"index": 33,
"start_time": 838.285,
"text": " where he shared these ideas. It's not clear that Andre Wey, who was himself a towering figure in mathematics, a very important mathematician of the 20th century, a professor at the Institute for Advanced Study. At that time, Langlands was not a professor at the Institute for Advanced Study. He was at Princeton University, I believe. And so, but they were in the same town and the same place in Princeton. And I'm not sure Andre Wey actually understood what he wrote, but it was a great opportunity for Langlands to kind of like"
},
{
"end_time": 891.084,
"index": 34,
"start_time": 867.756,
"text": " put these things organized on paper. And then the whole thing just launched because this, this letter was, was shared was, you know, people made photocopies, Xerox copies, you know, at that time. And a lot of people got interested in this stuff and that's how Langlands program was launched. So now, uh, fast forward, uh, 67. So fast forward 2007, so 40 years."
},
{
"end_time": 921.374,
"index": 35,
"start_time": 891.698,
"text": " I wrote this book, I wrote this book before love and math. I wrote this book, like correspondence for look groups. The correspondence doesn't mean like sending letters to each other, even though letters are very important in this story. Correspondence here means a kind of like one-to-one correspondence, a relation between two kinds of objects. And we will talk about this later on. And at very first sentence in the, in the preface to this book, this was published by Cambridge university press in 2007."
},
{
"end_time": 949.65,
"index": 36,
"start_time": 921.766,
"text": " And the first thing, the very first sentence I wrote is that the Langlands program has emerged in recent years as a blueprint for a grand unified theory of mathematics. I just wrote it, you know, so it was a bit of a showmanship, you know, like, okay, well, that's, you know, kind of like to present it in the most favorable light. But interestingly enough, this expression caught on. And now I'm quoted in all kinds of places as one who said that this is a grand unified theory of mathematics."
},
{
"end_time": 974.121,
"index": 37,
"start_time": 950.35,
"text": " So now this gave me that an idea of for the opening. So because I know that you are interested. Well, first of all, your podcast is called theories of everything. So obviously you're interested in this general idea. It's another question whether what we mean by a theory of everything and so on. But obviously it's something that is very much on the mind of a lot of physicists these days, right? And actually not on these days, but for many decades."
},
{
"end_time": 1003.063,
"index": 38,
"start_time": 974.582,
"text": " And so in physics, that's grand unified theory, theory of everything is something that people talk about all the time, right? So then the question then is, okay, so what about mathematics? Do we have a grand unified theory in any sense? And so in what sense the Langlands program is a grand unified theory. And so I thought I would just take a moment to discuss the difference between physics and mathematics. At Capelli University, learning online doesn't mean learning alone."
},
{
"end_time": 1026.561,
"index": 39,
"start_time": 1003.746,
"text": " You'll get support from people who care about your success, like your enrollment specialist who gets to know you and the goals you'd like to achieve. You'll also get a designated academic coach who's with you throughout your entire program. Plus, career coaches are available to help you navigate your professional goals. A different future is closer than you think with Capella University."
},
{
"end_time": 1043.592,
"index": 40,
"start_time": 1027.056,
"text": " I think it's a very essential point which is actually missed by a lot of people because somehow there is sort of like people kind of merge the two and kind of like don't differentiate them enough."
},
{
"end_time": 1071.698,
"index": 41,
"start_time": 1044.121,
"text": " people as in the general public or mathematics? Well, I would say mathematicians faces do know, but in general public, it's this, this line between the two is not clearly marked somehow in the minds of most people. I think it's important to talk about this, to understand it's essential because this way we can understand all kinds of, all kinds of recent controversies, for instance, about string theory, because as you and I talked about about a year ago on your podcast,"
},
{
"end_time": 1100.93,
"index": 42,
"start_time": 1072.346,
"text": " In my opinion, string theory has been great for mathematics, but it has not been great for physics. So see, there is a difference between the two because the original promise of string theory was to give us the unified theory of this universe and it failed spectacularly doing so. But it's not all bad. In other words, yes, it has helped mathematicians to come up with some interesting ideas and exposed mathematics."
},
{
"end_time": 1129.906,
"index": 43,
"start_time": 1101.442,
"text": " So if we if we blur the lines between math and physics, we will say string theory is a success, right? But so that's why it's very important to understand that mathematicians and physicists actually have different goals, different tools, and there are different expectations, different responsibilities, if you will. So what is the difference? Let's talk about this. Yeah. Sure. Okay. So let me go back to the beginning of my of my slides."
},
{
"end_time": 1160.998,
"index": 44,
"start_time": 1131.067,
"text": " And so I want to talk about the unification because, you know, what does, what does the idea of unification in mathematics actually mean? And so I want to start by, with a famous quote by Galileo at the times of Galileo, the two things were really close to each other, natural sciences and mathematics. And the Galileo said famously wrote the book of nature is written in the language of mathematics, right?"
},
{
"end_time": 1187.176,
"index": 45,
"start_time": 1161.442,
"text": " and he continued its characters are the characters in the language are triangles, circles and other geometric figures without which it's impossible to understand a single word without which one is left wandering in a dark labyrinth. So in other words, mathematics is a language of nature. Okay. So now let's talk about, so let's talk about physics."
},
{
"end_time": 1214.889,
"index": 46,
"start_time": 1188.012,
"text": " In physics, we have this nomenclature. We have unified field theory, which actually started with early attempts by Albert Einstein to unify general relativity, which described his theory describing the force of gravity and electromagnetism. There were only two forces of nature known at the time. Then eventually, physicists found that there are two other forces, the weak and strong, the nuclear forces, subatomic forces,"
},
{
"end_time": 1244.889,
"index": 47,
"start_time": 1215.811,
"text": " And we have now the standard model, which describes three out of four known forces of nature, electromagnetic, weak and strong with spectacular experimental success. But of course, a lot of questions remain. For example, it has a Lagrangian of standard model has something like 19 parameters. A lot of people are not satisfied with it. They feel that there are much deeper theories yet to be discovered. Right. And so then grand unified theory in physics, it refers to an attempt to merge these forces"
},
{
"end_time": 1264.07,
"index": 48,
"start_time": 1245.162,
"text": " into a single unified force, including gravity. So for now, we don't have a quantum field theory of gravity. String theory promised us to give one, but they failed in doing so during the period of 40 years. And it looks like"
},
{
"end_time": 1288.695,
"index": 49,
"start_time": 1264.804,
"text": " It doesn't look very good. If you had to bet, I think you shouldn't put your money on this investment advice. I don't put any money on this. Maybe short it in the markets. Shorting is probably still a good idea, but I think the stock has come down quite a lot because more and more people wake up from this dream and"
},
{
"end_time": 1317.927,
"index": 50,
"start_time": 1289.019,
"text": " Look, look at the reality of the situation and say, look, you know, we have to move on to other things. All right. It's just a moment. Do you say that with any reservation because you've published in string theory in the past or you've published with one of the most famous string theorists? So speaking of Forrest Gump, right? So not only did I publish with Langlands and other people I've mentioned, I also published a paper with Ed Whitten. Okay. And in 2007, around the time when this book that I mentioned was published,"
},
{
"end_time": 1343.558,
"index": 51,
"start_time": 1318.422,
"text": " But see, this is the thing. With Witten, we published a paper about mathematical ideas involved in string theory. And actually, it was not even string theory, but more like quantum field theory in higher dimensions, you see. Well, high dimensions is not a proper term. You see, string theory kind of turns things upside down because in string theory, the field theory which is involved is a two-dimensional field theory."
},
{
"end_time": 1373.677,
"index": 52,
"start_time": 1344.121,
"text": " Because you're considering propagation of strings, right? And what is a string? It's like a circle. And when it moves, it sweeps an area. So it sweeps something two-dimensional. So in effect, you're studying embeddings of what we'll discuss later called, these objects called Riemann surfaces. Think of the surface of a donut or of a Danish pastry or a sphere. Okay? They're maps, they're maps or embeddings into the space-time. So the space-time is on the receiving end."
},
{
"end_time": 1402.261,
"index": 53,
"start_time": 1374.462,
"text": " of this maps. But the theory itself is defined on the surface, you see on the Riemann surface. That's weird, because you're taking two dimensional field theory in which the target space is a space time. Normally we take yes, the theory is defined on the space time. So the roles kind of switch, which is kind of like, it's really cool if you think about it. Now, but string theory is not just a theory of quantum field theory on the Riemann surface, because in string theory, once you study these models,"
},
{
"end_time": 1428.848,
"index": 54,
"start_time": 1402.619,
"text": " The quantum field theory is defined on surfaces. That's not enough. That's the first step. The second step is to integrate over all possible human surfaces. And that involves summation over all possible topological types like sphere or surface of a donut and so on. They call the parameter, topological parameter is called a genus. So sphere is of genus zero. The thorus is of genus one."
},
{
"end_time": 1458.097,
"index": 55,
"start_time": 1429.599,
"text": " The Danish space tree with two holes is a genus two and the pretzel is a genus three. So you have to sum up the results corresponding to each topological type of a human surface. And then for each of them, you have to sum up over all possible complex structures. Basically, in fact, you have to sum up over all the metrics, but because the theory is what's called conformity invariant, you actually end up with a finite dimensional integral over what's called the modular space of complex structures."
},
{
"end_time": 1475.589,
"index": 56,
"start_time": 1459.224,
"text": " on the Riemann surface."
},
{
"end_time": 1502.944,
"index": 57,
"start_time": 1475.981,
"text": " And you have a little spider who lives on that globe. So that's spiders space. Well, it's more space than space time. But okay, let's forgive me for this for this difference. Let's assume that the space time of the spider is a sphere is the surface of the globe. So then the quantum theory that the spider would observe if it were indeed his or her space time would be a two dimensional theory defined on a specific human surface, namely the surface of this globe. You see what I mean?"
},
{
"end_time": 1529.974,
"index": 58,
"start_time": 1503.677,
"text": " Yes, but that's not string theory yet. String theory is when you can see the spiders living on all possible human surfaces and you sum up the every calculation you sum up over what happens for across all of them. So that's string theory. So that's a very simple explanation of the difference between quantum field theory and string theory. So first of all, quantum field theory is not defined on the space time, rather space time is on the receiving end of maps from a two dimensional surface."
},
{
"end_time": 1559.019,
"index": 59,
"start_time": 1530.384,
"text": " To this space time. So the theory effectively is two dimensional. Then the theory is what's called conformal invariant, which allows, which gives us a possibility to actually sum up over all possible choices over over over human surface. And it's, it's when you sum up, you get amplitudes from string theory. You see, so that's, that's the, and you have to admit that it's a very cool idea. It's a very cool idea. You do, you turn things upside down kind of that your, your space time becomes the, um,"
},
{
"end_time": 1583.439,
"index": 60,
"start_time": 1559.462,
"text": " The target space of the theory, it's not the space, the ground of the theory. It's a kind of additional ingredient of the theory. The theory itself is defined on human surfaces, but it's sort of like it's a cool idea. But at the same time, it's actually kind of like precipitates its own demise. Because then the question is, which space time do you have to choose? You see,"
},
{
"end_time": 1610.145,
"index": 61,
"start_time": 1584.497,
"text": " So it does not lock you because you don't define your theory on your space time that is given to you, which is this our universe, which is has three spatial and one time dimension, but it becomes a parameter, right? Right. Of your theory. And so, but the point is that it's an essential, um, condition is that the theory be conformal invariant on the, on the human surfaces."
},
{
"end_time": 1640.401,
"index": 62,
"start_time": 1610.555,
"text": " which means that all the metrics, that if you rescale your metrics locally, then you will get the same result. And this enables you to go from an integration over some infinite dimensional spaces, which is basically intractable, to actually finite dimensional spaces. Instead of integrating all metrics, what's called metrics on the Riemann surface, you go to the integral over all complex structures, which is a finite dimensional manifold, so that the integral in principle could be computed, even though there are all kinds of singularities that need to be"
},
{
"end_time": 1670.299,
"index": 63,
"start_time": 1640.964,
"text": " regularized, which no one as far as I know has been able to do in general, actually. But at least there is a path to doing it. But the problem is that your space time is a kind of an external thing that you put into the theory. And the question is, how do you differentiate between them? How do you say, oh, our space time has to be this. And so one condition is that the theory has to be confirmed invariant. And that means that it's halabiyao. So you probably heard this said many times that the target space of string theory"
},
{
"end_time": 1699.258,
"index": 64,
"start_time": 1671.049,
"text": " is a Calabi-Yau manifold. Calabi-Yau manifold is one for which the corresponding two dimensional theory of maps from your human surface, say donut, source of a donut, a sphere and so on, to your space time is conformally invariant. But the problem is that there are too many Calabi-Yaus and the problem is the string theory is only when defined when this manifold is 10 dimensional. Right. Super string theory to be precise, super string theory. For string theory, it would have to be 26 dimensional."
},
{
"end_time": 1719.667,
"index": 65,
"start_time": 1700.009,
"text": " So it's a much bigger gap from what we observe to what string theory allows you to work with. So the first string revolution in the 1980s was going from bosonic string theory to supersymmetric string theory, where you have a sort of a balance between bosons and fermions, which enabled to bring the dimension down to 10."
},
{
"end_time": 1744.735,
"index": 66,
"start_time": 1720.145,
"text": " And then it's kind of, it's much closer to four than 26. So you have six extra dimensions. And then you say, okay, well, the six dimensions that curl onto this little Calabi-Yau manifold. But which one? And the problem is nobody has been able to find. And the problem is also that it's not just a single one, but it's moving also with the dynamics of the theory, this Calabi-Yau manifold, this extra six dimensions."
},
{
"end_time": 1765.333,
"index": 67,
"start_time": 1744.957,
"text": " is also changing and nobody was able to and and those changes lead to some long-range forces which nobody has been able to observe. So therefore it's like immediately in contradiction with experiment not to mention that is supersymmetric so you have to and we don't observe supersymmetry in this universe. So anyway that was a long kind of aside"
},
{
"end_time": 1784.189,
"index": 68,
"start_time": 1765.657,
"text": " digression"
},
{
"end_time": 1807.329,
"index": 69,
"start_time": 1784.189,
"text": " But if you are quantum physicists who works, you know, on finding the theory of everything or if you're a high energy physicist in fundamental physics, your high energy, the high energy physicist, you only have one job, which is to describe this damn universe. That's your job. You don't, you're not interested in describing all possible universes, 10 dimensional and so on."
},
{
"end_time": 1832.722,
"index": 70,
"start_time": 1807.705,
"text": " But mathematicians"
},
{
"end_time": 1861.374,
"index": 71,
"start_time": 1833.029,
"text": " Mathematician is interested in the space of any dimension. A high-energy physicist is only interested in four-dimensional spaces. And not just some generic spaces, but the ones which are realized in this universe. Now, there may be some other universes which are ten-dimensional, and maybe this theory describes those universes. Okay, first of all, you know, how do you find out if it's true or not? Do you have, like, pick up a phone and they talk to some aliens who are even ten-dimensional and say, congratulations, you have found the"
},
{
"end_time": 1877.995,
"index": 72,
"start_time": 1861.681,
"text": " What is it for us now what now I have to also add there is also another aspect that by doing this more general theories you can actually stumble upon some ideas which you may find it more difficult to"
},
{
"end_time": 1894.497,
"index": 73,
"start_time": 1878.831,
"text": " you know, understand in in the realistic theory and then you can try to adopt it to tweak it to apply to to this universe. So for instance, lower dimensional theories are usually simpler than higher dimensional theory. So for instance, two dimensional theories have been a great playground"
},
{
"end_time": 1924.241,
"index": 74,
"start_time": 1895.606,
"text": " for physicists to try to develop ideas or some three-dimensional theories as well. It's a famous work by Alexander Polikov, a brilliant Russian Soviet physicist about three-dimensional gauge theories, which became classic because it gave you a mechanism of how instantons contribute to creation functions, which we still don't understand how to apply in four dimensions. And if we could, we would be able to solve the confinement problem, trying to understand why quarks cannot be separated."
},
{
"end_time": 1953.763,
"index": 75,
"start_time": 1924.582,
"text": " Well, as you, you know, as you move them apart, which is a feature of four dimensional gauge theory. This is just one example. There's this phenomenon called instant tones, which is understood much better in three dimensions and in two dimensions than it is in four dimensions. But this is that province, that area of research where you try different models in other dimensions is called mathematical physics proper. Really. That's the overlap. If you think of Zenn diagram, I said Zenn diagram, well, Venn diagram. Okay. Something else."
},
{
"end_time": 1977.602,
"index": 76,
"start_time": 1954.206,
"text": " So if you look at the Venn diagram of mathematics and physics, yes, there is this overlap and that's called mathematical physics. So all my life I was very interested in that because, you know, I actually, as a kid, I was actually very interested in high energy physics and quarks and so on. And then I learned that actually you have to understand mathematics to even speak about those theories."
},
{
"end_time": 1998.285,
"index": 77,
"start_time": 1978.046,
"text": " And as I delve deeper and deeper into math, I realized that I actually love mathematics proper, but also occasionally it was SU three that got you inspired. That's right. The, the, the quirks, the description of elementary particles, uh, in terms of quirks, which goes back to, uh, Mori Gelman and this Russian mathematician Swike as well."
},
{
"end_time": 2023.404,
"index": 78,
"start_time": 1998.746,
"text": " So anyway, my work with Whitten was kind of in mathematical physics because it was about understanding certain models which are closely related to quantum field theory and potentially string theory as well. But it doesn't, for example, those models are supersymmetric. The geometric Langlands conjecture that Whitten worked on is in four dimensions, though. Yes, in a sense, yes. But yes, true."
},
{
"end_time": 2039.872,
"index": 79,
"start_time": 2023.968,
"text": " But supersymmetric theories, that's what I'm trying to say. People think the general public thinks of supersymmetry as just one supersymmetry, but there are extensions. There are perversions of supersymmetry, n equals two, n equals three extensions. So typically, we study n equals one, n equals two, n equals four."
},
{
"end_time": 2065.52,
"index": 80,
"start_time": 2040.213,
"text": " and the max that's called maximal supersymmetry so what supersymmetry by the way is a very simple idea it's just that you have you have one of the requirements of quantum field theory is the invariance under the Poincare group right the Poincare group combines the Lorentz group which is a kind of all rotations or pseudo rotations in a Minkowski space right and translations so Poincare group"
},
{
"end_time": 2094.309,
"index": 81,
"start_time": 2065.981,
"text": " is built as a semi what called semi direct product of the Lawrence group and group on the group of translations in super symmetric and everything in your theory has to be invariant under this action. So for instance, the space of fields, the space of states has to be what's called the representation of this group of the punk array group in a super symmetric theory. This representation has to be extended to a bigger group, but in fact, not a group is called super group."
},
{
"end_time": 2119.445,
"index": 82,
"start_time": 2095.538,
"text": " Because it has both bosonic degrees of freedom and fermionic degrees of freedom. The bosonic degrees of freedom will stay the same. It will be the same Poincare group, but there will be some fermionic transformations, the kind of weird little transformations. They're kind of like little shifts. They are not even bona fide transformations in the ordinary way. And so this way you get an enlarged super group, which"
},
{
"end_time": 2146.766,
"index": 83,
"start_time": 2119.974,
"text": " Depending on the size is classified as an equal one equal equal two and call three and call four. But the biggest one you can get given all the requirements of cornfield theory is an equal four. And that's the theory we're talking about. That's the theory which exhibits what's called electromagnetic duality gauge theory. Super young males or super gauge theory and equal four in four dimensions exhibits something that's closely connected to the geometric language correspondence, which is called electromagnetic duality."
},
{
"end_time": 2177.534,
"index": 84,
"start_time": 2148.49,
"text": " So anyway, so this was just to put things in perspective of how similar phenomena actually arise in both mathematics and physics. Although today this phenomenon that we're talking about, the Langlands correspondence or Langlands program or Langlands duality, Langlands conjecture can use all these terms. They actually, so far we only know how to apply them to supersymmetric theories. So therefore it's not physics proper, it's mathematical physics."
},
{
"end_time": 2179.735,
"index": 85,
"start_time": 2179.104,
"text": " You see what I mean?"
},
{
"end_time": 2209.633,
"index": 86,
"start_time": 2180.879,
"text": " This episode is brought to you by State Farm. Listening to this podcast? Smart move. Being financially savvy? Smart move. Another smart move? Having State Farm help you create a competitive price when you choose to bundle home and auto. Bundling. Just another way to save with a personal price plan. Like a good neighbor, State Farm is there. Prices are based on rating plans that vary by state. Coverage options are selected by the customer. Availability, amount of discounts and savings, and eligibility vary by state."
},
{
"end_time": 2227.602,
"index": 87,
"start_time": 2210.691,
"text": " Yes. Okay, but now let's go back to this idea of unification. So in physics, in theoretical physics, proper, not mathematical physics, like string theory, but real physics. Okay, so I'm not trying to offend anybody. I'm just saying real physics means"
},
{
"end_time": 2255.742,
"index": 88,
"start_time": 2228.114,
"text": " And I'm not a physicist, so I'm kind of looking from outside. I have no horse in this race, to be honest with you. I'm just like, I'm kind of an independent observer. And all I know is theoretical physics, you have to describe this universe. And I don't think anyone would argue with that. So then in the perspective of theoretical physics, there are these notions of standard model, grand unified theory and theory of everything, TOE. OK, that's the one which unifies all forces."
},
{
"end_time": 2281.647,
"index": 89,
"start_time": 2257.022,
"text": " So I guess yes, Grand Unified Theory. That last one sounds familiar. It sounds familiar, right? I mean, so, but I have to say, GUT, Grand Unified Theory, usually references kind of a better understanding of the Standard Model. So it's still three forces. So TOE means that you include gravity. I think that's the nomenclature. Okay. Yes. And so now this is a beautiful quote from Einstein."
},
{
"end_time": 2299.053,
"index": 90,
"start_time": 2282.449,
"text": " I think it's something he said during his Nobel lecture when he received the Nobel Prize in 1923. He said the intellect seeking after an integrated theory cannot rest content with the assumption that there exists two distinct fields totally independent from each other."
},
{
"end_time": 2329.258,
"index": 91,
"start_time": 2299.497,
"text": " Well, to be fair, he does say if you're seeking after an integrated theory, so by saying integrated theory, he already has the assumption that you can't have two distinct parts. That's right. So you could say that you could be like, because there's a philosopher named"
},
{
"end_time": 2346.118,
"index": 92,
"start_time": 2329.991,
"text": " Nancy Cartwright"
},
{
"end_time": 2373.439,
"index": 93,
"start_time": 2346.357,
"text": " regions where there is no law. No, I agree. I agree. Absolutely agree. And in fact, in mathematics, it's more like that. In mathematics, we do not seek. So that was my next point. In mathematics, we do not seek to have an integrated theory of everything. We do not. I didn't mean to preempt your point. So yes. So in a sense, what you described is more like how mathematicians approach it. But you see a lot of it also has a social element. So when we brought up, and I can speak for myself because, you know, I studied mathematics since I was a kid,"
},
{
"end_time": 2400.162,
"index": 94,
"start_time": 2373.643,
"text": " you know, and I went through, you know, school, graduate school and so on. And so I can say that never ever at any moment were my teachers telling me, Edward, find the grand unified theory of mathematics. It was never an issue. Nobody. First of all, I think it's impossible. You have just mathematics just so diverse. There's just so many different subjects. It's like, I like to talk about them. You know, this is another analogy I used in love and math, the continents of mathematics. So there is like number theory, there is,"
},
{
"end_time": 2427.773,
"index": 95,
"start_time": 2400.486,
"text": " harmonic analysis, there's functional analysis, there's geometry, there is algebra and so on. And they are all connected somehow, but it's not like one field will subsume all other fields. We don't have that idea. But physicists, I've spoken to a lot of my colleagues, physicists. Oh yes, when they are studying, there is a lot of premium on this idea that maybe I'll be the one to come up with this theory of everything."
},
{
"end_time": 2456.954,
"index": 96,
"start_time": 2428.319,
"text": " So I'm actually, I'm hopeful that the next generation of physicists will see through this and understand that in some ways it is, it gives you kind of a kick. It gives you kind of, it makes it more fun, it's more competitive, but also there is a great downside. And quite honestly, I think that the debacle with string theory is in many ways the result of, of this sort of attempt to subjugate everything to what you already know, you see."
},
{
"end_time": 2483.968,
"index": 97,
"start_time": 2457.551,
"text": " and then discard all other ideas and say that they are, they are not serious. They are, their ideas are propagated by amateurs and stuff like that. Instead of looking in the mirror and kind of like understanding what am I, what am I doing here? And on what ground am I to claim that the theory I'm working on is the only game in town, which was an expression used by many string theorists for a long time."
},
{
"end_time": 2500.828,
"index": 98,
"start_time": 2485.606,
"text": " so um well you know one day you know it's like reality intrudes so like you can pretend that it's not there but reality will look at you in the face every day and will say okay edward when are you going to accept reality"
},
{
"end_time": 2530.742,
"index": 99,
"start_time": 2501.34,
"text": " I wonder you will have to or you will die not accepting it and other people will come and do it for you. Just a moment. Why do you think because the string theorists will say that look in the past in physics when we've been on to something it did produce mathematical results as well. Now look in string theory while it's not producing physical results at least not experimentally testable in our range currently it's producing plenty of mathematical results and we could use that as some proxy indication that we're on to the right physics. What do you say to that?"
},
{
"end_time": 2560.043,
"index": 100,
"start_time": 2530.742,
"text": " i disagree i just explained the difference between mathematics and physics so what they're what strength theory does is it where strength theory has been positive is in the area of mathematical physics because it points us to some very interesting phenomena in a whole range of theories which have nothing to do with our universe you see and that's useful for many reasons number one it helps pure mathematics and the strength theory has been tremendously helpful"
},
{
"end_time": 2584.753,
"index": 101,
"start_time": 2560.64,
"text": " to mathematicians has led us to some onto some paths, which we probably would not have discovered in the 20s or 21st century. So in other words, it was some kind of mathematics just just fell on mathematicians lab in the 20s, 21st century because it was inspired by string theory. Yes. Also, this this ideas, this theory is 10 dimensional with 10 dimensional space time."
},
{
"end_time": 2612.466,
"index": 102,
"start_time": 2585.179,
"text": " They are not useless at all. They are useful because studying those theories, you observe some phenomena which can help you eventually to come up with a realistic theory of this universe. There are these things like electromagnetic duality, which we're going to talk about, which is connected to the Langlands program. There are things like ADS-CFT, which are absolutely beautiful mathematically, but not only mathematically because they are the phenomena in theories"
},
{
"end_time": 2626.374,
"index": 103,
"start_time": 2612.688,
"text": " which are in the same class as quantum field theory describing this universe. You see, they are different because they are different dimensions, they are supersymmetric and so on. So they are not quite fitting the clothes that you have to put on."
},
{
"end_time": 2650.384,
"index": 104,
"start_time": 2627.363,
"text": " But you have to put on the clothes of your universe. Otherwise, it's not physics. You see, that's a very simple thing. Yes, it's true that you could say that in the first 10 years of development of string theory, that its success in mathematics gives you a kind of confidence that you should keep going and working on it because there must be something there. But after 40 years,"
},
{
"end_time": 2679.445,
"index": 105,
"start_time": 2650.845,
"text": " After 40, actually more than 40 now, because we're talking about 40. I would say, yeah, 85 would be the first string revolution. And then they saw the cancellation, the Green-Schwarz cancellation of anomalies. That was brilliant, a brilliant work that gave people, and I understand the human element of it. Of course you get carried away. Of course you get excited. Of course you want to run around like, who was it? Archimedes who jumped out of a bathtub when they understood how the bodies float."
},
{
"end_time": 2707.739,
"index": 106,
"start_time": 2679.94,
"text": " Of course, you want to jump and run around naked and say, guys, it's amazing. I have come up with this incredible discovery. I understand it. And of course, please do that. But not for 40 years, after 10, 20 years. And I think the crucial moment was about 2012 when LHC was fully online and it was clear that there is no site of supersymmetric super partners. That was the time for reckoning in the field. That was a time for kind of a serious conversation."
},
{
"end_time": 2735.538,
"index": 107,
"start_time": 2708.131,
"text": " Where the adults, the elders of the theory should have talked, should have come out and said, look, you know, it's not working out and allow other ideas to come in. That's the, that's the problem. The problem is not just, yeah, please, of course, keep going, keep working on it. But when you deny resources to everybody else, then it becomes a bigger issue. Now I don't want to spend the whole conversation talking about strength. I think it's important to talk about it because I am on record on your podcast a year ago."
},
{
"end_time": 2763.899,
"index": 108,
"start_time": 2736.135,
"text": " on the heels of my keynote talk, keynote lecture, or it's called challenge talk at the big strength theory conference in at the perimeter Institute near Toronto, I guess near where you are in July of last year, where I saw up close this community and I saw up close what's going on and I was very disturbed by it. So then I went on your podcast and I spoke about the failure, what I call the failure of the original promise of string theory."
},
{
"end_time": 2794.309,
"index": 109,
"start_time": 2764.497,
"text": " So, in today's conversation, I would like to bring up the connection between the Langlands correspondence, which is the main or Langlands program, which is the main topic of our conversation, and electromagnetic dualities in supersymmetric Young-Mills theories, four-dimensional superman means this. So some people, some viewers may be puzzled by this. So how can this guy be criticizing string theory? And at the same time, he's saying that, you know, that it's very interesting to study this supersymmetric theories. So that's why I took some time to explain"
},
{
"end_time": 2824.326,
"index": 110,
"start_time": 2795.026,
"text": " This major difference in approaches of mathematicians and physicists, as well as mathematical physicists, what is appropriate, what's not appropriate and where you have responsibility as a physicist to make sure that your results actually apply to this universe and not claim something that is not there. Because a lot of, you know, I'm not going to call names, but you can easily find quotes where people saying string theory has unified Einstein's"
},
{
"end_time": 2845.452,
"index": 111,
"start_time": 2825.452,
"text": " a theory of gravity with quantum field theory. Yes, it has in 10 dimensions and even then it's still incomplete because of various issues which have not been addressed because it's only defined perturbatively and so on. But let's just say that yes, in 10 dimensions they have combined but they don't put that in the sentence they say we have combined you see"
},
{
"end_time": 2867.176,
"index": 112,
"start_time": 2845.742,
"text": " I don't know about that."
},
{
"end_time": 2882.944,
"index": 113,
"start_time": 2867.654,
"text": " Yeah, wow, interesting. Wow, a plus plus plus, you know, I usually when I teach I give a plus and I you know, kind of like, okay, let's know be realistic, like I never give a plus plus, especially for someone who actually couldn't solve any problem exam, you know, but that's just me. So"
},
{
"end_time": 2910.418,
"index": 114,
"start_time": 2883.439,
"text": " I wanted to explain this difference. It's important in mathematics. We don't have this issue. Any consistent mathematical theory is valid. It doesn't have to be in four dimensional space time. It can be 10 dimensional space time. That's why mathematicians love string theory, but it doesn't mean that physicists should love it. Understood. Okay. All right. Let's move on. So there is another aspect of it, which is that physical theories get updated."
},
{
"end_time": 2928.66,
"index": 115,
"start_time": 2911.681,
"text": " And mathematical theories appear to be objective, necessary, and timeless. How do you explain that? That's a mystery to me. So what does mathematics actually describe? And the point is that there are a lot of concepts and ideas in mathematics which a priori have nothing to do with the physical universe, with nature."
},
{
"end_time": 2957.551,
"index": 116,
"start_time": 2928.968,
"text": " In other words, they don't fit into the four-dimensional space-time, you see. So, for instance, in this geometric language correspondence, we talk about sheaves, not even functions, which are kind of like, okay, function is something that is rooted deeply in physical reality. For instance, think about temperature. At every point in the room, there is a certain number, which is a temperature at that room, or barometric pressure. And so, to every point, you assign a number, and that's what mathematicians call a function. So, functions are very much, you know, bread and butter of physics,"
},
{
"end_time": 2985.947,
"index": 117,
"start_time": 2958.063,
"text": " But she is like who was last time you saw a sheaf on the street. So that's just one example or infinite dimensional hybrid spaces or periodic numbers like this numerical systems. This is a theory of numerical systems that are bread and butter of mathematics. And yet we don't observe them in the physical reality. So, so then if so, what could unification mean for mathematics? You see, and so my, my favorite example is that I say, you know, if Leo Tolstoy did not"
},
{
"end_time": 3015.06,
"index": 118,
"start_time": 2986.937,
"text": " Um, right. Anna Karenina, nobody else would have written exactly the same novel, but if Pythagoras did not live or did not discover his theorem, we would still have Pythagoras theorem. It would still be a squared plus B squared equals C squared and not equal C cube. And it stays the same for the last 2,500 years. And by the way, it was actually, as it turns out, was discovered by others in other places like in Babylon, in, uh, in, um,"
},
{
"end_time": 3045.896,
"index": 119,
"start_time": 3016.015,
"text": " So there's something very special about mathematics. Some mathematicians believe that there is this platonic world of mathematical ideas named after the Greek philosopher Plato, who I must say was really following in the footsteps of Pythagoras. These ideas really go back to Pythagoras in my opinion."
},
{
"end_time": 3073.541,
"index": 120,
"start_time": 3046.425,
"text": " And so the question then is usually posed this, do we discover mathematics or do we invent it? And I used to be on this squarely on the side of like, it is discovered. In other words, there is this ideal world of mathematical objects and concepts. And we just go there somehow. Like,"
},
{
"end_time": 3087.858,
"index": 121,
"start_time": 3074.138,
"text": " ESP."
},
{
"end_time": 3112.449,
"index": 122,
"start_time": 3088.439,
"text": " Mind you, no smaller figure than Charles Darwin actually wrote that mathematicians are endowed with an extra sense. He actually wrote that. Closer to the end of his life, he wrote that he regretted not to have studied mathematics more as a young adult or as a child because he wrote, and I think it's a direct quote,"
},
{
"end_time": 3142.5,
"index": 123,
"start_time": 3112.91,
"text": " So there is this, there is this perception and I have to say as a working mathematician, you do feel it. So a friend of mine recently asked me like what, how do you experience it? How do you experience the mathematical discovery? And so the best I could come up with is that, you know, like imagine like there is this deep fog. So, you know, there's something there, but you don't know what. And then occasionally some part of it, the mist kind of starts dissolving and you see the contours, the contours."
},
{
"end_time": 3172.227,
"index": 124,
"start_time": 3143.131,
"text": " of the trees or a castle or some exotic animals. And then maybe it will close again. But that's the sense that you have. You don't feel that you invent something. You don't feel that you come up with something just on your own. You feel like it's always been there but obscured by our inability to see it, was invisible. So there is this sense. But now I kind of also feel that mathematics is a human activity."
},
{
"end_time": 3194.189,
"index": 125,
"start_time": 3172.602,
"text": " And therefore I kind of like, I'm reluctant to these days to just say, yeah, it's discovered, it's just out there because who discovers, who discovers this mathematical ideas, uh, human mathematicians, right? And so as far as we know, maybe some other animals too, and apparently some animals can count up to a certain number, some, some can't and so on."
},
{
"end_time": 3224.343,
"index": 126,
"start_time": 3194.838,
"text": " But for now, all the mathematics that we know came from human beings. So there's something to be said about that. And so I'm kind of like, now I feel it's a mystery. It's one of those questions where it's neither and both, like an electron is both a particle and a wave, neither and both, kind of like that. But it's a very interesting thing to think about and contemplate. So Kurt Gödel, actually the great logician, the greatest logician of all time, as far as I'm concerned, wrote"
},
{
"end_time": 3249.77,
"index": 127,
"start_time": 3225.35,
"text": " that mathematical ideas form an objective reality of their own, which we cannot create or change, but only perceive and describe. Of course, this is very close to the conversation about artificial intelligence and so on, but I'm not going to go there because we want to get to the language program. So, well, I have this one example of the universality of mathematics. I don't know if we should go there or should move more fast faster to the"
},
{
"end_time": 3277.637,
"index": 128,
"start_time": 3250.725,
"text": " Do you want to say it quickly? Yeah. So there is this idea about numbers. So just to give you a sense of how weird mathematics is, weird in a good way. I want to pose this question. Is there only one mathematics or there are like different, imagine there is another universe, not another universe, like another exoplanet, like there is another civilization and they have their own mathematics. What if we meet?"
},
{
"end_time": 3288.319,
"index": 129,
"start_time": 3277.978,
"text": " And we start comparing our notes. Is it possible that their mathematics is totally different? And so the traditional argument that it may be so goes like this."
},
{
"end_time": 3319.07,
"index": 130,
"start_time": 3289.087,
"text": " Imagine that this new civilization has like many different aliens and then you can imagine all kinds of pictures of these elements. So then they are like us because we see ourselves, we see other people kind of like similar to us. So naturally we start counting things. So numbers arise from the idea that there are many things which are kind of similar to each other, right? But what if you have like a Solaris type intelligence? Solaris was a novel by Stanislav Leom, a great"
},
{
"end_time": 3345.35,
"index": 131,
"start_time": 3319.445,
"text": " Polish science fiction writer. And it's been made into film by, uh, by Andrej Tarkovsky. And then also was a Hollywood remake of this movie, which I highly recommend the Tarkovsky version where the intelligence was, this is one thing was this whole planet was intelligent. So then the argument goes, okay, for that intelligence, there's no reason to come up with numbers because it's only one of the only observed one of it."
},
{
"end_time": 3375.418,
"index": 132,
"start_time": 3346.476,
"text": " There's no need for it to develop the idea of numbers because it cannot count. There are no essential things to count. So, right. And so, but I have an answer to that. And I want to explain how Solaris like intelligence would actually discover numbers, not by counting the way we usually do or the way we teach our kids, which by the way, I think it's a very, uh, there are some subtle points there that we are not properly teaching additional multiplication."
},
{
"end_time": 3399.019,
"index": 133,
"start_time": 3375.794,
"text": " but that's another story. The, the, uh, let me, let me not go there at the moment, but I can talk later. So here's, here is an alternative way to discover numbers. Here's an alternative way to discuss it, which is more clean in some sense and, um, kind of devoid of the deficiencies of the traditional way of, of, of teaching kids, uh, numbers of counting."
},
{
"end_time": 3425.862,
"index": 134,
"start_time": 3399.787,
"text": " namely we can discover them through winding. You see, so this is, this comes from what's called topology. So this, I have a flow, I have a floss here to demonstrate. So the point is that I can take, I put it on my finger and then I can go around. I can go once, I can go twice, can go three times, four times and so on. So if it's an infinite long, infinitely long floss in principle, I can wind this string."
},
{
"end_time": 3455.486,
"index": 135,
"start_time": 3426.766,
"text": " Any number of times, but so this way I represent all natural numbers, one, two, three, four, and so on. But also observe that I can represent negative numbers if I go in the opposite direction. You see, I guess instead of going this way, I can go this way. And so this way I can actually introduce all integers without counting just as a by realizing that the"
},
{
"end_time": 3471.391,
"index": 136,
"start_time": 3455.845,
"text": " Topological structure."
},
{
"end_time": 3498.063,
"index": 137,
"start_time": 3472.176,
"text": " This thing once or twice, three times or a negative number. In the Solaris case, what would be the analogy? The solar prominence. So the analogy in Solaris case is that instead of wrapping a circle onto itself, you can think of my finger. First of all, you don't need the whole finger. You can just look at the section of the finger. It's kind of the intersection of my finger was a plane. And then you can look at this picture that I put out on the slide where"
},
{
"end_time": 3526.8,
"index": 138,
"start_time": 3498.831,
"text": " Basically the circle is just is just wrapping onto onto itself like many times right and so But likewise the sphere can wrap onto itself many times this is this is much harder to imagine because you see You can easily see it in 40 minutes from the four-dimensional perspective But in 3d it's very hard to imagine a sphere wrapping into itself, but you kind of can grasp it by analogy. Uh-huh"
},
{
"end_time": 3554.343,
"index": 139,
"start_time": 3527.056,
"text": " that just like a circle wrapping on itself, gives us an invariant, what might be called an invariant, topological invariant, which is the winding number. Likewise, there is an invariant of a map from a sphere to a sphere. And the coverings of sphere by sphere is also labeled by all integers, because also there are two orientations possible, so you get both positive numbers, negative numbers. This is a rough rendering of what this might look like. This is an example of what's called a homotopy group."
},
{
"end_time": 3574.155,
"index": 140,
"start_time": 3555.06,
"text": " So in fact here, this corresponds to the pi one, the fundamental group, the first homotopic group. And here we're talking about pi two. Every time you have a sphere, you're talking about pi two, the second homotopic group. When you have a circle, you talk about pi one and that's the first homotopic group, also known as a fundamental group. Anyway, this is just a kind of a something to"
},
{
"end_time": 3603.746,
"index": 141,
"start_time": 3574.531,
"text": " Realize how many interesting aspects of mathematics there are, which go far beyond what we use ordinarily, like counting. So what it shows is that the same concept can actually arise from different continents of mathematics. In the first approach, you get to numbers through counting, so kind of from the point of view of number theory, right? But in the second approach... It seems to be evidence for the discovery of mathematics. Right."
},
{
"end_time": 3623.507,
"index": 142,
"start_time": 3604.497,
"text": " Discovery but this is this is a baby version of unification. That's what I mean by unification mathematics that numbers or natural numbers or whole numbers Actually live on the intersection of two fields number theory and topology. You see You can discover the same numbers"
},
{
"end_time": 3648.387,
"index": 143,
"start_time": 3624.258,
"text": " from this to different points of view. And to me, that's an example of unification. In other words, you're not trying to say that topology is subsumed by number theory or the other way around. But you observe that there are certain phenomena which are reflected in both fields or which are manifested in both fields. And that's why it's prized in mathematics to have this type of situation, because it gives you a different perspective. It's like you're looking at the same object, but from a different angle."
},
{
"end_time": 3676.783,
"index": 144,
"start_time": 3648.814,
"text": " And this is where a lot of great discoveries are made when you are able to realize the same thing from these two different angles or more, two or three or more different angles. So for me, mathematics is like a giant jigsaw puzzle where you're kind of trying to build this picture from the small pieces without really knowing what this final picture is going to look like. And so when you solve a jigsaw puzzle with your friends,"
},
{
"end_time": 3694.804,
"index": 145,
"start_time": 3677.176,
"text": " The user usually the strategy is to try to build like small islands so you try to you find a few pieces of you together and you try to enlarge them and your friend or if your friends do the same and so then at some point you kind of build several islands in this picture right which kind of like looks consistent."
},
{
"end_time": 3721.442,
"index": 146,
"start_time": 3695.316,
"text": " But the greatest advance happens when you know how to fit different islands together, when you play jigsaw puzzle. And it is like that. That's what the Langlands program comes in. So Langlands program is like this, is one, is a set of ideas which suggest how different continents could fit together. That's kind of like a brief summary of what it's about. Great. So that's like,"
},
{
"end_time": 3737.159,
"index": 147,
"start_time": 3721.698,
"text": " So then what are the continents that we're talking about? And so you have number theory, which is obvious. You have harmonic analysis, which is this very important idea in mathematics, which is that you can decompose different signals as a superposition."
},
{
"end_time": 3763.387,
"index": 148,
"start_time": 3738.046,
"text": " a signal, you can decompose a signal as a superposition of some basic signals and basic signals are given by what's called harmonics, that they have frequencies which are multiples of each other. Oh, okay. So for people who are familiar with the terms Fourier series, this would be an example of that. What I'm referencing right now is the idea of Fourier series where you can write a given function as a combination, sometimes infinite,"
},
{
"end_time": 3793.251,
"index": 149,
"start_time": 3764.053,
"text": " of sine and cosine functions, but not just to sine X cosine X, but sine and X and cosine and X, where N is a whole number is an integer. So the different sine functions have graphs which look like this. But if you, as you increase N, it becomes more and more squished. And so that corresponds to a higher and higher pitch in the sun. Right. And so we know that in the"
},
{
"end_time": 3820.282,
"index": 150,
"start_time": 3793.916,
"text": " Chromatic scale. Essentially, the frequencies are differed by rational numbers. No, not quite. There is a gap. There is this wolf tone and so on. But roughly speaking, you can generate them from going up an octave where the frequency doubles and going to the Pythagorean fifth, where the frequency gets multiplied by approximately three halves. And by using this, you can then realize other notes"
},
{
"end_time": 3848.814,
"index": 151,
"start_time": 3820.947,
"text": " with a small gap at the end somewhere by rational number. But if it's by rational, it means you can always find kind of a smallest denominator frequency so that every other frequency is a multiple of it. So that brings you into that framework that I was talking about, where you can see the nodes with frequencies which are multiples of each other, integer multiples of each other. And then if you think about an orchestra playing, then the sound of an orchestra"
},
{
"end_time": 3870.486,
"index": 152,
"start_time": 3850.35,
"text": " is a combination of sounds of different instruments and each sound of an instrument at any moment is a particular note and that note has a frequency. And so you can think of this decomposition of breaking into pieces of a sound as the composition of a signal into a combination of different notes"
},
{
"end_time": 3900.128,
"index": 153,
"start_time": 3870.486,
"text": " each of them with its own intensity and that's the idea of Fourier analysis or Fourier series. So that's the subject which studies this type of decomposition. So what do we need here? You need a particular space of functions and you need some preferred functions, some special functions, a collection of functions like sine nx and cosine nx and then they should be rich enough to give you every function as a superposition."
},
{
"end_time": 3906.118,
"index": 154,
"start_time": 3901.032,
"text": " It also has a continuous analog which is called Fourier integral as opposed to Fourier series."
},
{
"end_time": 3934.497,
"index": 155,
"start_time": 3907.688,
"text": " This bubbles appear, by the way. It liked what you were saying. This bubbles, it means that the AI overlords are liking what I'm saying, which is great. It did some harmonic analysis on it. I think they like it. It's kind of like a meta level realizing. It's harmonic, right? You're in sync with it. Yes. Okay. So you're outlining, there's a harmonic analysis, there's topology, there's number theory or numbers. Geometry. So you have this Riemann surface we talked about earlier when I talked about string theory."
},
{
"end_time": 3964.189,
"index": 156,
"start_time": 3935.725,
"text": " For example,"
},
{
"end_time": 3992.585,
"index": 157,
"start_time": 3964.599,
"text": " And so what is the Langlands program? The Langlands program is this giant project aimed at finding common patterns in different fields of mathematics. And so the original formulation by Langlands in the 1960s, in 1967, in that letter to Andre Wey, which I mentioned, was actually about connecting two specific fields, number theory on one side and harmonic analysis on the other side. But not harmonic analysis in the naive sense of just Fourier series on the circle, so to speak, or on the line."
},
{
"end_time": 4016.817,
"index": 158,
"start_time": 3993.012,
"text": " You see, that's just a kind of a baby version of harmonic analysis. You can have harmonic analysis for other spaces, multidimensional spaces instead of the real line where the role of the sine functions and the cosine functions will be played by some other functions. And the example which is relevant to this is the example of what's called modular forms. Modular forms on the upper half plane or on the complex disk. We'll talk about this in a moment."
},
{
"end_time": 4037.022,
"index": 159,
"start_time": 4017.568,
"text": " So now, if it were just that, connecting questions in number theory to questions in harmonic analysis, probably wouldn't get as much attention. But what happened is that over the years, people in other fields of mathematics started discovering very similar patterns as well."
},
{
"end_time": 4066.834,
"index": 160,
"start_time": 4037.398,
"text": " And so, therefore, we actually have Langlands program developing not only in the original formulation, but also in these other fields, which I'm going to talk about. And so, now to circle back to this recent achievement in the geometric Langlands correspondence, what's the geometric Langlands correspondence? The geometric Langlands correspondence appeared as a particular way of generalizing these ideas, original ideas of Langlands of connecting number theory and harmonic analysis,"
},
{
"end_time": 4082.534,
"index": 161,
"start_time": 4067.944,
"text": " and adopting them in the world of Riemann surfaces. Riemann surfaces like this. And the reason why it's connected to physics is because, as I explained, so there are these models of quantum physics where you also have Riemann surfaces."
},
{
"end_time": 4111.732,
"index": 162,
"start_time": 4082.995,
"text": " You see, so that's two dimensional and then you have to make a leap. You have to, there is a way to connect four dimensional young mills to the theories defined on this human surfaces. So that's another step, but that's roughly why. So why the geometric language is relevant to physics and not the original one. The original one has to do with number theory, whereas the geometric one has to do with geometry of human surfaces. And that's much closer to the kind of stuff that physicists, high energy physicists are studying or quantum physicists are studying. You see. All right."
},
{
"end_time": 4140.128,
"index": 163,
"start_time": 4112.637,
"text": " So that's the picture of Langlands that I already showed before. So I would say that Langlands program is kind of about building bridges between different continents of mathematics. And as a baby version of it, think about the example I gave with numbers. Natural numbers or whole numbers appear both from counting and from homotopy groups, the winding in topology. So that's a bridge between the two fields, right? It's a kind of a rudimentary version of unification."
},
{
"end_time": 4168.063,
"index": 164,
"start_time": 4140.742,
"text": " in mathematics. Langlands program is much more sophisticated program or set of ideas for connecting fields at a much more abstract level. And so unification therefore consists of finding hidden connections, kind of invisible connections between areas of mathematics which seem to be far apart. That's what unification is about in mathematics, not about finding one overarching theory which subsumes everything. It's bridge-making."
},
{
"end_time": 4197.159,
"index": 165,
"start_time": 4169.48,
"text": " So if you are into building bridges, then mathematics is for you. Great. All right. So now I wanted to, I can't resist showing this. So remember I mentioned how Langlands first summarized his ideas in a letter to Andre Wey and Andre Wey will play an important part later on in the story. It was a great mathematician, a French born who moved to the United States during the war and"
},
{
"end_time": 4223.456,
"index": 166,
"start_time": 4197.79,
"text": " has been a professor at the Institute for Advanced Study where Einstein was a professor as well as Langlands, Witten and so on. So he gave, so he was the luminary in this field and so therefore Langlands felt that he should run these ideas by him, by Andre Wey. W-E-I-L is how we spell his name. It's very confusing because there is also Herman Weil,"
},
{
"end_time": 4244.036,
"index": 167,
"start_time": 4224.309,
"text": " Another great mathematician who was also the Institute for Advanced Study at the same time, his name is spelled W-E-Y-L and is pronounced while, whereas Andre... How is it? It's not vile? So, Andre Wey, that we are talking about right now, to whom Langlis wrote his letter, his last name is pronounced... Like vile sinners."
},
{
"end_time": 4265.503,
"index": 168,
"start_time": 4244.872,
"text": " Like vile spinners, W E Y L spinners. Isn't that Herman? No, no, the vile spinners go to is due to is in honor of Herman while W E Y L. Yeah, that's right. But here we are talking about someone whose last name is spelled W E I L."
},
{
"end_time": 4288.029,
"index": 169,
"start_time": 4266.101,
"text": " Right, right, right. And it's pronounced very differently because he is from France. So it's pronounced in a distinctly French way without pronouncing the last letter, the last consonant. You say way and the way. Whereas Herman Weil was German. So his name is pronounced in the German fashion. Weil."
},
{
"end_time": 4309.565,
"index": 170,
"start_time": 4289.735,
"text": " Or vile. I'm not quite sure. More like vile. Vile. Right. Vile. So, but not to be confused also with Andrew Wiles. W-I-L-E-S. As if mathematics was not already confusing. These people then come up with these names that are really hard to"
},
{
"end_time": 4339.684,
"index": 171,
"start_time": 4310.026,
"text": " So for people like myself and yourself, we see these all the time. It never even occurred to me that there was also Andrew Wiles that would be confused with Andre Wiles. Andre Wiles is very close to the subject. If they all worked in areas which were far away from each other, that would be one thing. But actually their works overlap considerably. Herman Wiles definitely works, actually he was kind of a polymath."
},
{
"end_time": 4360.776,
"index": 172,
"start_time": 4339.889,
"text": " He worked in so many different areas under under a very algebraic geometry number theory and so on. So it's very close to Andrew Wiles. And for example, the proof of Fermat's last theorem was actually based on the proof of what was called Shimura-Tanyama-Wei conjecture, where we actually is involved. So you have both Wei and Wiles in this in the same sentence."
},
{
"end_time": 4390.299,
"index": 173,
"start_time": 4361.254,
"text": " You see so, but you know, it's okay. Bear with us. Meanwhile. Yes. In the meanwhile, meanwhile we have this letter. We have this letter from, uh, from Robert Langlands. So Robert Langlands, imagine he is, he's 30 or 31. I think it's 30 years old. So this is like January of 67. He was born in 1936, like in October, I think. So he's a 30 year old man, very ambitious. You know, he's a guy, he's a kind of a really tough guy, very full of energy."
},
{
"end_time": 4413.456,
"index": 174,
"start_time": 4391.118,
"text": " and he meets Andre in the corridor before some seminar and he hands him this letter and this letter is not just like one page it's like 30 pages okay handwritten and what you're looking at right now is a cover page which was preserved in the archive of the Institute for Advanced Study where Langlands worked"
},
{
"end_time": 4439.599,
"index": 175,
"start_time": 4414.002,
"text": " I wrote the enclosed letter. After I wrote it, I realized there was hardly a statement in it of which I was certain"
},
{
"end_time": 4457.927,
"index": 176,
"start_time": 4441.681,
"text": " If you're willing to read it as pure speculation, I would appreciate that. If not, I'm sure you have a wastebasket handy. That's what it says. I kind of show man a little bit, you know. Yes."
},
{
"end_time": 4480.503,
"index": 177,
"start_time": 4458.422,
"text": " Also 30 pages. I would have so much anxiety sending that and thinking it may get lost in the mail. And then it would happen. My understanding is I haven't looked into this in a while. I mean, I looked at it a lot when I was writing my book and it's quoted in the book. But my collection is that actually Andre Vey, there was like silence and after a week,"
},
{
"end_time": 4506.63,
"index": 178,
"start_time": 4480.811,
"text": " He sent a message through his secretary saying that, could you please type, type the letter? Cause I cannot, I cannot understand your handwriting. Yeah. If you look at the handwriting, it's not, it's not exactly the easiest one to decipher anyway. So here's where we are. So we are now in January of 1967 and we have Robert Langlands, one of the greatest mathematicians of the 20th century. He doesn't know it yet. He's 30 years old."
},
{
"end_time": 4534.667,
"index": 179,
"start_time": 4507.022,
"text": " He is looking up to his, Andre was not really his mentor, but he was a towering figure in the field. And Langlands felt that he should be the first judge, the first one to judge his new ideas. Right. So he, uh, these days you would send an email to was an attachment, you know, like PDF file to, uh, to Andre way. But in those days, he actually wrote the letter, um, by hand. And so,"
},
{
"end_time": 4562.705,
"index": 180,
"start_time": 4536.084,
"text": " And then the story went stratospheric. And so, but there are several steps that we have to to get to the to the recent work by Gates, Goodie, Ruskin and others about the proof of the geometrical angles conjecture, we have to make a number of steps. And as we make those steps, it the story becomes more and more abstract and more and more sophisticated. So I feel that I have to give an example."
},
{
"end_time": 4592.449,
"index": 181,
"start_time": 4563.046,
"text": " At the outset of what this is about because otherwise it feels like kind of like why are we doing this? You see, I want to give an example of what kind of questions Langlands actually was trying to solve and in what way his ideas were so powerful in solving them. What do you think? Yeah. And the link to the recent work will be put on screen and in the description. Okay. And so to explain this, we have to recall what's called the clock arithmetic. Okay."
},
{
"end_time": 4620.623,
"index": 182,
"start_time": 4593.626,
"text": " So, to explain this, we have to recall what's called the clock arithmetic. And the clock arithmetic is an arithmetic like on a clock where, let's say, in North America, as we go beyond 12 o'clock, we don't say 13 o'clock, but we say 1 p.m. We don't say 14, but we say 2. So, we identify the numbers which differ by a multiple of 12."
},
{
"end_time": 4649.957,
"index": 183,
"start_time": 4621.766,
"text": " And we can do the same for a clock with any number of hours. But it's especially nice to do it when the clock has P hours, where P is a prime number, because then the addition and multiplication of numbers with this identification satisfies all the usual rules of what we call a field. So, for instance, on this picture, you have a clock with seven"
},
{
"end_time": 4677.705,
"index": 184,
"start_time": 4650.964,
"text": " our seven is a prime number. So effectively, the only numbers you're focusing on are 0123456, because seven is back brings you back to zero. You can add two numbers like this. If the result is in the same range, then that's your answer. If the result is out of this range, you replace it by a number in this range, which differs from it by seven, right? And likewise, what's multiplication?"
},
{
"end_time": 4704.241,
"index": 185,
"start_time": 4678.217,
"text": " So that's what we call the arithmetic modulo, a prime number, in this case, modulo number seven. And so the next notion that we have to introduce is a notion of an elliptic curve. So an elliptic curve for our purposes right now is an equation of the kind, the cubic equation of the kind that is written on the slide. Namely, you have basically"
},
{
"end_time": 4734.121,
"index": 186,
"start_time": 4705.538,
"text": " two variables, y and x, and the highest power that you raise y to is two and the highest power you raise x to is three. And so that's it. That's like a normal equation. If you think about it. So what is the solution of this equation? Solution is a pair of numbers, x and y, such that the left hand side, when you substitute that number y will be equal to the, what you get from the right hand side by substituting number x, right?"
},
{
"end_time": 4758.439,
"index": 187,
"start_time": 4735.776,
"text": " but the question is what do you mean by number and so typically we could say okay well real numbers right that's a good choice or it could be complex numbers if we do so to kind of jump ahead if we do that if we consider solutions in complex numbers what we're going to get is precisely a Riemann surface the set of solutions is more or less"
},
{
"end_time": 4784.923,
"index": 188,
"start_time": 4758.882,
"text": " The surface of a donut, the surface of a donut is an elliptical particular genus. It's a curve of genus one specifically. I see. And this curve of genus one is called the elliptic curve. Is there a straightforward way of seeing that or is that some result that will take us off course? Not immediately. Yeah, you have to do a little work and honestly you have to get the entire torus. You have to also allow solutions at infinity."
},
{
"end_time": 4809.224,
"index": 189,
"start_time": 4785.401,
"text": " So without that, it will be the torus without a point, actually. But this is what gives the name elliptic curve is traditionally was used as a name for this complex torus. But since we look at the same equation and we look at solutions in another numerical system, we also call it an elliptic curve within that context, you see."
},
{
"end_time": 4838.08,
"index": 190,
"start_time": 4809.48,
"text": " That's right. So in other words, let's say you have a basket, you have a basket here has tiny balls inside, you pull out one of the balls, it's ball number two, pull out another one, it's ball number 10. Another one is ball number 12. You're like, okay, this is you look at the label, it says this is the integer basket. That's right. So now you're thinking, okay, so if I was to take one of these integers, put it into my equation, and it comes out with a solution. That's like saying,"
},
{
"end_time": 4862.841,
"index": 191,
"start_time": 4838.08,
"text": " What are the balls"
},
{
"end_time": 4891.869,
"index": 192,
"start_time": 4862.841,
"text": " putting into my equation, what basket are they coming from? That's the field that is over. Exactly. Or, or we now have our new numerical system, right? This modulo P. So we can actually look at this equation because it has coefficients which are, you know, one and minus one, one and minus one makes sense modulo P as well. So therefore the equation also makes sense modulo P, where P is a prime. So now what would be a solution, say, modulo seven?"
},
{
"end_time": 4922.739,
"index": 193,
"start_time": 4893.302,
"text": " If you take p equals, so that's the equation, right?"
},
{
"end_time": 4951.971,
"index": 194,
"start_time": 4923.695,
"text": " And so take P equal five. So what are the solutions? For example, X equals zero, Y equals zero is a solution. It's actually solution on the nose. Left hand side is zero, right hand side is zero. Or X equals one, Y equals zero also on the nose because this is zero and this is zero. But there are two more solutions. What do you mean on the nose? Do you mean like it's quite obvious that it's zero? No, they're actually equal to each other. Not only modular five, but just as integers. You see?"
},
{
"end_time": 4982.022,
"index": 195,
"start_time": 4952.944,
"text": " But here's an example of something which is not on the nose, which is X equals zero and Y equals four. Let's calculate. Y squared is going to be 16, right? Plus four, 20. Left-hand side is 20 for this choice, right? And the right-hand side is going to be zero still. So the left-hand side is zero and the right-hand side is zero. If we wanted to consider solutions in real numbers or in integers,"
},
{
"end_time": 5011.118,
"index": 196,
"start_time": 4982.483,
"text": " Then this would not be a solution because they don't agree with each other left hand side and right hand side. But in our new world of clock arithmetic, modular five, they do agree with each other because in this new numerical system, number 20 is the same as number zero, but modular seven, it would not be because modular seven, 21 is zero, but 20 is not zero. It's minus one. Right. So that's how you see that. It is very subtle question because the"
},
{
"end_time": 5040.043,
"index": 197,
"start_time": 5011.749,
"text": " Let's suppose you calculate how many solutions you get module of five. In fact, it's easy by inspection to just plug in all possible values for X and Y, namely zero, one, two, three, four into the left-hand side and right-hand side and see when the results differ by a multiple of five, you see. If you do that, you will find that these are the only solutions. There are four solutions. But when you move from five to seven, which is an X prime number,"
},
{
"end_time": 5066.783,
"index": 198,
"start_time": 5040.384,
"text": " and you address the same question, find the solutions module seven, you see that all the previous calculations are completely useless. Well, except maybe this first two will still give you solutions module every prime. But like last two solutions, they're not going to be helpful because the fact that the left hand side and the right hand side differ by a multiple of five is not going to help you to find a solution where they differ by multiple seven. You see, so it's a very strange kind of question where"
},
{
"end_time": 5093.831,
"index": 199,
"start_time": 5068.217,
"text": " for every prime number every prime number has its own quirks and for every prime number you get a particular number of solutions and so the question is can you actually describe all of them in one stroke somehow obviously for very small p's you can just do it on a calculator and for large p's you can easily write a computer program say to do it up to thousand ten thousand and so on but try to do it for all p and so this is where langlands program comes in langlands program"
},
{
"end_time": 5120.52,
"index": 200,
"start_time": 5094.838,
"text": " gives you a solution to a completely unexpected solution to this problem, all in one stroke. And that's the it's a really good example, because it shows you the power of this ideas, because absolutely out of the blue, out of the left field, you get the solution. So what is it? What is the solution? So let's arrange this as a as in the table. So for every prime number, right, so for every prime number, like"
},
{
"end_time": 5151.101,
"index": 201,
"start_time": 5121.288,
"text": " two, three, five, seven, 11, 13. We have the number of solutions and I've calculated them for you. For five, we found them on the previous slide, four, and these are the numbers for other primes between two and 13. But it turns out that it's better to consider not the number of solutions itself, but rather this number, which is kind of the difference between the number of solutions and the prime itself. So P minus the number of solutions. And the thing is that- How is one supposed to get this idea?"
},
{
"end_time": 5171.527,
"index": 202,
"start_time": 5151.92,
"text": " If you look at these numbers, you will see that these numbers grow almost linearly with p. So let's just put it this way. It's a kind of an error, because naively you could say it's probably about p solutions, because after all, think about it this way. You have two free variables, right? And each of them takes p values, for example."
},
{
"end_time": 5201.186,
"index": 203,
"start_time": 5171.954,
"text": " If you, if you, if P is five, you have zero, one, two, three, four, and then five is not an extra element because five is zero, right? So you have five values for X and you have five values for Y. So altogether you have five times five, 25, but you have one equation, which means one degree of freedom drops. So you have five squared because there are two degrees of freedom X and Y, but there is one equation. So, so kind of like as a rough estimate, you could say the number of solutions should be close to five."
},
{
"end_time": 5229.292,
"index": 204,
"start_time": 5202.09,
"text": " and number of solutions close to dimension drops by one if you have an equation right so for instance if you have a circle is defined by one equation or a line let's say a line on the plane the plane has x and y two coordinates so it's two dimensional but if you write the equation x equals y you get a diagonal so the equation drops the dimension by one one equation drops dimension by one two equations usually draw by two and so on that's kind of like rough back of the envelope calculation"
},
{
"end_time": 5256.425,
"index": 205,
"start_time": 5230.52,
"text": " But one dimensional in this new world means P possibilities, like for five it means five possibilities, two dimensional means 25, three dimensional means 125. So that's how you come up with this rough estimate that two variables with one equation should give you approximately P solutions. And then you say, OK, well, let's calculate what is what is the error. So the actual numbers, the P minus the actual number of solutions."
},
{
"end_time": 5268.2,
"index": 206,
"start_time": 5257.108,
"text": " Then of course, once you understand the language program, there is another explanation why this is a good number to consider. There is another way to explain it, but let's stick with that."
},
{
"end_time": 5290.964,
"index": 207,
"start_time": 5269.138,
"text": " So here's a miracle. This number is AP. So AP is what's in the last slide, colon. So it's not exactly the number of solutions, but it's the difference between P and the number of solutions. But of course, if you know AP, then you know the number of solutions because you simply take, you know, the number of solutions can be found as P minus AP. So the two problems are equivalent to each other, right?"
},
{
"end_time": 5310.589,
"index": 208,
"start_time": 5292.056,
"text": " So what we're going to describe is not numbers of solutions for every prime, but we're going to describe these numbers AP, but that's equivalent to the original problem. And so it turns out that these numbers can be described all at once in the language of harmonic analysis. So remember I said the original formulation of the Langlands program was"
},
{
"end_time": 5338.49,
"index": 209,
"start_time": 5311.425,
"text": " uh, in relating or connecting number theory and harmonic analysis. The problem we have discussed with counting numbers of solutions is squarely in the field of number theory, right? Because we are, well, all we are doing is arithmetic with numbers, right? And comparing like left hand side, right hand side, modular prime and so on. And harmonic analysis is about functions of some special kind. And so here's how the two fields come together."
},
{
"end_time": 5367.551,
"index": 210,
"start_time": 5338.882,
"text": " Number theory and harmonic analysis. Consider the following infinite product. And at first it looks intimidating, but if you look closely, you will see that there is a system here. So Q is a variable. In high school, we usually denote variable by X. That's the traditional notation. But in this subject, this particular variable is traditionally denoted by Q. Don't ask why, nobody knows. It's just like the name."
},
{
"end_time": 5397.193,
"index": 211,
"start_time": 5367.978,
"text": " In every field, my position is usually X and then it gets mapped to Q and Hamiltonian mechanics. It's I don't know why it's weird because Q is also Q is also used in the field, which is called quantum groups, you know, the quantum algebra. So for quantum and interesting enough, there are many results which were obtained in arithmetic a long time ago or modular forms where for some reason people chose the variable Q. They they connect to results in quantum groups, for example, in quantum algebra."
},
{
"end_time": 5422.568,
"index": 212,
"start_time": 5397.602,
"text": " And this is like, how did they know? Because when you translate them, you don't even have to make a change of variables. Right. So it's a mystery. But anyway, somehow people did it with Q and it caught on. And it's a traditional notation in this theory for for this variable. OK, it's Q. It's called Q not S. Just for the sake of of explaining or perhaps not explaining this function here, Q times one minus Q squared times one blah, blah, blah."
},
{
"end_time": 5448.148,
"index": 213,
"start_time": 5422.91,
"text": " That also looks like it's dropped from the sky. So yes, are we going to explain that or are you just going to say that? Yes, I will explain. But first I give I want to give the answer. Okay. Sure. So first I have to explain what it is so that you're not intimidated by it. So first of all, there is this queue, you just write it once and you forget about it. Then you have this this guy, this guy, this guy, and this guy and it goes on. What what do they look like? It's one minus q squared, right?"
},
{
"end_time": 5476.169,
"index": 214,
"start_time": 5448.695,
"text": " This is Q to the first power basically, but then squared. This is one minus Q squared, squared, right? This is one minus Q to the third power squared. So each of these terms is a square of something which looks like one minus Q, one minus Q squared, one minus Q cubed, one minus Q to the fourth. So you can easily guess the next one will be one minus Q to the fifth squared and so on, right? That's clear. Then in addition, you have, you have these guys,"
},
{
"end_time": 5503.404,
"index": 215,
"start_time": 5476.425,
"text": " Q to the 11 squared, Q to the 22 squared, Q to the 33 squared. So what are these numbers? 11, 22, 33, right? These are multiples of 11. So you have one progression where you have Q, Q squared, Q cubed, and Q to the fourth. And every time you put a square. And then you have a second progression. The first one is underlined with red. Second one is underlined with blue."
},
{
"end_time": 5526.476,
"index": 216,
"start_time": 5503.814,
"text": " and you got here q to the 11th, q to the 22, q to the 33, and each time you square it. So you can see what the next two terms are. First, you will have 1 minus q to the 44 squared, and then you have 1 minus q to the 5 squared. So after that, we open the brackets. Now, in principle, you could say, okay, well, how can we possibly open the brackets? There are infinitely many terms here. So this dot dot dot means that we continue ad infinitum."
},
{
"end_time": 5554.224,
"index": 217,
"start_time": 5527.875,
"text": " But the point is that the degrees grow, these powers grow. So if you're interested in just the coefficients in front of Q or Q squared and so on, there will only be finitely many terms which will contribute. For example, Q is already there. So Q times one in each of these factors will give you Q. But there is no other way to get Q because every other term will have Q times Q to some other power, some positive power, right?"
},
{
"end_time": 5578.285,
"index": 218,
"start_time": 5554.531,
"text": " That's how you know for sure that Q will appear with coefficient 1. What about Q squared? So for Q squared we write actually this is 1 minus 2Q plus Q squared. That's this term, right? So you see there is minus 2Q and this minus 2Q will conspire with Q to produce minus 2Q squared. This."
},
{
"end_time": 5604.787,
"index": 219,
"start_time": 5579.138,
"text": " And there is no other way in which you can get Q squared out of this product and so on. So what I'm trying to say is that this is well defined. The coefficient in front of every finite power, like Q to the fifth, Q to the sixth and so on, is well defined, is a combination of things that come from just finite sums and products. Even though the whole thing is infinite, you see? In other words, only finitely many terms will affect a particular power of Q when we open the brackets."
},
{
"end_time": 5633.524,
"index": 220,
"start_time": 5605.998,
"text": " And so now we get this expression where you have each power of q has a particular coefficient like we have just calculated in front of q you have one in front of q squared you have minus two and then if you continue along this path you will see that the coefficient front of q to q cube is minus one in front of q to the force is two and so on right so what does this have to do with the original problem and the amazing thing is that you recover all these numbers as the coefficient"
},
{
"end_time": 5657.995,
"index": 221,
"start_time": 5634.855,
"text": " in front of q to the p. Can you believe this? So, for example, in front of q cube, you have minus one, right? Okay. And so this doesn't work for the non-prime numbers because there's no data. For what? Well, for the non-prime numbers, it doesn't work. So in fact, this series has more information that we needed, right? Because it also has coefficients in front of non-prime powers."
},
{
"end_time": 5688.524,
"index": 222,
"start_time": 5658.814,
"text": " And there's an interesting question of what that corresponds to, which can be answered as well. But let's just, let's just focus. Is that information about what it corresponds to new work that should be covered some more intricate, intricate properties of these equations, but it's not really relevant. It's not really necessary to understand the original question. So that's why we'll ignore it. We will just take the coefficients in front of prime powers. And I claim that in fact they match"
},
{
"end_time": 5714.411,
"index": 223,
"start_time": 5688.712,
"text": " Perfectly this number is AP that we have in this. Let's do it. So for P equal two is minus two and that's the coefficient in front of Q squared, right? Yes for P equals three is minus one and that's the coefficient in front of Q cube for Q equals five. Remember we're not considering four because we only want prime powers."
},
{
"end_time": 5742.79,
"index": 224,
"start_time": 5714.787,
"text": " So we don't care about the coefficient in front of q to the fourth, but we do care about the coefficient in front of q to the fifth, right? And this coefficient is one, which is the number AP for P equal five, which by the way is what we found because we found four solutions. But remember AP is not the number of solutions. It's P minus the number of solutions. So P here is five. And so P minus four is one. And that's exactly the coefficient in front of q to the five."
},
{
"end_time": 5765.026,
"index": 225,
"start_time": 5744.019,
"text": " In front of q to the 7, we have minus 2, and that's exactly what we have here. In front of, for p equal 11, we should get 1, and that's exactly what we get. And for 13, we should get 4, and that's what we get. And it is a theorem, it is a mathematical theorem."
},
{
"end_time": 5795.162,
"index": 226,
"start_time": 5765.384,
"text": " Extra value meals are back. That means 10 tender juicy McNuggets and medium fries and a drink are just $8 only at McDonald's for limited time only. Prices and participation may vary. Prices may be higher in Hawaii, Alaska and California and for delivery. No, no human being can ever go through the entire sequence, right? Which is infinite because there are infinitely many prime numbers. This is well known fact. It's a well known theorem, right? So no human being can actually"
},
{
"end_time": 5815.162,
"index": 227,
"start_time": 5796.135,
"text": " Behold all these numbers at once, in some sense. However, they are all defined. And you can check for any finite element of this infinite sequence. You can check that the left hand side corresponds to the right hand side. But imagine how much stronger this result is. It doesn't tell you that"
},
{
"end_time": 5845.145,
"index": 228,
"start_time": 5815.896,
"text": " That it works for P from one to 30 from two to 13 or two from two to the smallest prime, less than 10,000. It actually tells you that it's true for every P and that's that statement contains within an infinite sequence of statements. It's amazing if you think about it. So one one formula rules them all. Right."
},
{
"end_time": 5871.971,
"index": 229,
"start_time": 5845.674,
"text": " And so we call it the finding order in seeming chaos, the coefficient. If you take the coefficient of the power of Q in this infinite series, then it will give you exactly this AP, which is P minus number of solutions for all primes, for all primes. And so what happens is a kind of a colossal compression of information. Cause just one, think about just one line of code and I explained how this"
},
{
"end_time": 5897.841,
"index": 230,
"start_time": 5872.363,
"text": " how this to produce this code, right? So it's, it's, it's some regularity here. You don't need infinite amount of information. It's finite amount of information. You just say one minus Q to the I where I is equal to one and then repeat for I plus one. So you are not as Q squared. I was Q square square and each time square it, right? So this, this, this, this term, this term, this term, this term, and then do the same with Q to the 11 instead of Q."
},
{
"end_time": 5922.517,
"index": 231,
"start_time": 5898.166,
"text": " So Q to the 11, Q to the 22, Q to the 33. It's easy to program. It's extremely easy to program it on the computer in such a way that for any prime number that is accessible, that you have access to on your computer, on your, in your hard drive or your memory, that you can actually store it. You can, you can find infinite amount of time, the coefficient in front of Q to the P."
},
{
"end_time": 5938.2,
"index": 232,
"start_time": 5923.046,
"text": " and guess what it's going to be exactly the number of solutions well more precisely is going to be p minus number of solutions for that for that cubic equation that's an example of the lingman's program and that's the most beautiful it's the simplest most beautiful example i have to say i learned it from uh richard taylor"
},
{
"end_time": 5959.718,
"index": 233,
"start_time": 5938.66,
"text": " The great mathematician is at the Institute for Advanced Study. He was a co-author of Andrew Wiles in their famous paper, Solving Fermat's Last Theorem. So I learned an example from him, actually. And it's in my book as well. It's in Love and Math, in chapter seven, I think. So if you want to know more, to learn more about this kind of slow reading, that's where you can find it."
},
{
"end_time": 5987.841,
"index": 234,
"start_time": 5960.162,
"text": " So I also recommend that book just for people who are listening. I read it approximately a year ago or so. And in one of the early chapters, you cover braid braid groups and knot theory, which is something you learn in third year in university. But it's covered in one of the early chapters. That was my first mathematical that was my first mathematical work. That's why I talk about it. Right. So that was my first excitement of solving something which nobody knew that making discovery."
},
{
"end_time": 6005.247,
"index": 235,
"start_time": 5989.104,
"text": " What I'm trying to say is that this just one line of code"
},
{
"end_time": 6034.991,
"index": 236,
"start_time": 6006.015,
"text": " kind of gives us gives us a simple rule for solving this infinite counting problem for all prime numbers at once. That's what I mean by finding hidden connections. Remember, I said to me, unification in mathematics is about finding hidden connections between different fields, which seem to be far apart. Here, it's between the field of number theory and the field of harmonic analysis. All right, so now let's talk about what is this what is this product? Okay, in what sense does it reside in harmonic analysis?"
},
{
"end_time": 6061.664,
"index": 237,
"start_time": 6035.725,
"text": " Okay, and so the point is that when we talked about it first, we talked about it as a kind of a formal expression, right? So it's like a product Q. So Q was just a variable, but actually it turns out that we can assign a numerical value to Q and this product will converge. So even though it is a product of infinitely many numbers,"
},
{
"end_time": 6090.623,
"index": 238,
"start_time": 6062.295,
"text": " It turns out that this product actually makes sense and not in a kind of esoteric sense is like one plus two plus three plus four, but actually like the rigid, precise, rigorous sense of limits that we study in calculus. The product of finitely many terms of this from the first to the nth of this expression is actually going to have a limit as n goes to infinity. And that therefore, but only if q is a number between minus one and one,"
},
{
"end_time": 6117.244,
"index": 239,
"start_time": 6091.271,
"text": " a real number between minus one and one. Or we could also work with a complex unit disk. You know, the complex numbers live on a plane because they have both real and imaginary part. And every complex number has a norm, which is the distance from this from a geometric representation of this number as a point on a complex plane and the point zero. So, for example, number i has has normal one because that's the distance from i to zero."
},
{
"end_time": 6127.295,
"index": 240,
"start_time": 6117.705,
"text": " If you take"
},
{
"end_time": 6156.886,
"index": 241,
"start_time": 6127.807,
"text": " If you view it as a complex number and substitute in this infinite expression, we will get a well-defined number. It will have a limit. This product will have a limit, you see. So therefore, we get a function on the unit disk. For every Q, we get a specific value, which is encoded by this infinite product. So we get a function on the unit disk, and it is called a modular form. And the point is that it has very special transformation properties under the group of symmetries of the unit disk, which is denoted PSL2Z."
},
{
"end_time": 6182.5,
"index": 242,
"start_time": 6158.387,
"text": " So instead of explaining exactly how this group acts on the unit disk, I'm going to show you how a similar group acts by showing you what's called the fundamental domains. So the action of a group like this, it's actually going to be a subgroup of PSL to Z."
},
{
"end_time": 6210.828,
"index": 243,
"start_time": 6183.319,
"text": " This is not exactly the same subgroup, but it will do as an illustration. So here's what I'm talking about. Remember our harmonic analysis on the circle. Can you go back just a moment? Can you go back to slide 40? Okay, so this function is defined on the complex unit disk. Yes, which is, think about this. It's like this, right? So two complex numbers."
},
{
"end_time": 6239.753,
"index": 244,
"start_time": 6211.63,
"text": " to all of complex. That's right. So look, here's a complex. So here's a complex plane, which has two axes, X and Y, where if you have a point here, a point with coordinates X, Y, we assign to it number X plus Y, I that's a complex number assigned to a point, right? And so you have number one here, you have number I here, you have number minus one here, you have number minus I here."
},
{
"end_time": 6265.043,
"index": 245,
"start_time": 6240.145,
"text": " And then you can draw this circle of radius one. And so your number Q is going to be some number inside this circle, you see. So that's your Q. The condition is that Q is less than one, which means that x squared plus y squared is less than one. Does make sense?"
},
{
"end_time": 6282.21,
"index": 246,
"start_time": 6265.452,
"text": " My question is, where is it going to? What's the target space? Okay. Some complex and some complex number and it's unique."
},
{
"end_time": 6308.592,
"index": 247,
"start_time": 6282.602,
"text": " it's unique yes it's unique absolutely yes otherwise it's not a function right so when we say function we mean single value function which means a rule which assigns to every q some complex number but every q not everywhere q is constrained by the property that it is within the unit disk the value is the only constraint is that is unique is is is finite it's well defined and it's uniquely defined so now explain where sl2z comes in so sl2z"
},
{
"end_time": 6332.773,
"index": 248,
"start_time": 6309.172,
"text": " Yes, so there is a SL2Z. Before I explain this, let's look at a simpler situation. OK, so at the simpler example, namely the harmonic analysis that we discussed earlier when we talked about sounds of music. Right. So we have this basic harmonics sine and X and cosine and X where N is an integer. And"
},
{
"end_time": 6362.841,
"index": 249,
"start_time": 6333.387,
"text": " We discuss the fact that every function on the circle, so they are periodic functions, because if you send x plus x to pi, the value will be the same. So they're periodic with period two pi. Right. And the point is, so the invariant under the shift x plus two pi. And the point is that harmonic analysis allows us to write any function on the circle, essentially any continuous function, let's say, as"
},
{
"end_time": 6392.108,
"index": 250,
"start_time": 6363.08,
"text": " a linear combination of these guys. That's called Fourier series. And you can think about it as decomposing the sound of a symphony, of an orchestra, into the notes of different instruments in time. So that in this case, the X is a time because it plays music in time and each note, roughly speaking, is a wave like sine of an X or cosine of an X. And as I said, we can arrange things in such a way that"
},
{
"end_time": 6411.578,
"index": 251,
"start_time": 6392.483,
"text": " The nodes have approximately proportional to a specific frequency. The frequencies of these nodes are proportional to a specific frequency with integer multiples, with rational multiples more precisely, but we can always find a kind of a common denominator so that they will be just integer multiples."
},
{
"end_time": 6442.056,
"index": 252,
"start_time": 6412.227,
"text": " So that's the setup of harmonic analysis. But what I want to focus our attention on is the fact that actually there is this there is this invariance. What's special about these functions sine and X and cosine and X is that they are invariant under the shift X goes to X plus two pi. But if so, it's also invariant under the shift X plus two pi times some integer, for example, four pi, six pi, eight minus two pi and so on. So you see what happens that actually there is a group of symmetries that is lurking in the background."
},
{
"end_time": 6470.503,
"index": 253,
"start_time": 6442.688,
"text": " When you talk about these functions, this function really is defined. Think about it. This function is defined on the real line. So that's your real line, right? And so your function is going to be a cosine function or sine function. So it's going to look something like this. Right? It's a wave like this. But now the point is that if you shift it, you see, if you shift it by this amount,"
},
{
"end_time": 6500.043,
"index": 254,
"start_time": 6472.312,
"text": " If you shifted by this amount, it will stay the same, right? So if you imagine shifting this whole, this whole curve from here to here, so this point goes to here, this point goes to here. So it will go to itself. That's what I mean by being invariant, right? I think that's the best approach for this part. And then in part two, we can go to the graduate student level. Yeah, I do. I do. I do. I want people to understand it because it's really basic and beautiful stuff. So, so what I'm trying to say is that there is a shift."
},
{
"end_time": 6521.152,
"index": 255,
"start_time": 6500.64,
"text": " under which the whole thing"
},
{
"end_time": 6544.872,
"index": 256,
"start_time": 6521.817,
"text": " It's also invariant under shift by four pi, which would be like twice this, twice this and one more time, right? So as a result, it's invariant under all of the shifts and all of the shifts gives you an action of the group of integers on the real line. And what I would like to focus on is what's called the fundamental domain of this section. And the fundamental domain of this section is just this interval because"
},
{
"end_time": 6574.616,
"index": 257,
"start_time": 6545.708,
"text": " It's like remember like when we talked about arithmetic module of five, then we identify things which are related by a multiple of five. So the fundamental domain consists of just zero, one, two, three, four. Every other thing you can get by adding to one of those a multiple of five. And likewise, now on this picture, every real number can be obtained from a number on just on this interval. Plus a multiple of two pi."
},
{
"end_time": 6604.701,
"index": 258,
"start_time": 6575.162,
"text": " So that's called the fundamental domain. Fundamental domain. But actually it's not the only fundamental domain. The whole real line breaks into fundamental domains which are going to be from this point to this point, from this point to the next and so on. They all have lengths 2 pi. And now let's go back to this. So here on the unit disk there is another group which is called PSL2C which plays the role of Z"
},
{
"end_time": 6634.599,
"index": 259,
"start_time": 6605.179,
"text": " two pi Z in our baby version, which is here, right? Two by M and the analogs of this intervals are precisely this kind of a hyperbolic triangles, both black, both red and white. So this gives you a sense of how this group acts. It is by hyperbolic transformations and this visualizes how is what it does. It exchanges different triangles, exchanges points in red triangles with points in other red triangles or white triangles. You see,"
},
{
"end_time": 6661.203,
"index": 260,
"start_time": 6634.906,
"text": " So this gives you a rough idea of the special properties of this function that we are considering. This function, which is obtained from our infinite series that solved for us all the counting problems for all prime numbers all at once. This function that we obtained from this series by evaluating it at points in the unit disk actually has special symmetry properties with respect to the group which acts like so."
},
{
"end_time": 6687.466,
"index": 261,
"start_time": 6662.176,
"text": " which is similar to how sine and cosine functions act with respect to the action of a much simpler group, namely the group 2 pi z, z being the integers. You see? So that's a rough explanation. And again, if you want to know more, for instance, you can read about this in chapter 7 of Love and Maths and so on. But that's kind of a rough explanation of what is so special about this function."
},
{
"end_time": 6713.968,
"index": 262,
"start_time": 6689.906,
"text": " Now the weight in this one is what is two, you said here, or is it one? The weight because modular weight is to weight is to weight is to because roughly speaking, because well, it's elliptical. So it's like to demand it has to do something, something two dimensional is in the background. Sure. Now, this is actually so now,"
},
{
"end_time": 6737.193,
"index": 263,
"start_time": 6714.48,
"text": " This is one example, remember. What we're considering is just one example. There is one counting problem, there is a specific cubic equation, right? It was y squared plus y equals x cubed minus x. And we are looking for every prime number, we get a number of solutions, then we slightly modify it by subtracting it from p. Those are coefficients in front of prime powers of q in this infinite series."
},
{
"end_time": 6755.367,
"index": 264,
"start_time": 6737.824,
"text": " In other words, you were just given an elliptic equation."
},
{
"end_time": 6783.848,
"index": 265,
"start_time": 6755.367,
"text": " in modulo primer or the clock arithmetic prime number. That's right. And then actually you took a modified form of that with some error term, but it doesn't matter. That's right. Found a correspondence between that and a modular form. That's right. Now you're wondering specific modular for a specific modular form, right, which we could actually write out explicitly. Right. And now you're wondering, okay, well, that was for one elliptic curve. Can I be greedy? Is there a class of elliptic curves that this may work on? Does it work for every single type of elliptic curve? Exactly."
},
{
"end_time": 6813.319,
"index": 266,
"start_time": 6784.087,
"text": " Was this just a coincidence? Is there something special here? It actually works for all smooth elliptic curves. So there is some kind of condition, not degenerate kind of equations. So there are lots of equations you can write of this nature that we wrote, infinitely many in fact, and for each of them there will be its own modular form which will encode"
},
{
"end_time": 6839.974,
"index": 267,
"start_time": 6813.66,
"text": " Numbers of solutions for all primes, save maybe finitely many. In this case, we lucked out actually every single prime. For every single prime we got matching, perfect matching with the coefficients. In general, there will be finitely many prime numbers for which it will not work. But okay, it's not a big deal compared to infinity of other primes for which it will work, you see. So, and that is called the Shimura-Tanyama-Wei conjecture."
},
{
"end_time": 6870.93,
"index": 268,
"start_time": 6841.049,
"text": " And it's a beautiful story. So this is the 1950s. There were two Japanese mathematicians, Yutaka Taniyama and Goro Shimura and Andre Wey, the recipient of that infamous letter from Robert Langlands. They were actually at a conference in Japan. There was a famous Tokyo Niko Symposium in 1955. Remember, this is after World War II. And obviously, Japanese mathematicians were isolated from American mathematicians. This was essentially the first meeting"
},
{
"end_time": 6896.749,
"index": 269,
"start_time": 6871.408,
"text": " of the mathematicians from the two nations. And it was extremely influential. So there's a picture. The talks were held in two cities in Tokyo and Nikko. And they are on the train here going from Tokyo to Nikko or maybe the other way around. And who do you see here? So you have this is Andre Wei. This is Yutaka Atanyama, who is this brilliant Japanese mathematician committed suicide at the age of 31."
},
{
"end_time": 6925.299,
"index": 270,
"start_time": 6897.329,
"text": " I talk about this more in love and math. And so if you're interested, it's a very interesting story. Uh, this is Goro Shimura. I was another Japanese mathematician who actually worked most of his life at Princeton university. And this is Jean-Pierre Serre, a legend from Paris. You see a beautiful picture. Yeah. And so the Shimura-Tanayama conjecture, Tanayama-Wei conjecture is what is it again? Let me say it one more time. So"
},
{
"end_time": 6948.592,
"index": 271,
"start_time": 6927.688,
"text": " It's a statement that for every cubic equation, what we call the elliptic curve over finite fields or elliptic curve of the rationals. And then we specialize modular prime numbers. Every cubic equation of the kind we consider it will have its partner in a different world in the world of modular forms."
},
{
"end_time": 6976.084,
"index": 272,
"start_time": 6952.654,
"text": " uh... so they're going to be of weight two and also satisfy some condition some additional condition they're going to be what's called a new form which i'm not going to get into it it's a technical but not very complicated condition and uh... it turns out that there is a bijection and it goes in both directions one to one correspondence isn't it amazing one to one correspondence that for every modular form there is its own cubic equation waiting in the you know"
},
{
"end_time": 6993.848,
"index": 273,
"start_time": 6976.374,
"text": " in the wings whose counting problem will be given by the coefficients of this modular form at prime powers, save maybe for finitely many of those. And conversely, for every cubic equation, there is a modular form waiting to give the solution to the counting problem."
},
{
"end_time": 7023.302,
"index": 274,
"start_time": 6994.394,
"text": " So that's the kind of things we're talking about. It's really mind boggling. And how did they come up with this is absolutely genius. Like now we look back after so many years, like what, 70 years, it looks kind of, yeah, sure, it makes sense, but it absolutely did not fall from anything. Just the fact that there were several examples known, it doesn't mean that there should be really one to one correspondence. And yet there is, you see, that's, that's how groundbreaking this is. And to add to the kind of the glory of this result, I want to mention that Fermat's last theorem actually follows from it."
},
{
"end_time": 7043.336,
"index": 275,
"start_time": 7024.053,
"text": " In 1986, my colleague here at UC Berkeley, Ken Ribbett, proved that if you control Trimot-Anhemovic Conjecture, then you get Fermat's Last Theorem. And Fermat's Last Theorem, of course, I imagine most of the viewers have heard about. It's an impossibility of solving this equation with positive integer numbers."
},
{
"end_time": 7072.039,
"index": 276,
"start_time": 7043.968,
"text": " You see, so Ken Ribbett comes in 90, so that Fermat's last theorem was proposed by Pierre Fermat on the margin of the Deophantus book on arithmetic 350 years ago. And he wrote famously on the margin that he found a beautiful proof of it, but the margin is too small to contain it. So for the next 350 years, people try to prove it professionals and amateurs only to have their hopes dashed that people found would find mistakes and so on."
},
{
"end_time": 7095.179,
"index": 277,
"start_time": 7072.415,
"text": " until finally in 1996 Ken Ribbett, my colleague here at UC Berkeley, was able to relate it to something, to a different conjecture, which is the Schmortanian wave conjecture we just talked about. In fact, we talked about one specific example of this conjecture, but the Schmortanian wave conjecture is much vaster than that. It services every cubic equation and every modular form, which is of weight two and a new form."
},
{
"end_time": 7119.889,
"index": 278,
"start_time": 7096.288,
"text": " So finally, what remains to prove is the Shimur-Tanyamovay Conjecture, and that was done by Andrew Wiles and Richard Taylor in 1995, I believe. In other words, Fermat's Lysterium follows from Shimur-Tanyamovay, but Shimur-Tanyamovay is a special case of the Langlands program."
},
{
"end_time": 7146.288,
"index": 279,
"start_time": 7120.35,
"text": " So now already the Schmur-Tanin-Move is a vast generalization of this one example we considered, right? Because our one examples reference specifically a particular cubic equation and a particular modular form, which was given by the infant product. So Schmur-Tanin-Move is a vast generalization of that to arbitrary cubic equations, satisfying some conditions and modular forms."
},
{
"end_time": 7173.712,
"index": 280,
"start_time": 7147.09,
"text": " And that's just a very special case of the Langlands program. So that's what it's about. Now, the original program Langlands program was about this type of questions in number theory and a possibility of solving them in terms of much more easily tractable questions in harmonic analysis. Now I have a feeling that this way approaching kind of a nice middle point."
},
{
"end_time": 7183.49,
"index": 281,
"start_time": 7174.155,
"text": " in this conversation. I feel like we won't be able to get to the end of it today unless we talk all day, you know. So do you think it would make sense to"
},
{
"end_time": 7208.763,
"index": 282,
"start_time": 7183.831,
"text": " have a second installment where I will pick up on this. We have now a very nice kind of like we build the foundation. We see now an example of what this is about, a very concrete example of what this is about. So this will give us motivation to study this further and to think about generalizations of this Langlands program, moving it away from questions in number theory to the questions in geometry that are related to Riemann surfaces and things like that."
},
{
"end_time": 7235.981,
"index": 283,
"start_time": 7209.206,
"text": " And that will bring us to up to date to the most recent achievement of this recent papers that we talked about. Sure. So here's what we'll do. People who are watching, if you have any questions, leave them in the comments below, because then this way we can pull from them to ask next time if you're confused at any point. And a quick question I have is the language program is usually formulated as if I have a question in number theory, I can more easily answer it in harmonic analysis."
},
{
"end_time": 7245.077,
"index": 284,
"start_time": 7236.237,
"text": " Right, but I don't hear the opposite, that if there's a question in harmonic analysis, can I throw it over to number theory? It's much more easily solved there and throw it back to harmonic analysis."
},
{
"end_time": 7273.712,
"index": 285,
"start_time": 7245.998,
"text": " Interesting enough, such questions did emerge because obviously if you have a bijection, then initially it looked like harmonic analysis is much simpler. And so this is kind of an advantageous approach is to reformulate number theoretic questions. Not all number theoretic questions, mind you, I want to make sure that there is no misunderstanding. I'm not saying every single question in number theory can be formulated in these terms. No, very specific questions like the questions that we discussed, right?"
},
{
"end_time": 7283.712,
"index": 286,
"start_time": 7273.968,
"text": " So it's less like a bridge between two continents and more like a bridge between a city in one continent to another one. It's more than the city. It's more like a"
},
{
"end_time": 7310.674,
"index": 287,
"start_time": 7284.036,
"text": " The point of it being it's a subset, proper subset. It's a proper subset, but it's a very big subset. And the question is, and one could hope that maybe for now we think it's a subset, but maybe eventually we'll see. In a sense, it is much more than just a subset because"
},
{
"end_time": 7339.394,
"index": 288,
"start_time": 7311.22,
"text": " Let me comment on this because it's important. So the proper formulation of this correspondence is not in terms of equations that we did on the side of number theory. It's in terms of the Galois group. It's in terms of the Galois group. So Galois group is a very important concept in mathematics. And Galois group is, roughly speaking, describes symmetries of numerical systems that you can get out of rational numbers. By rational numbers, I mean fractions. A divided by B, like one half or three fifths."
},
{
"end_time": 7369.974,
"index": 289,
"start_time": 7340.384,
"text": " They form a field of its own, and we can throw in solutions of various polynomial equations into it, like square root of two, or i. As a result, we get what's called algebraic closure, a much vaster field. And one could argue, and I think this is a very good argument, that every problem in number theory boils down to a problem about this Galois group. Now, if you accept that, the Langlands program actually gives you"
},
{
"end_time": 7393.609,
"index": 290,
"start_time": 7370.657,
"text": " Something very simple, more or less gives you an answer to most reasonable questions about Galois groups, because it describes n dimensional representations of the Galois group for all dimensions. What we are discussing now has to do with two dimensional representations that have to do with this elliptic curves. But in fact, the conjectures are much cover much raster spectrum of questions about Galois groups."
},
{
"end_time": 7410.503,
"index": 291,
"start_time": 7394.121,
"text": " so in some sense it's not a big exaggeration is that we are actually covering a very big territory it's not a city for sure it's not even a it's not even like a state it's much more it's like a coast it's a coast is a big half of the country okay at least half of the country let's just say"
},
{
"end_time": 7440.947,
"index": 292,
"start_time": 7410.981,
"text": " So it is really serious. It's not like a small, a small probe. Understood. Understood. Okay. I didn't mean to do it. No, no, I'm not. I'm not trying to. I'm not trying to. By the way, it's not, it's not really my field. So I'm not, I don't have a horse. Okay. So because people are going to be championing at the bit thinking like, Oh, I wish that I had more to chew on when it comes to what are the recent results about, why don't you just give a fly over teaser for what's coming next? So first of all,"
},
{
"end_time": 7469.343,
"index": 293,
"start_time": 7441.561,
"text": " Well, that's the kind of a summary of what we talked about. The cubic equations are connected to modular forms and the general correspondence is about representation of Galois group is what's called automorphic functions which generalize these and these generalize this. So when I say it's not really my field, I mean, I come into Langlands program more from the side of geometry. So this is something that I don't necessarily work on on a daily basis. So it's kind of like a"
},
{
"end_time": 7491.357,
"index": 294,
"start_time": 7469.343,
"text": " I'm more of a hobby this area of the Langlands program for me. But now we're going to move closer to what my field is, the field in which I have worked for the last 40 years. And if you'd like to save time, address a graduate student audience in math or physics. Okay. So first there is one twist, which I haven't mentioned, which is what's called the Langlands dual group."
},
{
"end_time": 7515.23,
"index": 295,
"start_time": 7492.142,
"text": " Because in fact, there is a group was called a group appearing on both sides, but these two groups are not the same. One of them is a dual so-called dual. And why it is so is a big mystery, but it's one of the indications that there's something very non-trivial. These groups are described in terms of thinking diagrams. So there's some beautiful, beautiful combinatorics. There's a beautiful story underneath."
},
{
"end_time": 7537.978,
"index": 296,
"start_time": 7516.305,
"text": " And so finally, we get to the crucial point, which is that, in fact, we talked about number theory and about how the questions in number theorem can be related to some questions in harmonic analysis, right? But"
},
{
"end_time": 7568.677,
"index": 297,
"start_time": 7538.985,
"text": " There is a separate idea in mathematics, which is called the Rosetta Stone of math, which is due to Andre Vey. That's the guy to whom Robert Langlands wrote his initial letter in 1967. Andre Vey in turn wrote a letter to his sister, Simone Vey, who was a great philosopher and mystic and humanist from jail, from prison in 1940. He was jailed because he refused to serve in the army during the war."
},
{
"end_time": 7597.637,
"index": 298,
"start_time": 7569.241,
"text": " And Andriy Vey in this letter formulated an analogy between three different areas of mathematics. Number theory, curves over finite fields and Riemann surfaces. So that's not the same kind of list as what we have here. So Langlands correspondence is from number theory to harmonic analysis. But number theory has analogues to other fields, this and this. And so the question arose as to whether there are analogues"
},
{
"end_time": 7618.063,
"index": 299,
"start_time": 7599.872,
"text": " of harmonic analysis for this guy and for this guy. Did we not just do curves over finite fields? That's right. So curves over finite fields have already occurred, but in fact, for a different reason, and this is a bit confusing, but bear with me."
},
{
"end_time": 7646.374,
"index": 300,
"start_time": 7618.66,
"text": " The reason why, what occurred here is not really a curve over a specific finite field, but remember we had one equation which actually made sense, modulo every prime. So in fact, it was an equation over the integers because the coefficients were integers. That's what enabled us to relate it to an equation over modulo prime, right? So in other words, here you actually have, the truth is that"
},
{
"end_time": 7673.387,
"index": 301,
"start_time": 7647.449,
"text": " What we have here is an elliptic curve, elliptic curve over the integers or over the field of rational numbers. And if you have such a curve, you can consider, you attach to it a curve over all primes, for a module of all primes. You see? All primes."
},
{
"end_time": 7693.2,
"index": 302,
"start_time": 7674.633,
"text": " but here we consider finite field with a specific with a fixed prime so it's a different setup even though the same objects appear here and here but they appear in a different way in a different they have different meanings so even though they appear in both they actually kind of"
},
{
"end_time": 7713.763,
"index": 303,
"start_time": 7693.933,
"text": " There are three relationships here. There's number theory to harmonic and back and then there's curves over finite field to something else not defined yet and remount surfaces to something else. So we have to find, and this is a question, what are these connections in these two other realms? So it's a conjecture about conjectures. That's right."
},
{
"end_time": 7738.336,
"index": 304,
"start_time": 7714.667,
"text": " Interesting and so you see the point is actually to be honest this this connection was kind of obvious because these two areas are so close to each other that it was very easy to find an analog of the harmonic analysis that is necessary for these guys. There are already connections going downward from number theory to curves over finite fields and then from number theory to Riemann surfaces. These are not connections so that you see horizontally it's really like a correspondence"
},
{
"end_time": 7761.886,
"index": 305,
"start_time": 7738.831,
"text": " because we saw that for that cubic equation that corresponds to that cubic equation that corresponds a particular modular form, so that numbers of solutions of the equation modular primes can be expressed as coefficients of this modular form. So it is not just an analogy, it's actually bona fide one-to-one correspondence."
},
{
"end_time": 7793.797,
"index": 306,
"start_time": 7763.797,
"text": " So horizontal is a correspondence where one thing on the left object on the left corresponds to object on the right. But the vertical is not a correspondence. It's an analogy that you're saying whatever happens for number theory questions like that should also be true for questions, similar questions for God over finite field. And something like that should also be true for human surfaces. So it's much more vague, much more less, much less defined. You see Andre vague."
},
{
"end_time": 7818.729,
"index": 307,
"start_time": 7794.224,
"text": " Why vague? Oh, vague. I got you. That's a good one. Yes. That's it. So under this genius was to see the analogy between these three fields and not just to see them kind of like as a dream, but in fact, come up with some tangible conjectures, the so-called, you know, the very conjectures, which is very closely related to this stuff, which is kind of Riemann hypothesis for this middle field."
},
{
"end_time": 7847.585,
"index": 308,
"start_time": 7819.224,
"text": " which was eventually proved by various people including Alexander Grothendieck and Pierre Deligne. But here we're not talking about that. We're talking about now a hypothetical generalization of this one-to-one correspondence called Langlands correspondence in the original setup to a similar correspondence for this field and for this field. You see, that's the idea. And the point is that go from here to here is relatively easy. And it was actually clear from the outset"
},
{
"end_time": 7878.234,
"index": 309,
"start_time": 7849.002,
"text": " But to go here is complicated. Okay. Okay. So we've lingered on slide 50 for, for too long. So for the synoptical glimpse that we want to give rapidly, can you go over just for the graduate students as a tease? Yeah. Okay. So look, the Rosetta stone is going like this, analogies between these three fields. Number theory here. I have a nice picture of the various Galois because it's all about Galois groups. Like I said, curves over finite fields."
},
{
"end_time": 7904.889,
"index": 310,
"start_time": 7878.729,
"text": " Equations like this, but for a fixed prime and we don't care about it. It's not just about solutions of this, but about some more concrete questions and only for a fixed prime. And then there is a theory of Riemann surfaces and kind of geometric objects that are associated to them. So here I want to, and perhaps this was, this is where we will stop. So, because I think that otherwise it's kind of going to be a little bit overwhelming, but I want to, I want to quote Andre Vey from that letter."
},
{
"end_time": 7928.831,
"index": 311,
"start_time": 7905.93,
"text": " My work consists in deciphering and trilingual text. Remember the actual Rosetta Stone. Rosetta Stone was a stone with three texts in three different languages about the same thing. And archaeologists were able to decipher them because they knew that these three texts referenced the same thing. So that's an apt analogy."
},
{
"end_time": 7954.258,
"index": 312,
"start_time": 7929.224,
"text": " that he was talking about this trilingual text, trilingual because of these three fields that he's discussing, number theory, curves over finite fields, and Riemann surfaces. And of each of the three colons, I only have disparate fragments. I have some ideas about each of the three languages, but I also know that there are great differences in meaning from one colon to another. In the several years I have worked at it, I have found little pieces of the dictionary."
},
{
"end_time": 7983.933,
"index": 313,
"start_time": 7954.633,
"text": " And I want to quote another place from that letter, where he talks about how the process of mathematicians, how at first you come up with some conjectures, with some analogies, and it's all very vague at that point. It's all like a dream. But eventually some of it may work out and kind of solidify and crystallize into something which is a rigorous bona fide theory. And in this passage, Andre Wey talks about not only what is gained when you go from this kind of"
},
{
"end_time": 8011.391,
"index": 314,
"start_time": 7984.343,
"text": " from this dream to its realization, but also what is lost. He says, when this happens, gone are the two theories, the two theories that you tried to, that you saw, of which you saw some kind of nebulous analogies, but you know, which you have now connected to each other, gone their troubles and delicious reflections in one another, their furtive caresses, remember his French, their inexplicable quarrels,"
},
{
"end_time": 8041.698,
"index": 315,
"start_time": 8011.92,
"text": " Alas, we have but one theory whose majestic beauty can no longer excite us. Nothing is more fertile than this illicit liaisons. Nothing gives more pleasure to the connoisseur. The pleasure comes from the illusion and the kindling of the senses. Once the illusion disappears and knowledge is acquired, we attain indifference. In the Gita, he's referencing Bhagavad Gita, the sacred text of Hinduism. He actually spent a lot of time"
},
{
"end_time": 8067.398,
"index": 316,
"start_time": 8042.449,
"text": " In India, he learned Sanskrit. He met personally Gandhi. So it was a very deep guy and he's referencing Gita here in Gita. There are some lucid versus to that effect. And then he goes, that's my favorite part, but let's go back to algebraic functions. So I think it's a good place to, to, to take a break and, uh,"
},
{
"end_time": 8097.449,
"index": 317,
"start_time": 8067.841,
"text": " Wonderful. I have to get you to expand on the pleasure comes from the illusion."
},
{
"end_time": 8123.422,
"index": 318,
"start_time": 8097.858,
"text": " So that to me sounds like a difference between Buddhism and Hinduism, because in Buddhism, they would say that the suffering comes from the illusion, or more specifically, attachment, though still there's a heavy emphasis on removing an illusion. And here it says the pleasure comes from it. Yeah, well, suffering comes from attachment, I would say, in Buddhism, since that's the Buddhist idea, from attachment. So the question is, can you have an illusion without an attachment?"
},
{
"end_time": 8151.92,
"index": 319,
"start_time": 8124.616,
"text": " I think so. I think so. An illusion is something, you know, how in both of these traditions and other Eastern traditions, there is this concept of Maya. The world is an illusion, is a play of Maya. And so in a sense, we have our own Maya in mathematics as well. You know, so I think that I kind of see it a little bit as a comment on that."
},
{
"end_time": 8183.729,
"index": 320,
"start_time": 8153.865,
"text": " In other words, there is a play, there is a play. And this is important, I think, also, by the way, in terms of discussion about what is creativity and what is the difference between the human consciousness and artificial intelligence, human intelligence and artificial intelligence. And so there is a temptation, given how powerful our current models, large language models and so on, of artificial intelligence. It's very tempting to say that they can do everything human beings can do."
},
{
"end_time": 8208.626,
"index": 321,
"start_time": 8184.155,
"text": " I disagree. I think that the work of the great mathematician such as Andre Wey, Robert Langlands, Alexander Grothendieck and others shows that true discoveries in mathematics are really points of departure from what is known. It's very hard to imagine that these discoveries can be made by simply reshuffling and correlating and interpolating known data."
},
{
"end_time": 8225.111,
"index": 322,
"start_time": 8209.275,
"text": " It comes from somewhere else. It comes from this inspiration, which is very hard to quantify. But all of us, mathematicians, scientists in general, in fact, all of us, I think, who do what we love. We all know this feeling of inspiration, this feeling when you start flying, when you are not"
},
{
"end_time": 8249.36,
"index": 323,
"start_time": 8225.52,
"text": " Thank you, Professor."
},
{
"end_time": 8267.227,
"index": 324,
"start_time": 8251.305,
"text": " I'm glad I WhatsApp messaged you."
},
{
"end_time": 8285.282,
"index": 325,
"start_time": 8268.114,
"text": " Firstly, thank you for watching. Thank you for listening. There's now a website, curtjymongle.org and that has a mailing list. The reason being that large platforms like YouTube, like Patreon, they can disable you for whatever reason, whenever they like. That's just part of the terms of service."
},
{
"end_time": 8309.565,
"index": 326,
"start_time": 8285.418,
"text": " Now a direct mailing list ensures that I have an untrammeled communication with you. Plus, soon I'll be releasing a one-page PDF of my top ten toes. It's not as Quentin Tarantino as it sounds like. Secondly, if you haven't subscribed or clicked that like button, now is the time to do so. Why? Because each subscribe, each like helps YouTube push this content to more people like yourself"
},
{
"end_time": 8328.063,
"index": 327,
"start_time": 8309.565,
"text": " Plus, it helps out Kurt directly, aka me. I also found out last year that external links count plenty toward the algorithm, which means that whenever you share on Twitter, say on Facebook or even on Reddit, etc., it shows YouTube, hey, people are talking about this content outside of YouTube, which in turn"
},
{
"end_time": 8356.288,
"index": 328,
"start_time": 8328.268,
"text": " Greatly aids the distribution on YouTube. Thirdly, there's a remarkably active Discord and subreddit for theories of everything where people explicate toes. They disagree respectfully about theories and build as a community our own toe. Links to both are in the description. Fourthly, you should know this podcast is on iTunes. It's on Spotify. It's on all of the audio platforms. All you have to do is type in theories of everything and you'll find it. Personally, I gained from rewatching lectures and podcasts."
},
{
"end_time": 8376.254,
"index": 329,
"start_time": 8356.288,
"text": " I also read in the comments"
},
{
"end_time": 8402.534,
"index": 330,
"start_time": 8376.254,
"text": " and donating with whatever you like. There's also PayPal. There's also crypto. There's also just joining on YouTube. Again, keep in mind it's support from the sponsors and you that allow me to work on toe full time. You also get early access to ad free episodes, whether it's audio or video. It's audio in the case of Patreon video in the case of YouTube. For instance, this episode that you're listening to right now was released a few days earlier. Every dollar helps far more than you think."
},
{
"end_time": 8430.947,
"index": 331,
"start_time": 8402.534,
"text": " Either way, your viewership is generosity enough. Thank you so much. Think Verizon, the best 5G network is expensive? Think again. Bring in your AT&T or T-Mobile bill to a Verizon store today and we'll give you a better deal. Now what to do with your unwanted bills? Ever seen an origami version of the Miami Bull?"
},
{
"end_time": 8449.104,
"index": 332,
"start_time": 8431.408,
"text": " Jokes aside, Verizon has the most ways to save on phones and plans where you can get a single line with everything you need. So bring in your bill to your local Miami Verizon store today and we'll give you a better deal."
}
]
}No transcript available.