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