2025-11-14T21:01:10.981761

The weight filtration on real singular homology is motivic

Ruimy
We give an alternative construction of Totaro's weight filtration on singular homology of the real points of a real algebraic variety. Our construction shows that this filtration comes from Bondarko's weight filtration on Voevodsky motives.
academic

Весовая фильтрация на вещественных сингулярных гомологиях мотивна

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

  • ID статьи: 2510.13379
  • Название: The weight filtration on real singular homology is motivic
  • Автор: Raphaël Ruimy
  • Классификация: math.AG (алгебраическая геометрия)
  • Дата публикации: 15 октября 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2510.13379

Аннотация

В данной работе предложена альтернативная конструкция весовой фильтрации Тотаро на сингулярных гомологиях вещественных точек вещественных алгебраических многообразий. Наша конструкция показывает, что эта фильтрация происходит из весовой фильтрации Бондарко на мотивах Воеводского.

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

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

  1. Историческое развитие весовых фильтраций: Делинь ввел весовые фильтрации на сингулярных когомологиях и ℓ-адических когомологиях комплексных алгебраических многообразий. Первоначально эти фильтрации рассматривались Гротендиком как отражение весовых фильтраций мотивов.
  2. Успех в комплексном случае: Над полем комплексных чисел установлена полная теоретическая база:
    • Воеводский построил категорию геометрических мотивов DMgm(k,Λ)
    • Реализация Бетти Аюба отображает весовую фильтрацию мотивов на весовую фильтрацию сингулярных гомологий
    • Аналогичные результаты верны для этальных и ℓ-адических реализаций
  3. Трудности в вещественном случае:
    • Тотаро в 2002 году предложил существование весовой фильтрации на сингулярных когомологиях вещественных точек вещественных алгебраических многообразий
    • МакКрори и Парусинский доказали этот результат в 2011 и 2014 годах
    • Однако их конструкция была технической и не явно мотивной по природе

Мотивация исследования

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

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

  1. Построена функтор вещественной реализации мотивов ρR : DMgm(ℝ,𝔽₂) → Db(𝔽₂), отображающий мотивы вещественных алгебраических многообразий в производную категорию с коэффициентами в 𝔽₂
  2. Доказано мотивное происхождение весовой фильтрации: показано, что весовая фильтрация Тотаро-МакКрори-Парусинского фактически происходит из весовой фильтрации Бондарко на мотивах
  3. Разработаны новые технические инструменты:
    • Адаптирована универсальность мотивных пучков Робало к установке мотивов Воеводского
    • Использована теорема Якобсона для связи вещественных когомологий с когомологиями Зариского
    • Применены глубокие результаты гипотезы Милнора
  4. Унифицированы различные теории когомологий: предоставлена единая мотивная конструкция для обычных гомологий, гомологий Бореля-Мура, когомологий и когомологий с компактным носителем

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

Теоретическая база

1. Конструкции в высших категориях

Работа начинается с установления необходимых основ теории высших категорий:

  • Определены различные варианты симметричных монадных ∞-категорий MCat^K_∞
  • Построена стабилизация категории цепных комплексов K^b(A)⊗ = SW(K^b_≥0(A))⊗
  • Установлены отношения между категориями Спаниера-Уайтхеда и стабилизацией

2. Универсальность мотивов Воеводского

Теорема 2.3: Пусть k — совершенное поле, Λ — коммутативное кольцо, C⊗ — малая симметричная монадная идемпотент-полная стабильная ∞-категория. Тогда функтор

Fun_MCat^st_∞(DMgm(k,Λ)⊗, C⊗) → Fun_MCat^Σ_∞(Smcor(k,Λ)⊗, C⊗)

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

  1. A¹-гомотопическая инвариантность
  2. Свойство слоев Нисневича
  3. ⊗-обратимость объектов Тейта

Конструкция функтора реализации

3. Ключевые технические приемы вещественной реализации

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

Шаг 1: Применение теории колец Витта

  • Используются кольцо Витта W(X) и его фундаментальный идеал I(X) с степенями I^n(X)
  • Определяются факторы I̅^n(X) = I^n(X)/I^(n+1)(X)
  • Строится пучок I_∞ := colim_n I_n

Шаг 2: Применение теоремы ЯкобсонаТеорема 3.4: Отображение s_∞ : I_∞ → ι_*𝔽₂ является изоморфизмом пучков Зариского, где ι : X(ℝ) ↪ X.

Это дает изоморфизм: H^n(X, I_∞) ≅ H^n(X(ℝ), 𝔽₂)

Шаг 3: Использование разложения Герстена Применяется разложение Герстена для пучков I^m:

0 → I^m → ⊕_{x∈(-)^(0)} I̅^m(k(x)) → ⊕_{x∈(-)^(1)} I̅^(m-1)(k(x)) → ⋯

Существование этого разложения зависит от глубоких результатов гипотезы Милнора.

4. Свойства функтора реализации

Предложение 3.9: Функтор H^cor_* : Smcor(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂} разлагается через DMgm(ℝ,𝔽₂)⊗.

Это дает функтор вещественной реализации: ρR : DMgm(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂}

Конструкция весовой фильтрации

5. Теория весовых структур

Используется теория весовых структур Бондарко:

Определение 4.1: Полная подкатегория H стабильной ∞-категории C является ядром ограниченной весовой структуры тогда и только тогда, когда:

  1. Она замкнута относительно конечных копроизведений и ретрактов
  2. Она порождает C относительно конечных пределов и копределов
  3. Для всех X,Y ∈ H спектр отображений map_C(X,Y) связен

6. Функтор весовых комплексов

Лемма 4.3 (Аоки): Существует эквивалентность C⊗ ≃ SW(P^rex_Σ(H))⊗

Это приводит к функтору весовых комплексов:

DMgm(ℝ,𝔽₂)⊗ → K^b(Chow(ℝ,𝔽₂))⊗ → GrVect^⊗_{𝔽₂}

7. Фильтрованный функтор реализации

Определяется фильтрованный функтор реализации:

ρ^W_R : DMgm(ℝ,𝔽₂)⊗ → K^b(GrVect_{𝔽₂})⊗

Его композиция с Tot дает ρR.

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

Мотивная природа весовой фильтрации

Теорема 4.6: Пусть WH_* := ρ^W_R ∘ M, WH^BM_* := ρ^W_R ∘ M^BM и т.д. Эти функторы уточняют теории гомологий вещественных следов и порождают сходящиеся к этим когомологиям спектральные последовательности весов.

Связь с существующей теорией

Предложение 3.12: Функтор реализации ρR отображает:

  • M в C_*(−,𝔽₂) (комплекс сингулярных цепей)
  • M^BM в C^BM_*(−,𝔽₂) (комплекс сингулярных цепей с компактным носителем)
  • h в C^*(−,𝔽₂) (комплекс сингулярных коцепей)
  • h_c в C^*_c(−,𝔽₂) (комплекс сингулярных коцепей с компактным носителем)

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

1. Применение методов высших категорий

  • Систематическое использование теории ∞-категорий для работы с универсальностью категории мотивов
  • Адаптация методов Робало к конкретной установке мотивов Воеводского

2. Специальная обработка вещественной геометрии

  • Искусное использование теории колец Витта для преодоления трудности неэтальной локальности вещественных когомологий
  • Установление моста между вещественными когомологиями и когомологиями Зариского через теорему Якобсона

3. Применение глубоких результатов алгебраической геометрии

  • Критическая зависимость от доказательства гипотезы Милнора (Орлов-Вишик-Воеводский)
  • Использование тонких свойств разложения Герстена

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

1. Завершение программы Гротендика

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

2. Унификация различных подходов

Предоставляет концептуальное понимание технической конструкции МакКрори-Парусинского, выявляя ее глубокую мотивную структуру.

3. Методологический вклад

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

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

Ограничения

  1. Ограничение на коэффициенты: Конструкция ограничена коэффициентами 𝔽₂ из-за специальных свойств вещественных когомологий
  2. Техническая сложность: Зависит от нескольких глубоких результатов (гипотеза Милнора, теорема Якобсона и др.)
  3. Область применения: Применима главным образом к специфическим случаям вещественной алгебраической геометрии

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

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

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

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

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

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

  1. Новизна методов: Оригинальность подхода с использованием теории колец Витта для работы с вещественными геометрическими проблемами
  2. Важность результатов: Заполнение важного пробела в теории мотивов в вещественном случае
  3. Строгость доказательств: Использование теории высших категорий обеспечивает функториальность конструкции

Влияние

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

Ключевые моменты литературы

Работа цитирует ключевые источники в данной области, включая:

  • Фундаментальные работы Воеводского и др. по теории мотивов
  • Теорию весовых структур Бондарко
  • Исходную конструкцию вещественной весовой фильтрации МакКрори-Парусинского
  • Отношения Якобсона между вещественными когомологиями и кольцами Витта
  • Доказательство гипотезы Милнора (OVV07)

Эти ссылки отражают глубокое понимание автором развития области и владение соответствующими техниками.