Об неприводимости некоторых низкомерных автоморфных представлений Галуа

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

• ID статьи: 2510.12496
• Название: On irreducibility of certain low dimensional automorphic Galois representations
• Автор: Boyi Dai
• Классификация: math.NT (Теория чисел)
• Дата публикации: 14 октября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2510.12496

Аннотация

В данной работе исследуется неприводимость представлений Галуа ρπ,λ, связанных с 7-мерными или 8-мерными регулярными алгебраическими существенно самодвойственными каспидальными автоморфными представлениями π. При следующих дополнительных условиях доказано, что ρπ,λ неприводимо для всех λ, кроме конечного числа: (i) при n=7 не существует λ такого, что представление Ли типа ρπ,λ является стандартным представлением исключительной группы G₂; (ii) при n=8, если существует бесконечно много λ таких, что представление Ли типа ρπ,λ является спинорным представлением SO₇, предполагается, что не существует трёх различных весов Ходжа-Тейта, образующих арифметическую прогрессию.

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

Основная проблема

Работа посвящена фундаментальной гипотезе теории чисел: являются ли представления Галуа, связанные с алгебраическими каспидальными автоморфными представлениями GLₙ(AF) над числовым полем F, неприводимыми. Это называется "фольклорной гипотезой".

Важность проблемы

1. Теоретическое значение: Неприводимость представлений Галуа является центральной проблемой современной теории чисел, напрямую связанной с реализацией программы Ленглендса
2. Историческое развитие:
   • Для классических модулярных форм доказано Ribet (1977)
   • Для форм Гильберта расширено Taylor (1995)
   • Для случая n=3 над CM-полями решено Blasius-Rogawski (1992)
   • Для n≤6 доказано Hui (2023)

Ограничения существующих методов

• Техническая сложность доказательства неприводимости в высших размерностях
• Необходимость исключения специальных типов Ли
• Для случаев n=7,8 требуется тонкая классификация и анализ

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

1. Расширение результатов неприводимости: Распространение известных результатов для n≤6 на случаи n=7,8
2. Полная классификация типов Ли: Предоставлена классификация всех возможных связных полупростых подгрупп для 7- и 8-мерных случаев
3. Введение новых технических условий: Для специальных случаев введено условие арифметической прогрессии на весах Ходжа-Тейта
4. Развитие теории прямоугольных представлений: Использованы результаты классификации Hui-Lee для прямоугольных представлений

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

Постановка задачи

Для заданного n-мерного (n=7 или 8) регулярного алгебраического существенно самодвойственного каспидального автоморфного представления π доказать, что в семействе связанных представлений Галуа {ρπ,λ} все ρπ,λ неприводимы, кроме конечного числа λ.

Основная стратегия

Автор использует общую схему доказательства от противного:

1. Предположить существование бесконечно многих λ таких, что ρπ,λ приводимо
2. Использовать λ-независимость совместных систем
3. Через классификацию типов Ли исключить различные возможности
4. Получить противоречие

Техническая архитектура

1. Классификация типов Ли

Автор предоставляет полную классификацию всех возможных связных полупростых подгрупп G⊆GLV для 7- и 8-мерных случаев:

7-мерный случай:

• (1) 7A₁: (SL₂, Sym⁶(Std))
• (2) 7G₂: (G₂, Std)
• (3) 7B₃: (SO₇, Std)

8-мерный случай:

• (5) 8A₁: (SL₂, Sym⁷(Std))
• (6) 2A₁×4A₁: (SL₂×SL₂, Std⊗Sym³(Std))
• (8) Произведение трёх 2A₁
• (9) 2A₁×4C₂
• (10) 8B₃: (SO₇, Spin)
• (12)-(14) Другие случаи высокого ранга

2. Теория совместных систем

Использование теории совместных систем Серра и строгих совместных систем, в частности:

• λ-независимость: Формальный характер алгебраической монодромной группы остаётся неизменным при изменении λ
• Результаты о большом образе: Применение теоремы о большом образе Hui для контроля поведения подпредставлений

3. Анализ по случаям

Детальный анализ каждого возможного типа Ли:

Случай (1) - тип 7A₁:

• Если существует приводимое ρλ₁, его разложение может быть только Sym²(Std)⊕Sym³(Std)
• Использование Theorem 2.11 для проверки того, что оба компонента расширяются до совместных систем
• Это противоречит неприводимости ρλ₀

Случай (3) - тип 7B₃:

• Анализ разложений типа 6+1 и содержащих 2- или 3-мерные компоненты
• Использование свойств формального характера для исключения различных возможностей разложения

Случай (5) - тип 8A₁:

• Формальный характер не содержит нулевого веса, поэтому разложение невозможно
• Прямое следствие: все ρλ неприводимы

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

1. Применение теории прямоугольных представлений: Первое систематическое применение классификации Hui-Lee прямоугольных представлений к автоморфным представлениям Галуа
2. Условие на веса Ходжа-Тейта: Введено новое условие "три различных веса не образуют арифметическую прогрессию" для обработки специальных случаев
3. Поднятие в p-адической теории Ходжа: Использование техники поднятия через фактор по центральному тору для построения противоречия

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

Theorem 1.1 (Главная теорема)

Пусть {ρπ,λ : GalQ → GLₙ(Eλ)}λ — E-рациональная строгая совместная система, связанная с n=7 или 8-мерным регулярным алгебраическим существенно самодвойственным каспидальным автоморфным представлением π. При следующих условиях:

(i) Если n=7, не существует λ такого, что тавтологическое представление G^der_λ является стандартным представлением G₂ (ii) Если n=8, когда существует бесконечно много λ таких, что тавтологическое представление G^der_λ является спинорным представлением SO₇, предполагается, что для любых трёх различных весов Ходжа-Тейта {a,b,c} выполнено a+b≠2c

тогда ρπ,λ неприводимо для всех λ, кроме конечного числа.

Схема доказательства

Первый шаг: Редукция Xia

Используя Proposition 3.2, можно предположить существование бесконечно многих λ₀ таких, что ρλ₀ неприводимо по Ли.

Второй шаг: Анализ типов Ли

Для неприводимого по Ли ρλ₀ тавтологическое представление его производной подгруппы должно быть одного из типов, перечисленных в Proposition 4.1.

Третий шаг: Исключение по случаям

Для каждого возможного типа Ли, предполагая существование бесконечно многих λ₁ таких, что ρλ₁ приводимо:

1. Анализируются возможные типы разложения
2. Доказывается, что каждый компонент расширяется до совместной системы
3. Используется λ-независимость совместных систем для получения противоречия

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

Lemma 4.2: Для 8-мерного случая, если существует разложение типа 4+4, то либо оба компонента существенно самодвойственны, либо ни один.

Lemma 4.3: При условии (P) (веса Ходжа-Тейта не образуют арифметическую прогрессию) некоторые наборы весов различны.

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

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

1. Ribet (1977): Классические модулярные формы
2. Taylor (1995): Формы Гильберта
3. Blasius-Rogawski (1992): n=3, CM-поля
4. Ramakrishnan (2013): n=4, вполне вещественные поля
5. Hui (2023): Общий случай n≤6
6. Patrikis-Taylor (2015): Результаты положительной плотности
7. Feng-Whitmore (2025): Результаты плотности 1 при 4∤n и 7∤n

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

• BLGGT (2014): Построение автоморфных представлений Галуа
• Hui-Lee (2025): Классификация прямоугольных представлений
• Patrikis (2019): Поднятие в p-адической теории Ходжа

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

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

Работа успешно расширяет результаты о неприводимости автоморфных представлений Галуа на случаи n=7,8, полностью решая проблему для этих двух размерностей при надлежащих технических условиях.

Ограничения

1. Ограничения условий: Необходимо исключение некоторых специальных типов Ли
2. Условие на веса Ходжа-Тейта: Для случая спинорного представления SO₇ требуется дополнительное условие арифметической прогрессии
3. Ограничение по размерности: Метод применим в основном к низким размерностям

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

1. Более высокие размерности: Расширение на случаи n≥9
2. Оптимизация условий: Попытка устранения или ослабления технических условий
3. Общие числовые поля: Расширение на более общие базовые поля

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

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

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

Недостатки

1. Технические условия: Требуется исключение некоторых естественно возникающих случаев
2. Сложность доказательства: Анализ по случаям делает доказательство довольно объёмным
3. Трудность обобщения: Применимость метода к более высоким размерностям неясна

Влияние

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

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

Методы и результаты работы применимы в основном к:

1. Исследованию низкомерных автоморфных представлений Галуа
2. Конкретной реализации соответствия Ленглендса
3. Связанным проблемам арифметической геометрии

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

Работа ссылается на важные публикации в теории чисел, включая теорему об автоморфности BLGGT, теорию монодромных групп Hui, p-адическую теорию Ходжа Patrikis и другие ключевые результаты современной алгебраической теории чисел.

Данная работа технически весьма глубока и представляет последние достижения современной алгебраической теории чисел в проблеме неприводимости низкомерных автоморфных представлений Галуа. Несмотря на некоторые технические ограничения, её методы и результаты имеют важное значение для развития этой области.