Category: литература

Category was added automatically. Read all entries about "литература".

Природа математики

https://posic.livejournal.com/1783330.html

Жизнь вообще полна загадок. В смысле, полны загадок фундаментальные аспекты бытия. Современный человек разучился удивляться и готов принимать на веру первые попавшиеся произвольные и ложные объяснения. Вооружившись таковыми, он разрушает то, чего не может объяснить.

Нет объяснения существованию мира, существованию жизни, разумной жизни и т.д. На мой взгляд, математика стоит в том же ряду. Ее существованию и природе нет объяснения. То есть, могут предлагаться и предлагаются самые разные объяснения, от Божьего промысла до эволюции, но все они, в зависимости от интерпретации, либо ничего не объясняют и прямо признают это, либо предлагаемые — чтоб не сказать навязываемые --- объяснения просто ложны и разрушительны. Я предпочитаю объяснения первого рода, нежели второго.

Можно сказать, что математический мир создан Богом, чтобы люди его изучали. Можно сказать, что математика — это особый род литературы, а числа, узлы и прочие математические объекты — это литературные герои математического повествования. Оба объяснения мало что объясняют, но они скромно признают наличие загадки, а не с наглой самоуверенностью отрицают ее. Этим они мне нравятся.

Полупроизводная категория для неаффинного квазикомпактного плоского морфизма

В развитие постинга https://posic.livejournal.com/2336338.html

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

В контексте алгебраической геометрии, "переменные коалгебры" означают пространство, сложно склеенное из маленьких аффинных схем -- скажем, инд-нетерову инд-схему или инд-нетеров инд-стэк. "Переменные алгебры" означают пространство, просто склеенное из больших аффинных схем -- скажем, бесконечномерную квазикомпактную полуотделимую схему.

Обычно конструкция полупроизводной категории подразумевает относительную ситуацию -- морфизм колец или пространств, "забывающий переменные алгебры". В этом случае понятно, как полупроизводная категория определяется. Бывают и более сложные конструкции, как например в мемуаре про слабо искривленные A-бесконечность алгебры.

Оставляя пока в стороне D-модули, стоит обсудить определение полупроизводной категории в контексте полубесконечной алгебраической геометрии квазикогерентных пучков кручения, как в моем пишущемся сейчас (апрельском 2021 года) препринте. Самое ограничительное из условий, при которых там развивается теория -- это аффинность морфизма инд-схем π: Y → X. Хотелось бы заменить аффинность на квазикомпактность и полуотделимость (понимаемую в том смысле, что прообраз любой аффинной локально замкнутой подсхемы в Х -- квазикомпактная полуотделимая локально замкнутая подсхема в Y).

Аффинность эта нужна для того, чтобы определять полупроизводную категорию в терминах функтора прямого образа квазикогерентных пучков кручения при морфизме инд-схем Y → X. Чтобы прямой образ был точным и строгим функтором, морфизм должен быть аффинным. На этой почве я еще в каком-то 2013 году размышлял о важности аффинных морфизмов в полубесконечной алгебраической геометрии.

Теперь же мне кажется, что аффинность можно ослабить до квазикомпактности и полуотделимости, хотя и ценой существенного усложнения определения. Пусть π: Y → X -- квазикомпактный, полуотделимый, плоский морфизм инд-схем (при этом X предполагается инд-нетеровой инд-схемой). Что значит, что комплекс квазикогерентных пучков кручения N на Y полуацикличен относительно X?

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

Два с половиной месяца (с 20-х чисел февраля) ушли у меня на то, чтобы написать эти 114 страниц. Это если не считать тринадцать лет или четверть века предшествовавших размышлений.

Полная версия, если все получится, составит страниц 130-140. Это текст размером с "мемуар" (брошюру). Перспективы публикации крайне туманны, конечно. Но словосочетание "полубесконечная алгебраическая геометрия" получает теперь конкретное наполнение.

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

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

Взаимная ассоциативность котензорного и контратензорного произведения!

Или даже просто котензорного и тензорного произведения! Я начал писать об этом (в математических письмах) летом 2000 года, потом написал в книжке, обзоре, и до сих пор продолжаю. Мне кажется, что сюжет этот, технически важный для полубесконечной гомологической алгебры, за двадцать лет не приблизился к мейнстриму ни на шаг, несмотря на все мои усилия. Останусь ли я первым и последним математиком, что-нибудь про это понимавшим?

Результат участия в конференции на прошедшей неделе

Ссылку на Арнаутова сотоварищи (1996) в моем декабрьском препринте следует заменить (ну или, как минимум, дополнить) ссылкой на Рольке и Дирольф (1981). Та же конструкция, которую я почерпнул в молдавско-русской книжке, появилась в немецкой книжке пятнадцатью годами раньше. (К счастью, обе книжки написаны по-английски -- по-немецки не читаю я, по-русски не читают мои читатели.)

Пятнадцать лет в трехлетних периодах

март 2006 -- февраль 2009: книжка по полубесконечной гомологической алгебре в основном написана, основные результаты ее (теорема сравнения с полубесконечными гомологиями алгебр Ли, полумодульно-полуконтрамодульное соответствие) доказаны

март 2009 -- февраль 2012: мемуар "Two kinds of derived categories...", артин-тейтовские мотивы и мотивные пучки, когомологии Галуа числовых полей, (ко)гомологии Хохшильда второго рода, матричные факторизации, мемуар по слабо искривленным алгебрам в основном написан

март 2012 -- февраль 2015: контрамодули над адическими пополнениями нетеровых коммутативных колец, контрагерентные копучки, постановка и ранние подходы к задаче о парах кокручения в категориях контрамодулей, формулировка очень плоской гипотезы, категорные последовательности Бокштейна и редукции точных категорий

март 2015 -- февраль 2018: важнейшие работы эмигрантского периода (MGM-двойственность, контрамодули в коммутативной алгебре, доказательство очень плоской гипотезы, пары кокручения в категориях контрамодулей, понятие о локально представимых абелевых категориях с достаточным количеством проективных объектов как о классе категорий, ковариантно двойственном к категориям Гротендика, наклонно-конаклонное соответствие, полная строгость контрамодульных забывающих функторов, псевдопроизводные категории/эквивалентности и т.д.)

март 2018 -- февраль 2021: приложения контрамодулей к эпиморфизмам колец и к гипотезе Енокса, топологически совершенные топологические кольца, категории производно полных модулей и комплексов над кольцом с не слабо прорегулярным идеалом, книжка по относительной неоднородной кошулевой двойственности в основном написана (плюс последующая россыпь препринтов периода локдаунов, продолжающих деятельность прежних лет в разных направлениях)

Ну, вот

Депрессивненько так -- зима (снегопады только радуют). Про локдаун проклятущий вообще и говорить нечего. Время тянется медленно. Ан вот, за январь у меня 1. статья в IMRN окончательно вышла из печати, 2. статья в Zeitschrift опубликована электронно на сайте журнала, 3. статья в Nachrichten принята к печати, 4. из JPAA пришла одобрительная рецензия, и теперь 5. новый архивный препринт обнародовался.

...Как и февральский препринт 2020 года, только что принятый к печати в Nachrichten -- сегодняшний новый архивный препринт восходит своим содержанием к 2017 году. Это давно запланированная работа -- с тех самых пор мы собирались ее написать, теперь вот руки дошли. Можно сказать, что подвижки с этими статьями открывают дорогу написанию обещанной в марте 2018 книжки про локально представимые абелевы категории с проективной образующей.

Pseudo-dualizing complexes of bicomodules and pairs of t-structures

Третья версия -- https://arxiv.org/abs/1907.03364 . По содержанию от второй (августовской 2019 года) ничем не отличается; обновлено чисто чтобы похвастаться выходом из печати статей в списке литературы (Pacific J. Math., Rendiconti Padova и особенно Journ. of Lie Theory). Ну, и еще там случился сдвиг нумерации секций при публикации последней из трех работ в скобках; соответственно ссылка поправлена.

Relative nonhomogeneous Koszul duality

Девятая версия, с добавленными ссылками -- https://arxiv.org/abs/1911.07402 . Ровно год назад, в день моего приезда в Падую в ноябре 2019, на Архиве появилась первая версия.

Ну все, все. Эта книжка написана, написана.

Эх, где мои 19-20 лет? Двадцать восемь лет назад, в начале ноября 1992 года, я отнес в редакцию мою первую работу на эту тему. То была тоже неоднородная квадратичная/кошулева двойственность, но не относительная, а над полем, и не производная -- http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=faa&paperid=712&option_lang=rus Весь мир вокруг переменился, а я все о том же. Но старинное, 1993-07 годов, обещание теперь выполнено.

Отложил в сторону рецензируемую статью

и читаю собственный мемуар Two kinds of derived categories..., на котором она частично основана. Боже, какой чудовищный текст! Всюду плотное множество опечаток и мелких неточностей, плюс ужасно написано, все детали опущены и очень трудно врубиться.

Больше десяти лет прошло, однако. Я уже почти ничего не помню. В том и фокус. В общем, получается, что какая-то мысль, похоже, за каждой фразой стоит. Но вычитать ее оттудова удается с пятой попытки.

Это мне только кажется, или вправду самые популярные мои работы хуже всего написаны? Если правда, то это потому, что мне было скучно угождать публике, наверно, да?