Десять лет назад: Полубесконечная алгебраическая геометрия https://posic.livejournal.com/1044622.htmlВ этом постинге от 12 февраля 2014 года был намечен план, впоследствии анонсированный в формате статьи в рецензируемом журнале (а не блог-постинга)
https://arxiv.org/abs/1504.00700 (Selecta Math., 2017) и наполовину реализованный в виде книги
https://arxiv.org/abs/2104.05517 (Birkhäuser/Springer Nature Switzerland, 2023).
"Половина", на которую этот план был реализован -- это как бы комодульная сторона теории, т.е., квазикогерентные пучки кручения. Контрамодульная сторона (контрагерентные копучки контрамодулей) полубесконечной алгебраической геометрии не сделана.
А комодульная сторона сделана только над инд-схемой, кстати; инд-стеки в книжке упоминаются в контексте "хорошо бы и для них тоже", но не рассматриваются. И слои морфизма Y → X предполагаются аффинными (квазикомпактный случай обсуждается в аппендиксе, но остается не сделанным).