|
|
| Line 17: |
Line 17: |
| <span class="highlight">This First Draft transcript was just completed. Please add this to the wiki.</span> | | <span class="highlight">This First Draft transcript was just completed. Please add this to the wiki.</span> |
| * https://docs.google.com/document/d/1VW_Xbd8K1A0FEuNWxEHbuYDaC61pwVNF04NQU5K6Mik/edit | | * https://docs.google.com/document/d/1VW_Xbd8K1A0FEuNWxEHbuYDaC61pwVNF04NQU5K6Mik/edit |
|
| |
| Eric Weinstein: [00:00:00] Hello, you found the portal. I'm your host, Eric Weinstein, and I think that today's must be the most unusual episode yet of a podcast that has been marked by almost regular, unusual episodes. Now, this is the first podcast that I'm recording at home. I don't really have a home recording studio, so we're really doing this from chicken wire and masking tape, but I am sheltering in place because of the worldwide COVID pandemic.
| |
| [00:00:25] And what we've been asked by the state of California and by the federal government is to shelter in place for an upcoming month because today is April 1st. Now during a pandemic, I can assure you that no one is interested in April Fool's jokes. So the question is what to do with the April Fool's tradition in a situation in which nobody wants a prank.
| |
| [00:00:47] I thought that this was probably the best time to launch an idea that I've been playing with for years. And that idea is that it is dangerous to have a world in which we are afraid to talk about what we think is true. When I think about what happened during the beginning of the COVID pandemic, I find that we were in general intimidated from sharing our fears about the virus.
| |
| [00:01:12] We were told that if we wore masks, that we were acting in a peculiar fashion. If we refuse to shake hands, that we were behaving in a strange and unpleasant social way. We did not want to be alarmist. We did not want to be seen as chicken little, and in fact, it was extremely important that we not be seen as xenophobic, given that the outbreak was originating in Wu Han, China.
| |
| [00:01:36] In fact, perhaps the most dangerous idea was that this outbreak might've been connected to some research being done in a lab, perhaps a bio weapons lab. We really don't know where this epidemic began. What is the etiology of something that is causing me entire world economy to effectively shut down?
| |
| [00:01:55] What I believe is that that silence has been deadly. We have many people who have now lost their lives because we did not feel free to exchange ideas to think and to talk. And in fact, many of the people who warned us first were the freest members of society having been previously canceled by standard mainstream institutions and their associated media.
| |
| [00:02:17] So what I thought would be important for an April Fool's Day that no one wants to actually participate in was to deal with an idea that maybe one day a year we should all be free to share crazy ideas that are going around between our ears and in our head. We're having conversations with ourselves wondering, is anyone else seeing the same thing that I'm seeing?
| |
| [00:02:40] But we are too afraid because the social stigma for actually believing in things. That maybe things are possible or perhaps there's a conspiracy somewhere. Perhaps we are ill prepared. For example. I believe that our current pandemic is exacerbated because our government and our readiness czars, failed to stock adequate supplies and that these supplies were called for in the academic literature for years, there was absolutely no excuse not to have personal protective equipment stocked for doctors and nurses and hospitals to say nothing of all of the people who are in the front lines of treating patients sick with COVID. Now, currently, I don't believe that you can trust the World Health Organization. Absolutely not. I don't think you can trust the Surgeon General of the United States, and I absolutely don't think you can trust the CDC because they are all covering for our inadequacy.
| |
| [00:03:33] This was a problem that we always knew it was coming. And we at one point had stocks which apparently were depleted under a previous administration and not restocked under this administration. In fact, our fear of dealing with a pervasive institutional incompetence has blinded us to the degradation in our society across all major institutions.
| |
| [00:03:56] As I've discussed before on the program, I believe that this has a singular etiology. That is that because of Embedded Growth Obligations coming from the previous era of unsustainable postwar growth from about 1945 to 1971/73 something like that, we built in expectations to our system that cannot currently be met.
| |
| [00:04:16] We will not have technology that follows the same breakneck pace of innovation. As a result, we have a system whereby the heads of our organizations are forced to cover for their inadequacies because growth is built into the system that cannot be sustained. Therefore, there is not the funding, the manpower.
| |
| [00:04:37] There is not the wherewithal to continue many of our programs because we do not actually have the ability to continue to simply grow our way out, at least so far. So what's today's program about? Well, I thought that what I would do is to let go of something that I've been keeping pretty close for I think about 37 years. When I was around, um, 19 I started. It's hard to talk about it.
| |
| [00:05:12] When I was around 18 or 19, I was at the University of Pennsylvania. And I thought I saw a glimmer of hope. I thought I saw that some new equations that were being played with might actually provide a solution to some of the problems that had bedeviled Einstein and others for years in the quest for a unified field theory. Now, it's an embarrassing thing to say that one is a unified field theorist.
| |
| [00:05:37] It is effectively equivalent to saying, I'm interested in perpetual motion machines. Uh, or that I have a private cure for cancer that I'm trying on rabbits in my backyard. However, I actually think that it's important to fess up because that's exactly what this is. Now in my situation. Um, I have an extremely unusual history and I really don't want to get bogged down in all of the things that happened while I was a student trying to develop this theory because it is not a particularly happy story.
| |
| [00:06:12] I believe that this theory is an incredibly joyous one. Now, in this situation, I want to talk about what it means to have a theory of everything. We've never seen one. And in fact, not only have we never seen a theory of everything, we've never even seen, I believe, a candidate for a theory of everything.
| |
| [00:06:34] And because a theory of everything would have to have different characteristics than I believe every theory that has gone before, we don't think enough about what the difference is between what we would normally call in physics an effective theory and a fundamental one. Now, if you're familiar with the MC Escher drawing called Drawing Hands, it is a lithograph of two hands apparently drawing each other into existence.
| |
| [00:07:02] On some kind of a canvas or piece of paper. That is sometimes referred to as a strange loop, but it in fact is an attempt to answer the question, what is the fire that lights itself? This is the problem that bedevils us when we search for a unified theory that doesn't be devil us, in my opinion, in any previous effective theory.
| |
| [00:07:25] Now, why is that? Well, many people confuse a theory of everything as if they imagine that it's a theory in which you can compute every eventuality. And it is absolutely not that because the computational power is very different than the question of whether or not the rules are effectively given. I've analogized it to a game of chess.
| |
| [00:07:46] And knowing all of the rules is equivalent to a theory of everything. Knowing how to play chess well is an entirely different question. But in the case of a theory of everything, or a unified field theory, if you will, many people also take it to be an answer to the question, why is there something rather than nothing?
| |
| [00:08:05] And I don't think that this is in fact, what a theory of everything is meant to be either. Now, why is that? Well, because I believe at some level it is impossible for most of us to imagine, uh, a, an airtight argument mathematically speaking, which coaxes out of an absolute void a something. However, there's a different question which I think might actually animate us and, um, which is the right question to ask of a potential candidate.
| |
| [00:08:35] And that is, how does one get everything from almost nothing. In the MC Escher drawing or lithograph Hands Drawing Hands or Drawing Hands what we see is that the paper is presupposed. That is, if you could imagine a theory of everything, it would be like saying, if I posit the paper, can the paper will the ink into being such that the ink gives rise to the pens and the pens draw the hands, which in fact manipulate the pens to use the ink.
| |
| [00:09:07] That kind of a problem is one which is of a very different character than everything that has gone before. It is also, in my opinion, an explanation of why the physics community has been stalled for nearly 50 years since around 1973 when the standard model was intellectually in place.
| |
| [00:09:26]
| |
| [00:09:26] Now consider this. We have never had, in modern times a drought where no person working in pure fundamental theory has taken a trip to Stockholm just as a rough indicator, um, for contributing to the standard model. No one, in my opinion, since let's see, Frank Wilczek, who was born in 1951 no one born after that time has in fact contributed to the standard model in a clear and profound way.
| |
| [00:09:54] That is not to say that no work has been done, but for the most part, the current generation of physicists has for more than 40 years and almost 50 years, remained stagnant within the standard paradigm of physics, which is positing theories that are then verified by experiment. Now, my belief, which is relatively radical, is that there is no way to get to our final destination using the tools that have gotten us to where we are now.
| |
| [00:10:21] In other words, uh, what got you here cannot get you there. And in particular, one of the biggest problems we have is the political economy of science. We have effectively starved our scientific enterprise for resources creating a dire and cutthroat competition, which has completely deranged the scientific tradition.
| |
| [00:10:43] And so one of the things that's going to happen in this lecture is that I'm simply going to announce that I have broken and have broken for many years with just about every expectation of standard science. That is not to say that the equations or the style of presentation is going to be foreign.
| |
| [00:10:58] Quite the contrary. Uh, I have every intention of writing up some results, um, in standard terminology, wherever possible, using a popular mathematical type setting programs. But it goes far deeper than that. My belief is that what we've created is a career structure, a journal structure, and employment structure and access structure that cannot possibly complete the job.
| |
| [00:11:23] And why is that? Well, what if in the last leg, in fact, we had a situation by which an attempt at the fundamental theory would result almost certainly in career suicide. Now, if you think of that as an explanation, you would realize that it has the power to synchronize failure across many seemingly independent experiments.
| |
| [00:11:49] And I believe that that's exactly what's been going on through the so-called string theory revolutions one, two, and perhaps three. Now, in that case, what happened was a theory became uh fixed in the minds of really the Baby Boom generation of physicists because it allowed for infinite elaboration within a mathematical or more particularly a geometric context.
| |
| [00:12:14] And those supposedly physicists spent their time submitting papers to what's called, um, the high energy section of the so-called preprint arXiv. But in fact, most of these papers have nothing to do with high energy physics whatsoever. And if you're looking for the, the designation, it's hep-th high energy physics dash theory.
| |
| [00:12:36] Now, if you look through those papers, they don't seem to have much to do with particles. They don't seem to have to do with forces and space time. They seem to have to do with very strange and obscure mathematical issues. And in the years since the, uh, string theory program got particularly reanimated, uh, I guess that would be around 1984 with the anomaly cancellation of Green and Schwarz.
| |
| [00:12:58] What you'll find is, is that physics became very active and simultaneously ground to a halt. It failed to remain a physical subject. It became something like a medieval quest for the number of angels to dance on the head of a pin. Now, in this circumstance, I think it's very important to realize that this is not a paper and we are not submitting to the arXiv.
| |
| [00:13:21] In fact, the arXiv requires people who are not employed at universities uh, to get permission from some member of the community, which is called an endorsement, which I find absolutely insulting and I refuse to go along with. Furthermore, we are expected to cite papers sometimes, which, uh, are behind paywalls.
| |
| [00:13:41] And I think that it's absolutely immoral to ask people to pay outside the system, to read the papers, to cite other people's work. I could go on about the number of things that are currently wrong with the system. But instead, what I would like to do is to simply joyously reject it. I have every intention of simply sharing this with you and jealously guarding my right to shepherd this through.
| |
| [00:14:06] Now, what does that mean? In two previous episodes, we've had interactions with academicians, which I think are interesting and bear scrutiny. In the first case in a, in an interview with the economist, Tyler Cowen, I talked to Tyler about the fact that the Boskin Commission was in fact committing economic malpractice.
| |
| [00:14:26] Now. Why was that? It was because they had decided that they needed to transfer a trillion dollars over 10 years, and that they had found a devious way of doing it, which is to adjust the CPI by backing out the amount of adjustment needed to get a trillion dollars. They decided that a 1.1% overstatement in the CPI would cause a reduction in entitlements.
| |
| [00:14:49] That is Medicare and Medicaid payments together with social security. As well as an increase in taxes, because tax brackets are also indexed. Now, to my mind, it is absolutely unconscionable to say that you have a right to transfer wealth cryptically by adjusting a fundamental, uh, barometer. That would be like saying, in order to meet our global warming targets, we have to recalibrate all the thermometers to show that in fact, things have cooled.
| |
| [00:15:18] One simply can't do that in science. But Tyler's response, I found it was very interesting. His perspective was that this was in fact not a terrible thing because it was "directionally correct". And in general, he believed that because the CPI should be considered overstated, that this was not the world's most terrible thing to do as an economist.
| |
| [00:15:41] I respect Tyler a great deal and I enjoy his company, but I have to say that I am absolutely of a different opinion. My belief is, is that one has no rights and no ability as a scientist to fudge the data to meet social goals in this fashion. Another interesting interaction was the interaction with Professor Agnes Callard of the University of Chicago.
| |
| [00:16:05] Now, when she listened to episode 19 about Bret Weinstein, she found that it was a very compelling episode, but strangely, even though the point of the episode was to surface Bret's long forgotten theory. Because Bret had not been acknowledged as having predicted that laboratory mice would in particular have radically elongated telomeres where it was thought that all mice had long, radically elongated telomeres, uh, which has incredible, um, potential implications for drug testing and all of the work that is done on laboratory, rodents as model organisms.
| |
| [00:16:43] This is a, an episode you should definitely listen to if you haven't already. But Agnes's perspective was very different than mine. Her feeling was that because we were in a situation in which the work actually surfaced, that the system worked, even if it was the case that Bret's name was erased from the history of the development.
| |
| [00:17:02] And that his theory was, uh, put in a situation in which it was not able to carry the day because in fact, there was no record of the fact that a prediction had been made. Now, I disagreed with Agnes on that program, uh, vociferously. But what I found was, is that it was very telling in general, our academic population has given up on the previous and quaint idea of decency, propriety, truth, fairness, because there simply isn't the resource for everyone.
| |
| [00:17:35] Now. I believe that current science is not necessarily unsalvageable, but it will be unsalvageable if we don't get the very people that I rail against far more money. And I know that's very confusing, but my belief is, is that the inadequate resources that we have put aside are very similar to the inadequate masks that we have put aside for our doctors.
| |
| [00:17:56] We have asked some of the world's most gifted and smartest people to devote their lives to the study of science and technology. And we've inadequately prepared them. We've put their lives and their family's lives under incredible pressures. And what I wished to do is to, in fact, point to the very people who I have been most angry at for years and say that part of the problem is that we need to take a hard look at how we've invested in science and technology and give the very people that I'm most angry at more money.
| |
| [00:18:26] I will explain more about this later, but I do want to give you an introduction to this episode. What I will be doing is to screen a very unusual and somewhat awkward lecture at the University of Oxford. Now, why is it so awkward? Well, first of all, I had left uh standard research, um, perhaps 20 years earlier, almost.
| |
| [00:18:49] Further, I'm not a physicist and I have only taken one or two courses, uh, in the physics major sequence. I think I've taken one semester of mechanics. And perhaps I took an advanced general relativity course in college, but in general, no one goes into a theoretical physics department and attempts to lecture physics physicists on physics.
| |
| [00:19:11] And why is that? Well, because physics is incredibly demanding, and this is almost certainly the world's most interesting and most accomplished intellectual community. These are guys that don't miss a trick. Uh, there are so many things to know and it is such a difficult field that it is effectively almost impossible to contribute from outside.
| |
| [00:19:29] Chemists don't do it. And once in a blue moon, mathematicians will attempt to talk about actual real physics. So one thing that you're seeing is a very unusual circumstance where somebody is trying to figure out how to give their first lecture in a physics department. And it concerns the possibility of a theory which attempts to solve the problem of how does a fire light itself. Another thing that you'll see is, is that it's relatively difficult to read my handwriting. I'm not gonna make any bones about it. I've been very vocal about having learning differences, dysgraphia, dyslexia, all sorts of different issues.
| |
| [00:20:08] Symbols come extremely difficult to me. I don't want to spend this time making excuses. What I do want to say is the following, I will be attempting to record a short um, PowerPoint presentation for after the lecture to say at least some of what some of the constructions are more clearly. This is not meant to be the actual presentation of the theory.
| |
| [00:20:29] What this is, is an introduction, a down payment, and above all a historical account of what happened seven years ago at the University of Oxford when I tried to present these ideas. I've talked before about the twin nuclei problem and our need to get off of this planet. And if we have a hope of getting off of this planet, it really comes from fundamental physics.
| |
| [00:20:52] You see, a hundred years ago, or perhaps 105 when Albert Einstein gave us General Relativity, he effectively consigned us for life to the solar system. Why is that? Well, his model, his geometric model of space and time effectively creates a speed limit known as C or the speed of light. Now there are three rocks that are at least interesting for habitation by humans, although two of them are marginal, the moon and Mars, one of them, of course, is unbelievable the Earth, but I doubt that we're going to be able to steward the Earth through our new godlike powers, which I've called the twin nuclei problem of cell and atom. We've unlocked the power of both, and I don't think we have the wisdom to stay all in one place. So the question that I had was, if there is any ability to escape to the cosmos that we can see in the night sky, where would it come from? We are almost positive that Albert Einstein's Theory of Relativity is in some weird way incomplete.
| |
| [00:21:50] The Schwarzschild singularities, which give us black holes, and the initial singularities of the Robertson Walker Friedmann universe, which are associated with the Big Bang, are some clue that there is some subtle flaw in Einstein's theory. So how to go beyond Einstein. I mean, what Einstein did to Newton was to recover Newton as a special case of a more general theory that is more flexible.
| |
| [00:22:17] And in fact, this is the same problem that we have because Albert Einstein's theory is so fundamental. We effectively begin every theoretical physics seminar with a statement about space time. In other words, Albert Einstein is locked in at the ground floor. So if we can't get below the ground floor to the foundations, it's very difficult to make progress.
| |
| [00:22:37] This is one of the things that is making it almost impossible for us to go beyond the initial revolutions of the 20th century. Do I know that this new theory, if it works, will allow us to escape? I do not. And there's no one who can uh can say that and I don't think I have the skills to develop the physical consequences of the theory, even if the theory turns out to be mostly right.
| |
| [00:23:02] What I will say is that I think that the theory is the first of its kind that I've seen. I believe that in part, what you will see is that at a minimum it is like fool's gold. It appears to explain why we think we see three, three generations, but it also says that perhaps they aren't really three generations of matter.
| |
| [00:23:24] Perhaps there are only two. Even though physicists tell us that there are at least three or perhaps more. I believe that physics tells us that the universe is chiral that is left, right asymmetric, but the theory is itself not chiral. Instead, it chooses to present a different idea, which is that perhaps chirality is emergent much the way our hands are individually left, right asymmetric as our pinky is not a reflection of our thumb, but the thumb on each hand is a pairing to the other one. As is the pinky. Now, what does that mean? It means that if perhaps there is matter and there is force that is decoupled from our ordinary world, that that matter might restore the parity or the chirality.
| |
| [00:24:06] Um, rather it would break the chirality and restore parity between these two halves the matter we see and the matter that is missing. There are a good number of other things that happened in the theory. It replaces space time with what I've termed an obsiverse. Now an obsiverse is an unusual gadget in that it's thought of as two separate places where physics takes place connected by a map.
| |
| [00:24:32] That means effectively that we are in something like a stadium where there is, there are stands and there is a pitch and the playing field that we think we see may not in fact be where most of the action is taking place. In fact, not all of the fields live on the same space. So when we see waves and particles dancing around, they may have separate origins in each of the two components of the obsiverse.
| |
| [00:24:56] What I hope to do after this is to gracefully and gradually develop the theory under my leadership. Now, why do I say that? There is a belief in physics and in most fields that the field should behave in a communal fashion. And that people should put forward their ideas and other people should joyously build upon them and that the community should be allowed to name, uh, the various, uh, accomplishments for whoever they say accomplish those things.
| |
| [00:25:29] There's not a way, there's not a way in hell that I'm letting that happen. My experience with this community is, is that it simply can't be trusted to behave equitably given the fact that it is so resource starved and constrained. People simply do not have the freedom to be generous, kind and accurate as to who did what.
| |
| [00:25:48] Furthermore, there is an incredible premium on cherry topping that is who finished something off is considered bizarrely much more important than who found something to begin with. Imagine you located an Island. And you named the island after the first person who could plant the flag on the top of the highest peak.
| |
| [00:26:06] This is patently offensive and ridiculous. Uh, there's a story, uh, years ago about how Hilbert almost scooped Einstein by giving the Hilbert action from which Einstein's equations could be recovered. Really not a chance. So if Hilbert came up with the Hilbert action and recovered Einstein's equation, so what.
| |
| [00:26:26] I mean, the real theory actually takes place in Einstein and Grossman before Albert Einstein even works out a lot of the flaws in the original theory. It's about the ideas. It's not about the formulas and it's not about racing to the final form. Now, I know that the community won't agree with that, but think about this.
| |
| [00:26:45] What I'm doing is taking an incredible risk. I'm addressing you here on April Fool's Day. And I'm saying that if there is a fool, it is certainly me because I have sat on this theory for almost 40 years. Now, I've never known. Is it true? Is it false? It's impossible to tell when you're only talking to yourself, but in this situation, what I've done is I've taken a tremendous amount of risk and now I'm trying to share it with you.
| |
| [00:27:11] Hopefully I know that. Well, Newton did his greatest work when he was sheltering, sheltering from a great plague. Uh, in England, and I would like to think that perhaps whether or not this is correct, simply the act of somebody trying earnestly to share hope and some path forward, uh, would be uplifting. Now, under the worst circumstances, if this doesn't work, what do I think is the question I'm asked frequently and there are two things that I'll say. Many years ago, around 1987, uh, I put forward some equations that I thought might become my thesis at the Harvard department of mathematics. And they were disallowed for a variety of reasons. Those equations were later discovered in, I believe 1994 and I sat in a lecture in which I saw these equations go up on a board, the very end at MIT.
| |
| [00:28:06] And I looked at those equations and I said, huh, those are the exact equations I was told, could never work. Why is the leading physicist in the world placing them on the board and saying that these are the equations from which all of something called Donaldson theory can be derived. What I'm giving you, at least at a minimum, had the ability years earlier, um, to provide those equations from a different source.
| |
| [00:28:33] There's something called Seiberg–Witten theory, which I have no claim on it. But the actual equations that are called Seiberg–Witten equations came originally as an outgrowth from investigations of this theory. So at a bare minimum, the Seiberg–Witten revolution should have happened at Harvard rather than Princeton, and it should have been recognized that this theory was capable of at least at a minimum, giving birth to that as a side project.
| |
| [00:29:01] The other thing that I think is incredibly important is that we've never seen how a universe. That looks like ours could possibly emerge from almost no assumptions whatsoever. And I believe that even if this theory were to turn out to be wrong, which I don't think is likely, I believe that it would give us something to go on.
| |
| [00:29:20] We would at least have a first candidate of how a hopeful theory of everything would look and how it would go wrong. So under any circumstance, I think that I'm going to be fine. If the theory doesn't work out, I will have at least taken my shot on goal. And I think that that's probably more than almost anyone can ask from a life to attempt to make contact with the deepest question that we've ever had, which is what is this place and what brought it into being.
| |
| [00:29:50] Lastly, I want to just talk about a personal aspect of this, which is what does it mean to come to an end? Whether or not this theory, in fact, does what I claim it. I think it does. Uh. I don't know, but I do know that sooner or later in the era of intercontinental land exploration, someone found the last landmass, and that must've been a very strange moment when there was nothing left to do.
| |
| [00:30:20] I think whether or not this theory in fact accomplishes that is one question, but we all have to plan for what it is that we think will happen when men at last learns his own source code. In fact, this was the last edge question that I answered for John Brockman, which is does something unprecedented happened when man at last learns his own source code.
| |
| [00:30:43] I don't know the answer to this, but I want to return to the same spirit that I started this when I was 18 or 19, which is that of joyous investigation of brave, open-hearted, uh, undertakings. And I also want to bring back a different style of scientific investigation. There has been far too much communalism.
| |
| [00:31:04] In fact, there is a belief that there are no lone researchers and that everything is produced by a community. And pardon my French, but this is absolute horseshit. Um, I've been so long alone with these, uh, principles, equations, and ideas that I don't even know what my adult life will look like once I disgorged them and I began to talk about them with the community at large.
| |
| [00:31:31] I've talked to many theoretical physicists who have taken some interest in them, but I've never put out enough to absolutely ensure that people are seeing what it is that I'm seeing. So whether or not the April Fool's joke is on me, I cannot tell you. But I can promise you that I'm not trying to play one on you.
| |
| [00:31:49] What I hope to show you is a lecture that was the first of three versions of this lecture that were delivered in Oxford, uh, over the course of a week. And one of the things that has held me back is that I have a great number of people who I have to thank for effectively being my underground railroad when my career got into serious trouble, to make sure who made sure that I always had, um, an opportunity to fight another day.
| |
| [00:32:15] And some of the most important of those people, one of whom occurs on this video, um, is Marcus du Sautoy. And Marcus, I just wanted to say thank you for your bravery, your courage, your friendship, and your encouragement. I know I've been absolutely impossible to you. I've made you wait for this and I just want to say how much I love you.
| |
| [00:32:34] I also want to thank Isadore Singer for effectively saving me from not getting a PhD, by I think putting pressure on the Harvard department and, um, for coming to my assistance, making sure that I got a postdoc at MIT. Uh, despite not having any publications at all, I'd like to think Raoul Bott, who's no longer with us.
| |
| [00:32:56] Who I should have invited to my wedding. I was very angry at him, but I didn't realize that he was saving me in a very difficult situation against the department that probably just wanted to see me gone. I'd like to thank Peter Thiel. Uh, one of my closest friends is like a brother to me for allowing me these seven years since this lecture, to lick my wounds, to get strong, to have a 401k, to buy a house.
| |
| [00:33:21] And, uh, to begin coming back to regular society after a very difficult and strained career. I'd like to thank Adil Abdulali and Michael Grossberg. Uh, the two greatest, best friends from college a guy could have. I'd like to thank my grandfather, Harry Ruben, who believed in things that couldn't possibly be true and made some of them happen.
| |
| [00:33:46] I'd like to thank my parents, Karen and Les Weinstein for all the good things that they did. I'd like to thank my brother Bret Weinstein and his family, Heather and the kids for sticking by me. And I'd like to thank my inlaws in Bombay, India, and I hope you guys are well. And lastly, I would very much like to thank my wife and my two kids for putting up with a lot of lost weekends, a lot of lost vacations.
| |
| [00:34:12] And believing that just maybe there was something to this and sticking by me all of these years. So I hope everybody really, uh, enjoys this. It may not be comprehensible. And after this video finishes, I'll do a short presentation of some of the constructions that took place, not all of the equations and things, which I think some of them were sort of botched on the board because they became disoriented the night before, um, and rearranged things in a way that probably wasn't optimal.
| |
| [00:34:42] But I, uh, I'll attempt to clarify these things going forward and to begin to present the theory as I see whether or not I can bring myself to once again, work on it somewhat close to full time as a 54 year old father of two. So sit back, relax, and coming up. Next is the first of my three lectures at Oxford University on Geometric Unity.
| |
| [00:35:09] Be well.
| |
| [00:35:23] Marcus du Sautoy: [00:35:23] Well, welcome to this special Simonyi lecture and my name Marcus du Sautoy. I'm a professor of mathematics here and the Simonyi Professor for the Public Understanding of Science. And Charles Simonyi prepared a manifesto when he endowed this chair to guide the holder of the professorship in their mission.
| |
| [00:35:40] And I'd like to read one part of that manifesto to you. It said scientific speculation when so labeled and when the concept of speculation and its place in the scientific method has been made clear to the audience can be very exciting. It is a very effective communication tool and it is by no means discouraged. And it is in the spirit of this part of my mission as the Simonyi professor that I would like to introduce today's Simonyi Special Lecture. I first met Eric Weinstein when we were both postdocs at the Hebrew University just over 20 years ago, and I had the feeling then that he was working on something big, but it wasn't until two years ago that Eric met me at a bar in New York.
| |
| [00:36:24] And we began, he began to explain the mathematics teaching working on in private for the last 20 years. As he took me through the equations he had been formulating, I began to see emerging before my eyes potential answers to many of the major problems in physics. It was an extremely exciting, daring proposal, and also mathematically so natural that it started to work it's magic on me. Over the last two years, I have had the privilege of being taken through the twists and turns of Eric's ideas., After our postdocs in Israel when I went the academic route getting my professorship here in Oxford, Eric went a more independent roots working in economics, government, and finance.
| |
| [00:37:05] So he comes here today as something of an insider and an outsider, a difficult place from which to propose bold ideas. But having spent time seeing how powerful these ideas appear to be, I felt it that it was time that Eric shared his ideas more widely as I believe his perspective could give the scientific community a new story to explain to some of the big questions on the scientific books.
| |
| [00:37:30] I'm therefore very happy to provide a platform here in Oxford for Eric to share his ideas on a new theory he calls Geometric Unity. The lecture will be approximately 70 minutes after which we will have a period to ask questions. Eric.
| |
| [00:37:51] Eric Weinstein: [00:37:51] So it's, well, uh, it's a great pleasure to be here in Oxford, uh, for those of you who are not aware. Mmm. It is possible that no other university in the world has kept so tightly. Uh, and kept the faith for so long with, uh, Einstein's great vision of a final theory for physics as a theory of pure geometry, sort of elegance and simplicity of the highest order.
| |
| [00:38:16] And the names that are associated with Oxford that, uh, weigh heavy on me are Atiyah, Penrose, Segal, Woodhouse, Hitchin. It's a very long list of people who. Uh, even when fashion, uh, did not hold those ideas in favor, uh, always kept the faith that there was much to be learned from the geometric perspective on physics.
| |
| [00:38:38] Of course, unified field theory in some sense, acquired a stigma with Einstein's failure to find it in the sense that even someone like Einstein, uh, being tempted by the siren song of geometry, uh, might lose their footing and go astray. And in the years since we've had a replacement theory, which is that what is really calling our generations is the quest to quantize general relativity and gravity.
| |
| [00:39:06] And I'd like to go back to the sort of earlier perspective that, um, there is no evidence to date in my mind that we are being called to quantize general relativity directly. Uh, in fact, there's been more effort spent on that quest, uh, without very tangible results than Einstein spent as one man searching for years for unified field theory.
| |
| [00:39:33] So we have to, in some sense, begin to undo some of what we think we know in order to truly reconsider and allow me to put some of these ideas before you today.
| |
| [00:39:47] Marcus asked me to begin presenting. Uh, these ideas here, and hopefully this is the first opportunity, but if the ideas are not good, um, then, uh, lighting on the aisles will lead you to safety and your exits may be behind you. But, uh, in the event of a good flight, uh, hopefully this will begin a conversation rather than then one.
| |
| [00:40:10] I feel in some sense that I'm presenting the works of another man, a younger man. Uh, someone who came of age right in the middle of the great string theory boom. Uh, with the anomaly cancellation in 1984. And I look at this work and I see a young person struggling with the idea, why can't I see that string theory is going to answer all of these questions over the next 10 years as we were told at the time and making a very dangerous decision, which was, I think I'm not going to follow that particular path and I'm going to follow another.
| |
| [00:40:45] And it's not clear where this path is going to lead us, but we're going to explore it today and see, um, as best we can. So in some sense, I've been able to polish some of that young man's work, but I'm also struggling to reconstruct it because as someone spending full time on that theory, he knew a lot of things that I no longer know.
| |
| [00:41:05] So with that, uh, is a beginning, I'm just going to say one disclaimer, which is that this is not a usual talk. And whatever contract a speaker usually has with the audience. Uh, right now we're going to break that contract. This is a. This is a talk about ideas, and some of these ideas are bold.
| |
| [00:41:25] Some of them may offend some people because there's a sense that you don't have a right to be considering those ideas. But I go back to the admonition of Jim Watson that said, if you're going to try to make progress, big progress, you are by definition unqualified to be doing whatever it is that you're doing.
| |
| [00:41:41] So in that spirit, let us begin.
| |
| [00:41:47] What is physics to physicists today? How do they see it different from the way in which we might imagine the lay person sees physics? Ed Witten was asked this question in a talk he gave on physics and geometry many years ago, and he pointed us to three fundamental insights, which were his big three insights in physics.
| |
| [00:42:13] And they correspond to the three great equations. So the first one is, is that somehow physics takes place in an arena and that arena is a manifold X together with some kind of semi-Riemannian metric structure, something that allows us to take length and angle. So that we can perform measurements at every point in this space time or higher dimensional structure, leaving us a little bit of head room. The equation most associated with this is the Einstein field equation.
| |
| [00:43:12] And of course I'm running into the margin. Okay.
| |
| [00:43:18] So it says that a piece of the Riemann curvature tensor or the Ricci tensor minus an even smaller piece, the scalar curvature multiplied by the metric is equal plus the cosmological constant is equal to some amount of matter and energy, the stress energy tensor. So it's intrinsically a curvature equation.
| |
| [00:43:47] The second fundamental insight, I'm going to begin to start drawing pictures here as well.
| |
| [00:43:55] So if this is the space time manifold, the arena, the second one concerns symmetry groups. Which cannot necessarily be deduced from any structure inside of the arena. They are additional data that come to us out of the blue without explanation and these symmetries for a non-Abelian group, which is currently SU(3) color cross SU(2) weak isospin cross U(1) weak hyper charge, which breaks down to SU(3) cross U(1) where the broken U(1)is the electromagnetic symmetry.
| |
| [00:44:54] This equation is also a curvature equation, the corresponding equation, and it says. But this time, the curvature of an auxiliary structure known as a gauge potential
| |
| [00:45:11] when differentiated in a particular way is equal. Again,
| |
| [00:45:23] to the amount of stuff in the system that is not directly involved in the left hand side of the equation. So it has many similarities to the above equation. Both involve curvature. One involves a projection or a series of projections. The other involves a differential operator.
| |
| [00:45:44] The third point surrounds the matter in the system.
| |
| [00:45:58] And here we have a Dirac equation. Again, coupled to a connection.
| |
| [00:46:12] One of the great insights is, is that the reason for the lightness of matter in the natural mass scale of physics has to do with the fact. That this psi really should have two components and the differential operators should map to one component on the other side of the equation, but the mass operators should map to another.
| |
| [00:46:33] And so if one of the components is missing, if the equation is intrinsically lopsided, chiral asymmetric, then the mass term and the differential term have difficulty interacting, which is sort of overcompensating for the mass scale, of the universe so you get to a point where you actually have to define a massless equation, but then just like overshooting a putt, it's easier to knock it back by putting in a Higgs field in order to generate an as if fundamental mass through the Yukawa couplings.
| |
| [00:47:15] Let me for consistency
| |
| [00:47:23] so matter is asymmetric, okay. And therefore light.
| |
| [00:47:35] And then interestingly, he went on to say one more thing. He said, of course, these three central observations must be supplemented with the idea that this all takes place,
| |
| [00:47:51] treated in quantum mechanical fashion or quantum field theoretic. So it's a bit of a, an aftermarket modification rather than in his opinion at the time. One of the. Uh, core insights.
| |
| [00:48:07] I actually think that that's in some sense about right. No. One of my differences with the community in some sense is that I questioned whether the quantum isn't in good enough shape that we don't know whether we have a serious quantum mechanical problem or not. We know that we have a quantum mechanical problem, a quantum field theoretic problem relative to the current formulations of these theories.
| |
| [00:48:31] But we know that in some other cases, the quantum becomes incredibly natural, sometimes sort of almost magically natural, and we don't know whether the truth theory is that we will need to be generalizing, in some sense, have beautiful quantum mechanical treatments. Whereas the effective theories that we're dealing with now may not survive the quantization.
| |
| [00:48:54] So what I want to do is I want to met, imagine a different sort of incompatibilities. So let's take our great three theories and just visually treat them as the vertices of a triangle.
| |
| [00:49:14] So I'm going to put general relativity and Einstein's formulation. And I'm going to put the probably won't write this again. Yang mills, Maxwell Anderson, Higgs theory, uh, over here, and I'm going to write the Dirac theory.
| |
| [00:49:39] What I want to explore is the incompatibilities, not at the quantum level. But the geometric input, all three of these are geometric theories. And the question is, what are the compatibilities or incompatibilities at the level of geometry before the theory is treated quantum mechanically? Well, in the case of Einstein's general relativity, we can rewrite the Einstein theory by saying that there's a projection map due to Einstein
| |
| [00:50:13] of a curvature tensor where I'm going to write that curvature tensor as I would in the Yang Mills theory. Sure.
| |
| [00:50:23] That should be an LC for Levi-Civita. So the Einstein projection of the curvature, tensor of the Levi-Civita connection of the metric on this side, and on this side, I'm going to write down this differential operator, the adjoint of the exterior derivative coupled to a connection.
| |
| [00:50:47] And you begin to see that we're missing an opportunity, potentially. What if the FAs were the same in both contexts? Then you're applying two separate operators, one zeroth order and destructive in the sense that it doesn't see the entire curvature tensor, the other inclusive, but of first order. And so the question is, is there any opportunity to do anything that combines these two?
| |
| [00:51:15] But the problem is, is that the hallmark of the YangMills theory is the freedom to choose the data, the internal quantum numbers that give all the particles, their personalities beyond the mass, and the spin.
| |
| [00:51:34] In addition to all of that freedom is some means of taking away some of the redundancy that comes with that freedom, which is the action of the gauge group. Now we can allow the gauge group of symmetries to act on both sides of the equation, but the key problem
| |
| [00:51:52] is that.
| |
| [00:51:57] Okay.
| |
| [00:52:03] If I act on connections on the right and then take the Einstein projection, this is not equal to first taking the projection.
| |
| [00:52:27] and then conjugating with the gauge action. So the problem is, is that the projection is based on the fact that you have a relationship between the intrinsic geometry. If this is an add value two form the two form portion of this, and the add joint portion of this are both associated to the structure group of the tangent bundle.
| |
| [00:52:52] But the gauge rotation is only acting on one of the two factors. Yet the projection is making use of both of them. So there is a fundamental incompatibility in the claim that Einstein's theory is a gauge theory relies more on analogy than an exact mapping between the two theories. What about the incompatibilities between the Einstein theory of general relativity and the Dirac theory of matter?
| |
| [00:53:20] I was very struck that if we're going to try to quantize gravity and we associate gravity with the spin 2 field $G_{\mu \nu}$,
| |
| [00:53:32] we actually have a pretty serious problem, which is, if you think about spinors, electrons, quarks as being waves in a medium. And you think about photons as being waves in a different medium. Photon’s medium does not depend on the existence of a metric. One forms are defined whether or not a metric is present, it's spinors or not.
| |
| [00:54:02] So if we're going to take the spin two $G_{mu nu}$ field to be quantum mechanical, if it blinks out and does whatever the quantum does between observations. In the case of the photon, it's saying that the waves may blink out, but the ocean need not blink out. In the case of the Dirac theory, it is the ocean, the medium in which the waves live.
| |
| [00:54:23] that becomes uncertain itself. So even if you're comfortable with the quantum, to me, this becomes a bridge too far. So the question is how do we liberate the definition.
| |
| [00:54:47] How do we get the metric out from its responsibilities? It's been assigned far too many responsibilities. It's responsible for a volume form for differential operators. It's responsible for measurement. It's responsible for being a dynamical field, part of the field content of the. Lastly, we have the compatibilities and incapacity between Yang-Mills and in the Dirac theory, these may be the most mild of the various incompatibilities, but it is an incompatibility of naturality where the direct field, Einstein's field, and the connection fields are all geometrically well motivated, we push a lot of the artificiality that we do not understand into the potential for the scalar field that gives everything it's mass.
| |
| [00:55:33] Yes. So we tend to treat it as something of a mysterious fudge factor. So the question is, if we have a Higgs field,
| |
| [00:55:44] why is it here and why is it geometric?
| |
| [00:55:52] It has long been the most artificial sector of our models.
| |
| [00:55:59] The proposal that I want to put to you today. Is that one of the reasons that we may be having trouble with unification this is that the duty, our duty may be to generalize all three vertices before we can make progress.
| |
| [00:56:23] That's daunting because in each case, it would appear that we can make an argument. That this, that and the other Vertex are the simplest possible theories that could live at that vertex. We know, for example, yeah, the Dirac operator is the most fundamental of all the elliptic operators and Euclidean signature generating all of the Atiyah-Singer theory.
| |
| [00:56:47] We know that Einstein's theory is, in some sense, a unique spin to massless field capable of communicating gravity, which can be arrived at from field theoretic rather than geometric consideration. In the yang mills case, it can be argued that the yang mills theory is the simplest theory that can possibly result where we're taking the simplest Lagrangian
| |
| [00:57:06] in the Einstein case, looking only at the scalar curvature. In the yang mills case, we have no substructure, and so we're doing the most simple minded thing we can do by taking the norm square of the curvature and saying whatever the field strength is, let's measure that size. So if each one of these is simplest possible, it doesn't Occam’s razor
| |
| [00:57:23] Tell us that if we wish to remain in geometric field theory, that we've already reached bottom and that what we're being asked to do is to abandon this as merely an effective theory that's possible. And I would say that that in some sense represents a lot of conventional wisdom, but there are other possibilities.
| |
| [00:57:41] There are other possibilities that while each of these may be simplest in its category. They are not simplest in their interaction.
| |
| [00:57:54] For example, we know that Dirac famously took the square root of the Klein-Gordon equation to achieve the DIrac equation. You actually took two square roots, one of the differential operator and another of the algebra, uh, on which it acts. But could not, could we not do the same thing by re-interpreting what we saw in Donaldson theory and Chern- Simon's theory and finding that there are first order equations that imply second order equations that are nonlinear in the curvature.
| |
| [00:58:28] So let's imagine the following. We replaced the standard model with a true second order theory. We imagine the general relativity is replaced by a true first order theory. And then we find that the true second orders theory admits of a square root and can be linked with the true first order theory.
| |
| [00:58:50] This would be a program for some kind of unification of Dirac’s type, but in the force sector. The question is, does this really make any sense? Are there any possibilities to do any such thing?
| |
| [00:59:12] So what I'd like to do is I'd like to talk a little bit about what the geometric unity proposal is.
| |
| [00:59:34] So we have a division into intrinsic theories and auxiliary theory.
| |
| [00:59:44] Between physics and mathematics. More specifically, geometry and intrinsic physical theory would be general relativity and auxiliary physical theory would be the yang mills theory with the freedom to choose internal quantum numbers. The mathematical level and intrinsic theory would be, let's be a little fastidious.
| |
| [01:00:12] Okay.
| |
| [01:00:20] The older semi-Riemannian in geometry. The study of manifolds with length and angle, but auxiliary geometry is really what's taken off. Of late since the revolution partially begun at Oxford when his singer brought insights from Stony Brook to the U K and so we're going to call this fiber bundle theory
| |
| [01:00:45] or modern gauge theory. Geometric unity is the search for some way to break down the walls between these four boxes. What's natural to one theory is unnatural to another. Semi-Riemannian geometry is dominated by these projection operators as well as the ability, uh, to use the Levi-Civita connection.
| |
| [01:01:08] Now, some aspects of this are less explored. Torsion tensors are definable in Semi-Riemannian geometry, but they are not used to the extent that you might imagine in the case of fiber bundle theory, the discovery of physicists that the gauge group was fantastically important. Um. Came as something of a shock to the mathematicians who had missed that structure, uh, and have since exploited it to great effect.
| |
| [01:01:34] So what we'd like to do is we'd like to come up with some theory that is intrinsic, but allows us to play some of the games that exist in other boxes. How can we fit? How can we try to have our cake eat it, uh, and use all the full suite of techniques that are available to us.
| |
| [01:01:54] So our perspective is, is that it is the quantum that may be the comparatively easy part, and that the unification of the geometry, which is not occurred, may be what we're being asked to do. So let's try to figure out what would a final theory even look like
| |
| [01:02:12] when I was a bit younger, I remember reading this question of Einstein, which he said, I'm not really interested in . Some of the details of physics. What really concerns me is whether the creator had any choice in how the world was constructed. And some people may have read that as a philosophical statement, but I took that as an actual call for a research program.
| |
| [01:02:35] So I'd like to describe that research program and try to unpack what I think he was saying.
| |
| [01:02:47] We talked a lot about unification, but we hardly ever actually imagine if we had a unified theory, what would it look like?
| |
| [01:02:57] Let us imagine that. We cannot figure out the puzzle of why is there something rather than nothing. But if we do have a something that that's something has his little structure as possible, but it still invites us to work mathematically. So to me, the two great theories that we have mathematically and in physics are calculus and linear algebra.
| |
| [01:03:17] If we have calculus and linear algebra, I mean, imagine that we have some manifold, at least one of dimension four, but it's not a space time. It doesn't have a metric. It's not broken down into two different kinds of coordinates, which then have some bleed into each other, but still maintains a distinction.
| |
| [01:03:36] It's just some sort of flabby proto space time, and in the end it's got to fill up with stuff. And give us some kind of an equation. So let me write an equation.
| |
| [01:04:13] So I have in mind differential operators parameterized by some fields, omega, which when composed or not of second order, if these are first order operators, but as zeroth order in some sort of further differential operator saying that whatever those two operators are in composition is in some sense harmonic.
| |
| [01:04:41] Is such a program even possible? So if the universe is in fact capable of being the fire that lights itself, is it capable of managing its own flame as well, and closing up? What I'd like to do is to set ourselves an almost impossible task, which is to begin with this little data in a sandbox to use a computer science concept.
| |
| [01:05:11] So if here this physical reality
| |
| [01:05:20] standard physics,
| |
| [01:05:26] it's over here. We're going to start with the sandbox
| |
| [01:05:36] and all we're going to put in it is X four. And we're going to set ourselves a straight jacketed task of seeing how close we can come to dragging out a model that looks like the natural world that follows this trajectory.
| |
| [01:05:56] While it may appear that that is not a particularly smart thing to do, I would like to think that we could agree that it is quite possible. That if that were to be the case, we might say that this is what Einstein meant by a creator, which was his anthropomorphic concept for necessity and elegance and design having no choice in the making of the world.
| |
| [01:06:19] So with that, let us begin to think about what we mean today by geometric unity. Yeah. GU comes in four flavors, but I'm only getting one shot to do this, so I'm going to do the most exciting of them. To me, there's a completely exogenous flavor.
| |
| [01:06:42] What I'm gonna do is I'm going to take the concept of observation and I'm going to break the world into two pieces. A place where we do our observation and a place where most of the activity takes place. And I'm going to try and do this without loss of generality. So in this case, we have $X^4$ and it can map into some other space, and we are going to call this an observerse.
| |
| [01:07:15] The idea of an observerse is a bit like a stadium. You have a playing field and you have stands. They aren't distinct entities, they're coupled. And so fundamentally we're going to replace one space with two. Exogenous model simply means that U is unrestricted, although larger than X four so any manifold of four dimension higher that is capable of admitting as an immersion.
| |
| [01:07:41] The next model we have is the bundle theoretic, in which case U sits over X is a fiber bundle.
| |
| [01:07:58] The most exciting, which is the one we'll deal with today, is the endogenous model where $X^4$ actually grows the space U where the activity takes place. So we talked about extra dimensions, but these are in some sense, not extra dimensions. They are implicit dimensions within $X^4$. And last to proceed without loss of generality.
| |
| [01:08:21] we have the tautological model. In that case, $X^4$ equals U. And the immersion is the identity. And without loss of generality, we simply play our games on one space. Okay? Now we need rules. The rules are, sorry. Okay. Feedback. Um. No choice of fundamental metric. So we imagined that Einstein was presented with a fork in the road, and it's always disturbing not to follow Einstein's path,
| |
| [01:09:00] but we're in fact going to turn Einstein's game on its head and see if we can get anywhere with that. Right. It's also a possibility that because Einstein's theory is so perfect that if there's anything wrong with it, it's very hard to unthink it because everything is built on top. So let's make no choice of fundamental metric.
| |
| [01:09:16] And in fact, let's go more ambitious. And let's say we're going to reverse the logic of Einstein. Einstein. The metric is fundamental, but the Levi-Civita connection from which we deduced the curvature is emergent, right? So the fundamental theorem of Riemannian geometry is, is that every connection, uh, causes every metric causes a connection to emerge.
| |
| [01:09:36] And then the curvature is built on the connection. We turn this around, we imagine we're looking for a connection and we wish it to build a metric because connections are amenable to quantization in a way that metrics are not. The next point is that we always want to have a plan to return to finite dimensions without losing sight of the quantum.
| |
| [01:09:56] And lastly, we want to liberate matter from its dependence on the metric for its very existence. So we now need to build fermions onto our four dimensional manifold in some way without ever choosing a metric, if we're even going to have any hope of playing a game involving matter, starting from this perspective of no information other than the most bare information.
| |
| [01:10:23] Let's get started. We take $X^4$, we need metrics. We have none. We're not allowed to choose one. So we do the standard trick is we choose them all.
| |
| [01:10:36] So we allow $U^14$ to equal the space of metrics on $X^4$ point wise. Therefore, if we propagate on top of this, let me call this the projection operator. If we propagate on $U^14$ we are in some sense following a Feynman like idea of propagating over the space of all metrics, but not at a field level.
| |
| [01:10:58] At a point wise tensorial level
| |
| [01:11:03] Is there a metric on $U^14$. Well, we both want one and don't want one. If we had a metric from the space of all metrics, we could define Fermions, but we would also lock out any ability to do dynamics. We want some choice over what this metric is, but we don't want full choice because we want enough to be able to define the matter fields to begin with.
| |
| [01:11:22] It turns out. That if this is $X^4$
| |
| [01:11:29] and this is this particular indogenous choice of $U^14$ we have a 10 dimensional metric along the fibers. So we have a $G^{10}_{\mu nu}. Further for every point in the fibers, we get a metric downstairs on the base space. So if we pull back the cotangent bundle,
| |
| [01:11:59] we get a metric $G^4_{\mu \nu} on $\Pi^*$ star of the cotangent bundle of X. We now define the chimeric bundle, right? And the chimeric bundle. Is this direct, some of the vertical tangent bundle along the fibers with the pullback, which we're going to call the horizontal bundle from the base space. So the chimeric bundle
| |
| [01:12:33] is going to be the vertical tangent space of 10 dimensions to U direct sum, the four dimensional cotangent space which we're going to call horizontal to U. And the great thing about the chimeric bundle is, is that it has an a priori metric. It's got a metric on the four a metric on the 10 and we can always decide that the two of them are naturally perpendicular to each other.
| |
| [01:13:00] Furthermore, it is almost canonically isomorphic to the tangent bundle or the cotangent bundle, because we either have 4 out of 14 or 10 out of 14 dimensions on the nose. So the question is, what are we missing. And the answer is that we're missing exactly the data of a connection. So this bundle, chimeric C we have C is equal to the tangent bundle of U up to a choice of a connection theta.
| |
| [01:13:32] And this is exactly what we wanted. We have a situation where we have some field on the manifold X. In the form of a connection which is amenable, more friendly to quantization, which is now determining a metric turning around the Levi-civita game. And the only problem is, is that we've had to buy ourselves into a different space than the one we thought we wanted to work on.
| |
| [01:13:55] But now as theta changes, the Fermions are defined on the chimeric bundle, and it's the isomorphism from the chimeric bundle to the tangent bundle of the space U, which is variant, which means that the fermions no longer depend on the metric. They no longer depend on the theta connection. They are there. If things go quantum mechanical, and we've achieved our objective of putting the matter fields and the spin one fields on something of the same footing.
| |
| [01:14:27] But I want to emphasize this. One thing, most of us, we think a lot about final theories and and about unification, but until you actually start daring to try to do it, you don't realize what the process of it feels like. And I try to imagine conducting your life where you have no children, let's say, and no philanthropic urges.
| |
| [01:14:54] And what you want to do is you want to use all of your money for yourself. And die penniless, right? Like a perfect finish. Assuming that that's what you wanted to do, it would be pretty nerve wracking at the end, right? How many days left do I have? How many dollars left I have? This is the process of unification.
| |
| [01:15:12] In physics, you start giving away all of your most valuable possessions, and you don't know whether you've given them away too early, whether you've husband them too long. And so in this process, what we've just done is we've started to paint ourselves into a corner. And we got something we wanted, but we've given away freedom.
| |
| [01:15:30] We're now dealing with a 14 dimensional world.
| |
| [01:15:39] Well, let me just sum this up by saying
| |
| [01:15:53] between fundamental and emergent.
| |
| [01:15:58] Standard model and GR. Let's do GR. fundamental is the metric. Yeah. Emergent is the connection. Okay. Here. GU, it is the connection that's fundamental and the metric that's emergent.
| |
| [01:16:23] And the next unit of GU. So this is sort of the first unit of G U there are any quick questions having to do with confusion or may I proceed to the next unit.
| |
| [01:16:36] Okay. The next unit of GU is the unified field content. What does it mean for our fields to become unified? There are, in fact,
| |
| [01:16:50] only at this moment, two fields, that know about X. Theta, which is the connection that we've just talked about and a section sigma that takes us back
| |
| [01:17:10] so that we can communicate back and forth between U and X. We now need field content that only knows about U, which now has a metric depending on theta.
| |
| [01:17:32] a particular member of the audience is a hedge fund manager who taught me that there is something of a universal trade and a universal trade has four components. You have to have a view, you have to have a trade expression you have to be able to calculate your cost of carry and you need a catalyst.
| |
| [01:17:48] Our view is going to be that somebody doesn't understand what trade is possible and we're going to make a trade that looks like one of the worst trades of all time, and hopefully if we, if we have enough conviction, we're going to have a catalyst to show that we actually got the better part of the deal.
| |
| [01:18:03] What is that trade? What is it that we think has been blocking progress.
| |
| [01:18:16] In GR and Riemannian geometry, as we've said, we have the projection operators and we also have the Levi-Civita connection.
| |
| [01:18:31] In the auxiliary theory, we have freedom to choose our field content. And we have the ability to get rid of much excess through the symmetries of the gauge group.
| |
| [01:18:50] We're going to take particle theory, we're going to make a bad trade, or what appears to be a bad trade, which is that we are going to give away the freedom to choose our field content, which is already extremely, as I think I said in the abstract Baroque with all of the different particle properties.
| |
| [01:19:09] And we're going to lose the ability to use the gauge group because we're going to trade it all.
| |
| [01:19:27] You have the family cow and you have some magic beans.
| |
| [01:19:40] So it's now time to trade the family cow for the magic beans and bring them home and see whether or not we got the better of the deal.
| |
| [01:20:01] Okay.
| |
| [01:20:08] What is it that we get for the Levi-Civita connection? Well, not- much. One thing we get is that normally the space of connections is an affine space. Not a vector space, but an affine space, almost a vector space, a vector space up to a choice of origin. But with the Levi Civita connection, rather than having an infinite plane with an ability to take differences, but no real ability to have a group structure.
| |
| [01:20:35] You pick out one point, which then becomes the origin. That means that any connection A has the torsion tensor A which is equal to the connection minus the Levi Civita connection. Okay, so we get a tensor that we don't usually have. Gauge potentials are not usually well-defined. They're only defined up to a choice of gauge.
| |
| [01:21:00] So that's one of the things we get for our Levi Civita connection, but because the gauge group is going to go missing, this has terrible properties from with respect to the gauge group, it almost looks like a representation, but in fact, if we let the gauge group act, there's going to be an affine shift.
| |
| [01:21:21] Furthermore, as we've said before. The ability to use projection operators together with the gauge group is frustrated by virtue of the fact that these two things do not commute with each other. So now the question is, how are we going to prove that we're actually making a good trade
| |
| [01:21:43] Okay.
| |
| [01:21:48] First thing we need to do is, we still have the right to choose intrinsic field content. Have an intrinsic field theory. So if you consider the structure bundle of the spinors, right, we built the chimeric bundle, so we can define Dirac spinors on the chimeric Bible if we're in Euclidean signature. A 14 dimensional manifold has Dirac spinors of dimension two to the dimension of the space divided by two.
| |
| [01:22:20] Right? So two to the 14 over two two to the seventh is 128 so we have a map into a structured group of $U^128$
| |
| [01:22:36] at least in Euclidean signature. We can get to mixed signatures later. From that, we can form the associated bundle.
| |
| [01:22:54] And sections of this bundle
| |
| [01:22:59] are either, depending upon how you want to think about it, the gauge group H
| |
| [01:23:12] or Xi, a space of sigma field.
| |
| [01:23:18] Nonlinear.
| |
| [01:23:25] There's no reason that we can't choose this as field content. Again, we're being led by the nose like a bull. If we want to make use of the symmetries of the theory, we have to promote some symmetry to being part of the theory, and we have to let it be subjected to dynamical laws. We're going to lose control over it.
| |
| [01:23:44] But we're not dead yet, right? We're fighting for our life to make sure that this trade has some hope. So potentially by including symmetries as field content, we will have some opportunity to make use of the projections. So for those of you who,
| |
| [01:24:06] so when I was thinking about this. I used to be amazed by ships in bottles. I must confess that I never figured out what the trick was for ships in bottles, but once I saw it, I remembered thinking, that's really clever. So if you've never seen it, you have a ship, which is like a curvature tensor. And imagine that the mass does is the Ricci curvature.
| |
| [01:24:30] If you just try to shove it into the bottle, you're undoubtedly going to snap the mass. So you imagine that you've transformed your gauge fields, you've kept track of where the Ricci curvature was. You try to push it from one space, like add value two forms into another space, like add valued one forms where connections live.
| |
| [01:24:54] That's not a good idea. Instead, what we do is the following. Imagine that you're carrying around group theoretic information and what you do is you do a transformation based on the group theory. So you lower the mast. You push it through the neck, having some string attached to the mast and then you undo the transformation on the other side.
| |
| [01:25:18] This is exactly what we're going to hope is going to save us in this bad trade that we've made because we're going to add fields, content that has the ability to lower the mass and bring the mass back up. We're going to hope to have a theory which is going to create a communitive situation. But then once we've had this idea, we start to get a little bolder.
| |
| [01:25:43] Let's think about unified content. We know that we want a space of connections, A for our field theory, but we know because we have a Levi Civita connection, that this is going to be equal on the nose to add value one forms as a vector space. The gauge group represents an add valued one forms. So if we also have the gauge group, what we think of that instead as a space of Sigma fields.
| |
| [01:26:16] What if we take the semi direct product at a group theoretic level between the two and call this our group of interests. Well by analogy, we've always had a problem with the Poincare group being too intrinsically tied to rigid flar Mankowski space. What if we wanted to do quantum field theory in some situation, which was more amenable to a curved space situation?
| |
| [01:26:44] It's possible that we should be basing it around something more akin to the gauge group, and in this case, we're mimicking the construction where C here would be analogous to the Lorentz group, fixing a point in Mankowski space, and add valued one forms would be analogous to the four momentums. We take in the semi direct product to create the inhomogeneous Lorentz group, otherwise known as the Poincare group, or rather, it's a double cover to allow spin.
| |
| [01:27:12] So we're going to call this the inhomogeneous gauge group or IGG.
| |
| [01:27:23] And this is going to be a really interesting space because it has a couple of properties. One is it has a very interesting subgroup. Now, of course, H includes into G by just including onto the first factor, but in fact, there's a more interesting homomomorphism brought to you by the Levi Civita connection.
| |
| [01:27:49] So this magic being trade is going to start to enter more and more into our consciousness. If I take an element H and I map that in the obvious way into the first factor, but I map it
| |
| [01:28:13] onto the Maurer-Cartan form, I think that's what I, I wish I remembered more of this stuff. Into the second factor. It turns out that this is actually a group homomomorphism and so we have a nontrivial embedding, which is in some sense diagonal between the two factors. That subgroup we are going to refer to as the tilted gauge group, and now our field content, at least in the Bosonic sector, it's going to be a group manifold, an infinite dimensional function space lei
| |
| [01:28:47] Group, but a group nonetheless. And we can now look at G mod, the tilted gauge group, and it, if we have any interesting representation of H, we can form homogeneous vector bundles and work with induced representations. And that's what the Fermions are going to be. So the Fermions in our theory are going to be H modules.
| |
| [01:29:14] and the idea is that we're going to work with vector bundles, curly E of the form inhomogeneous gauge group
| |
| [01:29:30] producted over the tilted gauge group. Okay.
| |
| [01:29:47] Now, just as in the finite dimensional case, we have a linear and a nonlinear component, right? Because at the topological level, this is just a Cartesian product. So if we wished to take products of Firmions, of spinnorial fields. We have a place to accept that. We can't figure out necessarily how to map them into the nonlinear sector, but we don't want to.
| |
| [01:30:09] So just the way, when we look at supersymmetry, we can take products, the spin one half fields and map them into the linear sector. We can do the same thing here. So what we're talking about is something like a supersymmetric extension of the inhomogeneous gauge group and now analogous to supersymmetric extension.
| |
| [01:30:29] Of the double cover of the inhomogeneous Lorenz or poincare group. Further, because this construction is at the level of groups, we've left a slot on the left hand side on which to act. So for example, if we want to take regular representations on the group, we can act by the group G on the left hand side, because we're allowing the tilted gauge group to act on the right hand right.
| |
| [01:30:56] So it's perfectly built for representation theory. And if you think back to Wigner’s uh, classification and the concept that a particle should correspond to an irreducible representation of the inhomogeneous gauge group, uh, inhomogeneous Lorens group, we may be able to play the same games here up to the issue of infinite dimentionality.
| |
| [01:31:15] So right now, our field content is looking pretty good. It's looking unified in the sense. That it has an algebraic structure that is not usually enjoyed by field content and the field content from different sectors can interact and know about each other. Mmm. Provided we can drag something of this out of this with meaning.
| |
| [01:31:38] Now, what would it mean to be able to use a gauge group in an intrinsic theory like this? We would be talking. About something like an action, let's say a first order action and it would take the group G no, let's say to the real numbers invariant,
| |
| [01:32:08] not under the full group, but under the tilted gauge subgroup. And now the question is, do we have any such actions that are particularly nice. And could we recognize them the way Einstein did by trying to write down, not the action and Hilbert was the first one to write that down. But I, you know, I always feel defensive, uh, because I think Einstein and Grossman did so much more to begin the theory in that the Lagrangian that got written down was really just an inevitability.
| |
| [01:32:38] So just humor me for this talk, and let me call it the Einstein Grossman. Lagrangian. Uh. Hubbard's certainly done fantastic things and has a lot of credit elsewhere. and he did do it first, but here what we had was that Einstein thought in terms of the differential of the action, not the action itself. So what we're looking for is equations of motion
| |
| [01:33:09] or some field alpha where alpha belongs to the one forms on the group.
| |
| [01:33:22] Now in this section of GU unified field content is only one part of it, but what we really want,
| |
| [01:33:36] is unified field content plus a toolkit.
| |
| [01:33:43] So we've, we've restricted ourselves to one gauge group, this big unitary group on the spinors using whatever sort of inner product naturally exists on the spinors and not spinors value in an auxiliary structure, but intrinsic spinors.
| |
| [01:34:00] The toolkit that we have is that the ad joint bundle.
| |
| [01:34:18] It looks like the Clifford algebra. Okay. At the level of vector space,
| |
| [01:34:28] which is just looking like the exterior algebra on the chimeric bundle, that means that it's graded by degrees. chimeric bundle has dimension 14 so there's a zero part, a one part, a two part, all the way up to 14 plus. We have forms in the manifold, and so the question is, if I want to look at $Omega^i$ okay valued in the adjunct bundle.
| |
| [01:34:57] There's going to be some element $Phi_i$.
| |
| [01:35:05] Which is pure trace. Okay.
| |
| [01:35:12] Right. Because it's the same representations appearing where in the usually auxiliary directions as well as the geometric directions. So we get an entire suite. Of invariance together with trivially, uh, associated variants that come from using the Hodge star operator on the forms. I'm just going to call them for completeness.
| |
| [01:35:36] I'm not going to deal with them.
| |
| [01:35:41] Now, this is a tremendous amount of freedom that we've just gained. Normally we keep losing freedom, but this is the first time we actually begin to see that we have a lot of freedom and we're going to actually retain some of this freedom through the to the end of the talk. But the idea being that I can now start to define operators which correspond to the ship in the bottle problem.
| |
| [01:36:04] I can take field content. Epsilon and Pi, where Epsilon, where these are elements of the inhomogeneous gauge group. In other words, Epsilon is a gauge transformation and Pi is an, is a gauge potential
| |
| [01:36:27] and I can start to define operators.
| |
| [01:36:44] I'm used. So in this case, if I have a phi, which is one of these invariants in the form piece, I can either take a contraction or I can take a wedge product. In the Lie algebra piece, I can either take a lead product. Or because I'm looking at, um, the unitary group, there's a second possibility, which is I can multiply everything by i and go from scew hermitian to hermitian and take a Jordan product using anti commutators rather than commutators.
| |
| [01:37:15] So I actually have a fair amount of freedom and I'm going to use a magic bracket notation, which in whatever situation I'm looking for, knows what it wants to be is does it want to do contraction? Does want to do wedge product, Lie product, Jordan product. But the point is, I now have a suite of ways of moving forms around.
| |
| [01:37:34] So for example, I can define a Cieve? operator. Okay. That takes, I forms valued in the adjoint bundle.
| |
| [01:37:59] To much higher degree forms valued in the adjoint bundle. So for this, in this case, for example, it would take a two form two a D minus three plus two or a D minus one form. So curvature is an add value two form. And if I had such a Cieve? operator, it would take add value tow form to add value. D minus one forms, which is exactly the right space to be an alpha coming from the derivative of an action.
| |
| [01:38:38] This is exactly what Einstein was doing. He took the curvature, which was large, and he bent it back and he sheared off the vial curvature and they took that part and he pushed it back along the space of metrics to give us something, which we nowadays call Ricci. Flow and ability for the curvature to direct us to the next structure.
| |
| [01:38:59] Well, we're doing the same thing here. We're taking the curvature and we can now push it back onto the space of connections.
| |
| [01:39:17] Okay.
| |
| [01:39:28] Can you just clarify what the index of the is? So you take all your forms to D minus three plus I,
| |
| [01:39:43] right? So in this case, the idea is, is that we've actually got something for our magic. We have an ability now to get equations of motion, which go along the group. In some sense, it's as if it was a gradient vector field, except we're using forms rather than vectors. But now what are the transformation properties?
| |
| [01:40:08] Well, because the curvature.
| |
| [01:40:22] So you have Schiab???
| |
| [01:40:28] because the curvature of a connection hit by a gauge transformation is equal on the nose.
| |
| [01:40:42] adjoint action on the lie algebra of the curvature. We know that if we have two possible actions of conjugation under a bracket and the bracket, Mmm respects the action of the gauge group, we know that this is going to be well preserved. In other words, we're going to get a form that is gauged in variant relative to the tilted gauge group.
| |
| [01:41:08] And so as a result, we now have the possibility for equations of motion, which are well-defined. Uh, even though they involve projection operators, because we've built the symmetries into the theory and we're working on a group manifold to begin with.
| |
| [01:41:26] What about the torsion? Can we rescue the torsion here again, we have good news. The torsion is problematic, but if I look at a different field, which I'm going to call the augmented torions, and I define it to be the regular torsion, which would be Pi. Minus this expression. Okay? This turns out to be beautifully invariant again.
| |
| [01:41:58] So neither this term nor this term is invariant, but they're, they fail to be gauge invariant in exactly the same way. So an important principle of life, which I took too long to realize, is that if you have one disease, you're in real time. But if you have two diseases, you always have the possibility of having one disease kill the other disease.
| |
| [01:42:16] This is true in renormalization theory. It's true in black Scholes theory. It's true all over the place. So what we have here is we've gotten more diseases into the theory, but an even number of diseases allow us to have no disease at all. So now we have two great tensors. We've got one tensor coming from the curvature and the operator.
| |
| [01:42:34] We have another tensor coming from the torsion and it's augmentation.
| |
| [01:42:54] We're doing okay.
| |
| [01:43:06] Okay. We're not doing physics yet. We're just building tools. We've built ourselves a little bit of freedom. We have some reprieves. We've still got some very big debts to pay back for this magic beans trade. We're in the wrong dimension. We don't have good field content. We're stuck on this one spinor.
| |
| [01:43:23] We've built ourselves an projection operators. We've picked up some symmetric, nonlinear Sigma field.
| |
| [01:43:33] What can we write down in terms of equations of motion. Let's start with Einstein's concept. Okay. If we do, of the curvature tensor, but the gauge potential hit with an operator. Okay. Defined by the Epsilon Sigma field plus the star operator. Acting on the augmented torsion of the pair. This contains all of the information when PI is zero in Einstein's tensor.
| |
| [01:44:16] In other words, there is a spinorial analog of the Wile curvature, a spinorial analog of the Traceless Ricci curvature, and a spinorial analog of the scalar curvature. This operator should shear off the analog of the Wile curvature. Just the way Einstein's projection shears off the Wile curvature, when you're looking at the tangent bundle, and this term, which is now gaguge variant, may be considered as containing a piece that looks like Lambda times $G_{\mu \nu}$, or a cosmological constant.
| |
| [01:44:51] And this piece here.
| |
| [01:44:59] Can be made to contain a piece that looks like Einstein's tensor. And so this looks very much like the vacuum field equations. Okay, well we have to add in something else. It'd be a little bit vague cause I'm still giving myself some freedom as we write this up.
| |
| [01:45:25] But we're going to define whatever tensor we need for this term, these terms here. This is gauge invariant. This is gauge invariant, and this is gauge invariant with respect to the tilted gauge group. These two tensors together should be exact, and this tensor on its own should be exact.
| |
| [01:45:53] We're going to call the exact tensor, the swervature.
| |
| [01:45:59] So the particular operator, we call the swerve. So that's swerve curvature, plus the adjustment needed for exactness and another gauge and variant term, which is not usually gauge invariant.
| |
| [01:46:17] So that's pretty cool. If that works, we've now taken the Einstein equation and we've put it not on the space of metrics, but we've put a generalization and an analog on the space of gauge potentials, much more amenable to quantization with much more algebraic structure and symmetry in the form of the inhomogeneous gauge group and its homogeneous vector bundle, some of which may be super symmetric.
| |
| [01:46:44] Now the question is, we've w w we've integrated so tight. With the matter field, we have to ask ourselves the question, can we see unification here?
| |
| [01:47:01] Let's define matter content in the form of Omega zero tensor spinors, which is a fancy way of saying spinors together. Okay.
| |
| [01:47:14] With a copy of the one forms tendered in the spinors, and let me come up with two other copies of the same data.
| |
| [01:47:32] So I'll make Omega D minus one just by duality. So imagine that there's a Hodge star opera.
| |
| [01:47:43] And , whereas a little kid, I had the Soma cube. I don't know if you've ever played with one of these things. They're fantastic. And, uh, I later found out that this guy who invented the Soma cube, which you had to put together as pieces, there was one piece that looked like this, this object. And he was like this amazing guy in the resistance during world war II.
| |
| [01:48:03] So I would like to name this, the somatic complex. after, I guess his name is I think so this, this complex, I'm going to choose to start filling in some operators, the exterior derivative coupled to a connection, but on the case of spinors, we're going to put a slash through it. Let's make this the identity.
| |
| [01:48:26] We'd now like to come up with a second operator here. Here in this second operator here should have the property that the complex should be exact and the obstruction to it being a true complex to nillpotency should be exactly the generalization of the Einstein equations. Thus unifying the spinnorial matter with the intrinsic replacement for the curvature equations.
| |
| [01:48:59] Well, we know that DA composed with itself is going to be the curvature, and we know that we want that to be hit by a operator. And if is a derivation, you can start to see that that's going to be curvature. So you want something like F_A followed by over here to cancel. Then you think, okay, well how am I going to get at getting this augmented torsion?
| |
| [01:49:32] And then you realize that the information in the inhomogeneous gauge group, you actually have information, not for one connection, but for two connections. So in one case
| |
| [01:49:44] I can do
| |
| [01:49:49] plus star T to pick up the A sub PI.
| |
| [01:49:59] But I'm also going to have a derivative operator if I just do a star operation. So I need another derivative operator to kill it off here. So I'm going to take minus the derivative with respect to the connection, H inverse, $d_{A_0}$ not H, which defines a connection one form as well as having the same.
| |
| [01:50:21] Derivative, uh, coming from the Levi Civita connection on U. So in other words, I have two derivative operators here. I have two add value one forms. The difference between them has been to be a zero with order, and it's going to be precisely the augmented torsion. And that's the same game I'm going to repeat here.
| |
| [01:50:52] So I'm going to do the same thing here. I'm going to define a bunch of terms where in the numerator, I'm going to pick up the pie as well as the derivative in the denominator, because I have no derivative here. I'm going to pick up this H inverse $d_{A_0}$, not H.
| |
| [01:51:17] I'm going to do that again. On the other side,
| |
| [01:51:31] there are going to be plus and minus signs, but it's a magic brag that knows whether or not should be a plus sign or a minus sign, and I apologize for that, but I'm not able to keep that straight. Okay. And then there's going to be one extra term.
| |
| [01:51:48] Where all these Ts have the Epsilon and pis. Okay. So some crazy series of differential operators on the Northern route. So if you take the high road or you take the low road, when you take the composition of the two, the differential operators fall out and you're left with an obstruction term that looks like the Einstein field equation.
| |
| [01:52:21] Well, that's pretty good. If true,
| |
| [01:52:26] can you go farther? Well, look it up. Close to this field. Content is to the picture from defamation theory that we learned about in low dimensions. The low dimensional world works. By saying that symmetries map to field content
| |
| [01:52:50] map to equations usually in the curvature. And when you linearize that if you're in low enough dimensions, you have Omega zero Omega one. Sometimes I make a zero again and then something that comes from Omega two and if you can get that sequence to terminate by looking at something like a half signature theorem or a bent back.
| |
| [01:53:12] Durham complex. In the case of dimension three, you have Atiyah-Singer theory, and remember, we need some way to get out of infinite dimensional trouble, right? You have to have someone to call when things go wrong overseas and you have to be able to get your way home. And in some sense, we call on Atiyah-Singer and say, we're in some infinite dimensional space.
| |
| [01:53:30] Can't you cut out some finite dimensional problem that we can solve even though we start getting ourselves into serious trouble? And so we're going to do the same thing down here. We're going to have Omega zero add Omega one add direct um Omega zero add
| |
| [01:54:00] Omega d minus one add, and it's almost the same operator.
| |
| [01:54:09] And this is now not just a great guess, it's actually the information for the defamation theory of the linearized replacement of the Einstein field equations. So this is computing the dirt Zariski tangent space. Just as if you were doing self duel theory or Chern-Simon's theory, you've got two somatic complexes, right?
| |
| [01:54:33] One of them is Bose. One of them is Fermi. The obstruction to both of them is a common generalization of the Einstein field equations. What's more is if you, if you start to think about this, this is some version of Hodge theory with funky operators, so you can ask yourself, well, what are the harmonic forms in a fractional spin context?
| |
| [01:55:03] Well, there are different, depending upon whether you take the degree zero piece together with the degree two piece, or you take the degree one piece, let's just take the degree one piece.
| |
| [01:55:16] You get some kind of equation. So I'm going to decide that I have a Zeta field, which is an Omega one tensor spinors and a field nu.
| |
| [01:55:32] which always strikes me as a Yiddish field.
| |
| [01:55:40] Nu is omega zero tensor S . Okay.
| |
| [01:55:47] What equation would they solve if we were doing Hodge theory relative to this complex, the equation would look something like this.
| |
| [01:56:10] There'd be one equation that was very simple, and then there'd be one equation that would be like really hard to guess.
| |
| [01:56:45] Gotcha. Screwing this up, but, um.
| |
| [01:56:56] Yeah, look all these boards and I still feel like I'm managing to run out of room.
| |
| [01:57:48] Now, if you have something like that, that would be a hell of a Dirac equation. Alright, you've got differential operators over here. you've got differential operators. Um,
| |
| [01:58:06] I guess I didn't write them in. But you would have two differential operators over here, and you'd have this differential operator coming from this Maurer-Cartan form. So I apologize, I'm being a little loose here, but the idea is you have two of these terms are zeroth order. Three of these terms would be first order, and on this side, one term would be first order.
| |
| [01:58:27] Um,
| |
| [01:58:32] and that's not there. That's fine. That was a mistake. Oh, no, sorry. That was a mistake. Calling it a mistake. These are two separate equations, right? So you have two separate fields, Nu and Zeta, and you have a coupled set of differential equations that are playing the role of the Dirac theory. Coming from the Hodge theory of a complex who's obstruction to being cohomology theory would be the replacement to the Einstein field equations, which would be rendered.
| |
| [01:59:05] Gauge invariant on a group relative to a tilted subgroup. Okay. What would, so now we've dealt with two of the three sectors. Is there any generalization of the yang mills equation? Well, if we were to take the Einstein field equation generalization and take the norm square of it, Oh, there's some point I should make here.
| |
| [01:59:29] Just one second. Yeah. I've been treating this as if everything is first order, but what really happens here
| |
| [01:59:41] is that you've got symmetries. You've got symmetric field content,
| |
| [01:59:52] you've got ordinary connections.
| |
| [02:00:01] And we're neglecting to draw the fact that there have to be equations here too. These equations are first order. So why do we get to call this a first order theory? If there are equations here, which are of second order, well, it's not a pure first order theory, but when I say a first order theory in this context, what I really mean.
| |
| [02:00:22] I mean is that the second order equations are completely redundant on the first order equations. By virtue of the symmetry principle, that is any solution of the first order equation should automatically apply, imply his solution of the second order equation. So from that perspective, I can pretend that this isn't here because it is sufficient to solve the first order equations.
| |
| [02:00:49] So I can now look. Let's call that entire replacement,
| |
| [02:00:59] which we previously called alpha. I mean that alpha equal to Upsilon because I've actually been using Upsilon. The portion of that is just the first order equations and take the norm square of that. That gives me a new Lagrangian, and if I solve that new Lagrangian, it leads to equations of motion.
| |
| [02:01:17] That look like exactly what we said before.
| |
| [02:01:28] And it ends up defining an operator that looks something like this, $d_A^*$, the adjoint of the operator.
| |
| [02:02:01] So in other words, this piece gives you some portion that looks like right from the swervature tensor there’s going to be some component that's playing the role of Einstein's field equations directly and the Ricci tensor, but generalized. And then you're going to have some differential operator here so that the replacement for the yang mills term instead of $d_A^*$ of FAA, you've got these two an F .
| |
| [02:02:26] and an adjoint together in the center, generalizing the yang mills theory. You say, well, how come we don't just see the yang mills theory? Why don't we see general relativity as well? But in the full expansion there's also a term with zeroth order that's effectively acting like the identity.
| |
| [02:02:45] Which hits this as well. So you have one piece that looks like the yang mills theory, and in these second order equations, you also have a piece that looks like the Einstein theory. And this is in the vacuum equations. So then the question is how do you see the Dirac theory coming out of this? And so what we're just trying to put together now before we come out with the manuscript for this is.
| |
| [02:03:14] Putting these two elliptic complexes together, the Dirac terms go between the two complexes, right? So the idea is that the stress energy tensor,should be the up and back term and the Dirac equations should come out of the term that goes up and over versus the term that goes over and up, and you need some cancellations to make sure that everything is of zeroth order properly invariant, etc.
| |
| [02:03:39] And that's taking a little time because frankly, I'm not good at keeping track of indices minus signs left, right? That it's a learning disabled nightmare.
| |
| [02:03:53] So
| |
| [02:03:59] we've got one more unit to go. I mean, there's a fifth unit that has to do with mathematical applications, but this is sort of a physics talk for today. Is there any questions before we go into the last unit and then really handle questions for real? All right, let me show you the next little bit.
| |
| [02:04:18] We've got problems. We're not in four dimensions. We're in 14 we don't have great field content cause we've just got these unadorned spinors and we're doing gauge transformations effectively on the intrinsic geometric quantities, not on some safe auxiliary. data. That's tensor product did with with what?
| |
| [02:04:38] Our, our, uh, our spinors are. How is it that we're going to find anything realistic? And then we have to remember everything we've been doing recently has been done on U.
| |
| [02:04:55] We've forgotten about X. Okay. How does all of this look to X.
| |
| [02:05:04] So is sitting down here and all the action is happening up here on you 14 there's a projection operator. I've used pie twice. It's not here. The field contents, just projection. And I've got a Sigma, which is a section. What does Zeta.
| |
| [02:05:27] Okay. Pulled back or nu
| |
| [02:05:38] pulled back look like on $X^4$.
| |
| [02:05:57] All right.
| |
| [02:06:05] Okay. Let's try to think about how we would come up with this field content starting from first principles. Let's imagine that there's nothing to begin with.
| |
| [02:06:21] Then you have one copy of matter, whatever it is that we see in our world, the first generation. In order for that to become interesting, it has to have an equation, so it has to get mapped somewhere. Then we've seen the muon and all the rest of the matter that comes with it. We have a second generation.
| |
| [02:06:44] Then in the mid 1970s. Paul finds the tau particle and we start to get panicked that we don't understand what's going on. One thing we can do is we could move these equations around a little bit and move the equation for the first generation back, and then we can start adding particles. Let's imagine that we could guess what particles we'd add.
| |
| [02:07:10] We'd had a pseudo generation of 16 particles. Spin three halves, never before seen. Not necessarily super partners, but matter with familiar internal quantum numbers, but potentially so that they're flipped. So that matter looks like anti-matter to this generation. Then we add just for the heck of it, 144 spin, one half fermions, which contain a bunch of particles with familiar quantum numbers, but also some very exotic looking particles that nobody's ever seen before.
| |
| [02:07:46] Now we start doing something different. We make an accusation. One of our generations isn't a regular generation. It's an impostor at low energy in a cooled state. Potentially. It looks just the same as these other generations, but where are we somehow able to turn up the energy? Imagine that it would unify differently with this new matter that
| |
| [02:08:09] We've posited rather than simply unifying onto itself. So two of the generations would unify unto themselves, but this third generation would fuse with the new particles that we've already added. We consolidate geometrically. We can add some zero with order terms, and we imagine that there is an elliptic complex that would govern the state of affairs.
| |
| [02:08:36] We then choose to add some stuff that we can't see at all that's dark and this matter would be governed by forces that were dark too. There might be dark electromagnetism and dark, strong, and dark week. It might be that things break in that sector completely differently and it doesn't break down to SU(3) cross SU(2) to cross U(1) because these are different SU(3), SU(2) and U(1)s, and it may be that there would be like a high energy SU(5).
| |
| [02:09:05] You know, or some a Pati-Salam model. Imagine then that chirality was not fundamental, but it was emergent that you had some complex and as long as they were cross terms, these two halves would talk to each other. But if they cross terms went away, the two terms would become decoupled. And just the way we have a left hand and we have a right hand, and you asked me, right?
| |
| [02:09:27] Imagine you have a neurological condition and in an Oliver Sacks sort of idiom. If somebody is only aware of one side of their body and they say, Oh my God, I'm deformed, I'm asymmetric, right? But we actually have a symmetry between the two things that can't see each other,
| |
| [02:09:44] then we would still have a chiral world, but the wouldn't be fundamental. There'd be something else keeping the Fermions light, and that would be the absence of the cross term. Now, if you look at what happens in our replacement for the Einstein field equation. The term that would counterbalance the scalar curvature.
| |
| [02:10:02] If you put these equations on a sphere, they wouldn't be satisfied if the T term had a zero expectation value because there would be non-trivial scalar curvature in the swervature terms, but there'd be nothing to counterbalance it. So it's fundamentally the scalar curvature that would coax the on the augmented torsion out of the vacuum.
| |
| [02:10:22] Yeah. To have a non zero level. And if you pumped up that sphere and it's smeared out, the curvature, which you can't get rid of because of topological considerations, let's say from Churn Bay theory, you would have a very diffuse, very small term. And that term would be the term that was playing the role of the cosmological constant.
| |
| [02:10:44] So when a large universe, you'd have a curvature that was spread out. And things would be very light and things would get very dark due to the absence of curvature linking the sectors.
| |
| [02:11:01] And that turns out to be exactly our complex.
| |
| [02:11:07] So in other words, just to recap, starting with nothing other than a four manifold, we built a bundle. U. The bundle U had no metric, but it almost had a metric and had a metric up to a connection. There was another bundle on top of that bundle called the chimeric bundle. The chimeric bundle had an intrinsic metric.
| |
| [02:11:29] We built our spinors on that. We restricted ourselves to those spinors. We moved most of our attention to the emergent metric on U 14 which gave us a map between the chimeric bundle and the tangent bundle of U 14 we built a tool kit allowing us to choose symmetric field content to define equations of motion on the cotangent space of that field.
| |
| [02:11:57] 10 to form a homogeneous vector bundle with the Fermions to come up with unifications of the Einstein field equations, yang mills, equations, and Dirac equations. We then broke those things apart under decomposition, pulling things back from U 14 and we found a three generation model where nothing has been put in by hand and we have a 10 dimensional normal component, which looks like the spin 10 theory.
| |
| [02:12:34] I can tell you where there are problems in this story. I can tell you that when we moved from Euclidean metric to Minkovski metric, we seem to be off by a sign somewhere. Or I could be mistaken. I could tell you that the propagation in 14 dimensions has to be worked out so that we would be fooled into thinking we were on a four dimensional world.
| |
| [02:12:53] There are lots of things to ask about this theory, but I find it remarkable that tying our hands, we find ourselves with new equations unifications and three-generation. In a way that seems surprisingly rich, certainly unexpected. Um, and I think I'll stop there. Thank you very much for your time.
| |
| [02:13:25] so thanks for watching that video. What I thought I would do since, uh, that was the first time I'd really presented the theory at all in public and had gotten somewhat turned around on my trip to England and trying, uh, probably stupidly to do last minute corrections. Got me a bit confused in a few places, and I wrote some things on the board I probably shouldn't have.
| |
| [02:13:48] I thought I would try a partial explainer for technically oriented people so that they're not mystified by the video . Yeah. Um, and any errors here or my own, uh, I'm known to make many. So, uh, hopefully they won't be too serious, but we'll find out. So this is a supplementary explainer for the geometric unity talk at Oxford that you just saw.
| |
| [02:14:15] First of all, I think the most important thing to begin with is to ask what new hard problems arise when you're trying to think about a fundamental theory that. aren't found in any earlier theory. Now every time you have an effective theory, which is a partial theory, there is always the idea that you can have recourse to a lower level strata.
| |
| [02:14:36] So you don't have to explain, in some sense, everything coming from very little or nothing. I think that the really difficult issue that people don't talk enough about. Is the problem of the fire that lights itself. And I think this was beautifully demonstrated by MC Escher in his famous lithograph, drawing hands where he takes the idea of the canvas or the paper as a given, but somehow he imagined that the canvas could will into existence.
| |
| [02:15:08] The ink needed to draw the hands that move the pen, the draw the hands. Um. That concept is actually the super tricky part, in my opinion, about going from effective theories to any attempt at a fundamental theory. So with that said, what I want to think about is what antecedents does this concept have in physics.
| |
| [02:15:32] And I find that there really aren't any candidate, um, theories of everything are unified field theories that I can find that plausibly give us an idea of. Of how a canvas would will an entire universe into being. And so that really to me is the conceptual problem that I think bedevils this and makes, uh, the step quite a bit more difficult than some of the previous technical steps.
| |
| [02:16:00] If you ask for antecedents, however, there is one that, at least within physics, is relatively famous, and that is by John Archibald Wheeler. And it is a picture in some sense of the universe contemplating itself. And so this idea that somehow the universe would contemplate itself into existence, um, maybe the letter U is in some sense analogous to the paper and somehow the eye, uh, rather than the hands.
| |
| [02:16:25] And, uh, is drawn across to look at a different part of the, of the U. And whether or not that has meaning is intrinsically always a question. People are animated by it, but I don't know that people have actually worked on it. The quote of Einstein's, I think that really speaks to me often the most, and maybe even was my thesis problem, was a, he.
| |
| [02:16:48] Just whether the creator had any choice in how the universe was constructed. And so I think if you believe that the canvas is itself, um, the,
| |
| [02:17:03] that which generates, um, all of the content and all of the action, you're, you're left with a puzzle as to how would you move forward from this? It might be easier in a mathematical sense, uh, to temporarily. put the U on its back, to put it more in line with a standard picture that many mathematicians and physicists will be familiar with.
| |
| [02:17:28] In sector one of the geometric, uh, unity theory space time is replaced and recovered by the observerse contemplating itself. And so there are several sectors of GU and I wanted to go through a, at least four of them. In Einstein space time. We have not only four degrees of freedom, but also a space time metric representing rulers and protractors.
| |
| [02:17:56] If we're going to replace that. It's very tricky because it's almost impossible to think about what would be underneath Einstein’s theory. Now, there's a huge problem in the spinorial sector, which I don't. why more people don't worry about which is that spinors aren't defined for representations of the double cover of GL four R the general linear group’s.
| |
| [02:18:18] effective spin analog. And as such, if we imagine that we will one day quantize gravity, we will lose our definition, not of the electrons, but let's say of the medium in which the electrons operate. That is, there will be no spinorial bundle until we have an observation of a metric. So one thing we can do.
| |
| [02:18:39] Is to take a manifold $X^d$ as the starting point and see if we can create an entire universe from no other data and not even with the metric. So since we don't choose a metric, what we instead do is to work over the space of all possible point-wise metrics. So not quite in the Feynman sense, but in the sense that, um, we will work over a bundle that is of.
| |
| [02:19:06] A quite larger, quite a bit larger dimension. So for example, if X, uh, was a four dimensional, therefore d equals four, then Y in this case would be d squared, which would be 16 plus three d, which would be 12 making 28 divided by two, which would be 14. So in other words, a four dimensional universe, or sorry, a four dimensional proto space time, not a space-time, but a produce based on, with no metric would give rise to a 14 dimensional.
| |
| [02:19:36] Um, observerse portion called Y. Now, I believe that in the lecture in, um, Oxford, I called that U, so I'm sorry for the confusion, but of course, this shifts around every time I take it out of the garage. And that's one of the problems with working on a theory in solitude for many . So we have two separate spaces and we have fields on the two spaces.
| |
| [02:20:02] Now what I'm going to do as I'm going to refer to fields on the X^d space by Hebrew letters. So instead of $G_{\mu \nu}$ for a metric, I just wrote a hebrewwordsidon’tknow. And the idea being that I want to separate Latin and Greek fields on the Y space from the, uh, rather rarer field that actually lived directly on X.
| |
| [02:20:27] So this is a little bit confusing. One way of thinking about it is to think of the observerse as the stands plus the pitch in a stadium. I think I may have said that in the, in the lecture, but this is what replaces the questions of where and when. In the newspapers story. That is a fundamental theory where and when correspond to space and time.
| |
| [02:20:49] Who and what correspond to Boseons and Fermi ions and how and why correspond to. Um, equations and the Lagrangian that generates them. So if you think about those six quantities, you'll realize that that's really what the content of a fundamental theory is, assuming that it can be quantized properly, most fields.
| |
| [02:21:10] Uh, and in this case, we're going to call the collection of two tuples. Omega. So the inside of Omega that will be in the first Tuple will have Epsilon and Pi written sort of an nontraditional variation of how we write this symbol for Pi. In the second Tuple, we'll have the letters, uh, nu and zeta. And I would like them not to move because they honor particular people who are important.
| |
| [02:21:36] So most fields, in this case, Omega, um, are dancing on . Y, which was called U in the lecture, unfortunately, but they are observed via pullback as if they lived on X. In other words, if you're sitting in the stands, you might feel that you're actually literally on the pitch, even though that's not true. So what we've done is we've taken the U of Wheeler, we've put it on its back and created a W structure
| |
| [02:21:59] And the W structure is meant to say that there's a bundle on top of a bundle. Again, geometric unity is more flexible than this, but I wanted to make the most concrete approach to this possible for at least this introduction in sometimes. Yeah. We don't need to state that. Y would in fact be a bundle?
| |
| [02:22:20] A, It could be an immersion of X into any old manifold. But I, I'd like to go with the most ambitious version of GU first. So the two projection maps are Pi two and Pi one. And what we're going to say up top is that we're going to have a, uh, a symbol Z and an action of a group rho on Z, standing in for any bundle associated to the principle bundle, which is generated as the unitary bundle of the spin of the spinors on the chimeric tangent bundle to Y.
| |
| [02:22:54] It's a bit of a mouthful, but the key issue was that on the manifold Y, there happens to be a bundle, which is isomorphic non-canonicaly. to the tangent bundle of Y, which, uh, has a definite, um, and canonical metric. And in fact, there that carries the spinors. So this is the way in which we get spinors without ever having to choose a metric.
| |
| [02:23:17] But we pick up some technical debt to use the computer science concept by actually having to now work on two different spaces, X and Y. And we're not merely working on X anymore.
| |
| [02:23:30] This leads to the Mark of Zorro. That is, we know that whenever we have a metric by the fundamental theorem of Remannian geometry, we always get a connection. It happens, however, that what is missing to turn the canonical. chimeric bundle on Y into the tangent bundle of Y is in fact a connection on the space X.
| |
| [02:23:52] So there is one way in which we've reversed the fundamental theorem of Remannian in geometry where a connection on X leads to a metric on Y. So if we do the full transmission mechanism out, a Gimmel on X leads to alpha sub Gimmel for the Levi Civita connection on X. Alpha sub Gimmel live leads to a G sub alpha, which is, or sorry, the G sub Alef.
| |
| [02:24:17] Um, I'm not used to using Hebrew, uh, in, in math. Um, so G sub Alef, uh, then is a metric on Y and that creates a Levi Civita connection of the metric on the space Y as well, which then induces one on the spinorial levels. In sector two the inhomogenous gauge group on Y replaces the Poincare. Group and the internal symmetries that are found on X.
| |
| [02:24:50] And in fact, you use a Fermionic extension of the inhomogeneous gauge group to replace the supersymmetric Poincare group, and that would be with the field content, zero forms, tensors and spinner, tensors with spinors, a direct, sum one forms tensor to spinors all up on Y as the Fermionic field content.
| |
| [02:25:09] So that gets rid of the biggest problem because the internal symmetry group is what causes the failure, I think, of supersymmetric particles to be seen in nature, which is we have to have two different origin stories, which is a little bit like Lilith and, uh, and Genesis. Um. We can't easily say we have a unified theory.
| |
| [02:25:32] If space time and the SU(3) cross SU(2) cross U(1) group that lives on space-time have different origins and cannot be related. In this situation, we tie our hands and we have no choice over the, the uh, group content. So just to fix bundle notation, we let H, um, be the structure group of a bundle piece of H over a base space B.
| |
| [02:25:56] We use pi, um, for the projection map. We've reserved the variation in the pi. Um, orthography. For the field content and we try to use right principal actions. I'm terrible with left and right, but we do our best. Uh, we use H here, not G because we want to reserve G for the inhomogeneous extension of H once we moved to function spaces.
| |
| [02:26:23] So with function spaces, we can, um, take the bundle of groups. Using the adjoint action of H a on itself and form the associated bundle, and then move to C infinity sections to get the so-called gauge group of auto morphisms. We have a space of connections, typically denoted by A, and we're going to promote a Omega one, a tensor in the adjoint bundle to a notation of.
| |
| [02:26:54] Script N a as the affine group, which acts directly on the, um, space of connections. Uh, okay. Now the inhomogeneous gauge group is formed as the semi direct product of the gauge group of auto morphisms together with the affine group of translations of the space of connections. And. And you can see here is a version of an explicit group multiplication rule.
| |
| [02:27:26] I hope I got that one right. And then we have an action of G that is the inhomogeneous gauge group on the space of connections, because we have two different ways to act on connections. We can either act by gauge trans transformations, or we can act by affine translations. So putting them together gives us something for the inhomogeneous gauge group too.
| |
| [02:27:46] We then get a bi connection. In other words, because we have two different ways of pushing a connection around. If we have a choice of a base connection, we can push the base connection around in two different ways according to the portion of it that is, uh, coming from the gauge transformations, uh, curly H or the affine translations coming from curly N.
| |
| [02:28:10] Yeah. We can call this map the bi connection, which gives us two separate connections for any point in the, uh, inhomogeneous gauge group. And we can notice that it can be viewed, um, as a, uh, a section of a bundle over the base space to come. . We find an interesting embedding of the gauge group that is not the standard one in the inhomogeneous gauge group.
| |
| [02:28:42] So our summary diagram looks something like this. Uh, take a look at the Taus of $A_0$. We will find a homeomorphism of the gauge group into its inhomogeneous extension that isn't simply inclusion under the first factor. We, um, and I'm realizing that I have the wrong pi production. That should just be as simple pi, projecting down, we have a map from the inhomogeneous gauge group, uh, via the, bi connection to A cross A connections cross connections, and that that behaves well according to the difference operator Delta that takes the difference of two connections and gives an honest add value one form
| |
| [02:29:23] Okay. The infinitesimal action of the gauge transformation of a gauge transformation, or at least an infinite testable one on a point inside of the group is given by a somewhat, almost familiar expression, which should remind us of how the first term in the gauge deformation complex, um, for self dual yang mills actually gets started.
| |
| [02:29:47] And so by acting via this, um, interesting , uh, embedding of the inhomogeneous gauge group on, sorry, the embedding of the gauge group inside it's inhomogeneous extension, but the non-trivial one, we get something very close to the original first step of the two step deformation complex. Now in sector 3, there are payoffs to the magic beans trade.
| |
| [02:30:14] The big issue here is, is that we've forgone the privilege of being able to choose and dial in our own field content, and we've decided to remain restricted to anything we can generate only from $X^d$, in this case $X ^4$. So we generated $Y^14$ from $X^4$. And then we generated chimeric tangent bundles. Uh, on top of that, we built spinors off of the chimeric tangent bundle, and we have not made any other choices.
| |
| [02:30:42] So we're dealing with, I think it's $U^128$, um, w you, $U^{2^7}$. That is our, uh, structure group and we, it's fixed by the choice of $X^4$ not anything. So what do we get? Well, as promised, there is a tilted homomomorphism um, which, uh, takes the gauge group into its inhomogeneous extension. It acts as inclusion on the first factor, but it uses the Levi Civita connection to create a second sort of Maurer Cartan form.
| |
| [02:31:17] I hope I remember the terminology right. It's been a long time. Um. The map is injective because it's injective under the first factor, but it actually gives us a nontrivial embedding of the, uh, gauge group in its, inhomogeneous extension, which makes the whole theory work. We then get to Shiab operators now, a shiab operator, um, is a map from the group crossed the add valued i forms.
| |
| [02:31:43] h, in this case, the particular Shiab operators we’re interested in is mapping. i form is to d minus three, plus i forms. So, for example, uh, you would map a two form to a d minus three plus i. So if d, for example, were, um, 14, then, uh. Um, and, and i were equal to two. Then 14 minus three is equal to 11.
| |
| [02:32:17] Uh, plus two is equal to 13. So that would be, uh, an add valued, uh, 14 minus one form, which is exactly the right place for something to form a current. That is the differential of a Lagrangian on the space.
| |
| [02:32:38] Now the augmented torsion, the torsion is a very strange object. It's introduced sort of right at the beginning of learning a differential geometry, but it really doesn't get used very much. One of the reasons it doesn't get used, gauge theory is that it's not gauge invariant. It has a gauge and variant piece to it, but then a piece that spoils the gauge invariant.
| |
| [02:32:56] But we, because we have two connections, one of the ideas was to introduce two diseases and then to take a difference, and as long as the disease is the same in both, um, the difference will not have the disease because both diseases are included, but with a minus sign between them. So the augmented torsion is relatively well behaved relative to this particular, uh, slanted or tilted embedding of the gauge group in its inhomogeneous extension.
| |
| [02:33:28] Which this is very nice because now we actually have a use for the torsion. We have an understanding of why it may never have figured, particularly into geometry, is that you need to have two connections rather than one to see the advantages of torsion at all. So here's an example of one ship in a bottle operator.
| |
| [02:33:47] I think this would be sort of analogous, if I'm not mistaken, to trying to take the Ricci curvature from the entire Riemann curvature, but if you think about what Einstein did, Einstein had to go further and reduce the Ricci curvature to the scalar curveature. Sure. And then, uh, sort of dial the components of the Traceless Ricci and the scalar curvature to get the right proportions.
| |
| [02:34:11] So, um, there are many, she have operators and you have to be very careful about which one you want. And once you know exactly what it is you're trying to hit, you can choose the Shiab operator to be bespoke, um, and get the contraction that you need. Now I've, I've made you guys sit through a lot. So I wanted to give you a sort of humorously, a, uh, a feeling, um, of positivity for the exhaustion.
| |
| [02:34:41] So the years of anxious searching in the dark, but their intense longing. Their intense alternation of confidence and exhaustion in the final emergence into the light. Only those who have experienced it can understand it. I've just always thought this was like the most sensitive and beautiful quote, and I wish it were one of his better known quotes, but I think it's so singular that it's hard to, it's hard to feel what it was that he was talking about because in fact, he sort of explains this in the last line.
| |
| [02:35:10] So, given that you've been on a long journey, here is something of what a geometric unity equations might look like. So in the first place you have the swerved curvature, the Shiab applied to the curvature tensor. That in general, does not work out to be exact, so you can't have it as the differential of a Lagrangian.
| |
| [02:35:31] And in fact that we talked about swirls, swerves twirls eddies. Um, there has to be a quadratic Eddy tensor. That, uh, I occasionally forget when I pull this thing out of mothballs and the two of those together make up what I call the total swervature. And on the other side of that equation, you have the displaced torsion, which I've called the dysplasian.
| |
| [02:35:54] Um, and to get rid of the pesky sort of minus sign and Hodge star operator. Um, this would be the replacement for the Einstein equation, not on X where we would perceive it, but on Y before being pulled back onto the manifold X. So a condensation of that would be very simple. In simplest terms, we would be saying that the swervature is equal to the dysplasia, and at least in this sector of the four main equations.
| |
| [02:36:25] Of theoretical physics. This would be the replacement for the Einstein equations, again, on Y before being pulled back to X. Next is the sketch of the fermionic field content. I'm not sure whether that should have been sector four, sector three, but it's going to be very brief. Uh, I showed some pictures during the lecture and I'm not going to go back through them, but I wanted to just give you an idea of where this mysterious third generation I think comes.
| |
| [02:36:55] So if we review the three identities here, we see that if we have a space V thought of like as a tangent bundle, and then you have spinors built on the tangent bundle when you product tensor product. The tangent bundle with its own spinors, it breaks up into two pieces. One piece is the so called cartan product, which is sort of the, some of the highest weights and the other is a second copy of the spinors gotten through the Clifford contraction.
| |
| [02:37:28] So that's well known, but now what I think fewer people know, many people know that the spinors have a sort of an exponential property that is the spinors of a direct sum are the tensor product the spinors of the two sum ends of the direct sum. So that's a very nice sort of version of an exponential and exponential would take a sum and turn it into a product.
| |
| [02:37:52] Um, what happens when you're trying to think about a tangent space in Y is being broken up into a tangent space along an immersed X. Together with its normal bundle. So imagine that X and Y are the tangent space to X and a normal bundle. So the Rarita Schwinger piece that is the spin three halves piece has a funny kind of an, almost a exponential property that is the Rarita Schwinger, uh, content of a direct sum of vector spaces is equal to the Rarita Schiwnger of the.
| |
| [02:38:31] First, tensor producted with the ordinary spinors in the second direct sum with the ordinary spinors in the first tensor producted with the Ricci, with the, sorry, the Rarita Schwinger content of the second summand. but then there's this extra interesting term, which is the spinors on the first summand tensor producted with the spinors on the second summand.
| |
| [02:38:53] Now recalling that. Um, when I started my career, we did not know that neutrinos were massive. And I figured that they probably had to be massive because I desperately wanted a 16 dimensional space of internal quantum numbers, not 15, because my, my ideas only work if the space of internal quantum numbers as a dimension to to the n.
| |
| [02:39:14] And, uh, one of my favorite equations at the time was 15 equals two to the four. Uh, not literally true, but almost true. And thankfully in the late 1990s, uh, the case for, uh, 16 particles in a generation was strengthened when neutrinos were found to have mass. But that remaining term in the South East corner, the, uh, spinors on X tensor spinors on Y looks like the term above it in line 2.15
| |
| [02:39:46] And that in fact is the third generation of matter, in my opinion. That is, it is not a true generation. It is broken off and would unify very differently if we were able to heat the universe to the proper temperature. So starting to sum up, this is not the full theory. I'm just presenting this in part to dip my toe back into the water.
| |
| [02:40:12] It's a daunting task to try. Address, uh, people about something you've been thinking about for a long time and have no idea whether it's even remotely correct. This is the Einsteinian replacement and it must be pulled back to X. That's the first thing. The yang mills, Maxwell piece comes from a direct square of the Einstein replaceme
| |
| [02:40:29] That is, I don't believe that we're really looking for a unifying equation. I think we're looking for a unifying direct square. Dirac famously took the square root of the Klein-Gordon equation, and he gave. Um, the Dirac equation. And in fact, I believe that the Dirac equation and the Einstein equation are to be augmented and fit into the square root part of a direct square.
| |
| [02:40:55] And I believe that the yang mills content and Higgs version of the Klein Gordon equation would go in the square part of the direct square. So two of these equations unified differently than to others. And the two pairs are unified in the content of a direct square. Um, the direct piece will be done separately elsewhere.
| |
| [02:41:20] When you get around to it, um, and contains the Rarita-Schwinger field content, which is fundamental and new. There are only two generations in this model. I think people have, um, accepted that there are three, but I don't believe that there are three. I think that there are two and that the third unifies with other matter at higher energies.
| |
| [02:41:39] The quartic Higgs piece comes from the direct squaring of a quadratic. Remember, there's a, an Eddy tensor, which is quadratic in the augmented torsion. The metric does multiple duties. Uh, here is, it's the main field in this version of GU with the sort of strongest assumptions as field content on that is originally on X, um, where as most of the rest of the field content is on Y.
| |
| [02:42:06] But it also acts as the observer pulling back the full content of Y, uh, onto X to be interpreted as if it came from X all along, generating the internal the, the sort of illusion of internal quantum numbers. And I should say that the Pati-Salam theory, which is usually advertised as I think as SU(4) cross SU(2) cross SU(2) is really much more naturally spin six cross spin four, uh, when the trace portion of the space of metrics is put in with the proper sign.
| |
| [02:42:40] If you're trying to generate the sector. that begins as X one comma, three. Remember $X^d$, where d equals four is the generic situation. But you have all these different sectors. I believe that these sectors probably exist if this model's correct, but we are trapped in the one three sector.
| |
| [02:43:00] So you have to figure out what the implications are for pushing that, uh, indefinite signature up into an indefinite signature on the Y manifold. And. And, uh, there are signatures that make it look like the Pati-Salam rather than the, uh, directly in the spin 10, SU(5) line of thinking. So we will attempt to present the full theory.
| |
| [02:43:22] Shortly. Keep in mind, this took seven years to just bring me to want to come back to this, but it must be reassembled from decades of notes, and that's part of the problem when you're working alone and you're not really expecting to talk to anybody. So I want to thank you for your patience and your time.
| |
| [02:43:39] and I just want to read a bunch of names that people who mattered to me, and if I've done anything wrong, uh, this is not no reflection on them. Marcus does. So toy Peter teal is the door singer bot Michael Grossberg, idle Abdul Ali, Harry and Sophie Rubin, Bret Weinstein and family. Heather highing and Zach and Toby.
| |
| [02:43:59] Peter fried Scott axle rod Nima are Connie ed Louise, other as Gumay. Edward. Uncle drawer, barn Aton Shlomo Sternberg David caused on Daniel bar K Karen and Les Weinstein, Hanes Miller, Ralph Ghamari, John Tate, Sidney Coleman, Graham seagull, Robert Herman, and here in Esther Malani, uh, errors and omissions because I've too many people to thank our, um, our all my own is, as for the claims that should reflect badly on no one else other than myself.
| |
| [02:44:31] In most, especially, I just want to say that I've asked a tremendous amount from my family to stick with me on this quixotic quest. Um, and I want to thank Pam Alani, NILAH Weinstein, and Zev Weinstein. I love you all very much, and thank you for making this possible. Uh, I do want to leave you with one thought.
| |
| [02:44:51] I really think that we've gotten completely bent out of shape about trying to force a formalize and routinize science. It doesn’t work. You cannot mandate sciences, social engineering. You can't decide that science is always in the zeitgeists and done by committee. In fact, it is essential to understand that science will not conform to what you want.
| |
| [02:45:13] One of the things that I, I'm very proud of, I think is quite true. Um, is the saying that great science. Um, has the scientific method as its radio edit. I don't think that great science is actually done the way we say it's done. And I think that directs 1963 scientific American article should be read by absolute absolutely everyone.
| |
| [02:45:37] Every time major theories have come out, they've almost always been wrong, but they're not wrong in an important. Way and I think that we have to fix the political economy of people racing to correct theories or point out that there is no agreement with the experiment. We are killing many of our best ideas by creating a terrible and combative environment, which already attempts to apportion credit for work.
| |
| [02:46:05] And more importantly, risk, uh, undertaken by individuals. And I just think that, I want people to understand that. I've always wanted to share this, but I, I, I detest the culture that I saw that cropped up around what is now become known as the cyber Whitten equations when they were put forward. There was a period of time where I watched people, uh, as if it a feeding trough, uh, trying to stay up around the clock to use a new machine tool that had been given to them to claim.
| |
| [02:46:38] Credit and it profoundly pushed me away from the community. We have to become more ethical and we have to honor the people who are trying to speak and act imaginatively. Now, if this doesn't work, if it's silly, uh, I'll have egg on my face and I'll go on, I'll be fine. But I'm very worried that maybe some of the best ideas are between the ears of people without the confidence in the chutzpah and just the.
| |
| [02:47:08] Sort of almost psychotic drive to push things across the finishing line. We've got to be kinder and nicer and more decent and stop stealing people's lives, their credit, their future, uh, and their ability to have families and make a living. And that's absolutely essential. Well to me, and I look forward to finding out whether this theory has merit to it or is without merit, but I guarantee that if I'm going to go down with the ship, I'm also not going to be knocked off the ship as I was many years ago.
| |
| [02:47:39] Completely unfairly, and I won't dwell on it. But the amount of power you professors have is absolutely, um, almost without parallel because nobody really understands enough to adjudicate disputes that happen in academics. I'm going to insert. Just that we fund you better and that you are nicer to the people who depend upon you in this beautiful chain that we call a science, scientific method.
| |
| [02:48:08] And most particularly a American science, which I think is still the envy of the world. So you've been through the portal. I know it was a long slog. I hope you found it interesting and enjoyable and we'll see you again soon. Be well, everybody stay safe.
| |