Cartan curvature equation with input indices

ID: cartan-curvature-equation-with-input-indices

Write , with the differentiated input index first. The graded Leibniz rule gives . For frames , the connection matrix transforms as and curvature by . Transposing to the usual coefficient-column convention gives and ; the opposite sign is an index convention, not a different curvature.

New to topics? Read the docs here!