Vopros
Миша, есть вопрос по книге Бессе, про тождество Бьянки: на стр. 25 англ. издания он пишет dR=0,
R - тензор кривизны, d - дифференциал на векторнозначных формах (опр. в пункте 1.12 на стр. 24).
При этом сам тензор кривизны записывается как квадрат дифференциала, (формула 1.12),
R(x,y)s=-d(d(s))(x,y), s \in Г(Е), Е- некот. векторное рассл., x,y - касат. векторы.

Вопрос такой: в равенстве dR=0 мы применяем d к R именно как к элементу тензорной алгебры
/\^2 TM^* \otimes E\otimes E^*?

То есть, утверждение dR=0 это не то же самое, что d(d(d(s)))(x,y,z)=0?