Конструируемая теория Витта схем

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

• ID статьи: 2307.01032
• Название: Constructible Witt theory of schemes
• Авторы: Onkar Kamlakar Kale, Girja S Tripathi
• Классификация: math.AG (алгебраическая геометрия), math.KT (K-теория и гомологическая алгебра)
• Дата публикации: 31 декабря 2024 г. (последняя версия v3)
• Ссылка на статью: https://arxiv.org/abs/2307.01032

Аннотация

В данной работе исследуется конструируемая теория Витта этальных пучков $\Lambda$-модулей на схеме $X$, где кольцо коэффициентов $\Lambda$ имеет конечную характеристику, не равную 2, и взаимно просто с остаточной характеристикой схемы $X$. Конструкция основана на последних достижениях Cisinski и Déglise в формализме шести функторов для производной категории этальных мотивов, что обеспечивает основу для изучения конструируемой теории Витта как когомологического инварианта схем. Для гладких комплексных алгебраических многообразий и конечных колец коэффициентов авторы доказывают, что алгебраическая конструируемая теория Витта, изучаемая в работе, может быть отождествлена с топологической конструируемой теорией Витта.

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

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

1. Обобщение теории групп Витта: Классическая теория групп Витта была введена Эрнстом Виттом в 1937 году для изучения классов изоморфизма квадратичных форм над полями. Балмер обобщил эту теорию на треугольные категории с двойственностью.
2. Топологическая конструируемая теория Витта: Вулф и Шюрманн развили теорию групп Витта пучков модулей на топологических пространствах как обобщённую теорию когомологий, предоставляя инварианты типа сигнатуры топологических пространств.
3. Соответствие в алгебраической геометрии: Авторы стремятся установить аналогичную теорию в алгебраической геометрии, в частности, ищут алгебраическое соответствие L-классам как стабильным когомологическим операциям от (топологических) конструируемых групп Витта к обычным рациональным когомологиям.

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

1. Теоретическая полнота: Установление систематического каркаса конструируемой теории Витта в алгебраической геометрии
2. Связь с эквивариантной теорией: Особое внимание к связи с $\mathbb{Z}/2\mathbb{Z}$-эквивариантной теорией Витта в случае вещественного поля
3. Топологико-алгебраическое соответствие: Установление моста между конструируемой теорией Витта, определённой алгебраически, и теорией, определённой топологически

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

1. Установление конструируемой теории Витта схем: На основе формализма шести функторов Cisinski-Déglise определены конструируемые группы Витта $W^i_c(X_{\text{ét}}, \Lambda)$ на схеме $X$
2. Доказательство эквивариантной характеризации для вещественного поля: Для вещественного поля $\mathbb{R}$ установлен изоморфизм $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
3. Установление алгебро-топологического соответствия: Для гладких комплексных алгебраических многообразий $X$ и конечных колец коэффициентов $\Lambda$ доказано $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$
4. Конструкция алгебраической сигнатуры: Определена сигнатура, принимающая значения в соответствующих группах Витта для проективных вещественных алгебраических многообразий и комплексных алгебраических многообразий

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

Теоретический каркас

Определение 4.1 (Конструируемые группы Витта): Пусть $X$ — схема, $\Lambda$ — кольцо коэффициентов, удовлетворяющее условиям, и $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ — $\otimes$-обратимый объект. Конструируемая группа Витта определяется как группа Витта треугольной категории с двойственностью $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$: $W^n_c(X_{\text{ét}}, \Lambda, T) := W^n(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$

где функтор двойственности определяется как: $D_X(T) = R\text{Hom}(-, f^!(T)) : D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)^{\text{op}} \to D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)$

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

1. Формализм шести функторов: Использование работ Cisinski-Déglise для установления формализма шести функторов в более общей постановке
2. Локально конструируемые h-мотивы: Получение большей общности через эквивалентность $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \simeq DM_{h,lc}(X, \Lambda)$
3. Теория Галуа: Для случая полей использование действия абсолютной группы Галуа для установления эквивариантного описания

Ключевые технические инновации

1. Расширенный формализм шести функторов: По сравнению с классическими работами AGV71, DGIV77, получены более общие результаты через этальные мотивы
2. Совместимость двойственности: Доказана совместимость обратного образа и прямого образа со структурой двойственности
3. Сохранение двойственности при эквивалентности категорий: Установлен каркас, в котором эквивалентности между различными категориями сохраняют структуру двойственности

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

Теорема 1.1 (Формализм шести функторов)

Пусть $B$ — отличное нётерово схема размерности $\leq 2$, $\Lambda$ — нётерово кольцо положительной характеристики, взаимно простое с остаточной характеристикой $B$. Пусть $\phi: S \to B$ — регулярная отделённая конечного типа $B$-схема, $f: X \to S$ — отделённый морфизм конечного типа. Тогда:

1. Категория $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \subset D^b(X_{\text{ét}}, \Lambda)$ замкнута относительно шести функторов
2. Для $\otimes$-обратимого объекта $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ функтор $D_X(T) = R\text{Hom}(-, f^!(T))$ является функтором двойственности

Теорема 1.2 (Функториальность)

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

Теорема 1.3 (Эквивариантная характеризация для вещественного поля)

Для конечного кольца $\Lambda$ характеристики, не равной 2: $D^b_{\text{ctf}}((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \simeq D^b(\text{Proj}(\Lambda[\mathbb{Z}/2\mathbb{Z}]))$

Это индуцирует отождествление конструируемых групп Витта: $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$

Теорема 1.4 (Алгебро-топологическое соответствие)

Пусть $X$ — гладкое алгебраическое многообразие над $\mathbb{C}$, $\Lambda$ — конечное кольцо характеристики, не равной 2. Тогда существует эквивалентность треугольных категорий с двойственностью: $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), R\text{Hom}(-, \Lambda)) \simeq (D^b_c(X^{\text{an}}, \Lambda), R\text{Hom}(-, \Lambda))$

индуцирующая изоморфизм: $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$

Приложения и результаты

Конструкция сигнатуры

Теорема 7.1: Для проективных алгебраических многообразий построены отображения сигнатуры:

1. Вещественные проективные многообразия: Для проективного вещественного алгебраического многообразия $X$ со структурным морфизмом $f: X \to \text{Spec } \mathbb{R}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
2. Комплексные проективные многообразия: Для проективного комплексного алгебраического многообразия $X$ со структурным морфизмом $f: X \to \text{Spec } \mathbb{C}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda)$

Последовательность локализации

Для замкнутого вложения $i: Z \hookrightarrow X$ и дополнительного открытого вложения $j: U = X - Z \hookrightarrow X$ получается 12-членная точная последовательность: $\cdots \to W^{n-1}_c(U_{\text{ét}}, \Lambda) \xrightarrow{\partial^{n-1}} W^n_c(Z_{\text{ét}}, \Lambda) \xrightarrow{W^n(i_*)} W^n_c(X_{\text{ét}}, \Lambda) \xrightarrow{W^n(j^*)} W^n_c(U_{\text{ét}}, \Lambda) \to \cdots$

Технические детали

Характеризация конструируемых пучков

Для нётеровой схемы $X$ и нётерова кольца $\Lambda$ пучок $\Lambda$-модулей $\mathcal{F}$ конструируем тогда и только тогда, когда существует конечное разложение $X$ на локально замкнутые подмножества $\bigcup^n_{i=1} X_i$ такое, что каждое ограничение $\mathcal{F}|_{X_i}$ локально постоянно и слои $\mathcal{F}$ являются конечно порождёнными $\Lambda$-модулями.

Конечная Tor-размерность

Ограниченный комплекс $\mathcal{F}^\bullet$ имеет конечную Tor-размерность, если существует целое число $n$ такое, что для всех $i > n$ и любого постоянного пучка $\Lambda$-модулей $\mathcal{M}$ выполняется $\text{Tor}_i(\mathcal{F}^\bullet, \mathcal{M}) = 0$.

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

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

1. Витт (1937): Введение групп Витта квадратичных форм над полями
2. Балмер (1999-2001): Развитие теории Витта для треугольных категорий с двойственностью
3. Вулф (2008), Шюрманн-Вулф (2020): Конструируемая теория Витта на топологических пространствах

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

1. Cisinski-Déglise (2016): Формализм шести функторов для этальных мотивов
2. Beilinson-Bernstein-Deligne (1982): Сравнение алгебраических и топологических конструируемых пучков
3. Гротендик и др. (SGA 4, 4½): Классическая теория этальных когомологий

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

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

1. Успешно установлен каркас конструируемой теории Витта схем как когомологического инварианта
2. Доказано отождествление с $\mathbb{Z}/2\mathbb{Z}$-эквивариантной теорией Витта в случае вещественного поля
3. Установлен мост между алгебраической и топологической конструируемой теорией Витта
4. Построена сигнатура со значениями в группах Витта для проективных многообразий

Ограничения

1. Гомотопическая инвариантность: Из-за ограничений совместимости двойственности со структурой шести функторов гомотопическая инвариантность не доказана
2. Ограничения на кольцо коэффициентов: Требуется, чтобы характеристика кольца коэффициентов была взаимно проста с остаточной характеристикой схемы
3. Ограничение размерности: Размерность базовой схемы ограничена величиной $\leq 2$

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

1. Гомотопическая инвариантность: В контексте бесконечных категорий возможно получение более гибкого каркаса
2. Алгебраический кобордизм: Развитие теории алгебраического кобордизма пространств Витта
3. Более общие коэффициенты: Расширение на более общие кольца коэффициентов
4. Действие профинитных групп: Изучение теории Витта действия абсолютной группы Галуа над общими полями

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

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

1. Теоретическая инновация: Первое систематическое установление конструируемой теории Витта схем
2. Передовая техника: Полное использование последних результатов Cisinski-Déglise
3. Глубокие результаты: Установление важной связи между алгебраической геометрией и топологией
4. Практическая ценность: Предоставление новых инвариантов для проективных многообразий

Недостатки

1. Технические ограничения: Некоторые результаты требуют достаточно сильных технических предположений
2. Неполнота: Фундаментальные свойства, такие как гомотопическая инвариантность, ещё не полностью установлены
3. Вычислительные аспекты: Отсутствие конкретных примеров вычислений и алгоритмов

Влияние

1. Теоретический вклад: Предоставление новой теории когомологических инвариантов для алгебраической геометрии
2. Междисциплинарность: Связь алгебраической геометрии, топологии и K-теории
3. Основа для дальнейших исследований: Установление фундамента для алгебраической теории пространств Витта

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

1. Классификация алгебраических многообразий и исследование инвариантов
2. Теория сигнатуры в вещественной алгебраической геометрии
3. Исследования в эквивариантной алгебраической геометрии
4. Приложения теории мотивных когомологий

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

Bal99-01 P. Balmer. Derived Witt groups and triangular Witt groups series CD16 D.-C. Cisinski, F. Déglise. Étale motives Woo08 J. Woolf. Witt groups of sheaves on topological spaces SW20 J. Schürmann, J. Woolf. Witt groups of abelian categories and perverse sheaves

Данная работа вносит значительный вклад в область пересечения алгебраической геометрии и K-теории, устанавливая систематический каркас конструируемой теории Витта схем и предоставляя прочную теоретическую основу для дальнейших исследований.