Последовательность [img: http://localhost:8080/file/021221-187.jpg] сходится к когомологиям комплекса G-инвариантных дифференциальных форм на X и [img: http://localhost:8080/file/021221-188.jpg] = [img: http://localhost:8080/file/021221-189.jpg] где когомологии группы Gвычисляются при помощи коцепей класса [img: http://localhost:8080/file/021221-190.jpg] См. также Когомологии групп, Эквиеариаптные когомологии. Лит

http://libmeta.ru/resource/mathenc/publication/p5384