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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2009-09-08 00:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:IANVA -- "Italia: Ultimo Atto"
Entry tags:math

A global Torelli theorem for hyperkahler manifolds
Выложил (вот уже пару недель как) статью
с доказательством глобальной теоремы Торелли
для гиперкэлеровых многообразий

http://arxiv.org/abs/0908.4121

Попутно была посчитана "группа Тейхмюллера",
то есть группа компонент связности в диффеоморфизмах
и оказалась арифметической группой, соизмеримой
с SO(b_2-3,3).

Для K3-поверхности мое доказательство не работает,
но там это известно и так.

Всегда думал, что это более-менее
общеизвестно, включая глобальную Торелли, а в июне
читал доклады на конференции,
и мне указали,
что оно неизвестно и даже является как бы
достижением.

Много пользы от конференций, безо всякой иронии говорю.

Привет



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


[info]tiphareth
2009-09-09 00:01 (ссылка)
nilpotent (plus nilpotent action of \pi_1 on \pi_k, for all k)

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


(Анонимно)
2009-09-09 00:06 (ссылка)
So, do his results allow to compute Diff/Diff_0 for, say, d-torus d>4?

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


[info]tiphareth
2009-09-09 00:13 (ссылка)
Sure, it's an arithmetic group.
but for a torus it's well known anyway I think.

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


(Анонимно)
2009-09-09 00:24 (ссылка)
ok, but is there a way to actually compute it?

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


[info]tiphareth
2009-09-09 00:27 (ссылка)
It's SL(n, Z)
http://en.wikipedia.org/wiki/Mapping_class_group

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


(Анонимно)
2009-09-09 00:36 (ссылка)
I guess we are talkign about different things.
Let Diff be the homotopy component of identity and let Diff_0 be the isotopy component of identity. Then I don't think that Diff/Diff_0 is trivial.

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


[info]tiphareth
2009-09-09 00:37 (ссылка)
http://en.wikipedia.org/wiki/Mapping_class_group#Torus

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


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