Jump to content

A Portal Special Presentation- Geometric Unity: A First Look: Difference between revisions

no edit summary
No edit summary
(35 intermediate revisions by 7 users not shown)
Line 1: Line 1:
== Description ==
{{EpisodeInfoBox
|title=Geometric Unity: A First Look
|image=[[File:The-portal-podcast-cover-art.jpg]]
|length=02:49:23
|releasedate=2 April 2020
|youtubedate=2 April 2020
|customlabel1=
|customdata1=
|customlabel2=
|customdata2=
|customlabel3=
|customdata3=
|customlabel4=
|customdata4=
|art19=[https://art19.com/shows/the-portal/episodes/1d49f5d9-c0ff-470d-bcaf-23348dad8ad4 Listen]
|download=[https://rss.art19.com/episodes/1d49f5d9-c0ff-470d-bcaf-23348dad8ad4.mp3 Download]
|youtube=[https://www.youtube.com/watch?v=Z7rd04KzLcg Watch]
|link4title=Blog Post
|link4=[https://theportal.group/a-portal-special-presentation-geometric-unity-a-first-look/ Read]
|prev=ep28
|next=ep29
}}


A Portal Special Presentation- Geometric Unity: A First Look
A Portal Special Presentation- Geometric Unity: A First Look


 
{{#widget:Art19Episode|show=the-portal|id=1d49f5d9-c0ff-470d-bcaf-23348dad8ad4|width=56%}}
<span class="button">[[ep28 | << Previous Episode]]</span> <span class="button">[https://art19.com/shows/the-portal/episodes/1d49f5d9-c0ff-470d-bcaf-23348dad8ad4 Listen to Presentation]</span> <span class="button">[https://rss.art19.com/episodes/1d49f5d9-c0ff-470d-bcaf-23348dad8ad4.mp3 Download Presentation (mp3)]</span> <span class="button">[https://www.youtube.com/watch?v=Z7rd04KzLcg Watch Presentation]</span> <span class="button">[[ep29 | Next Episode >>]]</span>
 
 
[[All Episodes]]


== Community Notes ==
== Community Notes ==
* https://docs.google.com/document/d/1gPU_bJR5wBs7MCsNGCW5Y06Jh3SzarX5OnJHyLxQfDQ/edit
* https://docs.google.com/document/d/1gPU_bJR5wBs7MCsNGCW5Y06Jh3SzarX5OnJHyLxQfDQ/edit


Line 17: Line 33:


== Transcript ==
== Transcript ==
[https://theportal.wiki/images/b/b9/Geometric-Unity-A-First-Look_-_YouTube.vtt Raw transcript file]
<small>[https://theportal.wiki/images/b/b9/Geometric-Unity-A-First-Look_-_YouTube.vtt Raw transcript file]</small>


===== Geometric Unity: A First Look =====
===== Geometric Unity: A First Look =====
Line 95: Line 111:
<p>[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 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.
<p>[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 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.


<p>[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 [[telomere]]s where it was thought that all mice had long, radically elongated telomeres which has incredible potential implications for drug testing and all of the work that is done on laboratory, rodents as model organisms.
<p>[00:16:05] Now, when she listened to [[19: Bret Weinstein - The Prediction and the DISC|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 [[Telomere|telomeres]] where it was thought that all mice had long, radically elongated telomeres which has incredible potential implications for drug testing and all of the work that is done on laboratory, rodents as model organisms.


<p>[00:16:43] This is 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.
<p>[00:16:43] This is 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.
Line 175: Line 191:
<p>[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 for coming to my assistance, making sure that I got a postdoc at MIT, despite not having any publications at all.  
<p>[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 for coming to my assistance, making sure that I got a postdoc at MIT, despite not having any publications at all.  


<p>[00:32:56] I'd like to think Raoul Bott, who's no longer with us. 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. 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 401(k), to buy a house. And, to begin coming back to regular society after a very difficult and strained career.  
<p>[00:32:56] I'd like to thank Raoul Bott, who's no longer with us. 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. 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 401(k), to buy a house. And, to begin coming back to regular society after a very difficult and strained career.  


<p>[00:33:21] I'd like to thank Adil Abdulali and Michael Grossberg. 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.
<p>[00:33:21] I'd like to thank Adil Abdulali and Michael Grossberg. 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.
Line 200: Line 216:
I first met Eric Weinstein when we were both post-docs 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.
I first met Eric Weinstein when we were both post-docs 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.


<p>[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 route working in economics, government, and finance.
<p>[00:36:24] And we began, he began to explain the mathematics he had been 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 route working in economics, government, and finance.


<p>[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.
<p>[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.
Line 206: Line 222:
<p>[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.
<p>[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.


==== Beginning of the lecture ====
==== GU I: The Observerse ====


===== Introductory Remarks =====
====== Introductory Remarks ======
<span style="color:#de2898;">'''Eric Weinstein: '''</span>[00:37:51] So it's a great pleasure to be here in Oxford. For those of you who are not aware it is possible that no other university in the world has kept the faith for so long with Einstein's great vision of a final theory for physics as a theory of pure geometry, a sort of elegance and simplicity of the highest order.
<span style="color:#de2898;">'''Eric Weinstein: '''</span>[00:37:51] So it's a great pleasure to be here in Oxford. For those of you who are not aware it is possible that no other university in the world has kept the faith for so long with Einstein's great vision of a final theory for physics as a theory of pure geometry, a sort of elegance and simplicity of the highest order.


Line 219: Line 235:
<p>[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.
<p>[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.


<p>[00:39:47] Marcus asked me to begin presenting these ideas here. And hopefully this is the first opportunity, but if the ideas are not good then lighting on the aisles will lead you to safety and your exits may be behind you. But, in the event of a good flight , hopefully this will begin a conversation rather than be the end of one.
<p>[00:39:47] Marcus asked me to begin presenting these ideas here. And hopefully this is the first opportunity, but if the ideas are not good, then lighting on the aisles will lead you to safety, and your exits may be behind you. But, in the event of a good flight, hopefully this will begin a conversation rather than be the end of one.


<p>[00:40:10] I feel in some sense that I'm presenting the works of another man, a younger man. Someone who came of age right in the middle of the great string theory boom. 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 ten 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.
<p>[00:40:10] I feel in some sense that I'm presenting the works of another man, a younger man. Someone who came of age right in the middle of the great string theory boom. 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 ten 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."


<p>[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 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.
<p>[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 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.
Line 231: Line 247:
<p>[00:41:41] So in that spirit, let us begin.
<p>[00:41:41] So in that spirit, let us begin.


===== Physics in the 21st Century =====
====== Physics in the 21st Century ======


<p>[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? [[Edward Witten|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.
<p>[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? [[Edward Witten|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.
Line 239: Line 255:
<p>[00:43:12] And, of course, I'm running into the margin. Okay.
<p>[00:43:12] And, of course, I'm running into the margin. Okay.


<p>[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.  
<p>[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.  


<p>[00:43:47] The second fundamental insight... I'm going to begin to start drawing pictures here as well.
<p>[00:43:47] The second fundamental insight... I'm going to begin to start drawing pictures here as well.


<p>[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" x SU(2) "weak" x U(1) "weak hypercharge", which breaks down to SU(3)xU(1), where the broken U(1) is the electromagnetic symmetry.
<p>[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 from a non-Abelian group, which is currently SU(3) "color" x SU(2) "weak" x U(1) "weak hypercharge", which breaks down to SU(3)xU(1), where the broken U(1) is the electromagnetic symmetry.


<p>[00:44:54] This equation is also a curvature equation, the corresponding equation, the curvature of an auxiliary structure known as a gauge potential when differentiated in a particular way is equal, again, 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.
<p>[00:44:54] This equation is also a curvature equation. The corresponding equation, the curvature of an auxiliary structure known as a gauge potential when differentiated in a particular way is equal, again, 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.


<p>[00:45:44] The third point surrounds the matter in the system.
<p>[00:45:44] The third point surrounds the matter in the system.
Line 253: Line 269:
<p>[00:46:12] One of the great insights 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.
<p>[00:46:12] One of the great insights 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.


<p>[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]].
<p>[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]].


<p>[00:47:15] Let me, for consistency, say "matter is asymmetric", okay. "and therefore light".
<p>[00:47:15] Let me, for consistency, say "matter is asymmetric", okay. "and, therefore [also], light".


<p>[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 [be] treated in quantum mechanical fashion or quantum field theoretic [fashion]. So it's a bit of an after-market modification, rather than his opinion at the time, [or] one of the core insights.
<p>[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 [be] treated in quantum mechanical fashion or quantum field theoretic [fashion]. So it's a bit of an after-market modification rather than, in his opinion at the time, one of the core insights.


<p>[00:48:07] I actually think that that's in some sense about right. No. One of my differences with the [modern-day physics] community in some sense is I question whether the quantum isn't in good enough shape. 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, [but only] relative to the current formulations of these theories.
<p>[00:48:07] I actually think that that's in some sense about right. No. One of my differences with the [modern-day physics] community -- in some sense -- is I question whether the quantum isn't in good enough shape. 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, [but only] relative to the current formulations of these theories.


<p>[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 true theories 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.
<p>[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 true theories 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.


===== Connecting the Three Observations of Witten =====
====== Connecting the Three Observations of Witten ======
<p>[00:48:54] So what I want to do is I want to 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.
<p>[00:48:54] So what I want to do is I want to 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.


Line 278: Line 294:
<p>[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 is that.
<p>[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 is that.


<p>[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 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 ad-valued two-form, the two-form portion of this and the adjoint portion of this are both associated to the structure group of the tangent bundle.
<p>[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 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 ad[joint]-valued two-form, the two-form portion of this and the adjoint portion of this are both associated to the structure group of the tangent bundle.


<p>[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?
<p>[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?
Line 306: Line 322:
<p>[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?"
<p>[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?"


===== Introduction to Geometric Unity (GU) =====
====== Introduction to Geometric Unity (GU) ======


<p>[00:59:12] So what I'd like to do is I'd like to talk a little bit about what the Geometric Unity (GU) proposal is.
<p>[00:59:12] So what I'd like to do is I'd like to talk a little bit about what the Geometric Unity (GU) proposal is.
Line 322: Line 338:
<p>[01:01:54] So our perspective is that the quantum that may be the comparatively easy part and that the unification of the geometry, which has 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?
<p>[01:01:54] So our perspective is that the quantum that may be the comparatively easy part and that the unification of the geometry, which has 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?


===== A research program for a Unified Theory =====
====== A research program for a Unified Theory ======


<p>[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.
<p>[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.
Line 346: Line 362:
<p>[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.
<p>[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.


===== Four flavors of GU with a focus on the endogenous version =====
====== Four flavors of GU with a focus on the endogenous version ======


<p>[01:06:19] So with that, let us begin to think about what we mean today by Geometric Unity. 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.  
<p>[01:06:19] So with that, let us begin to think about what we mean today by Geometric Unity. 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.  
Line 372: Line 388:
<p>[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. We choose them all.
<p>[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. We choose them all.


===== Choosing All Metrics =====
====== Choosing All Metrics ======


<p>[01:10:36] So we allow $$U^{14}$$ to equal the space of metrics on $$X^4$$ pointwise. 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, at a pointwise tensorial level.
<p>[01:10:36] So we allow $$U^{14}$$ to equal the space of metrics on $$X^4$$ pointwise. 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, at a pointwise tensorial level.
Line 406: Line 422:
<p>[01:16:23] And the next unit of GU. So this is sort of the first unit of GU. Are there any quick questions having to do with confusion or may I proceed to the next unit?
<p>[01:16:23] And the next unit of GU. So this is sort of the first unit of GU. Are there any quick questions having to do with confusion or may I proceed to the next unit?


===== Part II: Unified Field Content =====
==== GU II: From Magic Beans to Unified Field Content ====
====== Magic Beans trade ======
====== Magic Beans trade ======
<p>[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, 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 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$$.
<p>[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, 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 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$$.
Line 455: Line 471:
<p>[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 mast is the Ricci curvature.
<p>[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 mast is the Ricci curvature.


<p>[01:24:30] If you just try to shove it into the bottle, you're undoubtedly going to snap the mast. So, you imagine that you've transformed your gauge fields, you've kept track of where the Ricci curvature was, uou try to push it from one space, like ad-valued two-forms into another space like ad-valued one-forms, where connections live.
<p>[01:24:30] If you just try to shove it into the bottle, you're undoubtedly going to snap the mast. 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 ad[joint]-valued two-forms into another space like ad[joint]-valued one-forms, where connections live.


<p>[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.
<p>[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.
Line 463: Line 479:
====== Unified Content ======
====== Unified Content ======


<p>[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 ad-valued one-forms $$(\Omega^{1}(Ad))$$ as a vector space. The gauge group represents an ad-valued one-forms. So, if we also have the gauge group ($$\mathcal{H}$$), but we think of that instead as a space of sigma fields.
<p>[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 ad[joint]-valued one-forms $$(\Omega^{1}(Ad))$$ as a vector space. The gauge group represents an ad[joint]-valued one-forms. So, if we also have the gauge group ($$\mathcal{H}$$), but we think of that instead as a space of sigma fields.


<p>[01:26:16] What if we take the semi-direct product ($$\ltimes$$) at a group theoretic level between the two and call this our group of interest. Well, by analogy, we've always had a problem with the Poincaré group being too intrinsically tied to rigid, flat Minkowski space. What if we wanted to do quantum field theory in some situation which was more amenable to a curved space situation?
<p>[01:26:16] What if we take the semi-direct product ($$\ltimes$$) at a group theoretic level between the two and call this our group of interest. Well, by analogy, we've always had a problem with the Poincaré group being too intrinsically tied to rigid, flat Minkowski space. What if we wanted to do quantum field theory in some situation which was more amenable to a curved space situation?


<p>[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 $$\Xi$$ here would be analogous to the Lorentz group fixing a point in Mankowski space. And the ad-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 Poincaré group, or rather its double cover to allow spin.
<p>[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 $$\Xi$$ here would be analogous to the Lorentz group fixing a point in Mankowski space. And the ad[joint]-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 Poincaré group, or rather its double cover to allow spin.


<p>[01:27:12] So we're going to call this the inhomogeneous gauge group, or iggy.
<p>[01:27:12] So we're going to call this the inhomogeneous gauge group, or iggy.
Line 494: Line 510:
<p>[01:33:22] Now in this section of GU unified field content is only one part of it, but what we really want is unified field content plus a toolkit.
<p>[01:33:22] Now in this section of GU unified field content is only one part of it, but what we really want is unified field content plus a toolkit.


====== Unified Field Content Plus a Toolkit ======
===== Unified Field Content Plus a Toolkit =====
<p>[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 valued in an auxiliary structure, but intrinsic spinors.
<p>[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 valued in an auxiliary structure, but intrinsic spinors.


Line 515: Line 531:
<p>[01:37:34] So, for example, I can define a Shiab ("Ship in a bottle") operator that takes [$$\Omega^{i}$$] $$i$$-forms valued in the adjoint bundle to much higher-degree forms valued in the adjoint bundle.  
<p>[01:37:34] So, for example, I can define a Shiab ("Ship in a bottle") operator that takes [$$\Omega^{i}$$] $$i$$-forms valued in the adjoint bundle to much higher-degree forms valued in the adjoint bundle.  


<p>[01:38:00] So, for in this case, for example [where i = 2], it would take a two-form to a d-minus-three-plus-two or a d-minus-one-form. So, curvature is an ad-valued two-form. And, if I had such a Shiab operator, it would take ad-valued two-forms to ad-valued d-minus-one-forms, which is exactly the right space to be an $$\alpha$$ coming from the derivative of an action.
<p>[01:38:00] So, for in this case, for example [where i = 2], it would take a two-form to a d-minus-three-plus-two or a d-minus-one-form. So, curvature is an ad[joint]-valued two-form. And, if I had such a Shiab operator, it would take ad[joint]-valued two-forms to ad[joint]-valued d-minus-one-forms, which is exactly the right space to be an $$\alpha$$ coming from the derivative of an action.


<p>[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 [[Weyl curvature]] and he 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.
<p>[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 [[Weyl curvature]] and he 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.
Line 539: Line 555:
<p>[01:42:54] We're doing okay.
<p>[01:42:54] We're doing okay.


===== GU III: Physics =====
==== GU III: Physics ====


<p>[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. We've built ourselves an projection operators. We've picked up some symmetric, nonlinear $$\sigma$$ field.
<p>[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. We've built ourselves an projection operators. We've picked up some symmetric, nonlinear $$\sigma$$ field.
Line 576: Line 592:
<p>[01:49:59] But I am 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^{-1}$$ $$d_{A_0}$$ $$H$$ which defines a connection one-form as well as having the same derivative coming from the Levi-Civita connection on $$U$$.
<p>[01:49:59] But I am 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^{-1}$$ $$d_{A_0}$$ $$H$$ which defines a connection one-form as well as having the same derivative coming from the Levi-Civita connection on $$U$$.


<p>[01:50:15] So in other words, I have two derivative operators here. I have two ad-value one-forms. The difference between them has been to be a zero-th order, and it's going to be precisely the augmented torsion. And that's the same game I'm going to repeat here.
<p>[01:50:15] So in other words, I have two derivative operators here. I have two ad[joint]-value one-forms. The difference between them has been to be a zero-th order, and it's going to be precisely the augmented torsion. And that's the same game I'm going to repeat here.


<p>[01:50:52] I'm going to do the same thing here. I'm going to define a bunch of terms. In the numerator I'm going to pick up a $$\pi$$ as well as the derivative in the denominator -- because I have no derivative here -- I'm going to pick up this $$H^{-1}$$ $$d_{A_0}$$ $$H$$.
<p>[01:50:52] I'm going to do the same thing here. I'm going to define a bunch of terms. In the numerator I'm going to pick up a $$\pi$$ as well as the derivative in the denominator -- because I have no derivative here -- I'm going to pick up this $$H^{-1}$$ $$d_{A_0}$$ $$H$$.
Line 636: Line 652:
<p>[02:03:53] So, 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.
<p>[02:03:53] So, 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.


===== Part IV =====
==== GU IV: Putting it all together ====
<p>[02:04:18] We've got problems. We're not in four dimensions. We're in 14. We don't have great field content because 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 with what are 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$$.
<p>[02:04:18] We've got problems. We're not in four dimensions. We're in 14. We don't have great field content because 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 with what are 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$$.


Line 647: Line 663:
<p>[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.
<p>[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.


<p>[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.
<p>[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.


<p>[02:06:44] Then in the mid 1970s [Martin Lewis] Perl 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.
<p>[02:06:44] Then in the mid-1970s [Martin Lewis] Perl 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 would add.


<p>[02:07:10] We'd had a pseudo-generation of 16 particles. Spin three-halves, never before seen. Not necessarily super-partners, Rarita-Schwinger 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.
<p>[02:07:10] We'd had a pseudo-generation of 16 particles. Spin 3/2, never before seen. Not necessarily super-partners, Rarita-Schwinger 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-1/2 fermions, which contain a bunch of particles with familiar quantum numbers, but also some very exotic looking particles that nobody's ever seen before.


<p>[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 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-th order terms, and we imagine that there is an elliptic complex that would govern the state of affairs.
<p>[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 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-th order terms, and we imagine that there is an Elliptic complex that would govern the state of affairs.


<p>[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-weak. 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).
<p>[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-weak. It might be that things break in that sector completely differently and it doesn't break down to SU(3)xSU(2)xU(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).


<p>[02:09:05] Or some [[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?
<p>[02:09:05] Or some [[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?


<p>[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,
<p>[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!" But we actually have a symmetry between the two things that can't see each other.


<p>[02:09:44] then we would still have a chiral world, but the chirality 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.
<p>[02:09:44] Then, we would still have a chiral world, but the chirality 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 equations, the term that would counterbalance the scalar curvature, 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 VEV [vacuum expectation value] on the augmented torsion out of the vacuum.
 
<p>[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 veb[?] on the augmented torsion out of the vacuum.


<p>[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 Chern–Weil 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.
<p>[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 Chern–Weil 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.
Line 675: Line 689:
<p>[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 toolkit allowing us to choose symmetric field content, to define equations of motion on the cotangent space of that field content
<p>[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 toolkit allowing us to choose symmetric field content, to define equations of motion on the cotangent space of that field content


<p>[02:11:57] 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.
<p>[02:11:57] 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.


<p>[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.
<p>[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 Minkowski 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.


<p>[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 generations in a way that seems surprisingly rich, certainly unexpected. And I think I'll stop there. Thank you very much for your time.
<p>[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 generations in a way that seems surprisingly rich, certainly unexpected. And I think I'll stop there. Thank you very much for your time.
Line 683: Line 697:
=== Supplementary Explainer Presentation ===
=== Supplementary Explainer Presentation ===


<p>[02:13:25] So, thanks for watching that video. What I thought I would do since that was the first time I'd really presented the theory at all in public and I had gotten somewhat turned around on my trip to England and trying, 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.
<p>[02:13:25] So, thanks for watching that video. What I thought I would do since that was the first time I'd really presented the theory at all in public and I had gotten somewhat turned around on my trip to England and trying, 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.


<p>[02:13:48] I thought I would try a partial explainer for technically-oriented people so that they're not mystified by the video. And any errors here or my own and I'm known to make many. So, 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.
<p>[02:13:48] I thought I would try a partial explainer for technically-oriented people so that they're not mystified by the video. And any errors here or my own and I'm known to make many. So, 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.
Line 747: Line 761:
<p>[02:28:10] Yeah. We can call this map the bi-connection, which gives us two separate connections for any point in the inhomogeneous gauge group. And we can notice that it can be viewed as 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.
<p>[02:28:10] Yeah. We can call this map the bi-connection, which gives us two separate connections for any point in the inhomogeneous gauge group. And we can notice that it can be viewed as 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.


<p>[02:28:42] So our summary diagram looks something like this. 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. 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, 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 ad-valued one-form.
<p>[02:28:42] So our summary diagram looks something like this. 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. 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, 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 ad[joint]-valued one-form.


<p>[02:29:23] 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 for Self-Dual Yang-Mills actually gets started.
<p>[02:29:23] 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 for Self-Dual Yang-Mills actually gets started.
Line 755: Line 769:
<p>[02:30:14] The big issue here 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. On top of that, we built spinors off of the chimeric tangent bundle, and we have not made any other choices.
<p>[02:30:14] The big issue here 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. On top of that, we built spinors off of the chimeric tangent bundle, and we have not made any other choices.


<p>[02:30:42] So we're dealing with, I think it's $$U^{128}$$, $$U^{2^7}$$. That is our structure group and it's fixed by the choice of $$X^4$$ not anything. So what do we get? Well, as promised, there is a tilted homomomorphism which 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.
<p>[02:30:42] So we're dealing with, I think it's $$U^{128}$$, $$U^{2^7}$$. That is our structure group and it is fixed by the choice of $$X^4$$ not anything else. So what do we get? Well, as promised, there is a tilted homomomorphism which 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.


<p>[02:31:17] I hope I remember the terminology right. It's been a long time. The map is injective because it's injective under the first factor, but it actually gives us a nontrivial embedding of the gauge group in its inhomogeneous extension, which makes the whole theory work. We then get to Shiab operators now, a Shiab operator a map from the group crossed the ad-valued i forms.
<p>[02:31:17] I hope I remember the terminology right. It's been a long time. The map is injective because it's injective under the first factor, but it actually gives us a nontrivial embedding of the gauge group in its inhomogeneous extension, which makes the whole theory work. We then get to Shiab operators. Now, a Shiab operator a map from the group crossed the ad[joint]-valued i forms.


<p>[02:31:43] 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, you would map a two form to a d minus three plus i. So if d, for example, were 14, ..., and i was equal to two. Then 14 minus three is equal to 11 plus two is equal to 13. So that would be an ad-valued 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.
<p>[02:31:43] 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, you would map a two form to a d minus three plus i. So if d, for example, were 14, ..., and i was equal to two. Then 14 minus three is equal to 11 plus two is equal to 13. So that would be an ad[joint]-valued 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.


<p>[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.
<p>[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.
Line 840: Line 854:


<p>[02:48:08] And most particularly an 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.
<p>[02:48:08] And most particularly an 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.
[[Category:Podcast Episodes]]