6,489
edits
Line 654: | Line 654: | ||
''[https://youtu.be/Z7rd04KzLcg?t=6615 01:50:15]''<br> | ''[https://youtu.be/Z7rd04KzLcg?t=6615 01:50:15]''<br> | ||
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 zeroth-order, and it's going to be precisely the augmented torsion. And that's the same game I'm going to repeat here. | 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 zeroth-order, and it's going to be precisely the augmented torsion. And that's the same game I'm going to repeat here. | ||
[[File:OmegaDiagramTopLabelled.jpg|center]] | |||
''[https://youtu.be/Z7rd04KzLcg?t=6652 01:50:52]''<br> | ''[https://youtu.be/Z7rd04KzLcg?t=6652 01:50:52]''<br> | ||
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 \(\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\). | 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 \(\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\). | ||
[[File:OmegaDiagramRightLabelled.jpg|center]] | |||
''[https://youtu.be/Z7rd04KzLcg?t=6677 01:51:17]''<br> | ''[https://youtu.be/Z7rd04KzLcg?t=6677 01:51:17]''<br> |