Об ортогональных системах факторизации и двойных категориях

Основная информация

• ID статьи: 2501.01363
• Название: On orthogonal factorization systems and double categories
• Автор: Бранко Юран (Копенгагенский университет)
• Классификация: math.CT (Теория категорий), math.AT (Алгебраическая топология)
• Дата публикации: 2 января 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2501.01363

Аннотация

В данной статье доказано, что ∞-категория ортогональных систем факторизации полностью и верно вкладывается в ∞-категорию двойных ∞-категорий. Кроме того, доказана эквивалентность (un)straightening для двойных ∞-категорий, которая ограничивается на эквивалентность (un)straightening для op-Gray расслоений ортогональных систем факторизации и искривленных ортогональных расслоений.

Исследовательский контекст и мотивация

Предпосылки проблемы

1. Исторические корни: Ортогональные системы факторизации и двойные категории являются классическими объектами теории категорий, восходящими соответственно к работам МакЛейна Mac50 и Эресманна Ehr63. Их ∞-категорные аналоги были введены Джойалом Joy08 и Хаугсенгом Hau13, играя аналогичную важную роль в высшей теории категорий.
2. Общие черты: Оба понятия включают структуры категорий, оснащенные двумя различными классами морфизмов:
   • Ортогональные системы факторизации: категории с двумя классами морфизмов, где каждый морфизм однозначно разлагается в композицию морфизма из первого класса с морфизмом из второго класса
   • Двойные категории: категории с двумя различными типами морфизмов (вертикальными и горизонтальными), которые не могут быть непосредственно скомпонованы, но совместимость свидетельствуется "квадратами"

Исследовательская мотивация

С этой точки зрения двойные категории представляются обобщением ортогональных систем факторизации. Целью данной работы является уточнение этой интуиции в контексте ∞-категорий, построение функтора от ортогональных систем факторизации к двойным ∞-категориям и исследование его свойств.

Центральная проблема

Как точно описать отношение между ортогональными системами факторизации и двойными категориями и использовать это отношение для понимания соответствующей теории расслоений.

Основные вклады

1. Построено полное и верное вложение: Доказано, что функтор Fact : OFS ↪ DCat из ∞-категории ортогональных систем факторизации в ∞-категорию двойных ∞-категорий является полным и верным
2. Охарактеризован существенный образ: Определено, что существенный образ этого вложения состоит ровно из двойных ∞-категорий, удовлетворяющих определенным условиям (факторизационные двойные категории)
3. Установлена эквивалентность расслоений: Доказана эквивалентность между искривленными ортогональными расслоениями ортогональных систем факторизации и (cocart,right)-расслоениями двойных категорий
4. Доказана эквивалентность (un)straightening: Установлена эквивалентность (un)straightening для двойных ∞-категорий
5. Вычислена группа автоморфизмов: Полностью описана группа автоморфизмов категории достаточных ортогональных систем факторизации как Z/2Z, с образующей, задаваемой функтором категории span

Подробное описание методов

Основные конструкции

Определение функтора Fact

Конструкция 3.3: Функтор определяется ограничением вложения Йонеды:

Fact : OFS → PSh(Δ×Δ)

вдоль двойного косимплициального объекта:

Δ×Δ → OFS
([m],[n]) ↦ [m]×̄[n]

Для ортогональной системы факторизации C† = (C, C_eg, C_in), Fact(C†) является двойной категорией, где:

• Объекты: объекты C
• Горизонтальные морфизмы: морфизмы из C_eg
• Вертикальные морфизмы: морфизмы из C_in
• Квадраты: коммутативные квадраты

Характеризация факторизационных двойных категорий

Предложение 3.1: Двойная категория C является факторизационной двойной категорией тогда и только тогда, когда она удовлетворяет одному из следующих эквивалентных условий:

1. Квадрат C(1,1) → C(1,0) × C(0,1) ← C(0,0) является декартовым
2. Функтор C(-,d₀) : C(-,1) → C(-,0) является левым расслоением
3. Функтор C(d₁,-) : C(1,-) → C(0,-) является правым расслоением

Эти условия точно кодируют, что композиция морфизмов в "неправильном порядке" может быть однозначно переписана как композиция в "правильном порядке".

Построение обратного функтора

Конструкция 3.14: Построен обратный функтор Cnr: DCat_OF → OFS:

1. Для двойной категории C определяется угловая категория cnr(C) через ограничение вложения Йонеды:

   cnr : DCat → Fun(Δᵒᵖ,S)
   C ↦ (n ↦ map_DCat(Ar([n]),C))
   

2. Доказано, что когда C является факторизационной двойной категорией, cnr(C) является полным пространством Сегала
3. Через естественные функторы C(-,0) → cnr(C) и C(0,-) → cnr(C) построена ортогональная система факторизации

Ключевые технические леммы

Лемма 3.12: Доказано равенство насыщений двух классов морфизмов:

• Морфизм ([0]⊠[1]) ∪ ([1]⊠[0]) → [1]⊠[1]
• Включение остова I_n(Ar(-)) → Ar(n) (n≥2)

Эта лемма является ключевой для связи локальных условий двойных категорий со свойствами ортогональных систем факторизации.

Основные теоремы

Теорема A (Теорема 3.19)

Функтор Fact : OFS ↪ DCat является полным и верным, и его существенный образ состоит ровно из факторизационных двойных категорий.

Схема доказательства:

1. Построение обратного функтора Cnr: DCat_OF → OFS
2. Доказательство того, что единица и коединица трансформаций являются эквивалентностями
3. Завершение доказательства с использованием предложений 3.16 и 3.18

Теорема B (Теорема 4.6)

Для двойной ∞-категории C существует естественная эквивалентность:

CoR(C)≃ ≅ map_DCat((C)^{2 op}, Sq^{oplax}(Cat₁^{(2)}))

Это подтверждает ожидание, изложенное в Nui24, Замечание 2.14.

Теорема C (Теорема 5.5)

Группа автоморфизмов категории достаточных ортогональных систем факторизации равна:

Aut(OFS⊥) ≅ Z/2Z

Образующая задается функтором категории span.

Теория расслоений

Соответствие расслоений

Предложение 4.5: Функтор Fact индуцирует эквивалентность:

Ortho(C†) ≅ CoR(Fact(C†))
opGray(C†) ≅ CaR(Fact(C†))

Это показывает, что расслоения ортогональных систем факторизации можно рассматривать как частные случаи расслоений двойных категорий.

Эквивалентность (un)straightening

Посредством связи теории расслоений двойных категорий с теорией расслоений ортогональных систем факторизации получена единая схема для понимания этих структур.

Достаточность и категория span

Характеризация достаточных систем факторизации

Определение 5.1: Ортогональная система факторизации C† называется достаточной, если:

1. Каждый двусмысленный квадрат является декартовым
2. Каждый двусмысленный cospan допускает декартов квадрат

Предложение 5.4: Ортогональная система факторизации C† является достаточной тогда и только тогда, когда Fact(C†) является достаточной (т.е. Fact(C†)^{1 op} также является факторизационной двойной категорией).

Восстановление категории span

Следствие 5.6: Для достаточной системы факторизации C† существует естественная эквивалентность:

Fact(C†)^{1 op} ≅ Fact(Span(C†))

Это восстанавливает конструкцию категории span через операции над двойными категориями, избегая обычной комбинаторики симплициальных комплексов.

Технические инновации

1. Единая схема: Впервые на уровне ∞-категорий установлено точное соответствие между ортогональными системами факторизации и двойными категориями
2. Унификация расслоений: Объединены кажущиеся различными концепции расслоений (искривленные ортогональные расслоения, op-Gray расслоения и т.д.) в единую схему расслоений двойных категорий
3. Методы вычисления: Через операции над двойными категориями вычислена группа автоморфизмов, предоставлены новые вычислительные инструменты
4. Характеризация локальности: Использованы условия локальности для точной характеризации факторизационных двойных категорий, связывающие различные математические структуры

Связанные работы

Историческое развитие

• Классическая теория: Теория ортогональных систем факторизации МакЛейна, теория двойных категорий Эресманна
• Обобщение на ∞-категории: Ортогональные системы факторизации ∞-категорий Джойала, двойные ∞-категории Хаугсенга
• Недавние достижения: Аналогичные результаты Штепана Ště23 в случае 1-категорий

Теория расслоений

• Серия работ HHLN: HHLN23a,HHLN23b устанавливают теорию расслоений
• Работы Нюитена: Nui24 исследование расслоений двойных категорий
• Достаточность Барвика: Bar17 теория достаточных систем факторизации

Заключение и обсуждение

Основные выводы

1. Ортогональные системы факторизации полностью вкладываются в двойные категории, существенный образ состоит из факторизационных двойных категорий
2. Соответствующие теории расслоений полностью соответствуют друг другу
3. Группа автоморфизмов достаточных систем факторизации равна Z/2Z
4. Конструкция категории span может быть понята через операции над двойными категориями

Теоретическое значение

• Единое понимание: Предоставляет единую перспективу для двух важных концепций теории категорий
• Вычислительные инструменты: Предоставляет новые методы вычисления и понимания этих структур
• Теория расслоений: Расширяет область применения теории расслоений

Технические вклады

• Методы ∞-категорий: Демонстрирует мощь теории ∞-категорий в понимании классических структур
• Техники локальности: Развивает методы использования условий локальности для характеризации математических объектов
• Построение функторов: Предоставляет систематический метод установления связей между различными категорными структурами

Глубокая оценка

Преимущества

1. Теоретическая глубина: Устанавливает глубокую связь между двумя важными концепциями, обладает высокой теоретической ценностью
2. Техническое мастерство: Доказательства выполнены мастерски, полностью используют современные инструменты теории ∞-категорий
3. Полнота результатов: Не только устанавливает основное соответствие, но и развивает соответствующую теорию расслоений
4. Вычислительная ценность: Предоставляет конкретные вычислительные результаты (группа автоморфизмов)

Инновационность

1. Концептуальная инновация: Впервые на уровне ∞-категорий точно уточнено отношение между ортогональными системами факторизации и двойными категориями
2. Методологическая инновация: Инновационное применение условий локальности и вложения Йонеды
3. Теоретический вклад: Предоставляет новую единую схему для теории расслоений

Ограничения

1. Уровень абстракции: Высокая степень абстракции может ограничить прямое применение
2. Требования к подготовке: Требует глубокого фона в теории ∞-категорий
3. Вычислительная сложность: Хотя предоставляет теоретическую схему, конкретные вычисления могут остаться сложными

Влияние

1. Теоретическое влияние: Предоставляет новую единую перспективу для теории категорий
2. Методологическое влияние: Демонстрирует мощь методов ∞-категорий
3. Последующие исследования: Закладывает основу для дальнейших исследований в смежных областях

Области применения

• Исследования высшей теории категорий
• Теория расслоений в алгебраической топологии
• Исследование систем факторизации в теории гомотопий
• Развитие теории двойных категорий

Библиография

Статья цитирует богатую библиографию, включая:

• Классические работы: МакЛейн Mac50, Эресманн Ehr63
• Теория ∞-категорий: Люри Lur09b, Lur17, Джойал Joy08
• Связанные современные работы: серия HHLN HHLN23a,HHLN23b, Нюитен Nui24, Штепан Ště23

Данная статья вносит важный теоретический вклад в область теории категорий, не только устанавливая точное соответствие между двумя важными концепциями, но и развивая соответствующую теорию расслоений, демонстрируя мощь теории ∞-категорий в понимании и унификации классических математических структур.