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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2017-10-02 09:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Complex Numbers - Земное Притяжение
Entry tags:hse, math, obit

Воеводский
Написал для официальных целей по просьбе начальства.
Сохраню, чтобы не потерялось.

* * *

Володя Воеводский был года на два старше меня,
но в Гарвард мы поступили одновременно. К моменту
поступления у Воеводского были приличные публикации
о теории dessin d'enfant Гротендика, полученные под
руководством Юры Шабата, вдохновившего его на занятие
математикой (об истории этого знакомства было прекрасное
рассказано в совместном интервью Воеводского и Шабата:
http://polit.ru/article/2006/08/22/voevod/ ). Одна
из публикаций получила одобрительный отзыв от Гротендика,
который стал отшельником примерно тогда же, но немного
погодя. В результате у Воеводского появилась статья
с автографом Гротендика, возможно, одним из последних
прижизненных; Володя был весьма горд этим обстоятельством,
что и понятно. На мехмате он появлялся редко, и
был исключен оттуда примерно тогда же, когда поступил
в Гарвард.

Прямо перед поступлением Володя работал
в основном с Мишей Капрановым, с которым они написали
потрясающие работы про высшие категории, но у него уже
был свой собственный проект, который он блестяще реализовал
в диссертации. Идея была достаточно проста - реализовать
на схемном языке триангулированную категорию, естественно
явленную в гомотопической топологии посредством точной
последовательности Пуппе, но на пути ее реализации Володе
пришлось преодолеть несколько колоссальных препятствий.
Мы довольно много общались, обретаясь в Гарварде почти
ежедневно (Воеводский какое-то время даже жил в своем офисе,
ибо ленился снимать квартиру), и он рассказывал о прогрессе
своих исследований почти ежедневно; было очевидно, что
готовится один из крупных прорывов алгебраической геометрии.
За работой Воеводского с огромным интересом следили
профессора Гарварда: Дима Каждан (который был его научным
руководителем не только формально, но и фактически немало
помогал), но и даже люди, далекие от алгебры, такие, как
Шин-Тунг Яу, знаменитый дифференциальный геометр.

Воеводский закончил свою диссертацию и немедленно получил
позицию Fellow of Harvard; это постдок, вся обязанность которого
состоит в еженедельном посещении совместного ужина исследовательского
товарищества. После Гарварда Володя уехал в Чикаго, где
ему очень помогли Андрей Суслин и Эрик Фридлендер, в тот
момент основные эксперты в алгебраической К-теории. С их
поддержкой, Воеводский смог применить категорию производных
мотивов, которую он построил, к алгебраической К-теории, и
решить несколько гипотез, которые на тот момент казались
нереально трудными. Таким образом его теория, и без того
нереально красивая, нашла практические приложения.

В скором времени Володя получил филдсовскую премию
и стал знаменитостью, так что в 2000-х мы общались
весьма мало. Роман Михайлов записал чудесные интервью
Воеводского, доступные тут:

https://web.archive.org/web/20120812023416/https://baaltii1.livejournal.com/198675.html
https://web.archive.org/web/20120812023457/http://baaltii1.livejournal.com/200269.html

В те 2-3 раза, что мы встречались, Воеводский
рассказывал о своем проекте по уничтожении математических
исследований; он считал, что комплекс программ, над
которыми он работал в 2000-е, уничтожит саму профессию
математика-исследователя. Было это довольно занятно.

Теперь он умер, и я даже не знаю отчего.

Привет



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


[info]tiphareth
2017-10-04 19:26 (ссылка)
там есть другое определение, в терминах интегрируемости формы объема
каноническая особенность - голоморфная форма объема интегрируема и те де

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


[info]kaledin
2017-10-04 19:34 (ссылка)
>и те де

И те де что?

Есть четыре выделенных класса особенностей (канонические, терминальные, лог-канонические, лог-терминальные), определяются через Хиронаку. Одно из четырех, возможно, можно интерпретировать через форму объема, но это, если и верно, не определение, а теорема (причем не очень полезная). Хиронака конечно не работает в char p, но размышления над "формой объема" в любом случае применимы только над C.

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


(Анонимно)
2017-10-04 19:36 (ссылка)
++++

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


[info]tiphareth
2017-10-04 21:35 (ссылка)

>но это, если и верно, не определение, а теорема
> причем не очень полезная

мальчик, девочка, какая разница
тебе лично может и не полезная, а люди работают

вот тут оно дается как определение (для лог-канонических и лог-терминальных пар)
http://wwwf.imperial.ac.uk/~jw2214/project1.pdf

>не очень полезная

не следить за наукой неполезно в первую очередь

я читал курс, где все эти особенности (которые иначе
все равно запомнить невозможно) определялиъ через пучки
мультипликаторов, при этом большинство теорем доказываются
много проще

>Одно из четырех, возможно, можно интерпретировать

да все можно, конечно, тут есть например
http://wwwf.imperial.ac.uk/~jw2214/project1.pdf

>но размышления над "формой объема" в любом случае применимы только над C.

KLT, PLT, LT и LC все можно переговорить без Хиронаки
http://www.ams.org/journals/jag/2002-11-02/S1056-3911-01-00306-X/
на той версии мультипликаторных идеалов, которая доступна в char=p
это, конечно, не вполне L^2-интегрируемость/мультипликаторы, но
для практических целей более-менее она

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


[info]kaledin
2017-10-04 22:00 (ссылка)
>вот тут оно дается как определение (для лог-канонических и лог-терминальных пар)
http://wwwf.imperial.ac.uk/~jw2214/project1.pdf

Даже не на архиве.

Ок, ок, пусть цветут все цветы, тысячи их.

>которые иначе все равно запомнить невозможно

Ну что ты не запомнил, я вижу.

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


[info]tiphareth
2017-10-04 22:57 (ссылка)
>Даже не на архиве.

это, есличо, research project
(гражрданин в этом году заканчивает аспирантуру, ищет постдок)
пересказывает общеизвестное, исходник мне искать лениво

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


[info]kaledin
2017-10-05 00:03 (ссылка)
Ну посмотрел на него, раз так. Молодежь надо уважать.

Озбор как обзор, плюс-минус аккуратный, таких много.

Определения терминальных, канонических, лог-терминальных и лог-канонических особенностей там разумеется нет.

>исходник мне искать лениво

Это ничего; хуже, что тебе лениво читать по собственным ссылкам.

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


[info]tiphareth
2017-10-05 03:59 (ссылка)
определение 2.3

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


[info]kaledin
2017-10-05 04:38 (ссылка)
KLT (версия лог-терминальных, но именно версия), и лог-канонические. Полтора из четырех.

Я понимаю, что тебе пофигу и нафиг оно не сдалось. Ну а нам не пофигу. И вот мы тут про это и говорили.

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


[info]tiphareth
2017-10-05 12:49 (ссылка)
в общем пофиг, искать источники на контент курса, который я же читал,
нафига? у меня в офисе они все в распечатанном виде лежат (но в Москве)

быстрый поиск в гугле
дал еще одно место, где определяются lc/lt через
мультипликаторы
https://pdfs.semanticscholar.org/fb25/10a9c9866990172951ceac259d92bb32bc1b.pdf
TEST IDEALS VS. MULTIPLIER IDEALS, by Mircea Mustata
как определять канонические, я сказал

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


[info]kaledin
2017-10-05 13:25 (ссылка)
Слушай, хватит. Если ты знаешь эту науку на уровне "быстрого поиска в гугле", ок, нет проблем, наук много, эта не самая лучшая, никто не обязан ее знать. Но не трать свое время и не морочь мою голову.

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


(Анонимно)
2017-10-05 18:51 (ссылка)
а Вы с блатной педали не спрыгивайте, Дмитрий Борисович. Народу нравится читать всеето, причем с пруфлинками.

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


[info]oort
2017-10-06 14:25 (ссылка)
это же про этот курс, да?
http://ium.mccme.ru/f11/verbitskii-f11.html

слайдов найти не смог, интересно

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


[info]tiphareth
2017-10-06 14:32 (ссылка)
а их и нет

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


(Анонимно)
2017-10-06 15:56 (ссылка)
+++++

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


[info]deevrod
2017-10-05 15:50 (ссылка)
> Ну а нам не пофигу.

А зачем вообще нужны особенности? Почему это хоть кого-то интересует? Кроме разрешения симплектических особенностей ничего не приходит в голову.

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


[info]tiphareth
2017-10-05 17:19 (ссылка)
Для MMP же
вот попробуй без лог-канонических центров доказать
Kawamata base point free

емэйл сегодня напишу, прости, что торможу: фобия

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


[info]deevrod
2017-10-05 18:06 (ссылка)
Ничего, я всё равно до 18-го пока повторяю теорему Егорова и т. д.

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


[info]kaledin
2017-10-05 23:22 (ссылка)
Ну, некоторые занимаются алгебраической геометрией все же (а не "комплексной", или прочей такого сорта). Не нравится, не ешь.

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


(Анонимно)
2017-10-14 05:07 (ссылка)
Компактификация пространств модулей - раз. Исследование многообразий через отображение в другие и рассмотрение слоя - два (Пикар-Лефшец, вот это всё). Как бы без особых слоёв никуда. Фактор по действию группы - три. Ну и просто гораздо больше свободы даёт в конструкциях и сильно естественней.

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


[info]deevrod
2017-10-17 04:51 (ссылка)
> Компактификация пространств модулей
и сразу же нахуй
Не, ну меня Каледин с [info]rsa убедили, что особенности почему-то важны им сами по себе. Ну ок, я не против.

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


[info]kaledin
2017-10-05 04:42 (ссылка)
Причем одно из двух определений у него неправильное, из-за позднего часа не соображу, какое именно (потому что когда D пустое, у него получается одно и то же, а должно быть разное). Лог-каноническое неправильное наверное.

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


[info]apkallatu
2017-10-05 18:24 (ссылка)
наверное вопрос вкуса, но мультипликаторные идеалы, если я правильно понимаю, в ту же цену, что и разные виды особенностей: есть как аналитическое определение, так и алгебраическое, и последнее первым делом берёт разрешение особенностей.

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


[info]kaledin
2017-10-07 16:51 (ссылка)
Нет, это разные вещи.

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

Сами же классы особенностей, как и MMP, были существенно раньше, и анализ там вообще ни при чем.

Собственно, и до сих пор MMP вещь чисто алгебраическая, анализ там впрямую не применяется (скажем, в статье BCHM никакого анализа и близко нет). Разговоры про то, что вот а сейчас мы применим анализ, да поток Риччи, да еще что-нибудь, ведутся уже лет 40, но до сих пор они аболютно ни о чем. Опосредованно анализ конечно применяется очень сильно -- через vanishing theorems и подобное. В принципе, у большинства таких теорем сейчас есть два доказательства, одно аналитическое, другое через char p, но у некоторых есть только аналитическое, а у некоторых только через char p. На практике, понятное дело что нужно и то, и другое, а базовая наука при этом остается чисто алгебраической. Никакой версии MMP в комплексной геометрии, например, нет, и вряд ли будет (что-то есть, но существенно более слабое).

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


(Анонимно)
2017-10-07 17:30 (ссылка)
++

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


[info]tiphareth
2017-10-07 17:55 (ссылка)
>Никакой версии MMP в комплексной геометрии, например, нет

Да есть же
https://arxiv.org/pdf/1701.01653

Abstract. We describe the recently established minimal model program for
(non-algebraic) K¨ahler threefolds as well as the abundance theorem for these spaces.

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


[info]kaledin
2017-10-07 18:00 (ссылка)
>for (non-algebraic) K¨ahler threefolds

Для сравнения: алгебраическая MMP в размерности 3 была полностью закончена году так к 85му.

Т.е. ровно как я сказал: что-то есть, но сильно меньше и сильно позже.

Я не понимаю, нафиг тебе с таким упорством отрицать банальности. Но дело твое.

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


(Анонимно)
2017-10-07 19:18 (ссылка)
+++

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


[info]apkallatu
2017-10-08 18:38 (ссылка)
спасибо за проясняющий комментарий.

> нечто в характеристике p, возникшее вообще из коммутативной алгебры

это речь про Frobenius splitting и test ideals?

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


[info]kaledin
2017-10-08 20:31 (ссылка)
И tight closure. Конечно, да.

Я ссылок не даю, но их полно, обзоры Лазарсфелда там, или Мустацы, полно. Миша, я так понимаю, вот именно про это и читал курс (а не про стандартную MMP).

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


[info]tiphareth
2017-10-08 22:50 (ссылка)
только у меня ни слова про tight closures не было
char=p была только в теореме Мори

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


[info]kaledin
2017-10-09 02:05 (ссылка)
>только у меня ни слова про tight closures не было

Тому що нельзя объять необъятное, а тебя, я подозреваю, на самом деле все равно интересует комплексная геометрия, а не алгебраическая.

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


[info]tiphareth
2017-10-09 12:54 (ссылка)
тому що науку про tight closure прилично рассказать все равно невозможно,
по крайней мере никто не пробовал, куда ни суй, будет либо скучно,
либо непонятно, а обыкновенно и то и то, Ну типа, "дьявол алгебры
и ангел геометрии", вот у них ангела нет почти совсем

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


[info]kaledin
2017-10-09 13:52 (ссылка)
>прилично рассказать все равно невозможно

Это кому как.

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


[info]tiphareth
2017-10-09 15:06 (ссылка)
ну ок, давай ссылку, где оно прилично рассказано
я читал канонические тексты Карин Смит, она великая женщина,
но читать это нельзя по-моему, хотя изложение у ней, видимо,
оптимальное

просто наука техничная до полной невразумительности

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


[info]kaledin
2017-10-09 15:29 (ссылка)
>читать это нельзя по-моему

Во-во. Последнее слово ключевое.

>просто наука техничная до полной невразумительности

Еще раз, кому как. For the record, с моей колокольни, оно технично вполне в пределех, и в общем внятно (особенно та часть, где все интерпретируется через действие фробениуса на локальных когомологиях). А все аналитическое после L^2-оценок Хермандера представляется в лучшем случае шаманством, в худшем мутным бредом, который понять в принципе невозможно (и где скорее всего полно ошибок, см. например Цуджи и позднего Сиу). Что до "ангела геометрии", то эту фразу придумал кажется Пуанкаре, который в жизни ни одной теоремы не доказал, и вообще был не математик, а физик.

Ты это хотел услышать?

Tastes differ.

По факту же, если кто занимается алгебраической геометрией, на каком-то уровне надо понимать и то, и то (и еще интерпретацию Мустацы через arc space тоже полезно, и связь с D-модулями тоже не повредит). А если комплексной, то большая часть этого не нужна, потому что все равно неприменима, и создает ложную интуицию.

>изложение у ней, видимо, оптимальное

Плюс-минус, хотя она происходит из коммутативной алгебры, и это видно. Слишком много "систем параметров". Надо комбинировать с Мустацей.

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


[info]tiphareth
2017-10-09 16:02 (ссылка)
>придумал кажется Пуанкаре

Герман Вейль

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


[info]kaledin
2017-10-09 16:56 (ссылка)
Ну ладно тогда. Этот хоть знал, о чем говорил.

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


[info]kaledin
2017-10-09 17:00 (ссылка)
Но только там была не геометрия, а топология!! вот блядь, ничему верить нельзя, все надо проверять.

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


[info]tiphareth
2017-10-09 19:15 (ссылка)
под "топологией" он имел в виду что-то типа общей топологии,
фон-Нейман, Урысон, вот это все.

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


[info]kaledin
2017-10-09 20:51 (ссылка)
Откуда ты знаешь? 39 год это не 22й.

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


[info]tiphareth
2017-10-09 23:08 (ссылка)
потому что его в топологии пер се интересовала
5-я проблема Гильберта, мера Хаара (построенная
фон Нойманом на компактных группах), вот такие вещи
и чисто комбинаторные аспекты топологии (где опять таки
изрядно покопался фон Нойман), которым посвящена единственная
статья Вейля по топологии (переведенная на испанский
и так опубликованная, от стыда)

а основной вклад Вейля в топологию - определение гладкого многообразия,
которое он не дал, но приблизился к тому, чтобы дать, а вот например,
Картан принципиально его давать отказывался, исходя из принципа
"you know when you see it"

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


[info]deevrod
2017-10-09 23:11 (ссылка)
Определение дал всё же Уитни (точнее, закрыл вопрос о том, почему
многообразия и подмногообразия в \R^n -- это одно и то же).

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


[info]tiphareth
2017-10-09 23:31 (ссылка)
есть много разных теорий насчет того, кто дал определение,
я не видел ни одной убедительной

а ты цитату из Уитни видел? Я нет

но что он его дал после Вейля тут вопросов нет никаких

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


[info]deevrod
2017-10-10 01:20 (ссылка)
http://www.maths.ed.ac.uk/~aar/papers/manifold.pdf

Определение Вейля, видимо, опубликовано не было. До Уитни, как я понимаю, люди путали определение многообразия как подмногообразия в \R^n и как 'цепи многообразий', в смысле, то, что локально выглядит как подмногообразие в \R^n.

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


(Анонимно)
2017-10-10 01:55 (ссылка)
+

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


[info]tiphareth
2017-10-10 03:03 (ссылка)
здорово, да, вполне современное определение, даже
дико как-то, учитывая, какую чушь тогда в статьях писали
даже великие математики типа Морса

>Определение Вейля, видимо, опубликовано не было.

Было, в 1913-м году:

In 1913, Weyl published Die Idee der Riemannschen Fläche (The Concept of a Riemann Surface), which gave a unified treatment of Riemann surfaces. In it Weyl utilized point set topology, in order to make Riemann surface theory more rigorous, a model followed in later work on manifolds. He absorbed L. E. J. Brouwer's early work in topology for this purpose.

https://en.wikipedia.org/wiki/Hermann_Weyl

Это, считается, типа основной вклад Вейля в топологию

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


[info]deevrod
2017-10-10 03:17 (ссылка)
Не смог найти этот текст -- только переиздание 1955 года. Впрочем, я и так бы ничего не понял, раз там по-немецки.

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


[info]oort
2017-10-10 09:19 (ссылка)
https://archive.org/details/dieideederrieman00weyluoft

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


[info]kaledin
2017-10-10 14:20 (ссылка)
>вполне современное определение

Не вполне: там написано "множество", имеется в виду топ. пространство, отображения по-видимому должны быть гомеоморфизмами, что тоже не сказано, и условие хаусдорфовости (последняя аксиома) прописано как-то криво и не факт, что правильно. Т.е. осознания того, что топ. прострамство это дополнительная структура, совершенно нет.

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


[info]tiphareth
2017-10-10 16:12 (ссылка)
>по-видимому должны быть гомеоморфизмами, что тоже не сказано

топология восстанавливается из окрестностей, плюс к тому там еще
дополнительная аксиома что дескать если последовательность
сходится в одной карте, она сходится и в другой

осознания нет, да, наоборот - он старается избежать этого слова
возможно, потому что читателя опасается

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


[info]kaledin
2017-10-10 21:19 (ссылка)
>топология восстанавливается из окрестностей

Тогда не надо писать, что окрестности "открытые" (а там написано, прямым текстом). Про сходимость это, по-видимому, еще и условие хаусдорфовости. Но в целом все равно мутновато.

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


[info]kaledin
2017-10-09 23:20 (ссылка)
>а основной вклад Вейля в топологию - определение гладкого многообразия

Это вообще не топология никаким боком, и даже тогда не была (Картан и топология две вещи несовместные).

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

Твоя узкая интерпретация точно невозможна, иначе фраза просто бессмысленна (за душу *каждой* области математики борются абстрактная алгебра и мера Хаара? -- come on).

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


[info]tiphareth
2017-10-09 23:30 (ссылка)
>Это вообще не топология никаким боком

я цитирую его биографию, есличо. Мопед не мой.

>не писал статей по топологии как науке

как раз писал. По-испански.
Потому что после Пуанкаре писать статьи по топологии
публично был адский зашквар и он стесняшка.

It turns out that Beno Eckmann actually asked Hermann Weyl why he published this work in Spanish, as described here and here. The answer is remarkable and unexpected (and apparently does not involve his Spanish spouse).

I quote from the latter source (RK=Robert Kotiuga, BE=Beno Eckmann):

RK: In the hallway outside our offices was a high-tech espresso machine and every morning Beno would take a break to sit and enjoy an espresso outside our offices. The first day, I "coincidentally" joined him and he related wonderful anecdotes from 1950-1955, after Hermann Weyl retired from the IAS, resettled in Zürich, and frequented the department. The next day I resolved to ask Beno a question which I didn't think any living person could answer.

RK: Beno, there is something I really don't understand about Hermann Weyl.
BE: What is it?
RK: Well, in his collected works, there are are two papers about electrical circuit theory and topology dating from 1922/3. They are written in Spanish and published in an obscure Mexican mathematics journal. They are also the only papers he ever wrote in Spanish, the only papers published in a relatively obscure place, and just about the only expository papers he ever wrote on algebraic topology. It would seem that he didn't want his colleagues to read these papers.
BE: Exactly!
RK: What do you mean?
BE: Because topology was not respectable!

https://mathoverflow.net/questions/282538/hermann-weyls-work-on-combinatorial-topology-and-kirchhoffs-current-law-in-spa

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


[info]kaledin
2017-10-09 23:44 (ссылка)
Да, но в 22/23 году никакой "алгебраической" топологии и в помине не было, это анахронизм, а то, что было, легко поверить что было non-respectable. К 39 году все сильно поменялось.

Оно в любом случае иррелевантно. Вон М.М. Постников в теорию категорий не внес вообще никакого вклада, но зазомбировал ею на отлично несколько поколений (к последнему я с радостью принадлежу).

Исходная цитата из статьи "Инварианты", которая за пэйволлом, но по названию основное понятно (действительно про унитарный трюк).

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


[info]tiphareth
2017-10-10 03:14 (ссылка)
>никакой "алгебраической" топологии и в помине не было, это анахронизм

там комбинаторный вроде бы текст

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

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


[info]kaledin
2017-10-10 14:11 (ссылка)
Там про "законы Кирхгофа", которые при желании можно интерпретировать как исчисление H^1 от графа. Но слов таких там понятное дело нет.

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


[info]kaledin
2017-10-09 23:22 (ссылка)
>Картан принципиально его давать отказывался

Сейчас так же себя ведет Гриша Михалкин.

Они оба геометры потому что. Дьявол геометрии их поглотил. А он злой и ревнивый что твой тетраграмматон.

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


[info]apkallatu
2017-10-13 14:27 (ссылка)
за михалкиным идут следом и переписывают.

уже понятно, что тропическая геометрия это глава неархимедовой.

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


[info]kaledin
2017-10-09 17:04 (ссылка)
И не за душу каждого математика, а за душу каждой области математики! 1939 год. Бля, в таком виде это просто верно -- уж точно верно на тот момент. Но только пардон, Гротендик тогда получается тополог, а 99% аналитиков с их оценками, неравенствами и многоэтажными формулами -- чистые алгебраисты.

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


[info]der_kluge_star
2017-10-10 11:04 (ссылка)
Мне кажется, что едва ли не всё аналитическое после оценок Хёрмандера так или иначе из них следует. А какие именно результаты имеются в виду?

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

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


[info]kaledin
2017-10-10 14:12 (ссылка)
Ну почему, бывают же нелинейные уравнения еще. Я так или иначе ни про что конкретное не говорю, говорю про общие ощущения.

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


[info]deevrod
2017-10-10 18:22 (ссылка)
Насколько я понимаю, проблема с Пуанкаре была не в том, что он физик, а в том, что он не верил в теорию множеств. Правильно делал, в принципе: это сейчас очевидно, что правильное использование множеств в топологии безобидно. А ведь на самом деле это чудо -- могло бы получиться зависящее от аксиом уродство типа теории меры.

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


(Анонимно)
2017-10-08 23:27 (ссылка)
++++

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


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