Десять лет назад: Кошулева тройственность

Двадцать лет и неделю назад, в последние дни марта 1999 года, на свет появилось то, что было тогда названо "производными категориями второго рода". Семь лет потребовалось мне, чтобы решить задачу, решением которой стало это понятие (я размышлял над ней с 1992 года) -- и еще десять лет прошло, пока я смог написать это решение.

Без трех недель десять лет назад, в один из последних дней моего двухмесячного визита в институте IHES в марте-апреле 2009, увидел свет мой первый препринт про это. К тому времени эти категории стали уже называться копроизводными и контрапроизводными.

А сегодня (наступающим днем) будет ровно десятилетняя годовщина моего доклада на эту тему на семинаре по алгебре в институте Анри Пуанкаре в Париже. Это было в понедельник, 6 апреля 2009 года. Русский перевод названия того доклада вынесен в заголовок этого постинга.

Можно сделать поиск на Koszul Triality (или, скажем, на мою фамилию) в файле с архивом программы семинара за 1996-2016 годы: https://www.imj-prg.fr/gr/PHP/index.php?Sem=Algebre&Date=-2015 . См. также запись в этом ЖЖ от 15 марта 2009 -- https://posic.livejournal.com/279091.html

К предыдущему

В годы, предшествовавшие гарвардской аспирантуре -- 1991-95 примерно -- у меня были три мечты.

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

Я мечтал доказать кошулевость алгебры Милнора поля по модулю простого числа, и не смог. На этой почве мы с Сашей В. написали статью, а потом я написал еще восемь. Но гипотеза так и остается не доказанной.

Я мечтал построить производную неоднородную кошулеву двойственность, и построил. Из этого выросло все самое важное, что мне удалось сделать.

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

Ужасы научной работы в сфере лженаучной мейнстримной экономики -- https://asskorobogatov.livejournal.com/34189.html , а также в прочих остальных (лже)научных сферах -- https://zzloy-dikobrazz.livejournal.com/798506.html

"Если ты займешься какой-либо из тем современной экономики, тебе гарантирована круглосуточная загрузка головы, но и так же гарантировано, что по прошествии полувека такой загрузки ты даже самому себе едва сможешь объяснить результаты, к которым пришел."

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

Сегодня я тоже могу сформулировать главное свое открытие одной фразой. Я не Ньютон (да и со времен моей эпохи триста лет еще не прошли), поэтому фраза получится подлиннее:

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