ПРЕДСТАВИМЫЙ ФУНКТОР

Значение ПРЕДСТАВИМЫЙ ФУНКТОР в математической энциклопедии:

ковариантный (или контравариантный) функтор Fиз нек-рой категории в категорию множеств , изоморфный одному из основных теоретико-множественных функторов:

Функтор представим тогда и только тогда, когда найдутся такие объект и элемент , что для каждого элемента , существует единственный морфизм , для к-рого x=aF(a). Объект Аназывается представляющим функтор F;он определен однозначно с точностью до изоморфизма.

В категории множеств тождественный функтор представим: представляющим объектом служит одноточечное множество. Функтор взятия нек-рой декартовой степени также представим: представляющим объектом служит множество, мощность к-рого равна этой степени. В произвольной категории произведение П. ф. F_i с представляющими объектами , представимо тогда и только тогда, когда в этой категории существует копроизведение объектов A_i. Всякий ковариантный П. ф. перестановочен с пределами, т, е. непрерывен.

П. ф.- аналог понятия "свободная универсальная алгебра с одним образующим". Для любого функтора и П. ф. Fмножество естественных преобразований Nat(F, G) изоморфно множеству G(A), где А - представляющий объект. Это показывает, что П. ф. являются свободными объектами категории функторов.

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

Понятие П. ф. первоначально возникло в алгебраич. геометрии (см. [2]). Наиболее важными примерами П. ф. здесь являются функторы Пикара Pic X/S и Гильберта Hilb X/S, представимые в категории алгебраических пространств (см. [1]). Пусть К - поле частных регулярного дискретного нормированного кольца О с совершенным полем вычетов. Если Х ₀- гладкая геометрически неприводимая собственная кривая рода g>0 над К, то ее минимальная модель представляет функтор из категории регулярных O-схем. Если А - абелево многообразие над К, то его минимальная Нерона модель является гладкой групповой схемой , представляющей функтор из категории гладких О-схем.

Лит.:[1] Артин М., "Математика", 1970. т. 14, М 4, с. 3-39; [2] Гротендик А., Дьёдонно Ж., "Успехи матем. наук", 1972, т. 27, в. 2, с. 135-48.

С. Г. Танкеев, М. Ш. Цаленко.