Difference between revisions of "A Portal Special Presentation- Geometric Unity: A First Look"
A Portal Special Presentation- Geometric Unity: A First Look (view source)
Revision as of 18:18, 25 April 2020
, 18:18, 25 April 2020→Unified Field Content Plus a Toolkit
Line 513: | Line 513: | ||
<p>[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, [the operator] 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. | <p>[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, [the operator] 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. | ||
<p>[01:37:34] So, for example, I can define a Shiab ("Ship in a bottle") operator that takes [$$\ | <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-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. |