Еще немного к предыдущему

[posic]

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

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

Об общих результатах этой контрамодульно-барьерной деятельности судить пока рано. Одно можно сказать определенно -- публикуются эти работы с трудом. Из 740 страниц, в восьми препринтах, написанных мною на эти темы в этот период (с конца октября 2011 года), в рецензированных изданиях к сегодняшнему дню вышла из печати одна статья страниц в 50 длиной. Наверное, эта работа, про MGM-двойственность, и впрямь получилась удачнее других, если судить по паре параметров интересности и доступности для восприятия. Эта работа -- также хороший тестовый пример для проверки потенциальной эффективности действий по установке входных барьеров. Опубликована она в солидном, но совсем не престижном алгебраическом журнале. Еще четыре препринта из этого ряда рассматриваются сегодня в редакциях.

Похоже, сейчас это движение вширь уже в основном исчерпало себя. Усталость от него ощущается. Нужен концептуальный прорыв к killer applications.