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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2010-05-15 03:28:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Dr. Fiorella Terenzi - Music from the Galaxies
Entry tags:math, mccme

Экзамен, задачи, второй курс
Кстати, лекции для второго курса благополучно
завершились экзаменом. Разультаты - пять пятерок,
две четверки, три тройки и четыре пересдачи.

Задачи к экзамену, с условиями:
http://verbit.ru/MATH/PDE/pde-exam.pdf

Листочки:
[ 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 ]

И вот английский перевод, от Саши Ананьина: [ 1 | 2 ]

* * *

Пока составлял задачи, неиллюзорно измучился,
потому что курс экзотический, и пришлось
все задачи выдумывать на месте. Заодно пробежался
по условиям аспирантских экзаменов во всяких
приличных местах типа Гарварда. Вопросы там,
конечно, сложные, но вот по анализу на
многообразиях (а особенно по функциональному
анализу) все до того просто, что ничего
подходящего не нашлось. Та часть Википедии,
которая про функциональный анализ (лемма
Соболева
и прочее) написана феерически плохо
и бездарно, то есть, в отличие от всего прочего
математического контента Википедии, абсолютно
бесполезна.

mathoverflow
эти темы по большей части тоже
игнорирует.

Думаю, это оттого, что чисто учебная тематика,
то есть все вопросы, которые там были, доделали
еще в 1930-е. По уму если, когда наука доходит до
такой стадии, ее надо высекать в скрижалях, упрощать
доказательства до уровня дважды два и включать в
школьную программу (или первый год обучения
университетской).

С анализом на многообразиях этого не произошло,
потому что язык дифференциальной геометрии радикально
менялся за последние 100 лет как минимум 3 раза
(локальный координатный подход Бляшке, потом метод
движущихся реперов Картана, потом обозначения с
индексами и символами Кристоффеля, пришедшие из
физики, и современный язык связностей и расслоений
практически без индексов и без координат).

Смена языка задает полную смену парадигмы, то
есть для современного математика все, написанное
устарелым языком -- нечитабельный мусор, а его
практики -- ходячие окаменелости. Результатом
трехкратной смены парадигм была полная утрата
ориентиров и традиций, то есть вместо упрощения
доказательств специалистам приходится переписывать
каждое поколение всю математику новым языком;
масса литературы накапливается, а число людей,
которые в ней разбираются - падает до нуля.

А в отсталых странах (типа России)
дифференциальную геометрию рассказывают
"исторически", и это полный ахтунг, то есть
мутный координатный бред насчет кривых и
поверхностей в \R^3 в духе Бляшке и Бибербаха
сменяется таким же унылым (но совершенно
несовместимым с этим) идиотским бредом на тему
символов Кристоффеля. В результате студентам
накручивают по три раза одну и ту же унылую и
никому не нужную тупую хуйню с индексами,
выдавая все это за "дифференциальную геометрию".

Ненавижу.

Привет



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


[info]hippie57
2010-05-15 17:56 (ссылка)
Ну, ДГ-язык всё же вполне себе претендует на общеупотребимость. То есть высшая категорная наука, если не как у Лури, то как у Тоэна, имеет настоящее и будущее. Ты, кстати, не смотрел новую книжку Симпсона с его подходом к высшим категориям? Там, насколько я понимаю, основная техника -- построение модельной структуры на категории, оснащенной над некой другой модельной категорией. Оффтоп: а) куда тебе написать е-мейл с математическим вопросом? б) ты будешь в Москве в конце мая -- начале июня?

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


[info]tiphareth
2010-05-15 19:02 (ссылка)
Попробуй на verbit[]mccme.ru, вроде оно доходит.
В Москве не буду, еду в понедельник в Бразилию на все лето.

Что до высших категорий, я смотрел, да, но приложений у сей науки
доселе никто тоже не видел, хотя они в принципе естественно
вытекают из алгебро-геометрической практики, то есть теоретически
наверное могут иметь применение (и Симпсон о том иногда
рассказывает)

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


[info]hippie57
2010-05-15 19:35 (ссылка)
Ага! Бразилия -- это то, что надо. Есть шанс, что я надумаю заехать на конференцию по Пуассоновым делам в середине июля. Меня звали, но далековато. Вопрос у меня был, собственно, к Диме.

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


[info]tiphareth
2010-05-15 19:46 (ссылка)
Ну здорово, давай. Я в Кампинасе, думаю, можно устроить тебе
поездочку туда, или мне к тебе (в Рио, полагаю)

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


(Анонимно)
2010-05-15 19:52 (ссылка)
Конференция в ИМПА, или как его там. Попробую добраться, мне правда интересно, что в Бразилии такое, и с математикой тоже. Особенно после твоих репортажей с мест. Да, а в Банффе было дивно, в математическом смысле положительно удивил Хитчин, я о нём хуже думал до того.

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


[info]tiphareth
2010-05-15 19:57 (ссылка)
Хитчин офигенный, да.
Я не знал, что ты в Банффе - жалко, не доехал
(с визой стормозил).

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

Такие дела
Миша

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


[info]leblon.livejournal.com
2010-05-17 21:46 (ссылка)
A chto tam Hitchin? Chto-to interesnoe rasskazal?

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


[info]hippie57
2010-05-17 23:15 (ссылка)
Nu lichno mne ponravilos' (vsvyazi s FHT), takoe zamechanie Hitchina. Pust' G -- kompaktnaya prostaya gruppa Li. Voz'mem vse neregulyarnye elementy. Eto cikl korazmernosti 3. On dvojstvenen standartnomu kociklu v tret'ih kogomologiyah s kratnost'ju -- dual'noe chislo Kokstera. Ya etogo ne znal, i est' o chem podumat'.

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


[info]kaledin
2010-05-16 20:04 (ссылка)
V moskve budu chisla s 8go iyunya i do avgusta, e-mail vse ravno kuda (mi.ras.ru ili mccme.ru). Simpsona ne smotrel.

Model'nye kategorii ehto ochen' neudobnaya tekhnika vse zhe, prichem neprorabotannaya v osnovaniyakh (net nikakikh sistematicheskikh sposobov stroit' ne cobifrantly generated model structures). DG tozhe na akhti kak udobno, a krome togo ego izvestno chto ne hvataet (naprimer, ne propisano ponyatie semejstva DG kategorij -- pochemu, sobstvenno, Nadler i Bez-Zvi primenyayut Lurie). Ni pro chto iz ehtogo u menya net oshchushcheniya, chto ono budet aktual'no cherez 20 let. T.e. na urovne ideologii budet konechno, ono uzhe itak let 30 kak, a tekhnika budet drugaya, ya dumayu.

Voobshche, lyubaya abstrakciya bez konkretnykh primerov pod nej vyzyvaet somnenie. V sluchae so vsem ehtim (n,\infty) konkretika ehto Madsen-Weiss. No ya predpochel posmotret' na to, kak ehto delo budut aksiomatizirovat' sam Madsen i ego ucheniki.

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


[info]hippie57
2010-05-17 04:15 (ссылка)
Pogodi, kak ne propisano? V obychnoj obschnosti DG-kategorii nad schemoj i descent dlya DG-kateogirj -- eto zhe, vrode, propisano?

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


[info]kaledin
2010-05-17 14:47 (ссылка)
Znaesh' chto takoe fibered category? tak vot adekvatnogo analoga dlya DG net. I ponyatno, pochemu: chtoby bylo prosto i krasivo, i baza, i sloj dolzhny byt' yavleniyami odnoj prirody. A kak est', prikhoditsya tashchit' kakie-to yavnye vysshie gomotopii en masse -- i sslyki ya ne znayu,

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


[info]hippie57
2010-05-17 15:08 (ссылка)
Aga. No v Lurievskoj nauke takoe tochno est'. A v DG govorish', netu? Da, ya tam tebe vopros poslal.

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


[info]leblon.livejournal.com
2010-05-17 21:49 (ссылка)
A kak zhe Toen? On zhe vrode stroil 2-kategoriyu puchkov DG-kategorij. I nam pro eto rasskazyval proshlim letom na dache.

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


[info]kaledin
2010-05-17 23:38 (ссылка)
Nu ono dolzhno zhe byt' ne 2, a \infty. I kak-nibud' chtob poproshche. Chto u nego, ya tochno ne pomnyu, no uzh navernyaka, kak minimum, puchki v strogom smysle, t.e. kompoziciya fuktorov ogranicheniya izomorfna funktoru ogranicheniya (a ne kvaziizomorfna). Gromozdko vse ehto.

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


[info]hippie57
2010-05-19 17:24 (ссылка)
Slushaj, tebe moj e-mail s voprosom prishel? Na mccme.

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


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