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!