Поищи в картине во внешнем дифференциировании
Привет, Миш, короче, сеттинг такой,
есть подмногообразие, заданное уравнениями, хочу рассматривать функции, корторые совпадают на этом многообразии с точностью до продолжения в объемлющее, можно пофакторизовать по этому отношению эквивалентности и рассмотреть когомологии относительно такого дифференциала, который ты мне предлагаешь построить.
когда-то я видел где-то :) что такой дифференциал можно построить, рассмотрев супермногообразие, или нечетное расслоение над нашим многообразием, тогда этот дифференциал можно написать в терминах грассмановых переменных каким-то естественным образом.