непонятно на странице 9 в лекции 5 следствие 1, ведь ромб может быть нестягиваемым и голономия нетривиальной даже с плоской метрикой, как на конусе. В чем проблема? Там в доказательстве на странице 8 коммутатор выделяется только из членов второго порядка, но это можно сделать и со старшими членами, так в чем подвох, в сходимости?

Ага, но мне было не понятно, где оно используется в доказательстве. Там, наверное, сходимости не будет, или в самой экспоненте, или в ее производной по эпсилону.