2025-11-22T19:55:16.329627

Solid realization of motives with modulus

Matsumoto
We construct a covariant realization functor, denoted \textsc{Solidm}, from the category of motives with modulus to the derived category of solid modules in the sense of Clausen--Scholze. For any smooth modulus pair (X, D), the dual of Solidm(X, D) recovers the Hodge realization of Kelly--Miyazaki for (X, D). Using Ren's pro-solid comparison theorem, we give an explicit description of Solidm(X, D) and compute Solidm of the cone of M(U, D restricted to U) $\to$ M(X, D), in the setting where X is a smooth proper variety over a field, D $\subset$ X is a simple normal crossings divisor, and U $\subset$ X is an open immersion. We identify the result via the formal completion of X along the complement X $\setminus$ U.
academic

Твёрдая реализация мотивов с модулем

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

  • ID статьи: 2510.13596
  • Название: Solid realization of motives with modulus
  • Автор: Кейхо Мацумото
  • Классификация: math.AG (алгебраическая геометрия)
  • Дата публикации: 15 октября 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2510.13596

Аннотация

В данной работе конструируется ковариантный функтор реализации Solid_m(−) из категории мотивов с модулем в производную категорию твёрдых модулей в смысле Клаузена-Шольце. Для гладких пар модулей (X,D) двойственный функтор Solid_m(X,D) восстанавливает реализацию Ходжа пары (X,D) по Келли-Миядзаки. Используя теорему про-твёрдого сравнения Жэня, автор даёт явное описание Solid_m(X,D) и вычисляет Solid_m(Cone(M(U,D|U)→M(X,D))) в случае, когда X — гладкое собственное алгебраическое многообразие над полем, D⊂X — дивизор с простыми нормальными пересечениями, U⊂X — открытое вложение, характеризуя результат через формальное пополнение X̂{X\U} вдоль дополнения X\U.

Научный контекст и мотивация

  1. Центральная проблема: Конструкция функтора реализации из категории мотивов с модулем в производную категорию твёрдых модулей — это важное направление развития теории мотивов в алгебраической геометрии.
  2. Значимость:
    • Теория мотивов с модулем является важным обобщением теории мотивов Воеводского, позволяя работать с геометрическими объектами с границами
    • Теория твёрдых модулей, развитая Клаузеном-Шольце, представляет новую структуру когомологической теории с превосходными функториальными свойствами
    • Связь между этими двумя теориями способствует пониманию арифметических и топологических свойств геометрических объектов
  3. Существующие ограничения:
    • Реализация Ходжа Келли-Миядзаки даёт только контравариантный функтор
    • Отсутствует единая структура для решения проблем реализации геометрических объектов с модулем
    • Традиционные дискретные теории не могут адекватно обрабатывать некоторые задачи пополнения
  4. Исследовательская мотивация: Использование преимуществ теории твёрдых модулей для конструкции ковариантного функтора реализации с геометрической интерпретацией через формальную геометрию

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

  1. Конструкция ковариантного функтора реализации: Функтор Solid(−) из категории пар модулей PNor(A) в производную категорию твёрдых A■-модулей D(A■)
  2. Установление фундаментальных свойств функтора: Доказательство инвариантности относительно □, инвариантности при раздутиях, симметричной монотонности и других важных свойств
  3. Обобщение на общий случай: Конструкция более общего функтора Solid_m(−), двойственный которому восстанавливает когомологию Ходжа Келли-Миядзаки
  4. Явное описание: Использование теоремы про-твёрдого сравнения Жэня для получения конкретных формул вычисления Solid_m(X,D)
  5. Геометрические приложения: Характеризация геометрического смысла конусных объектов Solid_m(Cone(M(U,D|_U)→M(X,D))) через формальное пополнение

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

Определение задачи

Для дискретного нётерова коммутативного кольца A конструируется функтор:

Solid : PNor(A) → D(A■)

где PNor(A) — категория пар модулей с нормальным полным пространством, A■ := (A,A)■ — преданалитическое кольцо, связанное с A.

Основная конструкция

Для пары модулей (X,D) ∈ PNor(A) определяется:

Solid(X,D) := f!(f!A ⊗^L_{O_{X,■}} O_X(-D + |D|))

где f: X → Spec A — структурный морфизм.

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

  1. Применение шести функторов формализма: Использование шести функторов формализма для твёрдых модулей, установленного Клаузеном-Шольце: f!, f!
  2. Обработка пар модулей: Искусное преобразование пары модулей (X,D) в линейное расслоение O_X(-D + |D|), где |D| обозначает носитель D
  3. Про-твёрдое сравнение: Применение теоремы Жэня для связи конструкции Делиня про-когерентных пучков с конструкцией Клаузена-Шольце

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

Содержание теоремы 1.1

Для дискретного нётерова коммутативного кольца A и аналитического кольца A■ функтор Solid(−) удовлетворяет:

  1. Функториальность: Для морфизма окружения h: (Y,C) → (X,D) существует морфизм h_+: Solid(Y,C) → Solid(X,D)
  2. □-инвариантность: Естественный морфизм Solid((X,D)⊗□) → Solid(X,D) является изоморфизмом
  3. Инвариантность при раздутиях: При надлежащих условиях Solid(Bl_Z X, p*D) → Solid(X,D) является изоморфизмом
  4. Вычисление когомологий: Когда X гладко и собственно над A,
    H^{i+dim X}(X, Ω^{dim X}_{X/A}(-D + |D|)) ≃ H^{-i}(X, O(D - |D|))^∨
  5. Двойственность: Когда X — полное пересечение,
    RHom_{A■}(Solid(X,D), A) ≃ RΓ_{Zar}(X, O_X(D - |D|))

Обобщение на функтор Solid_m

Для нормальной пары модулей (X,D) и m ≥ 0 определяется:

Solid_m(X,D) := f! Hom_{O_{X,■}}(Ω^m_{X/A}(log |D|), f!A ⊗ O_{X,■} O_X(-D + |D|))

Когда X гладко, это упрощается до:

Solid_m(X,D) = f! Ω^{dim X - m}_{X/A}(log |D|)(-D)[dim X]

Явное описание и приложения

Явная формула теоремы 4.3

Пусть A — поле, X — гладкое алгебраическое многообразие над A с гладкой компактификацией j: X ↪ Y. Тогда:

Solid_m(X,D) ≃ holim_n Rg_*(I^n ⊗ Ω^{d-m}_{Y/A}(log |D̃|)(-D̃))[d]

где I — пучок идеалов дополнения, d = dim X.

Геометрическое приложение теоремы 4.4

Для гладкого собственного алгебраического многообразия X и открытого вложения j: U ↪ X имеет место:

Solid_m(Cone(M(U,D|_U) → M(X,D))) ≃ Rg_*(Ω^{d-m}_{X/A}(log |D|)(-D))^∧_Z[d]

где правая часть — формальное пополнение вдоль замкнутого дополнения Z = X\U.

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

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

Работа интенсивно использует формализм шести функторов для твёрдых модулей, установленный Клаузеном-Шольце:

  • f_, f^: функторы прямого и обратного образа
  • f_!, f^!: функторы исключительного прямого и обратного образа
  • ⊗, RHom: функторы тензорного произведения и внутреннего Hom

Ключевые леммы

Лемма 3.2: Для ограниченного совершенного дискретного комплекса P и Q ∈ D(O_{X,■}) имеет место изоморфизм:

h! Hom_{O_{X,■}}(P,Q) ≃ Hom_{O_{Y,■}}(h*P, h!Q)

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

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

  1. Работы Келли-Миядзаки: Установление теории когомологий Ходжа с модулем, но только для контравариантного функтора
  2. Теория твёрдых модулей Клаузена-Шольце: Предоставление новой структуры когомологической теории и формализма шести функторов
  3. Теорема про-твёрдого сравнения Жэня: Связь теории про-когерентных пучков Делиня с теорией твёрдых модулей
  4. Теория мотивов Воеводского: Данная работа может рассматриваться как обобщение теории мотивов в рамках твёрдых модулей

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

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

  1. Успешная конструкция ковариантного функтора реализации из мотивов с модулем в твёрдые модули
  2. Установление фундаментальных свойств и формул вычисления этого функтора
  3. Геометрическая интерпретация конусных объектов через формальную геометрию

Ограничения

  1. Некоторые результаты требуют предположения о характеристике 0
  2. Для общих пар модулей необходимы предположения нормальности или гладкости
  3. Явные вычисления зависят от конкретной геометрической ситуации

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

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

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

Достоинства

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

Недостатки

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

Влияние

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

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

  1. Исследование алгебраических геометрических объектов с границами
  2. Вычисления когомологий в арифметической геометрии
  3. Проблемы реализации в теории мотивов
  4. Теория формальной геометрии и пополнений

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

Статья ссылается на следующие ключевые работы:

  1. Shane Kelly and Hiroyasu Miyazaki. Hodge cohomology with a ramification filtration
  2. Clausen and Scholze. Lectures on condensed mathematics
  3. Fei Ren. Coherent six-functor formalisms: Pro vs solid
  4. Hiroyasu Miyazaki. Nisnevich topology with modulus

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