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