Аннотация:
В работе предлагается достаточное условие существования морфизма диаграммы квазиполяризованных начальных алгебраических пространств в поляризованную пару. Более того, описываются диаграммы категории квазиполяризованных алгебраических пространств, каждая конечная поддиаграмма которых имеет морфизм в поляризованную пару, а тонкие, замкнутые относительно включения и скреп – поляризованный копредел. Такие диаграммы называются собором, а их стрелками являются включения и скрепы. Главное приложение – критерий полуобильности численно эффективного обратимого пучка на полном алгебраическом пространстве в терминах собора.
Библиография: 9 наименований.