Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2018-06-07 17:43:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Delerium - SPIRITUAL ARCHIVES
Entry tags:math

двойственно по Пуанкаре пересечению многообразий
Написал образцово короткое доказательство
двойственности Пуанкаре:
http://verbit.ru/IMPA/TOP-2018/cohomology-09.pdf
как-то не ожидал даже. По этому случаю, образовался
лишний час, который следует забить доказательством
того, что произведение в когомологиях (де Рама)
двойственно по Пуанкаре трансверсальному
пересечению многообразий.

А какой самый простой способ сие увидеть, без
махания руками и по возможности элементарно?
Я чего-то ничего толкового сходу придумать не могу.

Привет



(Читать комментарии) - (Добавить комментарий)


[info]kaledin
2018-06-13 04:10 (ссылка)
Ну как? Тебе надо доказать, что, если забыть про крайнюю грань, то у тебя есть каноническое расщепление на вырожденные/невырожденные (а крайняя грань потом дает дифференциал). То очевидное, которое ты привел, наканоническое и вообще зависит от базиса. Нужно другое, построенное из граней и вырождений. Но хотя граней (без крайней) столько же, сколько вырождений, они все друг за друга зацепляются, поэтому доказать, что там действительно есть канонический идемпотент, не то что трудно, но не вполне тривиально. Теорема Дольда-Кана в этом и заключается более-менее.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]grigori
2018-06-13 04:44 (ссылка)
я честно говоря никогда этого толком не понимал.

ты кстати летом в москве?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2018-06-13 11:41 (ссылка)
Ну плюс-минус.

(Ответить) (Уровень выше)


(Читать комментарии) -