Аннотация:
Для коммутативной $k$-алгебры $A$ возможно определить ее когомологии де Рама $\mathrm{H}^*_{\text{DR}}(A)$. Теорема сравнения Гротендика говорит о том, что когомологии де Рама алгебры регулярных функций на гладком алгебраическом многообразии X изоморфны сингулярным когомологиям аналитификации $X$.
При рассмотрении произвольной мягкой функциональной $\mathbb{R}$-алгебры $A$ на пространстве $X$ изоморфизма в общем случае уже нет, но сингулярные когомологии канонически отщепляются от когомологий де Рама алгебры $A$.
Отщепление достигается каноническими мультипликативными отображениями
$$\Lambda:\mathrm{H}^*_{\text{sing}}(X,\mathbb{R})\substack{\rightarrow\\[-1em] \leftarrow }\mathrm{H}^*_{\text{DR}}(A):\Psi.$$
На докладе мы кратко опишем как построить данные отображения и опишем их свойства.
Мы рассмотрим данные отображения для различных функциональных алгебр:
непрерывных функций на топологическом пространстве,
гладких функций на гладком многообразии,
кусочно-полиномиальных функций на полиэдре,
полиномиальных функций на симплициальном комплексе.