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

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-е, уничтожит саму профессию
математика-исследователя. Было это довольно занятно.

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

Привет



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


(Анонимно)
2017-10-02 18:06 (ссылка)
Сегодня ты занимаешься высшими категориями а завтра захочешь уничтожить математику (n-category lab - главный враг математики? кстати, они там тоже интересуются унивалентными основаниями и другим множеством оснований и теорий множест, совпадение?)

Как говорил сам Воеводский (на каком-то из своих докладов по унивалентным основаниям), технические трудности в его работах по высшим категориям (где он в результате ещё и ошибся, хотя никто до Симпсона не мог понять, где была ошибка, и была ли она вообще) и стали одним из причин, почему он хотел, чтобы компьютеры могли доказывать теоремы вместо математиков.

А Воеводского жалко. Судя по всему, классный мужик был.

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


(Анонимно)
2017-10-02 19:45 (ссылка)
компьютер не понял юмора типа "эквивалентно эквивалентности"

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


[info]kaledin
2017-10-03 00:22 (ссылка)
>n-category lab - главный враг математики

Да не главный конечно, много чести. Просто тупой остойник для дураков.

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


(Анонимно)
2017-10-03 11:12 (ссылка)
Не могли бы вы раскрыть мысль?

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


(Анонимно)
2017-10-03 18:01 (ссылка)
ларчик открывается очень просто
эпатажный жыд опять решил выебнуться и спизданул хуйню

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


(Анонимно)
2017-10-03 22:19 (ссылка)
Вот вас не спросил. Идите, займитесь своей математикой для руССких.

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


(Анонимно)
2017-10-04 18:46 (ссылка)
нет, вы.

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


(Анонимно)
2017-10-13 07:13 (ссылка)
Что плохого в ncatlab? Сидят люди, аутируют в зигохистоморфные препроморфизмы (n,r)-категории, никому не мешают. Почему дураки-то?

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


[info]kaledin
2017-10-13 14:28 (ссылка)
>Почему дураки-то?

Откуда я знаю? Родились такие.

Люди, которые глупо сидят и медитируют на глупость, называются "дураки". Это не ругательство, это констатация факта.

>Что плохого в ncatlab?

Засоряет ноосферу, засирает мозги студентам. Но весьма умеренно. Раньше, когда там попадалсь очаги разума, было хуже, но теперь Урс Шрайбер эту проблему решил. А студентов не очень-то и жалко, взрослые люди, в конце концов. Дарвиновский отбор.

Вот есть канонический пример математика, которые много знает вроде бы, долго этим занимается, много теорем доказал -- но при этом на самом деле не понимает ничего ни в чем, придумывает только уродливые и бессмысленные конструкции, и вообще всегда попадает не туда. Этакий пример идеального вкуса наоборот. Это Жуаяль. А ncatlab это сборище жуаялей-wannabe.

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


(Анонимно)
2017-10-13 17:54 (ссылка)
А что сделал Урс Шрайбер? Не гуглится.
Я там только определения читал, их сайт сильно лучше википедии для этого. Неужели не читать теперь, беда-сомнения.

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


[info]kaledin
2017-10-13 21:10 (ссылка)
>Я там только определения читал

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

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


(Анонимно)
2017-10-16 11:18 (ссылка)
Дак а можно какой-нить пример? Чтоб оценить их глубину.

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


[info]kaledin
2017-10-16 14:57 (ссылка)
Я что, читал что ли? Мне рассказывали.

Единственное, что я там читал, это про теорему представимости Брауна. Прямых ошибок там может и нет, это как смотреть, но что написано через жопу это мягко сказано. Во-перых, 90% занимает длиннейшая простыня про infty-категории, к делу не имеющая отношения вообще. Ок, выкидываем. В оставшемся, сформулирована только одна из двух теорем (когомологическая, но не гомологическая). Гомологическая зажата под ковер, ссылкой "двойственность Спаньера-Уайтхеда", опять-таки к делу никакого отношения не имеющей. При этом стоит предупреждение про фантомы, которое релевантно только для гомологической теоремы -- слава богу что хоть ссылка на mathoverflow при нем, т.е. можно понять, что они вообще пытались сказать.

Из полезного, есть один контрпример (идемпотент в гомотопической категории, не имеющий образа).

По раскопкам, заключаем следующее. Сначала там был, возможно, даже и разумный текст. Потом понабежали адепты лурьемании, вставили свою бессмысленную простыню. И в конце еще пришел мудак редактор, Урс Шрайбер небось, и все "унифромизовал" под свое понимание предмета (отсутствующее).

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


(Анонимно)
2017-10-16 18:47 (ссылка)
>адепты лурьемании
а есть ещё каломания, это когда человек любит жрать говно и всем об этом рассказывать

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


[info]painpain
2017-10-13 18:29 (ссылка)
> Люди, которые глупо сидят и медитируют на глупость, называются "дураки".

Great definition!

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


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