tiphareth: A global Torelli theorem for hyperkahler manifolds

Настроение:	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-поверхности мое доказательство не работает,
но там это известно и так.

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

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

Привет

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

	(Анонимно) 2009-09-08 04:30 (ссылка)
	Misha, Does Sullivan's theorem 13.3 hold for (just smooth) manifolds with abelian\nilpotent fundamental group? (Ответить) (Ветвь дискуссии)

	tiphareth 2009-09-08 11:33 (ссылка)
	Да, если размерность >4 (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2009-09-08 22:59 (ссылка)
	reference? thanks (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2009-09-08 23:10 (ссылка)
	на теорему 13.3? теорема 13.3 не понял вопроса (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2009-09-08 23:46 (ссылка)
	Doesn't he assume that the fundamental group is trivial? (Ответить) (Уровень выше) (Ветвь дискуссии)

	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? (Ответить) (Уровень выше) (Ветвь дискуссии)

	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? (Ответить) (Уровень выше) (Ветвь дискуссии)

	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. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2009-09-09 00:37 (ссылка)
	http://en.wikipedia.org/wiki/Mapping_class_group#Torus (Ответить) (Уровень выше)

	! (Анонимно) 2009-09-08 06:22 (ссылка)
	и этот человек будет учить нас ковыряться в носу!!! вот уж кто занимается невообразимой ебаной хуйней :):) топологию -- взять и запретить! привет (Ответить)

(Анонимно)
2009-09-08 09:41 (ссылка)

Немного офтопика от анонимуса. А почему в "A global Torelli theorem" стоит неопределенный артикль в названии? Вроде "The" должно быть как я понимаю, хотя конечно "the" с именами собственными - та еще область. То есть я ничего не утверждаю, но "a" выглядит как минимум странно.

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

	tiphareth 2009-09-08 11:33 (ссылка)
	В абстракте объясняется. Потому что их много, и та формулировка, которая наиболее распространена, неверна. (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2009-09-08 12:05 (ссылка)
	Ага, извиняюсь, не читал. Пока не тот уровень, к сожалению. (Ответить) (Уровень выше)

	paperdaemon 2009-09-08 13:43 (ссылка)
	Ты сейчас с кем говорил? (Ответить) (Ветвь дискуссии)

	(Анонимно) 2009-09-08 23:10 (ссылка)
	С тобой. Показывал тебе какое ты ничтожное говно, раз не занимаешься математическим творчеством. Самоутверждался. (Ответить) (Уровень выше)

	ага cheltsov 2009-09-20 22:47 (ссылка)
	дважды уже слышал на конференциях. (Ответить) (Ветвь дискуссии)

	Re: ага tiphareth 2009-09-21 01:07 (ссылка)
	а чего слышал? (Ответить) (Уровень выше)