Базовый локус унитарных расщепляемых пространств Рапопорта-Цинка со стабилизатором вершины

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

• ID статьи: 2510.14497
• Название: The basic locus of unitary splitting Rapoport-Zink spaces with vertex stabilizer level
• Авторы: I. Zachos, Z. Zhao
• Классификация: math.NT (Теория чисел), math.AG (Алгебраическая геометрия)
• Дата подачи: 16 октября 2025 г. на arXiv
• Ссылка на статью: https://arxiv.org/abs/2510.14497

Аннотация

В данной работе построена стратификация Брюа-Титса разветвленных унитарных расщепляемых пространств Рапопорта-Цинка, где слои определяются стабилизаторами вершинных решеток. Для определения некоторых локальных свойств стратификации Брюа-Титса авторы разработали теорию расслоенных расщепляемых моделей. Для исследования их глобальной структуры установлено явное изоморфизм между стратификацией Брюа-Титса и некоторыми (модифицированными) многообразиями Делиня-Люстига.

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

Проблемный контекст

1. Теория интегральных моделей многообразий Шимуры: Данное исследование принадлежит важному разделу теории интегральных моделей многообразий Шимуры, особенно сосредоточено на базовом локусе (basic locus) пространств Рапопорта-Цинка (RZ).
2. Прикладная ценность: Исследование базового локуса имеет важные приложения в теории чисел, включая:
   • Гипотезу Кудлы-Рапопорта: связь арифметических пересечений специальных циклов на многообразиях Шимуры с рядами Эйзенштейна
   • Арифметическую гипотезу Гана-Гросса-Прасада
   • Гипотезу арифметической фундаментальной леммы и гипотезу арифметического переноса
3. Существующие исследования:
   • Ортогональный случай: Хауард-Паппас изучали самодвойственный случай, Оки исследовали почти самодвойственный случай, Хе-Чжоу обобщили на все максимальные стратификации
   • Унитарный случай: Фоллаард и др. исследовали гиперспециальные слои для инертных простых чисел, Чо обобщил на все максимальные параахорические слои, Мюллер исследовал произвольные параахорические слои
   • Разветвленный случай: Рапопорт-Терстиге-Вилсон исследовали самодвойственные слои, Ву исследовали сингулярно-гладкий случай, Хе-Ло-Ши обобщили на все максимальные вершинные слои

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

1. Совершенствование теории: Существующие исследования разветвленного унитарного случая сосредоточены главным образом на специфических типах стратификаций; данная работа направлена на полное описание произвольных максимальных вершинных решеток.
2. Технические инновации: Разработка теории расслоенных расщепляемых моделей предоставляет инструменты для исследования случаев более высокой размерности.
3. Геометрическое понимание: Через изоморфизм с многообразиями Делиня-Люстига углубляется понимание геометрической структуры стратификации BT.

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

1. Построена полная стратификация Брюа-Титса: Для расщепляемых пространств RZ с произвольными максимальными стабилизаторами вершинных решеток дано полное описание стратификации BT редуцированного базового локуса.
2. Разработана теория расслоенных расщепляемых моделей: Введены расслоенные расщепляемые модели, определяемые чистыми линейно-алгебраическими данными, доказано, что стратификация BT локально этально изоморфна этим моделям.
3. Установлены явные изоморфизмы с многообразиями Делиня-Люстига:
   • Стратификация Z_spl изоморфна модифицированному симплектическому многообразию Делиня-Люстига S'_Λ
   • Стратификация Y_spl изоморфна модифицированному ортогональному многообразию Делиня-Люстига R'_Λ♯
4. Полный анализ геометрических свойств: Определены размерность, редуцированность, нормальность, свойство Коэна-Маколея для каждой стратификации.

Детальное описание методов

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

Исследование стратификации Брюа-Титса редуцированного базового локуса разветвленного унитарного расщепляемого пространства Рапопорта-Цинка N^spl_n, где:

• Входные данные: вершинная решетка Λ ⊂ C и соответствующее пространство RZ
• Выходные данные: полное описание стратификации BT и геометрические свойства каждого слоя
• Ограничения: сигнатура (n-1,1), слои определяются стабилизаторами вершинных решеток

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

1. Определение расщепляемого пространства RZ

Для S ∈ Nilp_{O_F̆} расщепляемое пространство RZ N^spl_n сопоставляет пятерке (X,ι,λ,ρ,Fil^0(X)) класс изоморфизма, где:

• (X,ι,λ) — эрмитов O_F-модуль размерности n и типа 2h на S
• ρ — высоты 0 O_F-линейный квазиизоморфизм
• Fil^0(X) — ранг 1 прямое слагаемое фильтрации Ходжа, удовлетворяющее условиям расщепления:
  • (ι(π) + π)(Fil(X)) ⊂ Fil^0(X)
  • (ι(π) - π)(Fil^0(X)) = 0

2. Построение стратификации BT

Для вершинной решетки Λ ⊂ C определены два класса стратификаций:

Стратификация Z^spl (тип 2t ≥ 2h):

Z^spl(Λ)(S) = {(X,ι,λ,ρ,F) ∈ N^spl_n(S) | (X,ι,λ,ρ) ∈ Z^loc(Λ)(S), 
                для x ∈ Λ имеем x_*(Lie(Y × S)) ⊂ F}

Стратификация Y^spl (тип 2t ≤ 2h):

Y^spl(Λ♯)(S) = {(X,ι,λ,ρ,F) ∈ N^spl_n(S) | (X,ι,λ,ρ) ∈ Y^loc(Λ♯)(S),
                 для x♯ ∈ Λ♯ имеем x♯_*(Lie(Y × S)) ⊂ F}

3. Расслоенные расщепляемые модели

Определены расслоенные расщепляемые модели M^{spl,2h}_n(2t) как более простые линейно-алгебраические объекты:

• Для t > h: определены через условия на матрицы X, Y, Z
• Для t < h: определены через различные матричные ограничения

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

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

Построена диаграмма локальной модели:

Z̃^spl(Λ) → Z^spl(Λ) × M^{spl,[2h]}_n(2t)

где морфизмы ψ₁ и ψ₂ — гладкие морфизмы одинаковой размерности.

2. Вычисление аффинных диаграмм

Через явные вычисления аффинных диаграмм получено:

• Для t > h: U_{i₀} ≅ Spec kX,Y,Z/(rank(X^t|Y^t) - 1, ∧²(Y|Z))
• Для t < h: U_{i₀} ≅ A^{n-h-t-1}_k

3. Изоморфизм многообразий Делиня-Люстига

Установлены явные изоморфизмы:

• f_Z: Z^spl(Λ) → S'_Λ (симплектический случай)
• f_Y: Y^spl(Λ♯) → R'_{Λ♯} (ортогональный случай)

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

Теорема 1.1 (Стратификация BT)

Стратификация Брюа-Титса редуцированного базового локуса расщепляемого пространства RZ имеет вид:

N^spl_{n,red} = (⋃_{Λ₁∈L_Z} Z^spl(Λ₁)) ∪ (⋃_{Λ₂∈L_Y} Y^spl(Λ♯₂))

Отношения включения:

1. Для типа >2h Λ₁,Λ₂ ∈ L_Z: Λ₁ ⊆ Λ₂ ⟺ Z^spl(Λ₂) ⊆ Z^spl(Λ₁)
2. Для типа <2h Λ₁,Λ₂ ∈ L_Y: Λ₁ ⊆ Λ₂ ⟺ Y^spl(Λ♯₁) ⊆ Y^spl(Λ♯₂)
3. Свойства пересечений и формулы размерности

Теорема 1.2 (Свойства расслоенных расщепляемых моделей)

Расслоенная расщепляемая модель M^{spl,2h}_n(2t) нормальна и является кольцом Коэна-Маколея, причем:

1. Для t > h: размерность равна t + h
2. Для t < h (кроме π-модульного случая): гладкая, размерность равна n - t - h - 1
3. Формула размерности пересечений

Теоремы 1.3 и 1.4 (Изоморфизмы Делиня-Люстига)

• S'_Λ неприводимо, размерность t + h, изоморфно Z^spl(Λ)
• R'_{Λ♯} неприводимо и гладко, размерность n - t - h - 1, изоморфно Y^spl(Λ♯)

Экспериментальная верификация

Проверка специальных случаев

1. Случай h = 0: результаты согласуются с работой Хе-Ли-Ши-Янга
2. π-модульный случай: исключен, так как полностью исследован Ву
3. Проверка формул размерности: верифицирована через вычисления аффинных диаграмм

Проверка геометрических свойств

Через метод локальных модельных диаграмм верифицированы:

• Редуцированность
• Нормальность
• Свойство Коэна-Маколея
• Гладкость (в специфических случаях)

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

Ортогональный случай

• Хауард-Паппас 11: самодвойственный случай
• Оки 21: почти самодвойственный случай
• Хе-Чжоу 10: все максимальные стратификации

Унитарный случай

• Серия работ Фоллаарда 30,31: гиперспециальные слои для инертных простых чисел
• Чо 5: все максимальные параахорические слои
• Мюллер 20: произвольные параахорические слои

Разветвленный случай

• Рапопорт-Терстиге-Вилсон 26: самодвойственные слои
• Ву 32: сингулярно-гладкий случай
• Хе-Ло-Ши 9: все максимальные вершинные слои

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

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

1. Дано полное описание стратификации BT расщепляемых пространств RZ с произвольными максимальными стабилизаторами вершинных решеток
2. Расслоенные расщепляемые модели предоставляют эффективный инструмент для исследования локальных свойств
3. Изоморфизм с многообразиями Делиня-Люстига раскрывает глубокую геометрическую структуру стратификаций

Ограничения

1. Исключение π-модульного случая: когда n четно и h = n/2, требуется специальная обработка
2. Ограничение максимальными слоями: более общие квазипарахорические структуры слоев еще не рассмотрены
3. Техническая сложность: вычисления включают большой объем матричных операций и линейно-алгебраических приемов

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

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

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

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

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

Недостатки

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

Влияние

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

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

• Исследования в арифметической геометрии
• Теория многообразий Шимуры
• p-адическая теория Ходжа
• Приложения в теории представлений

Список литературы

Статья содержит 36 ссылок, охватывающих важные работы в области пространств Рапопорта-Цинка, локальных моделей, многообразий Делиня-Люстига и смежных областей, что демонстрирует широту и глубину исследования.