We study hyperbolicity properties of the moduli space of polarized abelian varieties (also known as the Siegel modular variety) in characteristic $p$. Our method uses the plethysm operation for Schur functors as a key ingredient and requires a new positivity notion for vector bundles in characteristic $p$ called $(Ï,D)$-ampleness. Generalizing what was known for the Hodge line bundle, we also show that many automorphic vector bundles on the Siegel modular variety are $(Ï,D)$-ample.
- ID статьи: 2206.05804
- Название: Positivity, plethysm and hyperbolicity of Siegel varieties in positive characteristic
- Автор: Thibault Alexandre
- Классификация: math.AG (алгебраическая геометрия)
- Дата публикации: июнь 2022 г., последняя версия октябрь 2025 г.
- Ссылка на статью: https://arxiv.org/abs/2206.05804
В данной работе исследуются свойства гиперболичности пространств модулей поляризованных абелевых многообразий в характеристике p (так называемых многообразий Зигеля). Ключевым компонентом метода является операция плетизма функторов Шура, а также введение нового понятия позитивности векторных расслоений в характеристике p — (φ,D)-амплитуды. В качестве обобщения известных результатов для линейного расслоения Ходжа мы доказываем, что многие автоморфные векторные расслоения на многообразиях Зигеля являются (φ,D)-амплитудными.
- Теория гиперболичности: В арифметической геометрии определение гиперболичности алгебраических многообразий является центральной проблемой. Для кривых над числовыми полями теорема Фалтингса устанавливает эквивалентность арифметической гиперболичности, гиперболичности Броди и алгебраической гиперболичности.
- Гиперболичность многообразий Зигеля: Над полем комплексных чисел пространство модулей Ag,N поляризованных абелевых многообразий размерности g известно как алгебраически гиперболическое. Однако в положительной характеристике p ситуация становится более сложной.
- Трудности положительной характеристики: Море-Байли построил контрпример, показывающий, что многообразия Зигеля в характеристике p не являются полностью гиперболическими — существуют семейства неизоморфных суперсингулярных абелевых поверхностей A→P1.
- Понимание механизма отказа гиперболичности многообразий Зигеля в положительной характеристике
- Поиск "частичной гиперболичности": хотя полная гиперболичность отсутствует, подмногообразия при определённых условиях коразмерности остаются логарифмически общего типа
- Разработка новых технических инструментов, применимых в положительной характеристике
- Введение понятия (φ,D)-амплитуды: Определено новое понятие позитивности, промежуточное между ample и nef, применимое к векторным расслоениям в характеристике p
- Установление связи между плетизмом и гиперболичностью: Впервые связаны операции плетизма функторов Шура с геометрической гиперболичностью
- Доказательство теоремы о частичной гиперболичности: При p≥g2+3g+1 гладкие подмногообразия коразмерности ≤g−1 имеют логарифмически общий тип
- Обобщение результатов позитивности для автоморфных расслоений: Распространение известных результатов для линейного расслоения Ходжа на более общие автоморфные векторные расслоения
Пусть X — проективная схема над k, D — эффективный дивизор Картье, φ:X→X(p) — относительный геометрический морфизм Фробениуса. Векторное расслоение E называется (φ,D)-амплитудным, если существует целое число r0≥1 такое, что для всех r≥r0 векторное расслоение E(pr)(−D):=(φr)∗(φr)∗E⊗OX(−D) является амплитудным.
- Для линейных расслоений: (φ,D)-амплитуда эквивалентна nef и big с исключительным множеством D
- Устойчивость: сохраняется при прямых суммах, расширениях, факторах, тензорных произведениях и обратных образах при конечных морфизмах
В положительной характеристике композиция функторов Шура Sλ∘Sμ в общем случае не разлагается в прямую сумму функторов Шура, но при условии p≥2∣λ∣−1 существует фильтрация с градуированными кусками, являющимися функторами Шура:
0=Tn⊊Tn−1⊊⋯⊊T0=Sλ∘Sμ
Для G-торсора E и соответствующего флагового расслоения π:Y→X установлена ключевая теорема о передаче позитивности:
Теорема 6.4-6.5: Если L2λ+2ρ является амплитудным (соответственно (φ,π^{-1}D)-амплитудным) на Y, то π∗Lλ является амплитудным (соответственно (φ,D)-амплитудным) векторным расслоением на X.
Для автоморфных векторных расслоений ∇(λ) на многообразиях Зигеля даны достаточные условия (φ,D)-амплитуды:
Теорема 7.20: Пусть λ — доминантный характер тора T. Если γ:=2λ+2ρL удовлетворяет:
- Орбитальная p-близость: maxα∈Φ,w∈W,⟨γ,α∨⟩=0∣⟨γ,α∨⟩∣∣⟨γ,wα∨⟩∣≤p−1
- Z∅-амплитуда: ⟨γ,α∨⟩>0 для всех α∈I, ⟨γ,α∨⟩<0 для всех α∈Φ+∖ΦL+
то ∇(λ) является (φ,D)-амплитудным.
Теорема 1 (Следствие 8.7): Предположим, что p≥g2+3g+1. Любое подмногообразие ι:V↪Shtor коразмерности ≤g−1 такое, что:
- V гладко
- ι−1Dred — дивизор с нормальными пересечениями
является логарифмически общего типа относительно D.
Теорема 8.6: Предположим, что p≥g2+3g+1. Для всех k≥g(g−1)/2+1 расслоение ΩShtork(logDred) является (φ,D)-амплитудным.
- g=2: При p≥7 поверхности в трёхмерном многообразии Зигеля логарифмически общего типа
- g=3: При p≥17 четырёхмерные подмногообразия логарифмически общего типа
- g=4: При p≥31 семимерные подмногообразия логарифмически общего типа
Впервые установлена прямая связь между операцией плетизма в теории симметрических функций и свойствами гиперболичности в алгебраической геометрии — это совершенно новая исследовательская перспектива.
(φ,D)-амплитуда искусно использует специальные свойства морфизма Фробениуса, сохраняя достаточную силу при избежании технических трудностей положительной характеристики.
Через ∇-фильтрации сложные векторные расслоения разлагаются на управляемые стандартные модули, после чего условия позитивности проверяются поочередно.
- Изоморфизм Кодаира-Спенсера: Sym2Ωtor≅ΩShtor1(logD)
- Разложение плетизма: SλΩShtor1(logD)≅Sλ∘Sym2Ωtor
- Анализ фильтрации: При условии p≥2∣λ∣−1 правая часть имеет фильтрацию функторами Шура
- Проверка позитивности: Проверяется, что каждый градуированный кусок фильтрации соответствует (φ,D)-амплитудному автоморфному векторному расслоению
Лемма 8.3: Если SλΩShtor1(logDred) является (φ,D)-амплитудным и dimV≥ht(λ), то логарифмический канонический пучок ωV(ι−1Dred) является (φ,ι^{-1}D)-амплитудным, откуда следует, что V логарифмически общего типа.
- Теорема Фалтингса: Устанавливает эквивалентность характеризаций гиперболичности кривых над числовыми полями
- Комплексный случай: Зуо и Бруннебарбе доказали алгебраическую гиперболичность многообразий Зигеля над полем комплексных чисел
- Трудности положительной характеристики: Контрпример Море-Байли показывает, что прямое обобщение невозможно
- Теория функторов Шура: Категория строгих полиномиальных функторов Фридлендера-Суслина
- Автоморфные векторные расслоения: Работы BGKS и других по обобщённым инвариантам Хассе
- Теория позитивности: Классические работы Хартшорна об амплитуде векторных расслоений в положительной характеристике
- Многообразия Зигеля в положительной характеристике, хотя и не полностью гиперболические, демонстрируют "частичную гиперболичность"
- Предполагаемое исключительное множество E⊂Shtor имеет коразмерность строго больше g−1, предположительно равную g
- Операция плетизма предоставляет новый алгебраический инструмент для исследования геометрической гиперболичности
- Ограничение на характеристику: Требуется p≥g2+3g+1, случай малой характеристики не рассмотрен
- Ограничение на коразмерность: Обработаны только подмногообразия коразмерности ≤g−1
- Требование гладкости: Основные результаты ограничены гладкими подмногообразиями, хотя автор указывает на возможность обобщения на сингулярный случай
- Улучшение границ на характеристику, в частности, является ли p≥g2+3g+1 необходимым
- Определение точной коразмерности исключительного множества
- Обобщение метода на другие многообразия Шимуры
- Методологическая инновация: Связь между плетизмом и гиперболичностью — это новое и глубокое понимание
- Техническая глубина: Синтез теории представлений, алгебраической геометрии и теории симметрических функций
- Точность результатов: Даны явные границы на характеристику и коразмерность
- Вычислительная поддержка: Предоставлены конкретные вычисления плетизма и проверка теории пересечений
- Сильное ограничение на характеристику: p≥g2+3g+1 может быть чрезмерно строгим в приложениях
- Частичные результаты: Не полностью охарактеризована структура исключительного множества
- Техническая сложность: Метод задействует несколько глубоких теорий, трудно обобщается на другие задачи
Данная работа предоставляет новые технические инструменты для алгебраической геометрии в положительной характеристике, в частности:
- Понятие (φ,D)-амплитуды может найти применение в других задачах положительной характеристики
- Метод плетизма предоставляет новую перспективу для исследования геометрии пространств модулей
- Предоставляет глубокий пример для понимания различий между положительной и нулевой характеристикой
- Исследование геометрических свойств пространств модулей в положительной характеристике
- Задачи на пересечении автоморфных форм и алгебраической геометрии
- Арифметическая геометрия многообразий Шимуры
Статья содержит 46 ссылок, охватывающих важные работы в теории представлений, алгебраической геометрии, автоморфных формах и других областях, что отражает междисциплинарный характер и сложность проблемы.