Математическая энциклопедия - представимый функтор
Связанные словари
Представимый функтор
ковариантный (или контравариантный) функтор Fиз нек-рой категории в категорию множеств , изоморфный одному из основных теоретико-множественных функторов:
Функтор представим тогда и только тогда, когда найдутся такие объект и элемент , что для каждого элемента , существует единственный морфизм , для к-рого x=aF(a). Объект Аназывается представляющим функтор F;он определен однозначно с точностью до изоморфизма.
В категории множеств тождественный функтор представим: представляющим объектом служит одноточечное множество. Функтор взятия нек-рой декартовой степени также представим: представляющим объектом служит множество, мощность к-рого равна этой степени. В произвольной категории произведение П. ф. Fi с представляющими объектами , представимо тогда и только тогда, когда в этой категории существует копроизведение объектов Ai. Всякий ковариантный П. ф. перестановочен с пределами, т, е. непрерывен.
П. ф.аналог понятия "свободная универсальная алгебра с одним образующим". Для любого функтора и П. ф. Fмножество естественных преобразований Nat(F, G) изоморфно множеству G(A), где А - представляющий объект. Это показывает, что П. ф. являются свободными объектами категории функторов.
Для аддитивных категорий вместо функторов со значениями в рассматриваются аддитивные функторы со значениями в категории абелевых групп; поэтому под П. ф. понимается аддитивный функтор, изоморфный основному аддитивному функтору.
Понятие П. ф. первоначально возникло в алгебраич. геометрии (см. [2]). Наиболее важными примерами П. ф. здесь являются функторы Пикара Pic X/S и Гильберта Hilb X/S, представимые в категории алгебраических пространств (см. [1]). Пусть К - поле частных регулярного дискретного нормированного кольца О с совершенным полем вычетов. Если Х 0- гладкая геометрически неприводимая собственная кривая рода g>0 над К, то ее минимальная модель представляет функтор из категории регулярных O-схем. Если А - абелево многообразие над К, то его минимальная Нерона модель является гладкой групповой схемой , представляющей функтор из категории гладких О-схем.
Лит.:[1] Артин М., "Математика", 1970. т. 14, М 4, с. 3-39; [2] Гротендик А., Дьёдонно Ж., "Успехи матем. наук", 1972, т. 27, в. 2, с. 135-48.
С. Г. Танкеев, М. Ш. Цаленко.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 558 | |
2 | 484 | |
3 | 482 | |
4 | 473 | |
5 | 455 | |
6 | 441 | |
7 | 437 | |
8 | 434 | |
9 | 425 | |
10 | 425 | |
11 | 423 | |
12 | 413 | |
13 | 407 | |
14 | 376 | |
15 | 375 | |
16 | 373 | |
17 | 366 | |
18 | 365 | |
19 | 365 | |
20 | 362 |