20: Sir Roger Penrose - Plotting the Twist of Einstein’s Legacy: Difference between revisions

m
 
(6 intermediate revisions by 2 users not shown)
Line 25: Line 25:
[https://en.wikipedia.org/wiki/Roger_Penrose Sir Roger Penrose] is arguably the most important living descendant of [https://en.wikipedia.org/wiki/Albert_Einstein Albert Einstein's] school of geometric physics. In this episode of [[The Portal Podcast|The Portal]], we avoid the usual questions put to Roger about quantum foundations and quantum consciousness. Instead we go back to ask about the current status of his thinking on what would have been called “Unified Field Theory” before it fell out of fashion a couple of generations ago. In particular, Roger is the dean of one of the only rival schools of thought to have survived the “String Theory wars” of the 1980s-2000s. We discuss his view of this [https://en.wikipedia.org/wiki/Twistor_theory Twistor Theory] and its prospects for unification. Instead of spoon feeding the audience, however, the material is presented as it might occur between colleagues in neighboring fields so that the Portal audience might glimpse something closer to scientific communication rather than made for TV performance pedagogy. We hope you enjoy our conversation with Professor Penrose.
[https://en.wikipedia.org/wiki/Roger_Penrose Sir Roger Penrose] is arguably the most important living descendant of [https://en.wikipedia.org/wiki/Albert_Einstein Albert Einstein's] school of geometric physics. In this episode of [[The Portal Podcast|The Portal]], we avoid the usual questions put to Roger about quantum foundations and quantum consciousness. Instead we go back to ask about the current status of his thinking on what would have been called “Unified Field Theory” before it fell out of fashion a couple of generations ago. In particular, Roger is the dean of one of the only rival schools of thought to have survived the “String Theory wars” of the 1980s-2000s. We discuss his view of this [https://en.wikipedia.org/wiki/Twistor_theory Twistor Theory] and its prospects for unification. Instead of spoon feeding the audience, however, the material is presented as it might occur between colleagues in neighboring fields so that the Portal audience might glimpse something closer to scientific communication rather than made for TV performance pedagogy. We hope you enjoy our conversation with Professor Penrose.


{{#widget:OmnyFMEpisode|show=the-portal|slug=20-sir-roger-penrose-plotting-the-twist-of-einstei|width=65%}}
<!--{{#widget:OmnyFMEpisode|show=the-portal|slug=20-sir-roger-penrose-plotting-the-twist-of-einstei|width=65%}}-->
{{#widget:YouTube|id=mg93Dm-vYc8}}
{{#widget:YouTube|id=mg93Dm-vYc8}}
[[File:ThePortal-Ep20 RogerPenrose-EricWeinstein.png|600px|thumb|Eric Weinstein (right) talking with Sir Roger Penrose (left) on episode 20 of The Portal Podcast]]
[[File:ThePortal-Ep20 RogerPenrose-EricWeinstein.png|600px|thumb|Eric Weinstein (right) talking with Sir Roger Penrose (left) on episode 20 of The Portal Podcast]]
Line 1,665: Line 1,665:
:::the transpose <math> (-)^t </math> which reverses the order of any expression, e.g. <math> (x\cdot y \cdot z)^t = z\cdot y\cdot x </math>
:::the transpose <math> (-)^t </math> which reverses the order of any expression, e.g. <math> (x\cdot y \cdot z)^t = z\cdot y\cdot x </math>
::;c)
::;c)
:::the adjoint action, conjugation, by an invertible element <math> \phi </math> of the Clifford algebra: <math> Ad_{\phi}(x)=\phi x \phi^{-1} </math>
:::the adjoint action, conjugation, by an invertible element <math> \phi </math> of the Clifford algebra: <math> Ad_{\phi}(x)=\phi\cdot x\cdot \phi^{-1} </math>
:;3)
:;3)
::Spinors require more algebra to construct in general, such as understanding the representations of Clifford algebras as algebras of matrices. In the simplest case, one can choose an orthonormal basis of <math>V:  \{e_1,\cdots,e_n\} </math> and correspond these vectors to n <math> 2^k\times 2^k </math> matrices with <math> k=\lfloor n/2\rfloor </math> such that they obey the same relations as in the Clifford algebra: <math> \gamma^{\mu}\gamma^{\nu}+\gamma^{nu}\gamma^{mu}= -2\eta^{\mu\nu}\mathbb{I}_{k\times k} </math> where <math> \mathbb{I}_{k\times k} </math> is the <math> k\times k </math> identity and <math> \eta^{\mu\nu} </math> is the matrix of dot products of the orthonormal basis. The diagonal of <math> \eta^{\mu\nu} </math> can contain negative elements as in the case of the Minkowski norm in 4d spacetime, as opposed to the Euclidean dot product where it also has the form of the identity. Then the spinors are complex vectors in <math> \Delta=\mathbb{C}^{2^k} </math>, however an important counterexample where spinors don't have a purely complex structure is the Majorana representation which is conjectured to be values of neutrino wavefunctions.
::Spinors require more algebra to construct in general, such as understanding the representations of Clifford algebras as algebras of matrices. In the simplest case, one can choose an orthonormal basis of <math>V:  \{e_1,\cdots,e_n\} </math> and correspond these vectors to n <math> 2^k\times 2^k </math> matrices with <math> k=\lfloor n/2\rfloor </math> such that they obey the same relations as in the Clifford algebra: <math> \gamma^{\mu}\gamma^{\nu}+\gamma^{\nu}\gamma^{\mu}= -2\eta^{\mu\nu}\mathbb{I}_{k\times k} </math> where <math> \mathbb{I}_{k\times k} </math> is the <math> k\times k </math> identity and <math> \eta^{\mu\nu} </math> is the matrix of dot products of the orthonormal basis. The diagonal of <math> \eta^{\mu\nu} </math> can contain negative elements as in the case of the Minkowski norm in 4d spacetime, as opposed to the Euclidean dot product where it also has the form of the identity. Then the spinors are complex vectors in <math> \Delta=\mathbb{C}^{2^k} </math>, however an important counterexample where spinors don't have a purely complex structure is the Majorana representation which is conjectured to be values of neutrino wavefunctions.
</div>
</div>
:;Summary
:;Summary
::The following diagram summarizes the relationship with the structures so far:
::The following diagram summarizes the relationship with the structures so far:
[[File:Spinor_construction.png|frameless|]]
[[File:Spinor_construction.png|frameless|center]]
</div>
</div>
::The hook arrows denote the constructed embeddings, the double arrow gives the spin double cover of the rotations, and the downwards vertical arrows are the representations of the two groups acting on their respective vector spaces. The lack of an arrow between the two vector spaces indicates no direct relationship between vectors and spinors, only between their groups. In the cases of Euclidean and indefinite signatures of quadratic forms, a fixed orthonormal of <math> V </math> can be identified with the identity rotation such that all other bases/frame are related to it by rotations and thus identified with those rotations. Similarly for the spinors, there are "spin frames" which when choosing one to correspond to the identity, biject with the whole spin group. This theory of group representations on vector spaces and spinors in particular were first realized by mathematicians, in particular [https://www.google.com/books/edition/The_Theory_of_Spinors/f-_DAgAAQBAJ?hl=en&gbpv=1&printsec=frontcover Cartan] for spinors, in the study of abstract symmetries and their realizations on geometric objects. However, the next step was taken by physicists.
::The hook arrows denote the constructed embeddings, the double arrow gives the spin double cover of the rotations, and the downwards vertical arrows are the representations of the two groups acting on their respective vector spaces. The lack of an arrow between the two vector spaces indicates no direct relationship between vectors and spinors, only between their groups. There is however a bilinear relationship, meaning a map which is quadratic in the components of spinors to obtain components of vectors, justifying not only that spin transformations are square roots of rotations but spinors as square roots of vectors. When n is even, the spinor space will decompose into two vector spaces: <math> \Delta = S^+ \oplus S^- </math>. In a chosen spin-basis these bilinear maps will come from evaluating products of spinors from the respective subspaces under the gamma matrices as quadratic forms.
</div>
::In the cases of Euclidean and indefinite signatures of quadratic forms, a fixed orthonormal of <math> V </math> can be identified with the identity rotation such that all other bases/frame are related to it by rotations and thus identified with those rotations. Similarly for the spinors, there are "spin frames" which when choosing one to correspond to the identity, biject with the whole spin group. This theory of group representations on vector spaces and spinors in particular were first realized by mathematicians, in particular [https://www.google.com/books/edition/The_Theory_of_Spinors/f-_DAgAAQBAJ?hl=en&gbpv=1&printsec=frontcover Cartan] for spinors, in the study of abstract symmetries and their realizations on geometric objects. However, the next step was taken by physicists.
</div>
</div>
;Finitely
;Finitely
Line 1,695: Line 1,697:


=== Spinor References ===
=== Spinor References ===
Clearly some knowledge of linear algebra and Lie groups assists in understanding the construction and meaning of spinors. With our [https://theportal.wiki/wiki/Read list] in mind, other books may more directly approach the topic. Spinors are implicit/given in specific representations in the quantum mechanics and field theory books.
Penrose's books being given, the following give introductions to these topics at various levels:
<div class="flex-container" style="clear: both;">
<div class="flex-container" style="clear: both;">
{{BookListing
{{BookListing
Line 1,700: Line 1,704:
| link = Clifford Algebras: An Introduction (Book)
| link = Clifford Algebras: An Introduction (Book)
| title =
| title =
| desc = Use this book to learn about Clifford algebras and spinors directly, it covers the necessary prerequisite linear algebra and group theory
| desc = Use this book to learn about Clifford algebras and spinors directly, it covers the necessary prerequisite linear algebra and group theory but only briefly touches on the relation to curvature.
}}
}}
{{BookListing
{{BookListing
Line 1,706: Line 1,710:
| link = Representation Theory (Book)
| link = Representation Theory (Book)
| title =
| title =
| desc = If following our main list [https://theportal.wiki/wiki/Read here], you will encounter Clifford algebras and spin representations here
| desc = If following our main list [https://theportal.wiki/wiki/Read here], you will encounter Clifford algebras and spin representations here.
}}
}}
{{BookListing
{{BookListing
Line 1,712: Line 1,716:
| link = Quantum Theory, Groups and Representations (Book)
| link = Quantum Theory, Groups and Representations (Book)
| title =
| title =
| desc = Less general discussion of spin representations, but with focus on the low dimensional examples in quantum physics
| desc = Less general discussion of spin representations, but with focus on the low dimensional examples in quantum physics.
}}
{{BookListing
| cover = Lawson Spin Geometry cover.jpg
| link = Spin Geometry (Book)
| title =
| desc = Immediately introduces Clifford algebras and spin representations, demanding strong linear algebra. The remainder of the book extensively introduces the theory of the Dirac operator, Atiyah-Singer Index theorem, and some assorted applications in geometry.
}}
}}
</div>
</div>