По моим постам легко вычислить, как движется сессия
В книжке без пояснений встретилось такое выражение:
где

- линейное отображение пространств внешних дифференциальных форм на

-мерных многообразиях

и

, а семейство форм

появляется таким образом: если

, то

, где
![$F:M_1\times [0,1]\to M_2$ $F:M_1\times [0,1]\to M_2$](https://dxdy-03.korotkov.co.uk/f/2/0/2/2028e138bd13b1a8850655a3438734eb82.png)
- некая фиксированная гладкая гомотопия, потом

выскакивает из представления

, где обе не зависят от

, и, наконец,

, где

.
Эээ ... всё понятно, да?
Так вот, в каком смысле там понимается вот этот интеграл-то?
Типа мы интегрируем по

от 0 до 1, а потом саму форму - "как обычно"? А как у нас тогда интегрируется форма не обязательно максимального ранга?