Декартовы расслоения $(\infty,2)$-категорий

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

• ID статьи: 2107.12356
• Название: Cartesian Fibrations of $(\infty,2)$-categories
• Авторы: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
• Классификация: math.CT, math.AT (теория категорий, алгебраическая топология)
• Дата публикации: июль 2021 г. (последняя версия январь 2024 г.)
• Ссылка на статью: https://arxiv.org/abs/2107.12356

Аннотация

В данной работе в рамках теории масштабированных симплициальных множеств вводятся четыре типа вариаций декартовых 2-расслоений для $\infty$-бикатегорий. Для отображения $p: E \to B$ между $\infty$-бикатегориями авторы определяют $p$-(ко)декартовы стрелки и внутренние/внешние треугольники через свойства поднятия отображения $p$. 2-внутние/внешние (ко)декартовы расслоения определяются как отображения с достаточным количеством (ко)декартовых поднятий стрелок и внутренних/внешних поднятий треугольников, а в случае внешних расслоений — с условиями совместимости относительно усиков. Авторы доказывают, что эквивалентность таких 2-расслоений может быть проверена послойно и демонстрируют, что проекция области определения $d: Fun_{gr}(\Delta^1, C) \to C$ является прототипическим примером 2-внешнего декартова расслоения.

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

1. Проблемный контекст: В теории высших категорий соответствие Гротендика-Люри устанавливает полное соответствие между (ко)декартовыми расслоениями над $\infty$-категориями и функторами $B \to Cat_\infty$. При обобщении на $\infty$-бикатегории возникает новая сложность: вместо двух типов вариаций (ковариантной/контравариантной) появляются четыре, в зависимости от того, является ли зависимость функтора от 2-морфизмов ковариантной или контравариантной.
2. Значимость:
   • Теория расслоений обеспечивает основу для определения симметричных моноидальных $(\infty,2)$-категорий
   • Имеет важные приложения в производной алгебраической геометрии, особенно в кодировании двойственности Ind-когерентных пучков
   • Предоставляет инструменты для определения простых версий относительных $(\infty,2)$-операд
3. Ограничения существующих подходов:
   • Предыдущие работы 6 рассматривали только случай, когда база является $\infty$-бикатегорией, а слои — $\infty$-категориями
   • Отсутствует систематическая теория для случая, когда слои также являются $\infty$-бикатегориями
4. Исследовательская мотивация: Разработать полную теорию расслоений $\infty$-бикатегорий, заложив основу для будущего установления полного соответствия Гротендика-Люри

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

1. Введены четыре типа вариаций 2-(ко)декартовых расслоений: 2-внутние/внешние декартовы/кодекартовы расслоения, расширяющие теорию 1-внутних/внешних расслоений
2. Разработана теория свойств поднятия внутренних/внешних треугольников: Через концепцию левых/правых $p$-внутних/внешних треугольников охарактеризована (ко)декартовость на уровне 2-морфизмов
3. Доказан критерий послойной проверки эквивалентности расслоений: Теорема 2.5.1 показывает, что эквивалентность 2-внутних/внешних (ко)декартовых расслоений может быть проверена на каждом слое
4. Построены ключевые универсальные примеры: Доказано, что проекция области определения $d: Fun_{gr}(\Delta^1, C) \to C$ является прототипическим 2-внешним декартовым расслоением
5. Установлено соответствие между обогащенными категориями и моделями $\infty$-бикатегорий: Теорема 4.2.4 доказывает эквивалентность между обогащенными 2-внутними/внешними (ко)декартовыми расслоениями и соответствующими расслоениями $\infty$-бикатегорий

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

Система основных определений

2-Внутние/Внешние треугольники: Для слабого расслоения $p: E \to B$ и треугольника $\sigma: \Delta^2 \to E$:

• Левый $p$-внутний: когда соответствующая стрелка в $E/\sigma(2) \to E \times_B B/p\sigma(2)$ является строго декартовой
• Правый $p$-внутний: когда соответствующая стрелка в $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ является строго кодекартовой
• Левый $p$-внешний: когда соответствующая стрелка в $E/\sigma(2) \to E \times_B B/p\sigma(2)$ является строго кодекартовой
• Правый $p$-внешний: когда соответствующая стрелка в $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ является строго декартовой

Определение расслоений

2-Внутнее расслоение: Слабое расслоение $p: E \to B$ является 2-внутним расслоением тогда и только тогда, когда каждый треугольник в $B$ имеет достаточно левых и правых $p$-внутних поднятий

2-Внешнее расслоение: Слабое расслоение $p: E \to B$ является 2-внешним расслоением тогда и только тогда, когда:

1. Каждый треугольник в $B$ имеет достаточно левых и правых $p$-внешних поднятий
2. Левые $p$-внешние треугольники замкнуты относительно правого усика, правые $p$-внешние треугольники замкнуты относительно левого усика

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

1. Техника конгруэнтных треугольников: Через концепцию левых/правых конгруэнтных треугольников (Определение 2.3.3) свойства общих треугольников сводятся к вырожденному случаю
2. Лемма о расширении: Лемма 3.0.2 предоставляет ключевое свойство расширения, используемое для доказательства 2-внешней декартовости проекции области определения
3. Техника послойной проверки: Использование гомотопических pullback'ов и свойств замены базы для установления критерия послойной эквивалентности

Основные теоретические результаты

Теорема 2.5.1 (Послойный критерий эквивалентности расслоений)

Рассмотрим морфизм 2-внутних/внешних (ко)декартовых расслоений:

E ----r----> E'
|            |
p|            |q  
|            |
B ----f----> B'

Если $f$ является эквивалентностью $\infty$-бикатегорий, то $r$ является эквивалентностью тогда и только тогда, когда индуцированные отображения $r_b: E_b \to E'_{f(b)}$ являются эквивалентностями $\infty$-бикатегорий для всех $b \in B$.

Теорема 3.0.7 (Свойство расслоения проекции области определения)

Для $\infty$-бикатегории $C$ проекция области определения $d: Fun_{gr}(\Delta^1, C) \to C$ является 2-внешним декартовым расслоением, где:

• $d$-декартовы 1-симплексы соответствуют коммутативным квадратам, в которых ребро $\hat{\alpha}(\{1\} \times \Delta^1)$ является эквивалентностью
• Правые $p$-внешние треугольники удовлетворяют специфическим условиям совместимости относительно усиков

Теорема 4.2.4 (Соответствие обогащенных категорий)

Пусть $p: E \to B$ является расслоением $Cat_\infty$-категорий. Тогда $p$ является обогащенным 2-внутним (соответственно 2-внешним) декартовым расслоением тогда и только тогда, когда $N^{sc}(p): N^{sc}E \to N^{sc}B$ является 2-внутним (соответственно 2-внешним) декартовым расслоением $\infty$-бикатегорий.

Технические инструменты и методы

Рамки масштабированных симплициальных множеств

• Использование масштабированных симплициальных множеств $(X, T_X)$ как модели для $\infty$-бикатегорий
• Тонкие треугольники $T_X$ кодируют информацию об обратимости 2-морфизмов
• Масштабированные анодинные отображения определяют свойства расширения для $\infty$-бикатегорий

Техника срезовых конструкций

• Использование join и срезов для построения $C/y$ и $C_{x/}$
• Установление отображений через adjunction помеченных масштабированных симплициальных множеств в модели $\infty$-категорий

Методы модельных категорий

• Использование модельной структуры Дваера-Кана для обработки обогащенных категорий
• Связь различных моделей через эквивалентность Квиллена $N^{sc} \dashv C^{sc}$

Приложения и примеры

Анализ проекции области определения

Через детальный анализ $Fun_{gr}(\Delta^1, C) \to C$:

• Доказательство существования и единственности декартовых ребер
• Установление свойств поднятия внешних треугольников
• Проверка условий совместимости относительно усиков

Приложения тензорного произведения Грея

• Использование тензорного произведения Грея $\Delta^1_\flat \otimes (K, T_K)$ для характеризации слабых квадратов
• Установление соответствия с функторными $\infty$-бикатегориями

Сравнение с родственными работами

Связь с работами Люри

• Расширение теории (ко)декартовых расслоений $\infty$-категорий из 12
• Использование основной теории $(\infty,2)$-категорий из 11

Связь с предыдущей работой 6

• Обобщение случая слоев, являющихся $\infty$-категориями, на случай слоев, являющихся $\infty$-бикатегориями
• Сохранение полной классификации четырех типов вариаций

Связь с работой Бакли 5

• Вдохновение теорией расслоений 2-категорий
• Реализация соответствующего обобщения в $\infty$-контексте

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

Основные достижения

1. Разработана полная теоретическая рамка 2-расслоений $\infty$-бикатегорий
2. Доказаны ключевые технические свойства: гомотопическая инвариантность, критерий послойной эквивалентности
3. Построены важные универсальные примеры и установлены соответствия между различными моделями

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

• Закладывает основу для соответствия Гротендика-Люри для $\infty$-бикатегорий
• Предоставляет систематический метод для обработки расслоений высших категорий
• Связывает различные модели $(\infty,2)$-категорий

Ограничения

1. Полное соответствие straightening-unstraightening еще не установлено
2. Некоторые технические детали (например, обработка совместимости относительно усиков) довольно сложны
3. Сравнение с другими моделями высших категорий требует дальнейшего исследования

Направления будущих исследований

1. Установление полного соответствия Гротендика-Люри для $\infty$-бикатегорий
2. Исследование локально (ко)декартовых расслоений
3. Приложения к производной алгебраической геометрии и теории операд

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

Технические преимущества

1. Систематичность: Предоставляет единую рамку для обработки четырех типов вариаций
2. Полнота: Устанавливает полную цепь теории от основных определений к главным теоремам
3. Техническая глубина: Искусное использование техник конгруэнтных треугольников, леммы о расширении и других инструментов
4. Независимость от модели: Через соответствия между различными моделями устанавливается робастность теории

Методологические инновации

1. Естественное обобщение 1-мерной концепции (ко)декартовости на 2-мерный случай
2. Обработка сложной вариативности на уровне 2-морфизмов через классификацию внутренних/внешних типов
3. Разработка новых техник для обработки совместимости относительно усиков

Теоретический вклад

1. Заполнение важного пробела в теории расслоений $(\infty,2)$-категорий
2. Предоставление базовых инструментов для дальнейшего развития теории высших категорий
3. Установление органической связи с классической теорией 2-категорий

Потенциальное влияние

Данная работа открывает новые пути для приложений теории $(\infty,2)$-категорий, в частности в:

• Теории пучков в производной алгебраической геометрии
• Теории высших операд
• Исследовании симметричных моноидальных $(\infty,2)$-категорий

Данная статья представляет важный этап в развитии теории $(\infty,2)$-категорий, закладывая прочную теоретическую основу для дальнейшего развития этой области.