2025-11-10T03:07:02.690437

Epsilon dichotomy for twisted linear models

Xue, Yan
Let $E/F$ be a quadratic extension of local nonarchimedean fields of characteristic zero and let $D$ be a quaternion algebra over $F$ containing $E$. In this paper, we study a relation between the existence of twisted linear models on $\mathrm{GL}_n(D)$ and the local root numbers.
academic

Эпсилон дихотомия для скрученных линейных моделей

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

  • ID статьи: 2404.00561
  • Название: Epsilon dichotomy for twisted linear models
  • Авторы: Hang Xue, Pan Yan
  • Классификация: math.NT (Теория чисел), math.RT (Теория представлений)
  • Дата публикации: 10 декабря 2024 г. (последняя версия v3)
  • Ссылка на статью: https://arxiv.org/abs/2404.00561

Аннотация

Пусть E/FE/F — квадратичное расширение локального неархимедова поля характеристики нуль, а DD — кватернионная алгебра над FF, содержащая EE. В данной работе исследуется связь между существованием скрученных линейных моделей на GLn(D)\mathrm{GL}_n(D) и локальными корневыми числами.

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

Центральная проблема данной работы — гипотеза Prasad-Takloo-Bighash, являющаяся важной открытой проблемой в теории представлений. В частности:

  1. Центральная проблема: Гипотеза предсказывает, когда неприводимое допустимое представление π\pi является (H,χ−1)(H,\chi^{-1})-различимым, где HH — централизатор центральной простой алгебры.
  2. Значимость:
    • Данная гипотеза является обобщением локальной гипотезы Gross-Prasad
    • Связывает свойства различимости в теории представлений с аналитическими свойствами L-функций
    • Имеет важные приложения в теории автоморфных форм и арифметической геометрии
  3. Существующие ограничения:
    • При тривиальном характере χ\chi получены частичные результаты
    • Для общего χ\chi решены только немногие специальные случаи
    • Отсутствует единый метод для рассмотрения всех случаев
  4. Исследовательская мотивация:
    • Развить методы относительной формулы следа для обработки скрученных линейных периодов
    • Установить точную связь между локальными корневыми числами и свойствами различимости
    • Обеспечить локальную основу для глобального случая

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

  1. Доказана прямая направленность: Для G=GLn(D)G = \mathrm{GL}_n(D) (где DD — кватернионная алгебра) полностью доказана прямая направленность гипотезы Prasad-Takloo-Bighash (теорема 1.2)
  2. Частично доказана обратная направленность: При дополнительных предположениях (χ∣F×\chi|_{F^×} тривиален и BC(π0)\mathrm{BC}(\pi_0) является суперострым) доказана обратная направленность гипотезы (теорема 1.3)
  3. Развиты новые технические методы:
    • Использование относительной формулы следа для обработки скрученных периодов
    • Введение понятия эллиптичности и разложения Shalika в зародыши
    • Установление теории соответствия между расщепленной и нерасщепленной сторонами
  4. Предоставлена глобальная конструкция: Решение некоторых локальных проблем через глобальные аргументы, избегая сложных вычислений орбитальных интегралов

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

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

Исследование того, когда неприводимое допустимое представление π\pi удовлетворяет HomH(π,χ−1)≠0\mathrm{Hom}_H(\pi, \chi^{-1}) \neq 0, и установление связи этого свойства с локальным корневым числом ε(π0,E⊗χ)\varepsilon(\pi_{0,E} \otimes \chi).

Архитектура модели

1. Основные установки

  • E/FE/F: квадратичное расширение поля, η=ηE/F\eta = \eta_{E/F} — соответствующий квадратичный характер
  • AA: центральная простая алгебра над FF размерности 4n24n^2, содержащая вложение E→AE \to A
  • BB: централизатор EE в AA, размерность n2n^2
  • G=A×G = A^×, H=B×H = B^×

2. Метод относительной формулы следа

Построение соответствия между расщепленной стороной G′=ResE/F(GL2n)G' = \mathrm{Res}_{E/F}(\mathrm{GL}_{2n}) и нерасщепленной стороной G=GLn(D)G = \mathrm{GL}_n(D):

Геометрическая сторона:

  • Симметрическое пространство: S′={gg−1∣g∈G′}≅G′/H′′S' = \{gg^{-1} | g \in G'\} \cong G'/H''
  • Орбитальный интеграл: OG′(x,f′)=∫(H′×H′′)x\(H′×H′′)f′(h−1xh′′)χH′(h)−1η−1(h−1xh′′)dhdh′′O^{G'}(x, f') = \int_{(H' \times H'')_x \backslash (H' \times H'')} f'(h^{-1}xh'') \chi_{H'}(h)^{-1}\eta^{-1}(h^{-1}xh'') dh dh''

Спектральная сторона:

  • Сферический характер: IΠ(f′)=∑Wℓ′(Π(f′)W)ℓ′′(W)I_\Pi(f') = \sum_W \ell'(\Pi(f')W)\ell''(W)
  • где ℓ′∈HomH′(Π⊗χH′,C)\ell' \in \mathrm{Hom}_{H'}(\Pi \otimes \chi_{H'}, \mathbb{C}), ℓ′′∈HomH′′(Π⊗χη,C)\ell'' \in \mathrm{Hom}_{H''}(\Pi \otimes \chi\eta, \mathbb{C})

3. Теория соответствия

Определение соответствия регулярных полупростых элементов: x∈G′(F)x \in G'(F) и y∈G(F)y \in G(F) соответствуют друг другу тогда и только тогда, когда они имеют одинаковый характеристический многочлен.

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

1. Теория эллиптичности

  • Определение: Представление π\pi является HH-эллиптичным, если существует эллиптический регулярный полупростой элемент такой, что сферический характер не равен нулю
  • Ключевой результат: Эллиптичность суперострых представлений (теорема 4.2)

2. Метод инволюции

Определение инволюции f′†(g)=f′(tg−1)(χχc)(g)f'^†(g) = f'({}^tg^{-1})(\chi\chi^c)(g), удовлетворяющей: IΠ(f′†)=ε(Π⊗χ)χ(−1)nIΠ(f′)I_\Pi(f'^†) = \varepsilon(\Pi \otimes \chi)\chi(-1)^n I_\Pi(f')

3. Разложение Shalika в зародыши

Установление разложения орбитальных интегралов в зародыши на уровне алгебры Ли: O(γ,η,f′)=∑O⊂N0ΓO(γ)μO(f′)O(\gamma, \eta, f') = \sum_{O \subset N_0} \Gamma_O(\gamma)\mu_O(f')

Экспериментальная установка

Теоретическая схема верификации

Данная работа является теоретической и верифицирует результаты следующим образом:

  1. Согласованность в специальных случаях: Проверка того, что новые результаты согласуются с известными специальными случаями (например, при тривиальном χ\chi)
  2. Сохранение функториальных свойств: Проверка сохранения свойств при соответствии Jacquet-Langlands
  3. Глобально-локальная совместимость: Верификация локальных результатов через глобальные конструкции

Сравнительные методы

  • Исходный метод Prasad-Takloo-Bighash
  • Метод Xue (2021) для тривиального характера
  • Метод классификации Suzuki (2021)

Экспериментальные результаты

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

Теорема 1.2 (прямая направленность)

Если π\pi является (H,χ−1)(H,\chi^{-1})-различимым, то:

  1. Параметр Langlands представления π0\pi_0 принимает значения в GSp2n(C)\mathrm{GSp}_{2n}(\mathbb{C})
  2. ε(π0,E⊗χ)=εDnη(−1)nχ(−1)n\varepsilon(\pi_{0,E} \otimes \chi) = \varepsilon_D^n \eta(-1)^n \chi(-1)^n

Теорема 1.3 (обратная направленность)

При дополнительных предположениях дискретные серийные представления, удовлетворяющие указанным условиям, являются (H,χ−1)(H,\chi^{-1})-различимыми.

Технические результаты

Предложение 4.11 (тождество относительной формулы следа)

IBC(σ′)(f′)=Jσ(f)+Jσ⊗η(f)I_{\mathrm{BC}(\sigma')}(f') = J_\sigma(f) + J_{\sigma \otimes \eta}(f)

Это тождество является ключевым для связи расщепленной и нерасщепленной сторон.

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

Историческое развитие

  1. Классические случаи: Теория линейной различимости Flicker (1991)
  2. Гипотеза Gross-Prasad: Случаи ортогональных и унитарных групп
  3. Гипотеза Prasad-Takloo-Bighash: Обобщение на общие центральные простые алгебры

Недавний прогресс

  • Sécherre (2024): Случай острых представлений при p≠2p \neq 2
  • Suzuki (2021): Удаление универсальности предположений
  • Chommaux-Matringe (2022): Острые представления нулевой глубины

Преимущества данной работы

  • Рассмотрение общего скрученного характера χ\chi
  • Единый метод относительной формулы следа
  • Избежание сложных вычислений унипотентных орбитальных интегралов

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

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

  1. Полностью решена прямая направленность гипотезы Prasad-Takloo-Bighash для случая кватернионных алгебр
  2. Частично решена обратная направленность при разумных предположениях
  3. Развиты новые методы обработки скрученных линейных периодов

Ограничения

  1. Обратная направленность требует дополнительного предположения χ∣F×\chi|_{F^×} тривиален
  2. Методы ограничены случаем GLn(D)\mathrm{GL}_n(D)
  3. Глобализация требует известных результатов типа Gross-Prasad

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

  1. Обобщение на общие центральные простые алгебры
  2. Рассмотрение обратной направленности для общих скрученных характеров
  3. Развитие гипотезы типа Gross-Prasad для GSpin(2n+1)×GSpin(2)\mathrm{GSpin}(2n+1) \times \mathrm{GSpin}(2)

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

Достоинства

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

Недостатки

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

Влияние

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

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

  • Исследования в теории автоморфных представлений
  • Исследования аналитических свойств L-функций
  • Теория периодических интегралов в арифметической геометрии

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

Данная работа цитирует 37 важных источников, включая:

  • PTB11 Исходная гипотеза Prasad-Takloo-Bighash
  • XZ23 Установление относительной формулы следа
  • Xue21 Предыдущие результаты для тривиального характера
  • AC89 Теория базового изменения Arthur-Clozel