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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth) в [info]ljr_math
@ 2006-06-14 23:27:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Проективное многообразие, рационально гомотопически эквивалентное CP^n
Яу доказал, что комплексное, кэлерово, компактное
многообразие M, которое гомотопически эквивалентно CP^n,
изоморфно CP^n.

Верно ли то же в предположении, что M рационально
гомотопически эквивалентно CP^n?

Рациональная гомотопическая эквивалентность для кэлеровых
многообразий размерности > 2 это то же самое, что изоморфизм
когомологий (Сулливан). Поэтому вопрос:

ВОПРОС. Существует ли комплексное, кэлерово, компактное
многообразие M, размерности > 2,
не изоморфное CP^n, рациональные когомологии
которого изоморфны усеченным полиномам?

Спасибо!

Привет


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

Re: Проективное многообразие ...
(Анонимно)
2006-06-23 12:45 (ссылка)
Привет!

Я сейчась на Гаваях и не смотрел на ljr.math с прошлой недели. Сегодня взглянул и увидел коментарий про квадрику. Дима совершенно прав! Нечётномерная квадрика даёт контрпример к коригированной гипотезе. Для квадрики X размерности 2n-1 можно быстро посчитать эйлерову характеристику - 2n-1 класс Чженя касательного расслоения считаеться сразу из точной последовательности для нормального расслоения. Я только-что посчитал и получилось что \chi(X) = n (надеюсь что не ошибся - проверте пожалуйста!). В комбинации с теоремой Лефшеца ето даёт что b^{2n-1}(X) = 0 и что рациональные когомологии X ето усеченные полиномы.



Тони

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

Re: Проективное многообразие ...
(Анонимно)
2006-06-23 13:18 (ссылка)
Извиняюсь! Наверху у меня опечатка: \chi(X) = 2n а не n. Вот поетому средные когомологии равнй нулю а полные когомологии равны усеченым полиномам.

Всё-таки - странно что такой простой контрпример! Может быт стоит поискать АИС у которой база квадрика?

Привет,

Тони

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

Re: Проективное многообразие ...
[info]kaledin
2006-06-23 17:35 (ссылка)
Nu, ponimaesh', narodnoe pover'e sostoit v tom, chto baza dolzhna byt' tak zhe sil'no racional'no svyazna, kak P^n (cherez lyubye dve tochki pryamaya i t.d.) Cho-Miyaoka-Shepherd-Barron ehto dokazali esli est' sechenie, nepravil'no dokazali, no utverzhdenie skoree vsego vernoe, khotya skoree vsego trudnoe. Poehtomu na kontrprimer nadezhdy malo.

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

Re: Проективное многообразие ...
(Анонимно)
2006-06-23 22:25 (ссылка)
Ну не знаю. Не очень понимаю откуда в гиперкэлеровой ситуации берёться условие что через любые две точки должна проходит прямая? Можеть быть там коники тоже годяться? В конце концов ето вопрос о факторизации Штейна некой интегрумой системой с несвязными слоями. У нас много примеров таких систем, так что можно посмотреть что там произходить.

Вот была недавная статья Илиева с Манивелом про промеждуточные якобианы
пятимерных квинтик. Ты смотрел какая там база?

Привет,

Тони


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


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