5,849
edits
Line 408: | Line 408: | ||
''[https://youtu.be/Z7rd04KzLcg?t=4944 01:22:24]''<br> | ''[https://youtu.be/Z7rd04KzLcg?t=4944 01:22:24]''<br> | ||
So we have a map into a structure group of \(U(128)\), at least in Euclidean signature—we can get to mixed signatures later. From that, we can form the associated bundle | So we have a map into a structure group of \(U(128)\), at least in Euclidean signature—we can get to mixed signatures later. From that, we can form the associated bundle. | ||