2025-11-10T02:37:06.008718

Positivity, plethysm and hyperbolicity of Siegel varieties in positive characteristic

Alexandre
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.
academic

Позитивность, плетизм и гиперболичность многообразий Зигеля в положительной характеристике

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

  • 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)-амплитудными.

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

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

  1. Теория гиперболичности: В арифметической геометрии определение гиперболичности алгебраических многообразий является центральной проблемой. Для кривых над числовыми полями теорема Фалтингса устанавливает эквивалентность арифметической гиперболичности, гиперболичности Броди и алгебраической гиперболичности.
  2. Гиперболичность многообразий Зигеля: Над полем комплексных чисел пространство модулей Ag,NA_{g,N} поляризованных абелевых многообразий размерности g известно как алгебраически гиперболическое. Однако в положительной характеристике p ситуация становится более сложной.
  3. Трудности положительной характеристики: Море-Байли построил контрпример, показывающий, что многообразия Зигеля в характеристике p не являются полностью гиперболическими — существуют семейства неизоморфных суперсингулярных абелевых поверхностей AP1\mathcal{A} \to \mathbb{P}^1.

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

  • Понимание механизма отказа гиперболичности многообразий Зигеля в положительной характеристике
  • Поиск "частичной гиперболичности": хотя полная гиперболичность отсутствует, подмногообразия при определённых условиях коразмерности остаются логарифмически общего типа
  • Разработка новых технических инструментов, применимых в положительной характеристике

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

  1. Введение понятия (φ,D)-амплитуды: Определено новое понятие позитивности, промежуточное между ample и nef, применимое к векторным расслоениям в характеристике p
  2. Установление связи между плетизмом и гиперболичностью: Впервые связаны операции плетизма функторов Шура с геометрической гиперболичностью
  3. Доказательство теоремы о частичной гиперболичности: При pg2+3g+1p \geq g^2 + 3g + 1 гладкие подмногообразия коразмерности g1\leq g-1 имеют логарифмически общий тип
  4. Обобщение результатов позитивности для автоморфных расслоений: Распространение известных результатов для линейного расслоения Ходжа на более общие автоморфные векторные расслоения

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

Определение ключевых понятий

(φ,D)-амплитуда

Пусть XX — проективная схема над kk, DD — эффективный дивизор Картье, φ:XX(p)\varphi: X \to X^{(p)} — относительный геометрический морфизм Фробениуса. Векторное расслоение EE называется (φ,D)-амплитудным, если существует целое число r01r_0 \geq 1 такое, что для всех rr0r \geq r_0 векторное расслоение E(pr)(D):=(φr)(φr)EOX(D)E^{(p^r)}(-D) := (\varphi^r)^*(\varphi^r)_* E \otimes \mathcal{O}_X(-D) является амплитудным.

Ключевые свойства

  • Для линейных расслоений: (φ,D)-амплитуда эквивалентна nef и big с исключительным множеством DD
  • Устойчивость: сохраняется при прямых суммах, расширениях, факторах, тензорных произведениях и обратных образах при конечных морфизмах

Техническая схема

1. Функторы Шура и плетизм

В положительной характеристике композиция функторов Шура SλSμS_\lambda \circ S_\mu в общем случае не разлагается в прямую сумму функторов Шура, но при условии p2λ1p \geq 2|\lambda| - 1 существует фильтрация с градуированными кусками, являющимися функторами Шура:

0=TnTn1T0=SλSμ0 = T_n \subsetneq T_{n-1} \subsetneq \cdots \subsetneq T^0 = S_\lambda \circ S_\mu

2. Передача позитивности через флаговые расслоения

Для GG-торсора EE и соответствующего флагового расслоения π:YX\pi: Y \to X установлена ключевая теорема о передаче позитивности:

Теорема 6.4-6.5: Если L2λ+2ρL_{2\lambda + 2\rho} является амплитудным (соответственно (φ,π^{-1}D)-амплитудным) на YY, то πLλ\pi_* L_\lambda является амплитудным (соответственно (φ,D)-амплитудным) векторным расслоением на XX.

3. Критерий позитивности для автоморфных векторных расслоений

Для автоморфных векторных расслоений (λ)\nabla(\lambda) на многообразиях Зигеля даны достаточные условия (φ,D)-амплитуды:

Теорема 7.20: Пусть λ\lambda — доминантный характер тора TT. Если γ:=2λ+2ρL\gamma := 2\lambda + 2\rho_L удовлетворяет:

  • Орбитальная p-близость: maxαΦ,wW,γ,α0γ,wαγ,αp1\max_{\alpha \in \Phi, w \in W, \langle\gamma,\alpha^\vee\rangle \neq 0} \frac{|\langle\gamma, w\alpha^\vee\rangle|}{|\langle\gamma,\alpha^\vee\rangle|} \leq p-1
  • ZZ_\emptyset-амплитуда: γ,α>0\langle\gamma,\alpha^\vee\rangle > 0 для всех αI\alpha \in I, γ,α<0\langle\gamma,\alpha^\vee\rangle < 0 для всех αΦ+ΦL+\alpha \in \Phi^+ \setminus \Phi^+_L

то (λ)\nabla(\lambda) является (φ,D)-амплитудным.

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

Центральная теорема

Теорема 1 (Следствие 8.7): Предположим, что pg2+3g+1p \geq g^2 + 3g + 1. Любое подмногообразие ι:VShtor\iota: V \hookrightarrow \text{Sh}^{\text{tor}} коразмерности g1\leq g-1 такое, что:

  1. VV гладко
  2. ι1Dred\iota^{-1}D_{\text{red}} — дивизор с нормальными пересечениями

является логарифмически общего типа относительно DD.

Ключевые технические результаты

Теорема 8.6: Предположим, что pg2+3g+1p \geq g^2 + 3g + 1. Для всех kg(g1)/2+1k \geq g(g-1)/2 + 1 расслоение ΩShtork(logDred)\Omega^k_{\text{Sh}^{\text{tor}}}(\log D_{\text{red}}) является (φ,D)-амплитудным.

Точные результаты для частных случаев

  • g=2g = 2: При p7p \geq 7 поверхности в трёхмерном многообразии Зигеля логарифмически общего типа
  • g=3g = 3: При p17p \geq 17 четырёхмерные подмногообразия логарифмически общего типа
  • g=4g = 4: При p31p \geq 31 семимерные подмногообразия логарифмически общего типа

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

1. Новая связь между плетизмом и геометрией

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

2. Понятие позитивности, адаптированное к положительной характеристике

(φ,D)-амплитуда искусно использует специальные свойства морфизма Фробениуса, сохраняя достаточную силу при избежании технических трудностей положительной характеристики.

3. Применение техники фильтраций

Через ∇-фильтрации сложные векторные расслоения разлагаются на управляемые стандартные модули, после чего условия позитивности проверяются поочередно.

Стратегия доказательства

Основная идея

  1. Изоморфизм Кодаира-Спенсера: Sym2ΩtorΩShtor1(logD)\text{Sym}^2 \Omega^{\text{tor}} \cong \Omega^1_{\text{Sh}^{\text{tor}}}(\log D)
  2. Разложение плетизма: SλΩShtor1(logD)SλSym2ΩtorS_\lambda \Omega^1_{\text{Sh}^{\text{tor}}}(\log D) \cong S_\lambda \circ \text{Sym}^2 \Omega^{\text{tor}}
  3. Анализ фильтрации: При условии p2λ1p \geq 2|\lambda| - 1 правая часть имеет фильтрацию функторами Шура
  4. Проверка позитивности: Проверяется, что каждый градуированный кусок фильтрации соответствует (φ,D)-амплитудному автоморфному векторному расслоению

Ключевая лемма

Лемма 8.3: Если SλΩShtor1(logDred)S_\lambda \Omega^1_{\text{Sh}^{\text{tor}}}(\log D_{\text{red}}) является (φ,D)-амплитудным и dimVht(λ)\dim V \geq \text{ht}(\lambda), то логарифмический канонический пучок ωV(ι1Dred)\omega_V(\iota^{-1}D_{\text{red}}) является (φ,ι^{-1}D)-амплитудным, откуда следует, что VV логарифмически общего типа.

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

Исторический контекст

  • Теорема Фалтингса: Устанавливает эквивалентность характеризаций гиперболичности кривых над числовыми полями
  • Комплексный случай: Зуо и Бруннебарбе доказали алгебраическую гиперболичность многообразий Зигеля над полем комплексных чисел
  • Трудности положительной характеристики: Контрпример Море-Байли показывает, что прямое обобщение невозможно

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

  • Теория функторов Шура: Категория строгих полиномиальных функторов Фридлендера-Суслина
  • Автоморфные векторные расслоения: Работы BGKS и других по обобщённым инвариантам Хассе
  • Теория позитивности: Классические работы Хартшорна об амплитуде векторных расслоений в положительной характеристике

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

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

  1. Многообразия Зигеля в положительной характеристике, хотя и не полностью гиперболические, демонстрируют "частичную гиперболичность"
  2. Предполагаемое исключительное множество EShtorE \subset \text{Sh}^{\text{tor}} имеет коразмерность строго больше g1g-1, предположительно равную gg
  3. Операция плетизма предоставляет новый алгебраический инструмент для исследования геометрической гиперболичности

Ограничения

  1. Ограничение на характеристику: Требуется pg2+3g+1p \geq g^2 + 3g + 1, случай малой характеристики не рассмотрен
  2. Ограничение на коразмерность: Обработаны только подмногообразия коразмерности g1\leq g-1
  3. Требование гладкости: Основные результаты ограничены гладкими подмногообразиями, хотя автор указывает на возможность обобщения на сингулярный случай

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

  1. Улучшение границ на характеристику, в частности, является ли pg2+3g+1p \geq g^2 + 3g + 1 необходимым
  2. Определение точной коразмерности исключительного множества
  3. Обобщение метода на другие многообразия Шимуры

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

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

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

Недостатки

  1. Сильное ограничение на характеристику: pg2+3g+1p \geq g^2 + 3g + 1 может быть чрезмерно строгим в приложениях
  2. Частичные результаты: Не полностью охарактеризована структура исключительного множества
  3. Техническая сложность: Метод задействует несколько глубоких теорий, трудно обобщается на другие задачи

Влияние

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

  1. Понятие (φ,D)-амплитуды может найти применение в других задачах положительной характеристики
  2. Метод плетизма предоставляет новую перспективу для исследования геометрии пространств модулей
  3. Предоставляет глубокий пример для понимания различий между положительной и нулевой характеристикой

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

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

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

Статья содержит 46 ссылок, охватывающих важные работы в теории представлений, алгебраической геометрии, автоморфных формах и других областях, что отражает междисциплинарный характер и сложность проблемы.