Лемма о движении для когомологий с носителем

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

• ID статьи: 2207.08297
• Название: A moving lemma for cohomology with support
• Автор: Стефан Шрайдер (Университет Лейбница Ганновер)
• Классификация: math.AG (алгебраическая геометрия), math.KT (K-теория)
• Время публикации: 2024, опубликовано в Épijournal de Géométrie Algébrique
• Ссылка на статью: https://arxiv.org/abs/2207.08297

Аннотация

В данной работе доказывается лемма о движении для класса естественных теорий когомологий с носителем (включая этальные или про-этальные когомологии с надлежащими коэффициентами), применимая к классам когомологий с носителем на гладких квазипроективных k-многообразиях, допускающих гладкую проективную компактификацию (например, в случае характеристики нуль). Это имеет следующие важные следствия для таких k-многообразий и теорий когомологий: локальные и глобальные обобщения теорем об отсутствии Квиллена, Блоха-Огуса и Габбера, конечномерная версия гипотезы Герстена в характеристике нуль, а также обобщение инъективности этальных когомологий и теоремы о чистоте коразмерности 1. Результаты показывают, что уточненные неразветвленные группы когомологий из Sch23 являются мотивными.

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

Постановка проблемы

В алгебраической геометрии лемма Чжоу о движении позволяет перемещать алгебраические циклы в рациональной эквивалентности в хорошее положение относительно замкнутого подмножества S⊂X. Суть гипотезы Герстена состоит в теореме об отсутствии, эквивалентной в специальном случае (X аффинно, S — конечное множество точек) аналогичной лемме о движении для классов с носителем.

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

1. Теоретическая полнота: Являются ли теоремы об отсутствии Квиллена, Блоха-Огуса и Габбера частными случаями более общей леммы о движении?
2. Технические требования: Можно ли переместить класс с носителем Z⊂X на носитель Z', такой что Z' находится в хорошем положении относительно произвольного замкнутого подмножества S⊂X?
3. Прикладная ценность: Такая лемма о движении приведет к новым приложениям, выходящим за рамки исходной гипотезы Герстена.

Ограничения существующих методов

• Классические теоремы об отсутствии справедливы только в специальных случаях (аффинные многообразия, нульмерные носители)
• Отсутствует общая теория для работы с носителями высокой размерности
• Существующие методы плохо работают в локализации

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

1. Главная лемма о движении: Доказана лемма о движении для классов когомологий с носителем на гладких квазипроективных k-многообразиях, допускающих гладкую проективную компактификацию
2. Обобщение теорем об отсутствии: Даны локальные и глобальные обобщения теорем Квиллена, Блоха-Огуса и Габбера
3. Конечномерная версия гипотезы Герстена: Установлена конечномерная версия гипотезы Герстена в характеристике нуль
4. Обобщение теорем о чистоте: Обобщены инъективность этальных когомологий и теорема о чистоте коразмерности j+1
5. Мотивные свойства: Доказаны мотивные свойства уточненных неразветвленных групп когомологий

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

Формулировка задачи

Для гладкого равномерного алгебраического k-схемы X и замкнутых подмножеств S,Z⊂X (dimZ < dimX) найти замкнутые подмножества Z'⊂W⊂X такие что:

• Z⊂W, dimZ' = dimZ, dimW = dimZ+1
• Z' и W\Z надлежащим образом пересекаются с S
• Для любого α∈H_Z(X,n) существует α'∈H_{Z'}(X,n) такой что α и α' имеют одинаковый образ в H*_W(X,n)

Основная техническая схема

1. Скрученные теории когомологий

Определяются теории когомологий (X,Z) ↦ H*_Z(X,n), удовлетворяющие условиям:

• C1 (вырезание): совместимость открытых вложений
• C2 (прямые образы): отображения прямого образа для собственных отображений
• C3 (длинная точная последовательность): длинная точная последовательность для троек
• C4 (действие циклов): действие алгебраических циклов
• C5 (полупурность): обращение в нуль при условиях размерности

2. Действие циклов на открытых многообразиях

Для гладких проективных равномерных схем X,Y и цикла Γ∈Z^c(X×Y) строится действие:

Γ^(W)_*: H^i_Z(U,n) → H^{i+2c-2d_X}_{Z'}(U',n+c-d_X)

где U=X\R, U'=Y\R' — надлежащие открытые подмножества.

3. Стратегия доказательства леммы о движении

1. Редукция к проективному случаю: использование гладкой проективной компактификации
2. Применение леммы Чжоу о движении: применение леммы о движении Левина к диагонали Δ_X⊂X×X
3. Использование действия циклов: перемещение классов через действие циклов на когомологиях
4. Обработка технических трудностей: техническая обработка случая, когда X — открытое подмножество проективной схемы

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

1. Единая теоретическая схема

Различные теории когомологий (этальные, про-этальные и т.д.) обрабатываются в единой аксиоматической схеме.

2. Тонкий анализ действия циклов

Детальный анализ действия алгебраических циклов на когомологиях открытых многообразий, в частности:

• Совместимость с рациональной эквивалентностью
• Поведение при локализации
• Функториальные свойства

3. Глобализация леммы о движении

Обобщение классического аффинного случая на общие квазипроективные многообразия с обработкой носителей произвольной размерности.

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

Теорема 1.1 (Лемма о движении)

Пусть X — гладкая равномерная k-схема, допускающая гладкую проективную компактификацию, S,Z⊂X — замкнутые подмножества и dimZ < dimX. Тогда существуют замкнутые подмножества Z'⊂W⊂X такие что:

• Z⊂W, dimZ' = dimZ, dimW = dimZ+1
• Z' и W\Z надлежащим образом пересекаются с S
• Для любого α∈H_Z(X,n) существует α'∈H_{Z'}(X,n) такой что α и α' имеют одинаковый образ в H*_W(X,n)

Следствие 1.2 (Глобальное отсутствие)

При указанных выше условиях, если dimS + dimZ < dimX, то существуют окрестность U⊂X подмножества S и замкнутое подмножество W⊂X такие что композиция отображений:

H*_Z(X,n) → H*_W(X,n) → H*_W(U,n)

равна нулю.

Следствие 1.5 (Конечномерная версия гипотезы Герстена)

Для гладкого аффинного многообразия X над полем характеристики нуль, при наличии цепи точек Z_c = {x} ⊂ Z_ ⊂ ⋯ ⊂ Z_1 ⊂ Z_0 = X_x, после надлежащего уточнения следующий комплекс точен:

0 → H^i(X_x,n) → H^i_{BM}(X_x\Z_1) → ⋯ → H^0_{BM}(Z_i\Z_{i+1}) → 0

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

1. Мотивные свойства уточненных неразветвленных когомологий

Следствие 1.7: Для гладких проективных равномерных схем X,Y существует двойное аддитивное спаривание:

CH^c(X×Y) × H^i_{j,nr}(X,n) → H^{i+2c-2d_X}_{j+c-d_X,nr}(Y,n+c-d_X)

функториальное относительно композиции соответствий.

2. Формула для проективного расслоения

Следствие 6.12: Существует стандартный изоморфизм:

⊕_{l=0}^{min(j,n)} H^{i-2l}_{j-l,nr}(Y,m-l) ≃ H^i_{j,nr}(Y×ℙ^n_k,m)

3. Бирациональная инвариантность

Следствие 6.14: Если f: X ⤏ Y — бирациональное отображение, являющееся изоморфизмом в коразмерности c, то для j ≤ c:

f*: H^i_{j,nr}(Y,n) ≃ H^i_{j,nr}(X,n)

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

Про-этальные когомологии

Статья детально проверяет, что про-этальные когомологии удовлетворяют требуемым аксиомам C1-C5. Ключевые технические инструменты включают:

• Двойственность Пуанкаре: f*_(d)2d ≃ f!
• Чистота: i*_(-c)-2c ≃ i!
• Формализм шести функторов: полная система функторов прямого и обратного образа

Отображение класса цикла

Построено отображение класса цикла:

cl^X_Z(Γ) ∈ H^{2c}_Z(X,ℤ_ℓ(c))

удовлетворяющее:

• Линейности
• Совместимости с отображениями прямого и обратного образа
• Формуле для кубка

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

Классические результаты

• Лемма Чжоу о движении Cho56: движение алгебраических циклов
• Квиллен Qui73: отсутствие в K-теории
• Блох-Огус BO74: гипотеза Герстена для этальных когомологий
• Габбер Gab94: доказательство в общем случае

Современные разработки

• Левин Lev98,Lev05: лемма о движении для высших групп Чжоу
• Уточненные неразветвленные когомологии Sch23: предыдущая работа автора

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

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

1. Установлена общая лемма о движении для когомологий с носителем
2. Объединены и обобщены несколько классических результатов
3. Доказаны мотивные свойства уточненных неразветвленных когомологий
4. Предоставлена конечномерная версия гипотезы Герстена

Ограничения

1. Требуется существование гладкой проективной компактификации (например, в характеристике нуль)
2. Перемещенное подмножество Z' в общем случае не локализуется хорошо
3. Проверка некоторых технических условий (например, надлежащего пересечения) может быть сложной

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

1. Обобщение на более общие базовые схемы
2. Связь с мотивной гомотопической теорией
3. Приложения в арифметической геометрии

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

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

1. Теоретическое единство: объединение нескольких кажущихся независимыми результатов в одну схему
2. Технические инновации: тонкий анализ действия циклов и глобализация леммы о движении
3. Широкие приложения: важные приложения как в абстрактной теории, так и в конкретных вычислениях
4. Полнота доказательства: надлежащая обработка технических деталей, особенно проверка про-этальных когомологий

Недостатки

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

Влияние

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

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

1. Вычисления когомологий в алгебраической геометрии
2. Исследования мотивной теории
3. Приложения в арифметической геометрии
4. K-теория и теория циклов

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

Основные ссылки включают:

• Cho56 W.-L. Chow, "On equivalence classes of cycles in an algebraic variety"
• BO74 S. Bloch and A. Ogus, "Gersten's conjecture and the homology of schemes"
• Qui73 D. Quillen, "Higher algebraic K-theory, I"
• BS15 B. Bhatt and P. Scholze, "The pro-étale topology of schemes"
• Sch23 S. Schreieder, "Refined unramified cohomology of schemes"

Данная статья вносит значительный вклад в теорию когомологий алгебраической геометрии, не только объединяя несколько классических результатов, но и предоставляя мощные инструменты для дальнейших исследований. Её технические инновации и теоретическая глубина делают её важной работой в этой области.