Аннотация:
Формулы римановой геометрии такие как выражения для связности Леви-Чивита вывод тождеств Бьянки и уравнения Эйнштейна требует длинных вычислений с многоиндексными тензорами. Мы опишем некоторый формализм в котором все эти вычисления сводятся к простым рассуждениям из теории представлений алгебры $sl(2)$.