[personal profile] posic
восходящая к 1999-2002 годам и окончательно сформировавшаяся в предпоследний уикенд октября 2006 года, состояла в том, чтобы детально разработать большой объем концептуально прозрачного, но технически очень сложного материала в гомологической алгебре, разработкой которого никто никогда до меня не занимался.

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

Техническими вершинами моей деятельности стали две монографии -- одна книжка по полубесконечной гомологической алгебре, написанная в основном 2006-08 годах и вышедшая из печати в международном научном издательстве в Базеле в 2010 году, и один книжного размера препринт по контрагерентным копучкам, в основном написанный в 2012-14 годах и нуждающийся теперь в доработке.

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

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

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

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

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

Больше 3000 страниц математического научного текста я написал за 15 лет. Есть ощущение, что 90-95% дела уже сделаны. Не очень понятно, что там есть по-настоящему важного среди оставшихся 5-10%.

Date: 2021-11-13 03:54 pm (UTC)
From: [identity profile] buddha239.livejournal.com
А в каком смысле концептуально прозрачного? Разве у Вас формулировки простые? Или их можно легко усвоить — хотя бы в общих чертах?

Date: 2021-11-13 04:11 pm (UTC)
From: [identity profile] posic.livejournal.com
По-моему, у меня все выстраивается из небольшого набора простых идей. Скептик волен считать, что это значит, что они прозрачны для меня как автора. Усвоить их по факту оказывается трудно, поскольку они непохожи на то, к чему вы привыкли. Или потому, что мотивации для усвоения нет (гипотезу Римана с помощью контрамодулей я не доказал ведь еще пока что).

Date: 2021-11-13 04:34 pm (UTC)
From: [identity profile] buddha239.livejournal.com
Ну, если в определениях и формулировках идеи не просматриваются, то наука, как раз, не прозрачная, нет? Или, все же, просматриваются?

У Вас есть какой-то список "идей"?

Date: 2021-11-13 04:59 pm (UTC)
From: [identity profile] posic.livejournal.com
Собственно, простые идеи можно все перечислить списком. Есть определения

- искривленной DG-алгебры
- (ко)бар-конструкции, трансформирующей отсутствие аугментации в кривизну
- ко- и контрапроизводной категории
- контрамодуля над кокольцом, полуконтрамодуля над полуалгеброй
- контрамодуля над топологическим кольцом
- тензорных операций над комодулями и контрамодулями (котензорное и полутензорное произведения, Cohom и SemiHom, контратензорное произведение)
- двустороннего производного функтора
- полупроизводной категории
- контрагерентного копучка и того, что он за собой тащит (контраприспособленные и очень плоские модули, тензорные операции на контрагерентных копучках и т.д.)

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

Date: 2021-11-13 05:14 pm (UTC)
From: [identity profile] buddha239.livejournal.com
Ну, не очень короткий список.:) А если еще нет объяснения/мотивации, почему должны быть именно такие тензорные, например, операции ...

Date: 2021-11-13 05:18 pm (UTC)
From: [identity profile] posic.livejournal.com
С тензорными операциями вопрос не в том, какими они должны быть. Вопрос в том, какие они есть (естественные и хорошо себя ведущие). Если задаться целью их всех перечислить, то обнаруживается, что их не так уж много и не так уж сложно их все найти. Теоремы, что других нет, я не доказывал, конечно, но это и не требуется.

June 2025

S M T W T F S
1 2 3 4 56 7
8 9 10 1112 1314
15161718192021
22232425262728
2930     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 14th, 2025 07:05 am
Powered by Dreamwidth Studios