WikiDer > Лемма Йонеды - Википедия
В математика, то Лемма Йонеды возможно, самый важный результат в теория категорий.[1] Это абстрактный результат на функторы типа морфизмы в фиксированный объект. Это обширное обобщение Теорема Кэли из теория групп (рассмотрение группы как миниатюрной категории с одним объектом и только изоморфизмами). Это позволяет встраивание любой местно маленький категорию в категория функторов (контравариантные многозначные функторы), определенные в этой категории. Также разъясняется, как встроенная категория представимые функторы и их естественные преобразования, относится к другим объектам в более крупной категории функторов. Это важный инструмент, лежащий в основе нескольких современных разработок в алгебраическая геометрия и теория представлений. Он назван в честь Нобуо Йонеда.
Общие
Лемма Йонеды предполагает, что вместо изучения (местно маленький) категория , следует изучить категорию всех функторов в (в категория наборов с функции в качестве морфизмы). - категория, которую, как нам кажется, мы хорошо понимаем, и функтор в можно рассматривать как "представление" с точки зрения известных конструкций. Исходная категория содержится в этой категории функторов, но в категории функторов появляются новые объекты, которые отсутствовали и были «скрыты» в . Отношение к этим новым объектам так же, как к старым, часто объединяет и упрощает теорию.
Этот подход сродни (и фактически обобщает) обычный метод изучения звенеть исследуя модули над кольцом. Кольцо занимает место категории , а категория модулей над кольцом - это категория функторов, определенных на .
Официальное заявление
Лемма Йонеды касается функторов фиксированной категории к категория наборов, . Если это местная малая категория (т.е. домашние наборы являются фактическими наборами, а не соответствующими классами), то каждый объект из порождает естественный функтор называется hom-функтор. Этот функтор обозначается:
- .
(ковариантный) hom-функтор отправляет к набору морфизмы и отправляет морфизм к морфизму (композиция с слева), который посылает морфизм в к морфизму в . То есть,
- .
Позволять - произвольный функтор из к . Тогда лемма Йонеды говорит, что:
- .
Здесь обозначение обозначает категорию функторов из к .
Учитывая естественное преобразование из к , соответствующий элемент является ;[а] и учитывая элемент из , соответствующее естественное преобразование дается выражением .
Контравариантная версия
Существует контравариантная версия леммы Йонеды, которая касается контравариантные функторы из к . В этой версии используется контравариантный гом-функтор
который отправляет к хом-множеству . Для произвольного контравариантного функтора из к , Лемма Йонеды утверждает, что
Соглашения об именах
Использование для ковариантного гом-функтора и для контравариантного гом-функтора не вполне стандартен. Во многих текстах и статьях для этих двух функторов используются либо противоположные соглашения, либо совершенно не связанные символы. Однако большинство современных текстов по алгебраической геометрии, начиная с Александра Гротендика основополагающий EGA используйте соглашение в этой статье.[b]
Мнемоника "падение во что-то" может помочь вспомнить, что - контравариантный гом-функтор. Когда письмо является падение (то есть нижний индекс), присваивает объекту морфизмы из в .
Доказательство
Доказательство леммы Йонеды обозначается следующим коммутативная диаграмма:
Эта диаграмма показывает, что естественное преобразование полностью определяется поскольку для каждого морфизма надо
- .
Более того, любой элемент таким образом определяет естественное преобразование. Доказательство в контравариантном случае полностью аналогично.
Вложение Йонеды
Важный частный случай леммы Йонеды - это когда функтор из к еще один хом-функтор . В этом случае ковариантная версия леммы Йонеды утверждает, что
То есть естественные преобразования между гом-функторами находятся во взаимно однозначном соответствии с морфизмами (в обратном направлении) между ассоциированными объектами. Учитывая морфизм соответствующее естественное преобразование обозначается .
Отображение каждого объекта в с ассоциированным с ним гом-функтором и каждый морфизм к соответствующему естественному преобразованию определяет контравариантный функтор из к , то категория функторов всех (ковариантных) функторов из к . Можно интерпретировать как ковариантный функтор:
Смысл леммы Йонеды в этом случае состоит в том, что функтор является полностью верный, и поэтому дает вложение в категории функторов к . Коллекция всех функторов является подкатегорией . Следовательно, из вложения Йонеды следует, что категория изоморфна категории .
Контравариантная версия леммы Йонеды утверждает, что
Следовательно, порождает ковариантный функтор из в категорию контравариантных функторов к :
Лемма Йонеды утверждает, что любая локально малая категория вкладывается в категорию контравариантных функторов из к через . Это называется Йонеда вложение.
Вложение Йонеды иногда обозначают символом よ, Хирагана Кана Эй.[2]
Представимый функтор
Вложение Йонеды по существу утверждает, что для каждой (локально небольшой) категории объекты в этой категории могут быть представлен к предварительные пучки, полным и верным образом. То есть,
для предпучка п. Фактически, многие общие категории представляют собой предварительные пучки, и при ближайшем рассмотрении оказывается, что они снопы, и, поскольку такие примеры обычно носят топологический характер, их можно рассматривать как Topoi в целом. Лемма Йонеды предоставляет точку, с помощью которой можно изучать и понимать топологическую структуру категории.
С точки зрения (со) конечного исчисления
Учитывая две категории и с двумя функторами , естественные преобразования между ними можно записать в виде конец.
Для любых функторов и все следующие формулы являются формулировками леммы Йонеды. [3]
Преддитивные категории, кольца и модули
А предаддитивная категория - категория, в которой множества морфизмов образуют абелевы группы а композиция морфизмов билинейный; примерами являются категории абелевых групп или модулей. В предаддитивной категории существует как «умножение», так и «добавление» морфизмов, поэтому предаддитивные категории рассматриваются как обобщения кольца. Кольца - это предаддитивные категории с одним объектом.
Лемма Йонеды останется верной для преаддитивных категорий, если мы выберем в качестве нашего расширения категорию добавка контравариантные функторы из исходной категории в категорию абелевых групп; это функторы, совместимые с добавлением морфизмов, и их следует рассматривать как образующие категория модуля над исходной категорией. Затем лемма Йонеды дает естественную процедуру расширения предаддитивной категории так, чтобы расширенная версия оставалась предаддитивной - фактически, расширенная версия является абелева категория, гораздо более мощное состояние. В случае кольца , расширенная категория - это категория всех прав модули над , и утверждение леммы Йонеды сводится к известному изоморфизму
- для всех правильных модулей над .
Связь с теоремой Кэли
Как указано выше, лемму Йонеды можно рассматривать как обширное обобщение Теорема Кэли из теория групп. Чтобы увидеть это, позвольте быть категорией с одним объектом такой, что каждый морфизм является изоморфизм (т.е. группоид с одним объектом). потом образует группа при операции композиции, и любая группа может быть реализована таким образом как категория.
В этом контексте ковариантный функтор состоит из набора и групповой гомоморфизм , куда это группа перестановки из ; другими словами, это G-набор. Естественное преобразование между такими функторами - это то же самое, что и эквивариантное отображение между -sets: функция набора со свойством, что для всех в и в . (В левой части этого уравнения обозначает действие на , а справа - действие на .)
Теперь ковариантный гом-функтор соответствует действию на себя умножением слева (контравариантная версия соответствует умножению справа). Лемма Йонеды с утверждает, что
- ,
то есть эквивариантные отображения из этого -наборы находятся в взаимно однозначном соответствии с . Но легко видеть, что (1) эти отображения образуют группу по композиции, которая является подгруппа из , и (2) функция, дающая биекцию, является гомоморфизмом групп. (В обратном направлении он ассоциируется с каждым в эквивариантное отображение правого умножения на .) Таким образом изоморфна подгруппе , что является утверждением теоремы Кэли.
История
Йошики Киношита заявил в 1996 году, что термин «лемма Йонеды» был придуман Saunders Mac Lane после интервью, которое он дал Йонеде.[4]
Смотрите также
Примечания
- ^ Напомним, что поэтому последнее выражение четко определено и отправляет морфизм из к , к элементу в .
- ^ Заметным исключением из современных текстов по алгебраической геометрии, следующих за соглашениями, изложенными в этой статье, является Коммутативная алгебра с точки зрения алгебраической геометрии / Дэвид Эйзенбуд (1995), который использует означать ковариантный гом-функтор. Однако более поздняя книга Геометрия схем / Дэвид Эйзенбуд, Джо Харрис (1998) меняют это положение и используют означать контравариантный гом-функтор.
Рекомендации
- ^ Риль, Эмили. «Теория категорий в контексте» (PDF).
- ^ "Вложение Йонеды". nLab. Получено 6 июля 2019.
- ^ Лорегиан, Фоско (2015). «Это (со) конец, мой единственный (со) друг». arXiv:1501.02503 [math.CT].
- ^ Киношита, Йошики (23 апреля 1996 г.). «Проф. Нобуо Йонеда скончался». Получено 21 декабря 2013.
- Фрейд, Питер (1964), Абелевы категории, Серия Харпера по современной математике (переиздание, 2003 г.), Харпер и Роу, Zbl 0121.02103.
- Мак-Лейн, Сондерс (1998), Категории для рабочего математика, Тексты для выпускников по математике, 5 (2-е изд.), Нью-Йорк, Нью-Йорк: Springer-Verlag, ISBN 0-387-98403-8, Zbl 0906.18001
- Лорегиан, Фоско (2015). «Это (со) конец, мой единственный (со) друг». arXiv:1501.02503 [math.CT].
внешняя ссылка
- Система Мицар доказательство: http://www.mizar.org/JFM/pdf/yoneda_1.pdf