(Untitled)

[pasha_m]

Comments

[udod]

Просто надо через локальный оператор лапласа выписать обратнo квазизоморфизмы подразбиения обратные к интегрированию сборки. И все видно. А что такое pair cell complex?

[pasha_m]

его клетки пронумерованы парами E=(e_1,e_2) клеток исходного комплекса, с e_2 \subset e_1 и dim E = dim e_1 - dim e_2. граничный оператор получается из граничного для e_1 и кограничного для e_2.
Обычно pair cell complex - кубический комплекс (но не всегда, бывают некоторые "особенности" звёзд, восстанавливающиеся при переходе к комплексу пар).

[udod]

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

[pasha_m]

ну так куб -произведение 1-симплексов, тут всё ок.

[udod]

куб годится да. Просто кубические гомологие - плохие. Полезны смешанные - призматические, кажется. Сьранно что их нигде не видать.