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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2018-05-31 16:09:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:IANVA - Disobbedisco!
Entry tags:.br, hse, math, travel

"Complex algebraic geometry and Hodge theory"
Кстати, закончил читать мой курс в Вышке
http://bogomolov-lab.ru/KURSY/Hodge-2018/
"Complex algebraic geometry and Hodge theory"
и свалил в Бразилию, на этот раз более-менее
окончательно. Подожду год, посмотрю на
динамику арестов, и тогда решу, стремно
туда ехать или не очень стремно.

Курс получился ок, хотя особой связи между
той частью, где я рассказывал, как решать УрЧП,
и собственно алгебраической геометрией не было.
Граждане, которые сдавали задачи, получили
один курс, граждане, которые ходили на
лекции - совершенно другой, но по уму, чтоб
эту науку по-человечески рассказать, нужно
три семестра: один УрЧП, один базовая
алгебраическая геометрия, и еще один -
кривые, поверхности и прочий зоопарк примеров.

Еще пара итераций этого курса, и будет вообще
хорошо. Но надо как-то научить бразильцев решать
и принимать листочки, сейчас у них такой культуры нет.

Сегодня вышел на балкон, осы строли гнезда,
причем не одно, а сразу два. Безжалостно разрушил
их бумажные строения шваброй.

Теперь я читаю теорию когомологий, на пару
с М. Б. Он рассказывает гомологии, а я когомологии.
http://verbit.ru/IMPA/TOP-2018/

Спорил как-то с коллегой, можно ли за 2 месяца
рассказать совсем неготовому студенту основные
вещи про коголологии де Рама (теорему де Рама,
формулу Кюннета, двойственность Пуанкаре),
если известны алгебры Грассмана, и тут
экспериментально проверил: можно! И еще
остается время для примеров.

По ходу понял, как рассказать
интегрирование дифференциальных форм аксиоматически
таким образом, чтобы свойства риманова интеграла
выводились из двойственности Пуанкаре. Оказывается,
можно и так, причем реально ничего, кроме алгебр
Грассмана и существования потока диффеоморфизмов
по заданному векторному полю, при таком
подходе не понадобится.

Привет



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


[info]valdor
2018-05-31 21:16 (ссылка)
Правда ли говорят, что ваши выступления - это совершенно то же, что лекция Шелдона Купера о топологических изоляторах?

http://bigbangtv.space/season_4/0414.php

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


(Анонимно)
2018-05-31 21:20 (ссылка)
один в один

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


(Анонимно)
2018-05-31 21:50 (ссылка)
https://www.youtube.com/watch?v=zUg3nfP3cGE

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


(Анонимно)
2018-05-31 22:14 (ссылка)
Не исключено, что вся научная деятельность Миши, во всяком случае начиная с 2007 года, это lulz фанатов BBT.

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


[info]wieiner_
2018-05-31 23:13 (ссылка)
Вальдорушка, ну зачем ты это напейсал. Теперь дядя Миша Ништяки прятать будет, типо совсем никому не надо. Тебе неинтересно, а мне интересно. ну тоесть так, смотрю иногда.

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


[info]valdor
2018-05-31 23:23 (ссылка)
Тебя разбанили, гражданин?

Тогда объясни, разница между гомологией и когомологией это как между ренитеком и ко-ренитеком, т.е. в наличии мочегонного?

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


[info]wieiner_
2018-06-01 09:21 (ссылка)
разница в двойственности, это когда определенный механизм формализации гомологии, сам гомология. говорят шо оно когомология. в четверичной логике к этому близко понятия октаэдра и "пентаэдра коммутации"(временное мое название). пентаэдр коммутации это алгоритм сборки октаэдра из вершин, но пентаэдр и сам вполне себе полиэдр.

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


(Анонимно)
2018-06-01 09:24 (ссылка)
Миш, отправь его обратно в баню.
Ну фрик же полнейший.
Тот же [info]individ срёт крайне редко, а этот под каждым постом.

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


(Анонимно)
2018-06-01 14:38 (ссылка)
разница в двойственности, это когда определенный механизм формализации фрика, сам фрик. говорят шо оно гиперфрик. в четверичной ебанатологии к этому близко понятия лосося и "вуйнера коммуникации"(временное мое название). вуйнер коммуникации это алгоритм сборки ебаната из вершин, но вуйнер и сам вполне себе лосось.

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


(Анонимно)
2018-06-03 11:23 (ссылка)
Не правда
Даже такой тупой студент как я, понимал все, что происходит на лекциях + Миша ни разу не говорил о том, что кто-то из студентов тупой и отвечал на вопросы нормально

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


(Анонимно)
2018-06-01 07:05 (ссылка)
Миша, ты еще давно где-то писал, что готовится перевод Complex analytic and differential geometry Demailly.
Это уже заброшенный проект?

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


(Анонимно)
2018-06-01 15:04 (ссылка)
Не начатый.

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


[info]kaledin
2018-06-01 17:09 (ссылка)
Она недописана.

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


(Анонимно)
2018-06-01 08:08 (ссылка)
> как рассказать интегрирование дифференциальных форм аксиоматически таким образом, чтобы свойства риманова интеграла выводились из двойственности Пуанкаре
Расскажи, пожалуйста, поподробнее как это сделать.

(Ответить)


[info]sgasgar
2018-06-01 10:57 (ссылка)
>Подожду год, посмотрю на
>динамику арестов, и тогда решу, стремно
>туда ехать или очень стремно.
fixed

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


(Анонимно)
2018-06-01 11:46 (ссылка)
+1

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


[info]ololo
2018-06-01 12:38 (ссылка)
Бля, я сначала так и прочитал

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


[info]rampant_mouse
2018-06-01 23:16 (ссылка)
В лекциях по когомологиям в лекции 2 на слайде 3 образ и пробраз Alt не наоборот?

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


[info]tiphareth
2018-06-01 23:23 (ссылка)
вроде ок
или я чего-то не понял

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


[info]kaledin
2018-06-01 23:54 (ссылка)
Под Альтом (слева в формуле) надо писать не тензорные произведения, а внешние. И в "reminder" у тебя опечатка.

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


[info]tiphareth
2018-06-02 02:20 (ссылка)
спасибо! Поправил
копипейст до добра не доводит, охохох

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


[info]bors
2018-06-02 02:39 (ссылка)
Раньше было лучше. Раньше было ясно, что определение дано на представителях классов эквивалентности. А теперь стало непонятно, что такое x1,...,xn, элементы алгберы Грассмана? Тогда каких представителей x1,..., xn мы берем в правую часть уравнения?

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


[info]rampant_mouse
2018-06-02 00:10 (ссылка)
Я имел в виду, что в формуле ок, а в фразе выше наоборот - from произвольные тензоры to антисимметричные. Вроде так обычно определяют Alt? А из грассмановой алгебры в образ Alt вроде Alt'ом обычно не называют, но может я и ошибаюсь. Да и не так уж это важно)

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


[info]tiphareth
2018-06-02 02:21 (ссылка)
поправил на
\Alt(x_1\wedge ...\wedge x_n):=
\frac 1{n!}\sum_{\sigma\in \Sigma_n}(-1)^{\tilde \sigma}
x_{\sigma(1)}\otimes ...\otimes x_{\sigma(n)}.
по совету [info]kaledin

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


[info]kaledin
2018-06-02 07:25 (ссылка)
Но надо сказать, что стандартная практика все же воспринимать альт как эндоморфизм тензорного произведения.

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


[info]tiphareth
2018-06-02 11:43 (ссылка)
ну естественно, я так и написал же

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


[info]kaledin
2018-06-02 17:06 (ссылка)
Нет, не вполне; у тебя вложение одного в другое, это комментаторов выше и путает.

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