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

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

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

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

Сообщества

Настроить S2

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



Пишет maniga ([info]maniga)
@ 2013-05-07 23:29:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
кстати
вот есть этальная \pi_1. а есть ли этальная \pi_2?

вот вопрос.

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


[info]kaledin
2013-05-08 02:09 (ссылка)
Есть конечно; называется "этальный гомотопический тип".

(Ответить) (Ветвь дискуссии)


[info]maniga
2013-05-08 02:32 (ссылка)
очень это интересно.

и про него верны какие-то вещи, которые верны в топологии? есть гомоморфизм гуревича, например?

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


[info]kaledin
2013-05-08 07:18 (ссылка)
Ну это просто обычный гомотопический тип, все, что про них верно, про него тоже верно.

Есть теорема сравнения -- если взять гладкое компактное многообразие над C, то его этальный гомотопический тип это проконечное пополнение гомотопического типа соотв. аналитического пространства.

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


(Анонимно)
2013-05-08 07:25 (ссылка)
о, петух закукарекал
заместо авроры

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