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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2012-10-20 17:15:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Muslimgauze - KABUL
Entry tags:math, mccme, travel

лекция 5 по гиперболическим группам
Позавчерашняя лекция по гиперболическим
группам, и новые листки.
http://verbit.ru/MATH/GROMOV-2012/slides-gr-05.pdf
http://verbit.ru/MATH/GROMOV-2012/listok-gr2012-06.pdf

Рассказывал теорему Картана-Адамара, про то, что полное,
однозвязное пространство отрицательной кривизны всегда
стягиваемо. Чрезвычайно полезный результат, доказательство
которого в метрической геометрии проще, чем в дифференциальной,
где он используется на каждом шагу. Метрическая версия
тоже весьма полезна.

Для примера, вот хорошая статья Оллкока с применениями
Картана-Адамара. Пусть Х -- комплексное многообразие
неположительной секционной кривизны, из которого
выкинули дивизор с нормальными пересечениями.
Тогда универсальное накрытие X стягиваемо.

Из этого выводится, например, что пространство Торелли
поверхностей Энриквеса стягиваемо:
http://arxiv.org/abs/math/9905167

Посещаемость, кстати, упала раза в два сравнительно с
прошлой лекцией. Тогда было человек 40-45, сейчас ближе
к 25. К концу семестра останется штук 15, видимо. Увы.
В НМУ так всегда вообще, без вариантов.

Прошлые слайды [ 1 | 2 | 3 | 4 ]
Листочки [ 1 | 2 | 3 | 4 | 5 ]
Ведомость [ 123 | 456 ]

Завтра еду в Стони-Брук, на эти вот хорошие конференции
http://scgp.stonybrook.edu/archives/3434
http://www.math.sunysb.edu/~cycles2012/
Вернусь 8-го.

Лекции будут, я попросил Сашу Ананьина заменить.

Привет



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


(Анонимно)
2012-10-24 19:29 (ссылка)
Для тривиального разбиения задача восстанавливается в такой форме: пусть f: [a, b] -> R^n, L(f) <= d(f(a), f(b)) + epsilon, причем эпсилон меньше 4. Тогда образ f лежит в sqrt(epsilon * (2 * d(f(a), f(b)) + 1))-окрестности отрезка из f(a) в f(b). Ужасно, конечно, но вроде работает и решает следующую задачу.

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


[info]tiphareth
2012-10-24 20:19 (ссылка)
там надо 3\epsilon
сейчас еще немного подумаю и выложу правильную версию

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


(Анонимно)
2012-10-24 21:05 (ссылка)
Три эпсилон тоже нельзя (и вообще любое линейное от эпсилон нельзя). По более-менее той же причине (теперь там какое-нибудь (-100, 0)-(4,0)-(0, 100), опять 1-приближает и снова средняя точка в окрестность не попадет).

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


[info]tiphareth
2012-10-24 21:08 (ссылка)
спасибо, да, я лох
надо еще $d(x_i,x_{i+1})<\epsilon$

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


(Анонимно)
2012-10-24 21:13 (ссылка)
Если вообще придираться, то нужно не d(x_i, x_{i+1}), а расстояние между их образами.

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


[info]tiphareth
2012-10-24 21:20 (ссылка)
да, точно
спасибо

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


[info]tiphareth
2012-10-24 21:03 (ссылка)
3\epsilon, да
очепятка, спасибо
поправил

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


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