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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2012-02-07 02:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Dsor DNE - 24 o 25 GRU-O-MO
Entry tags:hse, math, mccme

комплексные поверхности, slides-surfaces-1.pdf
Вот, кстати,
прочел вторую лекцию из курса про
комплексные поверхности

http://verbit.ru/MATH/Surfaces-2012/slides-surfaces-1.pdf
задачи
http://verbit.ru/MATH/Surfaces-2012/zadachi-surfaces-1.pdf

Рассказывал про структурную теорему для алгебр Хопфа,
и как ее использовать, чтобы посчитать когомологии BU
и определить классы Черна. Типа ликбез

Привет



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


[info]gregory_777
2012-02-07 04:05 (ссылка)
Читал уже наверное этот пиздец.
История приобретает всё более неприятные формы.

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


[info]tiphareth
2012-02-07 08:46 (ссылка)
угу
тут инсайд
http://afrikanbo.livejournal.com/138305.html

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


(Анонимно)
2012-02-07 05:45 (ссылка)
Здорово!

(Ответить)


(Анонимно)
2012-02-07 12:13 (ссылка)
Миша, а в замечании про то что U(1)-действие эквивалентно градуировке не должно быть ничего про то что исходное пространство V, снабжённое действием U(1) должно быть представимо в виде объединения возрастающей цепочки конечномерных U(1)-инвариантных подпространств?

Иначе непонятно как-то, почему в самом общем случае будет разложение на весовые подпространства.

Объясните, пожалуйста.

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


[info]tiphareth
2012-02-07 13:03 (ссылка)
ну, оно же компактное какбе
делаем разложение Фурье функции $U(1) \arrow V$, $\rho(t)(x)$
получаем разложение по собственным значениям U(1)

но вообще, в большинстве приложений все, действительно,
конечномерно, либо разлагается в объединение конечномерных, так что
рассуждения про ряды Фурье не по делу

(правда, в приложениях к физике все как раз гильбертово и бесконечномерно)

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


(Анонимно)
2012-02-07 15:24 (ссылка)
Миша на стр.4 в определении биалгебры -- там стрелка из А в тройное тензорное произведение, а не наоборот.

На стр. 7 в определении гомотопически обратного -- diag и \mu поменять местами.

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


[info]tiphareth
2012-02-07 23:49 (ссылка)
спасибо! Поправлю, когда починим

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


(Анонимно)
2012-02-10 10:35 (ссылка)
Да, на стр. 4 в определении коединицы опечатка -- дельту (коумножение) поставили не с той стороны (иначе получается, что итоговое отображение бьёт из A\otimes A в A\otimes A).

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

tags:всегда так делает
[info]tiphareth
2012-02-10 11:52 (ссылка)

если вы про порядок умножения, я всегда пишу композицию \circ
в порядке "сначала первый, потом второй". Особенных проблем
у слушателей это не вызывает, а мне удобнее.

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


[info]tiphareth
2012-02-10 12:01 (ссылка)
и спасибо за поправки, конечно же

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


(Анонимно)
2012-02-10 16:23 (ссылка)
Ещё вопрос -- в замечании на стр. 12 когда вы пишете

\Delta(x)=x\otimes 1+ 1 \otimes x (mod Z \otimes Z),

то предполагаете, что x \in Z ?


И ещё: почему dim A^p=dim A^p_gr (шаг 6)?

Там же в шаге 6, "Пусть {y_i} есть набор мономов в A_gr, порождающих заданную компоненту A^p_gr,..." Имеется в виду, что они её как векторное пространство порождают?




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


[info]tiphareth
2012-02-10 21:24 (ссылка)
>почему dim A^p=dim A^p_gr (шаг 6)?

потому что размерность пространства с фильтрацией
всегда равна размерности присоединенного градуированного

>то предполагаете, что x \in Z ?

нет, но, с точностью до констант, любой элемент лежит в Z

>Имеется в виду, что они её как векторное пространство порождают?

угу

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


[info]vinogradov49
2012-02-16 14:00 (ссылка)
Миша помогите мне с решением задач оплата по договорённости..как вам угодно будет с вашими мозгами это раз плюнуть ..найти интервал сходимости степенного ряда Е n=2 до макс(х=4)^ n /(n^2-2) ..
ДВ ИНТ F(x,y)=x=y по обл D огранич кривыми y=(x^2)/2 и y=2x Вычислить
Построить график

(Ответить)